A small script to find out the number of different ways to pick 4 of 9 segments that allow to distinguish all the 10 digits. Please read my blogpost for some more details: https://egeek.me/2024/02/18/a-postal-code-encoding-question/.