(Program {+(IntegerLiteral)+} {+(IntegerLiteral)+} {+(IntegerLiteral)+} {+(IntegerLiteral)+} { (IntegerLiteral) ->(IntegerLiteral) } {+(IntegerLiteral)+} {+(NumberLiteral)+} {-(IntegerLiteral)-} {-(IntegerLiteral)-} {-(IntegerLiteral)-} {-(IntegerLiteral)-} {-(IntegerLiteral)-} {-(NumberLiteral)-})