2.00/1.02	MAYBE
2.00/1.02	
2.00/1.02	Proof:
2.00/1.02	ConCon could not decide confluence of the system.
2.00/1.02	\cite{ALS94}, Theorem 4.1 does not apply.
2.00/1.02	This system is of type 3 or smaller.
2.00/1.02	This system is strongly deterministic.
2.00/1.02	This system is of type 3 or smaller.
2.00/1.02	This system is deterministic.
2.00/1.02	This system is non-terminating.
2.00/1.02	Call external tool:
2.00/1.02	./ttt2.sh
2.00/1.02	Input:
2.00/1.02	  a -> b
2.00/1.02	  a -> c
2.00/1.02	  b -> ?1(b)
2.00/1.02	  ?1(c) -> c
2.00/1.02	
2.00/1.02	 Containment Processor: loop length: 1
2.00/1.02	                        terms:
2.00/1.02	                         b()
2.00/1.02	                        context: ?1([])
2.00/1.02	                        substitution:
2.00/1.02	                         
2.00/1.02	  Qed
2.00/1.02	ConCon could not decide if this system is quasi-decreasing.
2.00/1.02	\cite{O02}, p. 214, Proposition 7.2.50 does not apply.
2.00/1.02	This system is of type 3 or smaller.
2.00/1.02	This system is deterministic.
2.00/1.02	This system is non-terminating.
2.00/1.02	Call external tool:
2.00/1.02	./ttt2.sh
2.00/1.02	Input:
2.00/1.02	  a -> b
2.00/1.02	  a -> c
2.00/1.02	  b -> ?1(b)
2.00/1.02	  ?1(c) -> c
2.00/1.02	
2.00/1.02	 Containment Processor: loop length: 1
2.00/1.02	                        terms:
2.00/1.02	                         b()
2.00/1.03	                        context: ?1([])
2.00/1.03	                        substitution:
2.00/1.03	                         
2.00/1.03	  Qed
2.00/1.03	
2.00/1.05	EOF