3.31/1.79	MAYBE
3.31/1.79	(UNSUPPORTED)
3.31/1.79	ConCon could not decide confluence of the system.
3.31/1.79	\cite{GNG13}, Theorem 9 does not apply.
3.31/1.79	This system is of type 3 or smaller.
3.31/1.79	This system is deterministic.
3.31/1.79	This system is left-linear.
3.31/1.79	This system is non-confluent.
3.31/1.80	EOF