Lexicographic unranking algorithms for the Twentyfold Way | Synapse