MAYBE
215.42/55.63	MAYBE
215.42/55.63	
215.42/55.63	Problem:
215.42/55.63	 a(b(a(a(a(a(b(x1))))))) -> b(a(a(a(a(b(b(a(a(a(a(b(a(x1)))))))))))))
215.42/55.63	
215.42/55.63	Proof:
215.42/55.63	 Open
215.42/55.63	EOF