52.36/31.25	MAYBE
52.36/31.25	
52.36/31.25	Proof:
52.36/31.25	ConCon could not decide confluence of the system.
52.36/31.25	\cite{GNG13}, Theorem 9 does not apply.
52.36/31.25	This system is of type 3 or smaller.
52.36/31.25	This system is deterministic.
52.36/31.25	This system is weakly left-linear.
52.36/31.25	System R transformed to optimized U(R).
52.36/31.25	The external tool could not decide confluence of the system.
52.36/31.25	Call external tool:
52.36/31.25	./csi.sh
52.36/31.25	Input:
52.36/31.25	  f(x) -> ?1(f(x), x)
52.36/31.25	  ?1(z, x) -> ?2(x, x, z)
52.36/31.25	  ?2(z, x, z) -> b
52.36/31.25	  a -> f(a)
52.36/31.25	
52.36/31.25	
52.36/31.26	EOF