back to table · edit · history · where entries came from · files · download
44189 bytes, as of the version from 2026-11-02 17:54. Recorded here, not run.
{
"table": "T682",
"stage": "repair",
"skill_manifest": "agents/runs/20261102T175113Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
"sage_version": "10.9",
"python_version": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"working_bits": 512,
"higher_working_bits": 640,
"checked_stored_entries": 98,
"minimum_accuracy_bits": 496,
"controls": {
"2": "[0.822467033424113218236207583323012594609474950603399218867779114685003735201600436916814450309879352652002159481168595339814362343502503893967551473165433 +/- 3.71e-154]",
"3": "[-1.803085354739391428099607242267174986147479438510748322688407333012757308679469635279683810414002887219298736692891079127737993998009924820664595255811850 +/- 4.50e-154]"
},
"extra_length_checked": 51,
"values_changed": false,
"method": "Cotangent/Hurwitz formula vs unchanged root-difference/polylogarithm generator; shared Arb backend. Exact rational arguments propagated through balls. All three enclosures strictly contained in every stored decimal interval.",
"files_sha256": {
"repair-program.py": "b09a7388ca3e72ae7caad9f2989c8fe6f23fec8f69ea9a615f9c11edd0aba67c",
"generate.py": "2a815aa4b152d7e4244aa50af034e84d1cd53a0e10bed1b43c7b91ae5887aa0b",
"repair-before.json": "83e6ee712226bfc2acd3af0d0dd7968a04e774fb02cc53780732931bc3c8ad88"
},
"example": "[-1.5143859409454424222344737504251358116427805100455852795130506094486851863012860732991971331754044208121176285583496505324158848347791396821997349820078 +/- 6.53e-152]",
"results": [
{
"n": 2,
"k": 2,
"ball": "[0.822467033424113218236207583323012594609474950603399218867779114685003735201600436916814450309879352652002159481168595339814362343502503893967551473165433 +/- 3.71e-154]",
"accuracy_bits": 509,
"radius": "2.5213151e-154",
"midpoint_error_ulps": "[0.47997840518831404660185637656497496106032448526834566881281253643014369320139329983239426612 +/- 3.66e-93]"
},
{
"n": 2,
"k": 3,
"ball": "[-1.803085354739391428099607242267174986147479438510748322688407333012757308679469635279683810414002887219298736692891079127737993998009924820664595255811850 +/- 4.50e-154]",
"accuracy_bits": 509,
"radius": "3.7291704e-154",
"midpoint_error_ulps": "[0.219298736692891079127737993998009924820664595255811850076676064373425010221425735469507482853 +/- 6.09e-94]"
},
{
"n": 3,
"k": 2,
"ball": "[1.096622711232150957648276777764016792812633267471198958490372152913338313602133915889085933746505803536002879308224793786419149791336671858623401964220577 +/- 8.78e-154]",
"accuracy_bits": 509,
"radius": "3.8589762e-154",
"midpoint_error_ulps": "[0.463997120691775206213580850208663328141376598035779422508375004857352492426852439977652568816 +/- 4.52e-94]"
},
{
"n": 3,
"k": 3,
"ball": "[-1.8811676141858534623082911394955964413669279929370199221186020965394690538082128810578691253055201778857783543836633119062189662070363889377704297920118 +/- 4.32e-152]",
"accuracy_bits": 505,
"radius": "8.8787670e-153",
"midpoint_error_ulps": "[0.114221645616336688093781033792963611062229570207988165713843871240903101478353108538473510986 +/- 8.13e-94]"
},
{
"n": 4,
"k": 2,
"ball": "[1.23370055013616982735431137498451889191421242590509882830166867202750560280240065537522167546481902897800323922175289300972154351525375584095132720974815 +/- 9.49e-154]",
"accuracy_bits": 509,
"radius": "5.1493352e-154",
"midpoint_error_ulps": "[0.021996760778247106990278456484746244159048672790251850433796991432524655129573474706803147479 +/- 8.21e-94]"
},
{
"n": 4,
"k": 3,
"ball": "[-1.76902689983320434216980419286939387807546150489475697543008104568576375770552360531314838730071874782239835821448943118605153071401601396831764211977803 +/- 8.40e-153]",
"accuracy_bits": 505,
"radius": "6.1418433e-153",
"midpoint_error_ulps": "[0.177601641785510568813948469285983986031682357880221972256535618633729430794464568087848947900 +/- 5.92e-94]"
},
{
"n": 5,
"k": 2,
"ball": "[1.315947253478581149177932133316820151375159920965438750188446583496005976322560699066903120495806964243203455169869752543702979749604006230348082357064693 +/- 4.54e-154]",
"accuracy_bits": 509,
"radius": "4.3324378e-154",
"midpoint_error_ulps": "[0.243203455169869752543702979749604006230348082357064693019783357095977836060940933288668652770 +/- 7.83e-94]"
},
{
"n": 5,
"k": 3,
"ball": "[-1.6366616620594630251065613342352542012205834357503308549500940819045876024165472235555917832535904425612262418093400083980674348862143391284478847922952 +/- 1.81e-152]",
"accuracy_bits": 504,
"radius": "1.7246627e-152",
"midpoint_error_ulps": "[0.438773758190659991601932565113785660871552115207704799154726723516213899981660864788401668899 +/- 5.27e-94]"
},
{
"n": 6,
"k": 2,
"ball": "[1.370778389040188697060345972205020991015791584338998698112965191141672892002667394861357417183132254420003599135280992233023937239170839823279252455275722 +/- 7.88e-154]",
"accuracy_bits": 509,
"radius": "5.7767305e-154",
"midpoint_error_ulps": "[0.420003599135280992233023937239170839823279252455275721789947836616307317033524796873304950606 +/- 7.19e-94]"
},
{
"n": 6,
"k": 3,
"ball": "[-1.5143859409454424222344737504251358116427805100455852795130506094486851863012860732991971331754044208121176285583496505324158848347791396821997349820078 +/- 6.53e-152]",
"accuracy_bits": 503,
"radius": "2.2174287e-152",
"midpoint_error_ulps": "[0.187882371441650349467584115165220860317800265017992156945400695082858198864300224936227014554 +/- 8.16e-94]"
},
{
"n": 7,
"k": 2,
"ball": "[1.409943485869908374119212999982307305044814201034398660916192768031434974631315034714539057674078890260575130539146163439681764017432863818230088239712171 +/- 6.14e-154]",
"accuracy_bits": 509,
"radius": "5.6718590e-154",
"midpoint_error_ulps": "[0.260575130539146163439681764017432863818230088239712170954112983309115270547033072664976213845 +/- 6.77e-94]"
},
{
"n": 7,
"k": 3,
"ball": "[-1.4070005648260776702070991864235495187131471615653696508607854739810621231274395119387174546661002949078664860390199190638296366288715429650864464849809 +/- 3.52e-152]",
"accuracy_bits": 503,
"radius": "2.5120170e-152",
"midpoint_error_ulps": "[0.092133513960980080936170363371128457034913553515019109987641134639820042805841093299467715888 +/- 5.55e-94]"
},
{
"n": 8,
"k": 2,
"ball": "[1.439317308492198131913363270815272040566581163555948633018613450698756536602800764604425288042288867141003779092045041844675134101129381814443215078039508 +/- 8.32e-154]",
"accuracy_bits": 508,
"radius": "6.5876509e-154",
"midpoint_error_ulps": "[0.141003779092045041844675134101129381814443215078039507827236843328721235682164279508729661275 +/- 7.62e-94]"
},
{
"n": 8,
"k": 3,
"ball": "[-1.3136556084031043596023868709316698263233780469576370121715980060582233087938296177516197655574574700279325896680104454113310166016731825630335938961018 +/- 3.30e-152]",
"accuracy_bits": 503,
"radius": "2.0566949e-152",
"midpoint_error_ulps": "[0.027932589668010445411331016601673182563033593896101787593650248083884378761241154836075869486 +/- 8.20e-94]"
},
{
"n": 9,
"k": 2,
"ball": "[1.462163614976201276864369037018689057083511023294931944653829537217784418136178554518781244995341071381337172410966391715225533055115562478164535952294103 +/- 7.38e-154]",
"accuracy_bits": 509,
"radius": "4.6480789e-154",
"midpoint_error_ulps": "[0.381337172410966391715225533055115562478164535952294103272444388648861965142256977926710349329 +/- 7.93e-94]"
},
{
"n": 9,
"k": 3,
"ball": "[-1.2323739846518852832185568136359878733345390742799626619327163679443688827801775742108882298545677030457999436944707088083349483506593881618672342647050 +/- 8.05e-152]",
"accuracy_bits": 503,
"radius": "3.6567586e-152",
"midpoint_error_ulps": "[0.045799943694470708808334948350659388161867234264705043860809200115631808047927434755198102988 +/- 9.33e-94]"
},
{
"n": 10,
"k": 2,
"ball": "[1.48044066016340379282517364998142267029705491108611859396200240643300672336288078645026601055778283477360388706610347161166585221830450700914159265169778 +/- 1.15e-153]",
"accuracy_bits": 508,
"radius": "6.2786467e-154",
"midpoint_error_ulps": "[0.226396112933896528388334147781695492990858407348302220520556389719029586155488169648163776974 +/- 8.96e-94]"
},
{
"n": 10,
"k": 3,
"ball": "[-1.1611932539365680435400876328492407789902163227319739792314652806124799417094236376807727823232779758623792071484082642461499102925900701792178441680359 +/- 4.82e-152]",
"accuracy_bits": 502,
"radius": "4.2119529e-152",
"midpoint_error_ulps": "[0.137620792851591735753850089707409929820782155831964106066856210884597818654985834764503263390 +/- 5.97e-94]"
},
{
"n": 11,
"k": 2,
"ball": "[1.49539460622566039679310469695093199019904536473345312521414384488182497309381897621238990965432609573091301723848835516329884062455000707994100267848261 +/- 5.14e-153]",
"accuracy_bits": 508,
"radius": "6.1662816e-154",
"midpoint_error_ulps": "[0.269086982761511644836701159375449992920058997321517394519450952508758661320386989817673636973 +/- 6.30e-94]"
},
{
"n": 11,
"k": 3,
"ball": "[-1.0984307478531584708584239831132979438042372947694998672044776999341405744164318491268106742017883617623374032187463673421707214655748882781690479769638 +/- 9.47e-152]",
"accuracy_bits": 502,
"radius": "4.7777885e-152",
"midpoint_error_ulps": "[0.237662596781253632657829278534425111721830952023036153132463252224565496230928574399087063054 +/- 9.38e-94]"
},
{
"n": 12,
"k": 2,
"ball": "[1.507856227944207566766380569425523090117370742772898567924261710255840181202934134347493158901445479862003959048809091456326330963087923805607177700803294 +/- 6.21e-154]",
"accuracy_bits": 508,
"radius": "6.0726440e-154",
"midpoint_error_ulps": "[0.137996040951190908543673669036912076194392822299196705986307335334860710803376931546586951309 +/- 4.79e-94]"
},
{
"n": 12,
"k": 3,
"ball": "[-1.0427065687310045570298777475181689043524552211336220881441668450775447157054353622243325128095453417477184412036022101370737011627273812427200714194593 +/- 6.80e-152]",
"accuracy_bits": 502,
"radius": "5.7387685e-152",
"midpoint_error_ulps": "[0.252281558796397789862926298837272618757279928580540710561197449674149300633400288275852884045 +/- 7.69e-94]"
},
{
"n": 13,
"k": 2,
"ball": "[1.51840067709067055674376784613479248235595375496012163483282298095692997267987772969258052364900803566523475596523432985811882278800462257347855656584388 +/- 4.20e-153]",
"accuracy_bits": 508,
"radius": "5.9934122e-154",
"midpoint_error_ulps": "[0.334765244034765670141881177211995377426521443434156123599352696022799257477488945307660898686 +/- 8.16e-94]"
},
{
"n": 13,
"k": 3,
"ball": "[-0.9929039525944422496493582794292806183428128183697345396195556852921391654307807163271120661549565986579209037720494843708361884085857896714523549273468 +/- 7.25e-152]",
"accuracy_bits": 501,
"radius": "6.1617813e-152",
"midpoint_error_ulps": "[0.42079096227950515629163811591414210328547645072653189135630765688911034084300223533434762192 +/- 2.97e-93]"
},
{
"n": 14,
"k": 2,
"ball": "[1.52743877635906740529581408331416624713188205112059854932587549870072122251725795427408397914691879778228972475074167705965524435221893580308259559302152 +/- 1.97e-153]",
"accuracy_bits": 509,
"radius": "5.5703401e-154",
"midpoint_error_ulps": "[0.217710275249258322940344755647781064196917404406978481404224761988456734046622793650751319689 +/- 9.19e-94]"
},
{
"n": 14,
"k": 3,
"ball": "[-0.9481199925551626095988624919113914029554199136697366439688903695850726448635908327334495854529286227903091522835108536418683948569532108061478799285979 +/- 8.83e-152]",
"accuracy_bits": 501,
"radius": "6.2222486e-152",
"midpoint_error_ulps": "[0.09690847716489146358131605143046789193852120071402073989959160268775424059214431245282442679 +/- 6.83e-93]"
},
{
"n": 15,
"k": 2,
"ball": "[1.53527179572501134070758748886962350993768657445967854188652101407867363904298748224472030724510812495040403103151471130098680970787134060207276274990881 +/- 2.30e-153]",
"accuracy_bits": 508,
"radius": "6.9273830e-154",
"midpoint_error_ulps": "[0.049595968968485288699013190292128659397927237250091191601225095574695970317084999754268802391 +/- 4.47e-94]"
},
{
"n": 15,
"k": 3,
"ball": "[-0.907621589575682632476571065268186897406461967589070331039754362559026082387474974187716731804063369843299717392045688985660163748768473948521561592688 +/- 5.51e-151]",
"accuracy_bits": 500,
"radius": "8.7647722e-152",
"midpoint_error_ulps": "[0.43299717392045688985660163748768473948521561592687537479492182133360351038614784523879708703 +/- 3.33e-93]"
},
{
"n": 16,
"k": 2,
"ball": "[1.542125687670212284192889218730648614892765532381373535377085840034382003503000819219027094331023786222504049027191116262151929394067194801189159012185187 +/- 7.98e-154]",
"accuracy_bits": 508,
"radius": "6.8095860e-154",
"midpoint_error_ulps": "[0.222504049027191116262151929394067194801189159012185186883170353397342113655123503461866727278 +/- 4.41e-94]"
},
{
"n": 16,
"k": 3,
"ball": "[-0.8708096369301008621643839145922703147947242731487459782683873334510199764628673993467779188622403772715888940602785552632215170606927583600450137711371 +/- 6.62e-152]",
"accuracy_bits": 501,
"radius": "6.0911793e-152",
"midpoint_error_ulps": "[0.28411105939721444736778482939307241639954986228862894803343336240712771166717344250147616540 +/- 4.36e-93]"
},
{
"n": 17,
"k": 2,
"ball": "[1.548173239386566057856390745078611942794305789371104411986407745289418795673600822431650729995067016756709947258670297110238799705416477918056567478899639 +/- 6.90e-154]",
"accuracy_bits": 509,
"radius": "4.8337501e-154",
"midpoint_error_ulps": "[0.243290052741329702889761200294583522081943432521100361205843161519086358116241010122481117946 +/- 5.25e-94]"
},
{
"n": 17,
"k": 3,
"ball": "[-0.8371909008932983895321905326888102245818190308350117945207955133259695145589398083985417839123375260444691009268348720054667920247338055509118744236306 +/- 9.20e-152]",
"accuracy_bits": 500,
"radius": "8.3310080e-152",
"midpoint_error_ulps": "[0.44469100926834872005466792024733805550911874423630608662563483007806581285407319139973507289 +/- 6.08e-93]"
},
{
"n": 18,
"k": 2,
"ball": "[1.553548840912213856668392101832357123151230462250865191194693883293895944269689714176205072807549888342670745686651791197427128871060285133049819449312485 +/- 9.07e-154]",
"accuracy_bits": 508,
"radius": "6.6132576e-154",
"midpoint_error_ulps": "[0.342670745686651791197427128871060285133049819449312484754940940681416613250989158980115748052 +/- 8.66e-94]"
},
{
"n": 18,
"k": 3,
"ball": "[-0.806356214406119729907134676557276824291353752557561909837936434905993728415446721415382242997817125855141974917566227832268005993872338757020140082436 +/- 2.60e-151]",
"accuracy_bits": 500,
"radius": "1.0770127e-151",
"midpoint_error_ulps": "[0.44858025082433772167731994006127661242979859917564152262004459859444207811993458898144722817 +/- 5.48e-93]"
},
{
"n": 19,
"k": 2,
"ball": "[1.55835858964568820297386699998044491610216306430117746732842358571895444564513766994764843216608719449853040743800365432806931812453106000962272910705029 +/- 4.96e-153]",
"accuracy_bits": 508,
"radius": "6.5305930e-154",
"midpoint_error_ulps": "[0.498530407438003654328069318124531060009622729107050294306651285525235278940922431667137084827 +/- 8.79e-94]"
},
{
"n": 19,
"k": 3,
"ball": "[-0.777963602600881624926932611242575369600593515314922416879912673139148140446073413079559003787863876153601442004494675020158451745483712958676924297876 +/- 1.51e-151]",
"accuracy_bits": 500,
"radius": "1.2413297e-151",
"midpoint_error_ulps": "[0.46398557995505324979841548254516287041323075702123973575127937390034833128008679467769638133 +/- 3.15e-93]"
},
{
"n": 20,
"k": 2,
"ball": "[1.562687363505815114648794408313723929758002406146458515848780317901507096883040830141947455588770770038804103014220331145647288452654757398538347799014323 +/- 8.62e-154]",
"accuracy_bits": 508,
"radius": "6.4561948e-154",
"midpoint_error_ulps": "[0.038804103014220331145647288452654757398538347799014322783857144185468770169206932038049346527 +/- 4.63e-94]"
},
{
"n": 20,
"k": 3,
"ball": "[-0.751725187730187585195461096241069839141724555138339323848792825523638804512550898804948222729793932474359902455809139907978160978035813436788217311997 +/- 3.29e-151]",
"accuracy_bits": 500,
"radius": "1.1914320e-151",
"midpoint_error_ulps": "[0.25640097544190860092021839021964186563211782688002790694933836187271145271580764479404469678 +/- 4.62e-93]"
},
{
"n": 21,
"k": 2,
"ball": "[1.566603873188787082354681111091452561160904667815998512129103075590483305145905594127265619637865433622861256154606848266313071130480959798033431377457968 +/- 8.79e-154]",
"accuracy_bits": 508,
"radius": "6.3888823e-154",
"midpoint_error_ulps": "[0.377138743845393151733686928869519040201966568622542032240059615295648780533114517859080056450 +/- 5.22e-94]"
},
{
"n": 21,
"k": 3,
"ball": "[-0.727396972670154836574125646251495537969492191178053731209493153728201130593962498050232447148808925300648068545945425721241364327715502139872447839365 +/- 1.64e-151]",
"accuracy_bits": 500,
"radius": "1.1898605e-151",
"midpoint_error_ulps": "[0.00648068545945425721241364327715502139872447839364955794493661040008838710543512895568594167 +/- 6.82e-93]"
},
{
"n": 22,
"k": 2,
"ball": "[1.570164336536943416632759931798478589708997632970125781474851037125916221748509925023009405137042400517458668100412772921463782655777507433938052812406736 +/- 8.49e-154]",
"accuracy_bits": 508,
"radius": "6.3276890e-154",
"midpoint_error_ulps": "[0.482541331899587227078536217344222492566061947187593264215590137209395767413242478046705583473 +/- 7.60e-94]"
},
{
"n": 22,
"k": 3,
"ball": "[-0.704770817731517255205224217035086057390801249815113500246237706728859773286860838002546788270268798966197148081168981563613975081923302204444148402950 +/- 3.39e-151]",
"accuracy_bits": 500,
"radius": "1.2427586e-151",
"midpoint_error_ulps": "[0.33802851918831018436386024918076697795555851597049785681799407865243326000533219791885450259 +/- 3.64e-93]"
},
{
"n": 23,
"k": 2,
"ball": "[1.573415194376564417495353637661415398383343383763024592616620915049572362994366053232166774505856152899482392050931225867470954048439572666720533253012133 +/- 7.50e-154]",
"accuracy_bits": 508,
"radius": "6.2718169e-154",
"midpoint_error_ulps": "[0.100517607949068774132529045951560427333279466746987867122632298376550486702037637540319369920 +/- 4.49e-94]"
},
{
"n": 23,
"k": 3,
"ball": "[-0.683668094979558561220228519241582928328205126459620481280698053018223228448646343355845974435783617661914886459538044342361555180848610775595060296321 +/- 6.49e-151]",
"accuracy_bits": 499,
"radius": "1.8429817e-151",
"midpoint_error_ulps": "[0.38085113540461955657638444819151389224404939703678535708054674660214694514134421372007585148 +/- 3.09e-93]"
},
{
"n": 24,
"k": 2,
"ball": "[1.576395147396217001619397868035774139668160321989848502829909969812923825803067504090561029760602092583004139005573141067977527825046465796771140323567080 +/- 6.74e-154]",
"accuracy_bits": 508,
"radius": "6.2206008e-154",
"midpoint_error_ulps": "[0.416995860994426858932022472174953534203228859676432919949018328622446792154737448911162240640 +/- 5.64e-94]"
},
{
"n": 24,
"k": 3,
"ball": "[-0.663934632740552910948842766848221349457909848441747411478915453199630761476957933319207346067738008278808702504857697637287576965629721831331578456831 +/- 1.75e-151]",
"accuracy_bits": 499,
"radius": "1.7416286e-151",
"midpoint_error_ulps": "[0.21191297495142302362712423034370278168668421543169000442273696638050536878762490966730741518 +/- 2.31e-93]"
},
{
"n": 25,
"k": 2,
"ball": "[1.57913670417429737901351855998018418165019190515852650022613590019520717158707283888028374459496835709184414620384370305244357569952480747641769882847763 +/- 2.07e-153]",
"accuracy_bits": 508,
"radius": "6.1734819e-154",
"midpoint_error_ulps": "[0.091844146203843703052443575699524807476417698828477631444739850966368441434145952375291971227 +/- 7.89e-94]"
},
{
"n": 25,
"k": 3,
"ball": "[-0.645436658867262437220274803408138710364799839590579253681837400053741984638494557802813084414883364102556905421098292978515306685985900874781379414413 +/- 6.39e-151]",
"accuracy_bits": 499,
"radius": "1.8263682e-151",
"midpoint_error_ulps": "[0.02556905421098292978515306685985900874781379414412544320484553063429608421168120131601907267 +/- 2.68e-93]"
},
{
"n": 26,
"k": 2,
"ball": "[1.58166737196944849660809150639040883578745182808346003628419060516346872154153930176310471213438337048461953746378576026887377373750481518070682975608737 +/- 1.94e-153]",
"accuracy_bits": 508,
"radius": "6.1299876e-154",
"midpoint_error_ulps": "[0.484619537463785760268873773737504815180706829756087371319042398345586001941116197362930124045 +/- 6.66e-94]"
},
{
"n": 26,
"k": 3,
"ball": "[-0.628057522524586644358385883634918335880495830315505243138079992222295725784532351242866710790498022567974523715008010808995787300735740437773871699839 +/- 5.72e-151]",
"accuracy_bits": 499,
"radius": "1.7361700e-151",
"midpoint_error_ulps": "[0.32025476284991989191004212699264259562226128300161397747392348468459845261767633596161010873 +/- 6.36e-93]"
},
{
"n": 27,
"k": 2,
"ball": "[1.584010582890884716603066456770246478507136941902842940041648665319266452980860100728679682078286160663115270111880257691494327476375192684678247281651945 +/- 8.77e-154]",
"accuracy_bits": 508,
"radius": "7.2683171e-154",
"midpoint_error_ulps": "[0.336884729888119742308505672523624807315321752718348054850338085057067927289979651541588236872 +/- 9.25e-94]"
},
{
"n": 27,
"k": 3,
"ball": "[-0.611695027103923924349047806679132979805750068329747299472534981912839719278832831195044775222547683505588360609004568971922129220058428950415593031017 +/- 1.85e-151]",
"accuracy_bits": 499,
"radius": "1.7583931e-151",
"midpoint_error_ulps": "[0.05588360609004568971922129220058428950415593031017009138994660040602473635552747929301580482 +/- 3.52e-93]"
},
{
"n": 28,
"k": 2,
"ball": "[1.58618642160364692088411462498009571817541597616369849353071686403536434646022941405385643988333875154314702185653943386964198451961197179550884926967619 +/- 3.07e-153]",
"accuracy_bits": 508,
"radius": "7.1888283e-154",
"midpoint_error_ulps": "[0.456852978143460566130358015480388028204491150730323807657977041949244803776360379963244424831 +/- 8.35e-94]"
},
{
"n": 28,
"k": 3,
"ball": "[-0.596259246225835961842369888641771142105851188877498791448947746720493806265628950813603541089276526357226792654536881663992693584200568142184260601535 +/- 6.97e-151]",
"accuracy_bits": 499,
"radius": "2.5554079e-151",
"midpoint_error_ulps": "[0.42773207345463118336007306415799431857815739398464559163383232955441135180921300194712766697 +/- 2.35e-93]"
},
{
"n": 29,
"k": 2,
"ball": "[1.58821220247414966280095257469271397579760680116518469850329760077104169556171118852902100749493943960386623899811866686308980314607380062283389249990566 +/- 4.45e-153]",
"accuracy_bits": 508,
"radius": "7.1148215e-154",
"midpoint_error_ulps": "[0.396133761001881333136910196853926199377166107500094336262646773041964770561800460139664562540 +/- 8.92e-94]"
},
{
"n": 29,
"k": 3,
"ball": "[-0.581670724231939561167247088734833844606417559690160461276342268227885199615341094837247338699848377723683477668725477169349444784467437747578662170954 +/- 6.92e-151]",
"accuracy_bits": 499,
"radius": "2.7007052e-151",
"midpoint_error_ulps": "[0.23683477668725477169349444784467437747578662170953578710884619642302758703516856326443283315 +/- 4.77e-93]"
},
{
"n": 30,
"k": 2,
"ball": "[1.590102931286618888590001327757824349578318237833238489811039621724340554723094178039174603932433415127204174996925950990307767197438174195003932848119837 +/- 8.74e-154]",
"accuracy_bits": 508,
"radius": "7.0457484e-154",
"midpoint_error_ulps": "[0.127204174996925950990307767197438174195003932848119837168939383945633510655498863830367495445 +/- 4.95e-94]"
},
{
"n": 30,
"k": 3,
"ball": "[-0.567858984720930308772220974836254627018244986321523756749187452578037354183858168114327943368183786998429785281686720396457015836819351269404049827359 +/- 7.16e-151]",
"accuracy_bits": 499,
"radius": "2.5740145e-151",
"midpoint_error_ulps": "[0.01570214718313279603542984163180648730595950172640541948467111256205951617313993813264407567 +/- 4.26e-93]"
},
{
"n": 31,
"k": 2,
"ball": "[1.59187167759505784174749854836712115085704829149045010103441118971291045522890407145189893608363745674581063125387470065770521743903710431090493833515890 +/- 3.26e-153]",
"accuracy_bits": 508,
"radius": "6.9811317e-154",
"midpoint_error_ulps": "[0.254189368746125299342294782560962895689095061664841097444603754633970364745057517205970176269 +/- 5.76e-94]"
},
{
"n": 31,
"k": 3,
"ball": "[-0.554761287458738255797862939509851576955095465802416856712825398392951592380739844963616992926104020601948364658986892910473909655615186108814395545377 +/- 4.52e-151]",
"accuracy_bits": 499,
"radius": "2.6094826e-151",
"midpoint_error_ulps": "[0.01948364658986892910473909655615186108814395545377190542718150336540107901288119970597387697 +/- 2.71e-93]"
},
{
"n": 32,
"k": 2,
"ball": "[1.59352987725921936033265219268833690205585771679408598655632203470219473695310084652632799747539124576325418399476415347089032704053610129456213097925803 +/- 4.21e-153]",
"accuracy_bits": 508,
"radius": "6.9205536e-154",
"midpoint_error_ulps": "[0.236745816005235846529109672959463898705437869020741973514279484256345379925487231406935401347 +/- 5.73e-94]"
},
{
"n": 32,
"k": 3,
"ball": "[-0.542321586777830948872654568754160525307511278529747066766013773768058092922302222769854385090106607047095461522434406237756013262645039489935460510655 +/- 4.33e-151]",
"accuracy_bits": 499,
"radius": "2.1688307e-151",
"midpoint_error_ulps": "[0.47095461522434406237756013262645039489935460510655215725939170949017079179975988691536249719 +/- 3.98e-93]"
},
{
"n": 33,
"k": 2,
"ball": "[1.595087579974037756579311676747660789545648389049016666895086767873946637966740241293215903631281168779640551721054245507518763332853340885270402857048113 +/- 7.92e-154]",
"accuracy_bits": 509,
"radius": "4.9350254e-154",
"midpoint_error_ulps": "[0.220359448278945754492481236667146659114729597142951887298469717485604001245041667813790888891 +/- 7.46e-94]"
},
{
"n": 33,
"k": 3,
"ball": "[-0.530489654388843867363010261191034826857498436212696360916448568534441904403126728335796420648907893858626814933918905579195068663210656554575087936620 +/- 6.56e-151]",
"accuracy_bits": 499,
"radius": "2.4866016e-151",
"midpoint_error_ulps": "[0.41373185066081094420804931336789343445424912063380406596441888638564892556618008017463382865 +/- 5.37e-93]"
},
{
"n": 34,
"k": 2,
"ball": "[1.59655365311739624716440295586231856600662784528895142486098298732971313303840084813263981530741286103035713311050374389493376219621074285299583521261525 +/- 3.13e-153]",
"accuracy_bits": 508,
"radius": "6.8100875e-154",
"midpoint_error_ulps": "[0.030357133110503743894933762196210742852995835212615252441213758285440384188830511800890676041 +/- 6.00e-94]"
},
{
"n": 34,
"k": 3,
"ball": "[-0.519220337101333493878975012352420188216050636417774928154191066103603085571470652787416312243207219148303060029619447158625748333038184895883469847280 +/- 4.36e-151]",
"accuracy_bits": 499,
"radius": "2.4513513e-151",
"midpoint_error_ulps": "[0.48303060029619447158625748333038184895883469847280190223781285701111532830738609084322684029 +/- 5.03e-93]"
},
{
"n": 35,
"k": 2,
"ball": "[1.597935950652562824001774733313281612384122761172318482371685137102292971248823706009810932030622742295318481277698985231639332553090578993994100005007127 +/- 7.98e-154]",
"accuracy_bits": 508,
"radius": "6.7595887e-154",
"midpoint_error_ulps": "[0.295318481277698985231639332553090578993994100005007127121105864983398409250855964036108689491 +/- 4.77e-94]"
},
{
"n": 35,
"k": 3,
"ball": "[-0.508472925836116705427205870493016675377756425345389042488087119273602720522460857951192687803948204738532869267059152731983566123314704786140074299414 +/- 6.21e-151]",
"accuracy_bits": 499,
"radius": "2.4272553e-151",
"midpoint_error_ulps": "[0.38532869267059152731983566123314704786140074299414378085853223020728886688835773679575517807 +/- 6.02e-93]"
},
{
"n": 36,
"k": 2,
"ball": "[1.59924145388022014657040363423919115618509018172883181446512605633195170733644529400491698671365429682333753232449449093852792677903264646049246119782168 +/- 5.18e-153]",
"accuracy_bits": 508,
"radius": "6.7118954e-154",
"midpoint_error_ulps": "[0.176662467675505509061472073220967353539507538802178324503810783302306062694644750493181552586 +/- 5.53e-94]"
},
{
"n": 36,
"k": 3,
"ball": "[-0.498210616914168610252755812831799815434506443541536806145599967840776298150250907582812897134460079240626813613686014658591530822322691330369732862335 +/- 6.34e-151]",
"accuracy_bits": 497,
"radius": "3.8799261e-151",
"midpoint_error_ulps": "[0.40626813613686014658591530822322691330369732862334754424884731488796839744610374398950044753 +/- 2.82e-93]"
},
{
"n": 37,
"k": 2,
"ball": "[1.600476389365841938189376918898835319240059363336344425904867466414061322554465715081368660062467929484977175206598347688287407803572440009882802866700302 +/- 8.96e-154]",
"accuracy_bits": 508,
"radius": "6.6667801e-154",
"midpoint_error_ulps": "[0.484977175206598347688287407803572440009882802866700302228632819809916419481851296023706481337 +/- 5.12e-94]"
},
{
"n": 37,
"k": 3,
"ball": "[-0.488400050227959431111249910318031859003020304415176296725917187747856362458149553707062813305426080528897762376982859088375404259920580300379215505761 +/- 4.36e-151]",
"accuracy_bits": 497,
"radius": "3.9990029e-151",
"midpoint_error_ulps": "[0.28897762376982859088375404259920580300379215505760963978407382244065874760453448328145164688 +/- 5.47e-93]"
},
{
"n": 38,
"k": 2,
"ball": "[1.601646328246957319723141083313235052660556482753987952531990907544480958024169271890638666392922949901267363200170422503849021405768033898778916026690580 +/- 7.86e-154]",
"accuracy_bits": 508,
"radius": "6.6240394e-154",
"midpoint_error_ulps": "[0.098732636799829577496150978594231966101221083973309419877122425504400864715497420458929560946 +/- 7.49e-94]"
},
{
"n": 38,
"k": 3,
"ball": "[-0.479010911766452987634049680746247942653984714173532114856326647587053817367021911695536181542318023558490084544649048357063360752825063317323537127654 +/- 4.40e-151]",
"accuracy_bits": 497,
"radius": "3.8274877e-151",
"midpoint_error_ulps": "[0.41509915455350951642936639247174936682676462872345943660387107685343704649987852394359318065 +/- 5.29e-93]"
},
{
"n": 39,
"k": 2,
"ball": "[1.602756270262374476562866059808947620264617852457906170101313146565648304495426492453279441629508482091081131296636237072458757387338212716449587486168536 +/- 9.01e-154]",
"accuracy_bits": 508,
"radius": "6.5834904e-154",
"midpoint_error_ulps": "[0.091081131296636237072458757387338212716449587486168536242118491593713043458711476150040906039 +/- 8.68e-94]"
},
{
"n": 39,
"k": 3,
"ball": "[-0.470015590245228712219903182936801938828321083362289052230459945779535600448713981737160974528465440966734600488766595125448716234352778329974141787434 +/- 8.28e-151]",
"accuracy_bits": 497,
"radius": "3.9364261e-151",
"midpoint_error_ulps": "[0.33265399511233404874551283765647221670025858212566434094310972830735951332598308023591703504 +/- 4.67e-93]"
},
{
"n": 40,
"k": 2,
"ball": "[1.60381071517702077556060478747987455948847615367662847679216927363575728364312085198778817810426473767140421098827876091263800656982988259323672537267259 +/- 5.10e-153]",
"accuracy_bits": 508,
"radius": "6.5449689e-154",
"midpoint_error_ulps": "[0.328595789011721239087361993430170117406763274627327405563936088862282051668445517118844091723 +/- 8.44e-94]"
},
{
"n": 40,
"k": 3,
"ball": "[-0.461388879417665421921402344374154248597206773222774704506824587787906486383716433169212739706614490589021297672126708692769821312230514127783436348649 +/- 8.34e-151]",
"accuracy_bits": 497,
"radius": "3.8132279e-151",
"midpoint_error_ulps": "[0.10978702327873291307230178687769485872216563651350548229897997852579508018136457939056844070 +/- 6.04e-93]"
},
{
"n": 41,
"k": 2,
"ball": "[1.604813723754367255095039186971731891920926732884681402668837296946348751612878901301101366458301175906345677036426527492320707011712202719936685801298406 +/- 6.68e-154]",
"accuracy_bits": 508,
"radius": "6.5083265e-154",
"midpoint_error_ulps": "[0.093654322963573472507679292988287797280063314198701594016565148802762568825709438422399928729 +/- 6.93e-94]"
},
{
"n": 41,
"k": 3,
"ball": "[-0.453107719110562729634972958238034363784656524192338258152196990353290627738238696687736674624663535913447060105732795368620531523997304559779622422095 +/- 5.78e-151]",
"accuracy_bits": 497,
"radius": "3.8437576e-151",
"midpoint_error_ulps": "[0.13447060105732795368620531523997304559779622422095192982877595082008996060220186302247537980 +/- 5.36e-93]"
},
{
"n": 42,
"k": 2,
"ball": "[1.605768970018506759413548138868738875189927284511398474932330652480245387774553233980447260128812069463432787558472019472970897908742983792984267161894417 +/- 7.24e-154]",
"accuracy_bits": 508,
"radius": "6.4734290e-154",
"midpoint_error_ulps": "[0.463432787558472019472970897908742983792984267161894416924105531397159172980393757932591206789 +/- 4.51e-94]"
},
{
"n": 42,
"k": 3,
"ball": "[-0.445150969213772762761328320023448824588781110701053944301923829351091173499994561792978354188935636339965272260010937925867067583464700836441340300548 +/- 7.00e-151]",
"accuracy_bits": 497,
"radius": "3.7284847e-151",
"midpoint_error_ulps": "[0.39965272260010937925867067583464700836441340300547673512778524425410546189202767845621272787 +/- 3.21e-93]"
},
{
"n": 43,
"k": 2,
"ball": "[1.606679786223849077484684581375187394120834787225244985695196410082332878068242713977032879675113154017864683637631674617311777601260705281238937761532474 +/- 7.91e-154]",
"accuracy_bits": 508,
"radius": "6.4401546e-154",
"midpoint_error_ulps": "[0.017864683637631674617311777601260705281238937761532473853659732087874867738229893405093575377 +/- 8.10e-94]"
},
{
"n": 43,
"k": 3,
"ball": "[-0.437499211816898220466862446100442124855850631136474065699341638937264872138905778058418319338921326761741128304267038445062107282893548370826933576251 +/- 8.82e-151]",
"accuracy_bits": 497,
"radius": "3.8152029e-151",
"midpoint_error_ulps": "[0.38258871695732961554937892717106451629173066423748500315465211509212237445654263525902182238 +/- 1.88e-93]"
},
{
"n": 44,
"k": 2,
"ball": "[1.607549201692584926552587549222251889463973767088462109605204633247961846075855399428319152878400552910731493531374981800546253671391257610936577879368801 +/- 7.27e-154]",
"accuracy_bits": 508,
"radius": "6.4083927e-154",
"midpoint_error_ulps": "[0.089268506468625018199453746328608742389063422120631198914492914935710185593850915851962879975 +/- 8.34e-94]"
},
{
"n": 44,
"k": 3,
"ball": "[-0.430134577472325377715913881187529286730131862263170849758663527281119091312639197716340077326548157054733165257566269320444370127653200164715028521108 +/- 6.63e-151]",
"accuracy_bits": 497,
"radius": "3.7819720e-151",
"midpoint_error_ulps": "[0.45266834742433730679555629872346799835284971478892284652692951051154912372039509365156264867 +/- 5.00e-93]"
},
{
"n": 45,
"k": 2,
"ball": "[1.60837997647382140455080594072055796279186212562442513911921249093956285994979640997065936949487517851947088965206303088674808636062711872598098954752351 +/- 4.32e-153]",
"accuracy_bits": 508,
"radius": "6.3780424e-154",
"midpoint_error_ulps": "[0.480529110347936969113251913639372881274019010452476486325727765174249770910607671125989277364 +/- 6.32e-94]"
},
{
"n": 45,
"k": 3,
"ball": "[-0.423040592208275119413896365331147043936088175026997040327627146518851916909472321895968613520690877786218854039088174185096584814894756361927957838876 +/- 9.17e-151]",
"accuracy_bits": 496,
"radius": "6.2002666e-151",
"midpoint_error_ulps": "[0.13781145960911825814903415185105243638072042161124296867033025727409609621700793383668146967 +/- 3.70e-93]"
},
{
"n": 46,
"k": 2,
"ball": "[1.60917463061239542698388440215372029380114664248491151517608957220978991669878346353289783756280742910174335550663420827354983936772229022732781809967150 +/- 1.08e-153]",
"accuracy_bits": 508,
"radius": "6.3490117e-154",
"midpoint_error_ulps": "[0.101743355506634208273549839367722290227327818099671499557402597168710387328841851246600888428 +/- 4.74e-94]"
},
{
"n": 46,
"k": 3,
"ball": "[-0.41620204244600550792020492538473089404480511089519367087193547964823531928149458384890061909632216061805727533207921598129042784411414663112586034292 +/- 4.18e-150]",
"accuracy_bits": 497,
"radius": "6.0684547e-151",
"midpoint_error_ulps": "[0.18057275332079215981290427844114146631125860342916431732814517433074587072252256919733633922 +/- 1.42e-93]"
},
{
"n": 47,
"k": 2,
"ball": "[1.60993546968124289527087441841951401498024883947899421565607826704298603486270723822014743464912554136136592919718108023963662416174958209031946245811106 +/- 1.20e-153]",
"accuracy_bits": 508,
"radius": "6.3212163e-154",
"midpoint_error_ulps": "[0.361365929197181080239636624161749582090319462458111060566463639055205739421607298487733093579 +/- 7.75e-94]"
},
{
"n": 47,
"k": 3,
"ball": "[-0.409604855413735814327470980473624470871989011706402995887140639648936854244675635863597481695670554096705590235220654411090178635988932484501597076821 +/- 7.03e-151]",
"accuracy_bits": 496,
"radius": "6.1616653e-151",
"midpoint_error_ulps": "[0.03294409764779345588909821364011067515498402923178913740491254235704806569492404820103025866 +/- 3.91e-93]"
},
{
"n": 48,
"k": 2,
"ball": "[1.610664607122221719045906517340899664443555111598323470282734099591465648103134188962094965190180398943504228983955165873803126256025736792353121634948973 +/- 7.00e-154]",
"accuracy_bits": 508,
"radius": "6.2945791e-154",
"midpoint_error_ulps": "[0.056495771016044834126196873743974263207646878365051026930373825266239832830417707593449885306 +/- 5.16e-94]"
},
{
"n": 48,
"k": 3,
"ball": "[-0.403235993013678347567829735029735702727075465142927146139098651181978810600763058456618997210060039723730630545257935047098089171152967221611373167328 +/- 6.45e-151]",
"accuracy_bits": 497,
"radius": "5.9724304e-151",
"midpoint_error_ulps": "[0.23730630545257935047098089171152967221611373167327952325007926664752779390729876327446246865 +/- 4.33e-93]"
},
{
"n": 49,
"k": 2,
"ball": "[1.611363983851323856136243428551208348622644801182169898189934592035925685292931468245187494484661588869228720616167043931064873162780415792262957988242481 +/- 8.03e-154]",
"accuracy_bits": 508,
"radius": "6.2690292e-154",
"midpoint_error_ulps": "[0.130771279383832956068935126837219584207737042011757518824346982147294470880065456206165083178 +/- 4.67e-94]"
},
{
"n": 49,
"k": 3,
"ball": "[-0.397083357401608992340651974757430388891962906838898719382062427413108161067982129978743899589530120181321807936217394236945205895725216910461832173152 +/- 6.95e-151]",
"accuracy_bits": 497,
"radius": "6.0151343e-151",
"midpoint_error_ulps": "[0.18678192063782605763054794104274783089538167826847907340397190534754642088598734212634118856 +/- 5.40e-93]"
},
{
"n": 50,
"k": 2,
"ball": "[1.612035385511261907742966863313104685434570903182662468980847064782607320995136856356956322607363531197924232583090446866036150193264907632176400887404249 +/- 8.58e-154]",
"accuracy_bits": 508,
"radius": "6.2445012e-154",
"midpoint_error_ulps": "[0.197924232583090446866036150193264907632176400887404248766505264528167783964023993049777220628 +/- 7.78e-94]"
},
{
"n": 50,
"k": 3,
"ball": "[-0.391135706791755261886901766909864073238369660160999063638872171049914494105516905095791429392426088975446158385375228122915148109489497231545295660596 +/- 9.71e-151]",
"accuracy_bits": 497,
"radius": "5.8582546e-151",
"midpoint_error_ulps": "[0.24553841614624771877084851890510502768454704339404384711556333192658372045058092691986551500 +/- 3.74e-93]"
}
]
}