MAYBE
218.84/55.37	MAYBE
218.84/55.37	
218.84/55.37	Problem:
218.84/55.37	 b(a(L(x1))) -> L(a(L(X(b(a(b(b(x1))))))))
218.84/55.37	 b(L(x1)) -> L(b(x1))
218.84/55.37	
218.84/55.37	Proof:
218.84/55.37	 Open
218.84/55.37	EOF