MAYBE
221.26/55.98	MAYBE
221.26/55.98	
221.26/55.98	Problem:
221.26/55.98	 b(b(a(b(b(a(b(b(b(b(x1)))))))))) -> b(b(b(b(b(a(b(b(a(b(b(a(b(x1)))))))))))))
221.26/55.98	
221.26/55.98	Proof:
221.26/55.98	 Open
221.26/55.98	EOF