2.37/1.74	MAYBE
2.37/1.74	
2.37/1.74	Proof:
2.37/1.74	ConCon could not decide confluence of the system.
2.37/1.74	
2.37/1.77	EOF