196.08/50.14	MAYBE
196.08/50.14	
196.08/50.14	Problem:
196.08/50.14	 a(a(x1)) -> b(a(b(c(c(x1)))))
196.08/50.14	 c(a(x1)) -> x1
196.08/50.14	 c(b(x1)) -> a(x1)
196.08/50.14	
196.08/50.14	Proof:
196.08/50.14	 Open
196.08/50.14	EOF