lexicographic-integer-encoding

Lexicographically ordered integers for level(up)