MAYBE (ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/247992 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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 0(1(1(0(1(1(1(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(1(0(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(1(0(0(0(0(1(1(0(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(0(0(0(1(0(0(1(1(1(0(1(0(1(1(1(0(1(0(1(1(1(0(1(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(1(0(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(1(0(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(1(0(1(0(0(0(1(1(1(0(1(0(1(0(1(0(1(1(1(1(1(0(1(0(0(1(1(1(1(0(1(0(1(1(1(1(0(1(1(1(0(1(1(1(0(0(1(0(1(0(1(0(0(1(1(1(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 0(1(0(1(0(1(0(0(0(0(1(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(1(1(1(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(1(0(0(1(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(0(0(1(0(1(1(1(1(1(1(1(0(0(0(0(1(1(0(1(1(0(0(1(0(0(1(0(1(0(1(1(0(0(0(1(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(0(1(0(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(0(1(0(0(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(1(1(0(1(1(0(0(0(0(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(0(0(1(0(1(0(1(0(0(0(1(0(1(1(1(0(0(1(1(0(0(1(1(0(0(0(1(1(1(1(1(1(0(0(1(0(0(0(0(1(0(1(1(0(1(1(1(0(0(0(1(0(1(0(1(0(1(0(0(0(1(0(0(0(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(?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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 0(1(1(0(1(1(1(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(1(0(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(1(0(0(0(0(1(1(0(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(0(0(0(1(0(0(1(1(1(0(1(0(1(1(1(0(1(0(1(1(1(0(1(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(1(0(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(1(0(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(1(0(1(0(0(0(1(1(1(0(1(0(1(0(1(0(1(1(1(1(1(0(1(0(0(1(1(1(1(0(1(0(1(1(1(1(0(1(1(1(0(1(1(1(0(0(1(0(1(0(1(0(0(1(1(1(1(0(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 0(1(0(1(0(1(0(0(0(0(1(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(1(1(1(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(1(0(0(1(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(0(0(1(0(1(1(1(1(1(1(1(0(0(0(0(1(1(0(1(1(0(0(1(0(0(1(0(1(0(1(1(0(0(0(1(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(0(1(0(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(0(1(0(0(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(1(1(0(1(1(0(0(0(0(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(0(0(1(0(1(0(1(0(0(0(1(0(1(1(1(0(0(1(1(0(0(1(1(0(0(0(1(1(1(1(1(1(0(0(1(0(0(0(0(1(0(1(1(0(1(1(1(0(0(0(1(0(1(0(1(0(1(0(0(0(1(0(0(0(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(?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(?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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 0(1(1(0(1(1(1(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(1(0(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(1(0(0(0(0(1(1(0(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(0(0(0(1(0(0(1(1(1(0(1(0(1(1(1(0(1(0(1(1(1(0(1(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(1(0(1(1(0(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(1(0(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(1(0(1(0(0(0(1(1(1(0(1(0(1(0(1(0(1(1(1(1(1(0(1(0(0(1(1(1(1(0(1(0(1(1(1(1(0(1(1(1(0(1(1(1(0(0(1(0(1(0(1(0(0(1(1(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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 0(1(0(1(0(1(0(0(0(0(1(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(1(1(1(0(0(1(0(0(1(0(0(0(1(1(0(0(0(0(1(0(0(1(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(0(0(1(0(1(1(1(1(1(1(1(0(0(0(0(1(1(0(1(1(0(0(1(0(0(1(0(1(0(1(1(0(0(0(1(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(0(1(0(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(0(1(0(0(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(1(1(1(1(1(1(0(1(1(0(1(0(0(0(1(1(1(0(1(1(0(0(0(0(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(0(0(1(0(1(0(1(0(0(0(1(0(1(1(1(0(0(1(1(0(0(1(1(0(0(0(1(1(1(1(1(1(0(0(1(0(0(0(0(1(0(1(1(0(1(1(1(0(0(0(1(0(1(0(1(0(1(0(0(0(1(0(0(0(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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ] problems/971.trs: Failure(unknown UNC) (44 msec.)