1.12/0.72	MAYBE
1.12/0.72	
1.12/0.72	Proof:
1.12/0.72	ConCon could not decide confluence of the system.
1.12/0.72	
1.12/0.75	EOF