(VAR x)
(RULES
  0(1(2(3(4(5(1(x))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x)))))))))))))))))))
  0(1(2(3(4(5(1(x))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x)))))))))))))))))))))))))
)
(COMMENT
TPDB SRS_Standard/ICFP_2010/40093
)