12.88/3.81	MAYBE
12.88/3.81	
12.88/3.81	Problem:
12.88/3.81	lt(x, 0()) -> false()
12.88/3.81	lt(0(), s(x)) -> true()
12.88/3.81	lt(s(x), s(y)) -> lt(x, y)
12.88/3.81	m(0(), s(y)) -> 0()
12.88/3.81	m(x, 0()) -> x
12.88/3.81	m(s(x), s(y)) -> m(x, y)
12.88/3.81	gcd(x, x) -> x
12.88/3.81	gcd(s(x), 0()) -> s(x)
12.88/3.81	gcd(0(), s(y)) -> s(y)
12.88/3.81	gcd(s(x), s(y)) -> gcd(m(x, y), s(y)) <= lt(y, x) = true()
12.88/3.81	gcd(s(x), s(y)) -> gcd(s(x), m(y, x)) <= lt(x, y) = true()
12.88/3.81	
12.88/3.81	Proof:
12.88/3.81	ConCon could not decide confluence of the system.
12.88/3.81	\cite{ALS94}, Theorem 4.1 does not apply.
12.88/3.81	ConCon could not decide whether all 6 critical pairs are joinable or not.
12.88/3.81	CP: gcd(s(x), m(x, x)) = s(x) <= lt(x, x) = true():
12.88/3.81	ConCon could not decide infeasibility of this critical pair.
12.88/3.81	
12.88/3.84	EOF