back to table · edit · history · where entries came from · files · download
9486 bytes, as of the version from 2026-11-02 09:34 (current). Recorded here, not run.
{
"table": "T673",
"method": "independent reduced forms and Arb modular_j",
"bits": 1024,
"fundamental_discriminant_comparisons": 61,
"max_radius": "[5.44970706e-274 +/- 2.47e-283]",
"required_radius": "<1e-110",
"rows": [
{
"D": 5,
"form_count": 2,
"coefficient": "-171990",
"radius": "[1.25816034e-301 +/- 3.75e-310]"
},
{
"D": 8,
"form_count": 2,
"coefficient": "3414528",
"radius": "[3.27920690e-300 +/- 4.50e-309]"
},
{
"D": 12,
"form_count": 2,
"coefficient": "88660992",
"radius": "[7.80323607e-299 +/- 4.87e-308]"
},
{
"D": 13,
"form_count": 4,
"coefficient": "-183902292",
"radius": "[1.44049776e-298 +/- 3.82e-307]"
},
{
"D": 17,
"form_count": 2,
"coefficient": "-2687827968",
"radius": "[2.04195184e-297 +/- 2.15e-306]"
},
{
"D": 21,
"form_count": 4,
"coefficient": "-29466050250",
"radius": "[2.28979149e-296 +/- 1.06e-305]"
},
{
"D": 24,
"form_count": 2,
"coefficient": "154184576000",
"radius": "[1.47923436e-295 +/- 4.70e-304]"
},
{
"D": 28,
"form_count": 4,
"coefficient": "1208278536192",
"radius": "[1.18021434e-294 +/- 1.65e-303]"
},
{
"D": 29,
"form_count": 6,
"coefficient": "-1976452670250",
"radius": "[1.65101623e-294 +/- 9.80e-304]"
},
{
"D": 33,
"form_count": 2,
"coefficient": "-13096231436288",
"radius": "[1.08179282e-293 +/- 4.97e-302]"
},
{
"D": 37,
"form_count": 8,
"coefficient": "-77897942407350",
"radius": "[7.32945997e-293 +/- 3.63e-302]"
},
{
"D": 40,
"form_count": 4,
"coefficient": "279250592947200",
"radius": "[2.99729576e-292 +/- 2.69e-301]"
},
{
"D": 41,
"form_count": 2,
"coefficient": "-422964412416000",
"radius": "[3.74350316e-292 +/- 9.05e-302]"
},
{
"D": 44,
"form_count": 4,
"coefficient": "1428218123904000",
"radius": "[1.46753800e-291 +/- 4.51e-300]"
},
{
"D": 53,
"form_count": 10,
"coefficient": "-43956516990730734",
"radius": "[4.16512467e-290 +/- 3.45e-299]"
},
{
"D": 56,
"form_count": 4,
"coefficient": "129203628422400000",
"radius": "[1.33648412e-289 +/- 2.63e-298]"
},
{
"D": 57,
"form_count": 4,
"coefficient": "-183919810117435392",
"radius": "[1.69006141e-289 +/- 4.75e-298]"
},
{
"D": 60,
"form_count": 4,
"coefficient": "521175528272588800",
"radius": "[5.40521006e-289 +/- 3.74e-298]"
},
{
"D": 61,
"form_count": 8,
"coefficient": "-733341541502130750",
"radius": "[6.82486541e-289 +/- 3.65e-299]"
},
{
"D": 65,
"form_count": 4,
"coefficient": "-2799317972297318400",
"radius": "[2.59359490e-288 +/- 1.46e-297]"
},
{
"D": 69,
"form_count": 6,
"coefficient": "-10269820018890314750",
"radius": "[9.64619531e-288 +/- 1.84e-297]"
},
{
"D": 73,
"form_count": 4,
"coefficient": "-36332456851182256128",
"radius": "[3.38168989e-287 +/- 4.28e-296]"
},
{
"D": 76,
"form_count": 4,
"coefficient": "91675725880781952000",
"radius": "[9.61494848e-287 +/- 3.68e-296]"
},
{
"D": 77,
"form_count": 12,
"coefficient": "-124311097789669982268",
"radius": "[1.16986892e-286 +/- 3.65e-295]"
},
{
"D": 85,
"form_count": 12,
"coefficient": "-1329424610499790172550",
"radius": "[1.25452737e-285 +/- 3.49e-294]"
},
{
"D": 88,
"form_count": 8,
"coefficient": "3142537389457197456384",
"radius": "[3.62534432e-285 +/- 2.41e-294]"
},
{
"D": 89,
"form_count": 2,
"coefficient": "-4172807127458930688000",
"radius": "[4.34605570e-285 +/- 1.78e-294]"
},
{
"D": 92,
"form_count": 8,
"coefficient": "9679622929050549915648",
"radius": "[1.12243812e-284 +/- 2.44e-293]"
},
{
"D": 93,
"form_count": 12,
"coefficient": "-12775168664023696440120",
"radius": "[1.38548672e-284 +/- 2.06e-293]"
},
{
"D": 97,
"form_count": 4,
"coefficient": "-38208606696510213390336",
"radius": "[4.02227135e-284 +/- 1.90e-293]"
},
{
"D": 101,
"form_count": 10,
"coefficient": "-111795801453256486135500",
"radius": "[1.19955183e-283 +/- 4.17e-292]"
},
{
"D": 104,
"form_count": 4,
"coefficient": "246720197270785311360000",
"radius": "[2.85526021e-283 +/- 1.34e-292]"
},
{
"D": 105,
"form_count": 4,
"coefficient": "-320415440871807624806400",
"radius": "[3.39177147e-283 +/- 1.73e-292]"
},
{
"D": 109,
"form_count": 12,
"coefficient": "-900590096624482232923500",
"radius": "[9.80051261e-283 +/- 4.59e-292]"
},
{
"D": 113,
"form_count": 6,
"coefficient": "-2484983923005320719368192",
"radius": "[2.67331709e-282 +/- 6.07e-292]"
},
{
"D": 120,
"form_count": 8,
"coefficient": "14081877289865234010777600",
"radius": "[1.66803070e-281 +/- 2.22e-291]"
},
{
"D": 124,
"form_count": 4,
"coefficient": "37107122597336702776320000",
"radius": "[4.27984025e-281 +/- 4.64e-290]"
},
{
"D": 129,
"form_count": 4,
"coefficient": "-121948744507025693859840000",
"radius": "[1.29964616e-280 +/- 1.33e-289]"
},
{
"D": 133,
"form_count": 16,
"coefficient": "-310813946752458554276045706",
"radius": "[3.47025230e-280 +/- 4.34e-289]"
},
{
"D": 136,
"form_count": 4,
"coefficient": "621315214126779430073088000",
"radius": "[7.31949480e-280 +/- 3.17e-289]"
},
{
"D": 137,
"form_count": 6,
"coefficient": "-781368020307953777040556032",
"radius": "[8.46451960e-280 +/- 1.82e-289]"
},
{
"D": 140,
"form_count": 8,
"coefficient": "1546538108306530897548748800",
"radius": "[2.11059210e-279 +/- 2.01e-288]"
},
{
"D": 141,
"form_count": 10,
"coefficient": "-1938650493359943697729463250",
"radius": "[2.49155742e-279 +/- 2.81e-288]"
},
{
"D": 145,
"form_count": 4,
"coefficient": "-4749752790796806748776038400",
"radius": "[5.93965729e-279 +/- 3.24e-289]"
},
{
"D": 149,
"form_count": 14,
"coefficient": "-11497216500879825543994530000",
"radius": "[1.48479964e-278 +/- 4.25e-287]"
},
{
"D": 152,
"form_count": 8,
"coefficient": "22141874867721972972166333440",
"radius": "[3.03356455e-278 +/- 1.65e-287]"
},
{
"D": 156,
"form_count": 8,
"coefficient": "52534077850157300011485696000",
"radius": "[7.15601419e-278 +/- 2.76e-287]"
},
{
"D": 157,
"form_count": 16,
"coefficient": "-65088601844473235105544957084",
"radius": "[8.46061145e-278 +/- 6.49e-288]"
},
{
"D": 161,
"form_count": 4,
"coefficient": "-152360453017205491203145728000",
"radius": "[1.91024531e-277 +/- 4.42e-286]"
},
{
"D": 165,
"form_count": 16,
"coefficient": "-352976324980717853768269502850",
"radius": "[4.55004285e-277 +/- 1.52e-286]"
},
{
"D": 168,
"form_count": 8,
"coefficient": "658489009772632697023885219840",
"radius": "[9.10352143e-277 +/- 4.65e-286]"
},
{
"D": 172,
"form_count": 12,
"coefficient": "1499473596179564334448374334464",
"radius": "[2.05689929e-276 +/- 4.53e-285]"
},
{
"D": 173,
"form_count": 18,
"coefficient": "-1839265403097735693768426282810",
"radius": "[2.43778671e-276 +/- 4.73e-285]"
},
{
"D": 177,
"form_count": 6,
"coefficient": "-4139655957873551249376641351680",
"radius": "[4.98670787e-276 +/- 2.22e-286]"
},
{
"D": 181,
"form_count": 12,
"coefficient": "-9233794829321420740879972655250",
"radius": "[1.12967451e-275 +/- 4.41e-284]"
},
{
"D": 184,
"form_count": 8,
"coefficient": "16757423941228510912851817728000",
"radius": "[2.43677231e-275 +/- 2.08e-284]"
},
{
"D": 185,
"form_count": 4,
"coefficient": "-20418312349541793973215205785600",
"radius": "[2.45184942e-275 +/- 4.99e-284]"
},
{
"D": 188,
"form_count": 8,
"coefficient": "36820882483597155472201372557312",
"radius": "[5.43677511e-275 +/- 2.80e-284]"
},
{
"D": 193,
"form_count": 8,
"coefficient": "-97374807126201131490812730605568",
"radius": "[1.20010899e-274 +/- 9.78e-284]"
},
{
"D": 197,
"form_count": 22,
"coefficient": "-210114836893841697455723751703284",
"radius": "[2.70170546e-274 +/- 1.12e-283]"
},
{
"D": 201,
"form_count": 4,
"coefficient": "-449922048487188586879996747776000",
"radius": "[5.44970706e-274 +/- 2.47e-283]"
}
],
"skill_manifest": "agents/runs/20261102T085118Z-build-skills/manifest.json",
"mode": "computed"
}