MAYBE
221.74/55.72	MAYBE
221.74/55.72	
221.74/55.72	Problem:
221.74/55.72	 b(a(b(b(b(a(b(b(x1)))))))) -> b(b(a(b(b(b(a(b(a(b(b(b(a(b(x1))))))))))))))
221.74/55.72	
221.74/55.72	Proof:
221.74/55.72	 Open
221.74/55.73	EOF