6.44/3.02	MAYBE
6.44/3.02	(UNSUPPORTED)
6.44/3.02	ConCon could not decide confluence of the system.
6.44/3.02	This system is oriented.
6.44/3.02	This system is of type 3 or smaller.
6.44/3.02	This system is right-stable.
6.44/3.02	This system is properly oriented.
6.44/3.02	This is an overlay system.
6.44/3.02	This system is left-linear.
6.44/3.02	This critical pair is not trivial.
6.44/3.02	This critical pair is conditional.
6.44/3.02	This critical pair has some non-trivial conditions.
6.44/3.02	Some of the 2 critical pairs are not trivial and  ConCon could not decide whether those all are infeasible.
6.44/3.02	Overlap: (rule1: f(c(c(c(z))), x') -> a(x') <= c(f(c(z), c(c(x')))) = c(a(a(b))), rule2: f(c(y'), c(c(z'))) -> a(a(y')) <= c(f(y', z')) = c(a(b)), pos: ε, mgu: {(y',c(c(z))), (x',c(c(z')))})
6.44/3.02	CP: a(a(c(c(z)))) = a(c(c(z'))) <= c(f(c(z), c(c(c(c(z')))))) = c(a(a(b))), c(f(c(c(z)), z')) = c(a(b))
6.44/3.02	ConCon could not decide infeasibility of this critical pair.
6.44/3.02	EOF