201.62/50.55	MAYBE
201.62/50.55	
201.62/50.55	Problem:
201.62/50.55	 b(a(b(b(a(b(b(a(b(a(x1)))))))))) -> a(b(a(b(a(b(b(a(b(b(a(b(b(a(x1))))))))))))))
201.62/50.55	
201.62/50.55	Proof:
201.62/50.55	 Open
201.62/50.55	EOF