0.00/0.53 MAYBE 0.00/0.53 Input TRS: 0.00/0.53 1: cons(x,cons(y,rest)) -> cons(z1,cons(z2,rest)) 0.00/0.53 2: cons(x,cons(x,rest)) -> cons(x,rest) 0.00/0.53 3: orient(s(x),s(y)) -> pair(s(z1),s(z2)) 0.00/0.53 4: orient(s(x),0()) -> pair(0(),s(x)) 0.00/0.53 Infeasibility test: 0.00/0.53 orient(x1,x1) --> pair(z1,z2) 0.00/0.53 EOF