1.95/1.14	MAYBE
1.95/1.14	
1.95/1.14	Proof:
1.95/1.14	ConCon could not decide confluence of the system.
1.95/1.14	\cite{ALS94}, Theorem 4.1 does not apply.
1.95/1.14	This system is of type 3 or smaller.
1.95/1.14	This system is strongly deterministic.
1.95/1.14	This system is quasi-decreasing.
1.95/1.14	By \cite{A14}, Theorem 11.5.9.
1.95/1.14	This system is of type 3 or smaller.
1.95/1.14	This system is deterministic.
1.95/1.14	System R transformed to V(R) + Emb.
1.95/1.14	This system is terminating.
1.95/1.14	Call external tool:
1.95/1.14	./ttt2.sh
1.95/1.14	Input:
1.95/1.14	  a -> c
1.95/1.14	  a -> d
1.95/1.14	  f(x, y) -> y
1.95/1.14	  f(x, y) -> c
1.95/1.14	  f(x, y) -> x
1.95/1.14	  f(x, y) -> y
1.95/1.14	
1.95/1.14	 LPO Processor:
1.95/1.14	  precedence:
1.95/1.14	   f > a > d ~ c
1.95/1.14	  problem:
1.95/1.14	   
1.95/1.14	  Qed
1.95/1.14	This critical pair is not trivial.
1.95/1.14	
1.95/1.17	EOF