2.48/1.73	MAYBE
2.48/1.73	
2.48/1.73	Proof:
2.48/1.73	ConCon could not decide confluence of the system.
2.48/1.73	Inlined conditions in System R.
2.48/1.73	
2.48/1.75	EOF