back to table · edit · history · where entries came from · files · download
62744 bytes, as of the version from 2026-11-02 17:55 (current). Recorded here, not run.
{
"table": "T682",
"stage": "build",
"skill_manifest": "agents/runs/20261102T172655Z-build-skills/manifest.json",
"skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"entries": 98,
"working_bits": 461,
"minimum_accuracy_bits": 418,
"independent_method": "Bernoulli root pairs for k=2; LS section 5.1 cotangent/Hurwitz zeta for k=3 at 560 bits",
"quadrature_dps": 45,
"quadrature_tolerance": "1e-34",
"controls": "n=2 gamma-ratio moments, both k=2 and k=3",
"polynomial_identities_verified_for": [
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,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"results": [
{
"n": 2,
"k": 2,
"ball": "[0.822467033424113218236207583323012594609474950603399218867779114685003735201600436916814450309879352652002159481168595339814362343502503894 +/- 8.47e-139]",
"accuracy_bits": 458,
"radius": "5.6774969e-139",
"independent_ball": "[0.82246703342411321823620758332301259460947495060339921886777911468500373520160043691681445030987935265200215948116859533981436234350250389396755147316543313841586665468 +/- 4.34e-168]",
"quadrature": "0.8224670334241132182362075833230125946095",
"quadrature_absolute_difference": "0.0"
},
{
"n": 2,
"k": 3,
"ball": "[-1.80308535473939142809960724226717498614747943851074832268840733301275730867946963527968381041400288721929873669289107912773799399800992482 +/- 9.32e-139]",
"accuracy_bits": 459,
"radius": "5.0384071e-139",
"independent_ball": "[-1.80308535473939142809960724226717498614747943851074832268840733301275730867946963527968381041400288721929873669289107912773799399800992482066459525581185024218091267442 +/- 4.93e-168]",
"quadrature": "-1.803085354739391428099607242267174986147",
"quadrature_absolute_difference": "7.532e-45"
},
{
"n": 3,
"k": 2,
"ball": "[1.09662271123215095764827677776401679281263326747119895849037215291333831360213391588908593374650580353600287930822479378641914979133667186 +/- 2.69e-138]",
"accuracy_bits": 458,
"radius": "8.6896419e-139",
"independent_ball": "[1.09662271123215095764827677776401679281263326747119895849037215291333831360213391588908593374650580353600287930822479378641914979133667185862340196422057751788782220624 +/- 5.86e-168]",
"quadrature": "1.096622711232150957648276777764016792813",
"quadrature_absolute_difference": "0.0"
},
{
"n": 3,
"k": 3,
"ball": "[-1.8811676141858534623082911394955964413669279929370199221186020965394690538082128810578691253055201778857783543836633119062189662070 +/- 4.78e-131]",
"accuracy_bits": 434,
"radius": "1.1314754e-131",
"independent_ball": "[-1.8811676141858534623082911394955964413669279929370199221186020965394690538082128810578691253055201778857783543836633119062189662070363889377704297920118357076800689651 +/- 5.34e-167]",
"quadrature": "-1.881167614185853462308291139495596441367",
"quadrature_absolute_difference": "7.532e-45"
},
{
"n": 4,
"k": 2,
"ball": "[1.23370055013616982735431137498451889191421242590509882830166867202750560280240065537522167546481902897800323922175289300972154351525375584 +/- 1.58e-138]",
"accuracy_bits": 458,
"radius": "1.1595272e-138",
"independent_ball": "[1.23370055013616982735431137498451889191421242590509882830166867202750560280240065537522167546481902897800323922175289300972154351525375584095132720974814970762379998203 +/- 5.75e-168]",
"quadrature": "1.233700550136169827354311374984518891914",
"quadrature_absolute_difference": "0.0"
},
{
"n": 4,
"k": 3,
"ball": "[-1.7690268998332043421698041928693938780754615048947569754300810456857637577055236053131483873007187478223983582144894311860515307140 +/- 2.46e-131]",
"accuracy_bits": 435,
"radius": "8.5079052e-132",
"independent_ball": "[-1.7690268998332043421698041928693938780754615048947569754300810456857637577055236053131483873007187478223983582144894311860515307140160139683176421197780272023515139285 +/- 3.57e-167]",
"quadrature": "-1.769026899833204342169804192869393878075",
"quadrature_absolute_difference": "7.3568e-45"
},
{
"n": 5,
"k": 2,
"ball": "[1.31594725347858114917793213331682015137515992096543875018844658349600597632256069906690312049580696424320345516986975254370297974960400623 +/- 1.07e-138]",
"accuracy_bits": 458,
"radius": "9.7557827e-139",
"independent_ball": "[1.31594725347858114917793213331682015137515992096543875018844658349600597632256069906690312049580696424320345516986975254370297974960400623034808235706469302146538664749 +/- 5.29e-168]",
"quadrature": "1.315947253478581149177932133316820151375",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 5,
"k": 3,
"ball": "[-1.636661662059463025106561334235254201220583435750330854950094081904587602416547223555591783253590442561226241809340008398067434886 +/- 3.37e-130]",
"accuracy_bits": 431,
"radius": "1.2181161e-130",
"independent_ball": "[-1.6366616620594630251065613342352542012205834357503308549500940819045876024165472235555917832535904425612262418093400083980674348862143391284478847922952016264619794553 +/- 7.33e-167]",
"quadrature": "-1.636661662059463025106561334235254201221",
"quadrature_absolute_difference": "8.583e-45"
},
{
"n": 6,
"k": 2,
"ball": "[1.37077838904018869706034597220502099101579158433899869811296519114167289200266739486135741718313225442000359913528099223302393723917083982 +/- 3.95e-138]",
"accuracy_bits": 458,
"radius": "9.6491026e-139",
"independent_ball": "[1.37077838904018869706034597220502099101579158433899869811296519114167289200266739486135741718313225442000359913528099223302393723917083982327925245527572189735977775781 +/- 7.05e-168]",
"quadrature": "1.370778389040188697060345972205020991016",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 6,
"k": 3,
"ball": "[-1.514385940945442422234473750425135811642780510045585279513050609448685186301286073299197133175404420812117628558349650532415884835 +/- 4.32e-130]",
"accuracy_bits": 430,
"radius": "2.1066503e-130",
"independent_ball": "[-1.5143859409454424222344737504251358116427805100455852795130506094486851863012860732991971331754044208121176285583496505324158848347791396821997349820078420234505669455 +/- 9.03e-167]",
"quadrature": "-1.514385940945442422234473750425135811643",
"quadrature_absolute_difference": "8.9333e-45"
},
{
"n": 7,
"k": 2,
"ball": "[1.40994348586990837411921299998230730504481420103439866091619276803143497463131503471453905767407889026057513053914616343968176401743286382 +/- 3.43e-138]",
"accuracy_bits": 458,
"radius": "1.2771891e-138",
"independent_ball": "[1.40994348586990837411921299998230730504481420103439866091619276803143497463131503471453905767407889026057513053914616343968176401743286381823008823971217109442719997946 +/- 5.27e-168]",
"quadrature": "1.409943485869908374119212999982307305045",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 7,
"k": 3,
"ball": "[-1.407000564826077670207099186423549518713147161565369650860785473981062123127439511938717454666100294907866486039019919063829636629 +/- 5.03e-130]",
"accuracy_bits": 429,
"radius": "3.7385647e-130",
"independent_ball": "[-1.407000564826077670207099186423549518713147161565369650860785473981062123127439511938717454666100294907866486039019919063829636628871542965086446484980889732296538655 +/- 1.66e-166]",
"quadrature": "-1.407000564826077670207099186423549518713",
"quadrature_absolute_difference": "8.2326e-45"
},
{
"n": 8,
"k": 2,
"ball": "[1.43931730849219813191336327081527204056658116355594863301861345069875653660280076460442528804228886714100377909204504184467513410112938181 +/- 5.08e-138]",
"accuracy_bits": 457,
"radius": "1.4834071e-138",
"independent_ball": "[1.43931730849219813191336327081527204056658116355594863301861345069875653660280076460442528804228886714100377909204504184467513410112938181444321507803950799222776664570 +/- 6.58e-168]",
"quadrature": "1.439317308492198131913363270815272040567",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 8,
"k": 3,
"ball": "[-1.313655608403104359602386870931669826323378046957637012171598006058223308793829617751619765557457470027932589668010445411331016602 +/- 5.04e-130]",
"accuracy_bits": 431,
"radius": "1.7694516e-130",
"independent_ball": "[-1.313655608403104359602386870931669826323378046957637012171598006058223308793829617751619765557457470027932589668010445411331016601673182563033593896101782644370209163 +/- 3.13e-166]",
"quadrature": "-1.313655608403104359602386870931669826323",
"quadrature_absolute_difference": "8.2326e-45"
},
{
"n": 9,
"k": 2,
"ball": "[1.46216361497620127686436903701868905708351102329493194465382953721778441813617855451878124499534107138133717241096639171522553305511556248 +/- 3.25e-138]",
"accuracy_bits": 458,
"radius": "1.0466543e-138",
"independent_ball": "[1.46216361497620127686436903701868905708351102329493194465382953721778441813617855451878124499534107138133717241096639171522553305511556247816453595229410335718376294166 +/- 3.44e-168]",
"quadrature": "1.462163614976201276864369037018689057084",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 9,
"k": 3,
"ball": "[-1.23237398465188528321855681363598787333453907427996266193271636794436888278017757421088822985456770304579994369447070880833494835 +/- 1.61e-129]",
"accuracy_bits": 428,
"radius": "9.4756733e-130",
"independent_ball": "[-1.232373984651885283218556813635987873334539074279962661932716367944368882780177574210888229854567703045799943694470708808334948350659388161867234264705035941050836453 +/- 4.54e-166]",
"quadrature": "-1.232373984651885283218556813635987873335",
"quadrature_absolute_difference": "8.2326e-45"
},
{
"n": 10,
"k": 2,
"ball": "[1.48044066016340379282517364998142267029705491108611859396200240643300672336288078645026601055778283477360388706610347161166585221830450701 +/- 2.65e-138]",
"accuracy_bits": 457,
"radius": "1.4138256e-138",
"independent_ball": "[1.48044066016340379282517364998142267029705491108611859396200240643300672336288078645026601055778283477360388706610347161166585221830450700914159265169777964914855997843 +/- 2.93e-168]",
"quadrature": "1.480440660163403792825173649981422670297",
"quadrature_absolute_difference": "0.0"
},
{
"n": 10,
"k": 3,
"ball": "[-1.16119325393656804354008763284924077899021632273197397923146528061247994170942363768077278232327797586237920714840826424614991029 +/- 4.00e-129]",
"accuracy_bits": 428,
"radius": "1.4017515e-129",
"independent_ball": "[-1.161193253936568043540087632849240778990216322731973979231465280612479941709423637680772782323277975862379207148408264246149910292590070179217844168035889468508763051 +/- 5.13e-166]",
"quadrature": "-1.16119325393656804354008763284924077899",
"quadrature_absolute_difference": "8.583e-45"
},
{
"n": 11,
"k": 2,
"ball": "[1.49539460622566039679310469695093199019904536473345312521414384488182497309381897621238990965432609573091301723848835516329884062455000708 +/- 1.93e-138]",
"accuracy_bits": 457,
"radius": "1.3885232e-138",
"independent_ball": "[1.49539460622566039679310469695093199019904536473345312521414384488182497309381897621238990965432609573091301723848835516329884062455000707994100267848260570621066664488 +/- 3.75e-168]",
"quadrature": "1.495394606225660396793104696950931990199",
"quadrature_absolute_difference": "0.0"
},
{
"n": 11,
"k": 3,
"ball": "[-1.09843074785315847085842398311329794380423729476949986720447769993414057441643184912681067420178836176233740321874636734217072147 +/- 6.49e-129]",
"accuracy_bits": 427,
"radius": "2.0550455e-129",
"independent_ball": "[-1.098430747853158470858423983113297943804237294769499867204477699934140574416431849126810674201788361762337403218746367342170721465574888278169047976963846421046922631 +/- 3.71e-166]",
"quadrature": "-1.098430747853158470858423983113297943804",
"quadrature_absolute_difference": "9.4588e-45"
},
{
"n": 12,
"k": 2,
"ball": "[1.50785622794420756676638056942552309011737074277289856792426171025584018120293413434749315890144547986200395904880909145632633096308792381 +/- 6.16e-138]",
"accuracy_bits": 457,
"radius": "1.3674379e-138",
"independent_ball": "[1.50785622794420756676638056942552309011737074277289856792426171025584018120293413434749315890144547986200395904880909145632633096308792380560717770080329408709575553359 +/- 6.63e-168]",
"quadrature": "1.507856227944207566766380569425523090117",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 12,
"k": 3,
"ball": "[-1.04270656873100455702987774751816890435245522113362208814416684507754471570543536222433251280954534174771844120360221013707370116 +/- 5.10e-129]",
"accuracy_bits": 427,
"radius": "2.3646245e-129",
"independent_ball": "[-1.042706568731004557029877747518168904352455221133622088144166845077544715705435362224332512809545341747718441203602210137073701162727381242720071419459281469094442254 +/- 6.49e-166]",
"quadrature": "-1.042706568731004557029877747518168904352",
"quadrature_absolute_difference": "9.2836e-45"
},
{
"n": 13,
"k": 2,
"ball": "[1.51840067709067055674376784613479248235595375496012163483282298095692997267987772969258052364900803566523475596523432985811882278800462257 +/- 4.12e-138]",
"accuracy_bits": 457,
"radius": "1.3495964e-138",
"independent_ball": "[1.51840067709067055674376784613479248235595375496012163483282298095692997267987772969258052364900803566523475596523432985811882278800462257347855656584387656322929228557 +/- 3.61e-168]",
"quadrature": "1.518400677090670556743767846134792482356",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 13,
"k": 3,
"ball": "[-0.99290395259444224964935827942928061834281281836973453961955568529213916543078071632711206615495659865792090377204948437083618841 +/- 5.31e-129]",
"accuracy_bits": 425,
"radius": "3.8956420e-129",
"independent_ball": "[-0.992903952594442249649358279429280618342812818369734539619555685292139165430780716327112066154956598657920903772049484370836188408585789671452354927346802805779134725 +/- 2.68e-166]",
"quadrature": "-0.9929039525944422496493582794292806183428",
"quadrature_absolute_difference": "9.1084e-45"
},
{
"n": 14,
"k": 2,
"ball": "[1.52743877635906740529581408331416624713188205112059854932587549870072122251725795427408397914691879778228972475074167705965524435221893580 +/- 4.08e-138]",
"accuracy_bits": 457,
"radius": "1.5902229e-138",
"independent_ball": "[1.52743877635906740529581408331416624713188205112059854932587549870072122251725795427408397914691879778228972475074167705965524435221893580308259559302151868562946664441 +/- 3.71e-168]",
"quadrature": "1.527438776359067405295814083314166247132",
"quadrature_absolute_difference": "0.0"
},
{
"n": 14,
"k": 3,
"ball": "[-0.94811999255516260959886249191139140295541991366973664396889036958507264486359083273344958545292862279030915228351085364186839486 +/- 6.68e-129]",
"accuracy_bits": 425,
"radius": "3.6322472e-129",
"independent_ball": "[-0.948119992555162609598862491911391402955419913669736643968890369585072644863590832733449585452928622790309152283510853641868394856953210806147879928597918274860046782 +/- 5.80e-166]",
"quadrature": "-0.9481199925551626095988624919113914029554",
"quadrature_absolute_difference": "8.8457e-45"
},
{
"n": 15,
"k": 2,
"ball": "[1.53527179572501134070758748886962350993768657445967854188652101407867363904298748224472030724510812495040403103151471130098680970787134060 +/- 2.89e-138]",
"accuracy_bits": 457,
"radius": "1.5599080e-138",
"independent_ball": "[1.53527179572501134070758748886962350993768657445967854188652101407867363904298748224472030724510812495040403103151471130098680970787134060207276274990880852504295108874 +/- 4.39e-168]",
"quadrature": "1.535271795725011340707587488869623509938",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 15,
"k": 3,
"ball": "[-0.90762158957568263247657106526818689740646196758907033103975436255902608238747497418771673180406336984329971739204568898566016375 +/- 7.35e-129]",
"accuracy_bits": 424,
"radius": "6.1111481e-129",
"independent_ball": "[-0.907621589575682632476571065268186897406461967589070331039754362559026082387474974187716731804063369843299717392045688985660163748768473948521561592687521957447214533 +/- 6.69e-166]",
"quadrature": "-0.9076215895756826324765710652681868974065",
"quadrature_absolute_difference": "9.6339e-45"
},
{
"n": 16,
"k": 2,
"ball": "[1.54212568767021228419288921873064861489276553238137353537708584003438200350300081921902709433102378622250404902719111626215192939406719480 +/- 2.06e-138]",
"accuracy_bits": 457,
"radius": "1.5333824e-138",
"independent_ball": "[1.54212568767021228419288921873064861489276553238137353537708584003438200350300081921902709433102378622250404902719111626215192939406719480118915901218518713452974997753 +/- 2.96e-168]",
"quadrature": "1.542125687670212284192889218730648614893",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 16,
"k": 3,
"ball": "[-0.87080963693010086216438391459227031479472427314874597826838733345101997646286739934677791886224037727158889406027855526322151706 +/- 4.52e-129]",
"accuracy_bits": 425,
"radius": "3.8240801e-129",
"independent_ball": "[-0.870809636930100862164383914592270314794724273148745978268387333451019976462867399346777918862240377271588894060278555263221517060692758360045013771137086157288679477 +/- 4.34e-166]",
"quadrature": "-0.8708096369301008621643839145922703147947",
"quadrature_absolute_difference": "9.5463e-45"
},
{
"n": 17,
"k": 2,
"ball": "[1.54817323938656605785639074507861194279430578937110441198640774528941879567360082243165072999506701675670994725867029711023879970541647792 +/- 3.62e-138]",
"accuracy_bits": 458,
"radius": "1.0884638e-138",
"independent_ball": "[1.54817323938656605785639074507861194279430578937110441198640774528941879567360082243165072999506701675670994725867029711023879970541647791805656747889963884878280782058 +/- 2.49e-168]",
"quadrature": "1.548173239386566057856390745078611942794",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 17,
"k": 3,
"ball": "[-0.8371909008932983895321905326888102245818190308350117945207955133259695145589398083985417839123375260444691009268348720054667920 +/- 3.38e-128]",
"accuracy_bits": 424,
"radius": "9.0590646e-129",
"independent_ball": "[-0.837190900893298389532190532688810224581819030835011794520795513325969514558939808398541783912337526044469100926834872005466792024733805550911874423630598409266679983 +/- 3.11e-166]",
"quadrature": "-0.8371909008932983895321905326888102245818",
"quadrature_absolute_difference": "9.5463e-45"
},
{
"n": 18,
"k": 2,
"ball": "[1.55354884091221385666839210183235712315123046225086519119469388329389594426968971417620507280754988834267074568665179119742712887106028513 +/- 3.78e-138]",
"accuracy_bits": 457,
"radius": "1.4891732e-138",
"independent_ball": "[1.55354884091221385666839210183235712315123046225086519119469388329389594426968971417620507280754988834267074568665179119742712887106028513304981944931248481700774812551 +/- 4.93e-168]",
"quadrature": "1.553548840912213856668392101832357123151",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 18,
"k": 3,
"ball": "[-0.8063562144061197299071346765572768242913537525575619098379364349059937284154467214153822429978171258551419749175662278322680060 +/- 1.61e-128]",
"accuracy_bits": 424,
"radius": "9.9127644e-129",
"independent_ball": "[-0.806356214406119729907134676557276824291353752557561909837936434905993728415446721415382242997817125855141974917566227832268005993872338757020140082435812808321865669 +/- 4.29e-166]",
"quadrature": "-0.8063562144061197299071346765572768242914",
"quadrature_absolute_difference": "9.2836e-45"
},
{
"n": 19,
"k": 2,
"ball": "[1.55835858964568820297386699998044491610216306430117746732842358571895444564513766994764843216608719449853040743800365432806931812453106001 +/- 2.48e-138]",
"accuracy_bits": 457,
"radius": "1.4705588e-138",
"independent_ball": "[1.55835858964568820297386699998044491610216306430117746732842358571895444564513766994764843216608719449853040743800365432806931812453106000962272910705029436752479997729 +/- 6.74e-168]",
"quadrature": "1.558358589645688202973866999980444916102",
"quadrature_absolute_difference": "0.0"
},
{
"n": 19,
"k": 3,
"ball": "[-0.7779636026008816249269326112425753696005935153149224168799126731391481404460734130795590037878638761536014420044946750201584517 +/- 5.85e-128]",
"accuracy_bits": 423,
"radius": "1.2962938e-128",
"independent_ball": "[-0.777963602600881624926932611242575369600593515314922416879912673139148140446073413079559003787863876153601442004494675020158451745483712958676924297875996367608289848 +/- 9.20e-166]",
"quadrature": "-0.7779636026008816249269326112425753696006",
"quadrature_absolute_difference": "9.196e-45"
},
{
"n": 20,
"k": 2,
"ball": "[1.56268736350581511464879440831372392975800240614645851584878031790150709688304083014194745558877077003880410301422033114564728845265475740 +/- 3.69e-138]",
"accuracy_bits": 457,
"radius": "1.4538058e-138",
"independent_ball": "[1.56268736350581511464879440831372392975800240614645851584878031790150709688304083014194745558877077003880410301422033114564728845265475739853834779901432296299014664390 +/- 4.04e-168]",
"quadrature": "1.562687363505815114648794408313723929758",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 20,
"k": 3,
"ball": "[-0.7517251877301875851954610962410698391417245551383393238487928255236388045125508988049482227297939324743599024558091399079781610 +/- 3.58e-128]",
"accuracy_bits": 423,
"radius": "1.3760332e-128",
"independent_ball": "[-0.751725187730187585195461096241069839141724555138339323848792825523638804512550898804948222729793932474359902455809139907978160978035813436788217311997183836856566556 +/- 7.64e-166]",
"quadrature": "-0.7517251877301875851954610962410698391417",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 21,
"k": 2,
"ball": "[1.56660387318878708235468111109145256116090466781599851212910307559048330514590559412726561963786543362286125615460684826631307113048095980 +/- 3.42e-138]",
"accuracy_bits": 458,
"radius": "1.1027546e-138",
"independent_ball": "[1.56660387318878708235468111109145256116090466781599851212910307559048330514590559412726561963786543362286125615460684826631307113048095979803343137745796788269688886606 +/- 5.54e-168]",
"quadrature": "1.566603873188787082354681111091452561161",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 21,
"k": 3,
"ball": "[-0.7273969726701548365741256462514955379694921911780537312094931537282011305939624980502324471488089253006480685459454257212413643 +/- 4.54e-128]",
"accuracy_bits": 423,
"radius": "1.7608369e-128",
"independent_ball": "[-0.727396972670154836574125646251495537969492191178053731209493153728201130593962498050232447148808925300648068545945425721241364327715502139872447839364931290664760965 +/- 7.55e-166]",
"quadrature": "-0.7273969726701548365741256462514955379695",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 22,
"k": 2,
"ball": "[1.57016433653694341663275993179847858970899763297012578147485103712591622174850992502300940513704240051745866810041277292146378265577750743 +/- 4.71e-138]",
"accuracy_bits": 457,
"radius": "1.4248689e-138",
"independent_ball": "[1.57016433653694341663275993179847858970899763297012578147485103712591622174850992502300940513704240051745866810041277292146378265577750743393805281240673599152119997712 +/- 4.80e-168]",
"quadrature": "1.570164336536943416632759931798478589709",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 22,
"k": 3,
"ball": "[-0.7047708177315172552052242170350860573908012498151135002462377067288597732868608380025467882702687989661971480811689815636139751 +/- 3.71e-128]",
"accuracy_bits": 423,
"radius": "1.8982163e-128",
"independent_ball": "[-0.704770817731517255205224217035086057390801249815113500246237706728859773286860838002546788270268798966197148081168981563613975081923302204444148402950195180911958716 +/- 6.35e-166]",
"quadrature": "-0.7047708177315172552052242170350860573908",
"quadrature_absolute_difference": "9.7215e-45"
},
{
"n": 23,
"k": 2,
"ball": "[1.57341519437656441749535363766141539838334338376302459261662091504957236299436605323216677450585615289948239205093122586747095404843957267 +/- 5.17e-138]",
"accuracy_bits": 457,
"radius": "1.4122876e-138",
"independent_ball": "[1.57341519437656441749535363766141539838334338376302459261662091504957236299436605323216677450585615289948239205093122586747095404843957266672053325301213296044774490461 +/- 3.18e-168]",
"quadrature": "1.573415194376564417495353637661415398383",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 23,
"k": 3,
"ball": "[-0.6836680949795585612202285192415829283282051264596204812806980530182232284486463433558459744357836176619148864595380443423615552 +/- 4.17e-128]",
"accuracy_bits": 423,
"radius": "2.2496772e-128",
"independent_ball": "[-0.683668094979558561220228519241582928328205126459620481280698053018223228448646343355845974435783617661914886459538044342361555180848610775595060296321407877631364919 +/- 7.89e-166]",
"quadrature": "-0.6836680949795585612202285192415829283282",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 24,
"k": 2,
"ball": "[1.57639514739621700161939786803577413966816032198984850282990996981292382580306750409056102976060209258300413900557314106797752782504646580 +/- 5.25e-138]",
"accuracy_bits": 457,
"radius": "1.4007548e-138",
"independent_ball": "[1.57639514739621700161939786803577413966816032198984850282990996981292382580306750409056102976060209258300413900557314106797752782504646579677114032356708018196374442148 +/- 6.16e-168]",
"quadrature": "1.576395147396217001619397868035774139668",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 24,
"k": 3,
"ball": "[-0.6639346327405529109488427668482213494579098484417474114789154531996307614769579333192073460677380082788087025048576976372875770 +/- 5.49e-128]",
"accuracy_bits": 423,
"radius": "2.0442093e-128",
"independent_ball": "[-0.66393463274055291094884276684822134945790984844174741147891545319963076147695793331920734606773800827880870250485769763728757696562972183133157845683094516110999480 +/- 4.05e-165]",
"quadrature": "-0.6639346327405529109488427668482213494579",
"quadrature_absolute_difference": "9.3712e-45"
},
{
"n": 25,
"k": 2,
"ball": "[1.57913670417429737901351855998018418165019190515852650022613590019520717158707283888028374459496835709184414620384370305244357569952480748 +/- 5.62e-138]",
"accuracy_bits": 457,
"radius": "1.3901445e-138",
"independent_ball": "[1.57913670417429737901351855998018418165019190515852650022613590019520717158707283888028374459496835709184414620384370305244357569952480747641769882847763162575846397699 +/- 4.11e-168]",
"quadrature": "1.57913670417429737901351855998018418165",
"quadrature_absolute_difference": "0.0"
},
{
"n": 25,
"k": 3,
"ball": "[-0.6454366588672624372202748034081387103647998395905792536818374000537419846384945578028130844148833641025569054210982929785153067 +/- 4.50e-128]",
"accuracy_bits": 422,
"radius": "3.0952101e-128",
"independent_ball": "[-0.64543665886726243722027480340813871036479983959057925368183740005374198463849455780281308441488336410255690542109829297851530668598590087478137941441249787992948577 +/- 2.31e-165]",
"quadrature": "-0.6454366588672624372202748034081387103648",
"quadrature_absolute_difference": "9.8967e-45"
},
{
"n": 26,
"k": 2,
"ball": "[1.58166737196944849660809150639040883578745182808346003628419060516346872154153930176310471213438337048461953746378576026887377373750481518 +/- 1.49e-138]",
"accuracy_bits": 457,
"radius": "1.3803505e-138",
"independent_ball": "[1.58166737196944849660809150639040883578745182808346003628419060516346872154153930176310471213438337048461953746378576026887377373750481518070682975608737142003051279747 +/- 4.38e-168]",
"quadrature": "1.581667371969448496608091506390408835787",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 26,
"k": 3,
"ball": "[-0.6280575225245866443583858836349183358804958303155052431380799922222957257845323512428667107904980225679745237150080108089957873 +/- 3.41e-128]",
"accuracy_bits": 422,
"radius": "3.3334518e-128",
"independent_ball": "[-0.628057522524586644358385883634918335880495830315505243138079992222295725784532351242866710790498022567974523715008010808995787300735740437773871699838570463269061972 +/- 8.53e-166]",
"quadrature": "-0.6280575225245866443583858836349183358805",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 27,
"k": 2,
"ball": "[1.58401058289088471660306645677024647850713694190284294004164866531926645298086010072867968207828616066311527011188025769149432747637519268 +/- 5.87e-138]",
"accuracy_bits": 457,
"radius": "1.6366795e-138",
"independent_ball": "[1.58401058289088471660306645677024647850713694190284294004164866531926645298086010072867968207828616066311527011188025769149432747637519268467824728165194530361574318680 +/- 5.29e-168]",
"quadrature": "1.584010582890884716603066456770246478507",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 27,
"k": 3,
"ball": "[-0.6116950271039239243490478066791329798057500683297472994725349819128397192788328311950447752225476835055883606090045689719221292 +/- 5.63e-128]",
"accuracy_bits": 422,
"radius": "3.6141348e-128",
"independent_ball": "[-0.61169502710392392434904780667913297980575006832974729947253498191283971927883283119504477522254768350558836060900456897192212922005842895041559303101695998030488965 +/- 4.27e-165]",
"quadrature": "-0.6116950271039239243490478066791329798058",
"quadrature_absolute_difference": "9.4588e-45"
},
{
"n": 28,
"k": 2,
"ball": "[1.58618642160364692088411462498009571817541597616369849353071686403536434646022941405385643988333875154314702185653943386964198451961197179 +/- 6.25e-138]",
"accuracy_bits": 457,
"radius": "1.6187802e-138",
"independent_ball": "[1.58618642160364692088411462498009571817541597616369849353071686403536434646022941405385643988333875154314702185653943386964198451961197179550884926967619248123059997689 +/- 3.62e-168]",
"quadrature": "1.586186421603646920884114624980095718175",
"quadrature_absolute_difference": "0.0"
},
{
"n": 28,
"k": 3,
"ball": "[-0.5962592462258359618423698886417711421058511888774987914489477467204938062656289508136035410892765263572267926545368816639926936 +/- 5.11e-128]",
"accuracy_bits": 422,
"radius": "3.5251294e-128",
"independent_ball": "[-0.59625924622583596184236988864177114210585118887749879144894774672049380626562895081360354108927652635722679265453688166399269358420056814218426060153537282706070811 +/- 4.39e-165]",
"quadrature": "-0.5962592462258359618423698886417711421059",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 29,
"k": 2,
"ball": "[1.58821220247414966280095257469271397579760680116518469850329760077104169556171118852902100749493943960386623899811866686308980314607380062 +/- 3.61e-138]",
"accuracy_bits": 457,
"radius": "1.6021154e-138",
"independent_ball": "[1.58821220247414966280095257469271397579760680116518469850329760077104169556171118852902100749493943960386623899811866686308980314607380062283389249990566399142374250560 +/- 7.35e-168]",
"quadrature": "1.588212202474149662800952574692713975798",
"quadrature_absolute_difference": "0.0"
},
{
"n": 29,
"k": 3,
"ball": "[-0.5816707242319395611672470887348338446064175596901604612763422682278851996153410948372473386998483777236834776687254771693494448 +/- 6.29e-128]",
"accuracy_bits": 421,
"radius": "4.7271593e-128",
"independent_ball": "[-0.58167072423193956116724708873483384460641755969016046127634226822788519961534109483724733869984837772368347766872547716934944478446743774757866217095348408865682550 +/- 3.08e-165]",
"quadrature": "-0.5816707242319395611672470887348338446064",
"quadrature_absolute_difference": "9.2836e-45"
},
{
"n": 30,
"k": 2,
"ball": "[1.59010293128661888859000132775782434957831823783323848981103962172434055472309417803917460393243341512720417499692595099030776719743817419 +/- 6.14e-138]",
"accuracy_bits": 457,
"radius": "1.5865615e-138",
"independent_ball": "[1.59010293128661888859000132775782434957831823783323848981103962172434055472309417803917460393243341512720417499692595099030776719743817419500393284811983740093734219905 +/- 6.01e-168]",
"quadrature": "1.590102931286618888590001327757824349578",
"quadrature_absolute_difference": "0.0"
},
{
"n": 30,
"k": 3,
"ball": "[-0.5678589847209303087722209748362546270182449863215237567491874525780373541838581681143279433681837869984297852816867203964570158 +/- 9.04e-128]",
"accuracy_bits": 421,
"radius": "5.3563055e-128",
"independent_ball": "[-0.56785898472093030877222097483625462701824498632152375674918745257803735418385816811432794336818378699842978528168672039645701583681935126940404982735937304419740425 +/- 2.89e-165]",
"quadrature": "-0.5678589847209303087722209748362546270182",
"quadrature_absolute_difference": "1.0072e-44"
},
{
"n": 31,
"k": 2,
"ball": "[1.59187167759505784174749854836712115085704829149045010103441118971291045522890407145189893608363745674581063125387470065770521743903710431 +/- 1.85e-138]",
"accuracy_bits": 457,
"radius": "1.5720111e-138",
"independent_ball": "[1.59187167759505784174749854836712115085704829149045010103441118971291045522890407145189893608363745674581063125387470065770521743903710431090493833515890284854683868648 +/- 6.01e-168]",
"quadrature": "1.591871677595057841747498548367121150857",
"quadrature_absolute_difference": "0.0"
},
{
"n": 31,
"k": 3,
"ball": "[-0.554761287458738255797862939509851576955095465802416856712825398392951592380739844963616992926104020601948364658986892910473910 +/- 4.03e-127]",
"accuracy_bits": 421,
"radius": "5.7940080e-128",
"independent_ball": "[-0.55476128745873825579786293950985157695509546580241685671282539839295159238073984496361699292610402060194836465898689291047390965561518610881439554537709423726873705 +/- 1.66e-165]",
"quadrature": "-0.5547612874587382557978629395098515769551",
"quadrature_absolute_difference": "9.8967e-45"
},
{
"n": 32,
"k": 2,
"ball": "[1.59352987725921936033265219268833690205585771679408598655632203470219473695310084652632799747539124576325418399476415347089032704053610129 +/- 5.21e-138]",
"accuracy_bits": 458,
"radius": "1.2224763e-138",
"independent_ball": "[1.59352987725921936033265219268833690205585771679408598655632203470219473695310084652632799747539124576325418399476415347089032704053610129456213097925802670568074164345 +/- 3.41e-168]",
"quadrature": "1.593529877259219360332652192688336902056",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 32,
"k": 3,
"ball": "[-0.5423215867778309488726545687541605253075112785297470667660137737680580929223022227698543850901066070470954615224344062377560133 +/- 8.14e-128]",
"accuracy_bits": 422,
"radius": "4.3998553e-128",
"independent_ball": "[-0.542321586777830948872654568754160525307511278529747066766013773768058092922302222769854385090106607047095461522434406237756013262645039489935460510655125067303933593 +/- 8.89e-166]",
"quadrature": "-0.5423215867778309488726545687541605253075",
"quadrature_absolute_difference": "1.0072e-44"
},
{
"n": 33,
"k": 2,
"ball": "[1.59508757997403775657931167674766078954564838904901666689508676787394663796674024129321590363128116877964055172105424550751876333285334088 +/- 5.90e-138]",
"accuracy_bits": 458,
"radius": "1.1112689e-138",
"independent_ball": "[1.59508757997403775657931167674766078954564838904901666689508676787394663796674024129321590363128116877964055172105424550751876333285334088527040285704811275329137775454 +/- 5.22e-168]",
"quadrature": "1.595087579974037756579311676747660789546",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 33,
"k": 3,
"ball": "[-0.530489654388843867363010261191034826857498436212696360916448568534441904403126728335796420648907893858626814933918905579195069 +/- 4.09e-127]",
"accuracy_bits": 421,
"radius": "7.1753733e-128",
"independent_ball": "[-0.53048965438884386736301026119103482685749843621269636091644856853444190440312672833579642064890789385862681493391890557919506866321065655457508793661952395217670284 +/- 1.20e-165]",
"quadrature": "-0.5304896543888438673630102611910348268575",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 34,
"k": 2,
"ball": "[1.59655365311739624716440295586231856600662784528895142486098298732971313303840084813263981530741286103035713311050374389493376219621074285 +/- 4.00e-138]",
"accuracy_bits": 457,
"radius": "1.5334954e-138",
"independent_ball": "[1.59655365311739624716440295586231856600662784528895142486098298732971313303840084813263981530741286103035713311050374389493376219621074285299583521261525256280727056497 +/- 5.74e-168]",
"quadrature": "1.596553653117396247164402955862318566007",
"quadrature_absolute_difference": "0.0"
},
{
"n": 34,
"k": 3,
"ball": "[-0.519220337101333493878975012352420188216050636417774928154191066103603085571470652787416312243207219148303060029619447158625748 +/- 4.11e-127]",
"accuracy_bits": 421,
"radius": "7.7793238e-128",
"independent_ball": "[-0.519220337101333493878975012352420188216050636417774928154191066103603085571470652787416312243207219148303060029619447158625748333038184895883469847280114110797240713 +/- 9.22e-166]",
"quadrature": "-0.5192203371013334938789750123524201882161",
"quadrature_absolute_difference": "9.8091e-45"
},
{
"n": 35,
"k": 2,
"ball": "[1.59793595065256282400177473331328161238412276117231848237168513710229297124882370600981093203062274229531848127769898523163933255309057899 +/- 4.92e-138]",
"accuracy_bits": 457,
"radius": "1.5221241e-138",
"independent_ball": "[1.59793595065256282400177473331328161238412276117231848237168513710229297124882370600981093203062274229531848127769898523163933255309057899399410000500712724035082664338 +/- 6.69e-168]",
"quadrature": "1.597935950652562824001774733313281612384",
"quadrature_absolute_difference": "0.0"
},
{
"n": 35,
"k": 3,
"ball": "[-0.508472925836116705427205870493016675377756425345389042488087119273602720522460857951192687803948204738532869267059152731983566 +/- 2.05e-127]",
"accuracy_bits": 421,
"radius": "8.1354836e-128",
"independent_ball": "[-0.50847292583611670542720587049301667537775642534538904248808711927360272052246085795119268780394820473853286926705915273198356612331470478614007429941430088934846982 +/- 2.40e-165]",
"quadrature": "-0.5084729258361167054272058704930166753778",
"quadrature_absolute_difference": "9.9843e-45"
},
{
"n": 36,
"k": 2,
"ball": "[1.59924145388022014657040363423919115618509018172883181446512605633195170733644529400491698671365429682333753232449449093852792677903264646 +/- 1.82e-138]",
"accuracy_bits": 457,
"radius": "1.5113845e-138",
"independent_ball": "[1.59924145388022014657040363423919115618509018172883181446512605633195170733644529400491698671365429682333753232449449093852792677903264646049246119782167554691974071744 +/- 3.02e-168]",
"quadrature": "1.599241453880220146570403634239191156185",
"quadrature_absolute_difference": "0.0"
},
{
"n": 36,
"k": 3,
"ball": "[-0.498210616914168610252755812831799815434506443541536806145599967840776298150250907582812897134460079240626813613686014658591531 +/- 2.66e-127]",
"accuracy_bits": 420,
"radius": "8.7450709e-128",
"independent_ball": "[-0.49821061691416861025275581283179981543450644354153680614559996784077629815025090758281289713446007924062681361368601465859153082232269133036973286233463495851057040 +/- 3.30e-165]",
"quadrature": "-0.4982106169141686102527558128317998154345",
"quadrature_absolute_difference": "9.7653e-45"
},
{
"n": 37,
"k": 2,
"ball": "[1.60047638936584193818937691889883531924005936333634442590486746641406132255446571508136866006246792948497717520659834768828740780357244001 +/- 2.20e-138]",
"accuracy_bits": 457,
"radius": "1.5012254e-138",
"independent_ball": "[1.60047638936584193818937691889883531924005936333634442590486746641406132255446571508136866006246792948497717520659834768828740780357244000988280286670030232340384862533 +/- 3.05e-168]",
"quadrature": "1.60047638936584193818937691889883531924",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 37,
"k": 3,
"ball": "[-0.488400050227959431111249910318031859003020304415176296725917187747856362458149553707062813305426080528897762376982859088375404 +/- 3.63e-127]",
"accuracy_bits": 419,
"radius": "1.0286474e-127",
"independent_ball": "[-0.48840005022795943111124991031803185900302030441517629672591718774785636245814955370706281330542608052889776237698285908837540425992058030037921550576080495986060505 +/- 1.76e-165]",
"quadrature": "-0.488400050227959431111249910318031859003",
"quadrature_absolute_difference": "1.0203e-44"
},
{
"n": 38,
"k": 2,
"ball": "[1.60164632824695731972314108331323505266055648275398795253199090754448095802416927189063866639292294990126736320017042250384902140576803390 +/- 3.44e-138]",
"accuracy_bits": 457,
"radius": "1.4916011e-138",
"independent_ball": "[1.60164632824695731972314108331323505266055648275398795253199090754448095802416927189063866639292294990126736320017042250384902140576803389877891602669058032217826664333 +/- 2.97e-168]",
"quadrature": "1.601646328246957319723141083313235052661",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 38,
"k": 3,
"ball": "[-0.479010911766452987634049680746247942653984714173532114856326647587053817367021911695536181542318023558490084544649048357063361 +/- 3.56e-127]",
"accuracy_bits": 419,
"radius": "1.0813499e-127",
"independent_ball": "[-0.47901091176645298763404968074624794265398471417353211485632664758705381736702191169553618154231802355849008454464904835706336075282506331732353712765393488626332099 +/- 3.14e-165]",
"quadrature": "-0.479010911766452987634049680746247942654",
"quadrature_absolute_difference": "9.5463e-45"
},
{
"n": 39,
"k": 2,
"ball": "[1.60275627026237447656286605980894762026461785245790617010131314656564830449542649245327944162950848209108113129663623707245875738733821272 +/- 5.60e-138]",
"accuracy_bits": 457,
"radius": "1.4824702e-138",
"independent_ball": "[1.60275627026237447656286605980894762026461785245790617010131314656564830449542649245327944162950848209108113129663623707245875738733821271644958748616853637229758630143 +/- 6.51e-168]",
"quadrature": "1.602756270262374476562866059808947620265",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 39,
"k": 3,
"ball": "[-0.470015590245228712219903182936801938828321083362289052230459945779535600448713981737160974528465440966734600488766595125448716 +/- 3.52e-127]",
"accuracy_bits": 419,
"radius": "1.1683858e-127",
"independent_ball": "[-0.47001559024522871221990318293680193882832108336228905223045994577953560044871398173716097452846544096673460048876659512544871623435277832997414178743343915311098659 +/- 1.38e-165]",
"quadrature": "-0.4700155902452287122199031829368019388283",
"quadrature_absolute_difference": "9.5026e-45"
},
{
"n": 40,
"k": 2,
"ball": "[1.60381071517702077556060478747987455948847615367662847679216927363575728364312085198778817810426473767140421098827876091263800656982988259 +/- 4.08e-138]",
"accuracy_bits": 457,
"radius": "1.4737960e-138",
"independent_ball": "[1.60381071517702077556060478747987455948847615367662847679216927363575728364312085198778817810426473767140421098827876091263800656982988259323672537267259461991093997663 +/- 4.44e-168]",
"quadrature": "1.603810715177020775560604787479874559488",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 40,
"k": 3,
"ball": "[-0.461388879417665421921402344374154248597206773222774704506824587787906486383716433169212739706614490589021297672126708692769821 +/- 4.27e-127]",
"accuracy_bits": 419,
"radius": "1.1387972e-127",
"independent_ball": "[-0.46138887941766542192140234437415424859720677322277470450682458778790648638371643316921273970661449058902129767212670869276982131223051412778343634864928175137106886 +/- 3.59e-165]",
"quadrature": "-0.4613888794176654219214023443741542485972",
"quadrature_absolute_difference": "1.051e-44"
},
{
"n": 41,
"k": 2,
"ball": "[1.60481372375436725509503918697173189192092673288468140266883729694634875161287890130110136645830117590634567703642652749232070701171220272 +/- 1.94e-138]",
"accuracy_bits": 457,
"radius": "1.4655448e-138",
"independent_ball": "[1.60481372375436725509503918697173189192092673288468140266883729694634875161287890130110136645830117590634567703642652749232070701171220271993668580129840612373827639938 +/- 4.08e-168]",
"quadrature": "1.604813723754367255095039186971731891921",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 41,
"k": 3,
"ball": "[-0.453107719110562729634972958238034363784656524192338258152196990353290627738238696687736674624663535913447060105732795368620532 +/- 6.18e-127]",
"accuracy_bits": 419,
"radius": "1.4143342e-127",
"independent_ball": "[-0.45310771911056272963497295823803436378465652419233825815219699035329062773823869668773667462466353591344706010573279536862053152399730455977962242209507516263314753 +/- 1.67e-165]",
"quadrature": "-0.4531077191105627296349729582380343637847",
"quadrature_absolute_difference": "1.0159e-44"
},
{
"n": 42,
"k": 2,
"ball": "[1.60576897001850675941354813886873887518992728451139847493233065248024538777455323398044726012881206946343278755847201947297089790874298379 +/- 3.69e-138]",
"accuracy_bits": 457,
"radius": "1.4576866e-138",
"independent_ball": "[1.60576897001850675941354813886873887518992728451139847493233065248024538777455323398044726012881206946343278755847201947297089790874298379298426716189441707976431108771 +/- 6.85e-168]",
"quadrature": "1.60576897001850675941354813886873887519",
"quadrature_absolute_difference": "3.5032e-46"
},
{
"n": 42,
"k": 3,
"ball": "[-0.445150969213772762761328320023448824588781110701053944301923829351091173499994561792978354188935636339965272260010937925867068 +/- 5.64e-127]",
"accuracy_bits": 419,
"radius": "1.4747225e-127",
"independent_ball": "[-0.44515096921377276276132832002344882458878111070105394430192382935109117349999456179297835418893563633996527226001093792586706758346470083644134030054755524394789909 +/- 2.34e-165]",
"quadrature": "-0.4451509692137727627613283200234488245888",
"quadrature_absolute_difference": "9.9405e-45"
},
{
"n": 43,
"k": 2,
"ball": "[1.60667978622384907748468458137518739412083478722524498569519641008233287806824271397703287967511315401786468363763167461731177760126070528 +/- 2.07e-138]",
"accuracy_bits": 457,
"radius": "1.4501939e-138",
"independent_ball": "[1.60667978622384907748468458137518739412083478722524498569519641008233287806824271397703287967511315401786468363763167461731177760126070528123893776153247403783564648822 +/- 4.32e-168]",
"quadrature": "1.606679786223849077484684581375187394121",
"quadrature_absolute_difference": "5.2549e-46"
},
{
"n": 43,
"k": 3,
"ball": "[-0.437499211816898220466862446100442124855850631136474065699341638937264872138905778058418319338921326761741128304267038445062107 +/- 4.47e-127]",
"accuracy_bits": 419,
"radius": "1.6386254e-127",
"independent_ball": "[-0.43749921181689822046686244610044212485585063113647406569934163893726487213890577805841831933892132676174112830426703844506210728289354837082693357625139275736141495 +/- 4.79e-165]",
"quadrature": "-0.4374992118168982204668624461004421248559",
"quadrature_absolute_difference": "9.6777e-45"
},
{
"n": 44,
"k": 2,
"ball": "[1.60754920169258492655258754922225188946397376708846210960520463324796184607585539942831915287840055291073149353137498180054625367139125761 +/- 1.98e-138]",
"accuracy_bits": 457,
"radius": "1.4430417e-138",
"independent_ball": "[1.60754920169258492655258754922225188946397376708846210960520463324796184607585539942831915287840055291073149353137498180054625367139125761093657787936880113417646664324 +/- 7.27e-168]",
"quadrature": "1.607549201692584926552587549222251889464",
"quadrature_absolute_difference": "0.0"
},
{
"n": 44,
"k": 3,
"ball": "[-0.430134577472325377715913881187529286730131862263170849758663527281119091312639197716340077326548157054733165257566269320444370 +/- 2.92e-127]",
"accuracy_bits": 419,
"radius": "1.6377317e-127",
"independent_ball": "[-0.43013457747232537771591388118752928673013186226317084975866352728111909131263919771634007732654815705473316525756626932044437012765320016471502852110760391872445084 +/- 5.61e-165]",
"quadrature": "-0.4301345774723253777159138811875292867301",
"quadrature_absolute_difference": "9.9405e-45"
},
{
"n": 45,
"k": 2,
"ball": "[1.60837997647382140455080594072055796279186212562442513911921249093956285994979640997065936949487517851947088965206303088674808636062711873 +/- 5.93e-138]",
"accuracy_bits": 457,
"radius": "1.4362075e-138",
"independent_ball": "[1.60837997647382140455080594072055796279186212562442513911921249093956285994979640997065936949487517851947088965206303088674808636062711872598098954752351369290213923583 +/- 7.24e-168]",
"quadrature": "1.608379976473821404550805940720557962792",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 45,
"k": 3,
"ball": "[-0.423040592208275119413896365331147043936088175026997040327627146518851916909472321895968613520690877786218854039088174185096585 +/- 3.74e-127]",
"accuracy_bits": 418,
"radius": "1.8797591e-127",
"independent_ball": "[-0.42304059220827511941389636533114704393608817502699704032762714651885191690947232189596861352069087778621885403908817418509658481489475636192795783887550204053216468 +/- 5.24e-165]",
"quadrature": "-0.4230405922082751194138963653311470439361",
"quadrature_absolute_difference": "9.9405e-45"
},
{
"n": 46,
"k": 2,
"ball": "[1.60917463061239542698388440215372029380114664248491151517608957220978991669878346353289783756280742910174335550663420827354983936772229023 +/- 4.59e-138]",
"accuracy_bits": 457,
"radius": "1.4296703e-138",
"independent_ball": "[1.60917463061239542698388440215372029380114664248491151517608957220978991669878346353289783756280742910174335550663420827354983936772229022732781809967149961863973910699 +/- 3.65e-168]",
"quadrature": "1.609174630612395426983884402153720293801",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 46,
"k": 3,
"ball": "[-0.416202042446005507920204925384730894044805110895193670871935479648235319281494583848900619096322160618057275332079215981290428 +/- 3.48e-127]",
"accuracy_bits": 418,
"radius": "1.9177046e-127",
"independent_ball": "[-0.41620204244600550792020492538473089404480511089519367087193547964823531928149458384890061909632216061805727533207921598129042784411414663112586034291625560585537257 +/- 3.84e-165]",
"quadrature": "-0.4162020424460055079202049253847308940448",
"quadrature_absolute_difference": "9.7215e-45"
},
{
"n": 47,
"k": 2,
"ball": "[1.60993546968124289527087441841951401498024883947899421565607826704298603486270723822014743464912554136136592919718108023963662416174958209 +/- 1.99e-138]",
"accuracy_bits": 457,
"radius": "1.4234114e-138",
"independent_ball": "[1.60993546968124289527087441841951401498024883947899421565607826704298603486270723822014743464912554136136592919718108023963662416174958209031946245811106061136722834534 +/- 4.99e-168]",
"quadrature": "1.60993546968124289527087441841951401498",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 47,
"k": 3,
"ball": "[-0.409604855413735814327470980473624470871989011706402995887140639648936854244675635863597481695670554096705590235220654411090179 +/- 5.84e-127]",
"accuracy_bits": 418,
"radius": "2.1930855e-127",
"independent_ball": "[-0.40960485541373581432747098047362447087198901170640299588714063964893685424467563586359748169567055409670559023522065441109017863598893248450159707682085715254065296 +/- 7.06e-165]",
"quadrature": "-0.409604855413735814327470980473624470872",
"quadrature_absolute_difference": "1.0116e-44"
},
{
"n": 48,
"k": 2,
"ball": "[1.61066460712222171904590651734089966444355511159832347028273409959146564810313418896209496519018039894350422898395516587380312625602573679 +/- 3.22e-138]",
"accuracy_bits": 457,
"radius": "1.4174132e-138",
"independent_ball": "[1.61066460712222171904590651734089966444355511159832347028273409959146564810313418896209496519018039894350422898395516587380312625602573679235312163494897322939773886542 +/- 3.66e-168]",
"quadrature": "1.610664607122221719045906517340899664444",
"quadrature_absolute_difference": "0.0"
},
{
"n": 48,
"k": 3,
"ball": "[-0.403235993013678347567829735029735702727075465142927146139098651181978810600763058456618997210060039723730630545257935047098089 +/- 3.67e-127]",
"accuracy_bits": 418,
"radius": "1.9544083e-127",
"independent_ball": "[-0.40323599301367834756782973502973570272707546514292714613909865118197881060076305845661899721006003972373063054525793504709808917115296722161137316732773431195471209 +/- 4.14e-165]",
"quadrature": "-0.4032359930136783475678297350297357027271",
"quadrature_absolute_difference": "9.7653e-45"
},
{
"n": 49,
"k": 2,
"ball": "[1.61136398385132385613624342855120834862264480118216989818993459203592568529293146824518749448466158886922872061616704393106487316278041579 +/- 3.25e-138]",
"accuracy_bits": 457,
"radius": "1.4116599e-138",
"independent_ball": "[1.61136398385132385613624342855120834862264480118216989818993459203592568529293146824518749448466158886922872061616704393106487316278041579226295798824248125077394283366 +/- 7.18e-168]",
"quadrature": "1.611363983851323856136243428551208348623",
"quadrature_absolute_difference": "1.7516e-46"
},
{
"n": 49,
"k": 3,
"ball": "[-0.397083357401608992340651974757430388891962906838898719382062427413108161067982129978743899589530120181321807936217394236945206 +/- 3.47e-127]",
"accuracy_bits": 418,
"radius": "2.4238701e-127",
"independent_ball": "[-0.39708335740160899234065197475743038889196290683889871938206242741310816106798212997874389958953012018132180793621739423694520589572521691046183217315189408964845741 +/- 5.83e-165]",
"quadrature": "-0.397083357401608992340651974757430388892",
"quadrature_absolute_difference": "1.0291e-44"
},
{
"n": 50,
"k": 2,
"ball": "[1.61203538551126190774296686331310468543457090318266246898084706478260732099513685635695632260736353119792423258309044686603615019326490763 +/- 2.85e-138]",
"accuracy_bits": 457,
"radius": "1.4061367e-138",
"independent_ball": "[1.61203538551126190774296686331310468543457090318266246898084706478260732099513685635695632260736353119792423258309044686603615019326490763217640088740424895129509864318 +/- 3.46e-168]",
"quadrature": "1.612035385511261907742966863313104685435",
"quadrature_absolute_difference": "0.0"
},
{
"n": 50,
"k": 3,
"ball": "[-0.391135706791755261886901766909864073238369660160999063638872171049914494105516905095791429392426088975446158385375228122915148 +/- 3.67e-127]",
"accuracy_bits": 418,
"radius": "2.5688080e-127",
"independent_ball": "[-0.39113570679175526188690176690986407323836966016099906363887217104991449410551690509579142939242608897544615838537522812291514810948949723154529566059541408376825906 +/- 3.46e-165]",
"quadrature": "-0.3911357067917552618869017669098640732384",
"quadrature_absolute_difference": "1.0291e-44"
}
],
"source_files": {
"generate.py": "2a815aa4b152d7e4244aa50af034e84d1cd53a0e10bed1b43c7b91ae5887aa0b",
"checks.py": "4a43b35d3bc9b3c23a71a28525a02aa4ce5acb97480c82c876a42cf52f79a77b",
"readback.py": "5da19b17e933b5beed17c3d9201c738bafc9a20978b80631834be9e4a3996de1",
"argument-selection.md": "0fa3023d14c1924052bd42194412400cd999861c5a7c67ac018af63b67c0e34f"
},
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
],
"dependencies": {
"Python": "3.12.3",
"numberdb": "0.1.10",
"pypdf": "6.21.4",
"PyMuPDF": "2.0",
"MuPDF": "1.28.5"
},
"companion_check": {
"entries_checked": 30,
"identities": [
[
2,
2,
1
],
[
2,
3,
1
],
[
3,
2,
3
],
[
3,
3,
3
],
[
5,
2,
5
],
[
5,
3,
5
],
[
7,
2,
7
],
[
7,
3,
7
],
[
11,
2,
11
],
[
11,
3,
11
],
[
13,
2,
13
],
[
13,
3,
13
],
[
17,
2,
17
],
[
17,
3,
17
],
[
19,
2,
19
],
[
19,
3,
19
],
[
23,
2,
23
],
[
23,
3,
23
],
[
29,
2,
29
],
[
29,
3,
29
],
[
31,
2,
31
],
[
31,
3,
31
],
[
37,
2,
37
],
[
37,
3,
37
],
[
41,
2,
41
],
[
41,
3,
41
],
[
43,
2,
43
],
[
43,
3,
43
],
[
47,
2,
47
],
[
47,
3,
47
]
]
},
"dry_run": "dry-run-final.log: 98 entries, no exactness/prose errors, longest raw ball 156 characters, block 19.6 KB"
}