197.22/50.02	MAYBE
197.22/50.02	
197.22/50.02	Problem:
197.22/50.02	 a(x1) -> x1
197.22/50.02	 a(b(x1)) -> b(b(a(a(c(a(x1))))))
197.22/50.02	 c(c(b(x1))) -> x1
197.22/50.02	
197.22/50.02	Proof:
197.22/50.02	 Open
197.22/50.03	EOF