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