2.63/1.85	MAYBE
2.63/1.85	(UNSUPPORTED)
2.63/1.85	ConCon could not decide confluence of the system.
2.63/1.86	EOF