3.62/2.02	MAYBE
3.62/2.02	
3.62/2.02	Proof:
3.62/2.02	ConCon could not decide confluence of the system.
3.62/2.02	
3.62/2.05	EOF