NO (ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/140654 input TRS: [ 0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))) -> 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))), 0(0(1(0(0(1(1(1(0(1(2(0(1(?x))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x))))))))))))))))), 0(0(1(0(1(0(1(0(0(1(0(2(0(?x))))))))))))) -> 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x))))))))))))))))), 0(0(1(1(1(1(1(2(1(1(2(1(1(?x))))))))))))) -> 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x))))))))))))))))), 0(1(0(2(0(2(1(0(0(1(0(1(1(?x))))))))))))) -> 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x))))))))))))))))), 0(1(0(2(2(1(1(2(1(2(2(0(1(?x))))))))))))) -> 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x))))))))))))))))), 0(1(1(0(1(1(0(1(0(2(1(0(0(?x))))))))))))) -> 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x))))))))))))))))), 0(1(1(1(2(1(2(0(1(2(1(0(1(?x))))))))))))) -> 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x))))))))))))))))), 0(2(0(0(1(1(2(0(1(0(1(0(2(?x))))))))))))) -> 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x))))))))))))))))), 1(0(2(0(0(2(0(1(2(0(1(0(1(?x))))))))))))) -> 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x))))))))))))))))), 1(0(2(0(2(1(0(2(0(1(1(2(0(?x))))))))))))) -> 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x))))))))))))))))), 1(1(0(0(2(2(2(0(1(2(0(1(1(?x))))))))))))) -> 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x))))))))))))))))), 1(2(0(1(0(2(0(1(0(1(2(1(0(?x))))))))))))) -> 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x))))))))))))))))), 1(2(1(2(0(0(0(1(1(1(0(0(1(?x))))))))))))) -> 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x))))))))))))))))), 2(0(0(0(2(2(0(2(2(0(1(0(1(?x))))))))))))) -> 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x))))))))))))))))), 2(0(2(1(0(0(1(0(0(0(1(1(1(?x))))))))))))) -> 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x))))))))))))))))), 2(0(2(1(1(1(1(0(2(0(1(0(1(?x))))))))))))) -> 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x))))))))))))))))), 2(1(2(2(1(1(2(2(0(1(1(0(1(?x))))))))))))) -> 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(?x))))))))))))))))), 2(2(1(1(1(1(0(1(1(2(0(1(0(?x))))))))))))) -> 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(?x))))))))))))))))) ] TRS: [ 0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))) -> 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))), 0(0(1(0(0(1(1(1(0(1(2(0(1(?x))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x))))))))))))))))), 0(0(1(0(1(0(1(0(0(1(0(2(0(?x))))))))))))) -> 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x))))))))))))))))), 0(0(1(1(1(1(1(2(1(1(2(1(1(?x))))))))))))) -> 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x))))))))))))))))), 0(1(0(2(0(2(1(0(0(1(0(1(1(?x))))))))))))) -> 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x))))))))))))))))), 0(1(0(2(2(1(1(2(1(2(2(0(1(?x))))))))))))) -> 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x))))))))))))))))), 0(1(1(0(1(1(0(1(0(2(1(0(0(?x))))))))))))) -> 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x))))))))))))))))), 0(1(1(1(2(1(2(0(1(2(1(0(1(?x))))))))))))) -> 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x))))))))))))))))), 0(2(0(0(1(1(2(0(1(0(1(0(2(?x))))))))))))) -> 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x))))))))))))))))), 1(0(2(0(0(2(0(1(2(0(1(0(1(?x))))))))))))) -> 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x))))))))))))))))), 1(0(2(0(2(1(0(2(0(1(1(2(0(?x))))))))))))) -> 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x))))))))))))))))), 1(1(0(0(2(2(2(0(1(2(0(1(1(?x))))))))))))) -> 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x))))))))))))))))), 1(2(0(1(0(2(0(1(0(1(2(1(0(?x))))))))))))) -> 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x))))))))))))))))), 1(2(1(2(0(0(0(1(1(1(0(0(1(?x))))))))))))) -> 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x))))))))))))))))), 2(0(0(0(2(2(0(2(2(0(1(0(1(?x))))))))))))) -> 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x))))))))))))))))), 2(0(2(1(0(0(1(0(0(0(1(1(1(?x))))))))))))) -> 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x))))))))))))))))), 2(0(2(1(1(1(1(0(2(0(1(0(1(?x))))))))))))) -> 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x))))))))))))))))), 2(1(2(2(1(1(2(2(0(1(1(0(1(?x))))))))))))) -> 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(?x))))))))))))))))), 2(2(1(1(1(1(0(1(1(2(0(1(0(?x))))))))))))) -> 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(?x))))))))))))))))) ] constructed TRS: [ 0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))) -> 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))), 0(0(1(0(0(1(1(1(0(1(2(0(1(?x))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x))))))))))))))))), 0(0(1(0(1(0(1(0(0(1(0(2(0(?x))))))))))))) -> 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x))))))))))))))))), 0(0(1(1(1(1(1(2(1(1(2(1(1(?x))))))))))))) -> 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x))))))))))))))))), 0(1(0(2(0(2(1(0(0(1(0(1(1(?x))))))))))))) -> 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x))))))))))))))))), 0(1(0(2(2(1(1(2(1(2(2(0(1(?x))))))))))))) -> 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x))))))))))))))))), 0(1(1(0(1(1(0(1(0(2(1(0(0(?x))))))))))))) -> 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x))))))))))))))))), 0(1(1(1(2(1(2(0(1(2(1(0(1(?x))))))))))))) -> 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x))))))))))))))))), 0(2(0(0(1(1(2(0(1(0(1(0(2(?x))))))))))))) -> 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x))))))))))))))))), 1(0(2(0(0(2(0(1(2(0(1(0(1(?x))))))))))))) -> 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x))))))))))))))))), 1(0(2(0(2(1(0(2(0(1(1(2(0(?x))))))))))))) -> 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x))))))))))))))))), 1(1(0(0(2(2(2(0(1(2(0(1(1(?x))))))))))))) -> 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x))))))))))))))))), 1(2(0(1(0(2(0(1(0(1(2(1(0(?x))))))))))))) -> 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x))))))))))))))))), 1(2(1(2(0(0(0(1(1(1(0(0(1(?x))))))))))))) -> 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x))))))))))))))))), 2(0(0(0(2(2(0(2(2(0(1(0(1(?x))))))))))))) -> 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x))))))))))))))))), 2(0(2(1(0(0(1(0(0(0(1(1(1(?x))))))))))))) -> 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x))))))))))))))))), 2(0(2(1(1(1(1(0(2(0(1(0(1(?x))))))))))))) -> 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x))))))))))))))))), 2(1(2(2(1(1(2(2(0(1(1(0(1(?x))))))))))))) -> 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(?x))))))))))))))))), 2(2(1(1(1(1(0(1(1(2(0(1(0(?x))))))))))))) -> 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(?x))))))))))))))))) ] convertible distinct normal forms: 2(2(1(1(1(1(0(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))) UNC Completion (Strongly Closed) problems/949.trs: Success(not UNC) (112 msec.)