3.81/1.84	MAYBE
3.81/1.84	(UNSUPPORTED)
3.81/1.84	ConCon could not decide confluence of the system.
3.81/1.84	EOF