{
  "construction": "Wang-Wikstrom moment-dual measure with sixteen atoms and certified polynomial integral bound",
  "source_credit": "Wikstrom arXiv:2607.17748 Lemma 3.1; Wang annular estimate",
  "claim": "C68 >= 8527693/20000000 = 0.42638465",
  "c": "8527693/20000000",
  "R": "9999/10000",
  "nodes": [
    "72721547902249/400000000000000",
    "578860901323522081/1000000000000000000",
    "816748526665954211/1000000000000000000",
    "920636280782610061/1000000000000000000",
    "964292839891460529/1000000000000000000",
    "983207912383541771/1000000000000000000",
    "495885505061588683/500000000000000000",
    "99581760378264883/100000000000000000",
    "498902455260132327/500000000000000000",
    "9988141037359759/10000000000000000",
    "199868228868201303/200000000000000000",
    "999622064978637259/1000000000000000000",
    "249943160637395967/250000000000000000",
    "124981374508530127/125000000000000000",
    "499943785456243739/500000000000000000",
    "9999/10000"
  ],
  "weights": [
    "392591370153232813/1000000000000000000",
    "83775509279208571/250000000000000000",
    "155658604815309881/1000000000000000000",
    "13032656827533487/200000000000000000",
    "27734797819002267/1000000000000000000",
    "12312342738629063/1000000000000000000",
    "2856639050368671/500000000000000000",
    "2760807795092819/1000000000000000000",
    "1382494612372999/1000000000000000000",
    "142748671508361/200000000000000000",
    "75516830571899/200000000000000000",
    "202606269915487/1000000000000000000",
    "21555809858341/200000000000000000",
    "26871642448379/500000000000000000",
    "11179051370871/500000000000000000",
    "633698774821/200000000000000000"
  ],
  "lower_envelope": {
    "c": "8527693/20000000",
    "R": "9999/10000",
    "end": "9999999999/10000000000",
    "coefficients_delta": [
      "281978918242459592675501/12500000000000000000000000",
      "1102471797710579921122539/100000000000000000000000000",
      "-687233054144974275316103/125000000000000000000000000",
      "-168163398237114755212421/12500000000000000000000000"
    ],
    "product_terms": 52,
    "positive_partitions": [
      [
        "9999/10000",
        "9999999999/10000000000"
      ]
    ]
  },
  "second_tail_t0": "49999/50000",
  "second_tail_t1": "99999/100000",
  "second_tail_k": 240000
}