0.00/0.52	MAYBE
0.00/0.52	
0.00/0.52	Problem:
0.00/0.53	lt(x, 0()) -> false()
0.00/0.53	lt(0(), s(y)) -> true()
0.00/0.53	lt(s(x), s(y)) -> lt(x, y)
0.00/0.53	cons(x, cons(y, ys)) -> cons(y, cons(x, ys)) <= lt(x, y) = true()
0.00/0.53	
0.00/0.53	Proof:
0.00/0.53	ConCon could not decide confluence of the system.
0.00/0.53	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.53	
0.00/0.54	EOF