(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
                            (Allocatable
                                (String 1 () DeferredLength DescriptorString)
                            )
                            ()
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 1"
                            (String 1 (IntegerConstant 6 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is not 2"
                            (String 1 (IntegerConstant 10 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not X is not 1"
                            (String 1 (IntegerConstant 14 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 1 and Y is 5"
                            (String 1 (IntegerConstant 17 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not (X is 2 and Y is 5)"
                            (String 1 (IntegerConstant 23 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X<3 and Y>3"
                            (String 1 (IntegerConstant 11 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Not (X>3 and Y<3)"
                            (String 1 (IntegerConstant 17 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is 3-2"
                            (String 1 (IntegerConstant 8 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "X is not 3-1"
                            (String 1 (IntegerConstant 12 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (6*5-5)/5"
                            (String 1 (IntegerConstant 14 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (6*5-6)/5"
                            (String 1 (IntegerConstant 18 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (-5+6*5)/5"
                            (String 1 (IntegerConstant 15 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (-6+6*5)/5"
                            (String 1 (IntegerConstant 19 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (+5+6*5)/7"
                            (String 1 (IntegerConstant 15 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is not (+4+6*5)/7"
                            (String 1 (IntegerConstant 19 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y is (+5+6*Y)/7"
                            (String 1 (IntegerConstant 15 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Z is 16"
                            (String 1 (IntegerConstant 7 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "Y defined and 1 <= Y"
                            (String 1 (IntegerConstant 20 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )
                    (Print
                        (StringConstant
                            "A not defined or not 1 <= A"
                            (String 1 (IntegerConstant 27 (Integer 4) Decimal) ExpressionLength DescriptorString)
                        )
                    )]
                )
        })
    []
)
