Plücker formula and the equisingularity set of a linear system Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2 