W-0077
A superpermutation on 8 symbols, found by Jakub Halfar. It beat the previous record, W-0073, by 4 letters, and was the record for n = 8 on Oct 20, 2026, when W-0078 was 1 letter shorter.
- Length
- 46,174
- Repeated occurrences
- 57
- Announced
- Oct 20, 2026
012345670123456071234560172345601273456012374560123475601234576012345067123450617234506127345061237450612347506123457061…
Windows
| 46,167 | windows of 8 consecutive letters | |
| = | 40,320 | distinct permutations, all 8! of them |
| + | 57 | repeated occurrences of a permutation |
| + | 5,790 | windows that are not permutations |
How it was found
A new selection: four copies of one closed walk of 27 loops cover 108 of the 120 loops, and the other 12 get no row, so there are 16 trails to join. Length 46,085 + 64 (rows) + 25 (joins); 57 repeated permutations.
Checking
Total check time: under 1 s, including preparation but not time in the queue.
| Program | Source | Result | Time |
|---|---|---|---|
| classcheck | 41928cce | all 40,320 permutations appear, by rotation class | under 1 s |
| bitmapcheck | 288b3f67 | agrees, by Lehmer rank | under 1 s |
| wordhash | 94925fe4 | the SHA-256 of the word and of its mirror | under 1 s |
Download
Download Detour (.detour) 260 bytes, or 46.2 kB decoded
Download text (.txt) 46.2 kB
# check it yourself
detour decode W-0077.detour - | tr -d '\n' | shasum -a 256
tar xzf checkers-rs-source.tar.gz && cd checkers-rs && cargo build --release --locked
./target/release/classcheck 8 ../W-0077.detour 46174
./target/release/bitmapcheck 8 ../W-0077.detour 46174
./target/release/wordhash 8 ../W-0077.detour 46174
Decoding needs detour; see the Detour format for how to build and install it. The checkers are in checkers-rs-source.tar.gz, which needs Rust 1.89 or later; each one decodes the file itself, so the word is never written out.
The file's header gives n = 8 and sync exponent 0. The file has 909 tokens: 1 START, 1 literal of 1 byte in all, and 907 deviations. Deviations by weight, from 1 to 8: 57 · 208 · 635 · 1 · 3 · 3 · 0 · 0.