MAYBE
(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/249663
input TRS:
   [ 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(2(2(2(2(2(2(2(2(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(1(0(1(0(0(1(1(1(0(1(0(1(1(1(0(0(1(0(0(1(0(1(1(0(0(1(0(1(1(1(1(1(0(0(0(1(1(1(0(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(0(1(1(1(0(0(1(1(0(1(0(1(0(1(1(1(0(1(1(1(1(1(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(1(1(0(0(0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(1(0(0(0(1(1(1(1(1(0(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(0(1(1(0(0(1(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(1(0(1(1(0(1(1(1(1(1(1(0(1(1(1(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(0(0(1(0(1(0(0(0(1(1(1(1(0(1(1(0(0(0(1(0(0(0(1(0(0(0(0(1(1(0(1(1(1(0(0(0(0(0(1(1(1(1(0(0(1(1(0(0(1(1(1(1(1(1(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(0(0(0(0(0(0(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(0(0(0(1(0(1(0(0(0(0(1(1(1(1(0(0(0(0(1(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
     1(0(1(0(0(1(0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(0(0(1(1(0(1(1(0(0(0(1(1(0(1(0(1(0(0(0(1(1(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(1(1(1(0(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(0(0(0(1(0(0(0(1(0(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(0(0(0(1(1(1(1(1(1(1(0(1(1(0(1(1(0(1(1(1(0(0(1(1(0(1(1(1(0(0(0(1(1(1(0(1(1(0(1(0(1(1(0(1(0(1(0(1(1(1(0(0(0(0(0(1(1(0(0(0(1(0(0(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(1(1(1(1(0(1(0(1(0(0(0(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(1(0(0(1(1(0(1(1(1(1(1(1(0(0(1(0(0(1(0(1(0(1(0(0(0(0(1(0(0(0(0(0(1(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(1(1(1(1(0(0(1(1(1(1(1(0(0(1(0(0(0(1(1(1(1(0(0(0(1(0(0(1(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0(0(0(0(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(2(2(2(2(2(2(2(2(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ]
TRS:
   [ 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(2(2(2(2(2(2(2(2(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(1(0(1(0(0(1(1(1(0(1(0(1(1(1(0(0(1(0(0(1(0(1(1(0(0(1(0(1(1(1(1(1(0(0(0(1(1(1(0(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(0(1(1(1(0(0(1(1(0(1(0(1(0(1(1(1(0(1(1(1(1(1(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(1(1(0(0(0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(1(0(0(0(1(1(1(1(1(0(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(0(1(1(0(0(1(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(1(0(1(1(0(1(1(1(1(1(1(0(1(1(1(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(0(0(1(0(1(0(0(0(1(1(1(1(0(1(1(0(0(0(1(0(0(0(1(0(0(0(0(1(1(0(1(1(1(0(0(0(0(0(1(1(1(1(0(0(1(1(0(0(1(1(1(1(1(1(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(0(0(0(0(0(0(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(0(0(0(1(0(1(0(0(0(0(1(1(1(1(0(0(0(0(1(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
     1(0(1(0(0(1(0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(0(0(1(1(0(1(1(0(0(0(1(1(0(1(0(1(0(0(0(1(1(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(1(1(1(0(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(0(0(0(1(0(0(0(1(0(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(0(0(0(1(1(1(1(1(1(1(0(1(1(0(1(1(0(1(1(1(0(0(1(1(0(1(1(1(0(0(0(1(1(1(0(1(1(0(1(0(1(1(0(1(0(1(0(1(1(1(0(0(0(0(0(1(1(0(0(0(1(0(0(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(1(1(1(1(0(1(0(1(0(0(0(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(1(0(0(1(1(0(1(1(1(1(1(1(0(0(1(0(0(1(0(1(0(1(0(0(0(0(1(0(0(0(0(0(1(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(1(1(1(1(0(0(1(1(1(1(1(0(0(1(0(0(0(1(1(1(1(0(0(0(1(0(0(1(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0(0(0(0(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(2(2(2(2(2(2(2(2(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ]
New rules by rule reversing:
   [ 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(2(2(2(2(2(2(2(2(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(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(1(0(1(0(0(1(1(1(0(1(0(1(1(1(0(0(1(0(0(1(0(1(1(0(0(1(0(1(1(1(1(1(0(0(0(1(1(1(0(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(0(1(1(1(0(0(1(1(0(1(0(1(0(1(1(1(0(1(1(1(1(1(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(1(1(0(0(0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(1(0(0(0(1(1(1(1(1(0(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(0(1(1(0(0(1(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(1(0(1(1(0(1(1(1(1(1(1(0(1(1(1(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(0(0(1(0(1(0(0(0(1(1(1(1(0(1(1(0(0(0(1(0(0(0(1(0(0(0(0(1(1(0(1(1(1(0(0(0(0(0(1(1(1(1(0(0(1(1(0(0(1(1(1(1(1(1(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(0(0(0(0(0(0(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(0(0(0(1(0(1(0(0(0(0(1(1(1(1(0(0(0(0(1(1(0(?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(2(2(2(2(2(2(2(2(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
     1(0(1(0(0(1(0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(0(0(1(1(0(1(1(0(0(0(1(1(0(1(0(1(0(0(0(1(1(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(1(1(1(0(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(0(0(0(1(0(0(0(1(0(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(0(0(0(1(1(1(1(1(1(1(0(1(1(0(1(1(0(1(1(1(0(0(1(1(0(1(1(1(0(0(0(1(1(1(0(1(1(0(1(0(1(1(0(1(0(1(0(1(1(1(0(0(0(0(0(1(1(0(0(0(1(0(0(0(0(1(0(0(1(0(1(1(1(1(0(1(1(1(1(1(1(1(0(1(0(1(0(0(0(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(1(0(0(1(1(0(1(1(1(1(1(1(0(0(1(0(0(1(0(1(0(1(0(0(0(0(1(0(0(0(0(0(1(1(1(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(0(0(1(1(1(1(0(0(1(1(1(1(1(0(0(1(0(0(0(1(1(1(1(0(0(0(1(0(0(1(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0(0(0(0(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(2(2(2(2(2(2(2(2(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ]
problems/973.trs: Failure(unknown UNC)
(64 msec.)