W-0007
A superpermutation on 5 symbols, found by Ben Chaffin. It is listed as a notable word: it ties W-0004, the record at the time.
- Length
- 153
- Repeated occurrences
- 0
- Announced
- Aug 13, 2014
012340123041230142301243012034120314203124031204310241302410324102341024310423104321043120134210342130421340214302140321…
Why it is listed
Ben Chaffin's exhaustive search found exactly 8 superpermutations of length 153 on 5 symbols (up to relabelling); the file holds all 8.
Windows
| 149 | windows of 5 consecutive letters | |
| = | 120 | distinct permutations, all 5! of them |
| + | 0 | repeated occurrences of a permutation |
| + | 29 | windows that are not permutations |
How it was found
Ben Chaffin's exhaustive search found exactly 8 superpermutations of length 153 on 5 symbols (up to relabelling); the file holds all 8.
Checking
| Program | Source | Result | Time |
|---|---|---|---|
| permcheck | c46d3654 | all 120 permutations appear | under 1 s |
| literal_check | f4687121 | agrees on coverage | under 1 s |
Download
Download Detour (.detour) 152 bytes, or 153 bytes decoded
Download text (.txt) 153 bytes
# check it yourself
detour decode W-0007.detour - | tr -d '\n' | shasum -a 256
tar xzf checkers-rs-source.tar.gz && cd checkers-rs && cargo build --release --locked
./target/release/classcheck 5 ../W-0007.detour 153
./target/release/bitmapcheck 5 ../W-0007.detour 153
./target/release/wordhash 5 ../W-0007.detour 153
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 = 5 and sync exponent 0. The file has 20 tokens: 1 START, 1 literal of 1 byte in all, and 18 deviations. Deviations by weight, from 1 to 5: 0 · 17 · 1 · 0 · 0.