1.13/0.73	MAYBE
1.13/0.73	
1.13/0.73	Proof:
1.13/0.73	ConCon could not decide confluence of the system.
1.13/0.73	
1.13/0.74	EOF