2.77/1.50	MAYBE
2.77/1.50	
2.77/1.50	Proof:
2.77/1.50	ConCon could not decide confluence of the system.
2.77/1.50	
2.79/1.54	EOF