20.87/11.92	MAYBE
20.87/11.92	(UNSUPPORTED)
20.87/11.92	ConCon could not decide confluence of the system.
20.87/11.92	\cite{ALS94}, Theorem 4.1 does not apply.
20.87/11.92	This system is of type 3 or smaller.
20.87/11.92	This system is absolutely deterministic.
20.87/11.92	This system is terminating.
20.87/11.92	This critical pair is conditional.
20.87/11.92	This critical pair has some non-trivial conditions.
20.87/11.92	ConCon could not decide whether all 6 critical pairs are joinable or not.
20.87/11.92	Overlap: (rule1: gcd(s(z), s(x')) -> gcd(m(z, x'), s(x')) <= lt(x', z) = true, rule2: gcd(s(y'), s(z')) -> gcd(s(y'), m(z', y')) <= lt(y', z') = true, pos: ε, mgu: {(z,y'), (x',z')})
20.87/11.92	CP: gcd(s(y'), m(z', y')) = gcd(m(y', z'), s(z')) <= lt(z', y') = true, lt(y', z') = true
20.87/11.92	ConCon could not decide infeasibility of this critical pair.
20.87/11.92	EOF