back to table · edit · history · where entries came from · files · download
2547 bytes, as of the version from 2026-10-27 06:00 (current). Recorded here, not run.
{
"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"
}