3.20/1.69	MAYBE
3.20/1.69	
3.20/1.69	Proof:
3.20/1.69	ConCon could not decide confluence of the system.
3.20/1.69	\cite{ALS94}, Theorem 4.1 does not apply.
3.20/1.69	This system is of type 3 or smaller.
3.20/1.69	This system is strongly deterministic.
3.20/1.69	This system is quasi-decreasing.
3.20/1.69	By \cite{A14}, Theorem 11.5.9.
3.20/1.69	This system is of type 3 or smaller.
3.20/1.69	This system is deterministic.
3.20/1.69	System R transformed to V(R) + Emb.
3.20/1.69	This system is terminating.
3.20/1.69	Call external tool:
3.20/1.69	./ttt2.sh
3.20/1.69	Input:
3.20/1.69	(VAR x y)
3.20/1.69	(RULES
3.20/1.69	  a -> c
3.20/1.69	  a -> d
3.20/1.69	  f(x, y) -> y
3.20/1.69	  f(x, y) -> c
3.20/1.69	  f(x, y) -> x
3.20/1.69	  f(x, y) -> y
3.20/1.69	)
3.20/1.69	
3.20/1.69	 LPO Processor:
3.20/1.69	  precedence:
3.20/1.69	   f > a > d ~ c
3.20/1.69	  problem:
3.20/1.69	   
3.20/1.69	  Qed
3.20/1.69	ConCon could not decide whether all 2 critical pairs are joinable or not.
3.20/1.69	Overlap: (rule1: a -> d, rule2: a -> c, pos: ε, mgu: {})
3.20/1.69	CP: c = d
3.20/1.69	ConCon could not decide context-joinability of this critical pair.
3.20/1.69	
3.29/1.71	EOF