run starts

Spot where a run begins (x - 1 is not in the set) and extend it with a while loop, so each value is visited once.

Builds on: set membership, while loop