{"license": "CC BY 4.0", "license_url": "https://creativecommons.org/licenses/by/4.0/", "word": {"id": "W-0009", "n": 7, "length": 5912, "sha256": "66c3cbd5e1cbbd1838e015924633309b72459ed68464daa0a1ccde3faf8b946a", "is_record": true, "notable": false, "tie": false, "letters_saved": 1, "repeated_occurrences": 0, "credited": [{"name": "Robin Houston", "github_username": null}], "date": "2014-08-22T00:00:00Z", "date_precision": "day", "received_at": "2026-10-27T14:06:39Z", "source": "seed", "source_url": "https://njohnston.ca/2014/08/obvious-does-not-imply-true-the-minimal-superpermutation-conjecture-is-false/", "url": "https://superpermutations.com/w/W-0009", "permutation_windows": 5040, "check_elapsed_seconds": null, "deletable_letters": 0, "begins": "012345601234506123450162345012634501236450123465012340561234051623405126340512364051234605123406512340156234015263401523", "checkers": {"permcheck": {"source_sha256": "c46d3654e8495109321dd1d4e5f0904d40cb788ffb9d4213696faa6d14ce3674", "seconds": 0.0021051261574029922}, "literal_check": {"source_sha256": "f46871217b9b693f3648f4ce085e24317942c4bbd2ad3da67db73250dd325cab", "seconds": 0.0016211718320846558}, "compiler": "g++ (Debian 14.2.0-19) 14.2.0"}, "note": "Applying the recursive step to Houston's 872-letter word gives a word one shorter than 1! + ... + n! for every n >= 6; this file is the n = 7 case.", "reason": null, "file": {"name": "W-0009.detour", "compression": "detour", "size": 220, "encoded_sha256": "c81b5aeda92e0531ab21e53c4d03c004ef3d837f189bdbce568e7cc82983a7fc", "metadata": {"schema_version": 1, "format": "detour", "encoded_sha256": "c81b5aeda92e0531ab21e53c4d03c004ef3d837f189bdbce568e7cc82983a7fc", "encoded_size": 220, "word_length": 5912, "word_sha256": "66c3cbd5e1cbbd1838e015924633309b72459ed68464daa0a1ccde3faf8b946a", "detour": {"n": 7, "alphabet": "0123456", "sync_exponent": 0, "length": 5913, "sha256": "e75b859c3139c4140419f16aa740fb829832142618aa76063a4d713b72737642", "tokens": 128, "starts": 1, "literal_bytes": 1, "syncs": 0, "steps_by_weight": [4320, 575, 141, 3, 0, 0, 0], "deviations_by_weight": [0, 0, 126, 0, 0, 0, 0]}}, "text_download": "https://superpermutations.com/w/W-0009/download/text", "download": "https://superpermutations.com/w/W-0009/download"}}}