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