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