{
  "status": "grid_feasible",
  "state": {
    "A": "13/128",
    "B0": "17/256",
    "C0": "11/256",
    "B1": "17/256",
    "C1": "11/256",
    "B2": "17/256",
    "C2": "11/256"
  },
  "trace": [
    {
      "vertex": "C0",
      "admissible_grid_points": 230,
      "ancestors": [
        "B0",
        "A"
      ]
    },
    {
      "vertex": "B0",
      "admissible_grid_points": 225,
      "ancestors": [
        "A"
      ]
    },
    {
      "vertex": "C1",
      "admissible_grid_points": 230,
      "ancestors": [
        "B1",
        "A"
      ]
    },
    {
      "vertex": "B1",
      "admissible_grid_points": 225,
      "ancestors": [
        "A"
      ]
    },
    {
      "vertex": "C2",
      "admissible_grid_points": 230,
      "ancestors": [
        "B2",
        "A"
      ]
    },
    {
      "vertex": "B2",
      "admissible_grid_points": 225,
      "ancestors": [
        "A"
      ]
    },
    {
      "vertex": "A",
      "admissible_grid_points": 80,
      "ancestors": []
    }
  ],
  "denominator": 256,
  "scope": "Exact least solution on a finite rational grid. Its witness is feasible over the reals, but need not be the real least state. No FPT runtime claim."
}