2.01/1.35	MAYBE
2.01/1.35	
2.01/1.35	Proof:
2.01/1.35	ConCon could not decide confluence of the system.
2.01/1.35	
2.20/1.37	EOF