Henry starts with a list of the first 1000 positive integers. At each step he performes the following operations:
- Erase all the non-positive integers, if any.
- Erase all the integers with repeated digits (e.g. 111, 121, 122), if any.
- Decrements every remaining number by 1.