26.05/8.66	MAYBE
26.05/8.66	(UNSUPPORTED)
26.05/8.66	ConCon could not decide confluence of the system.
26.05/8.66	\cite{ALS94}, Theorem 4.1 does not apply.
26.05/8.66	This system is of type 3 or smaller.
26.05/8.66	This system is absolutely deterministic.
26.05/8.66	The external tool could not decide termination of the system.
26.05/8.66	Call external tool:
26.05/8.66	./ttt2.sh
26.05/8.66	Input:
26.05/8.66	(VAR x y l)
26.05/8.66	(RULES
26.05/8.66	  les(0, 0) -> false
26.05/8.66	  dot(x, dot(y, l)) -> U1(les(x, y), x, y, l)
26.05/8.66	  U1(true, x, y, l) -> dot(y, dot(x, l))
26.05/8.66	  les(s(s(x)), 0) -> les(s(x), 0)
26.05/8.66	  les(s(0), 0) -> false
26.05/8.66	  les(s(x), s(y)) -> les(x, y)
26.05/8.66	  les(0, s(s(x))) -> les(0, s(x))
26.05/8.66	  les(0, s(0)) -> true
26.05/8.66	)
26.05/8.66	
26.05/8.66	EOF