2.00/1.32	MAYBE
2.00/1.32	
2.00/1.32	Proof:
2.00/1.32	ConCon could not decide confluence of the system.
2.00/1.32	
2.00/1.34	EOF