2.77/1.21	MAYBE
2.77/1.21	(UNSUPPORTED)
2.77/1.21	ConCon could not decide confluence of the system.
2.77/1.21	This system is oriented.
2.77/1.21	This system is of type 3 or smaller.
2.77/1.21	This system is right-stable.
2.77/1.21	This system is properly oriented.
2.77/1.21	This is an overlay system.
2.77/1.21	This system is left-linear.
2.77/1.21	This critical pair is not trivial.
2.77/1.21	This critical pair is conditional.
2.77/1.21	This critical pair has some non-trivial conditions.
2.77/1.21	Some of the 4 critical pairs are not trivial and  ConCon could not decide whether those all are infeasible.
2.77/1.21	Overlap: (rule1: even(s(y)) -> false <= even(y) = true, rule2: even(s(z)) -> true <= odd(z) = true, pos: ε, mgu: {(z,y)})
2.77/1.21	CP: true = false <= even(y) = true, odd(y) = true
2.77/1.21	ConCon could not decide infeasibility of this critical pair.
2.77/1.21	EOF