1.18/0.88	MAYBE
1.18/0.88	
1.18/0.88	Proof:
1.18/0.88	ConCon could not decide confluence of the system.
1.18/0.88	
1.18/0.91	EOF