{
  "checks": {
    "18_mpmath_155dps_checks": true,
    "Simonic_Table_2_ghat": {
      "34": "[0.5696721990726871291837576161794230606136976229419444356587352553190967772676710728893801426842653136258464106950933616150713788020763031086474 +/- 7.85e-143]",
      "6709": "[0.0069332298289402963648436492411229661605434103053705308001770315392710312039633308622961351092044914616381690951705173733855807262443242925 +/- 4.03e-140]"
    },
    "all_102_root_counts_and_simplicity": true,
    "all_102_zeta_derivative_identities": true,
    "all_12_Simonic_Table_1_values": true,
    "all_306_certified": true,
    "all_306_decimal_intervals_contain_balls": true,
    "all_306_higher_precision_recomputed": true,
    "all_306_mpmath_125dps": true,
    "all_306_parity": true,
    "first_100_roots_match_T3": true,
    "stored_values_read_back": true
  },
  "controls": [
    "Z(0)=zeta(1/2) in (-2,-1), both implementations",
    "odd derivatives vanish at zero",
    "N(0)=0 and N(20)=1",
    "adding 1e-90 to the first derivative is rejected by its stored 100-digit interval"
  ],
  "counts": [
    {
      "gamma_ball": "[14.13472514173469379045725198356247027078425711569924317568556746014996342980925676494901039317156101277920297154879743676614269146988225458250536324 +/- 1.20e-147]",
      "left_count": 0,
      "n": 1,
      "offset": "1/1000000",
      "right_count": 1
    },
    {
      "gamma_ball": "[21.02203963877155499262847959389690277733434052490278175462952040358759858606889079971365851418015141953372547364247589138386506860373132126211882162 +/- 5.56e-147]",
      "left_count": 1,
      "n": 2,
      "offset": "1/1000000",
      "right_count": 2
    },
    {
      "gamma_ball": "[25.01085758014568876321379099256282181865954967255799667249654200674509209844164427784023822455806244075047104614905577837829985152273080118813393358 +/- 3.61e-147]",
      "left_count": 2,
      "n": 3,
      "offset": "1/1000000",
      "right_count": 3
    },
    {
      "gamma_ball": "[30.42487612585951321031189753058409132018156002371544018096214603699332938933327792029058429390208911063099171152739549911763322667118631939180722596 +/- 5.04e-147]",
      "left_count": 3,
      "n": 4,
      "offset": "1/1000000",
      "right_count": 4
    },
    {
      "gamma_ball": "[32.93506158773918969066236896407490348881271560351703900928000344078481560863055100593884849613534872454960252528059758151357923778285775450603765301 +/- 3.36e-147]",
      "left_count": 4,
      "n": 5,
      "offset": "1/1000000",
      "right_count": 5
    },
    {
      "gamma_ball": "[37.58617815882567125721776348070533282140559735083079321833300111362214908961853726473032910494582380347457774774619223537994096502226393628562482205 +/- 6.02e-147]",
      "left_count": 5,
      "n": 6,
      "offset": "1/1000000",
      "right_count": 6
    },
    {
      "gamma_ball": "[40.91871901214749518739812691463325439572616596277727953616130366725328052872007128299600371988954687550366551967694546794491713649489859917565343675 +/- 4.82e-147]",
      "left_count": 6,
      "n": 7,
      "offset": "1/1000000",
      "right_count": 7
    },
    {
      "gamma_ball": "[43.32707328091499951949612216540680578264566837183687144687889368552108832230505362645634937106319093355486760849262680244716701232585475212353466307 +/- 6.36e-147]",
      "left_count": 7,
      "n": 8,
      "offset": "1/1000000",
      "right_count": 8
    },
    {
      "gamma_ball": "[48.00515088116715972794247274942751604168684400114442511777531251981409021641630828133033537230540099771550297770260202162652166270813597293166638787 +/- 6.77e-147]",
      "left_count": 8,
      "n": 9,
      "offset": "1/1000000",
      "right_count": 9
    },
    {
      "gamma_ball": "[49.77383247767230218191678467856372405772317829967666210078195575043351161151573927873270750740093133007078162802156113122435799916411635531407545149 +/- 3.45e-147]",
      "left_count": 9,
      "n": 10,
      "offset": "1/1000000",
      "right_count": 10
    },
    {
      "gamma_ball": "[52.97032147771446064414729660888099006382501788882122477990074814031756495030418805413758782709439929880363884477535502028030524214252675971885242673 +/- 5.47e-147]",
      "left_count": 10,
      "n": 11,
      "offset": "1/1000000",
      "right_count": 11
    },
    {
      "gamma_ball": "[56.44624769706339480436775947670612755278226447171663184545096984395847528027450566690301131427485238747897187883368245827953385241544049414267733153 +/- 6.68e-147]",
      "left_count": 11,
      "n": 12,
      "offset": "1/1000000",
      "right_count": 12
    },
    {
      "gamma_ball": "[59.34704400260235307965364867499221903109877280646666969812245175474680015269962981183810248707463354843852195854743924354323091833233556941840730056 +/- 4.26e-147]",
      "left_count": 12,
      "n": 13,
      "offset": "1/1000000",
      "right_count": 13
    },
    {
      "gamma_ball": "[60.83177852460980984425990182452400380291009045121917825710134882480849366729492053843084167039434335656986447033588689745030747948638775715123698968 +/- 4.90e-147]",
      "left_count": 13,
      "n": 14,
      "offset": "1/1000000",
      "right_count": 14
    },
    {
      "gamma_ball": "[65.11254404808160666087505425318370502934814929516672240596650108667534323266868538441677478443865947142589692775166203672779221257976040652671034171 +/- 7.13e-147]",
      "left_count": 14,
      "n": 15,
      "offset": "1/1000000",
      "right_count": 15
    },
    {
      "gamma_ball": "[67.07981052949417371447882889652221677010714495174555887419666955169490121895619698353029397508583303430555470100513485963102915189604317181586735402 +/- 5.04e-147]",
      "left_count": 15,
      "n": 16,
      "offset": "1/1000000",
      "right_count": 16
    },
    {
      "gamma_ball": "[69.54640171117397925292685752655473844301247420960251015732453999966338767227491041953334493317834035635374806158478678916625612286840533522701517643 +/- 6.51e-147]",
      "left_count": 16,
      "n": 17,
      "offset": "1/1000000",
      "right_count": 17
    },
    {
      "gamma_ball": "[72.06715767448190758252210796982616839048090662145669708668330615148840737239960834836352533041217453298915736658311883083642393932396480882455848888 +/- 5.74e-147]",
      "left_count": 17,
      "n": 18,
      "offset": "1/1000000",
      "right_count": 18
    },
    {
      "gamma_ball": "[75.70469069908393316832691676203034592281190353069740030164777530157419702770632360838403702183465279804994402368757100494129937745793692324032491908 +/- 5.76e-147]",
      "left_count": 18,
      "n": 19,
      "offset": "1/1000000",
      "right_count": 19
    },
    {
      "gamma_ball": "[77.14484006887480537268266485630463701579603244923446104176523145315113916425371508940828869469973775975905687441268986273940101504344871479131868506 +/- 7.31e-147]",
      "left_count": 19,
      "n": 20,
      "offset": "1/1000000",
      "right_count": 20
    },
    {
      "gamma_ball": "[79.3373750202493679227635928771162281906132467431200308784387204971015419326770909746774519946121241090147710237797503849226522068612811568286049892 +/- 9.35e-147]",
      "left_count": 20,
      "n": 21,
      "offset": "1/1000000",
      "right_count": 21
    },
    {
      "gamma_ball": "[82.91038085408603018316483749477060949750888059378214914657130628323592908635661907551256319233489681875525448176186010046123385280735957470697143350 +/- 8.02e-147]",
      "left_count": 21,
      "n": 22,
      "offset": "1/1000000",
      "right_count": 22
    },
    {
      "gamma_ball": "[84.73549298051705010573531120682774141710662793424081870273552968904527172893028059879228203063995091247847855407508866198932128137103429528000605451 +/- 7.26e-147]",
      "left_count": 22,
      "n": 23,
      "offset": "1/1000000",
      "right_count": 23
    },
    {
      "gamma_ball": "[87.42527461312522940653166785091921325217188640126902818645555793843969104952483075026625748079543951719428881635143748931444210856296139403774103518 +/- 5.03e-147]",
      "left_count": 23,
      "n": 24,
      "offset": "1/1000000",
      "right_count": 24
    },
    {
      "gamma_ball": "[88.80911120763446542368234807950937839544489340981867504219987161881401355918219843952079327950393306415339351421792097369882955291279643594743002261 +/- 6.72e-147]",
      "left_count": 24,
      "n": 25,
      "offset": "1/1000000",
      "right_count": 25
    },
    {
      "gamma_ball": "[92.4918992705584842962597252418106848787217940277306461750967504891810280260587708893378637576685886402830246610168434274222599360186123643347422178 +/- 3.09e-146]",
      "left_count": 25,
      "n": 26,
      "offset": "1/1000000",
      "right_count": 26
    },
    {
      "gamma_ball": "[94.65134404051988696659792581520815393772802701565485201959247427451348210532455844076477401529960108135679396332562551355243103049998834561074966856 +/- 8.58e-147]",
      "left_count": 26,
      "n": 27,
      "offset": "1/1000000",
      "right_count": 27
    },
    {
      "gamma_ball": "[95.87063422824530975874102921924678169525646122498799842052928165165110662536081792189542611557235640484807822769610703843682000413239958357246280067 +/- 8.78e-147]",
      "left_count": 27,
      "n": 28,
      "offset": "1/1000000",
      "right_count": 28
    },
    {
      "gamma_ball": "[98.83119421819369223332442013862232782065803906342819610281932172756554763976555318751452832328162320978339842338727935208610234600430329548747276997 +/- 8.71e-147]",
      "left_count": 28,
      "n": 29,
      "offset": "1/1000000",
      "right_count": 29
    },
    {
      "gamma_ball": "[101.31785100573139122878544794029230890633286638430089479992831871523014308272931235550890494520597185660627954762468836381462793150649506614176081243 +/- 7.25e-147]",
      "left_count": 29,
      "n": 30,
      "offset": "1/1000000",
      "right_count": 30
    },
    {
      "gamma_ball": "[103.72553804047833941639840810869528083448117306949576451988516579403652210830164880543814549849201689460089110699662922679114659230658923704225251393 +/- 5.40e-147]",
      "left_count": 30,
      "n": 31,
      "offset": "1/1000000",
      "right_count": 31
    },
    {
      "gamma_ball": "[105.44662305232609449367083241411180899728275392853513848056944711418149444757596283977355493196281451548073522351148968517048568221894033720308910331 +/- 7.29e-147]",
      "left_count": 31,
      "n": 32,
      "offset": "1/1000000",
      "right_count": 32
    },
    {
      "gamma_ball": "[107.16861118427640751512335196308619121347670788140476527926471042155240382097809713461077404060904109925608275149979397134387017781529680806138883274 +/- 7.22e-147]",
      "left_count": 32,
      "n": 33,
      "offset": "1/1000000",
      "right_count": 33
    },
    {
      "gamma_ball": "[111.0295355431696745246564503099443504153459683900730568461907947655055445417598922140188612917718101470890636959711124055186263017162422285794369667 +/- 4.95e-146]",
      "left_count": 33,
      "n": 34,
      "offset": "1/1000000",
      "right_count": 34
    },
    {
      "gamma_ball": "[111.87465917699263708561207871677059496031174987338587381661941961969077836440550296762894060634744829021971896458307528781033878711361320240600484652 +/- 8.35e-147]",
      "left_count": 34,
      "n": 35,
      "offset": "1/1000000",
      "right_count": 35
    },
    {
      "gamma_ball": "[114.32022091545271276589093727619107980991765772382989228772843104130628757585284322976204949831708992951020539301638758314305591903277461720319201186 +/- 7.91e-147]",
      "left_count": 35,
      "n": 36,
      "offset": "1/1000000",
      "right_count": 36
    },
    {
      "gamma_ball": "[116.22668032085755438216080431206475512732985123238322028386264231147470097947562206017603733624390027523463469395685459535566753084131104210786654348 +/- 8.43e-147]",
      "left_count": 36,
      "n": 37,
      "offset": "1/1000000",
      "right_count": 37
    },
    {
      "gamma_ball": "[118.79078286597621732297913970269982434730621059280938278419371651419909632211177349955749911593215182625652629305616199483194925480075438771266309745 +/- 6.63e-147]",
      "left_count": 37,
      "n": 38,
      "offset": "1/1000000",
      "right_count": 38
    },
    {
      "gamma_ball": "[121.37012500242064591894553297049992272300131063172874230257513263573463204165139220905939384433014279218196569590681076630067724740143908725903805690 +/- 6.24e-147]",
      "left_count": 38,
      "n": 39,
      "offset": "1/1000000",
      "right_count": 39
    },
    {
      "gamma_ball": "[122.94682929355258820081746033077001649621438987386351721195003491528850877588261964305531184110741044275819391116321568595657788973892309940523027021 +/- 6.10e-147]",
      "left_count": 39,
      "n": 40,
      "offset": "1/1000000",
      "right_count": 40
    },
    {
      "gamma_ball": "[124.25681855434576718473200796612992444157353877469356114035507691395906209728936178009090182253373913262830799853113478097950652811031685098172578262 +/- 7.77e-147]",
      "left_count": 40,
      "n": 41,
      "offset": "1/1000000",
      "right_count": 41
    },
    {
      "gamma_ball": "[127.51668387959649512427932376690607626808830988155498248279977930068239612852598832920878360012462376147619135078475542859452982290708966652919876573 +/- 8.70e-147]",
      "left_count": 41,
      "n": 42,
      "offset": "1/1000000",
      "right_count": 42
    },
    {
      "gamma_ball": "[129.5787041999560509857680339061799736086409532646594310304708399988608991051165655815149177339265814505601445076090672005422021366737521863211581524 +/- 3.44e-146]",
      "left_count": 42,
      "n": 43,
      "offset": "1/1000000",
      "right_count": 43
    },
    {
      "gamma_ball": "[131.0876885309326567235663724615013490592035475029750453831399244077747652456200152815654913414124701865338254060031023614162256677594576597026892294 +/- 1.36e-146]",
      "left_count": 43,
      "n": 44,
      "offset": "1/1000000",
      "right_count": 44
    },
    {
      "gamma_ball": "[133.4977372029975864501304920426406076649741749439046750151022588551630136007847426413592879503150895481297399394663499229630258987280811901899722514 +/- 4.29e-146]",
      "left_count": 44,
      "n": 45,
      "offset": "1/1000000",
      "right_count": 45
    },
    {
      "gamma_ball": "[134.7565097533738713313260641571697361783960686136471644169760931735484100568317104323688049059260327506778183423946812239662314099830166425997243791 +/- 1.48e-146]",
      "left_count": 45,
      "n": 46,
      "offset": "1/1000000",
      "right_count": 46
    },
    {
      "gamma_ball": "[138.1160420545334432001915551902824478598352746241462356853448285686501672304304089171109452721877453593477766742783945729476835764040126234550588197 +/- 5.35e-146]",
      "left_count": 46,
      "n": 47,
      "offset": "1/1000000",
      "right_count": 47
    },
    {
      "gamma_ball": "[139.7362089521213889504500465233824608467900525653826030813701354109038680914852719660929036567855964187759954884830303514314282792341215144816239278 +/- 5.16e-146]",
      "left_count": 47,
      "n": 48,
      "offset": "1/1000000",
      "right_count": 48
    },
    {
      "gamma_ball": "[141.1237074040211237619403538184753550903006608797476200321046650959660947587181332781493418509380468417893284016362728641590025124213470309294688829 +/- 1.20e-146]",
      "left_count": 48,
      "n": 49,
      "offset": "1/1000000",
      "right_count": 49
    },
    {
      "gamma_ball": "[143.1118458076206327394051238689139299662331024303546325485985229572806931441333492275444274025136984049334709590584956275320665775992814592174317975 +/- 5.86e-146]",
      "left_count": 49,
      "n": 50,
      "offset": "1/1000000",
      "right_count": 50
    },
    {
      "gamma_ball": "[146.0009824867655185474025075964246824289757412330958036369768849665857609395947676511227401568157792949888233284230094651546657854225315597582293386 +/- 5.02e-146]",
      "left_count": 50,
      "n": 51,
      "offset": "1/1000000",
      "right_count": 51
    },
    {
      "gamma_ball": "[147.4227653425596020495211850104315061687727752504768306010104608127381837443263817572205413566801442647685743031473404676303617385320672256619741800 +/- 1.14e-146]",
      "left_count": 51,
      "n": 52,
      "offset": "1/1000000",
      "right_count": 52
    },
    {
      "gamma_ball": "[150.0535204207848803514324672369593706230373215595282004484291112750625821484974187121322826054961490868694931023573503532560379926483951855132093985 +/- 4.22e-146]",
      "left_count": 52,
      "n": 53,
      "offset": "1/1000000",
      "right_count": 53
    },
    {
      "gamma_ball": "[150.9252576122414667618525246783056276024267704729967177003113549533632320978636148143888735873133913511059412795738550636138166405171202316634321730 +/- 3.80e-146]",
      "left_count": 53,
      "n": 54,
      "offset": "1/1000000",
      "right_count": 54
    },
    {
      "gamma_ball": "[153.0246938111988961982565442551854465085904349041455066751997675637946209937814904019547491315369249084337937796469249080398313785684487436064203750 +/- 5.45e-146]",
      "left_count": 54,
      "n": 55,
      "offset": "1/1000000",
      "right_count": 55
    },
    {
      "gamma_ball": "[156.1129092942378675697501893101691947465353085009429208038560781583943148503940587608573711981060901459317666388307033845845862625303020278816174437 +/- 5.01e-146]",
      "left_count": 55,
      "n": 56,
      "offset": "1/1000000",
      "right_count": 56
    },
    {
      "gamma_ball": "[157.5975918175940598875305031584987657307238995191417335382496176097855594275787827549115875949605244412449299045675370687556959583622594979802346654 +/- 4.81e-146]",
      "left_count": 56,
      "n": 57,
      "offset": "1/1000000",
      "right_count": 57
    },
    {
      "gamma_ball": "[158.8499881714204987241749947755402714143350830494269662577241834115455295137088374343994137682318727957944847159379863364986821059709385848039618696 +/- 4.20e-146]",
      "left_count": 57,
      "n": 58,
      "offset": "1/1000000",
      "right_count": 58
    },
    {
      "gamma_ball": "[161.1889641375960275194373441293695543649157903274754665791880937941188584210502608448489425194065622315121909222233826863819463927721707280944850787 +/- 3.29e-146]",
      "left_count": 58,
      "n": 59,
      "offset": "1/1000000",
      "right_count": 59
    },
    {
      "gamma_ball": "[163.0307096871819872433110390006879948969644614164776831152095916959017954783953403948738398033404312852387852134594020737580618598209087855838225934 +/- 4.39e-146]",
      "left_count": 59,
      "n": 60,
      "offset": "1/1000000",
      "right_count": 60
    },
    {
      "gamma_ball": "[165.5370691879004188300389193548747973283672517450686044789531546055804061437575655187609187355632005148281914392811580244990621088178898269495750743 +/- 3.40e-146]",
      "left_count": 60,
      "n": 61,
      "offset": "1/1000000",
      "right_count": 61
    },
    {
      "gamma_ball": "[167.1844399781745134409577562462103787364607692426167673611069934354089696331808130435344666621492676624172798236107347296308890291301545645435738657 +/- 2.71e-146]",
      "left_count": 61,
      "n": 62,
      "offset": "1/1000000",
      "right_count": 62
    },
    {
      "gamma_ball": "[169.0945154155688214895058711814318347966676485804416250873821491218823344969648553421458502783979980418759946470185008109377240581017387804750643469 +/- 3.67e-146]",
      "left_count": 62,
      "n": 63,
      "offset": "1/1000000",
      "right_count": 63
    },
    {
      "gamma_ball": "[169.9119764794116989666998435958217922883944371253413730185414416078008414783727105287862393004576384349685098789661584444864962278523745915209774968 +/- 3.69e-146]",
      "left_count": 63,
      "n": 64,
      "offset": "1/1000000",
      "right_count": 64
    },
    {
      "gamma_ball": "[173.4115365195915529598461186493455952541560660634201179336822853915310940953785288490905622922086028157102394262929858954108000339377716860037515248 +/- 1.62e-146]",
      "left_count": 64,
      "n": 65,
      "offset": "1/1000000",
      "right_count": 65
    },
    {
      "gamma_ball": "[174.7541915233657258133787624558669179387557176205716634456115474378997152082274380172362815512732137790974238023957820694073110726764329474052187225 +/- 2.65e-146]",
      "left_count": 65,
      "n": 66,
      "offset": "1/1000000",
      "right_count": 66
    },
    {
      "gamma_ball": "[176.4414342977104188888926410578609335281184971088097153476126157862568571939135224974077595111096423636637845376440710146835014403835761136742555178 +/- 1.07e-146]",
      "left_count": 66,
      "n": 67,
      "offset": "1/1000000",
      "right_count": 67
    },
    {
      "gamma_ball": "[178.3774077760999772858309354141844261831323614612725037014890408037488465646405879270706711681797739528712444838169626872703320399852594449644415918 +/- 5.86e-146]",
      "left_count": 67,
      "n": 68,
      "offset": "1/1000000",
      "right_count": 68
    },
    {
      "gamma_ball": "[179.9164840202569961393400366120512374536876075530184065413006706538173907362679159961540697430983964589304158207691464136615364499691116685443161167 +/- 2.81e-146]",
      "left_count": 68,
      "n": 69,
      "offset": "1/1000000",
      "right_count": 69
    },
    {
      "gamma_ball": "[182.2070784843664619154070372269877986907974577782399087666300645401878443230873253214591978431177579869442445212572793094117716812516707342679605045 +/- 5.53e-146]",
      "left_count": 69,
      "n": 70,
      "offset": "1/1000000",
      "right_count": 70
    },
    {
      "gamma_ball": "[184.8744678483875088009606466172342584133510229119506677731786446807013534369001830048710175105370110215500931158234344168483638139394939943314460918 +/- 2.60e-146]",
      "left_count": 70,
      "n": 71,
      "offset": "1/1000000",
      "right_count": 71
    },
    {
      "gamma_ball": "[185.5987836777074714665277042683926466129347176495132830889197962303851271473205542595893940416272721789876910720200058108840933615277892522954576611 +/- 1.76e-146]",
      "left_count": 71,
      "n": 72,
      "offset": "1/1000000",
      "right_count": 72
    },
    {
      "gamma_ball": "[187.2289225835018519916415405861312430168107346039903191514642031637338487945451158828134460521386350117276469388897171205283830134166117974294296397 +/- 5.67e-146]",
      "left_count": 72,
      "n": 73,
      "offset": "1/1000000",
      "right_count": 73
    },
    {
      "gamma_ball": "[189.4161586560169370848522890998453244913571030231933543554199421771060173597536592213840866762025453844323520008697579704026323727378886356461367894 +/- 5.95e-146]",
      "left_count": 73,
      "n": 74,
      "offset": "1/1000000",
      "right_count": 74
    },
    {
      "gamma_ball": "[192.0266563607137865472836314255834301058399202979770969162891234322102116765143730340311592922501128844123295053716681633391141422942653827192897113 +/- 4.57e-146]",
      "left_count": 74,
      "n": 75,
      "offset": "1/1000000",
      "right_count": 75
    },
    {
      "gamma_ball": "[193.0797266038457040474022057943760546040206158105488601385043558308844136986896422781161254852639656509612961922777765671092911139813954528144395463 +/- 1.16e-146]",
      "left_count": 75,
      "n": 76,
      "offset": "1/1000000",
      "right_count": 76
    },
    {
      "gamma_ball": "[195.2653966795292353214631878148622509269050524522869240601109766321843932245841771526771072128598038410579986450476464885869698671750240211265608719 +/- 4.68e-146]",
      "left_count": 76,
      "n": 77,
      "offset": "1/1000000",
      "right_count": 77
    },
    {
      "gamma_ball": "[196.8764818409583169486222639146962077357460286919422154828231731816319713879256598304466574472821788073499981518198583904540679296473622378636701254 +/- 3.79e-146]",
      "left_count": 77,
      "n": 78,
      "offset": "1/1000000",
      "right_count": 78
    },
    {
      "gamma_ball": "[198.0153096762519124249199187022088671550626954385709967215348015942392843857362895448224010252075792116926878125624906512213565046685155068154446500 +/- 4.32e-146]",
      "left_count": 78,
      "n": 79,
      "offset": "1/1000000",
      "right_count": 79
    },
    {
      "gamma_ball": "[201.2647519437037887330161334275481732224028636391867340806327197995196349024813453603429793875717561378816746316915964606378607079038356383361084726 +/- 2.02e-146]",
      "left_count": 79,
      "n": 80,
      "offset": "1/1000000",
      "right_count": 80
    },
    {
      "gamma_ball": "[202.4935945141405342776866606378643158210202448994200539090691542851163297587739188856524203980980614980776484021938881887175626499943347235574123722 +/- 5.90e-146]",
      "left_count": 80,
      "n": 81,
      "offset": "1/1000000",
      "right_count": 81
    },
    {
      "gamma_ball": "[204.1896718031045543307164383863136851365345292287419073509596802173991634291740299625920766832685409600215965085442484127611174110158148197500145339 +/- 1.73e-146]",
      "left_count": 81,
      "n": 82,
      "offset": "1/1000000",
      "right_count": 82
    },
    {
      "gamma_ball": "[205.3946972021632860252123793906930909237229147720484070021340954171463655615096716162480062093324701494200234667683225531417055714777835855548162271 +/- 3.28e-146]",
      "left_count": 82,
      "n": 83,
      "offset": "1/1000000",
      "right_count": 83
    },
    {
      "gamma_ball": "[207.9062588878062098615019679077536442686594037688839998586575275099286752052657677905772103363974774212907637160292021302125318333505049143984544027 +/- 2.28e-146]",
      "left_count": 83,
      "n": 84,
      "offset": "1/1000000",
      "right_count": 84
    },
    {
      "gamma_ball": "[209.5765097168562598528356442898867521753907831813261624689774533462047980184677355375482288192028704361014464051992559659663946410651019486988543829 +/- 3.31e-146]",
      "left_count": 84,
      "n": 85,
      "offset": "1/1000000",
      "right_count": 85
    },
    {
      "gamma_ball": "[211.6908625953653075639074867307192942533940309829356437362100148207771414677940941375290793094016954175650162539249283514781298225938845430067103885 +/- 1.56e-146]",
      "left_count": 85,
      "n": 86,
      "offset": "1/1000000",
      "right_count": 86
    },
    {
      "gamma_ball": "[213.3479193597126661906391220210726088218971832766330690598537045853659588055035505024146970146707115133780495998525577967425269809060810373686978396 +/- 2.79e-146]",
      "left_count": 86,
      "n": 87,
      "offset": "1/1000000",
      "right_count": 87
    },
    {
      "gamma_ball": "[214.5470447834914232229442010725906910455998880530830764000816199190406547877892029454802569954433328678237009712946130605990854204063770792377086240 +/- 4.61e-146]",
      "left_count": 87,
      "n": 88,
      "offset": "1/1000000",
      "right_count": 88
    },
    {
      "gamma_ball": "[216.1695385082637002658695633544981285754537142741641109763761505659409680710929278043308898120451437841694368547503567031843168866941789415247274853 +/- 2.05e-146]",
      "left_count": 88,
      "n": 89,
      "offset": "1/1000000",
      "right_count": 89
    },
    {
      "gamma_ball": "[219.0675963490213789856772565904372412451491829270113513735578749932379095360414994173388147222815814826349721020748162669809506408790698342576726272 +/- 4.33e-146]",
      "left_count": 89,
      "n": 90,
      "offset": "1/1000000",
      "right_count": 90
    },
    {
      "gamma_ball": "[220.7149188393140033691155926339063396567611450776619657016119320408256519374736420484491367573968877663060950466925930481105572483986218430296826255 +/- 5.62e-146]",
      "left_count": 90,
      "n": 91,
      "offset": "1/1000000",
      "right_count": 91
    },
    {
      "gamma_ball": "[221.4307055546933387320974751192760779502223310773199093794199515137872538433730785706565270083468042605687361775921743421347358280438717859903947689 +/- 3.81e-146]",
      "left_count": 91,
      "n": 92,
      "offset": "1/1000000",
      "right_count": 92
    },
    {
      "gamma_ball": "[224.0070002546043352117288755285048953560859899495955297629503606823345435004227816390696559446535285086642274404563048392015997531739243509108409534 +/- 1.80e-146]",
      "left_count": 92,
      "n": 93,
      "offset": "1/1000000",
      "right_count": 93
    },
    {
      "gamma_ball": "[224.9833246695822875037825236805286567720900544855874269884777525472056920039154489040581602314838823775407435125421112955443282695155451802737877633 +/- 5.62e-146]",
      "left_count": 93,
      "n": 94,
      "offset": "1/1000000",
      "right_count": 94
    },
    {
      "gamma_ball": "[227.4214442796792913104614361606596399639691483219766283648938200823896845716367603448899310687573579278184403531188227329118683228422238721230872615 +/- 6.00e-146]",
      "left_count": 94,
      "n": 95,
      "offset": "1/1000000",
      "right_count": 95
    },
    {
      "gamma_ball": "[229.3374133055253481077600833060557400827523413878185175326364924843561772640195747024604114024716122685537932196098485351917177635581239244469169095 +/- 4.61e-146]",
      "left_count": 95,
      "n": 96,
      "offset": "1/1000000",
      "right_count": 96
    },
    {
      "gamma_ball": "[231.2501887004991647738061867700103726067084958431233714068060303441400477220052752971077268672912399843145491856119622337381279408153620894368814456 +/- 1.50e-146]",
      "left_count": 96,
      "n": 97,
      "offset": "1/1000000",
      "right_count": 97
    },
    {
      "gamma_ball": "[231.9872352531802486037716685391978622054198339945624964847268238968307636748638911487555244303592434702476362601962779885980295556924816186811442967 +/- 3.53e-146]",
      "left_count": 97,
      "n": 98,
      "offset": "1/1000000",
      "right_count": 98
    },
    {
      "gamma_ball": "[233.6934041789083006407044947325697881795372277545658363630148087389401547012485473629419972853224698896311022820825229267522447301324494717340819885 +/- 1.15e-146]",
      "left_count": 98,
      "n": 99,
      "offset": "1/1000000",
      "right_count": 99
    },
    {
      "gamma_ball": "[236.5242296658162058024755079556629786895294952121891237009189609878191503842923328262614446040651740158273156783713119081258346660265142723427442711 +/- 6.00e-146]",
      "left_count": 99,
      "n": 100,
      "offset": "1/1000000",
      "right_count": 100
    },
    {
      "gamma_ball": "[7005.062866174920581380343783588841683864228336647339394959932747521710467443857510812026878133150110304181985767078350888814260512643926275018391716 +/- 4.47e-145]",
      "left_count": 6708,
      "n": 6709,
      "offset": "1/1000000",
      "right_count": 6709
    },
    {
      "gamma_ball": "[7005.100564672646721568720431979517171498162852162503244616186560824928676014795903625173047438327822194138611199225834191607793802864257472191737519 +/- 6.46e-145]",
      "left_count": 6709,
      "n": 6710,
      "offset": "1/1000000",
      "right_count": 6710
    }
  ],
  "finite_indexing_proof": {
    "certified_distinct_critical_line_roots": 6710,
    "conclusion": "All nontrivial zeros with 0 < Im(s) <= 7006 are simple and on the critical line.",
    "count_at_7006": 6710,
    "first": "0.50000000000000000000000000000 + [14.134725141734693790457251983 +/- 6.79e-28]*I",
    "last": "0.50000000000000000000000000000 + [7005.100564672646721568720432 +/- 2.22e-25]*I",
    "minimum_gap_ball": "[0.037698497726140188376648 +/- 5.92e-25]",
    "precision_bits": 96,
    "root_list_sha256": "99e04efbaf90e049c9de3da2cecc2d2a06c0eb572c19f400a1f46ba37d7e7cae"
  },
  "independent_mpmath_dps": 125,
  "k_values": [
    "1",
    "2",
    "3"
  ],
  "max_mpmath_relative_error": "6.6451963e-122",
  "min_accuracy_bits": 466,
  "n_groups": {
    "discrete_index": [
      "1",
      "2",
      "3",
      "4",
      "5",
      "6",
      "7",
      "8",
      "9",
      "10",
      "11",
      "12",
      "13",
      "14",
      "15",
      "16",
      "17",
      "18",
      "19",
      "20",
      "21",
      "22",
      "23",
      "24",
      "25",
      "26",
      "27",
      "28",
      "29",
      "30",
      "31",
      "32",
      "33",
      "34",
      "35",
      "36",
      "37",
      "38",
      "39",
      "40",
      "41",
      "42",
      "43",
      "44",
      "45",
      "46",
      "47",
      "48",
      "49",
      "50",
      "51",
      "52",
      "53",
      "54",
      "55",
      "56",
      "57",
      "58",
      "59",
      "60",
      "61",
      "62",
      "63",
      "64",
      "65",
      "66",
      "67",
      "68",
      "69",
      "70",
      "71",
      "72",
      "73",
      "74",
      "75",
      "76",
      "77",
      "78",
      "79",
      "80",
      "81",
      "82",
      "83",
      "84",
      "85",
      "86",
      "87",
      "88",
      "89",
      "90",
      "91",
      "92",
      "93",
      "94",
      "95",
      "96",
      "97",
      "98",
      "99",
      "100"
    ],
    "documented_application": [
      "6709",
      "6710"
    ]
  },
  "rows": [
    {
      "accuracy_bits": 480,
      "ball": "[0.793160433356506116013897565274352114145892905054289511505735696434049230149015680876581239814845540731358643344588072304791013775956483712799568 +/- 1.32e-145]",
      "k": 1,
      "mpmath_125dps": "0.79316043335650611601389756527435211414589290505428951150573569643404923014901568087658123981484554073135864334458807230479101",
      "n": 1,
      "number": "0.7931604333565061160138975652743521141458929050542895115057356964340492301490156808765812398148455407"
    },
    {
      "accuracy_bits": 476,
      "ball": "[0.13032915537305437005644202238069702586489057418781631634762715094396930175857388900900211356995970929447809344352778636023949112589188208636858 +/- 2.00e-144]",
      "k": 2,
      "mpmath_125dps": "0.13032915537305437005644202238069702586489057418781631634762715094396930175857388900900211356995970929447809344352778636023949",
      "n": 1,
      "number": "0.1303291553730543700564420223806970258648905741878163163476271509439693017585738890090021135699597093"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-0.12424658702597721451312396214533126458688489310315862483295702462763646687156359496636508335409761574095861593940671580664370525628788738472181 +/- 6.66e-144]",
      "k": 3,
      "mpmath_125dps": "-0.12424658702597721451312396214533126458688489310315862483295702462763646687156359496636508335409761574095861593940671580664371",
      "n": 1,
      "number": "-0.1242465870259772145131239621453312645868848931031586248329570246276364668715635949663650833540976157"
    },
    {
      "accuracy_bits": 480,
      "ball": "[-1.136839106827974822136114506620184792135343776935371519566934923723272728885676113342313932091858158389884825072917804095469270514552592783532687 +/- 7.13e-145]",
      "k": 1,
      "mpmath_125dps": "-1.1368391068279748221361145066201847921353437769353715195669349237232727288856761133423139320918581583898848250729178040954693",
      "n": 2,
      "number": "-1.136839106827974822136114506620184792135343776935371519566934923723272728885676113342313932091858158"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.12001102126244347313465058843119834684448165057096861694416046007539598575298131351362034393012434604201708009377214983566171057805755213044662 +/- 2.78e-144]",
      "k": 2,
      "mpmath_125dps": "0.12001102126244347313465058843119834684448165057096861694416046007539598575298131351362034393012434604201708009377214983566171",
      "n": 2,
      "number": "0.1200110212624434731346505884311983468444816505709686169441604600753959857529813135136203439301243460"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.4506866051842963603704804363491088516232805014471126765526075002514049673687452563661821609339028316727627640478881110011709527750532785089666 +/- 4.29e-143]",
      "k": 3,
      "mpmath_125dps": "0.45068660518429636037048043634910885162328050144711267655260750025140496736874525636618216093390283167276276404788811100117095",
      "n": 2,
      "number": "0.4506866051842963603704804363491088516232805014471126765526075002514049673687452563661821609339028317"
    },
    {
      "accuracy_bits": 480,
      "ball": "[1.371721287216129937306915288826670864859834715906966129966326468688205372870180281370358263092643033420058577341200192379089676821112151608259580 +/- 5.44e-145]",
      "k": 1,
      "mpmath_125dps": "1.3717212872161299373069152888266708648598347159069661299663264686882053728701802813703582630926430334200585773412001923790897",
      "n": 3,
      "number": "1.371721287216129937306915288826670864859834715906966129966326468688205372870180281370358263092643033"
    },
    {
      "accuracy_bits": 475,
      "ball": "[0.35563613518346827147984638444893377486536270670316897111143223116097170067432509824209375836653124897608390770261082826784758717234162368303524 +/- 2.49e-144]",
      "k": 2,
      "mpmath_125dps": "0.35563613518346827147984638444893377486536270670316897111143223116097170067432509824209375836653124897608390770261082826784759",
      "n": 3,
      "number": "0.3556361351834682714798463844489337748653627067031689711114322311609717006743250982420937583665312490"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-0.5982279291169028407200304740791688853994738987379873967200107558661140218584683364207462351187867827396015414849741060908632629508277570028469 +/- 5.60e-143]",
      "k": 3,
      "mpmath_125dps": "-0.59822792911690284072003047407916888539947389873798739672001075586611402185846833642074623511878678273960154148497410609086326",
      "n": 3,
      "number": "-0.5982279291169028407200304740791688853994738987379873967200107558661140218584683364207462351187867827"
    },
    {
      "accuracy_bits": 479,
      "ball": "[-1.303940950403577164427204160751025526096379113255019128934907045568021643730757326001351480394769124391868427810480408100545450288120562780535979 +/- 5.81e-145]",
      "k": 1,
      "mpmath_125dps": "-1.3039409504035771644272041607510255260963791132550191289349070455680216437307573260013514803947691243918684278104804081005455",
      "n": 4,
      "number": "-1.303940950403577164427204160751025526096379113255019128934907045568021643730757326001351480394769124"
    },
    {
      "accuracy_bits": 476,
      "ball": "[0.59335010240366073876768798713390798585072013991002165408006628140401663415151106666447034401768982262113492077560696129821654897932825887173129 +/- 5.74e-144]",
      "k": 2,
      "mpmath_125dps": "0.59335010240366073876768798713390798585072013991002165408006628140401663415151106666447034401768982262113492077560696129821654",
      "n": 4,
      "number": "0.5933501024036607387676879871339079858507201399100216540800662814040166341515110666644703440176898226"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.8772330784159287437057852248107484511016592282609615596733385523181121291077678851758652164755988757645859292079457224599700010527679164624965 +/- 2.07e-143]",
      "k": 3,
      "mpmath_125dps": "0.87723307841592874370578522481074845110165922826096155967333855231811212910776788517586521647559887576458592920794572245997",
      "n": 4,
      "number": "0.8772330784159287437057852248107484511016592282609615596733385523181121291077678851758652164755988758"
    },
    {
      "accuracy_bits": 478,
      "ball": "[1.38211953685562593725945851250083083792757923540765869379125620118009584087609813468760646832779496303822787985310619449635911212247865562141926 +/- 4.04e-144]",
      "k": 1,
      "mpmath_125dps": "1.3821195368556259372594585125008308379275792354076586937912562011800958408760981346876064683277949630382278798531061944963591",
      "n": 5,
      "number": "1.382119536855625937259458512500830837927579235407658693791256201180095840876098134687606468327794963"
    },
    {
      "accuracy_bits": 475,
      "ball": "[0.73759182470935153602591176659213388103409783080056051961690120226438139137858599261707710432011370300401130728948530799329330610728907374909182 +/- 7.06e-144]",
      "k": 2,
      "mpmath_125dps": "0.7375918247093515360259117665921338810340978308005605196169012022643813913785859926170771043201137030040113072894853079932933",
      "n": 5,
      "number": "0.7375918247093515360259117665921338810340978308005605196169012022643813913785859926170771043201137030"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-0.9216778289466460877312025634163241890725506410836278569253634843832800733204274633075168178201220743576863297312314764093901838135083258859343 +/- 4.83e-143]",
      "k": 3,
      "mpmath_125dps": "-0.92167782894664608773120256341632418907255064108362785692536348438328007332042746330751681782012207435768632973123147640939019",
      "n": 5,
      "number": "-0.9216778289466460877312025634163241890725506410836278569253634843832800733204274633075168178201220744"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.93650796529259432082613932822845939639555689097579315042762064640287752542429810811202177047032255953835169448359402612215375756903079636513296 +/- 5.54e-144]",
      "k": 1,
      "mpmath_125dps": "-1.9365079652925943208261393282284593963955568909757931504276206464028775254242981081120217704703225595383516944835940261221538",
      "n": 6,
      "number": "-1.936507965292594320826139328228459396395556890975793150427620646402877525424298108112021770470322560"
    },
    {
      "accuracy_bits": 474,
      "ball": "[0.38659637044728020849427794956253084492356398961772115504920680093525481746886594305993458529026517601090506401393733973416734204438945153923185 +/- 7.08e-144]",
      "k": 2,
      "mpmath_125dps": "0.38659637044728020849427794956253084492356398961772115504920680093525481746886594305993458529026517601090506401393733973416736",
      "n": 6,
      "number": "0.3865963704472802084942779495625308449235639896177211550492068009352548174688659430599345852902651760"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.3940809348394708131791196221243512902469329553927149259139271395711848477741681252574227186550663897687650385758837402792971194427030675623938 +/- 4.33e-143]",
      "k": 3,
      "mpmath_125dps": "1.3940809348394708131791196221243512902469329553927149259139271395711848477741681252574227186550663897687650385758837402792971",
      "n": 6,
      "number": "1.394080934839470813179119622124351290246932955392714925913927139571184847774168125257422718655066390"
    },
    {
      "accuracy_bits": 479,
      "ball": "[1.490610761488820507336696096188517069741021482042700702817101013135043371646169215724296225004782597663198829687099432711699067221571063529975255 +/- 8.93e-145]",
      "k": 1,
      "mpmath_125dps": "1.4906107614888205073366960961885170697410214820427007028171010131350433716461692157242962250047825976631988296870994327116991",
      "n": 7,
      "number": "1.490610761488820507336696096188517069741021482042700702817101013135043371646169215724296225004782598"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-0.34231126341459365042422962172858797635032015471140289501115258348141605394548816904672665434138941467047884100237441806950303969483496870945120 +/- 8.47e-144]",
      "k": 2,
      "mpmath_125dps": "-0.34231126341459365042422962172858797635032015471140289501115258348141605394548816904672665434138941467047884100237441806950302",
      "n": 7,
      "number": "-0.3423112634145936504242296217285879763503201547114028950111525834814160539454881690467266543413894147"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.6024464417485896814795240146241793724374907389367673346271395461932532943708796168898069471742412097565978271777473699303040667000068226112816 +/- 3.64e-143]",
      "k": 3,
      "mpmath_125dps": "-1.6024464417485896814795240146241793724374907389367673346271395461932532943708796168898069471742412097565978271777473699303041",
      "n": 7,
      "number": "-1.602446441748589681479524014624179372437490738936767334627139546193253294370879616889806947174241210"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.83351112624545918564071637270307362125834304114168084075513136580221707287987104688264102297309789388609825857539877458643288227815540975499636 +/- 4.06e-144]",
      "k": 1,
      "mpmath_125dps": "-1.8335111262454591856407163727030736212583430411416808407551313658022170728798710468826410229730978938860982585753987745864329",
      "n": 8,
      "number": "-1.833511126245459185640716372703073621258343041141680840755131365802217072879871046882641022973097894"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-1.08422672710366669015657169776959158992533507732107766056487180729765963213769253716067033098393235682115615967146620106586861729829658743017981 +/- 8.10e-144]",
      "k": 2,
      "mpmath_125dps": "-1.0842267271036666901565716977695915899253350773210776605648718072976596321376925371606703309839323568211561596714662010658686",
      "n": 8,
      "number": "-1.084226727103666690156571697769591589925335077321077660564871807297659632137692537160670330983932357"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.4276530037841304501934260755147016687584068878777641448002182623030501629644926201930527742536024330623313583097520110570408593834864443821455 +/- 4.35e-143]",
      "k": 3,
      "mpmath_125dps": "1.4276530037841304501934260755147016687584068878777641448002182623030501629644926201930527742536024330623313583097520110570409",
      "n": 8,
      "number": "1.427653003784130450193426075514701668758406887877764144800218262303050162964492620193052774253602433"
    },
    {
      "accuracy_bits": 478,
      "ball": "[1.568031475625159112262396365129675709338833402820611513731675187160508188246471637912239133396615188836045439966680779558638356474755256974147700 +/- 9.64e-145]",
      "k": 1,
      "mpmath_125dps": "1.5680314756251591122623963651296757093388334028206115137316751871605081882464716379122391333966151888360454399666807795586384",
      "n": 9,
      "number": "1.568031475625159112262396365129675709338833402820611513731675187160508188246471637912239133396615189"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.40977198266704866919571838034812472883111825881935998846968131029218530330813501793119559474964577172649421313858106522272771234346061664130946 +/- 5.78e-144]",
      "k": 2,
      "mpmath_125dps": "-1.4097719826670486691957183803481247288311182588193599884696813102921853033081350179311955947496457717264942131385810652227277",
      "n": 9,
      "number": "-1.409771982667048669195718380348124728831118258819359988469681310292185303308135017931195594749645772"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.4477221877939844396156989400129671459620669576566324132634620515088692061950798871339774787881946251869774405980324058093332385508842548402890 +/- 6.21e-143]",
      "k": 3,
      "mpmath_125dps": "-1.4477221877939844396156989400129671459620669576566324132634620515088692061950798871339774787881946251869774405980324058093332",
      "n": 9,
      "number": "-1.447722187793984439615698940012967145962066957656632413263462051508869206195079887133977478788194625"
    },
    {
      "accuracy_bits": 479,
      "ball": "[-1.41893225042931096280390760921152864166798661394939672754553404245133640177352677515816137714064425280704094501329642039364936448630181030309588 +/- 1.06e-144]",
      "k": 1,
      "mpmath_125dps": "-1.4189322504293109628039076092115286416679866139493967275455340424513364017735267751581613771406442528070409450132964203936494",
      "n": 10,
      "number": "-1.418932250429310962803907609211528641667986613949396727545534042451336401773526775158161377140644253"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-0.92227638871410068020949581203508640873776301741834833125377448469430039863632019342551176387108200977905202343697726277979795671347728453607969 +/- 5.44e-144]",
      "k": 2,
      "mpmath_125dps": "-0.92227638871410068020949581203508640873776301741834833125377448469430039863632019342551176387108200977905202343697726277979793",
      "n": 10,
      "number": "-0.9222763887141006802094958120350864087377630174183483312537744846943003986363201934255117638710820098"
    },
    {
      "accuracy_bits": 474,
      "ball": "[1.8951729670264447787335222930218753686961339398063958436966975951243542479722802993001501499409992431053662367109551375375101156585664257003103 +/- 3.54e-143]",
      "k": 3,
      "mpmath_125dps": "1.8951729670264447787335222930218753686961339398063958436966975951243542479722802993001501499409992431053662367109551375375101",
      "n": 10,
      "number": "1.895172967026444778733522293021875368696133939806395843696697595124354247972280299300150149940999243"
    },
    {
      "accuracy_bits": 479,
      "ball": "[2.426579067846444330335447677644931622551917311630154839538381128382907915417266712287478014792598372545459986477701055608227108160581773329829796 +/- 8.43e-145]",
      "k": 1,
      "mpmath_125dps": "2.4265790678464443303354476776449316225519173116301548395383811283829079154172667122874780147925983725454599864777010556082271",
      "n": 11,
      "number": "2.426579067846444330335447677644931622551917311630154839538381128382907915417266712287478014792598373"
    },
    {
      "accuracy_bits": 474,
      "ball": "[0.48019406246087640560921154376871502961576430881159129102231484184838285108383382692646156509638801342205584884789251913854656749677075696086369 +/- 5.15e-144]",
      "k": 2,
      "mpmath_125dps": "0.4801940624608764056092115437687150296157643088115912910223148418483828510838338269264615650963880134220558488478925191385466",
      "n": 11,
      "number": "0.4801940624608764056092115437687150296157643088115912910223148418483828510838338269264615650963880134"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.3904735016624857060704617645796938699284028770225350147307988345787815330144785610940008206315590365760150686181042432571021287437644072238750 +/- 7.23e-143]",
      "k": 3,
      "mpmath_125dps": "-2.3904735016624857060704617645796938699284028770225350147307988345787815330144785610940008206315590365760150686181042432571021",
      "n": 11,
      "number": "-2.390473501662485706070461764579693869928402877022535014730798834578781533014478561094000820631559037"
    },
    {
      "accuracy_bits": 479,
      "ball": "[-2.36793492929520101931930358456234112674702514839168497932285445385229659198595857848680420978787447865968914286342670906472054674206310608032280 +/- 1.08e-144]",
      "k": 1,
      "mpmath_125dps": "-2.3679349292952010193193035845623411267470251483916849793228544538522965919859585784868042097878744786596891428634267090647205",
      "n": 12,
      "number": "-2.367934929295201019319303584562341126747025148391684979322854453852296591985958578486804209787874479"
    },
    {
      "accuracy_bits": 475,
      "ball": "[0.61997065347046126778487422698630984211792916380288179906253379366810678901880397584767587446930099359235090030253537238915980874430194038187105 +/- 7.48e-144]",
      "k": 2,
      "mpmath_125dps": "0.61997065347046126778487422698630984211792916380288179906253379366810678901880397584767587446930099359235090030253537238915985",
      "n": 12,
      "number": "0.6199706534704612677848742269863098421179291638028817990625337936681067890188039758476758744693009936"
    },
    {
      "accuracy_bits": 474,
      "ball": "[2.5296101682337673298331892891176353744431951872912149897084796645060450485873929876251513963954207834660257910118914550027227982459081023686783 +/- 6.84e-143]",
      "k": 3,
      "mpmath_125dps": "2.5296101682337673298331892891176353744431951872912149897084796645060450485873929876251513963954207834660257910118914550027228",
      "n": 12,
      "number": "2.529610168233767329833189289117635374443195187291214989708479664506045048587392987625151396395420783"
    },
    {
      "accuracy_bits": 478,
      "ball": "[1.39180561676092405278510613073491336657948003208231573018941313222623171273850826996683166303235208606752850434180081646250389634018536677906370 +/- 1.46e-144]",
      "k": 1,
      "mpmath_125dps": "1.3918056167609240527851061307349133665794800320823157301894131322262317127385082699668316630323520860675285043418008164625039",
      "n": 13,
      "number": "1.391805616760924052785106130734913366579480032082315730189413132226231712738508269966831663032352086"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.03000977123606711692972509502798800241562361920390280755003101095160590711654228793913613444994790754892425489624638574424046661164554827545962 +/- 7.45e-144]",
      "k": 2,
      "mpmath_125dps": "-1.0300097712360671169297250950279880024156236192039028075500310109516059071165422879391361344499479075489242548962463857442405",
      "n": 13,
      "number": "-1.030009771236067116929725095027988002415623619203902807550031010951605907116542287939136134449947908"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.4731423803875528556298974171377681481521999681459704213834285467644493767451944183397732184089376809331057062845554838264206091768754246892253 +/- 6.81e-143]",
      "k": 3,
      "mpmath_125dps": "-2.4731423803875528556298974171377681481521999681459704213834285467644493767451944183397732184089376809331057062845554838264206",
      "n": 13,
      "number": "-2.473142380387552855629897417137768148152199968145970421383428546764449376745194418339773218408937681"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.65414819952699077289229503170182914238999416802214215503900102513012980035699995876883339464485019551854801178881055600642229995518843241944861 +/- 1.34e-144]",
      "k": 1,
      "mpmath_125dps": "-1.6541481995269907728922950317018291423899941680221421550390010251301298003569999587688333946448501955185480117888105560064223",
      "n": 14,
      "number": "-1.654148199526990772892295031701829142389994168022142155039001025130129800356999958768833394644850196"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.02463490666479691054177997831566965581023164588828930506638719648835775084979018853521288066651783093248897851772983959329445583505062497112778 +/- 8.22e-144]",
      "k": 2,
      "mpmath_125dps": "-2.0246349066647969105417799783156696558102316458882893050663871964883577508497901885352128806665178309324889785177298395932944",
      "n": 14,
      "number": "-2.024634906664796910541779978315669655810231645888289305066387196488357750849790188535212880666517831"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.5638489119752680326680372823198861594602628551750836383183033132555231428330326775505151860967832748398326662779583051186775027641593454660819 +/- 5.90e-143]",
      "k": 3,
      "mpmath_125dps": "1.5638489119752680326680372823198861594602628551750836383183033132555231428330326775505151860967832748398326662779583051186775",
      "n": 14,
      "number": "1.563848911975268032668037282319886159460262855175083638318303313255523142833032677550515186096783275"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.28777901402275526739540433759825290051226960246213391479180850582452638529293277397677230798422516800741207636711628041771315602490162227941591 +/- 5.12e-144]",
      "k": 1,
      "mpmath_125dps": "2.2877790140227552673954043375982529005122696024621339147918085058245263852929327739767723079842251680074120763671162804177132",
      "n": 15,
      "number": "2.287779014022755267395404337598252900512269602462133914791808505824526385292932773976772307984225168"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.7429188846719026209814883572122507844354429162335847393537342931056886146120823886197587150391635278706097771588633424004094770620128229451995 +/- 5.26e-143]",
      "k": 2,
      "mpmath_125dps": "-1.7429188846719026209814883572122507844354429162335847393537342931056886146120823886197587150391635278706097771588633424004094",
      "n": 15,
      "number": "-1.742918884671902620981488357212250784435442916233584739353734293105688614612082388619758715039163528"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-2.4784582428041348185377030499337965994604470795327121617064524598287237141388546209253227958450291581947230248644339519997616504649500269730431 +/- 8.24e-143]",
      "k": 3,
      "mpmath_125dps": "-2.4784582428041348185377030499337965994604470795327121617064524598287237141388546209253227958450291581947230248644339519997617",
      "n": 15,
      "number": "-2.478458242804134818537703049933796599460447079532712161706452459828723714138854620925322795845029158"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.78357955921289698771946606937852992673838201080467666738599998856327631214967020936186512403769244704508942826276754506429790991006501197801866 +/- 5.32e-144]",
      "k": 1,
      "mpmath_125dps": "-1.7835795592128969877194660693785299267383820108046766673859999885632763121496702093618651240376924470450894282627675450642979",
      "n": 16,
      "number": "-1.783579559212896987719466069378529926738382010804676667385999988563276312149670209361865124037692447"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-0.3533452551504895367803945443790621134840279946667921367982576720231199722605330465954411618267308284845691783759072564739607250485857199155458 +/- 4.49e-143]",
      "k": 2,
      "mpmath_125dps": "-0.35334525515048953678039454437906211348402799466679213679825767202311997226053304659544116182673082848456917837590725647396073",
      "n": 16,
      "number": "-0.3533452551504895367803945443790621134840279946667921367982576720231199722605330465954411618267308285"
    },
    {
      "accuracy_bits": 474,
      "ball": "[3.1622861345436242472527377142665181631925974410985847104753075154682681389570651746973618592717595144503888272652249474999994887117470919378710 +/- 8.14e-143]",
      "k": 3,
      "mpmath_125dps": "3.1622861345436242472527377142665181631925974410985847104753075154682681389570651746973618592717595144503888272652249474999995",
      "n": 16,
      "number": "3.162286134543624247252737714266518163192597441098584710475307515468268138957065174697361859271759514"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.18631101756452372170476516715105666967134762594619690053880502417911485273291030769014541347146141625668677464272169444594952598028948708056009 +/- 3.16e-144]",
      "k": 1,
      "mpmath_125dps": "2.1863110175645237217047651671510566696713476259461969005388050241791148527329103076901454134714614162566867746427216944459495",
      "n": 17,
      "number": "2.186311017564523721704765167151056669671347625946196900538805024179114852732910307690145413471461416"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.4174236070611453170412329559961861143924515526509839121282122219492887542475397135792893337263122474444671634128341777212207377225847482987499 +/- 4.23e-143]",
      "k": 2,
      "mpmath_125dps": "0.41742360706114531704123295599618611439245155265098391212821222194928875424753971357928933372631224744446716341283417772122077",
      "n": 17,
      "number": "0.4174236070611453170412329559961861143924515526509839121282122219492887542475397135792893337263122474"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-3.3136682258504102728907858766557657090529255101790479542364946461029061061845761211621231869165832243905668734214621614289102963210677165591453 +/- 7.62e-143]",
      "k": 3,
      "mpmath_125dps": "-3.3136682258504102728907858766557657090529255101790479542364946461029061061845761211621231869165832243905668734214621614289103",
      "n": 17,
      "number": "-3.313668225850410272890785876655765709052925510179047954236494646102906106184576121162123186916583224"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-2.96453398637806615304161850343601047144913708827270170886201279197571967640985300696336468874526704499038806737602470198124955374339042510015777 +/- 2.31e-144]",
      "k": 1,
      "mpmath_125dps": "-2.9645339863780661530416185034360104714491370882727017088620127919757196764098530069633646887452670449903880673760247019812496",
      "n": 18,
      "number": "-2.964533986378066153041618503436010471449137088272701708862012791975719676409853006963364688745267045"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-1.0395089383110166541160412214228080792851575665441121111246210308481130500243938657724925558115980864601406141518106520023056753445305716571158 +/- 1.57e-143]",
      "k": 2,
      "mpmath_125dps": "-1.0395089383110166541160412214228080792851575665441121111246210308481130500243938657724925558115980864601406141518106520023055",
      "n": 18,
      "number": "-1.039508938311016654116041221422808079285157566544112111124621030848113050024393865772492555811598086"
    },
    {
      "accuracy_bits": 473,
      "ball": "[3.5997934598021330540976354126679935856528362668239037712059472656310300461344435833472195527023796885247250208021120418865076977918974225978327 +/- 5.93e-143]",
      "k": 3,
      "mpmath_125dps": "3.5997934598021330540976354126679935856528362668239037712059472656310300461344435833472195527023796885247250208021120418865078",
      "n": 18,
      "number": "3.599793459802133054097635412667993585652836266823903771205947265631030046134443583347219552702379689"
    },
    {
      "accuracy_bits": 477,
      "ball": "[1.77955599530900061372262458944235303024974474536962832422731281315333673205046097147359851429709049189789111476233690909181545209191797635343901 +/- 1.99e-144]",
      "k": 1,
      "mpmath_125dps": "1.7795559953090006137226245894423530302497447453696283242273128131533367320504609714735985142970904918978911147623369090918155",
      "n": 19,
      "number": "1.779555995309000613722624589442353030249744745369628324227312813153336732050460971473598514297090492"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-2.1569017471571787767653112603717548217852810268083969720994718286350618602282559247401820567643111671286324821772820704689363649255637276111524 +/- 4.07e-143]",
      "k": 2,
      "mpmath_125dps": "-2.1569017471571787767653112603717548217852810268083969720994718286350618602282559247401820567643111671286324821772820704689363",
      "n": 19,
      "number": "-2.156901747157178776765311260371754821785281026808396972099471828635061860228255924740182056764311167"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-2.2239183130093736334301392474952918625226859095372878313980164198820000230849032380819440456791097034466141904999466665131233851166330552807936 +/- 8.62e-143]",
      "k": 3,
      "mpmath_125dps": "-2.2239183130093736334301392474952918625226859095372878313980164198820000230849032380819440456791097034466141904999466665131235",
      "n": 19,
      "number": "-2.223918313009373633430139247495291862522685909537287831398016419882000023084903238081944045679109703"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.45754259050021026210012708339303912593732319950503093063177891661557027672840291313292729315440363258949141137052441063127498167340847648350400 +/- 4.40e-144]",
      "k": 1,
      "mpmath_125dps": "-1.457542590500210262100127083393039125937323199505030930631778916615570276728402913132927293154403632589491411370524410631275",
      "n": 20,
      "number": "-1.457542590500210262100127083393039125937323199505030930631778916615570276728402913132927293154403633"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-0.8919397374539004235825746641483060171332331330849919672002437458371717320401722772178340505692616856683808098768609539869494988999034112413883 +/- 1.30e-143]",
      "k": 2,
      "mpmath_125dps": "-0.89193973745390042358257466414830601713323313308499196720024374583717173204017227721783405056926168566838080987686095398694936",
      "n": 20,
      "number": "-0.8919397374539004235825746641483060171332331330849919672002437458371717320401722772178340505692616857"
    },
    {
      "accuracy_bits": 474,
      "ball": "[3.4592938628311418518855388142675877652063117471729026651265842047866597509964878884148460404886947804436067438285777090335696869746822527111485 +/- 4.38e-143]",
      "k": 3,
      "mpmath_125dps": "3.4592938628311418518855388142675877652063117471729026651265842047866597509964878884148460404886947804436067438285777090335698",
      "n": 20,
      "number": "3.459293862831141851885538814267587765206311747172902665126584204786659750996487888414846040488694780"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.63788620957400339167475322560759381325921479042025237296347015692431172520712409055734135025935362256145181688355142619773495759672453467746714 +/- 5.87e-144]",
      "k": 1,
      "mpmath_125dps": "2.6378862095740033916747532256075938132592147904202523729634701569243117252071240905573413502593536225614518168835514261977349",
      "n": 21,
      "number": "2.637886209574003391674753225607593813259214790420252372963470156924311725207124090557341350259353623"
    },
    {
      "accuracy_bits": 475,
      "ball": "[1.8191401069206338577686320938243948041865975798979493990806774060375907234928813730002615469102566954102835587417225827522824592976384946392464 +/- 1.50e-143]",
      "k": 2,
      "mpmath_125dps": "1.8191401069206338577686320938243948041865975798979493990806774060375907234928813730002615469102566954102835587417225827522826",
      "n": 21,
      "number": "1.819140106920633857768632093824394804186597579897949399080677406037590723492881373000261546910256695"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-3.2076960992002258673858319531648701687034246828843144966238408425124118208162829705682861325081039951571299821066750877514567918972704414736304 +/- 7.87e-143]",
      "k": 3,
      "mpmath_125dps": "-3.2076960992002258673858319531648701687034246828843144966238408425124118208162829705682861325081039951571299821066750877514567",
      "n": 21,
      "number": "-3.207696099200225867385831953164870168703424682884314496623840842512411820816282970568286132508103995"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-2.62687355921597723960179913305993703793846972579917051049908633163507963245575910431483067369372749297149308504556823141069492422829707356295942 +/- 3.32e-144]",
      "k": 1,
      "mpmath_125dps": "-2.626873559215977239601799133059937037938469725799170510499086331635079632455759104314830673693727492971493085045568231410695",
      "n": 22,
      "number": "-2.626873559215977239601799133059937037938469725799170510499086331635079632455759104314830673693727493"
    },
    {
      "accuracy_bits": 474,
      "ball": "[1.9923020434741259672579424882002867308886713864782318166630998578952149215689049240405610587966802339446101691630527474990372103741344225552184 +/- 5.53e-143]",
      "k": 2,
      "mpmath_125dps": "1.9923020434741259672579424882002867308886713864782318166630998578952149215689049240405610587966802339446101691630527474990371",
      "n": 22,
      "number": "1.992302043474125967257942488200286730888671386478231816663099857895214921568904924040561058796680234"
    },
    {
      "accuracy_bits": 473,
      "ball": "[3.5967374166292575658302426444068863148797435377541619829897092213363257763642407488161830411858293127337239827747798089134914707553573571364866 +/- 6.18e-143]",
      "k": 3,
      "mpmath_125dps": "3.5967374166292575658302426444068863148797435377541619829897092213363257763642407488161830411858293127337239827747798089134916",
      "n": 22,
      "number": "3.596737416629257565830242644406886314879743537754161982989709221336325776364240748816183041185829313"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.16177883513601992086483601914806884533607616408807715879884485365665086799615302225141728431396408913120433818158752816672303690842572945868860 +/- 4.96e-144]",
      "k": 1,
      "mpmath_125dps": "2.161778835136019920864836019148068845336076164088077158798844853656650867996153022251417284313964089131204338181587528166723",
      "n": 23,
      "number": "2.161778835136019920864836019148068845336076164088077158798844853656650867996153022251417284313964089"
    },
    {
      "accuracy_bits": 474,
      "ball": "[0.6348409026894252841276081121749234202995333391779512596220896471977331167538964884690169188513709759619940092394521204184775364054319214352513 +/- 3.55e-143]",
      "k": 2,
      "mpmath_125dps": "0.63484090268942528412760811217492342029953333917795125962208964719773311675389648846901691885137097596199400923945212041847759",
      "n": 23,
      "number": "0.6348409026894252841276081121749234202995333391779512596220896471977331167538964884690169188513709760"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-4.1792357446178450724848623704715449939319098665810400862320869785205880250321296940740981623669882093802172031726435430451584874321329840277864 +/- 7.69e-143]",
      "k": 3,
      "mpmath_125dps": "-4.1792357446178450724848623704715449939319098665810400862320869785205880250321296940740981623669882093802172031726435430451585",
      "n": 23,
      "number": "-4.179235744617845072484862370471544993931909866581040086232086978520588025032129694074098162366988209"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-1.80044349703986341137976433225113344522071094957688942264987977891553177159706868733197846118916863478403372391089279552896327138777227349969011 +/- 3.28e-144]",
      "k": 1,
      "mpmath_125dps": "-1.8004434970398634113797643322511334452207109495768894226498797789155317715970686873319784611891686347840337239108927955289633",
      "n": 24,
      "number": "-1.800443497039863411379764332251133445220710949576889422649879778915531771597068687331978461189168635"
    },
    {
      "accuracy_bits": 475,
      "ball": "[1.2810416826471946754043818585053294354446839472143318599243787728539357164030639640975019375727751849749510403578333615548652955933464433768054 +/- 1.84e-143]",
      "k": 2,
      "mpmath_125dps": "1.2810416826471946754043818585053294354446839472143318599243787728539357164030639640975019375727751849749510403578333615548651",
      "n": 24,
      "number": "1.281041682647194675404381858505329435444683947214331859924378772853935716403063964097501937572775185"
    },
    {
      "accuracy_bits": 474,
      "ball": "[4.096150179587753402659175750069507773479721936777300842536952487065115807811205260894421190151340310521670126886395139220421793389829369809641 +/- 3.04e-142]",
      "k": 3,
      "mpmath_125dps": "4.0961501795877534026591757500695077734797219367773008425369524870651158078112052608944211901513403105216701268863951392204219",
      "n": 24,
      "number": "4.096150179587753402659175750069507773479721936777300842536952487065115807811205260894421190151340311"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.17646078129376386897257807971948775323271276275632012937897896630410814017006015872165033042509416639111311586183838211919579673612081964404522 +/- 4.64e-144]",
      "k": 1,
      "mpmath_125dps": "2.1764607812937638689725780797194877532327127627563201293789789663041081401700601587216503304250941663911131158618383821191958",
      "n": 25,
      "number": "2.176460781293763868972578079719487753232712762756320129378978966304108140170060158721650330425094166"
    },
    {
      "accuracy_bits": 476,
      "ball": "[2.7905715400157015923620271608160320942013340052957404349767581604544887781578952846011544049107390028792996442677603401076088775344626335662181 +/- 4.26e-143]",
      "k": 2,
      "mpmath_125dps": "2.7905715400157015923620271608160320942013340052957404349767581604544887781578952846011544049107390028792996442677603401076089",
      "n": 25,
      "number": "2.790571540015701592362027160816032094201334005295740434976758160454488778157895284601154404910739003"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-2.7635578173519474575554981844641868839318321681590959401883693654682700858801436003209137286690143955380150470445767525780672871320031028057160 +/- 6.00e-143]",
      "k": 3,
      "mpmath_125dps": "-2.7635578173519474575554981844641868839318321681590959401883693654682700858801436003209137286690143955380150470445767525780672",
      "n": 25,
      "number": "-2.763557817351947457555498184464186883931832168159095940188369365468270085880143600320913728669014396"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-3.00508338410953733300968358061342791241104795819321306402223580533526945120827912267841179191986256349370656667524275342666809444496310471776403 +/- 5.41e-144]",
      "k": 1,
      "mpmath_125dps": "-3.005083384109537333009683580613427912411047958193213064022235805335269451208279122678411791919862563493706566675242753426668",
      "n": 26,
      "number": "-3.005083384109537333009683580613427912411047958193213064022235805335269451208279122678411791919862563"
    },
    {
      "accuracy_bits": 475,
      "ball": "[2.1497164869104155538930979859865662759938451133254449016970341263258885484655493338713652780346543106769144781115590183278371238496986484243084 +/- 5.19e-143]",
      "k": 2,
      "mpmath_125dps": "2.1497164869104155538930979859865662759938451133254449016970341263258885484655493338713652780346543106769144781115590183278372",
      "n": 26,
      "number": "2.149716486910415553893097985986566275993845113325444901697034126325888548465549333871365278034654311"
    },
    {
      "accuracy_bits": 473,
      "ball": "[3.9040740949227118676149427780234635089103551186649747568461447259526936227440486666132150479627885328667315018654049990169736784073271834396755 +/- 7.08e-143]",
      "k": 3,
      "mpmath_125dps": "3.9040740949227118676149427780234635089103551186649747568461447259526936227440486666132150479627885328667315018654049990169736",
      "n": 26,
      "number": "3.904074094922711867614942778023463508910355118664974756846144725952693622744048666613215047962788533"
    },
    {
      "accuracy_bits": 477,
      "ball": "[1.47940218294527739642035917700054971218963512417721479748957171668061540495608686404097853293841326712429016467481884111609719330826354671967420 +/- 5.79e-144]",
      "k": 1,
      "mpmath_125dps": "1.4794021829452773964203591770005497121896351241772147974895717166806154049560868640409785329384132671242901646748188411160972",
      "n": 27,
      "number": "1.479402182945277396420359177000549712189635124177214797489571716680615404956086864040978532938413267"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-1.3679777939467883200619232767948627557464305728866970375420359442020087135284575900515460394962802384296914342223252021587388730769255945381913 +/- 3.23e-143]",
      "k": 2,
      "mpmath_125dps": "-1.3679777939467883200619232767948627557464305728866970375420359442020087135284575900515460394962802384296914342223252021587388",
      "n": 27,
      "number": "-1.367977793946788320061923276794862755746430572886697037542035944202008713528457590051546039496280238"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-4.0282444372827225715928608829402592464721048708634463389548314182838849199150546752048431051559855875885478149305097949166878952174175737584838 +/- 7.66e-143]",
      "k": 3,
      "mpmath_125dps": "-4.028244437282722571592860882940259246472104870863446338954831418283884919915054675204843105155985587588547814930509794916688",
      "n": 27,
      "number": "-4.028244437282722571592860882940259246472104870863446338954831418283884919915054675204843105155985588"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-1.69355974452910091065806349347611529865330754633275932426659103797552227134707492553085052140919724960667178411395608045121774783612137279740126 +/- 3.56e-144]",
      "k": 1,
      "mpmath_125dps": "-1.6935597445291009106580634934761152986533075463327593242665910379755222713470749255308505214091972496066717841139560804512178",
      "n": 28,
      "number": "-1.693559744529100910658063493476115298653307546332759324266591037975522271347074925530850521409197250"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-2.3614627762397078602542864865997307255761827114101469234204333899749849333803538511388707075902351984734245937124510415977008648521158950235179 +/- 2.70e-143]",
      "k": 2,
      "mpmath_125dps": "-2.3614627762397078602542864865997307255761827114101469234204333899749849333803538511388707075902351984734245937124510415977008",
      "n": 28,
      "number": "-2.361462776239707860254286486599730725576182711410146923420433389974984933380353851138870707590235198"
    },
    {
      "accuracy_bits": 473,
      "ball": "[2.8823077652709859614867299982302363496655343125921637668373372521403978444545324246990037864372697835020970725499340094046301746174247928831781 +/- 6.27e-143]",
      "k": 3,
      "mpmath_125dps": "2.8823077652709859614867299982302363496655343125921637668373372521403978444545324246990037864372697835020970725499340094046303",
      "n": 28,
      "number": "2.882307765270985961486729998230236349665534312592163766837337252140397844454532424699003786437269784"
    },
    {
      "accuracy_bits": 478,
      "ball": "[3.51576707355527539162458989526201994024896765377038097909749743998725138298219956193282867341023594158543371907762604504232142145105086960032824 +/- 4.04e-144]",
      "k": 1,
      "mpmath_125dps": "3.5157670735552753916245898952620199402489676537703809790974974399872513829821995619328286734102359415854337190776260450423214",
      "n": 29,
      "number": "3.515767073555275391624589895262019940248967653770380979097497439987251382982199561932828673410235942"
    },
    {
      "accuracy_bits": 471,
      "ball": "[-0.1225717360977535951505863678587442034315241216627904660769188668049886696548868917331746582650490666958329692369569388783907192541694183283793 +/- 3.99e-143]",
      "k": 2,
      "mpmath_125dps": "-0.12257173609775359515058636785874420343152412166279046607691886680498866965488689173317465826504906669583296923695693887839052",
      "n": 29,
      "number": "-0.1225717360977535951505863678587442034315241216627904660769188668049886696548868917331746582650490667"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-5.6044881949814545238466992226124234341111754987681804872687830841371164137091798540239639127422315840225362000337719309288706718500636245421184 +/- 7.78e-143]",
      "k": 3,
      "mpmath_125dps": "-5.6044881949814545238466992226124234341111754987681804872687830841371164137091798540239639127422315840225362000337719309288707",
      "n": 29,
      "number": "-5.604488194981454523846699222612423434111175498768180487268783084137116413709179854023963912742231584"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-3.15464729957624477638810144609640897986400409428039367303834867505831614711330324052725775998292349904311988608042631990409613567381116279486971 +/- 6.36e-144]",
      "k": 1,
      "mpmath_125dps": "-3.1546472995762447763881014460964089798640040942803936730383486750583161471133032405272577599829234990431198860804263199040962",
      "n": 30,
      "number": "-3.154647299576244776388101446096408979864004094280393673038348675058316147113303240527257759982923499"
    },
    {
      "accuracy_bits": 474,
      "ball": "[0.5712869356798284231088680590804149985881357899402340885107818270597061987638257803574020714953988782650720665349710121615558601516459250679076 +/- 4.09e-143]",
      "k": 2,
      "mpmath_125dps": "0.57128693567982842310886805908041499858813578994023408851078182705970619876382578035740207149539887826507206653497101216155565",
      "n": 30,
      "number": "0.5712869356798284231088680590804149985881357899402340885107818270597061987638257803574020714953988783"
    },
    {
      "accuracy_bits": 474,
      "ball": "[5.4940549069811106676632608369715916117443882465117842537350308606764537738284483600234071766563281551239096363447926198823150896437464486379178 +/- 7.95e-143]",
      "k": 3,
      "mpmath_125dps": "5.4940549069811106676632608369715916117443882465117842537350308606764537738284483600234071766563281551239096363447926198823151",
      "n": 30,
      "number": "5.494054906981110667663260836971591611744388246511784253735030860676453773828448360023407176656328155"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.16741457375304112604254217471552451942084193072353649200353737717617346708572471211967904672367134079002731102532271500582693537366609357618341 +/- 2.52e-144]",
      "k": 1,
      "mpmath_125dps": "2.167414573753041126042542174715524519420841930723536492003537377176173467085724712119679046723671340790027311025322715005827",
      "n": 31,
      "number": "2.167414573753041126042542174715524519420841930723536492003537377176173467085724712119679046723671341"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.2510483776499780929050367068928747444842927069545062201647951271660501495633364530044235191935629460595430315443147186317242258610038032124503 +/- 2.12e-143]",
      "k": 2,
      "mpmath_125dps": "-1.2510483776499780929050367068928747444842927069545062201647951271660501495633364530044235191935629460595430315443147186317241",
      "n": 31,
      "number": "-1.251048377649978092905036706892874744484292706954506220164795127166050149563336453004423519193562946"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-4.5789742218679561368556617025204855951088100002125664033840425459146587845545757293408042267960887668735176296130159523992069986669934291873413 +/- 6.95e-143]",
      "k": 3,
      "mpmath_125dps": "-4.5789742218679561368556617025204855951088100002125664033840425459146587845545757293408042267960887668735176296130159523992071",
      "n": 31,
      "number": "-4.578974221867956136855661702520485595108810000212566403384042545914658784554575729340804226796088767"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-1.87368547605748415857587161795084223060826764833692634259562225747557310549914509132369190049728130070788347173243351091030265272744271590580783 +/- 4.54e-144]",
      "k": 1,
      "mpmath_125dps": "-1.8736854760574841585758716179508422306082676483369263425956222574755731054991450913236919004972813007078834717324335109103026",
      "n": 32,
      "number": "-1.873685476057484158575871617950842230608267648336926342595622257475573105499145091323691900497281301"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-0.3154069128240278186189071142250514802361190560886166270655358349420598112034276814908239821418817970585483967300844962387384159985364531501193 +/- 2.82e-143]",
      "k": 2,
      "mpmath_125dps": "-0.31540691282402781861890711422505148023611905608861662706553583494205981120342768149082398214188179705854839673008449623873864",
      "n": 32,
      "number": "-0.3154069128240278186189071142250514802361190560886166270655358349420598112034276814908239821418817971"
    },
    {
      "accuracy_bits": 474,
      "ball": "[5.1687858225240092076165975909890226222220312714307932340914675801148239894185206183048357584217410364907891085681664652978907664558508750378771 +/- 8.30e-143]",
      "k": 3,
      "mpmath_125dps": "5.1687858225240092076165975909890226222220312714307932340914675801148239894185206183048357584217410364907891085681664652978907",
      "n": 32,
      "number": "5.168785822524009207616597590989022622222031271430793234091467580114823989418520618304835758421741036"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.98249715412091729374675069641956220318530842429613047337752256381409238741986447208567983347854787908378644996486762716294312243491974941503535 +/- 6.52e-144]",
      "k": 1,
      "mpmath_125dps": "2.9824971541209172937467506964195622031853084242961304733775225638140923874198644720856798334785478790837864499648676271629431",
      "n": 33,
      "number": "2.982497154120917293746750696419562203185308424296130473377522563814092387419864472085679833478547879"
    },
    {
      "accuracy_bits": 475,
      "ball": "[3.0702538443532332477107595940941440075263280904102077706553682542956349518077209859488267511077756191794781682939213855289121565065526040070361 +/- 4.85e-143]",
      "k": 2,
      "mpmath_125dps": "3.0702538443532332477107595940941440075263280904102077706553682542956349518077209859488267511077756191794781682939213855289122",
      "n": 33,
      "number": "3.070253844353233247710759594094144007526328090410207770655368254295634951807720985948826751107775619"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-3.8824340276196105060484049793485536843333630970170866570664878090436866486339148571975981017544798887346440086670601452595025506394371823284419 +/- 6.83e-143]",
      "k": 3,
      "mpmath_125dps": "-3.8824340276196105060484049793485536843333630970170866570664878090436866486339148571975981017544798887346440086670601452595025",
      "n": 33,
      "number": "-3.882434027619610506048404979348553684333363097017086657066487809043686648633914857197598101754479889"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-1.59084575948885369571928246070503234616163432275614225993902652387995193357775231387690507427087566938457279757884335226130265547609002739509740 +/- 6.34e-144]",
      "k": 1,
      "mpmath_125dps": "-1.5908457594888536957192824607050323461616343227561422599390265238799519335777523138769050742708756693845727975788433522613027",
      "n": 34,
      "number": "-1.590845759488853695719282460705032346161634322756142259939026523879951933577752313876905074270875669"
    },
    {
      "accuracy_bits": 476,
      "ball": "[3.8401269971126836561123531356157414034802118942216440548483735964601172358836436911384743343781885718991628639874070742534847519627253601768505 +/- 2.06e-143]",
      "k": 2,
      "mpmath_125dps": "3.8401269971126836561123531356157414034802118942216440548483735964601172358836436911384743343781885718991628639874070742534847",
      "n": 34,
      "number": "3.840126997112683656112353135615741403480211894221644054848373596460117235883643691138474334378188572"
    },
    {
      "accuracy_bits": 472,
      "ball": "[1.4834308713517751204551231286027784078346396622750783647182636541072816904501351285713475696169362329366001611302451291997236376264558637703721 +/- 6.44e-143]",
      "k": 3,
      "mpmath_125dps": "1.4834308713517751204551231286027784078346396622750783647182636541072816904501351285713475696169362329366001611302451291997236",
      "n": 34,
      "number": "1.483430871351775120455123128602778407834639662275078364718263654107281690450135128571347569616936233"
    },
    {
      "accuracy_bits": 477,
      "ball": "[1.36115077689314841446790324177414937088955667501228558386425657227782523803029904341142504067608085253510353598396112062286252734958500991056843 +/- 2.18e-144]",
      "k": 1,
      "mpmath_125dps": "1.3611507768931484144679032417741493708895566750122855838642565722778252380302990434114250406760808525351035359839611206228626",
      "n": 35,
      "number": "1.361150776893148414467903241774149370889556675012285583864256572277825238030299043411425040676080853"
    },
    {
      "accuracy_bits": 475,
      "ball": "[2.2574885930030511103070762735252296878901278131670866662321108603500302552937365970112836038764556852908444411370898853856943962044474802572539 +/- 2.79e-143]",
      "k": 2,
      "mpmath_125dps": "2.2574885930030511103070762735252296878901278131670866662321108603500302552937365970112836038764556852908444411370898853856943",
      "n": 35,
      "number": "2.257488593003051110307076273525229687890127813167086666232110860350030255293736597011283603876455685"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-4.6657161764456151684577441434357179682119967124623443831377809682488789982836096739081795361326164068333447822331137746652053568334658854073540 +/- 7.86e-143]",
      "k": 3,
      "mpmath_125dps": "-4.6657161764456151684577441434357179682119967124623443831377809682488789982836096739081795361326164068333447822331137746652055",
      "n": 35,
      "number": "-4.665716176445615168457744143435717968211996712462344383137780968248878998283609673908179536132616407"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-2.54627840898533152375051319903195953981370676005610483007533149360544261531986344658502235673632409953376282653963534515414260603114081758109651 +/- 2.44e-144]",
      "k": 1,
      "mpmath_125dps": "-2.5462784089853315237505131990319595398137067600561048300753314936054426153198634465850223567363240995337628265396353451541426",
      "n": 36,
      "number": "-2.546278408985331523750513199031959539813706760056104830075331493605442615319863446585022356736324100"
    },
    {
      "accuracy_bits": 471,
      "ball": "[0.1099872196422878262621077841177475588745237298193792742740746110277417493456668916448463665229018109038848804663190149777087278871159826514316 +/- 2.24e-143]",
      "k": 2,
      "mpmath_125dps": "0.10998721964228782626210778411774755887452372981937927427407461102774174934566689164484636652290181090388488046631901497770882",
      "n": 36,
      "number": "0.1099872196422878262621077841177475588745237298193792742740746110277417493456668916448463665229018109"
    },
    {
      "accuracy_bits": 474,
      "ball": "[5.6998531658651483818209454182814426830044954535957864826435889549433960710364579666403727993852632546371741954372664806419773579459525056966176 +/- 7.45e-143]",
      "k": 3,
      "mpmath_125dps": "5.6998531658651483818209454182814426830044954535957864826435889549433960710364579666403727993852632546371741954372664806419774",
      "n": 36,
      "number": "5.699853165865148381820945418281442683004495453595786482643588954943396071036457966640372799385263255"
    },
    {
      "accuracy_bits": 478,
      "ball": "[3.11900598621120687754169889164774437862660934129837049269466065937424282316322874341065270819723906696440538982595879478849147518067857929327270 +/- 4.95e-144]",
      "k": 1,
      "mpmath_125dps": "3.1190059862112068775416988916477443786266093412983704926946606593742428231632287434106527081972390669644053898259587947884915",
      "n": 37,
      "number": "3.119005986211206877541698891647744378626609341298370492694660659374242823163228743410652708197239067"
    },
    {
      "accuracy_bits": 474,
      "ball": "[1.5493472293263532992247299216780478657992313331897652618505943364767332565672019172599417488934544538850457444205881861707544410425503662777743 +/- 5.41e-143]",
      "k": 2,
      "mpmath_125dps": "1.5493472293263532992247299216780478657992313331897652618505943364767332565672019172599417488934544538850457444205881861707544",
      "n": 37,
      "number": "1.549347229326353299224729921678047865799231333189765261850594336476733256567201917259941748893454454"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-5.9697491633274102199082832038616766107393699369877031250516332567769366034756194647611978700196861092002257620896618338242649590178912264021868 +/- 8.11e-143]",
      "k": 3,
      "mpmath_125dps": "-5.969749163327410219908283203861676610739369936987703125051633256776936603475619464761197870019686109200225762089661833824265",
      "n": 37,
      "number": "-5.969749163327410219908283203861676610739369936987703125051633256776936603475619464761197870019686109"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-3.88761699892738377152989419605929374706155085103196223230393356187553507719131783684189949153614913495452465899573680233085848505193585617803918 +/- 3.97e-144]",
      "k": 1,
      "mpmath_125dps": "-3.8876169989273837715298941960592937470615508510319622323039335618755350771913178368418994915361491349545246589957368023308585",
      "n": 38,
      "number": "-3.887616998927383771529894196059293747061550851031962232303933561875535077191317836841899491536149135"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.2968454428542946438975061175894747469762119703331623023174473284543368300567382309043612679984263053443412260949313374377002325064185531544443 +/- 2.22e-143]",
      "k": 2,
      "mpmath_125dps": "0.29684544285429464389750611758947474697621197033316230231744732845433683005673823090436126799842630534434122609493133743770019",
      "n": 38,
      "number": "0.2968454428542946438975061175894747469762119703331623023174473284543368300567382309043612679984263053"
    },
    {
      "accuracy_bits": 474,
      "ball": "[6.867754347494864904743277385032244115796762713571643108045982586387427489023062354175948050650352756393758918555486231813120552627848039918547 +/- 1.06e-142]",
      "k": 3,
      "mpmath_125dps": "6.8677543474948649047432773850322441157967627135716431080459825863874274890230623541759480506503527563937589185554862318131206",
      "n": 38,
      "number": "6.867754347494864904743277385032244115796762713571643108045982586387427489023062354175948050650352756"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.29493952033335643069621547564247504796499657317342479201474666792338198685615984479632123002347562439191914112988208698000351684169346930728534 +/- 3.38e-144]",
      "k": 1,
      "mpmath_125dps": "2.2949395203333564306962154756424750479649965731734247920147466679233819868561598447963212300234756243919191411298820869800035",
      "n": 39,
      "number": "2.294939520333356430696215475642475047964996573173424792014746667923381986856159844796321230023475624"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-2.1749806181422287945224348169225636737957194422150708962378083180590803325076064904623735363311977651789152355407011652992731479533748415028314 +/- 1.41e-143]",
      "k": 2,
      "mpmath_125dps": "-2.1749806181422287945224348169225636737957194422150708962378083180590803325076064904623735363311977651789152355407011652992733",
      "n": 39,
      "number": "-2.174980618142228794522434816922563673795719442215070896237808318059080332507606490462373536331197765"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-4.5362368335913242098816591080921486582087312210759677170134827903038889078710866226830864662666887183933753486315994636830441079660329918482372 +/- 8.19e-143]",
      "k": 3,
      "mpmath_125dps": "-4.536236833591324209881659108092148658208731221075967717013482790303888907871086622683086466266688718393375348631599463683044",
      "n": 39,
      "number": "-4.536236833591324209881659108092148658208731221075967717013482790303888907871086622683086466266688718"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-1.55914559866775724516875093609552110457879724707006230139157100924701531608050648011567307205455750926206009052263596087906298627138493251541480 +/- 5.51e-144]",
      "k": 1,
      "mpmath_125dps": "-1.559145598667757245168750936095521104578797247070062301391571009247015316080506480115673072054557509262060090522635960879063",
      "n": 40,
      "number": "-1.559145598667757245168750936095521104578797247070062301391571009247015316080506480115673072054557509"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.3225386125274594377179961725906995534772592960978103821771214795302502956508931758467636758659382702710737197517187496370084474384031259187904 +/- 5.57e-143]",
      "k": 2,
      "mpmath_125dps": "0.32253861252745943771799617259069955347725929609781038217712147953025029565089317584676367586593827027107371975171874963700825",
      "n": 40,
      "number": "0.3225386125274594377179961725906995534772592960978103821771214795302502956508931758467636758659382703"
    },
    {
      "accuracy_bits": 475,
      "ball": "[5.8611052948867906879588902874463570079312570693171143324983014402972462877296365413643993754741599017362477974108318104628755622658258469266826 +/- 6.51e-143]",
      "k": 3,
      "mpmath_125dps": "5.8611052948867906879588902874463570079312570693171143324983014402972462877296365413643993754741599017362477974108318104628756",
      "n": 40,
      "number": "5.861105294886790687958890287446357007931257069317114332498301440297246287729636541364399375474159902"
    },
    {
      "accuracy_bits": 478,
      "ball": "[2.31593636307553479237519800641037734816379451831998805514685325474154320829105579761267842713506906869038947232393026456465615923007966217545458 +/- 6.28e-144]",
      "k": 1,
      "mpmath_125dps": "2.315936363075534792375198006410377348163794518319988055146853254741543208291055797612678427135069068690389472323930264564656",
      "n": 41,
      "number": "2.315936363075534792375198006410377348163794518319988055146853254741543208291055797612678427135069069"
    },
    {
      "accuracy_bits": 476,
      "ball": "[3.5093509211706060248035957830834288305069698274246278160398811457053697173498105065064861612994345721135415221738888830966714677500692492383990 +/- 2.54e-143]",
      "k": 2,
      "mpmath_125dps": "3.5093509211706060248035957830834288305069698274246278160398811457053697173498105065064861612994345721135415221738888830966716",
      "n": 41,
      "number": "3.509350921170606024803595783083428830506969827424627816039881145705369717349810506506486161299434572"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-3.0655087241348049903587190860167163403618604420622240516649868044867490305820959440197312979485636031328638238945085822479388404670980592223277 +/- 8.05e-143]",
      "k": 3,
      "mpmath_125dps": "-3.0655087241348049903587190860167163403618604420622240516649868044867490305820959440197312979485636031328638238945085822479384",
      "n": 41,
      "number": "-3.065508724134804990358719086016716340361860442062224051664986804486749030582095944019731297948563603"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-3.93841777854375238085753843279748396089225589139006558253903112143220029764856028623457543998736316673171159153976294999963435387582589859714405 +/- 2.37e-144]",
      "k": 1,
      "mpmath_125dps": "-3.9384177785437523808575384327974839608922558913900655825390311214322002976485602862345754399873631667317115915397629499996343",
      "n": 42,
      "number": "-3.938417778543752380857538432797483960892255891390065582539031121432200297648560286234575439987363167"
    },
    {
      "accuracy_bits": 475,
      "ball": "[2.2840641363606845644170761202491313576866935748338560239569469163738978750313825419265185829548005377870165332896410021664469231099098120830539 +/- 3.36e-143]",
      "k": 2,
      "mpmath_125dps": "2.2840641363606845644170761202491313576866935748338560239569469163738978750313825419265185829548005377870165332896410021664471",
      "n": 42,
      "number": "2.284064136360684564417076120249131357686693574833856023956946916373897875031382541926518582954800538"
    },
    {
      "accuracy_bits": 474,
      "ball": "[6.598781875344355085071828993386994448117485812224800471112416012043518557175159197956920592101434865071271895153938798716889250091088888762454 +/- 2.48e-142]",
      "k": 3,
      "mpmath_125dps": "6.5987818753443550850718289933869944481174858122248004711124160120435185571751591979569205921014348650712718951539387987168891",
      "n": 42,
      "number": "6.598781875344355085071828993386994448117485812224800471112416012043518557175159197956920592101434865"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.34394324442838994389295211465306609260327752759568576649637398053185210829047809707108317680228459420293873616803984370773214610419325171688666 +/- 5.26e-144]",
      "k": 1,
      "mpmath_125dps": "2.3439432444283899438929521146530660926032775275956857664963739805318521082904780970710831768022845942029387361680398437077321",
      "n": 43,
      "number": "2.343943244428389943892952114653066092603277527595685766496373980531852108290478097071083176802284594"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.4463921406909248558333854150740324614849143987507768400885796549987157757111149136115262935055275434412461347357817353193902579883336454167116 +/- 4.40e-143]",
      "k": 2,
      "mpmath_125dps": "-1.4463921406909248558333854150740324614849143987507768400885796549987157757111149136115262935055275434412461347357817353193903",
      "n": 43,
      "number": "-1.446392140690924855833385415074032461484914398750776840088579654998715775711114913611526293505527543"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-6.125878898788469423699328069644648144181886947129616081824401249140920657384337316086879095657869442336134352218636195348223781276449618843562 +/- 4.30e-142]",
      "k": 3,
      "mpmath_125dps": "-6.1258788987884694236993280696446481441818869471296160818244012491409206573843373160868790956578694423361343522186361953482238",
      "n": 43,
      "number": "-6.125878898788469423699328069644648144181886947129616081824401249140920657384337316086879095657869442"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.31964683172094107389265460148765004010547926334116098851572776367711424279301417891681033255428794395855592678437400068752296218268816379969916 +/- 6.94e-144]",
      "k": 1,
      "mpmath_125dps": "-2.319646831720941073892654601487650040105479263341160988515727763677114242793014178916810332554287943958555926784374000687523",
      "n": 44,
      "number": "-2.319646831720941073892654601487650040105479263341160988515727763677114242793014178916810332554287944"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.3944163822381166947228038884622144598337493026088502827153455114634010992718661306684267631931060136250905035421020693524097834266809451966018 +/- 6.99e-143]",
      "k": 2,
      "mpmath_125dps": "-1.3944163822381166947228038884622144598337493026088502827153455114634010992718661306684267631931060136250905035421020693524096",
      "n": 44,
      "number": "-1.394416382238116694722803888462214459833749302608850282715345511463401099271866130668426763193106014"
    },
    {
      "accuracy_bits": 473,
      "ball": "[5.910210176849824505159031974569202884702762094932171563979886103141420108372052617596182656193869598880551410358100419266837405538188142884114 +/- 3.50e-142]",
      "k": 3,
      "mpmath_125dps": "5.9102101768498245051590319745692028847027620949321715639798861031414201083720526175961826561938695988805514103581004192668375",
      "n": 44,
      "number": "5.910210176849824505159031974569202884702762094932171563979886103141420108372052617596182656193869599"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.28926642429114359958914114437550205278645012946678860698134848412282285312360827978248601012467514697801082611871990271488487699931609838150616 +/- 8.05e-144]",
      "k": 1,
      "mpmath_125dps": "2.2892664242911435995891411443755020527864501294667886069813484841228228531236082797824860101246751469780108261187199027148849",
      "n": 45,
      "number": "2.289266424291143599589141144375502052786450129466788606981348484122822853123608279782486010124675147"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.6391318940247546250059208169783475635784910340373950888034565676153991482705090092261023121930283582873009178410366058770865334945066962744785 +/- 5.33e-143]",
      "k": 2,
      "mpmath_125dps": "-1.6391318940247546250059208169783475635784910340373950888034565676153991482705090092261023121930283582873009178410366058770863",
      "n": 45,
      "number": "-1.639131894024754625005920816978347563578491034037395088803456567615399148270509009226102312193028358"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-6.698989641766075658175753572470703712121265853949625843769659587226388586469689390773160463067862178159089171331949831905033030489599347947150 +/- 1.06e-142]",
      "k": 3,
      "mpmath_125dps": "-6.6989896417660756581757535724707037121212658539496258437696595872263885864696893907731604630678621781590891713319498319050331",
      "n": 45,
      "number": "-6.698989641766075658175753572470703712121265853949625843769659587226388586469689390773160463067862178"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.81753237303091383641317055352523837461966339046450923728849743724895051493237028673624792102750694989215899349256518322418282271647171480087761 +/- 7.16e-144]",
      "k": 1,
      "mpmath_125dps": "-2.8175323730309138364131705535252383746196633904645092372884974372489505149323702867362479210275069498921589934925651832241825",
      "n": 46,
      "number": "-2.817532373030913836413170553525238374619663390464509237288497437248950514932370286736247921027506950"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.9556428166976993514922611193123411889261466872264702553886509284468762777824778096918290796828084441631039988490389852109746710879046188389257 +/- 2.92e-143]",
      "k": 2,
      "mpmath_125dps": "-3.955642816697699351492261119312341188926146687226470255388650928446876277782477809691829079682808444163103998849038985210975",
      "n": 46,
      "number": "-3.955642816697699351492261119312341188926146687226470255388650928446876277782477809691829079682808444"
    },
    {
      "accuracy_bits": 473,
      "ball": "[4.572102602377323074873040126126917649299586905894854859495297502547575500759502665863642041352484621130085827903342499850088072562633288143162 +/- 4.13e-142]",
      "k": 3,
      "mpmath_125dps": "4.5721026023773230748730401261269176492995869058948548594952975025475755007595026658636420413524846211300858279033424998500874",
      "n": 46,
      "number": "4.572102602377323074873040126126917649299586905894854859495297502547575500759502665863642041352484621"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.15978709879417557372747180891487076282074448094162480207925219289425330293097751867011233734646496509390000712096076668134456862622120029645470 +/- 7.60e-144]",
      "k": 1,
      "mpmath_125dps": "3.1597870987941755737274718089148707628207444809416248020792521928942533029309775186701123373464649650939000071209607666813443",
      "n": 47,
      "number": "3.159787098794175573727471808914870762820744480941624802079252192894253302930977518670112337346464965"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.5589867910886677796925263920569213537566734654963480510509307689325918362450687272647607330963540297758815014311621718309904635334935489790317 +/- 4.55e-143]",
      "k": 2,
      "mpmath_125dps": "-3.5589867910886677796925263920569213537566734654963480510509307689325918362450687272647607330963540297758815014311621718309908",
      "n": 47,
      "number": "-3.558986791088667779692526392056921353756673465496348051050930768932591836245068727264760733096354030"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-4.815748386578089737167369931276546415634842357701436491235675537120426524592266506643747810987556471495185886296003433391307250007918043774737 +/- 4.59e-142]",
      "k": 3,
      "mpmath_125dps": "-4.8157483865780897371673699312765464156348423577014364912356755371204265245922665066437478109875564714951858862960034333913065",
      "n": 47,
      "number": "-4.815748386578089737167369931276546415634842357701436491235675537120426524592266506643747810987556471"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.80149847684435367196176343520606140151521623767509963364804017970225131029188910262484156097875183653534124260981206666018972108623227616697015 +/- 5.83e-144]",
      "k": 1,
      "mpmath_125dps": "-1.8014984768443536719617634352060614015152162376750996336480401797022513102918891026248415609787518365353412426098120666601898",
      "n": 48,
      "number": "-1.801498476844353671961763435206061401515216237675099633648040179702251310291889102624841560978751837"
    },
    {
      "accuracy_bits": 472,
      "ball": "[0.8088424339523664732135685516798573675497542184923869667406823647701409096255578478538601078734438811524857755075870385378922352332512555458333 +/- 2.54e-143]",
      "k": 2,
      "mpmath_125dps": "0.80884243395236647321356855167985736754975421849238696674068236477014090962555784785386010787344388115248577550758703853789179",
      "n": 48,
      "number": "0.8088424339523664732135685516798573675497542184923869667406823647701409096255578478538601078734438812"
    },
    {
      "accuracy_bits": 473,
      "ball": "[6.312871193151491615241480273772195355137815921160636841355151411379671018147274478714592271828438855503107986414819179233362039310159372586291 +/- 1.40e-142]",
      "k": 3,
      "mpmath_125dps": "6.3128711931514916152414802737721953551378159211606368413551514113796710181472744787145922718284388555031079864148191792333623",
      "n": 48,
      "number": "6.312871193151491615241480273772195355137815921160636841355151411379671018147274478714592271828438856"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.01814757584067114479089074972433379969080643111099762318454445758943722329625670503427304419034590119713347958781651707349920446262962444532940 +/- 6.65e-144]",
      "k": 1,
      "mpmath_125dps": "2.0181475758406711447908907497243337996908064311109976231845444575894372232962567050342730441903459011971334795878165170734994",
      "n": 49,
      "number": "2.018147575840671144790890749724333799690806431110997623184544457589437223296256705034273044190345901"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.6537498108891786980508619799877320322167236376475329510189691989033409129423640644869815619417780180350592741938928722796916982831866841729468 +/- 3.46e-143]",
      "k": 2,
      "mpmath_125dps": "1.6537498108891786980508619799877320322167236376475329510189691989033409129423640644869815619417780180350592741938928722796912",
      "n": 49,
      "number": "1.653749810889178698050861979987732032216723637647532951018969198903340912942364064486981561941778018"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-5.731852116095244858163846261845069288520985298133555449713003860518090797732937164762218610079820725698765003042735599265419572868615289749782 +/- 6.38e-142]",
      "k": 3,
      "mpmath_125dps": "-5.7318521160952448581638462618450692885209852981335554497130038605180907977329371647622186100798207256987650030427355992654201",
      "n": 49,
      "number": "-5.731852116095244858163846261845069288520985298133555449713003860518090797732937164762218610079820726"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-3.74975782496520345387724082778177626457524658957911042806067922823469553146954495960254736405541298764049776318736711109508843843981687756810047 +/- 4.62e-144]",
      "k": 1,
      "mpmath_125dps": "-3.7497578249652034538772408277817762645752465895791104280606792282346955314695449596025473640554129876404977631873671110950886",
      "n": 50,
      "number": "-3.749757824965203453877240827781776264575246589579110428060679228234695531469544959602547364055412988"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.4410004377172927247294206560369257705752667434074276188402197978881528792843270483357409946750388866631570468309853700009236817474272086978470 +/- 2.66e-143]",
      "k": 2,
      "mpmath_125dps": "-2.4410004377172927247294206560369257705752667434074276188402197978881528792843270483357409946750388866631570468309853700009233",
      "n": 50,
      "number": "-2.441000437717292724729420656036925770575266743407427618840219797888152879284327048335740994675038887"
    },
    {
      "accuracy_bits": 473,
      "ball": "[6.864715518361038501497430501638806369751933817853469209868599670084854054974972475079019340182594000073581512989213220148355248751439551843380 +/- 2.30e-142]",
      "k": 3,
      "mpmath_125dps": "6.8647155183610385014974305016388063697519338178534692098685996700848540549749724750790193401825940000735815129892132201483556",
      "n": 50,
      "number": "6.864715518361038501497430501638806369751933817853469209868599670084854054974972475079019340182594000"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.24793568110287039349864351542148406327937929320145732700744220855267552009434033595571202131632656578367779622926554704198864984463976296964049 +/- 7.51e-144]",
      "k": 1,
      "mpmath_125dps": "3.2479356811028703934986435154214840632793792932014573270074422085526755200943403359557120213163265657836777962292655470419888",
      "n": 51,
      "number": "3.247935681102870393498643515421484063279379293201457327007442208552675520094340335955712021316326566"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.2395421246662929769062425001664105092259851947278919585720789600215997824556582155288278531209398025131275548395842816018807183713800947905344 +/- 4.07e-143]",
      "k": 2,
      "mpmath_125dps": "-3.2395421246662929769062425001664105092259851947278919585720789600215997824556582155288278531209398025131275548395842816018804",
      "n": 51,
      "number": "-3.239542124666292976906242500166410509225985194727891958572078960021599782455658215528827853120939803"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-6.635534848083756855239476729356869823799076277412055024479623443243600742027214687380221754684158794957096994472212771454347458015086368479420 +/- 4.92e-142]",
      "k": 3,
      "mpmath_125dps": "-6.6355348480837568552394767293568698237990762774120550244796234432436007420272146873802217546841587949570969944722127714543479",
      "n": 51,
      "number": "-6.635534848083756855239476729356869823799076277412055024479623443243600742027214687380221754684158795"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.81719599552549456618043756399489083543108913993296656487188560289264049298203686794617568794438417654767634529745761957908963884083271093545529 +/- 7.30e-144]",
      "k": 1,
      "mpmath_125dps": "-2.8171959955254945661804375639948908354310891399329665648718856028926404929820368679461756879443841765476763452974576195790897",
      "n": 52,
      "number": "-2.817195995525494566180437563994890835431089139932966564871885602892640492982036867946175687944384177"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.6247618767786053604574185400723010597746349702514983947959197830971084562581893441805214849509088816982533478585666673393964639371754651822711 +/- 2.52e-143]",
      "k": 2,
      "mpmath_125dps": "-1.6247618767786053604574185400723010597746349702514983947959197830971084562581893441805214849509088816982533478585666673393961",
      "n": 52,
      "number": "-1.624761876778605360457418540072301059774634970251498394795919783097108456258189344180521484950908882"
    },
    {
      "accuracy_bits": 473,
      "ball": "[7.533199248389550863341444777236418019013537581485584373630764723984052479332162544942426541141959988486131410632269558419970396286779828149351 +/- 4.24e-142]",
      "k": 3,
      "mpmath_125dps": "7.5331992483895508633414447772364180190135375814855843736307647239840524793321625449424265411419599884861314106322695584199705",
      "n": 52,
      "number": "7.533199248389550863341444777236418019013537581485584373630764723984052479332162544942426541141959988"
    },
    {
      "accuracy_bits": 476,
      "ball": "[1.62016418946298660057772168750665229345036016408294580375059602899210020077319707611371300938553471947246138561680808398413679832185615337668786 +/- 4.27e-144]",
      "k": 1,
      "mpmath_125dps": "1.6201641894629866005777216875066522934503601640829458037505960289921002007731970761137130093855347194724613856168080839841368",
      "n": 53,
      "number": "1.620164189462986600577721687506652293450360164082945803750596028992100200773197076113713009385534719"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.0838021384414606554618473372713497889822579405829199572605730479244083531126077727843055909946796252681603068263382430915062485062178675420989 +/- 4.15e-143]",
      "k": 2,
      "mpmath_125dps": "-3.0838021384414606554618473372713497889822579405829199572605730479244083531126077727843055909946796252681603068263382430915063",
      "n": 53,
      "number": "-3.083802138441460655461847337271349788982257940582919957260573047924408353112607772784305590994679625"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-4.484280570532883772250640266975488899955076255231377164477394210971447096769251910006138295438797543752131210621418145925022007824038365119879 +/- 4.88e-142]",
      "k": 3,
      "mpmath_125dps": "-4.4842805705328837722506402669754888999550762552313771644773942109714470967692519100061382954387975437521312106214181459250219",
      "n": 53,
      "number": "-4.484280570532883772250640266975488899955076255231377164477394210971447096769251910006138295438797544"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.58221699083373808284132433121852901791074844967181735021126450586264258496182172003905142634344088579690476125205879553631156253457033133094185 +/- 8.01e-144]",
      "k": 1,
      "mpmath_125dps": "-1.5822169908337380828413243312185290179107484496718173502112645058626425849618217200390514263434408857969047612520587955363118",
      "n": 54,
      "number": "-1.582216990833738082841324331218529017910748449671817350211264505862642584961821720039051426343440886"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.8206150729344351425543593325318631110330323684524249637868115501567595231761815355964107512184760274249844552942786629193866186300617826968599 +/- 7.49e-143]",
      "k": 2,
      "mpmath_125dps": "-2.8206150729344351425543593325318631110330323684524249637868115501567595231761815355964107512184760274249844552942786629193862",
      "n": 54,
      "number": "-2.820615072934435142554359332531863111033032368452424963786811550156759523176181535596410751218476027"
    },
    {
      "accuracy_bits": 472,
      "ball": "[5.109719454459362633733009635229682141693814651202723518149098084008665483466304388959432056497956114846608182488307578060278376315298610366543 +/- 5.03e-142]",
      "k": 3,
      "mpmath_125dps": "5.109719454459362633733009635229682141693814651202723518149098084008665483466304388959432056497956114846608182488307578060279",
      "n": 54,
      "number": "5.109719454459362633733009635229682141693814651202723518149098084008665483466304388959432056497956115"
    },
    {
      "accuracy_bits": 478,
      "ball": "[4.24197006121036317583206147034304279422714734993001621198449159781393658337263964910436972596194869952973479915341639375670172549668580414855917 +/- 4.83e-144]",
      "k": 1,
      "mpmath_125dps": "4.241970061210363175832061470343042794227147349930016211984491597813936583372639649104369725961948699529734799153416393756702",
      "n": 55,
      "number": "4.241970061210363175832061470343042794227147349930016211984491597813936583372639649104369725961948700"
    },
    {
      "accuracy_bits": 474,
      "ball": "[2.9885050059381531165780919230329489652200400052688165706999055444530292760230239866393735350014201745854728303802868769349336382537713790632518 +/- 3.00e-143]",
      "k": 2,
      "mpmath_125dps": "2.988505005938153116578091923032948965220040005268816570699905544453029276023023986639373535001420174585472830380286876934933",
      "n": 55,
      "number": "2.988505005938153116578091923032948965220040005268816570699905544453029276023023986639373535001420175"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-7.365557569484537609454439808679340405055771622588207077223278317479395665054192800037004307195658374546064927048867507959069472525400319445716 +/- 2.93e-142]",
      "k": 3,
      "mpmath_125dps": "-7.3655575694845376094544398086793404050557716225882070772232783174793956650541928000370043071956583745460649270488675079590702",
      "n": 55,
      "number": "-7.365557569484537609454439808679340405055771622588207077223278317479395665054192800037004307195658375"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-3.09573853852666572466274799519260194007672755875485245940411040083313270687475437849562965823461928775239196193028432108459356399686025864670581 +/- 5.19e-144]",
      "k": 1,
      "mpmath_125dps": "-3.0957385385266657246627479951926019400767275587548524594041104008331327068747543784956296582346192877523919619302843210845933",
      "n": 56,
      "number": "-3.095738538526665724662747995192601940076727558754852459404110400833132706874754378495629658234619288"
    },
    {
      "accuracy_bits": 475,
      "ball": "[4.0159597359658578510145609038246034228535077542012023059074287494611669057746942770749084634808177835811883345813210372603799751154936033696962 +/- 7.10e-143]",
      "k": 2,
      "mpmath_125dps": "4.0159597359658578510145609038246034228535077542012023059074287494611669057746942770749084634808177835811883345813210372603803",
      "n": 56,
      "number": "4.015959735965857851014560903824603422853507754201202305907428749461166905774694277074908463480817784"
    },
    {
      "accuracy_bits": 473,
      "ball": "[4.872818868690310740593524387328652484834214628923414396764674540227886240279958316488805893570545088683736537984153607940315981895493643487335 +/- 4.41e-142]",
      "k": 3,
      "mpmath_125dps": "4.8728188686903107405935243873286524848342146289234143967646745402278862402799583164888058935705450886837365379841536079403152",
      "n": 56,
      "number": "4.872818868690310740593524387328652484834214628923414396764674540227886240279958316488805893570545089"
    },
    {
      "accuracy_bits": 476,
      "ball": "[1.74312963993963335359534173583461531756365367144496963202817110512485532316486413123628811231139894298107940358972399915171083295945460129374999 +/- 8.73e-144]",
      "k": 1,
      "mpmath_125dps": "1.7431296399396333535953417358346153175636536714449696320281711051248553231648641312362881123113989429810794035897239991517108",
      "n": 57,
      "number": "1.743129639939633353595341735834615317563653671444969632028171105124855323164864131236288112311398943"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-0.7996753284742136083923642111410508141262254410906699534073684716233378751451026449174230535625031002315989371049958209271951607383958101325292 +/- 6.29e-143]",
      "k": 2,
      "mpmath_125dps": "-0.79967532847421360839236421114105081412622544109066995340736847162333787514510264491742305356250310023159893710499582092719515",
      "n": 57,
      "number": "-0.7996753284742136083923642111410508141262254410906699534073684716233378751451026449174230535625031002"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-7.166503953268474747893633991729804235765994092044771387800258262452602847747874367429290676882051215494552900062650016215176784236933910262549 +/- 5.07e-142]",
      "k": 3,
      "mpmath_125dps": "-7.1665039532684747478936339917298042357659940920447713878002582624526028477478743674292906768820512154945529000626500162151768",
      "n": 57,
      "number": "-7.166503953268474747893633991729804235765994092044771387800258262452602847747874367429290676882051215"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.13577999936771512015919590059957942160068571579553412601876422483842958316668151244361882953374470001343451752459174683357389013089941747350309 +/- 5.80e-144]",
      "k": 1,
      "mpmath_125dps": "-2.1357799993677151201591959005995794216006857157955341260187642248384295831666815124436188295337447000134345175245917468335737",
      "n": 58,
      "number": "-2.135779999367715120159195900599579421600685715795534126018764224838429583166681512443618829533744700"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.5364058909362523371561879110483982195962078477359651035871773133630321924133323360785315180912305020719475909039149124042849713161113455308914 +/- 3.08e-143]",
      "k": 2,
      "mpmath_125dps": "-2.5364058909362523371561879110483982195962078477359651035871773133630321924133323360785315180912305020719475909039149124042854",
      "n": 58,
      "number": "-2.536405890936252337156187911048398219596207847735965103587177313363032192413332336078531518091230502"
    },
    {
      "accuracy_bits": 473,
      "ball": "[5.509705376216923525235134139413123236252374115109144577912345873004796781115458904476246952045246196612558697887637415707338577760673144175110 +/- 1.93e-142]",
      "k": 3,
      "mpmath_125dps": "5.5097053762169235252351341394131232362523741151091445779123458730047967811154589044762469520452461966125586978876374157073378",
      "n": 58,
      "number": "5.509705376216923525235134139413123236252374115109144577912345873004796781115458904476246952045246197"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.59070284029074490512577739807666156109947086649264595418979532739589795538521165653680996572599146033063874417469801525681785725073825225505497 +/- 4.63e-144]",
      "k": 1,
      "mpmath_125dps": "3.5907028402907449051257773980766615610994708664926459541897953273958979553852116565368099657259914603306387441746980152568179",
      "n": 59,
      "number": "3.590702840290744905125777398076661561099470866492645954189795327395897955385211656536809965725991460"
    },
    {
      "accuracy_bits": 471,
      "ball": "[-0.2266814459618099516927795984950895354998375185046861928092559776869973001805473062953536232604811650128672326850874012899671122650032067677081 +/- 6.39e-143]",
      "k": 2,
      "mpmath_125dps": "-0.22668144596180995169277959849508953549983751850468619280925597768699730018054730629535362326048116501286723268508740128996643",
      "n": 59,
      "number": "-0.2266814459618099516927795984950895354998375185046861928092559776869973001805473062953536232604811650"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-8.876857684567842533139089758657930135227904168355556335505236949119382189873977134076066457954154382184102886006330972127248166248997467184677 +/- 5.33e-142]",
      "k": 3,
      "mpmath_125dps": "-8.8768576845678425331390897586579301352279041683555563355052369491193821898739771340760664579541543821841028860063309721272481",
      "n": 59,
      "number": "-8.876857684567842533139089758657930135227904168355556335505236949119382189873977134076066457954154382"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-4.11442327764172835527178474296470010411044315320142881969666802381599255155201720726226905103348582933868438991411037903714477857387107425655361 +/- 6.53e-144]",
      "k": 1,
      "mpmath_125dps": "-4.1144232776417283552717847429647001041104431532014288196966680238159925515520172072622690510334858293386843899141103790371446",
      "n": 60,
      "number": "-4.114423277641728355271784742964700104110443153201428819696668023815992551552017207262269051033485829"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-1.5611230292641502017878974514356270137641921292799142956261951483087163937542641651644563595081573893485536661071707336271478503498604834089502 +/- 2.94e-143]",
      "k": 2,
      "mpmath_125dps": "-1.5611230292641502017878974514356270137641921292799142956261951483087163937542641651644563595081573893485536661071707336271486",
      "n": 60,
      "number": "-1.561123029264150201787897451435627013764192129279914295626195148308716393754264165164456359508157389"
    },
    {
      "accuracy_bits": 474,
      "ball": "[9.292069585935869247773140064666515688154743194707265725797526934974258173209449767296440246819865987698979471865812054404682543479134256756355 +/- 5.83e-142]",
      "k": 3,
      "mpmath_125dps": "9.2920695859358692477731400646665156881547431947072657257975269349742581732094497672964402468198659876989794718658120544046822",
      "n": 60,
      "number": "9.292069585935869247773140064666515688154743194707265725797526934974258173209449767296440246819865988"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.39430669549414072906541169487610412157452079110724906723861489566136957432416054637598416068916244941661439906483150350881865302799328160619080 +/- 7.71e-144]",
      "k": 1,
      "mpmath_125dps": "3.3943066954941407290654116948761041215745207911072490672386148956613695743241605463759841606891624494166143990648315035088184",
      "n": 61,
      "number": "3.394306695494140729065411694876104121574520791107249067238614895661369574324160546375984160689162449"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.5613196831159342901188966115509343534102416821885628293211544462075524051518991920005170544202891011538848914996436980927683230261614616083349 +/- 6.03e-143]",
      "k": 2,
      "mpmath_125dps": "-2.561319683115934290118896611550934353410241682188562829321154446207552405151899192000517054420289101153884891499643698092769",
      "n": 61,
      "number": "-2.561319683115934290118896611550934353410241682188562829321154446207552405151899192000517054420289101"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-7.588039011931665045385961644828961221910898706805847423352823326648643667803434803731159622297303505471603098681731045102487725392018426808500 +/- 5.75e-142]",
      "k": 3,
      "mpmath_125dps": "-7.588039011931665045385961644828961221910898706805847423352823326648643667803434803731159622297303505471603098681731045102487",
      "n": 61,
      "number": "-7.588039011931665045385961644828961221910898706805847423352823326648643667803434803731159622297303505"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.45606891060376270400153460564008252560142500759275940717453153920537582622940504178895379528099007448793634827017963675450796042253109104967737 +/- 6.62e-144]",
      "k": 1,
      "mpmath_125dps": "-2.4560689106037627040015346056400825256014250075927594071745315392053758262294050417889537952809900744879363482701796367545079",
      "n": 62,
      "number": "-2.456068910603762704001534605640082525601425007592759407174531539205375826229405041788953795280990074"
    },
    {
      "accuracy_bits": 471,
      "ball": "[0.2686395374314968734297241224999187507719685896179243297601792891219776815419227292042673396280490661693482553502342149025846594042173982212197 +/- 3.94e-143]",
      "k": 2,
      "mpmath_125dps": "0.26863953743149687342972412249991875077196858961792432976017928912197768154192272920426733962804906616934825535023421490258503",
      "n": 62,
      "number": "0.2686395374314968734297241224999187507719685896179243297601792891219776815419227292042673396280490662"
    },
    {
      "accuracy_bits": 473,
      "ball": "[7.661006203232616401084546642520899262939976202783052519939986326105323575946080319164840611288479980152381077057833156971607673566922721923796 +/- 2.22e-142]",
      "k": 3,
      "mpmath_125dps": "7.6610062032326164010845466425208992629399762027830525199399863261053235759460803191648406112884799801523810770578331569716075",
      "n": 62,
      "number": "7.661006203232616401084546642520899262939976202783052519939986326105323575946080319164840611288479980"
    },
    {
      "accuracy_bits": 476,
      "ball": "[1.53607568748453861341627920806883186038863159426308323531292464829077415375068718032858153295396323215262100458928365434383113409674659747782925 +/- 7.65e-144]",
      "k": 1,
      "mpmath_125dps": "1.5360756874845386134162792080688318603886315942630832353129246482907741537506871803285815329539632321526210045892836543438311",
      "n": 63,
      "number": "1.536075687484538613416279208068831860388631594263083235312924648290774153750687180328581532953963232"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.1007497425651962032317595342101438136571432082809014755997241116740506208036927724492440162609595672292207520287618328057615139549137612555506 +/- 7.21e-143]",
      "k": 2,
      "mpmath_125dps": "-2.1007497425651962032317595342101438136571432082809014755997241116740506208036927724492440162609595672292207520287618328057616",
      "n": 63,
      "number": "-2.100749742565196203231759534210143813657143208280901475599724111674050620803692772449244016260959567"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-7.604983243282325293853525504829248804575084386122509246685630255008029304175955614076010311400955566608096436340749376199532510436189608195437 +/- 2.18e-142]",
      "k": 3,
      "mpmath_125dps": "-7.6049832432823252938535255048292488045750843861225092466856302550080293041759556140760103114009555666080964363407493761995325",
      "n": 63,
      "number": "-7.604983243282325293853525504829248804575084386122509246685630255008029304175955614076010311400955567"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-1.97893746812669139174133286306752595076119893063446091277673607615102613852441340562799226897242560887855565928714951449215928017042105306887388 +/- 4.53e-144]",
      "k": 1,
      "mpmath_125dps": "-1.978937468126691391741332863067525950761198930634460912776736076151026138524413405627992268972425608878555659287149514492159",
      "n": 64,
      "number": "-1.978937468126691391741332863067525950761198930634460912776736076151026138524413405627992268972425609"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-5.2270904631442026574550695878363533840785461341390539899275937213589710277055385746981397192843804020906105929893522527365808322462136872230428 +/- 2.02e-143]",
      "k": 2,
      "mpmath_125dps": "-5.2270904631442026574550695878363533840785461341390539899275937213589710277055385746981397192843804020906105929893522527365809",
      "n": 64,
      "number": "-5.227090463144202657455069587836353384078546134139053989927593721358971027705538574698139719284380402"
    },
    {
      "accuracy_bits": 471,
      "ball": "[1.453899638662072062533001113795092047182817574340573902322030820789250117989979901244858361216153605172351023173120976860003503576593893547755 +/- 3.39e-142]",
      "k": 3,
      "mpmath_125dps": "1.4538996386620720625330011137950920471828175743405739023220308207892501179899799012448583612161536051723510231731209768600028",
      "n": 64,
      "number": "1.453899638662072062533001113795092047182817574340573902322030820789250117989979901244858361216153605"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.4864406282431577407646487574416560998708342113999870976590779266744497670733532386828309957579251425347741582609825234830793302664495795047911 +/- 5.11e-143]",
      "k": 1,
      "mpmath_125dps": "3.486440628243157740764648757441656099870834211399987097659077926674449767073353238682830995757925142534774158260982523483079",
      "n": 65,
      "number": "3.486440628243157740764648757441656099870834211399987097659077926674449767073353238682830995757925143"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-4.8577982190097558715380021582765955496735313439143438153705306102437238872238201004568285292228329564608627999477135325151693237222897717137429 +/- 5.35e-143]",
      "k": 2,
      "mpmath_125dps": "-4.8577982190097558715380021582765955496735313439143438153705306102437238872238201004568285292228329564608627999477135325151697",
      "n": 65,
      "number": "-4.857798219009755871538002158276595549673531343914343815370530610243723887223820100456828529222832956"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-5.676809728262821248717758039249020589875376220970122573267738838803574478561720655745059751053934706499524410015874230183913588068506738116202 +/- 3.49e-142]",
      "k": 3,
      "mpmath_125dps": "-5.6768097282628212487177580392490205898753762209701225732677388388035744785617206557450597510539347064995244100158742301839128",
      "n": 65,
      "number": "-5.676809728262821248717758039249020589875376220970122573267738838803574478561720655745059751053934706"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.35494017679660710365615671211613935600529038623758439159557691734636098580556286087625397806556020903402913394072528750613952972391694044970807 +/- 5.77e-144]",
      "k": 1,
      "mpmath_125dps": "-2.3549401767966071036561567121161393560052903862375843915955769173463609858055628608762539780655602090340291339407252875061395",
      "n": 66,
      "number": "-2.354940176796607103656156712116139356005290386237584391595576917346360985805562860876253978065560209"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-0.3081377024313666278048676354641977670321392815507438506437419868632250619943422817570224635664834774029665837253771158187948307255188502260638 +/- 3.83e-143]",
      "k": 2,
      "mpmath_125dps": "-0.30813770243136662780486763546419776703213928155074385064374198686322506199434228175702246356648347740296658372537711581879455",
      "n": 66,
      "number": "-0.3081377024313666278048676354641977670321392815507438506437419868632250619943422817570224635664834774"
    },
    {
      "accuracy_bits": 474,
      "ball": "[8.819972500780992134622614091251973242106563269476590709073802157877508562294298753410352666163360423912433627878900900778946300564448743161587 +/- 1.91e-142]",
      "k": 3,
      "mpmath_125dps": "8.8199725007809921346226140912519732421065632694765907090738021578775085622942987534103526661633604239124336278789009007789463",
      "n": 66,
      "number": "8.819972500780992134622614091251973242106563269476590709073802157877508562294298753410352666163360424"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.65896080225540552168820049207188577174735863224115987544299153470125799166071021300766298188595067477083565828039063280283110282384492037613431 +/- 8.37e-144]",
      "k": 1,
      "mpmath_125dps": "2.6589608022554055216882004920718857717473586322411598754429915347012579916607102130076629818859506747708356582803906328028311",
      "n": 67,
      "number": "2.658960802255405521688200492071885771747358632241159875442991534701257991660710213007662981885950675"
    },
    {
      "accuracy_bits": 472,
      "ball": "[0.7029631615675439816122954858562515619280964030715174721467136658545259727926477097546699783449954957712879645063969044633913073486974305158220 +/- 6.75e-143]",
      "k": 2,
      "mpmath_125dps": "0.70296316156754398161229548585625156192809640307151747214671366585452597279264770975466997834499549577128796450639690446339112",
      "n": 67,
      "number": "0.7029631615675439816122954858562515619280964030715174721467136658545259727926477097546699783449954958"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-8.019231718355724416773166961154496841828275780245805372578386106770835835508216097195952620818056167189437570073342808929151587936669443984126 +/- 3.87e-142]",
      "k": 3,
      "mpmath_125dps": "-8.0192317183557244167731669611544968418282757802458053725783861067708358355082160971959526208180561671894375700733428089291517",
      "n": 67,
      "number": "-8.019231718355724416773166961154496841828275780245805372578386106770835835508216097195952620818056167"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.82057874414518313297579363492577619017502703116210713402752047300724054859042499500607493784851936787434307168211768122303849435850825307617546 +/- 8.28e-144]",
      "k": 1,
      "mpmath_125dps": "-2.8205787441451831329757936349257761901750270311621071340275204730072405485904249950060749378485193678743430716821176812230385",
      "n": 68,
      "number": "-2.820578744145183132975793634925776190175027031162107134027520473007240548590424995006074937848519368"
    },
    {
      "accuracy_bits": 471,
      "ball": "[0.4489079918470185057999405534145398159416124094646571406272863383009343316413181300053098498560370107745167930196729250919760218522993583529308 +/- 2.93e-143]",
      "k": 2,
      "mpmath_125dps": "0.44890799184701850579994055341453981594161240946465714062728633830093433164131813000530984985603701077451679301967292509197657",
      "n": 68,
      "number": "0.4489079918470185057999405534145398159416124094646571406272863383009343316413181300053098498560370108"
    },
    {
      "accuracy_bits": 474,
      "ball": "[8.900898685156463948261685780106956213834970434370521815653966230045101576629655845567514528175860904995463982759111010265170316755249854527153 +/- 3.47e-142]",
      "k": 3,
      "mpmath_125dps": "8.9008986851564639482616857801069562138349704343705218156539662300451015766296558455675145281758609049954639827591110102651703",
      "n": 68,
      "number": "8.900898685156463948261685780106956213834970434370521815653966230045101576629655845567514528175860905"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.50620601737545065966997636167884849638935587827247525394891351631216617609563731501333557960688873072695046230745123667869440713404952111616322 +/- 8.92e-144]",
      "k": 1,
      "mpmath_125dps": "3.5062060173754506596699763616788484963893558782724752539489135163121661760956373150133355796068887307269504623074512366786942",
      "n": 69,
      "number": "3.506206017375450659669976361678848496389355878272475253948913516312166176095637315013335579606888731"
    },
    {
      "accuracy_bits": 474,
      "ball": "[2.6848395654569883800027970126763620654068648092683059813277630591003790971330069802284479880222747318553509769075425767877271344320806051720642 +/- 7.59e-143]",
      "k": 2,
      "mpmath_125dps": "2.6848395654569883800027970126763620654068648092683059813277630591003790971330069802284479880222747318553509769075425767877277",
      "n": 69,
      "number": "2.684839565456988380002797012676362065406864809268305981327763059100379097133006980228447988022274732"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-8.677739343756298171007635742610495997922702259831495057455139719586404532620843620577148767615946993787562977657137655574178471196321393877961 +/- 2.96e-142]",
      "k": 3,
      "mpmath_125dps": "-8.6777393437562981710076357426104959979227022598314950574551397195864045326208436205771487676159469937875629776571376555741778",
      "n": 69,
      "number": "-8.677739343756298171007635742610495997922702259831495057455139719586404532620843620577148767615946994"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-5.01061352879849773469859714725490650577328030143311551985162099876210632033524727066244338225840181530861927433471651890271937021468442837866926 +/- 6.48e-144]",
      "k": 1,
      "mpmath_125dps": "-5.0106135287984977346985971472549065057732803014331155198516209987621063203352472706624433822584018153086192743347165189027194",
      "n": 70,
      "number": "-5.010613528798497734698597147254906505773280301433115519851620998762106320335247270662443382258401815"
    },
    {
      "accuracy_bits": 469,
      "ball": "[-0.0751580373394573719083151343847919521797423509334286885377828298382363835106692807193332912624233731418537194114170469781219873760312224535980 +/- 5.03e-143]",
      "k": 2,
      "mpmath_125dps": "-0.075158037339457371908315134384791952179742350933428688537782829838236383510669280719333291262423373141853719411417046978121364",
      "n": 70,
      "number": "-0.07515803733945737190831513438479195217974235093342868853778282983823638351066928071933329126242337314"
    },
    {
      "accuracy_bits": 474,
      "ball": "[10.824734932387342619327371899811236625729049485892684282806051616316061839154865654027342243356963001242291228723860937238632841706595392786429 +/- 5.40e-142]",
      "k": 3,
      "mpmath_125dps": "10.824734932387342619327371899811236625729049485892684282806051616316061839154865654027342243356963001242291228723860937238633",
      "n": 70,
      "number": "10.82473493238734261932737189981123662572904948589268428280605161631606183915486565402734224335696300"
    },
    {
      "accuracy_bits": 476,
      "ball": "[1.49433696652386036357375828332615202047304718913666475206088710062875473762328341967135155036346936964928995868453748600419697383768250712666181 +/- 4.96e-144]",
      "k": 1,
      "mpmath_125dps": "1.4943369665238603635737582833261520204730471891366647520608871006287547376232834196713515503634693696492899586845374860041966",
      "n": 71,
      "number": "1.494336966523860363573758283326152020473047189136664752060887100628754737623283419671351550363469370"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-4.2391138636841083686184041449361622068597520660370115545287905113744816306855862458558311698672740575513767991829643618033211965207582866648544 +/- 6.07e-143]",
      "k": 2,
      "mpmath_125dps": "-4.2391138636841083686184041449361622068597520660370115545287905113744816306855862458558311698672740575513767991829643618033214",
      "n": 71,
      "number": "-4.239113863684108368618404144936162206859752066037011554528790511374481630685586245855831169867274058"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-2.208320238157328329799415419289716061355359131834701060382708746393829476460029927305267212683351451815731350421853037269123644828013461339389 +/- 4.01e-142]",
      "k": 3,
      "mpmath_125dps": "-2.2083202381573283297994154192897160613553591318347010603827087463938294764600299273052672126833514518157313504218530372691224",
      "n": 71,
      "number": "-2.208320238157328329799415419289716061355359131834701060382708746393829476460029927305267212683351452"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.23317703154440042676307405398514557883754713004472566102873694635073380760666506413259419771370292191793753389269651067616343970419467825924303 +/- 4.71e-144]",
      "k": 1,
      "mpmath_125dps": "-1.2331770315444004267630740539851455788375471300447256610287369463507338076066650641325941977137029219179375338926965106761634",
      "n": 72,
      "number": "-1.233177031544400426763074053985145578837547130044725661028736946350733807606665064132594197713702922"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.1454710317109742870066106874612282777024796586776293200314427799867560048202423923166653966359130297514881711490946376603384748598102220905710 +/- 6.67e-143]",
      "k": 2,
      "mpmath_125dps": "-2.1454710317109742870066106874612282777024796586776293200314427799867560048202423923166653966359130297514881711490946376603385",
      "n": 72,
      "number": "-2.145471031710974287006610687461228277702479658677629320031442779986756004820242392316665396635913030"
    },
    {
      "accuracy_bits": 473,
      "ball": "[7.037618385555495384254375640743911466215289624567973708379144173679245245128694842740710924499275690314852653077142479041012964511630546945235 +/- 5.17e-142]",
      "k": 3,
      "mpmath_125dps": "7.0376183855554953842543756407439114662152896245679737083791441736792452451286948427407109244992756903148526530771424790410129",
      "n": 72,
      "number": "7.037618385555495384254375640743911466215289624567973708379144173679245245128694842740710924499275690"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.83572543980028202979211329732485588908235398436933074417601970484492822092235746695339238811199350689929569232645521647823751362102129013047469 +/- 8.15e-144]",
      "k": 1,
      "mpmath_125dps": "2.8357254398002820297921132973248558890823539843693307441760197048449282209223574669533923881119935068992956923264552164782375",
      "n": 73,
      "number": "2.835725439800282029792113297324855889082353984369330744176019704844928220922357466953392388111993507"
    },
    {
      "accuracy_bits": 474,
      "ball": "[2.7397804357222454057378147620981991093743816797544700391921589054490099633622968643208877101456747711429838447255510545108926418202105998659584 +/- 7.37e-143]",
      "k": 2,
      "mpmath_125dps": "2.7397804357222454057378147620981991093743816797544700391921589054490099633622968643208877101456747711429838447255510545108928",
      "n": 73,
      "number": "2.739780435722245405737814762098199109374381679754470039192158905449009963362296864320887710145674771"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-6.883204002810222358618293011054513025459690288682288463081800822090482678261511383889446999305767794502567542003477411346483438448112201716694 +/- 4.30e-142]",
      "k": 3,
      "mpmath_125dps": "-6.8832040028102223586182930110545130254596902886822884630818008220904826782615113838894469993057677945025675420034774113464832",
      "n": 73,
      "number": "-6.883204002810222358618293011054513025459690288682288463081800822090482678261511383889446999305767795"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-5.04688832683237774121980767914984267492064247955438542465410101537989952115612611371135014497735369387076479175558526958374854812154962965368152 +/- 5.70e-144]",
      "k": 1,
      "mpmath_125dps": "-5.0468883268323777412198076791498426749206424795543854246541010153798995211561261137113501449773536938707647917555852695837484",
      "n": 74,
      "number": "-5.046888326832377741219807679149842674920642479554385424654101015379899521156126113711350144977353694"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.3858844975482089765862991892720386341278942638148711912534905605339446282085537896123314770106983174661607627487958499307921849912804855990464 +/- 4.51e-143]",
      "k": 2,
      "mpmath_125dps": "-1.3858844975482089765862991892720386341278942638148711912534905605339446282085537896123314770106983174661607627487958499307931",
      "n": 74,
      "number": "-1.385884497548208976586299189272038634127894263814871191253490560533944628208553789612331477010698317"
    },
    {
      "accuracy_bits": 473,
      "ball": "[10.982111348886370035395091504938521340455305392560499698372749084099800622611485129008082236609878259476969497151339655277091164635156981717350 +/- 2.47e-142]",
      "k": 3,
      "mpmath_125dps": "10.982111348886370035395091504938521340455305392560499698372749084099800622611485129008082236609878259476969497151339655277091",
      "n": 74,
      "number": "10.98211134888637003539509150493852134045530539256049969837274908409980062261148512900808223660987826"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.76965237139663075589525236137132093037744091316923676694439521197830950299356143057453265458754058641117277124050464642380438535277568764231143 +/- 6.19e-144]",
      "k": 1,
      "mpmath_125dps": "2.7696523713966307558952523613713209303774409131692367669443952119783095029935614305745326545875405864111727712405046464238043",
      "n": 75,
      "number": "2.769652371396630755895252361371320930377440913169236766944395211978309502993561430574532654587540586"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-4.4907311154888985508141578067831037710827413267944064653131836776666822926426192496416701930162658454596765257466418228510393102819200738236848 +/- 4.99e-143]",
      "k": 2,
      "mpmath_125dps": "-4.4907311154888985508141578067831037710827413267944064653131836776666822926426192496416701930162658454596765257466418228510394",
      "n": 75,
      "number": "-4.490731115488898550814157806783103771082741326794406465313183677666682292642619249641670193016265845"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-6.430151993864871299060520298707681621061173458345796712254318042893352664830796192414729678408522795899451872261318294032559491499430409319042 +/- 2.85e-142]",
      "k": 3,
      "mpmath_125dps": "-6.4301519938648712990605202987076816210611734583457967122543180428933526648307961924147296784085227958994518722613182940325592",
      "n": 75,
      "number": "-6.430151993864871299060520298707681621061173458345796712254318042893352664830796192414729678408522796"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.39064754789414252761374196605068009368495676670945032456730836607018258449306008274278138259096229220447820895271959817208633007279725884367393 +/- 5.50e-144]",
      "k": 1,
      "mpmath_125dps": "-2.3906475478941425276137419660506800936849567667094503245673083660701825844930600827427813825909622922044782089527195981720861",
      "n": 76,
      "number": "-2.390647547894142527613741966050680093684956766709450324567308366070182584493060082742781382590962292"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.4904880716849398296037062119850255183658344153203010736503126888415483833520291648842114744659861828575026751494351144989695702528494274031313 +/- 5.36e-143]",
      "k": 2,
      "mpmath_125dps": "-2.4904880716849398296037062119850255183658344153203010736503126888415483833520291648842114744659861828575026751494351144989703",
      "n": 76,
      "number": "-2.490488071684939829603706211985025518365834415320301073650312688841548383352029164884211474465986183"
    },
    {
      "accuracy_bits": 474,
      "ball": "[8.755521192460982159527301619770762996262890715988753135956613989562981509402998964800798215948078660137339552767180240372407954951095381261054 +/- 6.16e-142]",
      "k": 3,
      "mpmath_125dps": "8.7555211924609821595273016197707629962628907159887531359566139895629815094029989648007982159480786601373395527671802403724074",
      "n": 76,
      "number": "8.755521192460982159527301619770762996262890715988753135956613989562981509402998964800798215948078660"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.85013133309021278991483559298182214380367181168748642915182272111838771465418899480500532289736780013360210835795849679940014520247676676427933 +/- 4.62e-144]",
      "k": 1,
      "mpmath_125dps": "2.8501313330902127899148355929818221438036718116874864291518227211183877146541889948050053228973678001336021083579584967994002",
      "n": 77,
      "number": "2.850131333090212789914835592981822143803671811687486429151822721118387714654188994805005322897367800"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.3945710482597213714803431166089560160601394882598116714325224872330584659022931258463304195014558538563383752155517063977339813494408053741426 +/- 4.40e-143]",
      "k": 2,
      "mpmath_125dps": "-1.3945710482597213714803431166089560160601394882598116714325224872330584659022931258463304195014558538563383752155517063977339",
      "n": 77,
      "number": "-1.394571048259721371480343116608956016060139488259811671432522487233058465902293125846330419501455854"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-8.445831476580639092518332325012982958860085238212360414347882094432592858443781286972049164860097639475352814215723948722879354078691851099586 +/- 3.96e-142]",
      "k": 3,
      "mpmath_125dps": "-8.4458314765806390925183323250129829588600852382123604143478820944325928584437812869720491648600976394753528142157239487228794",
      "n": 77,
      "number": "-8.445831476580639092518332325012982958860085238212360414347882094432592858443781286972049164860097639"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.18105654820464359757908223901845804447114910279324004789892334571962642152724125231305387056980361148020596739082117701853423206665428272577128 +/- 5.66e-144]",
      "k": 1,
      "mpmath_125dps": "-2.1810565482046435975790822390184580444711491027932400478989233457196264215272412523130538705698036114802059673908211770185343",
      "n": 78,
      "number": "-2.181056548204643597579082239018458044471149102793240047898923345719626421527241252313053870569803611"
    },
    {
      "accuracy_bits": 472,
      "ball": "[0.8429211508530230278833815577978828092670189530779878000226539324105335161212731184123910813935889708552561128972408405597745220443759454573073 +/- 6.84e-143]",
      "k": 2,
      "mpmath_125dps": "0.84292115085302302788338155779788280926701895307798780002265393241053351612127311841239108139358897085525611289724084055977422",
      "n": 78,
      "number": "0.8429211508530230278833815577978828092670189530779878000226539324105335161212731184123910813935889709"
    },
    {
      "accuracy_bits": 474,
      "ball": "[9.714792602771063400116641835757529556847215448787901992566326996742811517289099847249544908911173060490571757535514727255491859754454918130193 +/- 5.88e-142]",
      "k": 3,
      "mpmath_125dps": "9.7147926027710634001166418357575295568472154487879019925663269967428115172890998472495449089111730604905717575355147272554919",
      "n": 78,
      "number": "9.714792602771063400116641835757529556847215448787901992566326996742811517289099847249544908911173060"
    },
    {
      "accuracy_bits": 477,
      "ball": "[3.15790515527644742163301166386501741229378006925472038931515188490992702996451216291335036547428502799958340952363836446647173150836139858170745 +/- 7.32e-144]",
      "k": 1,
      "mpmath_125dps": "3.1579051552764474216330116638650174122937800692547203893151518849099270299645121629133503654742850279995834095236383644664719",
      "n": 79,
      "number": "3.157905155276447421633011663865017412293780069254720389315151884909927029964512162913350365474285028"
    },
    {
      "accuracy_bits": 475,
      "ball": "[5.5825137016036911734879110817924568489526166496400890224238749837377285150036116845696481032073653894632641193191797360518819772637896070173084 +/- 7.52e-143]",
      "k": 2,
      "mpmath_125dps": "5.5825137016036911734879110817924568489526166496400890224238749837377285150036116845696481032073653894632641193191797360518818",
      "n": 79,
      "number": "5.582513701603691173487911081792456848952616649640089022423874983737728515003611684569648103207365389"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-4.859392204549002037660407877590411012728685651589519629855756100111578814334169183034732697344525942404321669010528433969961133426965929134607 +/- 1.90e-142]",
      "k": 3,
      "mpmath_125dps": "-4.8593922045490020376604078775904110127286856515895196298557561001115788143341691830347326973445259424043216690105284339699617",
      "n": 79,
      "number": "-4.859392204549002037660407877590411012728685651589519629855756100111578814334169183034732697344525942"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-3.38262022823217043000226209728797669900523361794763922559642507485715851100823622652339983612917737007431294242000856209957362753212017656763488 +/- 4.76e-144]",
      "k": 1,
      "mpmath_125dps": "-3.3826202282321704300022620972879766990052336179476392255964250748571585110082362265233998361291773700743129424200085620995732",
      "n": 80,
      "number": "-3.382620228232170430002262097287976699005233617947639225596425074857158511008236226523399836129177370"
    },
    {
      "accuracy_bits": 475,
      "ball": "[5.4592682867470331314049425347954379071676965118942258617721003705741560129474669241199919606372284585418041295322800865853776890219066837750787 +/- 2.99e-143]",
      "k": 2,
      "mpmath_125dps": "5.4592682867470331314049425347954379071676965118942258617721003705741560129474669241199919606372284585418041295322800865853782",
      "n": 80,
      "number": "5.459268286747033131404942534795437907167696511894225861772100370574156012947466924119991960637228459"
    },
    {
      "accuracy_bits": 473,
      "ball": "[5.428789671324466411558283036962068765974347013892442644132801330413937697977152068009788271730217469261416170300047931988692323122190472966347 +/- 3.10e-142]",
      "k": 3,
      "mpmath_125dps": "5.4287896713244664115582830369620687659743470138924426441328013304139376979771520680097882717302174692614161703000479319886909",
      "n": 80,
      "number": "5.428789671324466411558283036962068765974347013892442644132801330413937697977152068009788271730217469"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.23309643168936443138782206853460456052907155152742705207531754116285225107451993089861660226515507235568533216565102266858225866433016220441526 +/- 5.86e-144]",
      "k": 1,
      "mpmath_125dps": "2.2330964316893644313878220685346045605290715515274270520753175411628522510745199308986166022651550723556853321656510226685822",
      "n": 81,
      "number": "2.233096431689364431387822068534604560529071551527427052075317541162852251074519930898616602265155072"
    },
    {
      "accuracy_bits": 471,
      "ball": "[0.3856436758535633979997725815545290649987976124151717279493294131628220498966113711832582323028593217304547198972919638282452171154521162770165 +/- 6.37e-143]",
      "k": 2,
      "mpmath_125dps": "0.38564367585356339799977258155452906499879761241517172794932941316282204989661137118325823230285932173045471989729196382824573",
      "n": 81,
      "number": "0.3856436758535633979997725815545290649987976124151717279493294131628220498966113711832582323028593217"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-9.451176268598032077361306085525370167608823906048340264568652335078729132731232521546200864031338751448199833860267175695902120259334171680118 +/- 6.61e-142]",
      "k": 3,
      "mpmath_125dps": "-9.4511762685980320773613060855253701676088239060483402645686523350787291327312325215462008640313387514481998338602671756959022",
      "n": 81,
      "number": "-9.451176268598032077361306085525370167608823906048340264568652335078729132731232521546200864031338751"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.07632575699085220464975921418839257727167800714867269805542065424792020692696857794429705807498115198577289655252482865055125114435272053648832 +/- 7.27e-144]",
      "k": 1,
      "mpmath_125dps": "-2.0763257569908522046497592141883925772716780071486726980554206542479202069269685779442970580749811519857728965525248286505512",
      "n": 82,
      "number": "-2.076325756990852204649759214188392577271678007148672698055420654247920206926968577944297058074981152"
    },
    {
      "accuracy_bits": 473,
      "ball": "[0.7566333153878146245564306876404654731302536951125433383629992812789555311582183494806852294576027661972517161222096408787924642492909644570090 +/- 6.40e-143]",
      "k": 2,
      "mpmath_125dps": "0.75663331538781462455643068764046547313025369511254333836299928127895553115821834948068522945760276619725171612220964087879254",
      "n": 82,
      "number": "0.7566333153878146245564306876404654731302536951125433383629992812789555311582183494806852294576027662"
    },
    {
      "accuracy_bits": 474,
      "ball": "[8.884559944146275252312208021697211958792670676092965273504414461388754671978155897016154593753295133129880744386876856896525985600098828088639 +/- 4.58e-142]",
      "k": 3,
      "mpmath_125dps": "8.884559944146275252312208021697211958792670676092965273504414461388754671978155897016154593753295133129880744386876856896526",
      "n": 82,
      "number": "8.884559944146275252312208021697211958792670676092965273504414461388754671978155897016154593753295133"
    },
    {
      "accuracy_bits": 476,
      "ball": "[2.80028746579007525131620999854503626049215910568117003370552454030984414484728398608654923279524476745178796256876537490650114381102563625593316 +/- 9.35e-144]",
      "k": 1,
      "mpmath_125dps": "2.8002874657900752513162099985450362604921591056811700337055245403098441448472839860865492327952447674517879625687653749065009",
      "n": 83,
      "number": "2.800287465790075251316209998545036260492159105681170033705524540309844144847283986086549232795244767"
    },
    {
      "accuracy_bits": 474,
      "ball": "[3.9906145687225023296115556454600206785905229064612655138849253685196107470115911713521439031284084127298017974645767771953086355511443873749771 +/- 5.82e-143]",
      "k": 2,
      "mpmath_125dps": "3.990614568722502329611555645460020678590522906461265513884925368519610747011591171352143903128408412729801797464576777195309",
      "n": 83,
      "number": "3.990614568722502329611555645460020678590522906461265513884925368519610747011591171352143903128408413"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-6.485092863953714058838828021986361552368373154739677577492961651236736317917118462526967222602549148412167525788465233434513717023618297408629 +/- 6.97e-142]",
      "k": 3,
      "mpmath_125dps": "-6.4850928639537140588388280219863615523683731547396775774929616512367363179171184625269672226025491484121675257884652334345129",
      "n": 83,
      "number": "-6.485092863953714058838828021986361552368373154739677577492961651236736317917118462526967222602549148"
    },
    {
      "accuracy_bits": 478,
      "ball": "[-4.51709700487441738024512317892726693916718905064633195752445240644450234423293264239367933543856776812316385433111695983947593075807751528892509 +/- 8.12e-144]",
      "k": 1,
      "mpmath_125dps": "-4.5170970048744173802451231789272669391671890506463319575244524064445023442329326423936793354385677681231638543311169598394759",
      "n": 84,
      "number": "-4.517097004874417380245123178927266939167189050646331957524452406444502344232932642393679335438567768"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.9476338817449204180054031178478120897512238762704094217901750797401587151487294277393692758651393919647682431294869291361885167101414156109752 +/- 6.09e-143]",
      "k": 2,
      "mpmath_125dps": "1.9476338817449204180054031178478120897512238762704094217901750797401587151487294277393692758651393919647682431294869291361887",
      "n": 84,
      "number": "1.947633881744920418005403117847812089751223876270409421790175079740158715148729427739369275865139392"
    },
    {
      "accuracy_bits": 474,
      "ball": "[11.689086045802744231372326511466666821886758485233239233920776439050697539916218320692729437670658465123906886686660636661248667687971153308118 +/- 2.14e-142]",
      "k": 3,
      "mpmath_125dps": "11.689086045802744231372326511466666821886758485233239233920776439050697539916218320692729437670658465123906886686660636661249",
      "n": 84,
      "number": "11.68908604580274423137232651146666682188675848523323923392077643905069753991621832069272943767065847"
    },
    {
      "accuracy_bits": 478,
      "ball": "[4.11798651291068897116282387043775681156483754890516417000803597260714315260699115629831675138947607277837393753716516270643718288573503567529183 +/- 4.03e-144]",
      "k": 1,
      "mpmath_125dps": "4.1179865129106889711628238704377568115648375489051641700080359726071431526069911562983167513894760727783739375371651627064372",
      "n": 85,
      "number": "4.117986512910688971162823870437756811564837548905164170008035972607143152606991156298316751389476073"
    },
    {
      "accuracy_bits": 472,
      "ball": "[0.7460669359126820700294701261499375252169043175726023298752349848027462082156014079410598719905644800848857462567206962536713878621829595118219 +/- 4.19e-143]",
      "k": 2,
      "mpmath_125dps": "0.74606693591268207002947012614993752521690431757260232987523498480274620821560140794105987199056448008488574625672069625367035",
      "n": 85,
      "number": "0.7460669359126820700294701261499375252169043175726023298752349848027462082156014079410598719905644801"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-11.821500494076468025642637125954003616291898451138552840347545137431579630920744919420883291850460102546942356197226122151227638173733349184048 +/- 5.84e-142]",
      "k": 3,
      "mpmath_125dps": "-11.821500494076468025642637125954003616291898451138552840347545137431579630920744919420883291850460102546942356197226122151228",
      "n": 85,
      "number": "-11.82150049407646802564263712595400361629189845113855284034754513743157963092074491942088329185046010"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-3.31050855980498057992163548407324354530386277492964359258398056201789283831713699577713425891492873998879627384022032980124089000618644076531288 +/- 5.40e-144]",
      "k": 1,
      "mpmath_125dps": "-3.3105085598049805799216354840732435453038627749296435925839805620178928383171369957771342589149287399887962738402203298012411",
      "n": 86,
      "number": "-3.310508559804980579921635484073243545303862774929643592583980562017892838317136995777134258914928740"
    },
    {
      "accuracy_bits": 474,
      "ball": "[2.1087718333048290531056403386362224665100718019334803649307145695385053997584284159944230230844508931270841155050534217376203112379477528008182 +/- 6.22e-143]",
      "k": 2,
      "mpmath_125dps": "2.1087718333048290531056403386362224665100718019334803649307145695385053997584284159944230230844508931270841155050534217376195",
      "n": 86,
      "number": "2.108771833304829053105640338636222466510071801933480364930714569538505399758428415994423023084450893"
    },
    {
      "accuracy_bits": 473,
      "ball": "[9.233883814243987890625362535737165859545869958531080101112854134742410375241005723808826869541898406987477902417437935927808671993182015492357 +/- 3.69e-142]",
      "k": 3,
      "mpmath_125dps": "9.2338838142439878906253625357371658595458699585310801011128541347424103752410057238088268695418984069874779024174379359278094",
      "n": 86,
      "number": "9.233883814243987890625362535737165859545869958531080101112854134742410375241005723808826869541898407"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.08522214410452364607630094250481449055487629941961331945505747219883488554273261742635536703521850708763788002844590515840711868043203195849494 +/- 8.20e-144]",
      "k": 1,
      "mpmath_125dps": "2.0852221441045236460763009425048144905548762994196133194550574721988348855427326174263553670352185070876378800284459051584072",
      "n": 87,
      "number": "2.085222144104523646076300942504814490554876299419613319455057472198834885542732617426355367035218507"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.4522428685348625577790094500846800347606269481309100860927428730319727728761526233453076646639209158057116467077682315196006371011881884376569 +/- 6.26e-143]",
      "k": 2,
      "mpmath_125dps": "-1.4522428685348625577790094500846800347606269481309100860927428730319727728761526233453076646639209158057116467077682315196003",
      "n": 87,
      "number": "-1.452242868534862557779009450084680034760626948130910086092742873031972772876152623345307664663920916"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-8.600935878844307607436033223784805585986409292691774502886261339912950800571341840811196427517128113426520907742128418982345039444906158083360 +/- 4.94e-142]",
      "k": 3,
      "mpmath_125dps": "-8.6009358788443076074360332237848055859864092926917745028862613399129508005713418408111964275171281134265209077421284189823453",
      "n": 87,
      "number": "-8.600935878844307607436033223784805585986409292691774502886261339912950800571341840811196427517128113"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-2.20936583560771740508134790266400720540641880670774924302520186568333239812849899038311686793630264817108849867617624922293656885642910782885987 +/- 6.12e-144]",
      "k": 1,
      "mpmath_125dps": "-2.2093658356077174050813479026640072054064188067077492430252018656833323981284989903831168679363026481710884986761762492229364",
      "n": 88,
      "number": "-2.209365835607717405081347902664007205406418806707749243025201865683332398128498990383116867936302648"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.9657187597269440570899402825850107449696001526192179974959195525326940284110963085626859974718472485895505839172846905141091695800417506483330 +/- 5.83e-143]",
      "k": 2,
      "mpmath_125dps": "-1.9657187597269440570899402825850107449696001526192179974959195525326940284110963085626859974718472485895505839172846905141097",
      "n": 88,
      "number": "-1.965718759726944057089940282585010744969600152619217997495919552532694028411096308562685997471847249"
    },
    {
      "accuracy_bits": 473,
      "ball": "[8.604929586003011533035434113410013784580173793434360938799973052588245735753250070678568891799363790264840123436162208937449328582607535508698 +/- 3.36e-142]",
      "k": 3,
      "mpmath_125dps": "8.6049295860030115330354341134100137845801737934343609387999730525882457357532500706785688917993637902648401234361622089374487",
      "n": 88,
      "number": "8.604929586003011533035434113410013784580173793434360938799973052588245735753250070678568891799363790"
    },
    {
      "accuracy_bits": 477,
      "ball": "[4.4145113103047296896264323917272268830134974788015795027893580760185376731060583050933104177375614011402120382004823163906712083808909261340674 +/- 5.06e-143]",
      "k": 1,
      "mpmath_125dps": "4.414511310304729689626432391727226883013497478801579502789358076018537673106058305093310417737561401140212038200482316390671",
      "n": 89,
      "number": "4.414511310304729689626432391727226883013497478801579502789358076018537673106058305093310417737561401"
    },
    {
      "accuracy_bits": 475,
      "ball": "[4.7525838804361581289599481108105496454683656988229492783345922546124968412786801687659364604216228834634864700821406379588058237775974248913475 +/- 8.14e-143]",
      "k": 2,
      "mpmath_125dps": "4.7525838804361581289599481108105496454683656988229492783345922546124968412786801687659364604216228834634864700821406379588063",
      "n": 89,
      "number": "4.752583880436158128959948110810549645468365698822949278334592254612496841278680168765936460421622883"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-8.609231118484885818013703903875177207406990706405087173037351517291301399672868896664134164906147410065872672497933422763692849252420043581482 +/- 6.90e-142]",
      "k": 3,
      "mpmath_125dps": "-8.609231118484885818013703903875177207406990706405087173037351517291301399672868896664134164906147410065872672497933422763692",
      "n": 89,
      "number": "-8.609231118484885818013703903875177207406990706405087173037351517291301399672868896664134164906147410"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-4.12808339689385636414648515480566913789613647842768363232557805423195394749218442148399039170999017198469957355495098752807099545484882823538651 +/- 7.93e-144]",
      "k": 1,
      "mpmath_125dps": "-4.1280833968938563641464851548056691378961364784276836323255780542319539474921844214839903917099901719846995735549509875280707",
      "n": 90,
      "number": "-4.128083396893856364146485154805669137896136478427683632325578054231953947492184421483990391709990172"
    },
    {
      "accuracy_bits": 475,
      "ball": "[4.9487774792494022488616198663817376925465886019574033404257354669317797412209018271582013879585087699717734874159621708093781615732808728973417 +/- 5.75e-143]",
      "k": 2,
      "mpmath_125dps": "4.9487774792494022488616198663817376925465886019574033404257354669317797412209018271582013879585087699717734874159621708093786",
      "n": 90,
      "number": "4.948777479249402248861619866381737692546588601957403340425735466931779741220901827158201387958508770"
    },
    {
      "accuracy_bits": 472,
      "ball": "[7.627724011463435502286548003161061902801952159132137884788459793508496265278932788653605252057080521014559391869513727576271942906979837813671 +/- 6.57e-142]",
      "k": 3,
      "mpmath_125dps": "7.627724011463435502286548003161061902801952159132137884788459793508496265278932788653605252057080521014559391869513727576271",
      "n": 90,
      "number": "7.627724011463435502286548003161061902801952159132137884788459793508496265278932788653605252057080521"
    },
    {
      "accuracy_bits": 475,
      "ball": "[1.47598748067032175637665472174143891642251862300798480851873276689113633785437060286448592287525745454320305939459629537201797474276049655453620 +/- 8.47e-144]",
      "k": 1,
      "mpmath_125dps": "1.4759874806703217563766547217414389164225186230079848085187327668911363378543706028644859228752574545432030593945962953720179",
      "n": 91,
      "number": "1.475987480670321756376654721741438916422518623007984808518732766891136337854370602864485922875257455"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-2.9918749404136223513274544671764517264780137433143934897121850194397249736433973208853032411719761889042728091899833989796104428116699406586042 +/- 6.28e-143]",
      "k": 2,
      "mpmath_125dps": "-2.9918749404136223513274544671764517264780137433143934897121850194397249736433973208853032411719761889042728091899833989796106",
      "n": 91,
      "number": "-2.991874940413622351327454467176451726478013743314393489712185019439724973643397320885303241171976189"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-7.518441845577293609464672925258312368079882467915755446996394518768626255063634728684156745130327813656597716319828465232228834586138829088503 +/- 5.34e-142]",
      "k": 3,
      "mpmath_125dps": "-7.5184418455772936094646729252583123680798824679157554469963945187686262550636347286841567451303278136565977163198284652322286",
      "n": 91,
      "number": "-7.518441845577293609464672925258312368079882467915755446996394518768626255063634728684156745130327814"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-1.61910553355940588561460942461391490661689573511629537225996292699936771404254141032405951045335336978395478619203826865006625550645437581167347 +/- 8.27e-144]",
      "k": 1,
      "mpmath_125dps": "-1.6191055335594058856146094246139149066168957351162953722599629269993677140425414103240595104533533697839547861920382686500664",
      "n": 92,
      "number": "-1.619105533559405885614609424613914906616895735116295372259962926999367714042541410324059510453353370"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-4.1637675544308829992465748953826205541825169539131291926363320631551596573521662209546429032235809582002833812894393135126545548511195857635408 +/- 3.23e-143]",
      "k": 2,
      "mpmath_125dps": "-4.1637675544308829992465748953826205541825169539131291926363320631551596573521662209546429032235809582002833812894393135126544",
      "n": 92,
      "number": "-4.163767554430882999246574895382620554182516953913129192636332063155159657352166220954642903223580958"
    },
    {
      "accuracy_bits": 472,
      "ball": "[4.627914925901931019444385626754515448174050850283129539326000455826534403266655398594016805935100431395129203675858087168514579148993321322844 +/- 4.23e-142]",
      "k": 3,
      "mpmath_125dps": "4.6279149259019310194443856267545154481740508502831295393260004558265344032666553985940168059351004313951292036758580871685151",
      "n": 92,
      "number": "4.627914925901931019444385626754515448174050850283129539326000455826534403266655398594016805935100431"
    },
    {
      "accuracy_bits": 477,
      "ball": "[2.64772273052025751099415420574875655263919526157203359759252690739837695080159160174109450346893334177668076373547488403252823403981077691216808 +/- 7.78e-144]",
      "k": 1,
      "mpmath_125dps": "2.6477227305202575109941542057487565526391952615720335975925269073983769508015916017410945034689333417766807637354748840325285",
      "n": 93,
      "number": "2.647722730520257510994154205748756552639195261572033597592526907398376950801591601741094503468933342"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.4963133979711880629039665477711468102152058980648284412576624108226810178335249403086521049185002893199282194918425854468590508295226686353231 +/- 6.96e-143]",
      "k": 2,
      "mpmath_125dps": "-3.4963133979711880629039665477711468102152058980648284412576624108226810178335249403086521049185002893199282194918425854468582",
      "n": 93,
      "number": "-3.496313397971188062903966547771146810215205898064828441257662410822681017833524940308652104918500289"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-9.522886991802017823075320836525743666549260024502549229859890704363008431461979953017445564352351985067972775703212727631031877855538662249020 +/- 3.18e-142]",
      "k": 3,
      "mpmath_125dps": "-9.5228869918020178230753208365257436665492600245025492298598907043630084314619799530174455643523519850679727757032127276310328",
      "n": 93,
      "number": "-9.522886991802017823075320836525743666549260024502549229859890704363008431461979953017445564352351985"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-2.88698302695518074894015354568282421777049408068964475270188872362340144788746821948625937430712822619998870705907054726489161561673943503106171 +/- 8.36e-144]",
      "k": 1,
      "mpmath_125dps": "-2.8869830269551807489401535456828242177704940806896447527018887236234014478874682194862593743071282261999887070590705472648919",
      "n": 94,
      "number": "-2.886983026955180748940153545682824217770494080689644752701888723623401447887468219486259374307128226"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-4.8479191275627004607350236486886581031156248083934697624566965231464759429880423553835935865994162246750652450201936248008929410320091230386279 +/- 4.04e-143]",
      "k": 2,
      "mpmath_125dps": "-4.8479191275627004607350236486886581031156248083934697624566965231464759429880423553835935865994162246750652450201936248008925",
      "n": 94,
      "number": "-4.847919127562700460735023648688658103115624808393469762456696523146475942988042355383593586599416225"
    },
    {
      "accuracy_bits": 472,
      "ball": "[7.938937522834234773558282386350284910095483394086308814693399482433777940904140901305812551652766676663259442156062623232766977499366405764470 +/- 5.43e-142]",
      "k": 3,
      "mpmath_125dps": "7.9389375228342347735582823863502849100954833940863088146933994824337779409041409013058125516527666766632594421560626232327679",
      "n": 94,
      "number": "7.938937522834234773558282386350284910095483394086308814693399482433777940904140901305812551652766677"
    },
    {
      "accuracy_bits": 478,
      "ball": "[5.14502251026060033217629533498866076986744921963076911430315617334416184094307853859177153994575705621353816984502969664702699430741182780720793 +/- 7.66e-144]",
      "k": 1,
      "mpmath_125dps": "5.145022510260600332176295334988660769867449219630769114303156173344161840943078538591771539945757056213538169845029696647027",
      "n": 95,
      "number": "5.145022510260600332176295334988660769867449219630769114303156173344161840943078538591771539945757056"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-1.5196063414990357559338191504931991959120808850924448529696010702528187302268437935321521921349292868096928113949984969237949426010020645100932 +/- 7.02e-143]",
      "k": 2,
      "mpmath_125dps": "-1.5196063414990357559338191504931991959120808850924448529696010702528187302268437935321521921349292868096928113949984969237946",
      "n": 95,
      "number": "-1.519606341499035755933819150493199195912080885092444852969601070252818730226843793532152192134929287"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-12.967901826239351274509153565830362462961545433969166554629760657380572193228737827572385522565159402060106305705214596807908725577582510926549 +/- 2.70e-142]",
      "k": 3,
      "mpmath_125dps": "-12.967901826239351274509153565830362462961545433969166554629760657380572193228737827572385522565159402060106305705214596807909",
      "n": 95,
      "number": "-12.96790182623935127450915356583036246296154543396916655462976065738057219322873782757238552256515940"
    },
    {
      "accuracy_bits": 477,
      "ball": "[-3.71618869727590338998353968501182522870744276471867638595891712131687621084107150612756427337333300869269887512861231313479646296732796283956166 +/- 8.40e-144]",
      "k": 1,
      "mpmath_125dps": "-3.7161886972759033899835396850118252287074427647186763859589171213168762108410715061275642733733330086926988751286123131347965",
      "n": 96,
      "number": "-3.716188697275903389983539685011825228707442764718676385958917121316876210841071506127564273373333009"
    },
    {
      "accuracy_bits": 473,
      "ball": "[1.7449882679025189917075875826779406428480606996680882154654715328744724316771862310441303952445392100770334553974170306437590690289449991094776 +/- 6.56e-143]",
      "k": 2,
      "mpmath_125dps": "1.7449882679025189917075875826779406428480606996680882154654715328744724316771862310441303952445392100770334553974170306437589",
      "n": 96,
      "number": "1.744988267902518991707587582677940642848060699668088215465471532874472431677186231044130395244539210"
    },
    {
      "accuracy_bits": 473,
      "ball": "[10.659577532478787095894379262515196794278372323776707587463578599726089297900228111663381070711254105999251542993063590784094761477207886406598 +/- 4.67e-142]",
      "k": 3,
      "mpmath_125dps": "10.659577532478787095894379262515196794278372323776707587463578599726089297900228111663381070711254105999251542993063590784095",
      "n": 96,
      "number": "10.65957753247878709589437926251519679427837232377670758746357859972608929790022811166338107071125411"
    },
    {
      "accuracy_bits": 476,
      "ball": "[1.47897350222408739889710040308001649619606899178750720662071392411080167573406821378164105208338876902209096764711749349407751218555333669270491 +/- 8.63e-144]",
      "k": 1,
      "mpmath_125dps": "1.4789735022240873988971004030800164961960689917875072066207139241108016757340682137816410520833887690220909676471174934940776",
      "n": 97,
      "number": "1.478973502224087398897100403080016496196068991787507206620713924110801675734068213781641052083388769"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.2346795838973492164355688635377969055308176521341240870665006871600829850887836805647341194558107478884054007604775484392037719428888305336819 +/- 4.01e-143]",
      "k": 2,
      "mpmath_125dps": "-3.2346795838973492164355688635377969055308176521341240870665006871600829850887836805647341194558107478884054007604775484392036",
      "n": 97,
      "number": "-3.234679583897349216435568863537796905530817652134124087066500687160082985088783680564734119455810748"
    },
    {
      "accuracy_bits": 472,
      "ball": "[-6.230196818289141636998642402668612806470267691416532197226543035622328753395097964147173615064968881144015562429807571369821933594222298905108 +/- 5.70e-142]",
      "k": 3,
      "mpmath_125dps": "-6.2301968182891416369986424026686128064702676914165321972265430356223287533950979641471736150649688811440155624298075713698224",
      "n": 97,
      "number": "-6.230196818289141636998642402668612806470267691416532197226543035622328753395097964147173615064968881"
    },
    {
      "accuracy_bits": 475,
      "ball": "[-1.46696334010339396698356243651961298961723932653427089877947082208461958260171816760453054890432402728709737372737867166874578118454235267589930 +/- 8.42e-144]",
      "k": 1,
      "mpmath_125dps": "-1.4669633401033939669835624365196129896172393265342708987794708220846195826017181676045305489043240272870973737273786716687457",
      "n": 98,
      "number": "-1.466963340103393966983562436519612989617239326534270898779470822084619582601718167604530548904324027"
    },
    {
      "accuracy_bits": 474,
      "ball": "[-3.1300839515357197824854298424575944504074417249924886616089164243975274485532916034871015771713135607618879052623442489068258799945403732184682 +/- 5.58e-143]",
      "k": 2,
      "mpmath_125dps": "-3.1300839515357197824854298424575944504074417249924886616089164243975274485532916034871015771713135607618879052623442489068261",
      "n": 98,
      "number": "-3.130083951535719782485429842457594450407441724992488661608916424397527448553291603487101577171313561"
    },
    {
      "accuracy_bits": 472,
      "ball": "[6.604518441761024141023022601813770617325627031188254272370496812392985279008011833684522156949665384829421418786473559496451647084626117572328 +/- 4.06e-142]",
      "k": 3,
      "mpmath_125dps": "6.6045184417610241410230226018137706173256270311882542723704968123929852790080118336845221569496653848294214187864735594964511",
      "n": 98,
      "number": "6.604518441761024141023022601813770617325627031188254272370496812392985279008011833684522156949665385"
    },
    {
      "accuracy_bits": 477,
      "ball": "[4.3183444679023972193417989789159526545572819542116341330642361446864857366505614477778350974043514812722517828482682945748511657186231252980622 +/- 1.98e-143]",
      "k": 1,
      "mpmath_125dps": "4.3183444679023972193417989789159526545572819542116341330642361446864857366505614477778350974043514812722517828482682945748511",
      "n": 99,
      "number": "4.318344467902397219341798978915952654557281954211634133064236144686485736650561447777835097404351481"
    },
    {
      "accuracy_bits": 475,
      "ball": "[4.8292250054456332536652353306965850382400633022697897759468948080963299765874197234267577086828603267572665169888801812468551730317835012697962 +/- 7.30e-143]",
      "k": 2,
      "mpmath_125dps": "4.8292250054456332536652353306965850382400633022697897759468948080963299765874197234267577086828603267572665169888801812468552",
      "n": 99,
      "number": "4.829225005445633253665235330696585038240063302269789775946894808096329976587419723426757708682860327"
    },
    {
      "accuracy_bits": 473,
      "ball": "[-8.490629938823294823754891709671588958943815450440478273301151916799181631191177660263009258204514626164666569579047502858323478741981961213804 +/- 2.17e-142]",
      "k": 3,
      "mpmath_125dps": "-8.4906299388232948237548917096715889589438154504404782733011519167991816311911776602630092582045146261646665695790475028583233",
      "n": 99,
      "number": "-8.490629938823294823754891709671588958943815450440478273301151916799181631191177660263009258204514626"
    },
    {
      "accuracy_bits": 476,
      "ball": "[-3.99502459419392160898168503785734953213889888942484114138095851168681276822156227973574507930694829245266603531442064515115051443939990573279236 +/- 9.44e-144]",
      "k": 1,
      "mpmath_125dps": "-3.9950245941939216089816850378573495321388988894248411413809585116868127682215622797357450793069482924526660353144206451511507",
      "n": 100,
      "number": "-3.995024594193921608981685037857349532138898889424841141380958511686812768221562279735745079306948292"
    },
    {
      "accuracy_bits": 475,
      "ball": "[5.4992851476523826198156625415668112591426236703236282502513569357457759667433224238414338032945049198554438078615645032383331770294391077825288 +/- 4.02e-143]",
      "k": 2,
      "mpmath_125dps": "5.4992851476523826198156625415668112591426236703236282502513569357457759667433224238414338032945049198554438078615645032383329",
      "n": 100,
      "number": "5.499285147652382619815662541566811259142623670323628250251356935745775966743322423841433803294504920"
    },
    {
      "accuracy_bits": 473,
      "ball": "[8.767665636328264132820686876264859323267786750418751799644297627481951099885453803499647124366691725640299559087963592047559034408130121054887 +/- 3.31e-142]",
      "k": 3,
      "mpmath_125dps": "8.7676656363282641328206868762648593232677867504187517996442976274819510998854538034996471243666917256402995590879635920475596",
      "n": 100,
      "number": "8.767665636328264132820686876264859323267786750418751799644297627481951099885453803499647124366691726"
    },
    {
      "accuracy_bits": 466,
      "ball": "[0.41455789237867923081034863386099595016113921794177163724916391811740230560770845141698340704435053843507404321268890575093627487312104349315 +/- 1.84e-141]",
      "k": 1,
      "mpmath_125dps": "0.41455789237867923081034863386099595016113921794177163724916391811740230560770845141698340704435053843507404321268890575096631",
      "n": 6709,
      "number": "0.4145578923786792308103486338609959501611392179417716372491639181174023056077084514169834070443505384"
    },
    {
      "accuracy_bits": 468,
      "ball": "[-21.3028017101489854883351089790783634730655064243180440823370709085445318206722504098374734202807307034050299183462334251021689582226983014502 +/- 6.14e-140]",
      "k": 2,
      "mpmath_125dps": "-21.302801710148985488335108979078363473065506424318044082337070908544531820672250409837473420280730703405029918346233425102088",
      "n": 6709,
      "number": "-21.30280171014898548833510897907836347306550642431804408233707090854453182067225040983747342028073070"
    },
    {
      "accuracy_bits": 466,
      "ball": "[-57.159008226060846856714934741156502596673083043134339604717415355404327355161153465317044274882546742587768661776155787984476670177810812277 +/- 3.21e-139]",
      "k": 3,
      "mpmath_125dps": "-57.159008226060846856714934741156502596673083043134339604717415355404327355161153465317044274882546742587768661776155787984798",
      "n": 6709,
      "number": "-57.15900822606084685671493474115650259667308304313433960471741535540432735516115346531704427488254674"
    },
    {
      "accuracy_bits": 466,
      "ball": "[-0.42703693407193510150870800774455558528719626327980905833262541425587941196961590713251554557562447239532611791998453377243116510233334695113 +/- 2.52e-141]",
      "k": 1,
      "mpmath_125dps": "-0.42703693407193510150870800774455558528719626327980905833262541425587941196961590713251554557562447239532611791998453377236471",
      "n": 6710,
      "number": "-0.4270369340719351015087080077445555852871962632798090583326254142558794119696159071325155455756244724"
    },
    {
      "accuracy_bits": 468,
      "ball": "[-23.2881916465377844718605269531345275478640565075998507085286220920894377755755748955495283321177900875841828299492279333167764580102016035737 +/- 3.26e-140]",
      "k": 2,
      "mpmath_125dps": "-23.28819164653778447186052695313452754786405650759985070852862209208943777557557489554952833211779008758418282994922793331664",
      "n": 6710,
      "number": "-23.28819164653778447186052695313452754786405650759985070852862209208943777557557489554952833211779009"
    },
    {
      "accuracy_bits": 466,
      "ball": "[-47.973695450052283649974940002286485545567002739613539095899111446839199737184883688528404588652220306255183048340356422209678420125903450551 +/- 2.91e-139]",
      "k": 3,
      "mpmath_125dps": "-47.973695450052283649974940002286485545567002739613539095899111446839199737184883688528404588652220306255183048340356422210418",
      "n": 6710,
      "number": "-47.97369545005228364997494000228648554556700273961353909589911144683919973718488368852840458865222031"
    }
  ],
  "seconds": 124.53636814560741,
  "size_ball_representation": {
    "block_kb": 60.2548828125,
    "entries": 306,
    "longest": 163,
    "longest_at": "2,1"
  },
  "size_decimal_representation": {
    "block_kb": 41.419921875,
    "entries": 306,
    "longest": 104,
    "longest_at": "70,2"
  },
  "skill_manifest": "agents/runs/20261028T151417Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "file": "skill-local.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
      "source": "local"
    },
    {
      "file": "skill-live.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
      "source": "live"
    }
  ],
  "source_sha256": {
    "argument-selection.md": "c80c9b4a6bdcfc4d07c77abc26f2fe64653ec5157677aadd3eac4d128e25e3d0",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "checks.py": "ee50d4e57890160ff2e34c4f5a983e79f641590dc2452d88ebe7215a55b90dec",
    "generate.py": "19a6c116a3caca02bcb8568b975b87cf9ce844752c03a05638cd9e85b3ca8c67",
    "hardy_arb.pyx": "1a4263a881105a45a4024db2a619162436caa008e11a80c383f6b759b3ee506d"
  },
  "stored_significant_digits": 100,
  "table": "T584",
  "versions": {
    "flint": "3.4.0",
    "mpmath": "1.4.1",
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "sage": "10.9"
  },
  "working_bits": 493,
  "working_guard_bits": 160
}