lexicographic_encoding
