(TranslationUnit
    [(Program
        do6
        ()
        []
        [(ImplicitNone
            []
            ()
        )]
        [(Declaration
            (AttrType
                TypeInteger
                []
                ()
                ()
                None
            )
            []
            [(i
            []
            []
            ()
            ()
            None
            ())
            (j
            []
            []
            ()
            ()
            None
            ())
            (k
            []
            []
            ()
            ()
            None
            ())]
            ()
        )
        (Declaration
            (AttrType
                TypeInteger
                []
                ()
                ()
                None
            )
            []
            [(correct
            []
            []
            ()
            ()
            None
            ())]
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )]
        [(Assignment
            0
            correct
            0
            ()
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            30
            i
            1
            5
            ()
            [(DoLoop
                0
                ()
                30
                j
                1
                5
                ()
                [(Assignment
                    30
                    k
                    (+ k 1)
                    ()
                )]
                ()
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            35
            i
            1
            5
            ()
            [(DoLoop
                0
                ()
                35
                j
                1
                5
                ()
                [(Assignment
                    0
                    k
                    (+ k 1)
                    ()
                )]
                ()
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            40
            i
            1
            25
            ()
            [(Assignment
                0
                k
                (+ k 1)
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            45
            i
            1
            25
            ()
            [(Assignment
                0
                k
                (+ k 1)
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            50
            i
            1
            5
            ()
            [(DoLoop
                0
                ()
                50
                j
                1
                5
                ()
                [(Assignment
                    0
                    k
                    (+ k 0)
                    ()
                )
                (Assignment
                    50
                    k
                    (+ k 1)
                    ()
                )]
                ()
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            0
            ()
        )
        (DoLoop
            0
            ()
            60
            i
            1
            25
            ()
            [(Assignment
                0
                k
                (+ k 0)
                ()
            )
            (Assignment
                60
                k
                (+ k 1)
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            (u- 30)
            ()
        )
        (DoLoop
            0
            ()
            65
            i
            1
            5
            ()
            [(Assignment
                0
                k
                (+ k 1)
                ()
            )
            (DoLoop
                0
                ()
                65
                j
                1
                5
                ()
                [(If
                    0
                    ()
                    (== k 25)
                    [(GoTo
                        0
                        ()
                        70
                        []
                        ()
                    )]
                    []
                    ()
                    ()
                    ()
                )
                (Assignment
                    0
                    k
                    (+ k 2)
                    ()
                )]
                ()
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (If
            0
            ()
            (== k 25)
            [(Assignment
                0
                j
                0
                ()
            )
            (GoTo
                0
                ()
                65
                []
                ()
            )]
            []
            ()
            ()
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Continue
            70
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Assignment
            0
            k
            (u- 30)
            ()
        )
        (DoLoop
            0
            ()
            75
            i
            1
            5
            ()
            [(Assignment
                0
                k
                (+ k 1)
                ()
            )
            (DoLoop
                0
                ()
                75
                j
                1
                5
                ()
                [(If
                    0
                    ()
                    (== k 25)
                    [(GoTo
                        0
                        ()
                        80
                        []
                        ()
                    )]
                    []
                    ()
                    ()
                    ()
                )
                (Assignment
                    0
                    k
                    (+ k 2)
                    ()
                )]
                ()
                ()
            )]
            ()
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (If
            0
            ()
            (== k 25)
            [(Assignment
                0
                j
                0
                ()
            )
            (GoTo
                0
                ()
                75
                []
                ()
            )]
            []
            ()
            ()
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Continue
            80
            ()
        )
        (Write
            0
            [(())
            (())]
            []
            [k]
            ()
        )
        (Assignment
            0
            correct
            (+ correct k)
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )
        (Write
            0
            [(())
            (())]
            []
            [(/ (* 10 correct) 25)
            (String "% correct" ())]
            (TriviaNode
                []
                [(EndOfLine)
                (EndOfLine)]
            )
        )]
        []
    )]
)
