3.71/3.00	MAYBE
3.71/3.00	
3.71/3.00	Proof:
3.71/3.00	ConCon could not decide confluence of the system.
3.71/3.00	
3.71/3.02	EOF