{
  "status": "PASS",
  "checker": "independent standard-library integer intervals, elementary series",
  "certificate_sha256": "80a056f2cec4cfd933944fa51100bc5a1a9657f1a1de509e3a51401ff282002b",
  "c": "54/125",
  "atoms": 12,
  "bits": 200,
  "pi_interval": [
    "315521547163624616998338133827652302263415213843041435720897/100433627766186892221372630771322662657637687111424552206336",
    "631043094327249233996676267655304604526830427686082871442051/200867255532373784442745261542645325315275374222849104412672"
  ],
  "linear_envelope_slope_lower": "20598908828283686972961871357051123167240880042890601894243/803469022129495137770981046170581301261101496891396417650688",
  "first_finite_through": 31278,
  "first_tail_from": 31279,
  "second_finite_through": 23999,
  "second_tail_from": 24000,
  "first_min_relative_lower": "170319375365976040697182839408024308607751557030083/81255167077279033201271854323758203845309361023292468771",
  "first_min_k": 5714,
  "second_min_relative_lower": "12360591199879265208761907637631832562288838472059/54099626644708451699273455972803553016495003348215109491",
  "second_min_k": 8502,
  "second_tail_gap_lower": "3384716201314514553934845015151672464398878227977/1606938044258990275541962092341162602522202993782792835301376",
  "seconds": 1.5012285420671105
}