MAYBE
134.05/55.35	MAYBE
134.05/55.35	
134.05/55.35	Problem:
134.05/55.35	 a(a(a(x1))) -> b(c(x1))
134.05/55.35	 c(b(x1)) -> a(a(a(a(c(x1)))))
134.05/55.35	
134.05/55.35	Proof:
134.05/55.35	 Open
134.05/55.36	EOF