長さ順→辞書順というルール、結局 Base64 とかで時系列 ID をバイナリとしてエンコードする分には達成できる(∀x, y ∈ IDs, x ≧ y ⇒ Base64(x) ≧ Base64(y) は真なのか)?