97.47/30.65	MAYBE
97.47/30.65	(UNSUPPORTED)
97.47/30.65	ConCon could not decide confluence of the system.
97.47/30.65	\cite{ALS94}, Theorem 4.1 does not apply.
97.47/30.65	This system is of type 3 or smaller.
97.47/30.65	This system is absolutely deterministic.
97.47/30.65	The external tool could not decide termination of the system.
97.47/30.65	Call external tool:
97.47/30.65	./ttt2.sh
97.47/30.65	Input:
97.47/30.65	(VAR x y)
97.47/30.65	(RULES
97.47/30.65	  f(x) -> U1(a, x)
97.47/30.65	  U1(h(y), x) -> y
97.47/30.65	  g(x, b) -> U2(f(b), x)
97.47/30.65	  U2(x, x) -> U3(x, x)
97.47/30.65	  U3(c, x) -> g(f(c), x)
97.47/30.65	  a -> h(b)
97.47/30.65	  a -> h(c)
97.47/30.65	)
97.47/30.65	
97.47/30.66	EOF