(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/40093
Rewrite 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))))))))))))))))))))))))) ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(?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))))))))))))))))))))))))) ]
Overlay, check Innermost Termination...