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