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