back to table · edit · history · where entries came from · files · download
12379 bytes, as of the version from 2026-10-27 20:42 (current). Recorded here, not run.
{
"table": "T560",
"sage_version": "10.9",
"skill_evidence": {
"manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261027T203619Z-repair-skills/manifest.json",
"manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
]
},
"snippet_sha256": "7190176c820a477c256daa5ce3d874045734d55237672f78288a75ff3aec1b7f",
"document_before_sha256": "4c43617c8e45b90006c507b3861d01132c9b6aed93b457c34b20208cd4df7aa7",
"sources": [
{
"url": "https://arxiv.org/pdf/1901.01785",
"locator": "Section 6.5, formulas following Proposition 6.13; Proposition 6.13 recurrence"
},
{
"url": "https://arxiv.org/pdf/1212.1660",
"locator": "Remark 1.2, labelled genus-two coefficients"
}
],
"controls": [
"marked torus coefficient 1/3",
"H(2) coefficient 1/120",
"labelled H(1,1) coefficient 1/135"
],
"recurrence_genera": [
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20
],
"evaluations": [
{
"g": 2,
"zeros": 1,
"coefficient": "1/120",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 2,
"zeros": 2,
"coefficient": "1/135",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 3,
"zeros": 1,
"coefficient": "1/6720",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 3,
"zeros": 2,
"coefficient": "1/9450",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 4,
"zeros": 1,
"coefficient": "1/580608",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 4,
"zeros": 2,
"coefficient": "1/992250",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 5,
"zeros": 1,
"coefficient": "1/72990720",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 5,
"zeros": 2,
"coefficient": "1/147349125",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 6,
"zeros": 1,
"coefficient": "1/12651724800",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 6,
"zeros": 2,
"coefficient": "1/29499294825",
"relative_width_bits_lower_bound": 392,
"mpfi_contained": true
},
{
"g": 7,
"zeros": 1,
"coefficient": "1/2898395136000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 7,
"zeros": 2,
"coefficient": "1/7669816654500",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 8,
"zeros": 1,
"coefficient": "1/849006821376000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 8,
"zeros": 2,
"coefficient": "1/2514604174582500",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 9,
"zeros": 1,
"coefficient": "1/309717688437964800",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 9,
"zeros": 2,
"coefficient": "1/1015271435487684375",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 10,
"zeros": 1,
"coefficient": "1/137733277917118464000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 10,
"zeros": 2,
"coefficient": "1/495114036706160746875",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 11,
"zeros": 1,
"coefficient": "1/73361093290591518720000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 11,
"zeros": 2,
"coefficient": "1/286968095674890768888750",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 12,
"zeros": 1,
"coefficient": "1/46112687211228954624000000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 12,
"zeros": 2,
"coefficient": "1/195007865015437136131218750",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 13,
"zeros": 1,
"coefficient": "1/33778545831947192500224000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 13,
"zeros": 2,
"coefficient": "1/153568693699656744703334765625",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 14,
"zeros": 1,
"coefficient": "1/28525306384162765122589163520000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 14,
"zeros": 2,
"coefficient": "1/138743408269420651272358986328125",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 15,
"zeros": 1,
"coefficient": "1/27511073268281422362674882150400000",
"relative_width_bits_lower_bound": 391,
"mpfi_contained": true
},
{
"g": 15,
"zeros": 2,
"coefficient": "1/142548941753381903421543689953125000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 16,
"zeros": 1,
"coefficient": "1/30053475901350188291363457466368000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 16,
"zeros": 2,
"coefficient": "1/165271243068870978826937754131653125000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 17,
"zeros": 1,
"coefficient": "1/36917302010432747423713563236106240000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 17,
"zeros": 2,
"coefficient": "1/214749321462614228113252244274816779296875",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 18,
"zeros": 1,
"coefficient": "1/50663962831772068646216359146569072640000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 18,
"zeros": 2,
"coefficient": "1/310818062034566063689798321787168638505859375",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 19,
"zeros": 1,
"coefficient": "1/77229249857162954468941005519650090385408000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 19,
"zeros": 2,
"coefficient": "1/498344959462087588782643309265427050404394531250",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 20,
"zeros": 1,
"coefficient": "1/130079104083740414121740634161745773859962880000000",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 20,
"zeros": 2,
"coefficient": "1/880732915461970481249072614832830259238377050781250",
"relative_width_bits_lower_bound": 390,
"mpfi_contained": true
},
{
"g": 50,
"zeros": 1,
"coefficient": "1/58624058909146187579170930288046858169910091014139613364240675034988942644651547398153245703130902449053866837080650936728106568770681569280000000000000000000000",
"relative_width_bits_lower_bound": 389,
"mpfi_contained": true
},
{
"g": 50,
"zeros": 2,
"coefficient": "1/956510092167574337777944703312104131999653127688915886844693182903641987025066188544433564755716041618840855643538429376224740417077270656600175797939300537109375",
"relative_width_bits_lower_bound": 389,
"mpfi_contained": true
},
{
"g": 100,
"zeros": 1,
"coefficient": "1/1399573093691767596031883708045961915957808469639679232211311318457823175294799106925410402936217315062143501298039626492488220614295609654120944796828440910707874328438634323934252016355253947562354236594050553653214719403909956021754133208447895080130432012933816760452056158032456980007638729868837687639904512882268775688972533760000000000000000000000000000000000000000000000",
"relative_width_bits_lower_bound": 388,
"mpfi_contained": true
},
{
"g": 100,
"zeros": 2,
"coefficient": "1/45108488337524415248289506781935564776113934925720017640415147609255870116599373459299910482291682020138433928490546156225506863690882869352264584853905070549549748444972142989872338795335976232956297284998744928934311456373428203426151421043044085544818144043287674957914775460628195967138941787741919435425564660143102282729707051953500334655622339141700649634003639221191406250",
"relative_width_bits_lower_bound": 388,
"mpfi_contained": true
}
],
"stored_hyperelliptic_intervals": [
{
"g": 2,
"profile": "2",
"ulp_endpoint_error": "0.24743110431032056821237127396501243647914714667891802648577865772315352121928145803224372716764099381452374306976343128985049454610433767946712789998306439629082130557438883479223749429242461569254218752912035887746582615707649765801?",
"contained": true
},
{
"g": 2,
"profile": "1,1",
"ulp_endpoint_error": "0.21993875938695161616123603435219368026364702365566863262685947038823395048478164844576746345143067208499758684048650179074314151648346839035747663003655608334812689881703291631663822735134255046278642775300885408421275663635987388338?",
"contained": true
},
{
"g": 3,
"profile": "4",
"ulp_endpoint_error": "0.44179488742807952665096189178536503112907739762602496469096374568456095625860248429824005255516160664519214061492085695936362467871722743960036942695043889217659131695484896699736667742628668967625378676740796125846681314082424631389?",
"contained": true
},
{
"g": 3,
"profile": "2,2",
"ulp_endpoint_error": "0.46972080883774544117358705727905409788369747935258593579717752813212681435439645961859910222277073295159633530013516332700212671125363346065588816623153517329051801227337555981012714438477380923614286703033753081112186608151430238517?",
"contained": true
},
{
"g": 4,
"profile": "6",
"ulp_endpoint_error": "0.085487709098767399151798229779590057715443896938600820151155722521980247933846572979406799063651808167084170887434641948430869766210194924393806638054617306161193830829983517588128307447363363141188791231444954933533053306440899432841?",
"contained": true
},
{
"g": 4,
"profile": "3,3",
"ulp_endpoint_error": "0.24263191933064104783167611876146615779456163578553620611987578605769790604777912188224367020556061898036883229115489173931705566478404171468613130971163099457267293196601636112366152544456768476308163148318813312596353206385091365075?",
"contained": true
}
],
"minimum_relative_width_bits_lower_bound": 388,
"argument_uncertainty": "Genus and number of zeros are exact integers; rational coefficients are exact. Both Arb and MPFI propagate the enclosure of pi through the power and rational multiplication.",
"scope": "Programs repair only; no stored values changed. Checks do not independently rederive the 19 nonhyperelliptic entries.",
"ok": true
}