Superpermutation Almanac

n = 12

W-0071

A superpermutation on 12 symbols, found by Theo H.. It beat the previous record, W-0069, by 1 letter, and was the record for n = 12 from Oct 18 until Oct 20, 2026, when W-0074 was 204 letters shorter.

Length
522,737,173
Repeated occurrences
177,465
Announced
Oct 18, 2026
Begins 0123456789AB0123456789A0B123456789A01B23456789A012B3456789A0123B456789A01234B56789A012345B6789A0123456B789A01234567B89A0…

Windows

522,737,162windows of 12 consecutive letters
=479,001,600distinct permutations, all 12! of them
+177,465repeated occurrences of a permutation
+43,558,097windows that are not permutations

How it was found

Echols's 522,737,174 shortened by one letter with a reordering that also chooses the phase at which each trail is left and entered ('accounting for exit and entry phase (via relabeling) when doing a reordering'); relabelled canonically.

Checking

Total check time: 9 s, including preparation but not time in the queue.

ProgramSourceResultTime
classcheck41928cceall 479,001,600 permutations appear, by rotation class3 s
bitmapcheck288b3f67agrees, by Lehmer rank2 s
wordhash94925fe4the SHA-256 of the word and of its mirror3 s
SHA-256bee46caa0dfe695e0367f5b98195da090d0c368abf96f86bf5441ce4990048af Compilerrustc 1.89.0 (29483883e 2025-08-04)

Download

Download Detour (.detour) 59.5 kB, or 522.7 MB decoded

Decode to text

# check it yourself
detour decode W-0071.detour - | tr -d '\n' | shasum -a 256
tar xzf checkers-rs-source.tar.gz && cd checkers-rs && cargo build --release --locked
./target/release/classcheck 12 ../W-0071.detour 522737173
./target/release/bitmapcheck 12 ../W-0071.detour 522737173
./target/release/wordhash 12 ../W-0071.detour 522737173

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 = 12 and sync exponent 0. The file has 5,193,986 tokens: 1 START, 1 literal of 1 byte in all, and 5,193,984 deviations. Deviations by weight, from 1 to 12: 177,465 · 1,409,797 · 3,605,005 · 284 · 120 · 845 · 99 · 137 · 185 · 28 · 19 · 0.