{"license": "CC BY 4.0", "license_url": "https://creativecommons.org/licenses/by/4.0/", "word": {"id": "W-0020", "n": 13, "length": 6749568009, "sha256": "823def8ea2a0a21fc7f5a92758b069fc12509f7aee7c4df24d755e6c2c1ef17c", "is_record": true, "notable": false, "tie": false, "letters_saved": null, "repeated_occurrences": 0, "credited": [{"name": "Uku Raudvere", "github_username": null}], "date": "2026-07-27T15:46:02Z", "date_precision": "day", "received_at": "2026-10-27T14:08:32Z", "source": "seed", "source_url": "https://github.com/urdvr/superpermutation-examples/commit/ddc61ed48e023f124a9ae48f70ff4eedac81b2db", "url": "https://superpermutations.com/w/W-0020", "permutation_windows": 6227020800, "check_elapsed_seconds": null, "deletable_letters": 0, "begins": "0123456789ABC0123456789AB0C123456789AB01C23456789AB012C3456789AB0123C456789AB01234C56789AB012345C6789AB0123456C789AB0123", "checkers": {"permcheck": {"source_sha256": "c46d3654e8495109321dd1d4e5f0904d40cb788ffb9d4213696faa6d14ce3674", "seconds": 380.8590634390712}, "literal_check": {"source_sha256": "f46871217b9b693f3648f4ce085e24317942c4bbd2ad3da67db73250dd325cab", "seconds": 972.1825043065473}, "compiler": "g++ (Debian 14.2.0-19) 14.2.0"}, "note": "Egan's length minus 1 at n = 13, lifted from the n = 12 certificate; Raudvere published the certificate (lift/n13.sprc.xz) and a SHA-256 of the word, not the word.", "reason": null, "file": {"name": "W-0020.detour", "compression": "detour", "size": 172180, "encoded_sha256": "02552ff44decfb30e1f36647fb96851134dfb5727443680a07f4e60cc0510fc8", "metadata": {"schema_version": 1, "format": "detour", "encoded_sha256": "02552ff44decfb30e1f36647fb96851134dfb5727443680a07f4e60cc0510fc8", "encoded_size": 172180, "word_length": 6749568009, "word_sha256": "823def8ea2a0a21fc7f5a92758b069fc12509f7aee7c4df24d755e6c2c1ef17c", "detour": {"n": 13, "alphabet": "0123456789ABC", "sync_exponent": 0, "length": 6749568010, "sha256": "f85d77cdf05a674830a81aeea068e2eed81f711c6479b01f584710f5cc557ee9", "tokens": 522547083, "starts": 1, "literal_bytes": 1, "syncs": 0, "steps_by_weight": [5704473612, 522547177, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], "deviations_by_weight": [0, 522547073, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}}, "text_download": null, "download": "https://superpermutations.com/w/W-0020/download"}}}