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