3.91/2.08	MAYBE
3.91/2.08	
3.91/2.08	Proof:
3.91/2.08	ConCon could not decide confluence of the system.
3.91/2.08	Removed infeasible rules from system R.
3.91/2.08	\cite{ALS94}, Theorem 4.1 does not apply.
3.91/2.08	This system is of type 3 or smaller.
3.91/2.08	This system is strongly deterministic.
3.91/2.08	This system is quasi-decreasing.
3.91/2.08	By \cite{O02}, p. 214, Proposition 7.2.50.
3.91/2.08	This system is of type 3 or smaller.
3.91/2.08	This system is deterministic.
3.91/2.08	System R transformed to optimized U(R).
3.91/2.08	This system is terminating.
3.91/2.08	Call external tool:
3.91/2.08	./ttt2.sh
3.91/2.08	Input:
3.91/2.08	(VAR x)
3.91/2.08	(RULES
3.91/2.08	  h(d) -> c(a)
3.91/2.08	  h(d) -> c(b)
3.91/2.08	  f(k(a), k(b), x) -> f(x, x, x)
3.91/2.08	)
3.91/2.08	
3.91/2.08	 DP Processor:
3.91/2.08	  DPs:
3.91/2.08	   f#(k(a()),k(b()),x) -> f#(x,x,x)
3.91/2.08	  TRS:
3.91/2.08	   h(d()) -> c(a())
3.91/2.08	   h(d()) -> c(b())
3.91/2.08	   f(k(a()),k(b()),x) -> f(x,x,x)
3.91/2.08	  EDG Processor:
3.91/2.08	   DPs:
3.91/2.08	    f#(k(a()),k(b()),x) -> f#(x,x,x)
3.91/2.08	   TRS:
3.91/2.08	    h(d()) -> c(a())
3.91/2.08	    h(d()) -> c(b())
3.91/2.08	    f(k(a()),k(b()),x) -> f(x,x,x)
3.91/2.08	   graph:
3.91/2.08	    
3.91/2.08	   SCC Processor:
3.91/2.08	    #sccs: 0
3.91/2.08	    #rules: 0
3.91/2.08	    #arcs: 0/1
3.91/2.08	    
3.91/2.08	ConCon could not decide whether all 2 critical pairs are joinable or not.
3.91/2.08	Overlap: (rule1: h(d) -> c(b), rule2: h(d) -> c(a), pos: ε, mgu: {})
3.91/2.08	CP: c(a) = c(b)
3.91/2.08	ConCon could not decide unfeasibility of this critical pair.
3.91/2.08	
5.90/2.47	EOF