1.99/1.30	MAYBE
1.99/1.30	(UNSUPPORTED)
1.99/1.30	ConCon could not decide confluence of the system.
1.99/1.30	EOF