1.13/0.76	MAYBE
1.13/0.76	
1.13/0.76	Proof:
1.13/0.76	ConCon could not decide confluence of the system.
1.13/0.76	
1.26/0.79	EOF