MAYBE
223.87/56.74	MAYBE
223.87/56.74	
223.87/56.74	Problem:
223.87/56.74	 b(b(b(a(b(a(b(b(a(b(x1)))))))))) -> b(b(a(b(a(b(b(b(a(b(a(b(b(x1)))))))))))))
223.87/56.74	
223.87/56.74	Proof:
223.87/56.74	 Open
223.87/56.74	EOF