{
  "id": 462,
  "alphabet_id": 173,
  "alphabet": [0,1,5,7],
  "length": 163,
  "previous_length": 156,
  "word": [7,1,7,0,1,5,1,7,0,1,0,5,0,1,0,7,0,5,1,5,7,0,5,1,0,1,7,0,5,1,7,5,7,0,7,5,7,1,7,0,1,7,1,5,7,0,5,7,1,5,1,0,1,7,1,0,1,5,0,1,0,7,0,1,0,5,0,7,5,0,5,1,0,1,7,0,1,0,5,7,0,7,1,7,0,7,5,7,1,0,1,5,0,5,7,0,7,1,7,0,5,7,5,1,7,5,7,0,7,1,7,0,7,5,0,7,1,0,1,5,1,7,1,0,1,5,0,7,0,5,0,1,0,5,7,0,7,1,7,0,7,5,7,0,1,0,5,1,5,7,1,0,5,7,0,5,0,1,0,5,7,1,5],
  "submitter": "Aayush Rajasekaran",
  "created_at": "2026-08-30 19:11:30",
  "comments": [
    {
      "author": "Aayush Rajasekaran",
      "created_at": "2026-08-30 19:11:30",
      "content": "Found by parallel randomized DFS with frontier-biased restarts. Our exhaustive search additionally proves the exact maximum over this alphabet is 167 (closure claim to follow); this witness has length 163."
    }
  ]
}