1.16/0.74	MAYBE
1.16/0.74	
1.16/0.74	Proof:
1.16/0.74	ConCon could not decide confluence of the system.
1.16/0.74	
1.16/0.78	EOF