{"license": "CC BY 4.0", "license_url": "https://creativecommons.org/licenses/by/4.0/", "word": {"id": "W-0028", "n": 8, "length": 46181, "sha256": "f1248246e15d7238999d5dfdcfeba7560d64edf98080009380167bf0f87112ab", "is_record": true, "notable": false, "tie": false, "letters_saved": 7, "repeated_occurrences": 96, "credited": [{"name": "Jay Pantone", "github_username": "jaypantone"}], "date": "2026-09-29T02:51:44Z", "date_precision": "day", "received_at": "2026-10-27T14:10:31Z", "source": "seed", "source_url": "https://github.com/jaypantone/superperm-upper-43-80/commit/60f923ecbfbc0ab63e0e1f7dcbf038c290e1ede5", "url": "https://superpermutations.com/w/W-0028", "permutation_windows": 40416, "check_elapsed_seconds": null, "deletable_letters": 0, "begins": "012345670123456071234560172345601273456012374560123547601235467012354607123546017235460127354601237546012357460123564701", "checkers": {"permcheck": {"source_sha256": "c46d3654e8495109321dd1d4e5f0904d40cb788ffb9d4213696faa6d14ce3674", "seconds": 0.002643660642206669}, "literal_check": {"source_sha256": "f46871217b9b693f3648f4ce085e24317942c4bbd2ad3da67db73250dd325cab", "seconds": 0.0035120313987135887}, "compiler": "g++ (Debian 14.2.0-19) 14.2.0"}, "note": "Exactly the word of Pantone's 43/80 construction at 8 symbols; its existence is also proved in Lean (theorem word_eight).", "reason": null, "file": {"name": "W-0028.detour", "compression": "detour", "size": 244, "encoded_sha256": "54123abf1157422e80d3e8c8c209458fe25ec15b41a13a5bc1b44b26c0719e21", "metadata": {"schema_version": 1, "format": "detour", "encoded_sha256": "54123abf1157422e80d3e8c8c209458fe25ec15b41a13a5bc1b44b26c0719e21", "encoded_size": 244, "word_length": 46181, "word_sha256": "f1248246e15d7238999d5dfdcfeba7560d64edf98080009380167bf0f87112ab", "detour": {"n": 8, "alphabet": "01234567", "sync_exponent": 0, "length": 46182, "sha256": "2ef9ba09745f70e964c078f58fb3b87ee0cf120416e5c6d650c92bae3b79d429", "tokens": 1197, "starts": 1, "literal_bytes": 1, "syncs": 0, "steps_by_weight": [35376, 4320, 719, 0, 0, 0, 0, 0], "deviations_by_weight": [96, 384, 715, 0, 0, 0, 0, 0]}}, "text_download": "https://superpermutations.com/w/W-0028/download/text", "download": "https://superpermutations.com/w/W-0028/download"}}}