cons(integer(OP_NIL),cons(integer(OP_LDC),cons(integer(3),cons(integer(OP_CONS),cons(integer(OP_LDC),cons(integer(4),cons(integer(OP_CONS),cons(integer(OP_LDF),cons(cons(integer(OP_LD),cons(cons(integer(1),integer(2)),cons(integer(OP_LD),cons(cons(integer(1),integer(1)),cons(integer(OP_ADD),cons(integer(OP_RTN),integer(OP_NIL))))))),cons(integer(OP_AP),cons(integer(OP_SEL),cons(cons(integer(OP_LDC),cons(integer(104),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(101),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(108),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(108),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(111),cons(integer(OP_WRITEC),cons(integer(OP_JOIN),integer(OP_NIL))))))))))))))))),cons(cons(integer(OP_LDC),cons(integer(98),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(121),cons(integer(OP_WRITEC),cons(integer(OP_LDC),cons(integer(101),cons(integer(OP_WRITEC),cons(integer(OP_JOIN),integer(OP_NIL))))))))))),cons(integer(OP_LDC),cons(integer(10),cons(integer(OP_WRITEC),cons(integer(OP_STOP),integer(OP_NIL))))))))))))))))));