199.08/50.79	MAYBE
199.08/50.79	
199.08/50.79	Problem:
199.08/50.79	 b(a(a(b(a(b(a(b(b(a(x1)))))))))) -> a(b(a(b(a(b(b(a(a(b(a(b(a(b(x1))))))))))))))
199.08/50.79	
199.08/50.79	Proof:
199.08/50.79	 Open
199.08/50.79	EOF