Randomly thin a progression-free set

A small search found no gain over the digit construction through modulus 27.

No sample report is included for this idea.