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