(TranslationUnit
    (SymbolTable
        1
        {
            preprocessor11:
                (Program
                    (SymbolTable
                        2
                        {
                            
                        })
                    preprocessor11
                    []
                    [(Print
                        (StringFormat
                            ()
                            [(IntegerBinOp
                                (IntegerConstant 1 (Integer 4) Decimal)
                                Add
                                (IntegerBinOp
                                    (IntegerConstant 5 (Integer 4) Decimal)
                                    Mul
                                    (IntegerConstant 3 (Integer 4) Decimal)
                                    (Integer 4)
                                    (IntegerConstant 15 (Integer 4) Decimal)
                                )
                                (Integer 4)
                                (IntegerConstant 16 (Integer 4) Decimal)
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 1"
                            (String 1 6 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is not 2"
                            (String 1 10 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not X is not 1"
                            (String 1 14 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 1 and Y is 5"
                            (String 1 17 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not (X is 2 and Y is 5)"
                            (String 1 23 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X<3 and Y>3"
                            (String 1 11 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not (X>3 and Y<3)"
                            (String 1 17 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 3-2"
                            (String 1 8 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is not 3-1"
                            (String 1 12 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (6*5-5)/5"
                            (String 1 14 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (6*5-6)/5"
                            (String 1 18 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (-5+6*5)/5"
                            (String 1 15 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (-6+6*5)/5"
                            (String 1 19 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (+5+6*5)/7"
                            (String 1 15 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (+4+6*5)/7"
                            (String 1 19 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (+5+6*Y)/7"
                            (String 1 15 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Z is 16"
                            (String 1 7 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y defined and 1 <= Y"
                            (String 1 20 () PointerString)
                        )
                    )
                    (Print
                        (StringConstant
                            "A not defined or not 1 <= A"
                            (String 1 27 () PointerString)
                        )
                    )]
                )
        })
    []
)
