13.66/8.80	MAYBE
13.66/8.80	(UNSUPPORTED)
13.66/8.80	ConCon could not decide confluence of the system.
13.66/8.80	\cite{ALS94}, Theorem 4.1 does not apply.
13.66/8.80	This system is of type 3 or smaller.
13.66/8.80	This system is absolutely deterministic.
13.66/8.80	The external tool could not decide termination of the system.
13.66/8.80	Call external tool:
13.66/8.80	./ttt2.sh
13.66/8.80	Input:
13.66/8.80	(VAR x)
13.66/8.80	(RULES
13.66/8.80	  b -> d
13.66/8.80	  c -> l
13.66/8.80	  a -> d
13.66/8.80	  h(x, x) -> g(x, x, f(k))
13.66/8.80	  d -> m
13.66/8.80	  b -> c
13.66/8.80	  k -> l
13.66/8.80	  c -> e
13.66/8.80	  f(x) -> U1(x, x)
13.66/8.80	  U1(e, x) -> x
13.66/8.80	  g(d, x, x) -> A
13.66/8.80	  A -> h(f(a), f(b))
13.66/8.80	  a -> c
13.66/8.80	  k -> m
13.66/8.80	)
13.66/8.80	
13.66/8.81	EOF