MAYBE
219.30/55.47	MAYBE
219.30/55.47	
219.30/55.47	Problem:
219.30/55.47	 b(a(a(b(b(a(x1)))))) -> a(a(b(b(a(a(a(b(b(x1)))))))))
219.30/55.47	
219.30/55.47	Proof:
219.30/55.47	 Open
219.30/55.47	EOF