[
  {
    "K": 2,
    "pairs": 38,
    "upper_certificate": {
      "status": "certified",
      "upper": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "intervals": 203
    },
    "previous": {
      "status": "refuted",
      "witness_p": {
        "exact": "57/64",
        "decimal": 0.890625
      },
      "value": {
        "exact": "1879344632722954135308239578441390204118481907980944425384365883902442076470168805975992684227372717354898056726262395085154955360253281999/37214142683935072796125378963865832158906437667190684686412298198048731551405973674300981796544694556711041106240828310196971603385070387200",
        "decimal": 0.05050081762421592
      },
      "intervals": 24
    },
    "minimal_certified": true
  },
  {
    "K": 3,
    "pairs": 16,
    "upper_certificate": {
      "status": "certified",
      "upper": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "intervals": 69
    },
    "previous": {
      "status": "refuted",
      "witness_p": {
        "exact": "13/16",
        "decimal": 0.8125
      },
      "value": {
        "exact": "13767163940773258956969881475531774250931/272225893536750770770699685945414569164800",
        "decimal": 0.05057257324757271
      },
      "intervals": 7
    },
    "minimal_certified": true
  },
  {
    "K": 4,
    "pairs": 11,
    "upper_certificate": {
      "status": "certified",
      "upper": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "intervals": 43
    },
    "previous": {
      "status": "refuted",
      "witness_p": {
        "exact": "3/4",
        "decimal": 0.75
      },
      "value": {
        "exact": "114402824296875/2251799813685248",
        "decimal": 0.050805059846614764
      },
      "intervals": 2
    },
    "minimal_certified": true
  },
  {
    "K": 5,
    "pairs": 9,
    "upper_certificate": {
      "status": "certified",
      "upper": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "intervals": 47
    },
    "previous": {
      "status": "refuted",
      "witness_p": {
        "exact": "11/16",
        "decimal": 0.6875
      },
      "value": {
        "exact": "396138451534689719420484381/7555786372591432341913600000",
        "decimal": 0.0524284875194036
      },
      "intervals": 17
    },
    "minimal_certified": true
  },
  {
    "K": 6,
    "pairs": 8,
    "upper_certificate": {
      "status": "certified",
      "upper": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "intervals": 61
    },
    "previous": {
      "status": "refuted",
      "witness_p": {
        "exact": "5/8",
        "decimal": 0.625
      },
      "value": {
        "exact": "30650807599478825/576460752303423488",
        "decimal": 0.05317067550046424
      },
      "intervals": 12
    },
    "minimal_certified": true
  }
]
