1.98/1.31	MAYBE
1.98/1.31	(UNSUPPORTED)
1.98/1.31	ConCon could not decide confluence of the system.
1.98/1.32	EOF