1.65/1.14	MAYBE
1.65/1.14	
1.65/1.14	Proof:
1.65/1.14	ConCon could not decide confluence of the system.
1.65/1.14	
1.65/1.16	EOF