{
  "id": 314,
  "alphabet_id": 228,
  "alphabet": [0,1,4,10,12,17],
  "length": 6874,
  "previous_length": 71,
  "word": [0,17,10,12,10,4,0,17,0,4,12,0,12,1,17,12,4,17,4,1,0,10,0,17,0,1,17,4,0,12,0,1,4,10,4,17,0,17,12,0,1,12,10,12,4,17,1,17,12,17,10,4,17,0,4,17,1,12,17,1,0,4,0,1,10,17,0,1,17,12,17,10,1,12,4,0,1,17,1,0,10,1,4,0,1,10,0,12,0,1,0,4,0,17,4,10,1,17,10,1,0,17,0,10,0,1,0,12,17,4,17,0,17,1,0,12,0,1,0,4,12,17,10,0,1,17,10,4,10,17,0,12,1,4,17,12,17,0,17,10,17,0,1,4,10,17,1,4,17,12,1,17,1,0,12,1,4,1,12,10,17,12,0,4,17,4,1,12,17,12,4,0,1,10,0,1,0,17,1,0,1,12,4,0,10,17,4,1,17,1,0,17,0,4,17,0,1,12,10,17,10,1,17,4,1,17,0,1,0,4,0,17,0,4,10,1,0,4,0,12,1,0,10,0,1,0,10,4,0,1,17,0,1,0,12,1,10,0,12,4,0,1,0,12,4,17,0,1,10,0,17,1,12,4,12,17,4,0,17,4,10,17,12,4,0,12,0,17,0,4,0,12,0,1,0,17,0,4,0,17,0,1,17,1,4,0,17,12,1,0,12,17,0,4,17,10,4,0,17,12,1,4,17,1,10,0,10,12,17,0,17,1,0,12,0,1,17,0,1,10,4,1,0,17,1,17,10,17,4,0,4,17,12,17,1,0,1,10,4,0,17,1,10,17,0,17,4,10,17,4,12,0,12,17,10,12,17,4,17,0,17,4,17,1,12,17,0,1,0,17,0,10,12,4,0,1,10,0,10,17,0,17,1,12,17,4,1,0,1,17,10,12,17,10,17,4,1,12,17,10,1,12,17,1,0,12,0,1,0,17,1,0,4,0,1,17,12,0,1,0,17,1,0,10,4,0,1,0,17,10,17,4,17,1,0,1,10,17,0,10,1,0,1,12,0,1,17,0,1,0,4,0,12,4,0,4,1,0,1,10,0,17,0,12,1,17,0,4,1,10,4,17,0,1,17,0,17,12,0,17,4,17,0,12,1,0,1,17,0,1,10,1,0,4,0,17,12,0,17,1,17,0,17,12,17,0,17,10,17,0,1,0,17,0,1,12,0,1,17,1,4,10,17,4,1,0,4,12,1,0,1,17,0,1,4,17,4,0,4,1,17,12,4,1,0,10,17,0,12,1,4,17,1,0,10,17,12,4,0,1,4,10,17,1,0,4,0,1,0,17,0,1,0,12,0,1,0,4,0,1,0,17,1,4,0,12,1,0,1,17,0,1,4,0,1,0,10,1,12,10,0,17,4,0,1,17,4,10,0,1,17,0,12,4,10,4,17,12,1,4,17,1,0,4,12,0,1,0,17,1,0,10,4,0,1,0,17,0,12,0,17,1,4,17,0,1,17,10,1,17,0,4,10,12,4,1,17,0,17,4,1,17,0,1,17,12,10,4,0,1,0,4,17,0,12,1,0,1,4,17,0,17,4,17,1,4,17,0,17,4,10,17,1,4,0,10,17,12,0,17,4,17,0,10,0,1,17,0,4,1,12,17,12,4,12,10,0,4,17,0,10,17,10,1,0,4,1,17,0,1,0,4,1,0,10,0,12,1,17,1,0,1,10,4,17,1,0,17,1,4,17,12,0,17,1,4,17,1,17,0,1,4,1,0,10,1,0,1,4,0,1,17,0,4,0,10,0,1,0,12,0,10,0,17,12,0,10,0,1,4,0,1,12,1,17,12,17,0,17,4,17,0,17,1,0,17,0,4,17,12,1,17,10,1,17,0,4,0,17,1,0,10,0,1,12,0,1,17,0,4,17,0,12,0,17,0,12,1,12,17,12,4,1,17,1,0,17,4,0,17,12,0,4,0,12,0,1,17,0,1,0,4,17,1,4,12,17,4,17,1,0,17,12,17,10,17,4,17,12,17,0,17,1,12,0,17,10,12,4,1,17,12,0,17,1,10,4,0,17,1,17,0,10,0,1,0,17,12,4,17,1,4,10,1,12,0,17,4,1,0,1,4,1,10,0,1,10,17,4,17,1,17,12,0,1,12,4,0,12,0,1,17,1,4,12,1,0,17,12,17,1,10,0,4,17,1,17,12,17,1,0,17,1,4,17,1,12,1,17,4,1,17,1,10,1,4,1,17,0,17,1,4,17,12,17,0,1,10,0,4,1,0,4,17,0,1,0,17,12,1,12,4,10,1,0,17,1,0,4,10,1,0,1,12,0,1,0,4,17,1,0,12,1,4,17,1,12,0,17,0,4,17,1,0,1,12,1,10,12,17,1,12,17,4,1,17,12,1,12,10,4,0,17,4,0,12,0,17,12,0,1,4,0,17,12,1,0,12,10,0,4,1,4,17,0,1,0,10,4,1,0,1,4,12,4,0,1,4,17,12,17,0,17,12,1,0,4,1,0,17,0,12,10,12,17,1,4,1,17,1,10,4,12,17,12,1,12,0,1,17,12,17,0,17,4,17,12,0,17,1,0,17,0,10,12,0,1,17,12,0,1,0,17,0,4,0,17,0,12,17,0,17,1,0,17,12,17,0,17,12,10,17,12,17,0,12,17,12,1,17,0,17,12,17,1,17,10,17,0,17,1,12,1,0,17,10,1,4,1,0,17,0,1,4,0,4,17,10,1,17,4,1,17,1,10,4,10,0,17,10,17,4,12,17,12,1,17,12,0,4,17,0,4,0,1,17,0,1,0,10,0,1,17,1,0,12,0,1,4,1,0,1,12,0,12,17,4,1,17,10,1,4,17,4,0,17,1,17,12,17,0,1,17,0,12,10,0,1,4,0,10,12,0,10,1,17,1,0,17,1,17,10,17,0,4,17,12,17,1,10,17,4,0,17,1,17,0,17,4,0,1,12,17,0,17,1,4,10,0,1,17,0,1,12,0,4,17,4,1,17,0,17,12,17,1,17,0,17,1,17,4,1,17,1,12,10,12,17,12,1,12,17,0,17,12,17,4,12,17,1,17,0,17,12,17,4,17,1,17,10,17,12,1,17,12,0,1,12,10,17,0,17,10,17,1,12,0,4,0,17,12,0,17,1,0,12,1,0,10,17,0,12,17,10,12,1,0,17,10,4,17,0,1,10,17,1,17,4,1,0,4,1,12,0,12,17,0,4,0,1,17,0,4,17,4,1,4,0,1,0,10,1,4,12,1,12,0,17,1,12,1,10,17,12,10,17,4,17,12,17,4,0,17,1,17,12,17,0,17,12,17,10,12,4,0,17,0,1,0,4,1,17,4,17,12,1,12,17,4,12,10,17,12,0,17,12,10,17,10,1,17,12,1,17,1,4,12,0,17,4,0,12,0,1,17,0,12,4,12,17,0,1,0,12,1,0,4,1,0,1,17,1,0,4,0,17,0,4,0,12,4,17,1,12,1,4,1,0,10,1,4,17,0,12,17,1,17,12,17,1,4,12,1,0,4,17,4,0,1,0,17,1,12,17,1,4,17,1,17,0,1,10,0,17,12,17,4,10,17,4,17,12,17,0,12,4,1,17,10,4,0,4,17,0,17,12,4,1,0,17,4,12,17,0,10,0,17,1,0,1,4,17,4,1,12,4,17,4,1,17,4,17,0,4,17,1,4,17,4,10,0,1,17,0,1,0,12,17,1,0,17,0,4,0,1,0,10,4,0,1,0,17,10,17,0,12,0,4,1,12,0,10,1,4,0,1,17,0,1,4,1,0,1,12,1,4,1,17,4,1,0,12,0,4,1,0,4,17,0,17,1,0,17,0,12,17,1,17,4,0,17,4,1,17,1,0,17,1,12,1,4,17,0,17,4,1,4,17,0,12,17,0,10,0,1,4,1,0,1,12,4,1,17,4,1,0,17,4,17,1,4,12,17,10,17,0,17,1,17,0,17,10,17,12,17,1,0,17,4,17,1,17,10,4,12,17,1,0,4,1,10,12,1,17,1,0,17,12,10,12,0,4,12,4,17,10,12,17,12,1,17,12,17,10,4,17,12,17,10,12,17,0,1,0,17,12,0,12,10,17,12,1,17,1,0,17,4,1,17,12,4,1,17,1,0,10,1,0,4,0,17,0,1,0,17,0,12,0,1,12,17,1,17,10,1,12,4,10,1,10,0,12,0,17,0,4,0,10,0,12,0,1,0,12,4,1,0,1,4,17,0,1,0,10,1,0,4,0,17,1,12,4,17,1,10,0,1,0,17,1,0,1,12,1,17,1,4,17,4,12,0,17,0,1,17,0,4,10,1,0,17,1,0,12,1,4,0,1,10,1,12,17,0,12,1,17,1,0,1,17,4,0,17,10,4,1,10,17,12,17,0,17,1,0,17,10,0,17,12,17,0,17,10,4,17,0,17,12,17,10,17,0,10,0,1,17,0,17,12,17,10,0,1,4,0,4,10,0,17,1,17,4,17,10,17,4,1,17,0,1,4,0,12,0,4,0,10,1,17,1,0,17,4,17,0,10,12,1,10,17,12,1,12,0,4,10,0,1,4,0,17,0,1,0,10,0,17,4,1,17,0,1,10,17,10,4,1,4,0,1,17,0,4,12,0,1,17,0,10,1,17,4,0,1,4,0,12,0,4,1,4,17,1,0,4,0,1,10,0,1,4,1,0,1,10,1,12,0,17,1,0,1,4,17,4,1,0,10,0,1,12,0,1,4,12,0,17,1,12,17,0,17,1,0,1,4,0,17,1,17,0,10,17,1,4,17,10,0,1,17,1,0,4,0,17,4,12,1,0,17,10,0,1,17,0,4,1,0,10,1,0,1,17,1,0,1,4,0,17,12,1,10,4,1,10,0,1,10,4,17,0,10,17,12,0,4,10,1,0,17,0,1,4,17,0,17,4,12,17,1,17,10,1,0,17,10,12,17,1,17,0,12,1,4,1,17,1,0,17,12,1,0,10,0,1,0,4,1,0,12,0,10,0,17,1,10,0,4,0,1,4,17,0,1,17,12,0,17,4,17,0,17,1,0,10,1,17,0,17,4,17,12,0,10,1,0,4,12,17,0,17,12,17,0,1,17,12,17,4,17,12,10,17,10,0,17,4,0,12,17,0,12,1,17,4,17,12,0,12,4,17,4,1,17,4,12,0,1,17,1,0,10,17,4,17,0,1,12,1,0,4,12,10,4,1,12,0,4,0,17,4,17,12,17,1,12,4,12,1,0,10,1,0,4,0,1,0,4,12,0,1,0,17,4,1,4,0,1,0,12,0,1,10,0,1,12,0,1,4,12,4,0,17,1,17,0,10,0,1,4,1,0,1,17,0,4,0,12,1,10,1,12,0,1,17,0,17,12,17,4,0,10,0,17,0,1,17,0,10,17,0,12,17,1,17,12,0,17,0,1,4,17,1,4,12,0,12,4,1,17,4,17,0,4,17,1,0,12,1,4,1,0,1,4,1,17,0,4,10,1,0,10,0,17,0,1,0,4,1,17,1,0,17,0,12,0,1,10,0,12,1,17,1,0,17,0,4,1,0,17,10,17,0,17,10,4,17,4,0,1,17,0,4,0,1,0,4,10,12,17,0,4,0,12,0,1,0,4,1,0,1,10,0,12,1,12,0,12,1,17,12,0,1,0,10,0,1,17,1,0,10,0,1,0,4,1,0,17,4,1,0,1,4,1,0,10,4,0,4,1,0,1,17,4,12,1,4,0,1,17,4,0,1,10,1,17,0,1,10,1,0,12,17,0,17,10,1,0,4,17,4,1,0,4,1,4,12,1,17,1,0,12,0,1,0,10,4,0,4,1,0,1,17,10,4,12,0,17,10,17,12,0,17,12,4,0,10,0,17,1,0,12,10,0,1,4,12,0,4,0,17,10,12,4,0,1,4,10,4,0,12,1,0,1,10,0,4,10,0,1,0,17,0,12,0,1,0,12,10,0,1,12,1,0,4,1,10,17,0,12,0,17,1,17,4,17,12,0,12,1,0,1,4,1,0,10,1,0,4,12,0,17,0,12,1,17,1,4,1,0,17,0,1,0,17,10,17,1,12,17,4,17,12,17,1,0,17,1,17,4,0,1,4,10,4,0,1,0,10,4,12,0,12,17,1,0,4,1,12,10,12,1,12,17,4,17,10,0,17,1,12,0,10,0,4,1,0,10,17,1,4,10,0,1,0,17,0,4,0,1,4,0,10,1,0,17,12,1,0,17,0,10,17,1,12,0,4,0,1,4,10,0,1,0,17,0,4,1,17,10,17,0,4,0,10,0,1,17,0,1,4,0,12,0,17,4,1,0,17,12,17,4,12,1,4,17,10,12,1,17,1,12,4,0,4,12,17,1,4,12,17,0,17,12,17,10,12,17,12,1,12,4,1,17,10,4,17,1,4,0,17,1,12,17,10,0,17,4,17,10,12,4,0,1,4,17,12,17,1,0,10,0,1,17,12,0,1,17,1,4,1,0,4,17,0,1,0,17,10,1,0,1,4,1,0,17,1,4,0,1,12,1,0,1,4,1,0,17,4,17,1,4,17,12,1,0,12,4,1,4,17,4,0,1,17,1,12,1,0,12,1,12,17,12,0,17,4,0,1,0,17,12,0,17,4,17,0,17,1,12,17,0,17,1,0,1,12,0,17,10,1,0,12,0,4,1,17,10,17,1,0,17,1,4,1,0,1,17,1,0,1,10,17,0,17,1,0,17,4,17,0,17,10,0,17,1,0,12,0,17,0,1,0,17,0,4,1,0,17,0,1,10,12,4,0,4,1,0,17,0,1,4,0,12,1,0,1,4,1,0,1,17,4,0,4,10,0,4,1,17,4,0,17,4,17,10,0,1,17,0,1,0,10,0,4,1,0,17,1,0,4,12,4,10,4,1,0,1,12,0,17,1,17,4,17,10,17,1,17,0,17,4,12,1,17,0,1,4,1,0,1,4,10,1,0,1,4,0,1,17,10,12,1,17,0,17,4,17,0,17,1,0,17,0,10,1,4,1,0,17,10,1,4,10,17,1,17,0,1,17,12,17,10,12,1,17,0,1,10,12,17,10,17,1,4,17,0,12,1,0,17,4,17,0,1,12,1,4,0,1,4,1,10,17,0,17,4,0,10,0,17,1,12,17,4,17,0,12,0,4,17,10,17,1,0,1,4,0,1,0,10,4,0,4,12,0,1,10,12,1,17,10,0,17,0,1,4,1,17,12,17,10,0,1,17,12,1,0,17,0,1,0,17,4,17,12,17,1,17,4,0,10,4,1,12,17,1,17,0,12,17,12,10,12,1,17,10,17,12,17,10,0,12,17,10,17,1,10,0,4,10,1,17,4,12,4,17,1,0,1,4,17,4,12,10,1,12,0,1,12,17,0,1,0,17,0,1,4,17,1,17,0,1,0,4,10,17,12,17,0,17,12,17,10,17,0,1,17,4,17,12,0,4,1,10,1,17,12,0,1,12,10,0,1,0,17,1,17,4,1,17,12,0,12,10,4,0,10,17,4,1,0,17,0,12,1,0,4,1,0,1,10,4,0,4,17,0,4,1,0,17,0,10,12,10,4,10,0,17,0,1,17,0,17,4,0,17,1,12,0,17,10,1,4,17,12,17,1,0,1,17,1,4,0,1,17,0,1,10,17,0,4,1,17,0,12,1,0,1,17,0,10,17,1,12,10,1,4,0,1,17,1,0,12,1,17,0,1,0,4,0,1,10,1,0,1,4,0,1,0,17,1,12,0,1,4,1,0,1,10,1,0,12,1,0,10,0,17,1,4,0,17,10,0,17,12,1,17,10,0,1,0,12,1,17,1,12,4,10,17,12,17,0,1,0,17,10,1,0,4,0,17,0,10,0,17,0,12,4,17,4,1,0,1,17,4,1,0,17,10,0,1,17,12,4,0,10,12,0,10,1,17,0,17,12,17,0,17,10,17,0,17,4,1,17,4,0,17,4,17,12,4,0,12,17,0,10,17,4,0,12,10,1,17,1,0,12,4,0,1,0,4,10,4,1,0,12,17,10,1,0,1,17,0,4,10,1,17,4,17,0,17,1,4,1,17,1,0,1,12,0,1,0,17,0,4,0,1,0,17,0,1,0,10,0,1,0,17,0,1,0,4,1,17,0,17,1,10,12,1,4,17,0,17,10,12,0,4,0,17,4,1,0,17,12,1,0,17,10,0,1,0,4,1,17,0,4,0,12,1,12,0,10,1,0,17,4,17,12,1,0,17,4,0,17,12,17,4,17,12,1,0,17,4,17,10,4,0,4,17,1,4,0,17,4,17,10,0,1,17,1,0,12,10,0,4,0,1,0,4,17,0,1,12,4,17,0,17,1,0,4,1,0,17,1,17,4,17,1,17,0,12,1,4,17,12,17,1,12,0,17,1,12,17,12,4,17,12,17,10,12,1,17,12,1,12,0,17,0,4,17,1,17,10,17,12,17,1,0,4,1,17,0,12,0,1,0,4,17,10,0,17,4,1,17,4,17,0,10,0,1,17,1,0,4,0,1,0,17,0,12,17,1,17,4,1,17,1,0,17,4,0,10,17,1,17,10,17,1,4,17,1,17,0,1,10,4,0,4,1,4,17,1,0,17,4,17,12,17,1,17,4,17,0,17,1,17,0,17,12,17,0,17,1,17,0,17,10,17,1,17,12,10,12,0,1,12,17,12,10,17,1,0,17,0,10,4,12,17,1,17,12,0,12,1,10,17,0,12,0,17,0,4,0,1,17,12,10,1,17,1,4,12,1,10,12,1,17,12,17,0,12,17,12,4,17,1,10,12,4,1,17,1,12,1,4,12,4,0,10,1,0,4,1,4,17,1,17,10,0,4,17,4,1,0,17,1,17,12,4,12,0,4,10,17,0,17,4,17,12,17,4,17,0,4,10,4,0,1,4,17,0,1,0,12,4,0,1,17,1,0,4,1,17,10,0,4,12,17,10,1,4,1,17,12,17,0,12,4,1,4,17,0,17,1,0,1,10,0,17,1,0,4,1,17,0,1,12,17,4,1,10,17,0,17,4,0,12,4,0,4,1,0,1,12,1,0,1,4,0,1,17,0,1,12,0,1,4,1,0,17,4,1,10,1,12,1,0,1,17,0,12,17,1,4,17,4,0,17,1,17,10,4,17,1,17,0,1,0,4,1,0,17,1,0,1,12,1,17,4,0,4,17,10,17,1,0,1,17,4,1,17,12,17,4,17,0,17,4,1,0,4,17,0,10,17,10,1,17,0,17,12,1,17,12,17,4,17,1,4,0,17,4,10,0,12,1,0,4,17,10,1,0,1,12,0,4,17,4,1,10,17,1,0,17,0,4,17,1,12,17,1,0,4,1,0,17,0,1,0,12,1,0,17,1,4,10,1,17,1,4,1,17,1,12,1,0,17,12,4,17,1,10,0,17,0,1,4,17,0,17,1,17,12,17,4,12,1,4,17,0,1,17,0,17,12,10,1,4,17,4,0,17,1,0,4,1,0,10,12,0,17,12,4,17,0,17,1,0,4,1,17,10,17,4,17,0,17,12,1,17,12,4,1,17,1,0,10,0,17,1,17,0,17,12,17,10,17,12,4,17,0,17,12,17,0,17,10,1,10,17,10,1,4,0,4,17,12,0,17,1,17,0,17,10,17,0,17,12,0,17,1,0,4,12,1,17,10,4,1,17,1,0,17,0,4,17,1,0,12,4,0,17,0,10,12,0,17,10,1,12,0,17,0,1,0,4,0,1,17,1,0,12,0,17,1,0,4,0,1,0,17,10,0,4,12,10,17,4,17,10,17,0,17,4,17,1,17,0,17,12,17,0,17,1,17,0,17,4,1,17,4,17,10,0,12,1,0,10,17,4,17,10,0,17,4,12,17,10,17,1,17,0,17,12,17,1,17,12,10,17,4,17,10,12,17,12,1,17,10,0,17,4,17,12,17,10,4,0,10,17,4,17,12,10,12,4,17,1,12,10,17,4,0,4,17,10,1,17,0,1,0,4,17,1,17,4,12,17,4,17,10,4,1,12,17,0,12,10,0,1,4,1,10,17,12,17,10,1,0,1,4,0,1,0,10,0,1,0,4,17,0,4,10,12,4,10,17,12,1,12,17,0,4,17,4,10,4,0,12,1,17,1,12,1,17,0,17,1,17,12,17,4,12,1,10,1,17,0,1,0,4,12,17,4,10,0,17,1,17,0,17,4,0,17,12,4,17,10,17,12,17,0,17,10,17,12,4,0,4,17,0,17,10,0,1,12,10,17,12,1,17,12,0,12,17,1,17,12,17,0,17,4,17,0,1,12,4,12,17,4,1,10,0,4,1,0,1,12,17,12,1,0,1,4,12,1,10,0,17,1,17,0,17,4,17,0,1,17,0,12,0,17,0,4,1,17,4,1,4,0,1,17,0,4,1,0,10,0,1,0,17,0,1,0,12,1,17,1,0,4,0,1,0,12,0,17,10,0,4,17,0,10,0,1,4,1,17,0,12,0,10,12,0,17,10,17,1,17,0,1,4,12,1,17,12,4,17,12,17,0,10,4,17,12,10,17,1,17,12,4,17,1,0,17,1,12,17,1,17,10,17,4,17,1,17,0,17,1,17,12,17,0,1,0,17,12,0,17,1,17,4,1,17,12,17,0,17,10,17,0,17,1,0,17,0,10,1,4,0,4,1,17,12,17,0,17,12,1,10,0,4,0,17,10,0,4,0,1,4,17,1,0,17,12,4,17,0,12,0,17,1,17,12,4,0,1,12,17,1,12,1,0,17,10,17,1,17,0,1,4,0,1,10,12,1,0,17,1,4,0,4,1,10,17,1,10,4,0,10,17,1,17,0,1,17,1,4,17,1,0,17,4,17,12,0,4,17,0,1,17,1,12,0,1,10,1,0,1,12,1,0,1,4,0,12,0,10,1,12,1,0,1,17,1,0,4,12,17,4,0,1,0,4,17,12,4,17,10,17,0,10,1,4,1,0,4,0,17,12,17,1,0,4,10,0,4,1,4,12,17,10,17,1,12,0,4,0,1,0,17,1,4,0,17,1,17,0,12,17,12,4,1,4,17,10,17,1,0,4,12,0,17,4,1,17,0,1,0,10,12,17,12,1,17,4,1,17,0,17,10,17,1,17,4,17,1,17,0,17,4,17,12,1,10,0,17,0,1,17,1,10,1,17,1,0,17,1,17,12,1,17,0,10,1,4,17,4,0,12,0,17,0,1,0,10,0,4,0,1,0,4,0,12,10,1,17,1,0,12,4,0,4,17,1,4,1,12,17,10,12,0,4,17,10,12,17,10,1,17,4,12,0,12,17,1,12,0,4,17,1,17,4,0,17,0,12,1,12,0,17,12,0,1,4,1,12,4,1,0,17,4,17,1,17,0,17,1,10,17,0,17,4,17,0,1,17,0,12,1,10,17,1,17,0,17,4,0,17,12,10,17,10,4,17,12,17,1,0,17,12,1,17,4,17,1,17,0,1,17,10,1,12,17,0,4,17,4,1,17,1,10,1,17,0,17,4,1,12,17,1,17,0,17,1,10,1,17,0,17,12,1,0,17,1,0,4,1,0,1,17,1,0,10,17,1,17,10,17,1,12,1,17,1,0,17,0,12,0,10,1,0,17,0,12,1,17,12,17,0,12,17,4,17,12,1,10,12,0,17,0,10,17,1,17,0,17,4,0,17,12,10,17,1,17,0,1,0,10,17,0,1,17,12,10,17,1,4,12,4,0,4,17,1,0,17,1,17,10,12,0,10,0,4,0,17,0,1,0,4,1,4,17,1,17,0,1,0,4,0,17,1,0,17,4,17,0,12,1,17,0,17,10,1,4,17,12,1,4,17,1,17,0,17,12,4,1,12,17,0,10,17,12,0,17,1,17,0,17,1,4,17,4,0,12,4,0,4,17,0,12,0,1,0,17,0,1,0,4,17,1,4,1,0,10,12,0,1,10,4,17,1,4,0,1,17,1,0,4,0,17,0,4,1,10,12,4,17,1,10,17,1,17,0,1,0,10,17,0,17,4,10,17,10,0,10,17,10,1,0,1,12,0,4,17,1,0,17,1,17,12,1,0,17,10,1,10,0,1,4,17,1,17,0,1,0,10,17,1,0,1,10,4,0,12,17,0,12,4,1,0,4,1,17,4,1,0,1,4,1,0,10,1,0,4,0,1,0,4,12,0,10,0,1,0,17,0,1,0,4,17,1,4,0,4,17,0,17,1,4,17,10,17,0,17,1,17,4,0,4,17,4,1,0,1,4,17,12,4,0,1,17,4,0,1,0,10,1,0,4,0,1,12,4,1,4,0,1,17,10,4,1,10,17,1,17,0,17,12,1,0,17,0,1,10,17,10,0,4,1,17,4,0,4,17,1,17,0,4,0,1,12,17,1,4,1,12,1,17,1,10,4,10,17,1,17,4,17,12,17,4,17,1,0,17,10,4,17,1,0,1,12,0,17,0,1,17,1,12,1,0,1,17,1,4,0,12,1,4,0,1,0,17,0,12,0,1,17,10,17,1,0,17,4,0,17,0,1,0,17,0,12,0,1,0,12,4,10,12,0,4,17,12,17,10,4,12,17,4,17,1,0,1,12,0,17,0,1,0,4,1,0,10,17,1,4,17,4,0,17,0,12,1,12,10,0,4,17,0,1,4,17,4,0,12,4,17,12,17,1,4,17,0,17,4,12,4,17,0,17,4,17,12,17,1,17,12,17,0,17,10,17,1,10,4,1,0,10,1,10,4,1,17,1,4,1,17,12,10,1,4,1,17,1,12,0,4,0,17,10,17,0,17,1,17,0,10,1,0,17,0,1,0,17,4,12,0,1,17,0,10,1,17,0,17,1,17,4,1,17,12,17,0,17,1,17,12,17,0,12,0,1,17,0,17,12,0,10,0,1,0,12,4,17,12,0,17,0,1,10,1,12,10,12,0,12,1,12,0,4,1,4,0,10,1,17,4,0,4,1,0,1,12,0,1,10,0,1,4,10,4,12,1,0,1,17,4,0,1,0,17,12,17,0,1,0,17,12,10,17,4,0,1,17,0,17,4,12,1,0,17,10,4,1,0,17,4,12,17,0,12,0,10,0,4,0,1,0,4,17,0,10,4,17,1,17,0,17,1,10,0,1,17,1,4,0,17,4,0,10,0,1,0,4,17,4,0,1,4,0,10,1,0,4,1,0,12,0,1,10,0,1,17,0,4,0,17,0,4,10,12,0,17,0,10,1,0,1,4,0,17,0,1,0,4,0,12,0,1,17,4,12,17,0,1,17,12,0,17,1,10,1,17,0,1,17,12,0,4,0,1,0,12,1,0,1,10,0,12,17,4,12,1,0,17,1,17,10,0,4,1,17,12,4,17,0,17,12,17,10,17,0,1,12,4,17,10,0,12,0,17,1,12,1,17,10,0,1,17,1,0,1,17,12,1,0,1,17,0,1,4,1,0,1,17,0,12,1,0,4,12,4,17,0,12,1,12,17,0,17,12,4,1,4,12,4,10,0,17,0,4,1,4,0,17,0,12,1,0,1,4,12,0,1,0,4,0,1,0,17,4,1,17,12,0,4,17,0,17,1,17,12,1,0,1,4,0,12,0,1,17,0,4,0,1,12,1,0,1,4,0,1,10,1,0,1,4,0,17,1,4,12,1,0,17,4,1,17,0,10,0,1,12,1,0,17,12,1,0,1,12,10,12,0,1,17,10,1,0,17,1,4,0,1,4,12,1,0,1,4,1,17,1,0,1,17,10,0,10,12,0,17,12,10,0,12,0,1,0,4,0,10,0,4,12,17,12,1,12,10,12,4,17,1,10,12,1,17,12,1,0,10,17,1,0,17,0,4,17,1,0,17,1,10,0,4,1,0,17,0,1,4,1,0,1,10,4,0,1,0,17,1,17,10,1,0,4,1,17,1,0,1,4,0,1,10,0,17,12,1,0,17,0,1,10,1,17,10,17,4,0,1,0,12,0,1,0,17,0,12,10,0,1,12,0,1,0,4,10,1,0,1,17,1,0,1,12,1,4,17,1,0,17,4,1,4,17,4,0,1,12,0,1,0,4,0,1,17,1,10,0,17,4,0,4,1,0,12,0,1,0,10,0,1,0,4,0,1,0,10,0,1,0,17,0,1,12,1,0,1,4,0,1,17,0,4,1,0,1,10,17,0,1,17,12,1,17,0,1,17,1,4,1,0,1,12,1,0,4,1,0,1,10,12,17,4,0,4,1,17,0,4,17,4,10,17,4,17,0,17,12,17,4,0,17,0,1,10,0,1,0,17,4,0,1,0,17,12,4,1,0,1,17,10,17,0,4,17,1,17,0,1,0,4,1,0,1,17,1,10,17,0,1,0,10,12,4,0,1,4,10,1,17,1,4,0,1,0,10,1,0,1,4,0,1,12,4,0,4,17,0,4,1,12,1,17,1,10,1,17,1,0,17,0,4,0,1,0,17,0,1,10,17,1,0,17,12,1,17,0,1,4,1,12,17,1,0,1,17,4,17,1,0,17,0,4,17,0,10,17,12,1,17,10,17,1,17,10,0,12,4,1,4,17,1,0,10,17,12,0,17,0,1,17,0,12,0,17,4,1,0,4,17,0,17,1,0,4,1,17,1,0,1,17,1,10,12,1,17,0,1,4,0,1,0,12,0,17,0,12,0,1,12,17,1,4,0,1,17,1,4,0,4,1,17,10,1,17,1,12,0,17,1,17,12,1,17,4,0,17,12,1,17,1,0,1,17,10,4,17,12,17,0,12,0,1,12,4,17,0,1,17,12,17,0,17,12,17,10,17,12,17,4,1,4,12,4,0,1,17,0,17,12,17,10,1,17,0,17,10,4,1,4,17,0,12,1,0,17,4,1,4,0,1,4,12,4,17,0,12,0,4,1,17,0,10,1,4,1,0,4,12,17,10,17,4,17,0,17,1,17,4,17,1,17,12,17,0,4,1,17,1,12,1,0,1,17,1,12,10,17,0,17,1,17,12,0,4,1,4,10,1,0,4,0,17,4,10,12,17,0,4,10,4,0,4,1,10,0,1,0,4,0,17,0,1,17,0,17,4,0,10,17,12,4,17,0,1,0,10,12,4,17,12,1,0,1,17,0,1,0,4,10,1,0,10,17,1,0,10,1,0,1,17,1,0,4,0,1,12,0,1,4,1,0,17,0,4,1,0,10,1,4,1,17,12,0,4,12,0,17,0,4,10,17,12,17,1,0,10,1,4,0,17,0,10,1,4,0,10,1,10,17,0,17,12,4,10,1,0,4,0,1,0,12,0,17,1,4,0,1,17,1,0,4,0,10,17,1,17,4,10,1,17,1,4,1,17,0,4,17,1,10,4,1,12,1,0,17,1,17,4,17,12,17,4,1,17,0,12,0,4,10,1,0,1,17,4,17,12,4,1,17,10,0,17,4,0,4,12,4,17,1,17,0,17,12,1,0,1,4,1,17,0,1,0,4,0,17,0,1,0,10,17,0,1,12,1,10,1,17,0,1,10],
  "submitter": "David Renshaw",
  "created_at": "2026-08-26 17:24:17",
  "comments": [
    {
      "author": "David Renshaw",
      "created_at": "2026-08-26 17:24:17",
      "content": "Generalized the public lockstep sibling-recycling population search to the sparse alphabet {0,1,4,10,12,17}. Starting from word 310 (length 71), a short benchmark reached 1000, followed by a 15-minute adaptive campaign of 18 forward/reversed population branches (W=4096 and 8192, beta=0.0-5.0, rewrite depths 20-2200). I repeatedly forked the leading checkpoint and also tried exact SMT suffix repair, randomized mobility DFS, and speculative self/reversal splices. The best branch reached 6874. Independently verified all 11,812,969 start/block-length pairs before submission."
    }
  ]
}