shortest equivalence sequence