2.05/1.33	MAYBE
2.05/1.33	(UNSUPPORTED)
2.05/1.33	ConCon could not decide confluence of the system.
2.05/1.34	EOF