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