[
  {
    "K": 2,
    "H": {
      "exact": "121/400",
      "decimal": 0.3025
    },
    "status": "infeasible",
    "pairs": null
  },
  {
    "K": 5,
    "H": {
      "exact": "161051/3200000",
      "decimal": 0.0503284375
    },
    "status": "infeasible",
    "pairs": null
  },
  {
    "K": 6,
    "H": {
      "exact": "1771561/64000000",
      "decimal": 0.027680640625
    },
    "status": "certified",
    "pairs": 9,
    "bound": {
      "exact": "1801439850948198400000000000000000000000000000000000000000000/36117491285095321790681716795912889337489435355502085681444831",
      "decimal": 0.049877214248587695
    }
  },
  {
    "K": 8,
    "H": {
      "exact": "214358881/25600000000",
      "decimal": 0.0083733937890625
    },
    "status": "certified",
    "pairs": 8,
    "bound": {
      "exact": "3094850098213450687247810560000000000000000000000000000000000000000000000000000000000000000/66817107853171434637180478138312015253210537102441973700512135274346937291059105317218251849",
      "decimal": 0.04631822893343857
    }
  },
  {
    "K": 10,
    "H": {
      "exact": "25937424601/10240000000000",
      "decimal": 0.0025329516211914063
    },
    "status": "certified",
    "pairs": 7,
    "bound": {
      "exact": "579516866863059435520000000000000000000000000000000000000000000000000000000000000000000000/11598173450172534620438730221974055859476629037222532803524860623041158761541457785289667799",
      "decimal": 0.04996621833194248
    }
  }
]