3.77/1.82	YES
3.77/1.82	
3.77/1.82	Proof:
3.77/1.82	This system is confluent.
3.77/1.82	Removed infeasible rules from system R.
3.77/1.82	By \cite{ALS94}, Theorem 4.1.
3.77/1.82	This system is of type 3 or smaller.
3.77/1.82	This system is strongly deterministic.
3.77/1.82	This system is quasi-decreasing.
3.77/1.82	By \cite{O02}, p. 214, Proposition 7.2.50.
3.77/1.82	This system is of type 3 or smaller.
3.77/1.82	This system is deterministic.
3.77/1.82	System R transformed to U(R).
3.77/1.82	This system is terminating.
3.77/1.82	Call external tool:
3.77/1.82	./ttt2.sh
3.77/1.82	Input:
3.77/1.82	(VAR x)
3.77/1.82	(RULES
3.77/1.82	  g(x, x) -> g(f(a), f(b))
3.77/1.82	)
3.77/1.82	
3.77/1.82	 DP Processor:
3.77/1.82	  DPs:
3.77/1.82	   g#(x,x) -> g#(f(a()),f(b()))
3.77/1.82	  TRS:
3.77/1.82	   g(x,x) -> g(f(a()),f(b()))
3.77/1.82	  EDG Processor:
3.77/1.82	   DPs:
3.77/1.82	    g#(x,x) -> g#(f(a()),f(b()))
3.77/1.82	   TRS:
3.77/1.82	    g(x,x) -> g(f(a()),f(b()))
3.77/1.82	   graph:
3.77/1.82	    
3.77/1.82	   SCC Processor:
3.77/1.83	    #sccs: 0
3.77/1.83	    #rules: 0
3.77/1.83	    #arcs: 0/1
3.77/1.83	    
3.77/1.83	All 0 critical pairs are joinable.
3.77/1.83	
3.84/2.03	EOF