1.12/0.77	MAYBE
1.12/0.77	(UNSUPPORTED)
1.12/0.77	ConCon could not decide confluence of the system.
1.20/0.79	EOF