NO (ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/231300 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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 0(0(0(1(1(0(1(1(0(0(0(1(0(1(0(1(0(1(1(1(1(0(1(1(0(0(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(1(1(1(1(0(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(1(1(1(0(0(1(1(1(0(1(1(1(0(1(0(0(0(1(0(1(1(0(0(1(0(1(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(0(1(0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(1(0(1(1(0(0(0(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(0(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(0(0(1(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(0(0(1(1(0(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(1(0(1(1(0(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(1(0(1(0(0(0(1(1(0(1(0(1(0(0(1(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(0(1(1(1(0(1(0(1(0(1(1(1(1(0(1(0(0(0(0(0(1(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(0(1(0(1(0(1(0(0(0(0(0(1(1(1(1(0(0(1(1(1(1(1(1(1(0(0(0(0(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(?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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 0(0(0(1(1(0(1(1(0(0(0(1(0(1(0(1(0(1(1(1(1(0(1(1(0(0(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(1(1(1(1(0(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(1(1(1(0(0(1(1(1(0(1(1(1(0(1(0(0(0(1(0(1(1(0(0(1(0(1(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(0(1(0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(1(0(1(1(0(0(0(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(0(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(0(0(1(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(0(0(1(1(0(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(1(0(1(1(0(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(1(0(1(0(0(0(1(1(0(1(0(1(0(0(1(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(0(1(1(1(0(1(0(1(0(1(1(1(1(0(1(0(0(0(0(0(1(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(0(1(0(1(0(1(0(0(0(0(0(1(1(1(1(0(0(1(1(1(1(1(1(1(0(0(0(0(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(?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(?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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 0(0(0(1(1(0(1(1(0(0(0(1(0(1(0(1(0(1(1(1(1(0(1(1(0(0(0(1(0(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(0(0(0(0(0(1(1(1(1(0(1(1(1(1(1(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(1(1(1(0(0(1(1(1(0(1(1(1(0(1(0(0(0(1(0(1(1(0(0(1(0(1(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(0(1(0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(1(0(1(1(0(0(0(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(0(0(1(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(0(0(1(1(0(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(1(0(1(1(0(1(0(1(1(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(1(0(1(0(0(0(1(1(0(1(0(1(0(0(1(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(0(1(1(1(0(1(0(1(0(1(1(1(1(0(1(0(0(0(0(0(1(0(1(1(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(0(1(0(1(0(1(0(0(0(0(0(1(1(1(1(0(0(1(1(1(1(1(1(1(0(0(0(0(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(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ] Check distinct normal forms in critical pair closure convertible distinct normal forms: 1(?x) = 1(1(?x)) problems/967.trs: Success(not UNC) (336 msec.)