{
  "id": 40,
  "alphabet_id": 30,
  "alphabet": [0,1,2,3,4,5,6,7,8],
  "length": 1000,
  "previous_length": 851,
  "word": [4,2,8,1,0,2,8,3,8,0,8,4,8,6,7,1,4,0,8,1,0,6,8,2,0,1,5,8,1,0,5,6,8,0,5,7,3,0,7,4,6,8,5,8,2,7,4,1,2,6,8,2,0,5,4,0,5,7,4,0,7,8,6,2,8,1,3,2,5,2,8,2,0,6,1,2,8,3,0,3,1,0,2,1,3,2,5,4,8,0,4,6,0,3,0,6,7,8,6,1,8,0,5,6,0,2,1,7,6,1,8,0,4,6,0,3,6,0,7,6,8,7,5,8,2,0,5,8,6,4,1,7,0,1,4,7,3,1,4,5,1,0,8,6,8,3,7,0,6,5,4,0,6,4,0,1,6,0,6,5,2,6,8,5,8,6,8,5,7,2,1,7,5,2,7,5,6,8,5,4,6,0,7,6,0,1,8,5,3,0,5,1,7,1,6,0,1,3,8,6,8,1,0,4,7,2,1,4,0,4,2,6,8,6,4,8,3,6,0,7,5,6,4,0,4,2,1,6,4,0,2,1,0,7,2,0,8,6,0,1,6,8,3,8,6,4,1,3,0,2,0,8,2,0,3,6,8,4,1,7,6,8,7,5,6,7,3,7,6,8,4,1,4,0,1,5,3,1,8,6,7,8,6,3,6,1,3,8,6,4,0,3,2,7,2,1,4,0,3,8,1,0,5,0,1,2,7,5,1,0,2,0,5,4,0,2,5,6,3,4,3,8,5,8,7,4,6,1,4,0,2,0,4,0,7,5,0,3,8,4,3,1,3,2,6,2,0,2,5,0,1,3,6,8,4,2,3,7,0,1,0,2,1,6,5,1,4,5,7,8,5,7,3,6,5,3,1,6,1,8,5,0,2,6,7,5,3,2,0,2,4,0,7,8,6,4,0,1,8,3,0,2,0,3,1,5,1,2,0,4,6,1,3,7,4,0,2,0,4,6,0,3,8,7,6,1,8,6,4,0,1,2,0,1,3,2,1,5,8,3,5,1,2,0,2,1,2,0,5,3,1,2,0,8,1,3,0,3,4,6,4,1,5,1,7,0,3,5,3,1,0,8,6,7,2,6,1,4,8,5,2,7,2,1,0,2,0,5,4,3,5,0,6,2,3,0,4,3,8,6,3,5,2,0,2,6,0,4,0,1,5,3,4,8,6,0,2,1,3,2,6,1,2,3,2,1,2,0,1,0,5,1,2,0,7,3,6,5,0,3,0,6,1,2,0,2,3,2,0,1,0,2,0,3,4,1,7,0,2,4,3,0,1,0,2,3,0,1,0,3,4,0,2,1,3,4,7,5,2,8,7,4,1,5,1,3,2,0,4,6,8,0,6,0,3,2,0,1,2,4,0,8,5,8,3,8,2,0,8,4,8,2,7,2,4,0,8,0,3,6,0,2,0,1,2,4,3,5,3,2,4,0,2,0,5,6,5,3,5,1,3,5,2,0,4,0,1,0,2,4,3,8,4,2,0,2,5,0,1,0,3,0,1,5,3,5,7,2,8,7,1,7,5,2,0,6,1,3,7,0,2,4,2,0,3,0,2,0,4,0,7,1,0,3,1,3,8,5,1,2,1,3,1,4,5,3,5,4,5,8,6,8,0,6,8,7,8,3,1,8,5,8,1,2,0,8,0,5,6,4,6,0,1,0,2,0,5,6,2,0,1,7,8,1,5,1,2,7,5,6,5,2,7,8,4,7,3,2,1,5,0,2,1,0,7,2,4,3,0,4,0,2,8,7,0,1,0,4,3,2,4,0,1,0,4,2,0,1,8,6,7,6,3,0,5,1,6,2,1,3,7,4,2,1,0,7,1,0,3,0,2,0,6,2,0,5,8,4,0,5,3,8,5,3,4,8,7,8,6,7,8,7,0,4,6,0,3,8,5,2,8,7,5,7,2,7,8,0,1,4,8,6,0,3,8,6,7,5,3,0,6,2,6,8,4,8,6,7,4,5,2,3,0,4,5,3,4,1,0,4,2,1,0,1,3,2,8,2,0,1,0,6,8,3,2,0,7,1,2,0,4,8,2,4,8,6,8,5,1,3,6,8,5,0,1,6,2,4,3,0,4,2,7,0,8,6,0,7,2,4,6,7,8,2,0,8,4,8,6,7,2,3,0,6,5,6,7,2,7,6,8,7,8,1,6,7,6,8,6,7,3,5,2,5,7,2,1,2,5,6,5,7,2,4,0,1,2,6,1,3,8,6,2,7,0,3,5,6,7,8,7,0,1,8,0,3,7,2,5,0],
  "submitter": "David Renshaw",
  "created_at": "2026-08-19 16:31:57",
  "comments": [
    {
      "author": "David Renshaw",
      "created_at": "2026-08-19 16:31:58",
      "content": "Found by randomized depth-first search on {0,1,2,3,4,5,6,7,8} with mobility ordering: at each depth, legal symbols were tried in decreasing order of how many legal immediate continuations they left, with randomized tie-breaking. Seed 92002 reached length 1000 after 146,283,092 search nodes."
    }
  ]
}