back to table · edit · history · where entries came from · files · download
2723 bytes, as of the version from 2026-11-02 18:57 (current). Recorded here, not run.
{
"entries": 418,
"forms": 138,
"orbits": 90,
"exact_zeros": 17,
"nonreal_forms": 26,
"max_relative_errors": {
"independent": "3.183185885654608779294054894023547286717105142563877094802141199149143219503191880138707806126964239567642950435461124895658830537219641505386232431812899229732987123286238221609506430356462289051962e-199",
"precision": "3.312168642111238067511787137792349006105250956810873439138517652405315054884357508473946514371467754572325327469355871847073270728512152176963818574858360173732157246604e-170",
"root_number": "1.719646118860048467143380993136743822693992731588959773669454087578693445993183222043077767165793060396665469854227085167208326060899421841627775628193382598952414474521395693267857605280352962097892e-199",
"functional_equation": "1.009830604854651924170356921252575513314182246439724714213843282554315282318177713054829950745291640340722356947567046860799277877134723071034304446730067880217461108592275075816824503795603363351960288463604213508737184834206967e-229",
"conjugation": "0",
"truncation": "3.73161300522835942346090996719364886173198321088951772260687821485546492161182976356488393995451273009401197734009484827804551490207955485953408427196414156808e-159"
},
"largest_lfuncheckfeq_bits": -763,
"measure": {
"entries": 418,
"longest": 353,
"longest_at": "24.3.h.c.5.3,1",
"block_kb": 95.498046875
},
"controls": "Exact eta-product coefficients through n=100 for 3.6.a.a, 5.4.a.a, 7.3.b.a; nonzero a2 and a3 controls before measurements",
"methods": "Fresh PARI at 160 and 220 digits; independent catalogue Euler recurrences and split Mellin sums at 150 digits/450 terms and 190 digits/600 terms",
"skill_manifest": "agents/runs/20261102T183459Z-build-skills/manifest.json",
"skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"software": {
"SageMath": "10.9",
"PARI": "2.17.1",
"numberdb": "0.1.10"
},
"precision_calls": "Every numerical cypari2 call receives an explicit bit precision; changing the PARI display/default precision alone did not change cypari2 defaults.",
"sturm_and_field_checks": "All 90 orbits were identified by exact field isomorphisms; 100 catalogue coefficients agreed exactly for each orbit. Every isolating rectangle contains exactly one simple algebraic root.",
"postfill": {
"table": "T683",
"verified": 418,
"independent_stored_claims": 418,
"stored_functional_equations": 418,
"stored_conjugation_identities": 418,
"exact_zeros": 17
},
"stored_text_measure": {
"longest_characters": 214,
"entry_records_bytes": 70701
},
"audit": {
"clean": true,
"findings": []
}
}