Correction: I forgot to include the shift in arguments >>81 in the Svec' expression >>83. It is meant to be:
Svec' = [S1-1, S2, ..., s]
In other words, the lowest item, S0, is thrown away, the others are shifted down, and the newly lowest item is decremented.