197.24/50.45	MAYBE
197.24/50.45	
197.24/50.45	Problem:
197.24/50.45	 a(x1) -> b(x1)
197.24/50.45	 a(b(c(x1))) -> c(c(b(a(a(x1)))))
197.24/50.45	 c(c(x1)) -> x1
197.24/50.45	
197.24/50.45	Proof:
197.24/50.45	 Open
197.24/50.46	EOF