MAYBE
218.99/55.37	MAYBE
218.99/55.37	
218.99/55.37	Problem:
218.99/55.37	 b(a(a(b(a(x1))))) -> a(b(a(a(b(b(a(a(b(x1)))))))))
218.99/55.37	
218.99/55.37	Proof:
218.99/55.37	 Open
218.99/55.38	EOF