{
  "all_controls_and_perturbation_checks_passed": true,
  "all_rounding_intervals_contain_independent_enclosures": true,
  "entries": 12,
  "harmonic_zeta_110_digits": "1.4464090846320771425357014498431290033987440628294334348746459229862863424450067213885747294095131770313490156",
  "minimum_generator_accuracy_bits": 424,
  "minimum_independent_accuracy_bits": 550,
  "raw_ball_measurement": {
    "block_kb": 2.171875,
    "entries": 12,
    "longest": 146,
    "longest_at": 2
  },
  "series_term_counts": {
    "1": 48,
    "10": 38,
    "11": 37,
    "12": 37,
    "2": 46,
    "3": 44,
    "4": 42,
    "5": 41,
    "6": 40,
    "7": 40,
    "8": 39,
    "9": 38
  },
  "software": {
    "mpmath": "1.4.1",
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "sage": "10.9"
  },
  "stored_checks_passed": true,
  "stored_decimal_measurement": {
    "block_kb": 1.6083984375,
    "entries": 12,
    "longest": 101,
    "longest_at": 1
  },
  "table": "T539",
  "values": {
    "1": "1.258541682585905453517532273632992728014593496699297507604505531690623812368982320965612763719882503",
    "2": "1.446409084632077142535701449843129003398744062829433434874645922986286342445006721388574729409513177",
    "3": "1.598183234678470396487150143591480967260802571121156156204932012070621528536593973547218456896655294",
    "4": "1.728260369359926745251607253272653555129581919787799560671977046811593157483019537464135895813326940",
    "5": "1.843814305937225775891067926461126001620261247452675289767666435840204100779995363158244994885885837",
    "6": "1.948895567530788691170989935306182552691814208952929456179612422484739021198322125920832025162009817",
    "7": "2.046008113230455119941431652737474478849006452836844549320499006301642466616521691194461770682158779",
    "8": "2.136809164323802850865353261070144805618869940529671486273943587674099204413629085542314608068853067",
    "9": "2.222455155768187930444232571206697866496308044072120809620423355499661685163374496995571353654119721",
    "10": "2.303787706962726240257587095809052735002637655336595288601362011585631393134439510828085865508758411",
    "11": "2.381440522306130547687173784846882388868929042584832744362881435532131923959456520087285171885206821",
    "12": "2.455904299416680850936264027035181026788158242481472750497332397571314660224454288807729941395996598"
  },
  "working_bits": 429,
  "skill_manifest": "agents/runs/20261027T052752Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}