0.00/0.66	MAYBE
0.00/0.66	
0.00/0.66	Problem:
0.00/0.66	lt(x, 0()) -> false()
0.00/0.66	lt(0(), s(x)) -> true()
0.00/0.66	lt(s(x), s(y)) -> lt(x, y)
0.00/0.66	m(0(), s(y)) -> 0()
0.00/0.66	m(x, 0()) -> x
0.00/0.66	m(s(x), s(y)) -> m(x, y)
0.00/0.66	gcd(x, x) -> x
0.00/0.66	gcd(s(x), 0()) -> s(x)
0.00/0.66	gcd(0(), s(y)) -> s(y)
0.00/0.67	gcd(s(x), s(y)) -> gcd(m(x, y), s(y)) <= lt(y, x) = true()
0.00/0.67	gcd(s(x), s(y)) -> gcd(s(x), m(y, x)) <= lt(x, y) = true()
0.00/0.67	
0.00/0.67	Proof:
0.00/0.67	ConCon could not decide confluence of the system.
0.00/0.67	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.67	
0.00/0.67	EOF