back to table · edit · history · where entries came from · files · download
75480 bytes, as of the version from 2026-11-10 21:29 (current). Recorded here, not run.
{
"table": "T709",
"stage": "build",
"checked_entries": 30,
"total_entries": 30,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"rejected_controls": [
"wrong value",
"wide ball",
"NaN",
"omitted subtractive rho_N",
"omitted dual Gram scaling"
],
"direct_whole_residual_checked": [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30
],
"additional_series_checks": [
1,
2,
3,
4,
30
],
"coefficient_and_exterior_cancellation_checked": 30,
"generator_bits": 461,
"minimum_generator_accuracy_bits": 446,
"maximum_generator_radius": "2.3419406e-136",
"maximum_integral_radius": "9.4203940e-215",
"independent_bits": 720,
"tail_start": 16,
"last_power": 125,
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"python": "3.12.3"
},
"hashes": {
"generate.py": "82640af4de077bfd889b7dfc92244e45eda15d82fe429798e9a337aa8ba592c4",
"integral_kernel.py": "4cbfd7743dd255571f49f2facdf2906053cf9ec80fdac08db653d53314e6df2b",
"checks.py": "0a2b8eca2484a8b61e867ac7b9d2a1a90999b000097c94293934a8886f9e412c",
"skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
},
"rows": [
{
"N": 1,
"weights": [
0
],
"generator": "1",
"generator_endpoints": [
"1",
"1"
],
"integral": "[1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.99e-217]",
"integral_endpoints": [
"5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120573/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060289/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
],
"constant_pieces": 1,
"exterior_tail_exact": "0",
"series": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.08e-152]",
"series_endpoints": [
"5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951007399991080921929193884814779104069055478908131888585804245860303/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809445315847969866653056279152058847493036716453064642835559510915069/344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809441663382665538511073745187088876036706973599091474545756168257536"
]
},
{
"N": 2,
"weights": [
-2,
1
],
"generator": "[0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813124579985189794293142663144797642418694 +/- 5.30e-137]",
"generator_endpoints": [
"30653355015915700779777648579722382201617452618608726089056966253693397763673002508537846655394065683776056897562246130332948319713551885652442631/99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632",
"30653355015915700779777648579722382201617452618608726089056966253693397763673002508537846655394065683776056897562246130332948319713551887355888121/99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632"
],
"integral": "[0.306852819440054690582767878541823431924499865639744745879319990506606378030305284394136673003581312457998518979429314266314479764241869442967329248364924038069272429171628564809692961376108326528876649884635502044761 +/- 4.81e-217]",
"integral_endpoints": [
"846246723991881568559296897001676502751376032944446513164549702253241689822927142912867807224185631384487707222834244365874992143464065434568114881519974718388181470802527981532768247641388200061950124893980774788423/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"1692493447983763137118593794003353005502752065888893026329099404506483379645854285825735614448371262768975414445668488731749984286928130869136229763039949436776362941605055963065536495282776400123900249787961549576849/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
],
"constant_pieces": 2,
"exterior_tail_exact": "0",
"series": "[0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813124579985189794293142663144797642418694429673292483649 +/- 2.94e-152]",
"series_endpoints": [
"105780840498985196069912112125209562843922004118055814145568712781655211227865892864108475903023203923060963402854280545734374017933008179321014360189995001461390856592195582353812242582993337679117610280843680897569/344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809441663382665538511073745187088876036706973599091474545756168257536",
"105780840498985196069912112125209562843922004118055814145568712781655211227865892864108475903023203923060963402854280545734374017933008179321014360189998678135654511108436413029379819327353712189770810180317053671969/344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809441663382665538511073745187088876036706973599091474545756168257536"
]
},
{
"N": 3,
"weights": [
-3,
0,
1
],
"generator": "[0.3954002119219273831353072474526147559053112506357531414767050215372922729578820387719583372626466103812591951729778248097346491686551973 +/- 3.75e-137]",
"generator_endpoints": [
"9874720306895303334095248885485177592600101363026124484848172620715779353610133343989245677556536205319391049098355492505682968719587224254430703/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
"9874720306895303334095248885485177592600101363026124484848172620715779353610133343989245677556536205319391049098355492505682968719587225480184337/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
],
"integral": "[0.3954002119219273831353072474526147559053112506357531414767050215372922729578820387719583372626466103812591951729778248097346491686551972834005826561789793761272855309984087540016353928748618877719955680779908502531 +/- 4.50e-215]",
"integral_endpoints": [
"4361780147436368299285219006044331780487513377388846646847037885596329918930903417301460834989275927824346530480120058249330711199020418370979267028819948837371245977380054223798064507224997282778119120276104933334761/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"4361780147436368299285219006044331780487513377388846646847037885596329918930903417301460834989275927824346530480120058249330711199020418370979267028819948837371245977380054223798064507224997282778119120276104933335015/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 3,
"exterior_tail_exact": "0",
"series": "[0.39540021192192738313530724745261475590531125063575314147670502153729227295788203877195833726264661038125919517297782480973464916865519728340058265617898 +/- 4.21e-153]",
"series_endpoints": [
"2180890073718184149642609503022165890243756688694423323423518942798164959465451708650730417494637963912173265240060029124665355599510209185489633514409954680641685357511852251772740282266985632212832214270250218769189/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"2180890073718184149642609503022165890243756688694423323423518942798164959465451708650730417494637963912173265240060029124665355599510209185489633514409993898500661138542780140457019324556392326639385678704332445928229/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
]
},
{
"N": 4,
"weights": [
-2,
-1,
0,
1
],
"generator": "[0.2146018366025516903843391541801242789507076501562235447562638519230458984284477503429912936644707330044629783716794233382265388476123544 +/- 5.90e-137]",
"generator_endpoints": [
"5359463778473321431711911460507659429992300443761199202993680111497291521177668584237625738801382186038585442970325573388357932969083598558069475/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
"5359463778473321431711911460507659429992300443761199202993680111497291521177668584237625738801382186038585442970325573388357932969083599350005021/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
],
"integral": "[0.214601836602551690384339154180124278950707650156223544756263851923045898428447750342991293664470733004462978371679423338226538847612354442068660147967879720637428974324515369723610088844262761267404508892797256083517 +/- 7.08e-217]",
"integral_endpoints": [
"2367338211445414248520347508038998155159252909828959467900079842552572143475731399649227311263542015036067194496190781693828748018961371032462839661285030892810350666056370678371902741623522800136949798040025650439051/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"2367338211445414248520347508038998155159252909828959467900079842552572143475731399649227311263542015036067194496190781693828748018961371032462839661285030892810350666056370678371902741623522800136949798040025650439057/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 3,
"exterior_tail_exact": "0",
"series": "[0.21460183660255169038433915418012427895070765015622354475626385192304589842844775034299129366447073300446297837167942333822653884761235444206866014796788 +/- 2.97e-153]",
"series_endpoints": [
"2367338211445414248520347508038998155159252909828959467900079842552572143475731399649227311263542015036067194496190781693828748018961371032462839661285001285744517779075096636656784100807529025039260956374594973214319/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"2367338211445414248520347508038998155159252909828959467900079842552572143475731399649227311263542015036067194496190781693828748018961371032462839661285060112532834331049565344352800262927032636997463754069988688143983/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
]
},
{
"N": 5,
"weights": [
-3,
-1,
0,
0,
1
],
"generator": "[0.6025665082557023163715023529256703382188301867198476278379567396981561202374056190917080812627528116712413778057905937632936781649040206 +/- 5.88e-137]",
"generator_endpoints": [
"15048488988929664566911325882447324545061030945962267498730172027456389800839346062644054525951878777598873357426563452375233785968337056288955949/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
"15048488988929664566911325882447324545061030945962267498730172027456389800839346062644054525951878777598873357426563452375233785968337058294964691/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
],
"integral": "[0.6025665082557023163715023529256703382188301867198476278379567396981561202374056190917080812627528116712413778057905937632936781649040206140908142498535092572722032079374175112000133492977493689964553966362168659275 +/- 5.54e-215]",
"integral_endpoints": [
"1661773662465013397215109942691225914339070692537699776719916454276573753284912389716482538154238654551559882067989526019918530058620582280877328673651370528452890610406828338009765147198014430598945501422518044394807/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"1661773662465013397215109942691225914339070692537699776719916454276573753284912389716482538154238654551559882067989526019918530058620582280877328673651370528452890610406828338009765147198014430598945501422518044394955/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
],
"constant_pieces": 6,
"exterior_tail_exact": "0"
},
{
"N": 6,
"weights": [
-1,
-1,
-1,
0,
0,
1
],
"generator": "[0.0931003178828910747029608711789221338579668759536297122150575323059384094368230581579375058939699155718887927594667372146019737529827959 +/- 5.60e-137]",
"generator_endpoints": [
"2325086259078986075616484409055101165905759473879302123835631092572182075136137535502644104080836423339778849161906747176732550362227695335237187/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
"2325086259078986075616484409055101165905759473879302123835631092572182075136137535502644104080836423339778849161906747176732550362227696707312061/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
],
"integral": "[0.09310031788289107470296087117892213385796687595362971221505753230593840943682305815793750589396991557188879275946673721460197375298279592510087398426846906419092829649761313100245308931229283165799335211698627537960 +/- 5.88e-216]",
"integral_endpoints": [
"4108071832210260600796401206542335500492627827992630469493149728713183963888557223294125002160421215610939608675376626229396010429447580947543156169115426567736881399571605650814698977000737386326860350728234831526779/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608",
"4108071832210260600796401206542335500492627827992630469493149728713183963888557223294125002160421215610939608675376626229396010429447580947543156169115426567736881399571605650814698977000737386326860350728234831527289/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608"
],
"constant_pieces": 3,
"exterior_tail_exact": "0"
},
{
"N": 7,
"weights": [
-2,
-1,
-1,
0,
0,
0,
1
],
"generator": "[0.4131530124679475713408715768427346024188753776034464671411149790362076232773712207932620249971805286673834702297560669300380246826510953 +/- 6.75e-137]",
"generator_endpoints": [
"5159039270922001578484652059370097149344148951422616914682165430031723359736050462004522206368650875482422675488734871510403973733209617695405271/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"5159039270922001578484652059370097149344148951422616914682165430031723359736050462004522206368650875482422675488734871510403973733209619059804969/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.4131530124679475713408715768427346024188753776034464671411149790362076232773712207932620249971805286673834702297560669300380246826510953094746455349999949836761759172185464128997805287354322646556463822637095666474 +/- 4.83e-215]",
"integral_endpoints": [
"4557616696452477193069749591564349290859984840404790180168183215068523264808762102966717606706788272975154982447041089847562725049136412321507223184753728642968910345766506214708745474988932181429235642058380236354489/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"4557616696452477193069749591564349290859984840404790180168183215068523264808762102966717606706788272975154982447041089847562725049136412321507223184753728642968910345766506214708745474988932181429235642058380236355129/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 10,
"exterior_tail_exact": "0"
},
{
"N": 8,
"weights": [
-2,
-1,
0,
-1,
0,
0,
0,
1
],
"generator": "[0.3168886680428644201105251192167598484291774629427476836961049667973760386005450250094203822170121268621130169863709255310862996306026760 +/- 7.61e-137]",
"generator_endpoints": [
"3956986960297510794564118401090986486547481284008267836310337833793079194368390261537105809086862193038530976060070029492970912557046502716476107/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"3956986960297510794564118401090986486547481284008267836310337833793079194368390261537105809086862193038530976060070029492970912557046503419802933/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.316888668042864420110525119216759848429177462942747683696104966797376038600545025009420382217012126862113016986370925531086299630602676043781997373410658898196382518335195998028283991160746559309957116725324490324916 +/- 6.64e-217]",
"integral_endpoints": [
"436961924760499884759059246332930512632190669254480992501716671906882331983109341061938715209476157491561159724203654460728346518685986505841448508991701187784261102790371409550921383868561985694250205184279041450977/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
"436961924760499884759059246332930512632190669254480992501716671906882331983109341061938715209476157491561159724203654460728346518685986505841448508991701187784261102790371409550921383868561985694250205184279041450979/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
],
"constant_pieces": 6,
"exterior_tail_exact": "0"
},
{
"N": 9,
"weights": [
-2,
0,
-1,
-1,
0,
0,
0,
0,
1
],
"generator": "[0.2967885702019016055832268957129879545272320927671171134650258731271905893161563564071434315001836610391933626235418567871714047401872682 +/- 5.48e-137]",
"generator_endpoints": [
"463249644389071213509381585513533801602532602855049764695296876141991364433772247387176813800084439565472849539018220201488263265566456841900279/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
"463249644389071213509381585513533801602532602855049764695296876141991364433772247387176813800084439565472849539018220201488263265566457006780169/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
],
"integral": "[0.2967885702019016055832268957129879545272320927671171134650258731271905893161563564071434315001836610391933626235418567871714047401872681965592580880929031033982934836307407481407372599479441084555280137959830806685 +/- 3.63e-215]",
"integral_endpoints": [
"1636982548896921622306912324146317709400456694817921412728789719546190861610612734945160829245159486486425712995376686807567426693027772105804716163588502691218423056844043682911556106412089113426894109483980983484311/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"818491274448460811153456162073158854700228347408960706364394859773095430805306367472580414622579743243212856497688343403783713346513886052902358081794251345609211528422021841455778053206044556713447054741990491742259/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
],
"constant_pieces": 10,
"exterior_tail_exact": "0"
},
{
"N": 10,
"weights": [
0,
-1,
-1,
0,
-1,
0,
0,
0,
0,
1
],
"generator": "[0.0799873313803955120339976813340838039577025441932230596462261958810886667099393714379219172806786528927367727505213234116627881289765310 +/- 4.18e-137]",
"generator_endpoints": [
"1997602686243156507550321951930843073687306165090064674507901629490704468091280068682955195818675968221691142957881322760052266046043006412674605/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
"1997602686243156507550321951930843073687306165090064674507901629490704468091280068682955195818675968221691142957881322760052266046043008307669459/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
],
"integral": "[0.0799873313803955120339976813340838039577025441932230596462261958810886667099393714379219172806786528927367727505213234116627881289765310006915442612991130736648980561145287052721347017298060364655897910800139730060 +/- 1.51e-215]",
"integral_endpoints": [
"3529458442782136893162953736358273607916406827654815374004727976909488554816408221604627614489487672230017956255900538219524577550864229507997179437469994612470387837786474851295176704035763919174404674757480643131905/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608",
"3529458442782136893162953736358273607916406827654815374004727976909488554816408221604627614489487672230017956255900538219524577550864229507997179437469994612470387837786474851295176704035763919174404674757480643132839/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608"
],
"constant_pieces": 7,
"exterior_tail_exact": "0"
},
{
"N": 11,
"weights": [
-1,
-1,
-1,
0,
-1,
0,
0,
0,
0,
0,
1
],
"generator": "[0.2953602901135822171650022901205150866029143304226089121963457535488160825995976283938569052707677398542669578573943318438522683424598149 +/- 7.83e-137]",
"generator_endpoints": [
"3688162229931944715500551066530167060556513478571772531515238361688415157406023820858920683961413305625528547430906514579312731735661823684331533/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"3688162229931944715500551066530167060556513478571772531515238361688415157406023820858920683961413305625528547430906514579312731735661825636612083/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.2953602901135822171650022901205150866029143304226089121963457535488160825995976283938569052707677398542669578573943318438522683424598148929563330656938186490072101702657683051242564708310850789355175069879913075472 +/- 5.46e-215]",
"integral_endpoints": [
"3258209305190878562566240128187309606053405475272426259704894537451861714731430973267245028077614388634785986350499786648267691239517585337485959425705926608100963656466919112431091717081659259334738987971084866553609/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"3258209305190878562566240128187309606053405475272426259704894537451861714731430973267245028077614388634785986350499786648267691239517585337485959425705926608100963656466919112431091717081659259334738987971084866554303/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 18,
"exterior_tail_exact": "0"
},
{
"N": 12,
"weights": [
-2,
0,
0,
-1,
0,
-1,
0,
0,
0,
0,
0,
1
],
"generator": "[0.1728315614869692654273957964288311648455724670401818761913231762665747722588034717236198806838125102568256793051604726481592945258963039 +/- 5.63e-137]",
"generator_endpoints": [
"2158146706083182316039884393891550382886743423354502270261891972285063691244999804690597134197767199076986671998036941358564844458897215440544421/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"2158146706083182316039884393891550382886743423354502270261891972285063691244999804690597134197767199076986671998036941358564844458897216742890843/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.1728315614869692654273957964288311648455724670401818761913231762665747722588034717236198806838125102568256793051604726481592945258963038892460474099718440319513546225456338368822092560467333878590067742285843208809 +/- 1.66e-215]",
"integral_endpoints": [
"59579924578190768622324211146827482256248906124371300114517197466728781018497512871966268261021131188672285575994067215106720553649369763840994619422038759906884624149986641355145415717285195040943857570242709783685/344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809441663382665538511073745187088876036706973599091474545756168257536",
"119159849156381537244648422293654964512497812248742600229034394933457562036995025743932536522042262377344571151988134430213441107298739527681989238844077519813769248299973282710290831434570390081887715140485419567385/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072"
],
"constant_pieces": 6,
"exterior_tail_exact": "0"
},
{
"N": 13,
"weights": [
-3,
0,
0,
-1,
0,
-1,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.518905574986372597518914256137889081378091342705873947658124908945465465851959274982915465942743187318964181597353209052429072452670461 +/- 3.89e-136]",
"generator_endpoints": [
"1619892726464595056580698778299080534266648948726260253212184005247335491863828181720284799021279275102953874926136754473986159141440442295170673/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
"1619892726464595056580698778299080534266648948726260253212184005247335491863828181720284799021279275102953874926136754473986159141440442916358543/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
],
"integral": "[0.5189055749863725975189142561378890813780913427058739476581249089454654658519592749829154659427431873189641815973532090524290724526704606982542011214964421419091667431139287569373372893095682797109146151885460270499 +/- 8.63e-215]",
"integral_endpoints": [
"2862102709009823989554525259697832043926723102119362363990790983898802623708738725636532266612771391947768080432026660942974738885593764903429521389473670941083802406353555223884600662158016758119869842639853566069977/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"2862102709009823989554525259697832043926723102119362363990790983898802623708738725636532266612771391947768080432026660942974738885593764903429521389473670941083802406353555223884600662158016758119869842639853566070761/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
],
"constant_pieces": 20,
"exterior_tail_exact": "0"
},
{
"N": 14,
"weights": [
-1,
-1,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.2046804473503202263457814133029240187305718537765127868228078769278567545667740672914142062817979469872944600248959343958862877391923684 +/- 6.70e-137]",
"generator_endpoints": [
"1277921779587781879818052288368980874760572970159263561107749988826900683339536618065377057464792977422578222407005448504396335820727352045303481/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"1277921779587781879818052288368980874760572970159263561107749988826900683339536618065377057464792977422578222407005448504396335820727352767842631/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.2046804473503202263457814133029240187305718537765127868228078769278567545667740672914142062817979469872944600248959343958862877391923683859689010427907800634051837231404859568954729007717184820854357254070882822594 +/- 5.92e-215]",
"integral_endpoints": [
"4515784690562083664586513230404488865380032025893522243110133064334932552686570658712628338278741410213531884925304305314489396914593564081064966443655000971900137170245608902783977607665641598667906980054422584611919/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304",
"4515784690562083664586513230404488865380032025893522243110133064334932552686570658712628338278741410213531884925304305314489396914593564081064966443655000971900137170245608902783977607665641598667906980054422584612449/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304"
],
"constant_pieces": 10,
"exterior_tail_exact": "0"
},
{
"N": 15,
"weights": [
0,
0,
-1,
0,
-1,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.0975157596123917813391033998455836801205352753582956653237380088689984909601366883776651060937730732003846576726758132753133791897030013 +/- 8.44e-137]",
"generator_endpoints": [
"1217678724811787311608216858914774243208963073284588658973158177259941264593462250633199316280786431127499641464439426804985426951879705870228499/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"1217678724811787311608216858914774243208963073284588658973158177259941264593462250633199316280786431127499641464439426804985426951879707125851117/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.0975157596123917813391033998455836801205352753582956653237380088689984909601366883776651060937730732003846576726758132753133791897030012632289829202503280437727464499674104898118563916516294143382168799207457618154 +/- 6.61e-215]",
"integral_endpoints": [
"4302904161553584803935797500352572937668225311304870609138818856548620046059256238562615341233090596789327869931919123326298985070022523545624892448420195175997503371529347030277372335724318186081819820694270311372017/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608",
"4302904161553584803935797500352572937668225311304870609138818856548620046059256238562615341233090596789327869931919123326298985070022523545624892448420195175997503371529347030277372335724318186081819820694270311373503/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608"
],
"constant_pieces": 15,
"exterior_tail_exact": "0"
},
{
"N": 16,
"weights": [
0,
0,
-1,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.0790656849013823570496598094755236933608454510839481829581407652516702391796740676689906721889372132748018160668326836343565485915827295 +/- 9.35e-137]",
"generator_endpoints": [
"987292748882525633252239442166879256605682170165481812237095469554155091757463457871707923878794277685664190590081182839925309417707300518612409/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"987292748882525633252239442166879256605682170165481812237095469554155091757463457871707923878794277685664190590081182839925309417707301682033223/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.07906568490138235704965980947552369336084545108394818295814076525167023917967406766899067218893721327480181606683268363435654859158272954483082222931022106858893329168301971397074843460572600656067093254839816980822 +/- 8.81e-216]",
"integral_endpoints": [
"218049411930009112557229454700834494720455450546992559143499615160539703268566350856798722133800048656405092501490136651542555732347445612839191033445345304708918739556438535076610376501244044350057638230252098498285/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"872197647720036450228917818803337978881821802187970236573998460642158813074265403427194888535200194625620370005960546606170222929389782451356764133781381218835674958225754140306441506004976177400230552921008393993295/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 15,
"exterior_tail_exact": "0"
},
{
"N": 17,
"weights": [
-1,
0,
-1,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.225165045455966941007666647166272031333550580672806258201923977359419234185425486987164577578696451338910771276365449958369548716581006 +/- 2.02e-136]",
"generator_endpoints": [
"1405817308467998584162777316436357296311165505275932417988987369882992855979592936864649910742979490889356382141622993598784030083584113587204427/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"1405817308467998584162777316436357296311165505275932417988987369882992855979592936864649910742979490889356382141622993598784030083584114826202805/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.2251650454559669410076666471662720313335505806728062582019239773594192341854254869871645775786964513389107712763654499583695487165810060963900346307949829348670968342130437523321160756753233797230081303672106220762 +/- 4.91e-215]",
"integral_endpoints": [
"4967728370162663599105237636136780785100833336633842297123259841849248381389980876740044730717227971238668569640523338115669157105810983959090684423136789999652530578323470744977923145811196129500747231349257355828545/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304",
"4967728370162663599105237636136780785100833336633842297123259841849248381389980876740044730717227971238668569640523338115669157105810983959090684423136789999652530578323470744977923145811196129500747231349257355830083/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304"
],
"constant_pieces": 30,
"exterior_tail_exact": "0"
},
{
"N": 18,
"weights": [
-1,
-1,
0,
0,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.1378391482066703881745388265726169089386403975863611917898936791456917347351282291060893758055387290976165979427114240782971649254558804 +/- 9.08e-137]",
"generator_endpoints": [
"215149580545482242312684095462695976901931321874431674538948353373808532892801343915388571925843504760830992181848187182013080679119626218090319/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
"215149580545482242312684095462695976901931321874431674538948353373808532892801343915388571925843504760830992181848187182013080679119626409758897/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
],
"integral": "[0.1378391482066703881745388265726169089386403975863611917898936791456917347351282291060893758055387290976165979427114240782971649254558804229157024025709062712589238528539290319208846655943969714223521196148334047670 +/- 5.94e-215]",
"integral_endpoints": [
"760272809750171760614650651619602322889259892814359469373054465355764799907033606772990245656082086248360516391424154339229964092188142235315637284154401055153166501956556773893417179563124569039260151338606240695505/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"1520545619500343521229301303239204645778519785628718938746108930711529599814067213545980491312164172496721032782848308678459928184376284470631274568308802110306333003913113547786834359126249138078520302677212481391257/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 10,
"exterior_tail_exact": "0"
},
{
"N": 19,
"weights": [
-2,
-1,
0,
0,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.404944337620831197507255533430585965029424313243365268547471589376010135105891070971304082742794190376114839516461017977431683182885903 +/- 1.79e-136]",
"generator_endpoints": [
"2528268797852999010886375791195330837253660339724783762020989195717168729920886378298981885658339305118821674620991448094401231495322102619364755/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"2528268797852999010886375791195330837253660339724783762020989195717168729920886378298981885658339305118821674620991448094401231495322104338653805/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.4049443376208311975072555334305859650294243132433652685474715893760101351058910709713040827427941903761148395164610179774316831828859030318486819459452826428673184869133241342307708422436308537052961681493787684102 +/- 8.61e-215]",
"integral_endpoints": [
"1116766076114336404800668312748640012312024002477511284325453242778883219644180131609218576478689696730717370838987057293466987518456809012413073074405892172491574090238220060841225350537543769576000631522720493702919/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"2233532152228672809601336625497280024624048004955022568650906485557766439288360263218437152957379393461434741677974114586933975036913618024826146148811784344983148180476440121682450701075087539152001263045440987406759/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
],
"constant_pieces": 30,
"exterior_tail_exact": "0"
},
{
"N": 20,
"weights": [
-3,
0,
1,
-1,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.322231075063762280551227528122350860061726019529763313102993311273196736918440018193376629043359137941832498826476676298753257894983548 +/- 4.70e-136]",
"generator_endpoints": [
"2011848782894127146570753865037337664735471140489704827165799898159339528518160687866141816487292933879505390602648230677551901013167029071862483/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"2011848782894127146570753865037337664735471140489704827165799898159339528518160687866141816487292933879505390602648230677551901013167031100941613/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.3222310750637622805512275281223508600617260195297633131029933112731967369184400181933766290433591379418324988264766762987532578949835482918758321745892891049017289706019257756945617861176591097701855984074556287247 +/- 5.30e-215]",
"integral_endpoints": [
"3554629116834453537857252338666860042709617274679364854573259981945364321123300743504364437219457125523494071421445922748792890228289742320540395291754537069274220473529643308071480820974904282439942221746767069913289/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"3554629116834453537857252338666860042709617274679364854573259981945364321123300743504364437219457125523494071421445922748792890228289742320540395291754537069274220473529643308071480820974904282439942221746767069913975/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 12,
"exterior_tail_exact": "0"
},
{
"N": 21,
"weights": [
-2,
1,
0,
-1,
0,
0,
-1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.160955142526591671167197155997160626972567653203512594282796810742857094190476510824641373315453043520609854594786977702097175775948523 +/- 1.99e-136]",
"generator_endpoints": [
"1004922965696582921095190489611025262060078417167657988367456996845623957214954219420355369235235243578347559182559364513698958888242069812835073/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"1004922965696582921095190489611025262060078417167657988367456996845623957214954219420355369235235243578347559182559364513698958888242071827090687/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.1609551425265916711671971559971606269725676532035125942827968107428570941904765108246413733154530435206098545947869777020971757759485229545240106530930984534190043402651791280276807726523357036726130225424936678465 +/- 5.90e-215]",
"integral_endpoints": [
"3551090384538793075812349500098961470595040566471654997137353713680745556957444838986218122911135791319050159952089027594896788524659204418095237426739522259975511556537164771214560651140283189058416325590465816111213/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304",
"3551090384538793075812349500098961470595040566471654997137353713680745556957444838986218122911135791319050159952089027594896788524659204418095237426739522259975511556537164771214560651140283189058416325590465816112457/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304"
],
"constant_pieces": 26,
"exterior_tail_exact": "0"
},
{
"N": 22,
"weights": [
0,
0,
0,
-1,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.076411364680700976808407310380195607962891885055248234032653351983765860385373019377939744640770489618634713706825601223958629293258973 +/- 2.27e-136]",
"generator_endpoints": [
"954148267678579539854387273524857423227822648649970575378242981166847916507151670338433120690706912077083203523003488207323740233369234025975513/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"954148267678579539854387273524857423227822648649970575378242981166847916507151670338433120690706912077083203523003488207323740233369235592605991/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.0764113646807009768084073103801956079628918850552482340326533519837658603853730193779397446407704896186347137068256012239586292932589728324162739964210646555153257064753716756578858295485577097086478882358562449231 +/- 2.62e-215]",
"integral_endpoints": [
"105364629131954900958890685276509120556801191034526514938994692030609210555379908476887534802958640443411293189060275234333449647333962434376861628258324396234417301016312242957681222959507555506364184072345758975783/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
"421458516527819603835562741106036482227204764138106059755978768122436842221519633907550139211834561773645172756241100937333798589335849737507446513033297584937669204065248971830724891838030222025456736289383035903277/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
],
"constant_pieces": 19,
"exterior_tail_exact": "0"
},
{
"N": 23,
"weights": [
-1,
0,
0,
-1,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.192822565604842087421033687488423532924128923735726760827463529862738724071466119942723197697399187268792546048139972997962025831692486 +/- 2.27e-136]",
"generator_endpoints": [
"1203887129290252184303567251802855176991203962103610092577644488668340954082525283376227073689297936494189670837779061767816121398759455879231011/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"1203887129290252184303567251802855176991203962103610092577644488668340954082525283376227073689297936494189670837779061767816121398759457539328477/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.1928225656048420874210336874884235329241289237357267608274635298627387240714661199427231976973991872687925460481399729979620258316924858872874388023661489529197988684025051181254895947791121261330893863916091791731 +/- 6.36e-215]",
"integral_endpoints": [
"4254168881421914703365796459971821633349965860869387372927884550277265617604116242319740494078463113617229118313104041170579226328171567890372624802118998374385536720822789087738982494199108977103522589008755855002333/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304",
"4254168881421914703365796459971821633349965860869387372927884550277265617604116242319740494078463113617229118313104041170579226328171567890372624802118998374385536720822789087738982494199108977103522589008755855004029/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304"
],
"constant_pieces": 42,
"exterior_tail_exact": "0"
},
{
"N": 24,
"weights": [
-1,
0,
-1,
0,
0,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.116563012226170539608147361339773279596248823728063170991750614751218141082582564426511479684939343806879404273922345935150574363599167 +/- 1.06e-136]",
"generator_endpoints": [
"1455521657750052641617438485631477185540466412535229739911350814742349806732574615318408660228254419640734770730174068195665382620452776358878061/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
"1455521657750052641617438485631477185540466412535229739911350814742349806732574615318408660228254419640734770730174068195665382620452777864815763/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
],
"integral": "[0.1165630122261705396081473613397732795962488237280631709917506147512181410825825644265114796849393438068794042739223459351505743635991669479501498282524921627059312467654084744290130844404293957683684534696116178681 +/- 3.23e-215]",
"integral_endpoints": [
"321460521089631075681119989992680537755808219077620448306415723786768144827773483165834808689319462496229679190085350942506812804007579840255395180768188628793660957355967014922126230596279924092722983823535872303623/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"1285842084358524302724479959970722151023232876310481793225662895147072579311093932663339234757277849984918716760341403770027251216030319361021580723072754515174643829423868059688504922385119696370891935294143489214711/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 14,
"exterior_tail_exact": "0"
},
{
"N": 25,
"weights": [
-1,
0,
-1,
1,
-1,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.173117043864582135547117525521967590956180255906186982840481682691516909000108431999581432883826929844245944259774776974625978240099659 +/- 3.74e-136]",
"generator_endpoints": [
"540427880719249318981072747240774993035205882987819470637712275253133920127588419465929880656696221570883216466405996143840832035372910049295275/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
"540427880719249318981072747240774993035205882987819470637712275253133920127588419465929880656696221570883216466405996143840832035372911176385621/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
],
"integral": "[0.1731170438645821355471175255219675909561802559061869828404816826915169090001084319995814328838269298442459442597747769746259782400996591781453292711556485303985369836412187580220201177899892287464083737632372239337 +/- 7.91e-215]",
"integral_endpoints": [
"1909706829546416922294966011453793760568341385719794441145408023723387489275492684047908993335186399031843002915514609580835762259198406319940447647176256543838396162057670788113715906739347110670498512480051080769413/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"954853414773208461147483005726896880284170692859897220572704011861693744637746342023954496667593199515921501457757304790417881129599203159970223823588128271919198081028835394056857953369673555335249256240025540385073/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
],
"constant_pieces": 35,
"exterior_tail_exact": "0"
},
{
"N": 26,
"weights": [
1,
-1,
-1,
1,
-1,
0,
0,
-1,
0,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.100639131695305805688518735434513161408093183808632227989306371540405648616877287121099037352608022348286292419144352686045285126383053 +/- 2.94e-136]",
"generator_endpoints": [
"314170063474881124503421221621010943935744968457613676966824744161465036620184132631347233191736113040384778869727362891450830216427272786823763/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
"314170063474881124503421221621010943935744968457613676966824744161465036620184132631347233191736113040384778869727362891450830216427274025940397/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
],
"integral": "[0.1006391316953058056885187354345131614080931838086322279893063715404056486168772871210990373526080223482862924191443526860452851263830529000262860617289362142790573901645411994162600699624759136687310910340344496584 +/- 4.53e-215]",
"integral_endpoints": [
"4440723635934659254487404869287037782358319450489099457067507285634449213571289231594370711596172562105172677842218297445539422149296909624569280101467398063305421246050035547689401011561695238354426999908574193446257/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608",
"4440723635934659254487404869287037782358319450489099457067507285634449213571289231594370711596172562105172677842218297445539422149296909624569280101467398063305421246050035547689401011561695238354426999908574193447377/44125218104815898389829825659447310364864904872680898823178155169729591099393726561029280015550468702670279148410687446533176513529349858556664892007608532912981188929417439383947376132698492620683708741856789536964608"
],
"constant_pieces": 23,
"exterior_tail_exact": "0"
},
{
"N": 27,
"weights": [
1,
-1,
-1,
1,
-1,
0,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.143026232692562163971643137292527232870194969853936790867121021663449186851554986009759826009941143230156883161017374105371698794929226 +/- 3.13e-136]",
"generator_endpoints": [
"55811491820645463697245684305402458753583753224454701098841400554845317774725762042526070144364055214116318967877503192286634019453677484231489/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272",
"55811491820645463697245684305402458753583753224454701098841400554845317774725762042526070144364055214116318967877503192286634019453677666186431/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272"
],
"integral": "[0.1430262326925621639716431372925272328701949698539367908671210216634491868515549860097598260099411432301568831610173741053716987949292260799655047815538979700744960696982181462848433394476102989729976801681643117340 +/- 7.53e-215]",
"integral_endpoints": [
"788882964033681942098031468002095941950503418474807149197445858765668753938730631116690623506791988354280454360256239677463673196960286140371797035405229545957783456514797537381382870112731889793166855771792057159983/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"49305185252105121381126966750130996371906463654675446824840366172854297121170664444793163969174499272142528397516014979841479574810017883773237314712826846622361466032174846086336429382045743112072928485737003572523/344728266443874206170545512964432112225507069317819522056079337263512430464013488758041250121488036739611555846958495676040441511948045769973944468809441663382665538511073745187088876036706973599091474545756168257536"
],
"constant_pieces": 39,
"exterior_tail_exact": "0"
},
{
"N": 28,
"weights": [
0,
0,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.077899507898163390762517625426890366264299908690064569845010782272615725327869212399957252200327882413699517176440744861022388930201614 +/- 2.01e-136]",
"generator_endpoints": [
"486365351702841504200483597183201793066906987475247284772445772652977393457993640811651152022087388575523199919528491677081514388478042866291935/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
"486365351702841504200483597183201793066906987475247284772445772652977393457993640811651152022087388575523199919528491677081514388478043948739361/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
],
"integral": "[0.0778995078981633907625176254268903662642999086900645698450107822726157253278692123999572522003278824136995171764407448610223889302016138805349188541724412695240307742755869090942641318231986982990223552229937138863 +/- 2.10e-215]",
"integral_endpoints": [
"1718666388132144160743458193599921764004243586582026228417906598889211358472046307892425960046851802176495070320596055356136547063279267437947197778772440593393042139403863679154926017552932952816174147104793810118579/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304",
"1718666388132144160743458193599921764004243586582026228417906598889211358472046307892425960046851802176495070320596055356136547063279267437947197778772440593393042139403863679154926017552932952816174147104793810119265/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304"
],
"constant_pieces": 27,
"exterior_tail_exact": "0"
},
{
"N": 29,
"weights": [
-1,
0,
0,
0,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.173875192815515709240827491818337054066046951814686389577400748810916268844956794534380884135999980548740596033925301704286343498503933 +/- 4.43e-136]",
"generator_endpoints": [
"542794631107749792984455095670740404566841501193822786852139975340142391556494631794110295233795026847632564421831601193334956952059341799214319/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
"542794631107749792984455095670740404566841501193822786852139975340142391556494631794110295233795026847632564421831601193334956952059342800499473/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
],
"integral": "[0.1738751928155157092408274918183370540660469518146863895774007488109162688449567945343808841359999805487405960339253017042863434985039326962896012172268631815032680919312097196978614311456676703858584894761539727720 +/- 9.42e-215]",
"integral_endpoints": [
"959035100750193624417411384479605648204442466794385106191364209920960537700634516265099465336208677843462939808490748000977992129894948147779107181767531477209396927833904706845518828891206875672987557985387718684871/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
"1918070201500387248834822768959211296408884933588770212382728419841921075401269032530198930672417355686925879616981496001955984259789896295558214363535062954418793855667809413691037657782413751345975115970775437370717/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
],
"constant_pieces": 54,
"exterior_tail_exact": "0"
},
{
"N": 30,
"weights": [
-3,
0,
1,
-1,
1,
-1,
0,
0,
0,
-1,
0,
0,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1
],
"generator": "[0.204132880875033374733599216059552904213411509580653155740423575651738684201834547006165984641075755133702488384835161487517583765312705 +/- 3.87e-136]",
"generator_endpoints": [
"637251524943462573302275559148186193405344379765567032035880685367874327390202361477800535645451239126320156538532909914682047228821478174384215/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
"637251524943462573302275559148186193405344379765567032035880685367874327390202361477800535645451239126320156538532909914682047228821479636574121/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
],
"integral": "[0.2041328808750333747335992160595529042134115095806531557404235756517386842018345470061659846410757551337024883848351614875175837653127048186546525663689046426445422406081385392643464328951487853935651075855504436878 +/- 5.80e-215]",
"integral_endpoints": [
"562962993185953107326030728050285754747405864023383887897651414074787200307360622994117705028028849562750946620437970195679785190411447499656941325904356957409286172548795855865949540121561444279153945710397670375767/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
"562962993185953107326030728050285754747405864023383887897651414074787200307360622994117705028028849562750946620437970195679785190411447499656941325904356957409286172548795855865949540121561444279153945710397670375863/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
],
"constant_pieces": 12,
"exterior_tail_exact": "0",
"series": "[0.20413288087503337473359921605955290421341150958065315574042357565173868420183454700616598464107575513370248838483516148751758376531270481865465256636890 +/- 7.83e-153]",
"series_endpoints": [
"2251851972743812429304122912201143018989623456093535551590605656299148801229442491976470820112115398251003786481751880782719140761645789998627765303617392302903822048478120121143045061300448872145171103351980316527339/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152",
"2251851972743812429304122912201143018989623456093535551590605656299148801229442491976470820112115398251003786481751880782719140761645789998627765303617462895049880374619174903887812403211643302325215740029508574874347/11031304526203974597457456414861827591216226218170224705794538792432397774848431640257320003887617175667569787102671861633294128382337464639166223001902133228245297232354359845986844033174623155170927185464197384241152"
]
}
],
"checkpoint_file": "residual-checkpoints.jsonl",
"limitations": "Build evidence, not an independent actor verdict; shared Arb arithmetic, distinct formulas and weight implementations. No universal asymptotic conclusion."
}