116.61/30.12	MAYBE
116.61/30.12	
116.61/30.12	Proof:
116.61/30.12	ConCon could not decide confluence of the system.
116.61/30.12	\cite{ALS94}, Theorem 4.1 does not apply.
116.61/30.13	This system is of type 3 or smaller.
116.61/30.13	This system is strongly deterministic.
116.61/30.13	This system is of type 3 or smaller.
116.61/30.13	This system is deterministic.
116.61/30.13	ConCon could not decide if this system is quasi-decreasing.
116.61/30.13	\cite{O02}, p. 214, Proposition 7.2.50 does not apply.
116.61/30.13	This system is of type 3 or smaller.
116.61/30.13	This system is deterministic.
116.61/30.13	System R transformed to U(R).
116.61/30.13	The external tool could not decide termination of the system.
116.61/30.13	Call external tool:
116.61/30.13	./ttt2.sh
116.61/30.13	Input:
116.61/30.13	  a -> c
116.61/30.13	  a -> d
116.61/30.13	  b -> c
116.61/30.13	  b -> d
116.61/30.13	  c -> e
116.61/30.13	  c -> l
116.61/30.13	  d -> m
116.61/30.13	  k -> l
116.61/30.13	  k -> m
116.61/30.13	  h(x, x) -> g(x, x, f(k))
116.61/30.13	  g(d, x, x) -> A
116.61/30.13	  A -> h(f(a), f(b))
116.61/30.13	  ?1(e, x) -> x
116.61/30.13	  f(x) -> ?1(x, x)
116.61/30.13	
116.61/30.13	
116.61/30.13	EOF