MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/26123
Rewrite Rules:
   [ 0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(?x)))))))))),
     0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(?x))))))))))))),
     0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x)))))))))))))))),
     0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x))))))))))))))))))),
     0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x)))))))))))))))))))))),
     0(1(2(1(?x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x))))))))))))))))))))))))) ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ 1(2(1(1(0(1(2(0(1(2(?x)))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(?x))))))))))))),
     1(2(1(1(0(1(2(0(1(2(?x)))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x)))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(?x)))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(?x)))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x)))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(?x)))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x))))))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(?x_1))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x_1)))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(?x_1))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_1))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(?x_1))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_1)))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(?x_1))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_1))))))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x_2)))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_2))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x_2)))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_2)))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(?x_2)))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_2))))))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_3))))))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_3)))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_3))))))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_3))))))))))))))))))))))))),
     1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_4)))))))))))))))))))))) = 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(?x_4))))))))))))))))))))))))) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
952.trs: Failure(unknown CR)
(1 msec.)