2.00/1.59	MAYBE
2.00/1.59	
2.00/1.59	Proof:
2.00/1.59	ConCon could not decide confluence of the system.
2.00/1.59	\cite{ALS94}, Theorem 4.1 does not apply.
2.00/1.59	This system is of type 3 or smaller.
2.00/1.59	This system is strongly deterministic.
2.00/1.59	This system is of type 3 or smaller.
2.00/1.59	This system is deterministic.
2.00/1.59	This system is non-terminating.
2.00/1.59	Call external tool:
2.00/1.59	./ttt2.sh
2.00/1.59	Input:
2.00/1.59	(VAR x y)
2.00/1.59	(RULES
2.00/1.59	  f(x, y) -> g(x)
2.00/1.59	  f(x, y) -> a
2.00/1.59	  f(x, y) -> h(x)
2.00/1.59	  f(x, y) -> b
2.00/1.59	  g(s(x)) -> x
2.00/1.59	  h(s(x)) -> x
2.00/1.59	  a -> d
2.00/1.59	  b -> d
2.00/1.59	  e -> e
2.00/1.59	  h(x) -> x
2.00/1.59	  s(x) -> x
2.00/1.59	  g(x) -> x
2.00/1.59	  f(x, y) -> x
2.00/1.59	  f(x, y) -> y
2.00/1.59	)
2.00/1.59	
2.00/1.59	 Containment Processor: loop length: 1
2.00/1.59	                        terms:
2.00/1.59	                         e()
2.00/1.59	                        context: []
2.00/1.59	                        substitution:
2.00/1.59	                         
2.00/1.59	  Qed
2.00/1.60	ConCon could not decide if this system is quasi-decreasing.
2.00/1.60	\cite{A14}, Theorem 11.5.9 does not apply.
2.00/1.60	This system is of type 3 or smaller.
2.00/1.60	This system is deterministic.
2.00/1.60	This system is non-terminating.
2.00/1.60	Call external tool:
2.00/1.60	./ttt2.sh
2.00/1.60	Input:
2.00/1.60	(VAR x y)
2.00/1.60	(RULES
2.00/1.60	  f(x, y) -> g(x)
2.00/1.60	  f(x, y) -> a
2.00/1.60	  f(x, y) -> h(x)
2.00/1.60	  f(x, y) -> b
2.00/1.60	  g(s(x)) -> x
2.00/1.60	  h(s(x)) -> x
2.00/1.60	  a -> d
2.00/1.60	  b -> d
2.00/1.60	  e -> e
2.00/1.60	  h(x) -> x
2.00/1.60	  s(x) -> x
2.00/1.60	  g(x) -> x
2.00/1.60	  f(x, y) -> x
2.00/1.60	  f(x, y) -> y
2.00/1.60	)
2.00/1.60	
2.00/1.60	 Containment Processor: loop length: 1
2.00/1.60	                        terms:
2.00/1.60	                         e()
2.00/1.60	                        context: []
2.00/1.60	                        substitution:
2.00/1.60	                         
2.00/1.60	  Qed
2.00/1.60	
2.00/1.62	EOF