https://weakergravity.blogspot.com/2022/09/dirty-pick-number-game.html