{ "table": "T642", "mode": "stored", "skill_manifest": "agents/runs/20261031T225043Z-build-skills/manifest.json", "skill_sha256": { "local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278", "live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278" }, "versions": { "sage": "10.9", "numberdb": "0.1.10", "python": "3.12.3" }, "parameters": { "N": { "category": "discrete_index", "extent": "2 <= N <= 30" } }, "generator_working_bits": 461, "independent_working_bits": 640, "direct_trigamma_terms": 16, "tail_expansion_terms": 112, "entry_count": 29, "gram_entries_checked": 900, "symmetric_gram_entries": 465, "min_generator_accuracy_bits": 449, "max_independent_radius": "2.8791772e-137", "known_answer_controls": [ "G(1,1)=log(2*pi)-gamma", "E(2)=3+log(2*pi)-3*gamma", "target integral between harmonic partial sum and explicit 1/1001 tail" ], "negative_controls": [ "G(1,1)+1/100 disjoint", "wrong residual sign rejected", "ten-last-place stored perturbation rejected for all 29 entries" ], "checks": [ "finite narrow balls", "independent integral agreement", "all weights including exact endpoints", "Gram symmetry", "strict containment in 100-digit last-place intervals", "E_N > independently solved d_N^2", "E_N-d_N^2=(w+c)^T G (w+c)" ], "elapsed_seconds": 15.763, "records": [ { "N": 2, "stored_decimal": "3.106230071704746901741123202564027986596316939455796029217001376310928211521526782578645407396668147", "generator_ball": "[3.10623007170474690174112320256402798659631693945579602921700137631092821152152678257864540739666814670011695149984742744985221372022195864 +/- 6.66e-138]", "independent_ball": "[3.10623007170474690174112320256402798659631693945579602921700137631092821152152678257864540739666814670011695149984742744985221372022195863 +/- 6.80e-138]", "generator_accuracy_bits": 458, "independent_radius": "6.1352639e-138", "minimum_ball": "[0.289964573742202731811200583416046611205413871125613854746091087471974302592583081227688433430810472270227375485094676411358640819559758 +/- 3.69e-136]", "excess_ball": "[2.81626549796254416992992261914798137539090306833018217447091028883895390892894370135095697396585767442988957601475275103849357290066220 +/- 1.01e-135]", "positive_pivots": 2 }, { "N": 3, "stored_decimal": "2.210233170591801432318611415587786585683932549164101041610993412578469821828556505878231037769176707", "generator_ball": "[2.21023317059180143231861141558778658568393254916410104161099341257846982182855650587823103776917670737539226546758619295813667382825305906 +/- 5.87e-138]", "independent_ball": "[2.2102331705918014323186114155877865856839325491641010416109934125784698218285565058782310377691767073753922654675861929581366738282530591 +/- 5.27e-137]", "generator_accuracy_bits": 457, "independent_radius": "8.8174582e-138", "minimum_ball": "[0.093837228496983291904282806530643917291327702892689911459707870177026851685007091888159634793125774836165704729207977896485020588920547 +/- 8.41e-136]", "excess_ball": "[2.11639594209481814041432860905714266839260484627141113015128554240144297014354941399007140297605093253922656073837821506165165323933251 +/- 4.39e-135]", "positive_pivots": 3 }, { "N": 4, "stored_decimal": "1.594144483773250981404335720553528324892143768083416995841331072800064200083752485769650365442501150", "generator_ball": "[1.5941444837732509814043357205535283248921437680834169958413310728000642000837524857696503654425011501571171579485417074891570534977312371 +/- 5.30e-137]", "independent_ball": "[1.5941444837732509814043357205535283248921437680834169958413310728000642000837524857696503654425011501571171579485417074891570534977312370 +/- 6.12e-137]", "generator_accuracy_bits": 455, "independent_radius": "1.1118859e-137", "minimum_ball": "[0.06512886865990024957106136367286123661983130106485852754299938606864298358168647498509067698519936980927769025986003712736614189475141 +/- 7.63e-135]", "excess_ball": "[1.5290156151133507318332743568806670882723124670185584682983316867314212165020660107845596884573017803478394676886816703617909116029798 +/- 3.29e-134]", "positive_pivots": 4 }, { "N": 5, "stored_decimal": "1.310759780593444838390340125198735232001808500318478826056545578982988439761370407088233737136384215", "generator_ball": "[1.3107597805934448383903401251987352320018085003184788260565455789829884397613704070882337371363842149072136079760873008067891590713950737 +/- 3.06e-137]", "independent_ball": "[1.3107597805934448383903401251987352320018085003184788260565455789829884397613704070882337371363842149072136079760873008067891590713950737 +/- 3.06e-137]", "generator_accuracy_bits": 455, "independent_radius": "1.2496286e-137", "minimum_ball": "[0.0361015998186054042030530301082201516592167794150596052544338090520287626911063086683056766941587680954064665717129559203986947049227 +/- 1.26e-134]", "excess_ball": "[1.2746581807748394341872870950905150803425917209034192208021117699309596770702640984199280604422254468118071414043743448863904643664724 +/- 5.68e-134]", "positive_pivots": 5 }, { "N": 6, "stored_decimal": "1.047946950570719526599160030523779217394658178290048988934445742615876006079410267128368548164138234", "generator_ball": "[1.0479469505707195265991600305237792173946581782900489889344457426158760060794102671283685481641382343662227849546350709822273283634008724 +/- 2.92e-137]", "independent_ball": "[1.0479469505707195265991600305237792173946581782900489889344457426158760060794102671283685481641382343662227849546350709822273283634008724 +/- 3.40e-137]", "generator_accuracy_bits": 454, "independent_radius": "1.3794986e-137", "minimum_ball": "[0.0359863173535744168487456549673984915005756094023639533129081210152303816119571552119672547924822763440399496166687002158083936498893 +/- 7.57e-134]", "excess_ball": "[1.011960633217145109750414375556380725894082568887685035621537621600645624467453111916401293371655958022182835337966370766418934713512 +/- 5.67e-133]", "positive_pivots": 6 }, { "N": 7, "stored_decimal": "0.9434785889358784247246890499192208968550762694453459633290077135651173276032990657152006935433043657", "generator_ball": "[0.9434785889358784247246890499192208968550762694453459633290077135651173276032990657152006935433043656986150303911554255730931205572254600 +/- 2.93e-137]", "independent_ball": "[0.9434785889358784247246890499192208968550762694453459633290077135651173276032990657152006935433043656986150303911554255730931205572254600 +/- 2.32e-137]", "generator_accuracy_bits": 453, "independent_radius": "1.5106618e-137", "minimum_ball": "[0.024302100543476719884104287428509294292751587781644857487887417631605868771085154719755312583089483693026259471011896544188311683944 +/- 2.73e-133]", "excess_ball": "[0.919176488392401704840584762490711602562324681663701105841120295933511458832213910995445380960214882005588770920143529028904808873281 +/- 6.62e-133]", "positive_pivots": 7 }, { "N": 8, "stored_decimal": "0.8248667748314742614453099485728179050265984007055043409981603399005065029834962230092117781166675137", "generator_ball": "[0.8248667748314742614453099485728179050265984007055043409981603399005065029834962230092117781166675137263294548772773491263077967353956795 +/- 4.12e-137]", "independent_ball": "[0.8248667748314742614453099485728179050265984007055043409981603399005065029834962230092117781166675137263294548772773491263077967353956795 +/- 2.75e-137]", "generator_accuracy_bits": 452, "independent_radius": "1.6322085e-137", "minimum_ball": "[0.024161421585896685022808943010851337446765483831295506702752379607835237091422536243302013849822149903133346952162278887155855275905 +/- 6.14e-133]", "excess_ball": "[0.80070535324557757642250100556196656757983291687420883429540796029267126589207368676590976426684536382319610792511507023915194145949 +/- 1.94e-132]", "positive_pivots": 8 }, { "N": 9, "stored_decimal": "0.7379799814812002899191476311752106624859448250657232541439103538396549380047699243546216682801612722", "generator_ball": "[0.7379799814812002899191476311752106624859448250657232541439103538396549380047699243546216682801612721935154780696718990119641448054476249 +/- 4.13e-137]", "independent_ball": "[0.7379799814812002899191476311752106624859448250657232541439103538396549380047699243546216682801612721935154780696718990119641448054476249 +/- 3.80e-137]", "generator_accuracy_bits": 452, "independent_radius": "1.7317620e-137", "minimum_ball": "[0.02401495078279004617671234264738635893651075986792286988642435951749686158080679973312202389059883290291363224197845901050355231553 +/- 2.20e-132]", "excess_ball": "[0.71396503069841024374243528852782430354943406519780038425748599432215807642396312462149964438956243929060184582769344000146059248992 +/- 3.09e-132]", "positive_pivots": 9 }, { "N": 10, "stored_decimal": "0.6714847607843689521323719601223171618962090737801043821658361787121099412098349599047174783343860934", "generator_ball": "[0.6714847607843689521323719601223171618962090737801043821658361787121099412098349599047174783343860933674834371643540068322415984214900729 +/- 3.42e-137]", "independent_ball": "[0.6714847607843689521323719601223171618962090737801043821658361787121099412098349599047174783343860933674834371643540068322415984214900729 +/- 2.89e-137]", "generator_accuracy_bits": 452, "independent_radius": "1.8151347e-137", "minimum_ball": "[0.02377186555603957374966975040957789209541784886012934583757512802222957241310443600256439411017750338528171941907668096173104696380 +/- 6.99e-132]", "excess_ball": "[0.6477128952283293783827022097127392698007912249199750363282610506898803687967305239021530842242085899822017177452773258705105514577 +/- 1.13e-131]", "positive_pivots": 10 }, { "N": 11, "stored_decimal": "0.6372395595898129695656506721423843035158645329481744384717914854851277340282927242611683684814642903", "generator_ball": "[0.6372395595898129695656506721423843035158645329481744384717914854851277340282927242611683684814642902831407440906197198849018630835214558 +/- 6.72e-137]", "independent_ball": "[0.6372395595898129695656506721423843035158645329481744384717914854851277340282927242611683684814642902831407440906197198849018630835214558 +/- 4.70e-137]", "generator_accuracy_bits": 452, "independent_radius": "1.8977093e-137", "minimum_ball": "[0.0204444445648450909480274931389333801998715428750338024439556230947153863754628810893227997114992328394189681340437603959999747278 +/- 5.20e-131]", "excess_ball": "[0.6167951150249678786176231790034509233159929900731406360278358623904123476528298431718455687699650574437217759565759594889018883558 +/- 6.26e-131]", "positive_pivots": 11 }, { "N": 12, "stored_decimal": "0.5939215935940767913959000771196020354143403118641610276949056959708760698002502657081908045444390307", "generator_ball": "[0.5939215935940767913959000771196020354143403118641610276949056959708760698002502657081908045444390307325081724459022412063759715944647633 +/- 8.96e-137]", "independent_ball": "[0.5939215935940767913959000771196020354143403118641610276949056959708760698002502657081908045444390307325081724459022412063759715944647632 +/- 6.46e-137]", "generator_accuracy_bits": 452, "independent_radius": "1.9763097e-137", "minimum_ball": "[0.0204430632075424993617776382575042708566535457260221478112795742543934902504911415125166771205649027003567813668416556636827536850 +/- 5.80e-131]", "excess_ball": "[0.5734785303865342920341224388620977645576867661381388798836261217164825795497591241956741274238741280321513910790605855426932179095 +/- 6.87e-131]", "positive_pivots": 12 }, { "N": 13, "stored_decimal": "0.5579568570729737857628488206806625883513899791426583766124287196967421153732346736862331098480018299", "generator_ball": "[0.5579568570729737857628488206806625883513899791426583766124287196967421153732346736862331098480018299352152986560868958785826019046479913 +/- 9.10e-137]", "independent_ball": "[0.5579568570729737857628488206806625883513899791426583766124287196967421153732346736862331098480018299352152986560868958785826019046479913 +/- 6.29e-137]", "generator_accuracy_bits": 452, "independent_radius": "2.0456722e-137", "minimum_ball": "[0.0198244064562830811322946006408690912759571853627923900313511199187368244507859657894803376095503498047950332496290060441624880537 +/- 8.36e-131]", "excess_ball": "[0.538132450616690704630554220039793497075432793779865986581077599778005290922448707896752772238451480130420265406457889834420113851 +/- 2.85e-130]", "positive_pivots": 13 }, { "N": 14, "stored_decimal": "0.5175415922970201013634921464053359213414030816046256792248389660234572358543647118048555442505260967", "generator_ball": "[0.5175415922970201013634921464053359213414030816046256792248389660234572358543647118048555442505260967208608760001293133451121742261522073 +/- 5.60e-137]", "independent_ball": "[0.5175415922970201013634921464053359213414030816046256792248389660234572358543647118048555442505260967208608760001293133451121742261522073 +/- 2.25e-137]", "generator_accuracy_bits": 451, "independent_radius": "2.1121582e-137", "minimum_ball": "[0.018486425618272211556702749549476512514677665191393129741885831403513665343051108961569148504047339383036602447087552483771931971 +/- 3.71e-130]", "excess_ball": "[0.49905516667874788980678939685585940882672541641323254948295313461994357051131360284328639574647875733782427355304176086134024226 +/- 5.66e-129]", "positive_pivots": 14 }, { "N": 15, "stored_decimal": "0.4914180915458341611097290337545026830498194872092606712637307407976611672552220550899687405937734257", "generator_ball": "[0.4914180915458341611097290337545026830498194872092606712637307407976611672552220550899687405937734256731067424932457769993989801365366668 +/- 8.94e-137]", "independent_ball": "[0.4914180915458341611097290337545026830498194872092606712637307407976611672552220550899687405937734256731067424932457769993989801365366668 +/- 6.34e-137]", "generator_accuracy_bits": 450, "independent_radius": "2.1775011e-137", "minimum_ball": "[0.01833503460075522518174374009253289544138590559940849793946972092683370770254022318894407055509198274039433150682555177289585381 +/- 3.50e-129]", "excess_ball": "[0.47308305694507893592798529366196978760843358160985217332426101987082745955268183190102467003868144293271241098642022522650312632 +/- 6.26e-129]", "positive_pivots": 15 }, { "N": 16, "stored_decimal": "0.4757662379347904865566697332923571512350109566830249391354518598617595483032258028183953688047225177", "generator_ball": "[0.4757662379347904865566697332923571512350109566830249391354518598617595483032258028183953688047225176576704662035969040600289679836861762 +/- 7.34e-137]", "independent_ball": "[0.4757662379347904865566697332923571512350109566830249391354518598617595483032258028183953688047225176576704662035969040600289679836861762 +/- 2.44e-137]", "generator_accuracy_bits": 450, "independent_radius": "2.2420520e-137", "minimum_ball": "[0.01789402347696943509905506314795876127745464180160987804844025903873581522050027285013834892881957455078093593227666299139124859 +/- 3.17e-129]", "excess_ball": "[0.4578722144578210514576146701443983899575563148814150610870116008230237330827255299682570198759029431068895302713202410686377194 +/- 1.64e-128]", "positive_pivots": 16 }, { "N": 17, "stored_decimal": "0.4619848353402753787445654056103401363317861938993534997715201605241914825288778080024633045430412993", "generator_ball": "[0.4619848353402753787445654056103401363317861938993534997715201605241914825288778080024633045430412992850548368943136254695355337937837812 +/- 8.29e-137]", "independent_ball": "[0.4619848353402753787445654056103401363317861938993534997715201605241914825288778080024633045430412992850548368943136254695355337937837812 +/- 2.71e-137]", "generator_accuracy_bits": 450, "independent_radius": "2.3011461e-137", "minimum_ball": "[0.0170692384433357574300558670903072902873793626222222620830498221766252756672413160614243841803803891025283767934712602999139851 +/- 4.60e-128]", "excess_ball": "[0.4449155968969396213145095385200328460444068312771312376884703383475662068616364919410389203626609101825264601008423651696215487 +/- 7.50e-128]", "positive_pivots": 17 }, { "N": 18, "stored_decimal": "0.4443033680859663213347789370828108186286353264345121973926854403480490182959451433812056052578443514", "generator_ball": "[0.444303368085966321334778937082810818628635326434512197392685440348049018295945143381205605257844351372526937659363803409219369426480382 +/- 1.97e-136]", "independent_ball": "[0.4443033680859663213347789370828108186286353264345121973926854403480490182959451433812056052578443513725269376593638034092193694264803821 +/- 3.19e-137]", "generator_accuracy_bits": 450, "independent_radius": "2.3581583e-137", "minimum_ball": "[0.0170592353956575198822360662568823230962896445451347671816398627063052106679371000882380744318347458287771207758604055975120576 +/- 3.96e-128]", "excess_ball": "[0.427244132690308801452542870825928495532345681889377430211045577641743807628008043292967530826009605543749816883503397811707312 +/- 2.47e-127]", "positive_pivots": 18 }, { "N": 19, "stored_decimal": "0.4285355715720689976610703830052003769997246503304281676664753225403748584891948039656895173812012408", "generator_ball": "[0.4285355715720689976610703830052003769997246503304281676664753225403748584891948039656895173812012408202414949093868836730200487630072930 +/- 9.27e-137]", "independent_ball": "[0.4285355715720689976610703830052003769997246503304281676664753225403748584891948039656895173812012408202414949093868836730200487630072930 +/- 4.81e-137]", "generator_accuracy_bits": 450, "independent_radius": "2.4108848e-137", "minimum_ball": "[0.0168173180006984437368508511034455992870462868931871471271450959358390752824578779941457922275141645751089913493599647429305280 +/- 9.59e-128]", "excess_ball": "[0.411718253571370553924219531901754777712678363437241020539330226604535783206736925971543725153687076245132503560026918930089521 +/- 5.51e-127]", "positive_pivots": 19 }, { "N": 20, "stored_decimal": "0.4102230065770727854178113418590558326120135238296710555489686593238664828278765003859946242943693438", "generator_ball": "[0.410223006577072785417811341859055832612013523829671055548968659323866482827876500385994624294369343847693891527504429467725291621499688 +/- 2.27e-136]", "independent_ball": "[0.4102230065770727854178113418590558326120135238296710555489686593238664828278765003859946242943693438476938915275044294677252916214996878 +/- 7.08e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.4619277e-137", "minimum_ball": "[0.016503583071030188389732568235493614158721567020856235252494867331152954457073420828992993518491261112652054983586084531517869 +/- 8.17e-127]", "excess_ball": "[0.39371942350604259702807877362356221845329195680881482029647379199271352837080307955700163077587808273504183654391834493620742 +/- 3.37e-126]", "positive_pivots": 20 }, { "N": 21, "stored_decimal": "0.3937670232135924421790856634517680615789024647044525979373867822386264562399611819527027957137673095", "generator_ball": "[0.393767023213592442179085663451768061578902464704452597937386782238626456239961181952702795713767309472804281855140335810013647816421771 +/- 3.78e-136]", "independent_ball": "[0.3937670232135924421790856634517680615789024647044525979373867822386264562399611819527027957137673094728042818551403358100136478164217713 +/- 5.55e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.5095205e-137", "minimum_ball": "[0.01609075635431805715379443648408456507487617994469552993017915914551795141842515964826587284190522329487894383695610766793871 +/- 5.32e-126]", "excess_ball": "[0.37767626685927438502529122696768349650402628475975706800720762309310850482153602230443692287186208617792533801818422814207493 +/- 8.15e-126]", "positive_pivots": 21 }, { "N": 22, "stored_decimal": "0.3820640774950482062587171974568751024789036134818613805732005800291881582010120473500505624399153758", "generator_ball": "[0.382064077495048206258717197456875102478903613481861380573200580029188158201012047350050562439915375814726056137595737170633312128239839 +/- 3.73e-136]", "independent_ball": "[0.3820640774950482062587171974568751024789036134818613805732005800291881582010120473500505624399153758147260561375957371706333121282398393 +/- 7.21e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.5565759e-137", "minimum_ball": "[0.01605738248915308017497450614911479615798657368893086753604863639410924827209866932902275956169450317905662574132909031809926 +/- 7.97e-126]", "excess_ball": "[0.3660066950058951260837426913077603063209170397929305130371519436350789099289133780210278028782208726356694303962666468525341 +/- 5.73e-125]", "positive_pivots": 22 }, { "N": 23, "stored_decimal": "0.3742509468565284569997017001842206848344310604472734361467836170673593340760170361073855286806539532", "generator_ball": "[0.374250946856528456999701700184220684834431060447273436146783617067359334076017036107385528680653953189748078902807392407397791603374870 +/- 4.37e-136]", "independent_ball": "[0.3742509468565284569997017001842206848344310604472734361467836170673593340760170361073855286806539531897480789028073924073977916033748703 +/- 3.33e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.6028590e-137", "minimum_ball": "[0.0155472996288219392578125389511119611583395467070666047726361616532372070857769994067495352965831263798171124102154969334825 +/- 4.00e-125]", "excess_ball": "[0.3587036472277065177418891612331087236760915137402068313741474554141221269902400367006359933840708268099309664925918954739153 +/- 8.09e-125]", "positive_pivots": 23 }, { "N": 24, "stored_decimal": "0.3644331914949753546195868186541756496120754894613299992794604170375654039128175506029186295384256764", "generator_ball": "[0.364433191494975354619586818654175649612075489461329999279460417037565403912817550602918629538425676381833222340738036635791748434653067 +/- 4.91e-136]", "independent_ball": "[0.3644331914949753546195868186541756496120754894613299992794604170375654039128175506029186295384256763818332223407380366357917484346530673 +/- 6.96e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.6478620e-137", "minimum_ball": "[0.015546914888414620237564752819031070434707738680760839657999722730429908937659834420496813131691046741906254960650582246273 +/- 1.09e-124]", "excess_ball": "[0.348886276606560734382022065835144579177367750780569159621460694307135494975157716182421816406734629639926967380087454389519 +/- 4.85e-124]", "positive_pivots": 24 }, { "N": 25, "stored_decimal": "0.3553914669961161102348203820125096658138139942883525223874001705956685587327236160461281332261901361", "generator_ball": "[0.355391466996116110234820382012509665813813994288352522387400170595668558732723616046128133226190136148861185285143922675236955516591967 +/- 1.37e-136]", "independent_ball": "[0.3553914669961161102348203820125096658138139942883525223874001705956685587327236160461281332261901361488611852851439226752369555165919670 +/- 3.64e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.6903848e-137", "minimum_ball": "[0.015520009300714858529390889953932268536855084063876631091534812969904262985280260682605753930357605641575438673307312795021 +/- 4.34e-124]", "excess_ball": "[0.339871457695401251705429492058577397276958910224475891295865357625764295747443355363522379295832530507285746611836609880216 +/- 7.68e-124]", "positive_pivots": 25 }, { "N": 26, "stored_decimal": "0.3470329310442912050254287545893150410722437330434422576573543990015528730192194542486607153475844806", "generator_ball": "[0.347032931044291205025428754589315041072243733043442257657354399001552873019219454248660715347584480580738925852261202580102516480088364 +/- 1.70e-136]", "independent_ball": "[0.3470329310442912050254287545893150410722437330434422576573543990015528730192194542486607153475844805807389258522612025801025164800883640 +/- 4.56e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.7306528e-137", "minimum_ball": "[0.015423409012498966458482462584310181975116039377858419862401311176298055280911684405489233948487932682981660184074149333749 +/- 6.46e-124]", "excess_ball": "[0.33160952203179223856694629200500485909712769366558383779495308782525481773830776984317148139909654789775726566818705324635 +/- 5.52e-123]", "positive_pivots": 26 }, { "N": 27, "stored_decimal": "0.3412418820734806586955105059816749528456558123007720114274586618113533828142071295520762620339166654", "generator_ball": "[0.341241882073480658695510505981674952845655812300772011427458661811353382814207129552076262033916665392429343894966374353207626197791342 +/- 1.75e-136]", "independent_ball": "[0.3412418820734806586955105059816749528456558123007720114274586618113533828142071295520762620339166653924293438949663743532076261977913420 +/- 3.57e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.7703248e-137", "minimum_ball": "[0.01531396462752732040957648997393755498063833844681284028978367460259708895852092777144940981042325131034201050412257595523 +/- 3.97e-123]", "excess_ball": "[0.3259279174459533382859340160077373978650174738539591711376749872087562938556862017806268522234934140820873333908437983980 +/- 3.00e-122]", "positive_pivots": 27 }, { "N": 28, "stored_decimal": "0.3358442251085018934616496804917457364137023077345110341502360585394149278799634137003014605517337829", "generator_ball": "[0.335844225108501893461649680491745736413702307734511034150236058539414927879963413700301460551733782916183102598862903531620476630350517 +/- 2.00e-136]", "independent_ball": "[0.3358442251085018934616496804917457364137023077345110341502360585394149278799634137003014605517337829161831025988629035316204766303505170 +/- 5.68e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.8080593e-137", "minimum_ball": "[0.0152145909752631600961622481055858553069044268647630660754258821874561962518612596925377155686199480000537866407521463967 +/- 4.91e-122]", "excess_ball": "[0.3206296341332387333654874323861598811067978808697479680748101763519587316281021540077637449831138349161293159581107571350 +/- 7.41e-122]", "positive_pivots": 28 }, { "N": 29, "stored_decimal": "0.3307987770349344256043275413661187439607279406901437262529670554359538859431746132603667749902284990", "generator_ball": "[0.330798777034934425604327541366118743960727940690143726252967055435953885943174613260366774990228499047606756193035870771536263913065957 +/- 3.62e-136]", "independent_ball": "[0.3307987770349344256043275413661187439607279406901437262529670554359538859431746132603667749902284990476067561930358707715362639130659568 +/- 5.99e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.8440137e-137", "minimum_ball": "[0.0147029470281685042637727807391378239574821349919315684684253830550451523406953325730588954974343131421135082057877241572 +/- 7.82e-122]", "excess_ball": "[0.316095830006765921340554760626980920003245805698212157784541672380908733602479280687307879492794185905493247987248146614 +/- 4.98e-121]", "positive_pivots": 29 }, { "N": 30, "stored_decimal": "0.3244903910175220071158390782447350425783584531682886454680426582127518779973025135841722237700715095", "generator_ball": "[0.324490391017522007115839078244735042578358453168288645468042658212751877997302513584172223770071509533753786282985931284873199897929427 +/- 2.62e-136]", "independent_ball": "[0.3244903910175220071158390782447350425783584531682886454680426582127518779973025135841722237700715095337537862829859312848731998979294269 +/- 4.70e-137]", "generator_accuracy_bits": 449, "independent_radius": "2.8791772e-137", "minimum_ball": "[0.014530110474137250869617184339833174838689081619885569868338598593787595616536727147636475536755860650629610595397150542 +/- 3.69e-121]", "excess_ball": "[0.309960280543384756246221893904901867739669371548403075599704059618964282380765786436535748233315648883124175687588780743 +/- 8.03e-121]", "positive_pivots": 30 } ], "source_sha256": { "generate.py": "013855f8cd9fed57dcbf12ab53a6fa7fb2a005c827f4d8177afd284348252a6c", "checks.py": "b56cd676463096d4ebb5fe42e9bcdc317ebd92edcb90f1ba6d20ca28605cd4ef" }, "numberdb_verify": { "ok": true, "report": "" } }