{
  "id": 498,
  "alphabet_id": 236,
  "alphabet": [0,1,2,15,18,19],
  "length": 6309,
  "previous_length": 244,
  "word": [0,18,19,2,19,0,2,0,1,19,15,19,1,0,2,18,19,18,0,15,0,1,0,2,19,18,19,1,0,18,15,1,2,15,19,15,0,19,0,1,0,15,0,18,19,15,18,15,0,18,1,0,15,2,1,18,0,1,2,1,19,15,0,18,0,2,0,15,19,1,2,1,0,2,19,1,0,18,19,2,0,1,19,0,18,0,19,0,15,0,18,19,1,2,19,2,0,18,15,0,18,0,1,2,0,1,15,0,15,2,15,0,19,0,18,2,15,2,1,19,18,19,0,18,2,1,0,15,2,19,0,18,2,19,18,15,18,2,1,0,19,18,0,18,2,19,18,0,19,18,15,18,2,18,19,15,2,15,0,18,19,0,2,18,15,0,1,15,2,0,1,0,19,2,18,19,0,2,1,15,2,19,18,19,1,15,18,19,1,19,0,18,2,18,19,2,18,1,2,18,15,2,0,1,19,0,1,15,18,19,15,19,2,18,19,2,19,1,18,19,15,2,19,0,15,1,0,18,0,2,18,19,2,0,1,15,18,0,15,0,1,15,1,19,15,19,18,2,18,0,19,1,2,15,19,0,2,18,15,0,18,19,0,1,15,2,1,0,1,2,1,19,2,19,0,15,2,0,18,19,2,0,1,2,19,2,0,18,19,0,15,2,0,18,19,18,15,19,1,0,19,0,15,2,18,1,2,19,2,15,1,2,18,1,0,15,2,0,19,15,18,1,19,2,1,15,2,19,0,2,19,15,19,18,0,15,19,2,15,18,2,19,18,0,2,19,2,15,1,0,19,1,2,19,18,2,0,19,15,19,18,19,2,18,15,18,0,18,19,2,19,15,2,18,19,0,18,15,18,19,1,15,1,2,15,19,15,18,15,2,19,15,2,18,2,0,19,15,0,1,0,15,19,2,19,18,0,2,18,1,2,0,18,19,15,19,18,19,15,2,0,18,19,2,0,19,1,2,1,18,2,15,19,0,19,2,15,1,19,0,15,2,18,1,2,19,18,15,2,15,1,2,15,2,0,1,2,0,19,2,15,0,15,2,18,0,19,2,19,15,1,0,1,19,15,19,0,19,2,18,19,15,2,0,15,2,15,18,0,1,2,18,1,0,18,15,0,15,1,0,15,18,1,0,2,0,19,1,19,0,19,15,1,18,2,19,18,19,0,18,15,2,18,1,2,19,15,19,0,18,15,18,1,2,19,2,18,0,1,18,0,15,19,2,18,15,19,18,0,1,18,19,15,1,19,1,18,0,15,19,15,1,15,0,18,0,19,2,0,15,19,18,2,19,0,18,2,18,0,1,15,18,19,15,2,15,18,0,15,0,1,0,2,15,18,1,2,0,15,2,1,18,19,15,19,18,0,2,18,1,18,19,2,19,15,2,1,15,0,19,1,15,19,18,0,2,0,15,18,0,2,1,0,18,2,19,15,2,18,2,19,0,1,0,2,1,0,1,19,0,2,0,15,0,1,2,0,2,15,0,19,15,1,2,19,0,2,1,0,15,1,18,2,15,0,15,19,15,18,0,2,1,0,15,18,0,2,1,2,19,18,0,15,2,0,18,0,2,0,1,2,0,18,0,2,0,18,15,1,15,18,15,2,1,19,0,1,15,2,1,0,2,1,19,18,19,2,1,19,0,18,0,19,2,0,18,15,2,18,0,18,19,2,0,2,18,0,2,1,18,19,18,15,2,19,15,0,1,15,19,2,15,1,2,1,0,19,1,19,15,18,19,1,15,0,19,15,18,15,19,0,19,15,18,2,1,2,19,1,18,19,2,0,18,15,0,2,15,19,1,18,1,15,0,18,19,15,0,2,15,1,0,18,1,2,1,0,19,18,0,1,15,2,0,1,18,15,1,18,19,18,2,0,15,2,19,2,1,0,2,0,19,2,19,18,0,2,18,1,2,0,1,19,2,0,2,1,15,0,2,19,0,18,19,15,19,18,1,2,0,1,19,18,15,0,15,1,2,18,0,15,2,15,0,15,19,18,2,1,15,19,1,15,0,19,18,2,0,18,19,1,18,15,19,0,2,19,0,1,0,2,1,15,1,2,0,19,0,15,2,19,15,19,1,2,19,18,1,2,19,15,2,0,19,1,15,0,1,0,19,1,0,15,18,19,2,18,1,15,19,18,15,1,18,15,0,18,0,2,19,18,2,15,18,2,19,2,18,0,2,1,19,2,19,15,2,18,15,18,19,18,1,19,2,0,15,19,15,18,2,15,0,2,15,18,15,1,15,19,2,18,2,15,19,0,2,15,18,2,0,15,1,0,1,18,19,15,1,0,2,18,2,19,2,0,19,18,15,0,18,2,15,2,1,15,2,15,0,18,2,15,18,2,19,0,18,2,18,19,15,1,19,18,1,0,2,18,1,0,15,2,18,1,2,19,1,15,19,0,18,19,15,18,2,1,15,0,18,15,0,19,15,19,18,19,2,1,19,18,19,15,19,18,0,18,15,19,18,19,1,19,15,0,15,18,15,19,18,1,15,19,18,15,0,2,18,19,15,1,15,19,2,19,15,19,0,15,18,2,19,0,2,18,19,18,0,19,0,2,19,15,0,15,19,15,18,2,18,19,15,18,0,2,18,19,18,15,1,15,19,15,1,18,0,15,1,0,1,18,2,1,18,15,2,15,19,2,1,15,19,15,1,15,19,18,2,19,15,19,18,0,2,15,1,15,19,1,2,0,19,2,19,18,15,1,0,19,0,1,15,0,15,19,15,18,2,15,2,0,1,0,15,19,0,2,1,15,1,2,18,2,0,15,18,15,19,1,15,2,1,18,1,19,15,19,1,19,18,19,1,0,19,15,19,1,2,1,19,15,0,2,1,0,18,1,19,15,2,19,18,15,0,18,15,18,19,2,1,0,18,19,1,19,2,0,1,18,15,18,0,2,19,18,19,15,2,18,15,0,18,15,19,2,18,19,0,19,2,1,19,2,0,15,19,18,2,0,15,2,1,18,15,19,15,2,19,1,15,19,0,19,2,1,18,15,2,0,15,18,1,2,19,0,1,19,18,19,2,15,19,0,18,2,0,2,19,0,2,0,15,2,19,2,0,15,1,18,0,2,1,15,2,19,15,2,0,2,19,15,19,2,19,0,19,1,2,0,1,18,15,2,0,15,19,15,1,2,0,19,15,2,18,19,18,15,0,15,18,1,15,18,2,0,1,15,19,18,0,2,19,18,1,0,1,2,0,18,15,1,19,18,0,15,1,2,15,19,18,19,2,15,2,19,18,2,18,15,1,2,15,1,0,2,0,18,1,19,2,1,2,15,0,2,18,15,18,2,1,0,19,18,0,15,2,1,0,2,19,1,2,0,2,1,15,0,18,15,2,1,0,19,1,2,19,18,1,15,2,19,1,2,15,0,19,15,1,0,15,2,0,19,15,18,2,19,2,0,1,0,18,1,15,19,1,15,18,0,1,0,15,0,1,18,15,18,0,19,15,1,2,1,0,15,1,19,18,1,0,2,1,15,0,1,2,0,19,2,0,15,19,0,2,19,2,1,0,2,1,15,2,18,1,15,1,0,2,1,0,1,19,18,19,1,0,15,19,18,1,19,2,1,2,15,1,15,0,15,2,19,0,18,0,15,0,1,0,2,1,0,1,15,18,19,2,1,2,0,19,0,18,19,2,1,18,15,19,2,1,15,19,0,1,19,15,18,15,0,19,18,19,2,18,2,15,18,15,0,15,1,2,15,0,2,19,0,19,18,19,0,2,15,18,1,15,0,18,19,18,1,15,19,18,19,2,0,1,15,0,1,2,18,2,0,18,19,18,15,1,0,1,19,18,19,1,19,2,1,15,0,1,18,19,2,0,18,1,19,18,15,19,1,0,1,2,18,15,19,15,0,1,18,0,1,19,15,0,19,2,1,15,0,15,18,0,2,0,1,2,19,0,2,18,0,1,0,2,18,15,19,2,18,19,18,0,2,1,19,18,0,18,1,15,2,15,0,1,2,15,19,1,18,0,1,15,2,18,19,2,19,1,18,19,15,19,2,19,18,1,0,18,2,15,19,2,15,18,2,0,15,1,18,15,18,2,0,19,2,18,19,15,1,2,0,1,0,15,0,19,2,15,19,18,2,18,1,0,15,18,1,2,18,19,18,2,18,19,15,2,18,19,0,19,18,15,0,15,1,18,19,1,0,18,15,18,0,2,18,2,1,15,18,1,0,2,15,19,15,0,1,15,19,0,2,15,2,0,18,19,1,2,0,18,15,19,0,19,15,19,18,15,2,15,0,1,2,18,19,15,1,18,19,2,19,15,0,15,2,19,1,15,1,2,0,1,0,19,15,0,15,2,0,1,0,2,0,15,0,18,2,19,2,15,1,0,2,1,2,15,18,2,18,0,19,15,18,19,2,15,2,19,2,15,0,18,19,18,1,2,0,15,18,15,0,1,15,1,2,18,2,15,19,18,0,1,19,2,15,0,19,15,19,18,0,2,15,0,19,15,0,15,18,15,0,19,1,2,0,15,2,0,18,19,2,1,18,1,15,0,18,15,18,2,15,0,18,2,19,18,19,1,2,0,18,2,0,1,0,18,19,1,0,2,18,2,15,18,1,2,0,18,2,18,19,0,18,19,15,19,18,19,2,1,18,0,2,0,15,1,2,15,0,18,15,1,2,18,15,19,1,0,2,0,15,1,2,0,1,2,18,0,1,15,1,2,19,0,2,0,18,0,15,18,19,0,1,19,15,0,15,19,15,1,0,2,1,15,1,19,0,15,18,19,1,0,2,1,0,1,15,18,19,15,1,15,18,19,18,2,0,2,19,1,0,1,15,18,2,1,2,18,19,15,2,0,15,1,19,18,19,15,0,1,19,15,18,15,1,0,19,2,1,2,0,18,19,0,19,15,19,0,18,0,15,18,15,19,15,0,15,2,1,18,2,0,2,18,15,0,15,1,18,15,19,1,0,19,18,0,18,15,0,18,2,19,18,19,0,1,19,1,18,15,0,1,19,2,15,19,0,15,1,0,18,19,2,0,1,18,0,2,15,1,19,2,15,1,0,18,2,15,19,15,0,2,15,19,18,0,2,0,1,15,18,1,2,18,19,2,15,18,2,19,0,2,1,0,18,2,0,1,2,15,0,18,1,19,15,2,0,18,2,19,15,18,2,19,18,1,0,15,2,0,1,0,15,18,0,1,2,0,19,0,18,15,0,1,15,2,0,15,0,19,0,1,15,2,0,2,1,0,1,15,1,0,2,0,18,1,18,2,1,18,15,0,19,1,0,15,0,2,0,19,0,15,18,1,0,18,0,19,1,2,19,1,0,18,15,0,1,0,19,2,0,2,1,0,2,0,15,1,0,19,1,19,2,0,15,1,2,18,2,15,19,1,19,0,2,1,0,15,19,15,18,2,1,2,18,15,18,19,15,0,15,18,2,19,2,1,15,18,2,15,0,18,0,1,2,19,15,1,0,2,1,15,1,2,19,0,19,15,18,2,15,1,2,0,1,19,2,19,15,1,2,19,18,15,19,1,15,2,19,2,18,2,1,2,0,1,18,0,1,19,15,1,0,2,15,18,19,2,1,18,0,15,2,19,0,18,0,2,1,0,15,2,18,0,2,19,18,19,1,15,0,18,19,1,2,15,18,2,15,0,1,15,18,19,1,0,15,1,0,19,0,2,1,0,15,2,18,19,0,19,1,15,2,0,18,1,0,2,1,0,1,18,2,19,15,0,15,1,19,0,15,18,1,2,0,2,1,19,0,19,18,0,18,1,19,2,0,18,0,2,15,0,2,1,0,18,2,15,18,1,15,0,15,2,19,18,0,19,2,1,0,19,18,2,15,1,0,18,19,0,1,2,18,15,1,0,19,18,15,1,15,2,18,1,0,15,19,0,15,1,2,19,0,1,0,15,19,18,0,19,18,19,1,19,2,15,19,0,19,1,15,2,15,19,2,19,18,19,2,15,2,19,1,2,0,15,1,2,19,18,0,2,19,18,19,1,2,0,18,1,2,0,15,1,19,0,1,0,2,19,2,15,19,2,1,0,2,0,19,2,0,15,0,2,19,0,19,1,0,18,15,19,18,0,1,0,18,19,18,2,1,2,18,0,1,2,1,18,15,19,1,18,19,2,19,15,2,19,0,15,19,1,0,15,0,2,0,15,1,19,1,2,19,15,18,1,19,2,0,19,0,18,2,0,18,1,15,2,0,15,19,15,18,15,19,2,18,15,19,0,15,19,18,15,19,0,15,0,1,18,1,19,1,15,18,15,19,18,19,1,15,1,0,19,18,19,2,1,0,2,15,1,19,15,2,19,15,18,1,15,19,2,15,19,1,19,18,0,2,15,1,15,19,1,2,19,1,0,15,1,2,0,15,2,0,18,15,18,2,19,18,0,18,19,2,19,18,1,19,1,2,0,18,2,15,1,0,2,18,1,0,18,15,19,18,0,19,2,1,2,19,18,2,15,2,1,2,18,0,1,15,0,2,0,19,0,18,15,1,15,0,1,0,18,2,15,19,1,2,0,19,1,0,15,18,2,15,18,0,19,2,18,15,1,2,1,0,2,1,19,1,18,1,0,2,1,0,19,15,18,2,19,0,15,18,15,19,18,1,19,1,2,15,18,15,2,15,0,19,0,15,18,19,1,0,19,1,19,15,19,0,2,19,2,15,18,19,0,18,19,15,1,15,18,15,2,18,0,2,19,1,18,0,1,2,18,15,1,19,0,2,19,0,15,2,0,15,0,18,1,15,18,0,2,15,18,15,19,0,2,18,0,2,19,1,15,0,2,0,1,19,0,19,2,18,19,2,15,0,15,19,18,0,1,0,2,18,1,15,18,19,0,2,18,2,15,2,19,0,2,1,19,18,19,2,18,15,0,18,15,18,19,2,15,18,0,19,2,19,18,19,2,15,19,18,2,18,15,18,2,1,2,18,15,0,18,19,1,15,18,15,19,2,15,19,18,19,1,18,15,1,15,2,0,2,1,15,19,2,1,18,2,19,18,15,2,1,19,18,19,0,15,19,1,2,0,19,2,18,15,0,1,19,15,1,2,15,0,18,19,2,0,2,19,15,19,0,19,1,2,0,1,19,1,15,1,0,1,15,2,15,18,0,2,18,1,0,15,1,15,19,18,0,15,18,2,0,15,2,19,2,0,18,19,0,19,15,18,19,0,2,18,0,2,1,0,2,15,18,2,1,15,18,19,18,15,18,1,15,2,15,19,2,1,18,19,2,19,18,0,18,19,18,1,15,18,0,2,1,15,2,18,1,18,19,15,19,0,15,18,15,19,15,0,15,1,19,2,1,0,15,18,1,0,2,0,1,15,2,0,15,0,18,2,1,2,15,19,1,0,2,15,18,15,19,18,0,2,18,19,18,15,1,18,19,2,1,0,15,2,1,18,1,0,18,0,15,19,18,19,0,2,18,19,15,19,18,1,0,18,2,1,2,0,2,15,2,18,2,15,2,19,2,18,2,0,15,1,18,0,15,0,1,19,15,19,0,2,15,1,0,15,0,2,15,1,2,18,1,15,19,2,18,0,2,0,1,15,0,19,0,18,2,19,18,0,1,19,15,18,0,18,1,19,2,15,2,0,15,2,1,2,15,0,2,19,15,0,2,0,15,18,15,2,0,15,19,15,2,15,19,15,18,1,15,0,2,19,1,2,0,18,15,1,19,2,1,19,18,1,15,19,18,15,0,15,18,2,0,15,19,18,0,2,1,19,15,18,15,1,2,0,2,19,18,15,2,0,19,15,2,0,15,1,15,18,15,19,2,18,19,18,0,19,18,2,19,0,15,1,19,15,18,0,19,18,19,15,18,19,18,2,18,19,18,0,19,15,18,2,0,18,19,2,1,2,19,15,2,18,1,2,15,18,19,18,1,18,15,19,15,18,1,15,18,2,19,2,15,2,18,19,15,19,0,19,18,2,0,1,2,1,19,1,18,19,15,1,19,15,0,1,18,19,18,1,15,2,0,18,1,15,19,15,18,19,2,15,18,19,15,0,18,19,2,15,19,18,2,19,15,2,1,18,19,15,19,18,19,2,15,19,18,2,0,19,0,15,1,2,18,19,2,15,18,19,18,0,18,19,1,2,0,18,19,1,18,1,0,15,0,2,19,15,0,1,19,15,2,15,1,15,19,15,0,19,2,1,15,18,19,1,0,19,1,19,18,15,18,2,19,2,15,0,15,18,0,19,2,1,2,0,18,19,2,0,18,2,0,15,2,1,0,2,0,19,18,2,19,18,15,2,19,2,0,19,15,2,0,18,19,15,1,15,18,19,15,18,0,15,18,2,0,18,1,15,18,19,2,19,15,18,19,15,2,15,18,15,19,15,18,0,15,2,15,18,19,18,2,18,15,18,1,19,18,1,0,18,2,15,0,19,1,0,19,2,18,19,15,2,0,18,15,1,19,18,0,18,19,18,2,18,15,18,19,1,18,19,2,15,18,15,1,0,19,1,19,18,19,15,18,15,1,19,0,19,15,2,15,1,2,0,18,2,15,2,18,2,0,19,18,15,19,2,18,2,1,18,15,18,2,18,15,0,15,19,15,18,15,2,15,19,18,15,19,0,15,1,19,1,2,19,1,15,19,0,19,18,15,0,18,15,18,2,15,2,1,15,19,15,0,15,18,0,18,2,0,18,1,18,15,0,2,0,1,0,18,0,2,1,2,18,1,18,0,18,15,18,2,19,15,19,1,0,15,18,19,2,15,18,1,0,18,2,18,15,1,18,2,1,18,19,2,19,0,1,0,18,19,2,0,1,19,15,19,18,0,15,2,18,0,19,2,0,15,18,0,15,1,15,18,19,15,18,15,0,19,2,15,18,15,19,15,18,2,18,15,18,0,15,2,19,18,0,15,19,0,19,18,19,0,19,15,2,0,2,15,2,19,15,0,19,1,2,19,18,2,19,15,18,19,18,1,15,0,18,0,2,18,1,15,18,2,0,19,15,1,18,0,2,18,0,18,19,0,19,1,15,18,0,1,15,0,15,18,19,1,15,18,0,15,1,15,2,1,19,0,2,18,15,19,0,2,18,0,2,1,0,1,19,0,15,19,0,18,2,18,1,2,19,15,1,18,2,18,19,0,15,0,19,1,0,1,18,2,0,15,19,1,0,19,0,15,0,18,19,0,1,0,18,19,15,2,19,18,15,19,1,2,0,15,0,1,19,1,15,19,18,15,0,15,18,19,15,1,19,15,0,18,19,15,2,0,19,18,19,2,1,2,15,18,2,0,1,15,2,19,18,19,0,15,18,15,0,15,19,2,0,2,19,18,15,0,18,2,15,18,19,2,19,15,2,19,2,0,15,2,1,0,2,18,15,2,18,2,19,15,1,19,2,0,15,2,18,15,0,18,19,15,2,19,18,15,18,19,0,18,19,15,18,19,2,18,15,2,18,0,2,18,1,18,19,18,1,18,15,18,19,18,15,2,1,15,0,1,2,18,2,15,2,0,15,19,15,18,19,18,0,15,18,19,1,2,15,1,15,18,0,18,2,18,19,0,18,2,19,2,0,15,0,1,15,2,0,15,2,19,1,19,15,0,18,15,18,19,18,2,19,18,15,2,1,2,0,1,18,19,15,18,19,18,0,19,1,15,19,1,2,1,18,0,15,2,0,1,19,2,0,15,19,18,1,18,19,15,18,1,15,0,1,2,0,15,1,19,1,15,0,15,1,15,18,15,2,15,18,19,0,19,2,15,1,18,0,15,0,2,15,2,18,15,19,18,19,0,18,15,18,2,1,0,1,15,2,0,15,18,15,2,15,0,15,1,18,2,0,15,18,0,2,19,0,15,19,18,19,0,15,2,19,2,18,0,1,15,2,0,15,18,0,2,0,19,0,15,18,19,2,18,15,1,0,1,15,2,19,15,1,15,2,0,15,1,0,1,2,0,19,0,18,0,19,1,2,19,18,15,2,0,15,19,0,18,15,19,15,0,15,19,18,0,2,1,15,18,19,15,19,2,19,18,15,1,19,18,15,18,19,0,1,15,0,18,2,0,2,15,0,18,2,19,18,19,15,0,19,0,1,15,1,18,19,2,15,1,0,18,2,19,18,1,0,18,19,0,19,15,19,18,0,2,1,18,19,15,19,18,19,0,15,19,18,0,2,15,0,1,18,15,0,15,18,15,0,2,19,15,1,2,0,18,15,19,18,1,2,19,18,1,18,19,15,19,0,19,2,15,0,1,2,1,15,2,19,1,15,0,18,19,1,2,15,19,18,15,19,2,0,15,1,2,19,15,1,18,0,2,19,0,15,1,2,15,0,2,15,19,0,2,0,15,18,15,19,18,15,2,15,1,15,19,0,1,2,15,19,18,0,1,19,0,2,15,19,18,15,19,2,15,2,1,0,15,2,1,19,1,0,2,18,15,1,15,18,19,15,2,19,0,15,2,19,18,15,19,18,19,2,1,15,0,1,19,1,15,2,19,1,2,0,1,2,15,19,0,15,0,2,18,1,15,19,2,15,19,0,1,15,0,2,1,18,0,1,2,1,0,15,1,2,18,19,0,19,1,0,1,18,19,1,18,15,19,1,2,19,0,18,2,19,0,15,0,1,18,2,19,2,15,0,2,19,0,19,18,15,0,1,18,2,0,15,19,1,2,15,1,15,18,15,19,15,1,18,15,0,1,19,15,18,19,2,18,1,0,2,18,15,19,2,1,0,18,0,15,1,18,15,2,18,1,2,19,1,15,2,0,1,2,18,0,1,19,2,19,0,18,2,19,18,15,1,2,19,0,15,1,19,15,2,19,18,1,15,18,0,15,0,2,18,15,0,19,2,0,18,19,18,2,15,1,0,2,1,18,0,18,2,0,19,18,19,2,15,19,18,15,18,2,0,19,18,0,19,15,0,1,2,0,18,1,18,15,19,18,15,2,1,18,19,18,2,15,18,19,18,15,18,0,19,18,15,1,19,18,19,0,2,1,19,15,0,15,2,18,15,2,19,0,2,15,1,2,19,0,1,19,18,15,19,0,19,18,0,18,15,18,1,15,18,19,1,0,15,2,18,15,19,2,15,18,0,15,2,1,2,0,2,15,19,2,1,18,2,19,18,19,0,15,2,19,15,1,0,15,2,18,19,18,0,2,18,1,0,2,1,19,1,18,0,15,1,2,0,19,15,2,18,15,18,19,0,1,15,19,2,18,2,19,0,15,1,2,0,19,1,2,19,18,19,1,15,19,18,19,0,15,18,19,2,15,2,1,2,0,15,19,0,19,2,1,0,15,1,0,19,2,18,15,2,19,0,2,18,19,2,15,1,0,2,18,1,0,18,15,19,0,19,15,2,18,2,19,18,1,0,2,19,0,2,1,15,19,0,2,0,1,15,18,0,1,15,19,2,1,0,18,1,15,19,18,15,0,15,2,1,0,18,15,19,2,0,2,1,15,1,0,19,2,1,2,0,1,18,0,1,2,0,2,18,0,18,1,2,19,1,19,0,15,19,1,0,2,0,1,18,15,0,2,19,0,2,1,15,19,15,1,0,18,19,2,15,0,1,19,15,18,15,1,15,0,18,0,1,19,1,15,18,2,0,2,15,18,19,18,0,18,19,2,1,15,0,2,1,0,18,2,18,15,2,19,15,2,0,18,15,0,19,0,15,1,19,2,1,0,15,18,2,0,15,0,1,2,1,19,1,15,1,2,19,2,18,1,15,18,2,1,18,19,2,19,15,19,18,19,1,0,15,19,2,18,1,15,19,18,0,15,19,15,1,0,2,1,18,19,15,2,1,0,2,18,1,15,2,0,1,18,19,15,18,2,19,18,19,0,1,2,15,18,1,2,19,2,1,0,19,2,18,15,2,0,2,18,0,1,15,18,15,0,18,2,15,0,15,1,2,0,15,19,2,0,1,2,19,0,2,19,18,2,0,1,2,0,15,18,2,0,19,2,19,18,19,0,18,0,15,18,19,0,18,19,2,19,0,19,15,18,0,2,15,0,1,2,15,19,15,2,18,1,2,0,1,19,15,2,1,15,0,1,0,18,1,15,2,15,18,15,1,0,18,0,15,0,2,18,19,2,15,0,15,1,19,2,0,15,2,1,15,0,2,15,0,15,18,1,2,0,18,0,2,19,2,0,1,2,15,1,15,18,1,0,1,2,0,15,2,1,0,2,0,15,19,18,0,15,1,15,0,19,1,15,2,1,18,19,15,18,0,19,15,1,15,2,1,2,19,0,2,15,2,18,0,19,15,18,0,2,0,1,18,2,1,2,0,1,2,18,0,15,0,2,1,19,0,2,1,18,0,18,15,0,19,0,15,0,1,15,2,0,1,0,15,18,1,19,18,0,1,15,0,2,19,2,0,18,19,15,18,2,15,18,15,0,15,18,15,1,19,15,19,2,1,19,15,0,1,15,2,15,0,18,2,0,19,2,1,0,19,18,0,18,15,19,18,0,1,19,15,2,0,1,2,18,0,2,1,19,2,1,2,0,15,2,18,1,18,0,1,2,19,18,2,0,18,19,18,2,19,2,1,2,19,0,15,18,15,19,2,15,1,0,18,2,1,2,18,2,0,18,19,15,19,18,1,2,0,2,18,0,18,19,2,18,19,0,19,2,19,15,18,19,2,18,0,1,18,15,1,0,2,1,2,18,19,18,0,19,2,1,0,2,0,15,1,18,0,2,1,15,19,15,18,15,0,19,18,2,15,2,19,2,0,15,18,15,0,15,18,1,18,0,2,0,1,2,15,0,1,19,18,0,1,18,1,2,18,19,15,1,19,2,1,0,2,15,18,15,1,15,2,1,19,15,2,0,2,1,2,0,18,0,1,0,15,0,2,18,19,2,19,15,18,15,0,1,19,0,2,1,15,1,0,1,15,19,1,19,2,1,15,1,2,18,1,0,2,1,2,19,2,1,15,2,19,2,1,2,19,18,19,2,15,19,15,0,15,2,18,19,2,0,2,19,2,1,19,18,15,2,18,0,19,15,0,19,2,1,2,0,2,1,2,18,0,18,15,19,18,2,15,1,2,15,18,15,19,2,1,18,15,18,0,2,19,18,0,1,2,0,19,15,19,2,19,15,18,19,0,2,19,2,1,2,18,0,19,15,18,19,2,0,19,18,19,0,15,18,19,0,18,2,18,15,19,2,1,15,19,15,0,18,15,19,18,2,19,0,18,19,18,1,0,15,18,0,2,0,15,2,19,2,0,19,18,0,19,15,18,2,15,0,2,19,1,2,19,18,15,19,2,1,19,2,19,0,18,2,0,1,2,19,1,18,1,0,2,0,18,15,0,1,15,0,2,1,18,15,19,18,1,18,2,19,2,15,1,2,19,0,19,18,15,2,19,18,19,2,1,2,15,2,1,2,18,2,15,0,18,2,1,0,18,19,0,15,19,18,2,1,15,19,18,0,19,15,1,2,1,19,18,0,15,0,19,18,19,15,2,15,0,1,2,15,19,15,18,19,0,15,19,1,0,15,19,2,15,18,19,1,0,19,18,2,15,0,15,1,18,0,1,0,2,18,15,19,18,1,19,2,0,18,19,18,2,19,2,1,2,15,1,0,18,15,0,18,19,18,2,1,2,0,1,0,15,0,19,1,15,1,2,19,18,15,1,18,0,18,15,2,18,19,0,15,2,1,2,0,2,15,2,0,2,1,18,15,0,18,2,0,1,18,0,15,0,2,0,15,1,15,18,19,2,0,1,0,2,19,15,2,1,0,1,2,1,15,2,1,19,15,1,0,2,18,2,19,15,2,1,19,15,2,0,15,2,1,2,15,19,2,1,0,18,15,1,15,18,15,1,0,2,19,15,2,15,18,19,2,0,19,1,15,2,1,19,0,2,1,2,0,15,2,1,18,19,15,0,1,19,2,1,0,18,2,0,15,1,18,15,19,15,18,0,1,0,2,18,19,2,1,2,19,15,18,19,0,1,19,2,1,19,18,0,18,15,2,18,0,18,1,0,2,15,1,15,19,18,19,0,18,15,1,0,15,0,18,19,0,2,0,18,1,15,18,1,18,2,19,15,2,1,19,0,2,0,15,0,19,0,2,18,2,19,15,2,19,0,15,18,15,19,2,19,15,0,15,1,2,15,1,15,18,19,18,15,0,18,19,1,19,15,18,0,15,0,2,19,2,18,0,2,19,2,15,19,1,15,19,18,19,0,18,2,1,2,15,19,18,2,1,2,18,0,1,15,0,2,19,1,0,18,19,15,1,15,0,19,0],
  "submitter": "David Renshaw",
  "created_at": "2026-10-05 15:48:41",
  "comments": [
    {
      "author": "David Renshaw",
      "created_at": "2026-10-05 15:48:41",
      "content": "Found by beam search over prefixes scored by randomized DFS rollouts (from scratch, 3 min), then iterated cut-and-re-extend local search on both ends (~6 min, 10 cores)."
    }
  ]
}