0.00/0.89	MAYBE
0.00/0.89	
0.00/0.89	Problem:
0.00/0.89	div(x, y) -> pair(0(), y) <= greater(y, x) = true()
0.00/0.89	div(x, y) -> pair(s(q), r) <= leq(y, x) = true(), div(m(x, y), y) = pair(q, r)
0.00/0.89	m(x, 0()) -> x
0.00/0.89	m(0(), y) -> 0()
0.00/0.89	m(s(x), s(y)) -> m(x, y)
0.00/0.89	greater(s(x), s(y)) -> greater(x, y)
0.00/0.89	greater(s(x), 0()) -> true()
0.00/0.89	leq(s(x), s(y)) -> leq(x, y)
0.00/0.89	leq(0(), x) -> true()
0.00/0.89	
0.00/0.89	Proof:
0.00/0.89	ConCon could not decide confluence of the system.
0.00/0.89	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.89	
0.00/0.89	EOF