back to table · edit · history · where entries came from · files · download
53602 bytes, as of the version from 2026-10-27 18:01 (current). Recorded here, not run.
{
"table": "T555",
"skill_manifest": "agents/runs/20261027T175211Z-build-skills/manifest.json",
"skill_local_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_live_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sage_version": "10.9",
"numberdb_version": "0.1.10",
"count": 29,
"working_bits": 461,
"minimum_gamma_accuracy_bits": 455,
"check_bits": 600,
"zeta_terms": 240,
"max_serialization_error_ulps": "[0.483383359881859894854888062010537703859068814094508921510913103309907863723378506201862420077695942463773801428618363790447377698947457963297068376667873245244734928424385502013824972491 +/- 4.97e-187]",
"max_written_length": 101,
"controls": {
"unit": {
"known": 1,
"ball": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
"scale": {
"known": 2,
"ball": "2.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
}
},
"agm_bracket": "[0.84721308479397908660649912348219163648144591032694218506057937265973400483413475972320029399461122994212228562523341096309796266583087105969971363598338425117632681428906038970677 +/- 6.44e-180]",
"gamma_two_from_agm": "[4.3768792304529532776735398814089290865187454456511334442385724211589038768918658955420662993551217263604129705653973198621589784006703648738453220279598532915422115164094496096982 +/- 6.44e-179]",
"gamma_two_from_quarter_gamma": "[4.3768792304529532776735398814089290865187454456511334442385724211589038768918658955420662993551217263604129705653973198621589784006703648738453220279598532915422115164094496096982 +/- 1.68e-179]",
"all_gamma_zeta_overlaps": true,
"all_written_intervals_contain_both_enclosures": true,
"strictly_decreasing_and_greater_than_one": true,
"database": {},
"rows": [
{
"n": 2,
"decimal": "4.376879230452953277673539881408929086518745445651133444238572421158903876891865895542066299355121726",
"gamma_ball": "[4.3768792304529532776735398814089290865187454456511334442385724211589038768918658955420662993551217263604129705653973198621589784006703649 +/- 3.85e-137]",
"gamma_lower": "3257636163848562853887967427822688390073639760897861879469403472600999654708766705909582524308239499205960767444546687111620043798396775895/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"gamma_upper": "3257636163848562853887967427822688390073639760897861879469403472600999654708766705909582524308239499205960767444546687111620043798396775913/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 456,
"zeta_ball": "[4.37687923045295327767353988140892908651874544565113344423857242115890387689186589554206629935512172636041297056539731986215897840067036487384532203 +/- 3.01e-147]",
"log_series_tail_bound": "1/2261706824703936371635967192985148988514859354360771598797459217248581824774920191777161771669499933105294611597459098287752058379644362704407232512"
},
{
"n": 3,
"decimal": "2.581056539840464461882802458910112905520298584626661427564808095131717393930906636575624451361338591",
"gamma_ball": "[2.5810565398404644618828024589101129055202985846266614275648080951317173939309066365756244513613385907478901456932820863827664293935011949 +/- 3.78e-137]",
"gamma_lower": "3842072253957071771886549768909596049322388490309864994477647292027497559864069714279094730511841894397670770878737740090402301312233608507/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "3842072253957071771886549768909596049322388490309864994477647292027497559864069714279094730511841894397670770878737740090402301312233608553/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[2.581056539840464461882802458910112905520298584626661427564808095131717393930906636575624451361338590747890145693282086382766429393501194921901621925138167037242320690092775305352 +/- 5.55e-178]",
"log_series_tail_bound": "1/30220430490113081405067495022476595851913061775038239185618867819071265644110046915747710133831778804618755886749391928913753474583214950456695032345418810054640683554056794324422940866646296173590277254675679092311554798251325871698"
},
{
"n": 4,
"decimal": "2.019674148365157845531773667889112082805108492569294377193541486415604379453509967173009744607913438",
"gamma_ball": "[2.0196741483651578455317736678891120828051084925692943771935414864156043794535099671730097446079134376271550270910950205293115937564073881 +/- 3.38e-137]",
"gamma_lower": "3006417677292641504104410036582361385853259170238488741453426879954606704636537891591040200779823766511673005564216429095722024145052709479/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "3006417677292641504104410036582361385853259170238488741453426879954606704636537891591040200779823766511673005564216429095722024145052709505/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 456,
"zeta_ball": "[2.019674148365157845531773667889112082805108492569294377193541486415604379453509967173009744607913437627155027091095020529311593756407388126054567287788451495405586382008746894323 +/- 2.14e-178]",
"log_series_tail_bound": "1/70604800012592993337160255400155739312298263583275829532157982282507813264602757112363381152315164328087334118096555800989161685673396416367457517961785174024504106936184647101413871054025438682316033054756937154939852156969485868981932404394072655864936967628490490828607848134491417734021120"
},
{
"n": 5,
"decimal": "1.749717157980906734405902335214409329199444833176660875123171601020914712119656307495855518022909074",
"gamma_ball": "[1.7497171579809067344059023352144093291994448331766608751231716010209147121196563074958555180229090738026595149763254433398529188039926935 +/- 1.87e-137]",
"gamma_lower": "2604568958945233132769543705564559812576643942904239334551654880464965462523895255687744367546816724411423386947713114254915412132713090021/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "2604568958945233132769543705564559812576643942904239334551654880464965462523895255687744367546816724411423386947713114254915412132713090051/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.749717157980906734405902335214409329199444833176660875123171601020914712119656307495855518022909073802659514976325443339852918803992693491040384487291732341542352052913680430427 +/- 4.94e-178]",
"log_series_tail_bound": "1/4641629447872501183197550362772407107709666140974535237678500732782343950784863868771359662980741533001802943040598926329701276966598378753513182076576339090027230983989165411920489551704360694036544221148433172479855189821508853795350490077195531117993786291180229322284593370959162186267981054172207522334758778015384450554847717285156250"
},
{
"n": 6,
"decimal": "1.591905460046978768616330485262541624185304322621097376208665097746875062431489105303607486607008791",
"gamma_ball": "[1.5919054600469787686163304852625416241853043226210973762086650977468750624314891053036074866070087914302910002920607235029229246327455790 +/- 4.51e-137]",
"gamma_lower": "2369655877180942850722126053924744519452500569028135101115253350202512900693860137338841641036799363922787576108423837525417020369451961619/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "1184827938590471425361063026962372259726250284514067550557626675101256450346930068669420820518399681961393788054211918762708510184725980823/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 455,
"zeta_ball": "[1.5919054600469787686163304852625416241853043226210973762086650977468750624314891053036074866070087914302910002920607235029229246327455789642911686438852916641380424569383329640404 +/- 8.73e-179]",
"log_series_tail_bound": "1/825480119383812571666616158531789496959073797706441405635912187281815584341283321096310745324642675158231849169833821195969603146664957157721215300331820676338073035499260084763133962100148557873244379041174855190392991537258076167944453621704018240429596730413950886320177327325276444217337478549925555689071036246299496687655463743839037893479195088276244141691074800171089920"
},
{
"n": 7,
"decimal": "1.488635396044770999873020427910265408002221529167549955142752240818694384053260838752697078556199069",
"gamma_ball": "[1.4886353960447709998730204279102654080022215291675499551427522408186943840532608387526970785561990687703137739439202957901201955022580700 +/- 4.26e-137]",
"gamma_lower": "4431863202621304344602076160798992748688286931810540149363171952165466206860123905906521685093210980577061135885495766614520277330582222721/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "4431863202621304344602076160798992748688286931810540149363171952165466206860123905906521685093210980577061135885495766614520277330582222773/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.4886353960447709998730204279102654080022215291675499551427522408186943840532608387526970785561990687703137739439202957901201955022580700348613822233944089373695925270031526310020 +/- 7.45e-179]",
"log_series_tail_bound": "1/180005437267496422695495662979016681289118003189136148816302496918217365217902540392005630036937968280171536611534964464555611840664862928079485659775226640298486702863305446163908952829173891627424386988580989397037007249198799296823693449523199473219641803598577578517834468776238442702868434615686445184225236794254402523825942279171391845332861782298986353117277472133011719878179262648917663797211505576572"
},
{
"n": 8,
"decimal": "1.415891655086958047417855396612240436368539309628275051817005849418967809530226552728602287836391166",
"gamma_ball": "[1.4158916550869580474178553966122404363685393096282750518170058494189678095302265527286022878363911664800302813904370202175130063828745774 +/- 4.10e-137]",
"gamma_lower": "4215295526191923305438072237166741284213296517076366230707914770081968887260299615706164467767100801861081680277991645037285954070475565049/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "4215295526191923305438072237166741284213296517076366230707914770081968887260299615706164467767100801861081680277991645037285954070475565091/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.4158916550869580474178553966122404363685393096282750518170058494189678095302265527286022878363911664800302813904370202175130063828745774337695284724830129184752449065501113038320 +/- 5.17e-179]",
"log_series_tail_bound": "1/1851447629511166906738431129567413725512084256325286823835142669709218491926035427231971912210250398698400456588099239162407857027768646680370695749358262303421110924424445970152186754562698828980035589317359453954233038177376681922116534025064592499960404593963786133067902615709578582192176535104793125179576036604666406242560363665143263809898360113390786756710129674466538289404729336236689137914721928719888669142902441305220273143808"
},
{
"n": 9,
"decimal": "1.361921424316047568025994077868180793688546465195665696283305291126657990692302901818423658816577607",
"gamma_ball": "[1.36192142431604756802599407786818079368854646519566569628330529112665799069230290181842365881657760668580080140990574035816385637347898273 +/- 8.57e-138]",
"gamma_lower": "4054619056704438044597820604067998672036132853279243986409864762652519623329593218259406316176571917529855567489741142926457942062496781853/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "4054619056704438044597820604067998672036132853279243986409864762652519623329593218259406316176571917529855567489741142926457942062496781901/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.3619214243160475680259940778681807936885464651956656962833052911266579906923029018184236588165776066858008014099057403581638563734789827292197301202090428362208661319467777438558 +/- 5.35e-179]",
"log_series_tail_bound": "1/9454186532171391072289030244042670228551458689921328849979003586422377860888695318301234430047221969230516343069984956229786079748851280362490883375406344207087182881106059365641696997606569928789850861650896563132116720072033989085545459937419643882222221933748585541859665386844278319900445056128450762845358298571241213157269994454949327335369179288599309809854253697105104879440339717591250312390673689211681370561207958556604683928060485230365505101030614940"
},
{
"n": 10,
"decimal": "1.320306382655998889601151309928455097974886068326528729231878215839579975893340479001299824844764798",
"gamma_ball": "[1.32030638265599888960115130992845509797488606832652872923187821583957997589334047900129982484476479834644017315141107021834005317528583494 +/- 8.83e-138]",
"gamma_lower": "3930725608853641741158331139429198437616828330267337826028074558810655828978445990705011683980030098671167119871560278813273341006273212419/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3930725608853641741158331139429198437616828330267337826028074558810655828978445990705011683980030098671167119871560278813273341006273212465/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.3203063826559988896011513099284550979748860683265287292318782158395799758933404790012998248447647983464401731514110702183400531752858349393486642517766558442695420629630271445093 +/- 7.06e-179]",
"log_series_tail_bound": "1/119542500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 11,
"decimal": "1.287249164469844054892696818692902623091371253811797121233615702848706153706570744591228618205993716",
"gamma_ball": "[1.2872491644698440548926968186929026230913712538117971212336157028487061537065707445912286182059937158552983341709726298251193504556671079 +/- 2.39e-137]",
"gamma_lower": "3832309926108558590805358285605499078790426595497131288924497140313991453778007734351988805177146453675344503521859319122052836703432672921/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3832309926108558590805358285605499078790426595497131288924497140313991453778007734351988805177146453675344503521859319122052836703432672967/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.2872491644698440548926968186929026230913712538117971212336157028487061537065707445912286182059937158552983341709726298251193504556671079165234894186995634704155664518445245552640 +/- 7.19e-179]",
"log_series_tail_bound": "1/11774702595862684533676881813946648476342845389636400527979154849627884466838774120705973784601031945799556343000185894141331966367895924634328190817917272270637031504686114707166412164388129698370624230847263699084118376489775256329619107262753644209620227844961844881830027843520781437056978220030462007466651539401029158948007690268231105464175410667452109117841251528375974511562533616099536048573132813952705792019606302544006866644588266427065303216517337911076388519144974114371607803744480883071390"
},
{
"n": 12,
"decimal": "1.260361328152353988074262112720003615504233702828474356314046303551148759013478001881159219124379144",
"gamma_ball": "[1.2603613281523539880742621127200036155042337028284743563140463035511487590134780018811592191243791441434480229928665046239267034459372944 +/- 5.42e-137]",
"gamma_lower": "1876130651967024626630535544709356036952735523703238347821361060128355733722122757564997877868345983391526914306097322014629241630267742217/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "1876130651967024626630535544709356036952735523703238347821361060128355733722122757564997877868345983391526914306097322014629241630267742239/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.2603613281523539880742621127200036155042337028284743563140463035511487590134780018811592191243791441434480229928665046239267034459372944477638825960480559544231115846822701019517 +/- 5.37e-179]",
"log_series_tail_bound": "1/21057292305037470882050820826114911520465299136017118503722582095107170013986328293408661784523788634387437795927105948166038343585892934811802071158692924466044025466618195821575479245585308766341089530190560083837729949763908905976165514791079058983165932797233245622413719402879712696133389739824268940320772643482027986036074213684084588119747130499504814937186076308815608578316069005829328305950291341550956092420979398873310844908228729558545061814203828497286410601085392486070235012940358509199952062582178533343232"
},
{
"n": 13,
"decimal": "1.238066235902498402775146076712741955658653152553660438173404788777183689795416352384472985473853972",
"gamma_ball": "[1.2380662359024984027751460767127419556586531525536604381734047887771836897954163523844729854738539722235952531919406762569158250670141916 +/- 2.99e-137]",
"gamma_lower": "460735735550379948940476614916788589240515230496810627003559043872718693829533539067805470536223631796662923907581163114457435797075911227/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"gamma_upper": "921471471100759897880953229833577178481030460993621254007118087745437387659067078135610941072447263593325847815162326228914871594151822465/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 455,
"zeta_ball": "[1.2380662359024984027751460767127419556586531525536604381734047887771836897954163523844729854738539722235952531919406762569158250670141916225118685750820671625696601868247672219720 +/- 4.14e-179]",
"log_series_tail_bound": "1/1300016548693165382314256494119613810112837041635118562613725948828054188700588533983219733480169024694620729017798509058116249819739820944421971821174329957919126415008665737662526967384712750177322263950408723668631661282240192193563817423464607199316942302859592136249357646191553946586585967663947819567881664318885857543144325842570163407288048421142453728070278687356672491571712564883101619606446924979376193537045904515248177728792429874326620165276562567798609780042592236388201205701897221734051005066906783931699793930409813185318"
},
{
"n": 14,
"decimal": "1.219281573346071137793662764939059275112758527619720841633596651430312245185316210516975653006474571",
"gamma_ball": "[1.21928157334607113779366276493905927511275852761972084163359665143031224518531621051697565300647457051661664011814010514511193798946229615 +/- 8.88e-138]",
"gamma_lower": "1814980737695741523574975280895395808515170801241771317107833693269288170621009339514399340571580684405496665940391003716949648187439044723/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "1814980737695741523574975280895395808515170801241771317107833693269288170621009339514399340571580684405496665940391003716949648187439044745/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.2192815733460711377936627649390592751127585276197208416335966514303122451853162105169756530064745705166166401181401051451119379894622961482754717255195296217946211629942167595116 +/- 2.76e-179]",
"log_series_tail_bound": "1/4565695166815276320635469310301331288340995822924660667493386503388422813247199856576717999995867479705922231208850317736976698605493371639373011434409174982675817642767347340025040155273323097625575237120169258065575123567483215006465373516549092726204603512193150562868343501530774849999802655678553930915649808590165757876692163666353788227927992682364751623493251037147279661473147560349122083764790322238560546716562410736182539162904949395942026672029004639624361711289769981214116293690314268426423647153165937172432811416736320903447091757407272960"
},
{
"n": 15,
"decimal": "1.203239911008982994588106074060449231073902770499199122171529440576374319397221522147443539113642511",
"gamma_ball": "[1.2032399110089829945881060740604492310739027704991991221715294405763743193972215221474435391136425111906863118690984459064958684009216796 +/- 3.51e-137]",
"gamma_lower": "895550834625872651266384362760295968973110627756749114597439274702875822002100292340537306752294759301033731371460743621661581943863673755/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"gamma_upper": "447775417312936325633192181380147984486555313878374557298719637351437911001050146170268653376147379650516865685730371810830790971931836883/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"accuracy_bits": 455,
"zeta_ball": "[1.2032399110089829945881060740604492310739027704991991221715294405763743193972215221474435391136425111906863118690984459064958684009216796282647559977295391227187899637920920912159 +/- 3.38e-179]",
"log_series_tail_bound": "1/1355285411500414322406110244009759784904647016049560207136820659703964710165344005222706240175464588899728633702781333788574192449301373303264388055818993577921325107041943934970583103587964840314980912132283060045100580066568898081380513907608432878630938897457279222512922374927040920062179001691412161732473165487196129324511484383273448043255322026069455281399381647182830922653645331763566297220101029818290190285267518077646793441083464495768630809778968742687260641709153956593043818532985279357440005866503861809072690146338313610385739593766629695892333984375000"
},
{
"n": 16,
"decimal": "1.189382068985098885810892757262253787645959913804022963927517025811086790184385169085295393822445508",
"gamma_ball": "[1.18938206898509888581089275726225378764595991380402296392751702581108679018438516908529539382244550785933366237176208003500667005874436640 +/- 7.29e-138]",
"gamma_lower": "3540946721674030220347053761064833962137015901555285269379536519123264324849479541818977460545779363302591364802176377003777989806816673509/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3540946721674030220347053761064833962137015901555285269379536519123264324849479541818977460545779363302591364802176377003777989806816673545/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1893820689850988858108927572622537876459599138040229639275170258110867901843851690852953938224455078593336623717620800350066700587443663992636216372693840255813113336078604343161 +/- 4.07e-179]",
"log_series_tail_bound": "1/46788484384767578404818783048414689315614552582883969614508319145826088022803668048909617224583475597267764979646822177229082270054166608637604235938502377155728643318817006557480420652084896548197057153946155236158281940291002924731809248688616834417075825114915111139795247854811127559247373852909623258388615436455819409165699695906784318537165225218323572650613816590937036312922469961126713633232108798285549637785311372623567001598932701974557959019955034551573550129639848341176399126331567989623842757422665366591045026647270288410925782625936111783359536955329417859731292160"
},
{
"n": 17,
"decimal": "1.177291031376640961434440383628380450766173187930072599960553846594443230076019157442511599181381167",
"gamma_ball": "[1.17729103137664096143444038362838045076617318793007259996055384659444323007601915744251159918138116681844816816923579189279470226189266293 +/- 7.65e-138]",
"gamma_lower": "3504950113773391957491700136734638225980873986949483478417441467038340317509401826369335563099420643953848165841975397904115322794824972849/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3504950113773391957491700136734638225980873986949483478417441467038340317509401826369335563099420643953848165841975397904115322794824972891/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1772910313766409614344403836283804507661731879300725999605538465944432300760191574425115991813811668184481681692357918927947022618926629310566901275513927940667490990851614672354 +/- 3.70e-179]",
"log_series_tail_bound": "1/243899443914378189180027380829862371034958978498372406264578008536022078352964006544256004579863217701857746762048708577397987070382803203585429551425878064846991984844192723585685632186092305397719205104065537109220793287867792163594177444682169613413428170278124955367252719786936450026635766834128973494486963626282902354397759880274503096719062714986095937628606881346553921795242028307315880552474573293433036272767691375020345050448821441162884188158190564515940326531823832526406350780326010140236639911193082450178318161553264906032961013195614403260750451843601101857852299360536269083992"
},
{
"n": 18,
"decimal": "1.166649505382409024665205808478161094252107966876823859309421118154591873455992091877285679298630016",
"gamma_ball": "[1.16664950538240902466520580847816109425210796687682385930942111815459187345599209187728567929863001603004430732215466618000446154796650054 +/- 8.79e-138]",
"gamma_lower": "3473268892435459850980324385948433362567457236465361192379051196571888687623474986063677391896297955057778242035271940473683288185433080667/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3473268892435459850980324385948433362567457236465361192379051196571888687623474986063677391896297955057778242035271940473683288185433080709/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1666495053824090246652058084781610942521079668768238593094211181545918734559920918772856792986300160300443073221546661800044615479665005417454872726073409018113552126352814599886 +/- 6.23e-179]",
"log_series_tail_bound": "1/238322264292375869781519256092053542271201908212514130061026593247574504490069047805860376112082428327722724880932651006384516120593451219084785708482980228942638754949317515929296620586832803586599537318307212686168131305387149623134712866646840932554527180246451325288538030308175007095560278344332666729650887840703216291346965592923123121719817218206132419383772138050274385025287005040898051325593925315350179975670807750484463796241007994724247585522376531175354884714995190619952115859593660640091367815776688834466099895094765914003560484240272940744793161149269137030812759266058736253207555738697728"
},
{
"n": 19,
"decimal": "1.157211817053703129569244569626328494666229889808351274733261472330708723454333711563584229240889169",
"gamma_ball": "[1.15721181705370312956924456962632849466622988980835127473326147233070872345433371156358422924088916858978616324211828554788040915463248097 +/- 7.07e-138]",
"gamma_lower": "430646456753722782267952404287128706088328871250244495839831762527097517982523609758905763995228310387351149579488035190333985909175090071/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"gamma_upper": "1722585827014891129071809617148514824353315485000977983359327050108390071930094439035623055980913241549404598317952140761335943636700360305/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.1572118170537031295692445696263284946662298898083512747332614723307087234543337115635842292408891685897861632421182855478804091546324809696707933736183184032059939098988699111706 +/- 3.16e-179]",
"log_series_tail_bound": "1/52320477452080593377194090862001688057891729178684875127653618079192445204490225586478513072589366499527942854939600970231480735243927982866779496082975094421931408890538899328495486163085269294898255458978716123381926442498622787280831471584835898092656777931959830473035792857828317405380903495771153322957647887000510231383319359497871627932651973317388192785261427714127486728740096565265341883822324296516321410829833612392264272957079837628924478003603086529921128960397401560073198610053555937411830006252570747462314682305610891620157688507637018004846446907636569634416008141004532013093844837331166408782617930"
},
{
"n": 20,
"decimal": "1.148784798137687760124858419972602681292416692496980214333548003433370264638005157483309125630062505",
"gamma_ball": "[1.14878479813768776012485841997260268129241669249698021433354800343337026463800515748330912563006250519576261877267524165664980919770705343 +/- 9.05e-138]",
"gamma_lower": "3420083311282516991866407669645169939905999308743350195835019585719247533245596078875384582113652723792139337185304413264098794589042967957/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3420083311282516991866407669645169939905999308743350195835019585719247533245596078875384582113652723792139337185304413264098794589042967999/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1487847981376877601248584199726026812924166924969802143335480034333702646380051574833091256300625051957626187726752416566498091977070534282100029633778834108056204976459552931636 +/- 5.94e-179]",
"log_series_tail_bound": "1/3008070076856235374275836366670248154724762941299826226400620758940613826950643855063625156320434911030041833424620600722710237644927002396861619240960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 21,
"decimal": "1.141214479951114727513414973400905189081786503838153738198409523530233337941249673534155397922145518",
"gamma_ball": "[1.14121447995111472751341497340090518908178650383815373819840952353023333794124967353415539792214551798922564106943480638539343316062449696 +/- 7.54e-138]",
"gamma_lower": "1698772739594941797973341987893905511468478699296628564022292441334364484544119182875451995107749512224939058983897843716400843560818610353/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "849386369797470898986670993946952755734239349648314282011146220667182242272059591437725997553874756112469529491948921858200421780409305187/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 455,
"zeta_ball": "[1.1412144799511147275134149734009051890817865038381537381984095235302333379412496735341553979221455179892256410694348063853934331606244969602191353643738417084817337026705768073173 +/- 5.61e-179]",
"log_series_tail_bound": "1/51620306981222093605717483533030534675917409157842474210821232269916699112022044717452967033117065054885164349351722435339883564654638352228028076493473061916713762743632209298297216425409153887100503421002114245298881148110975933305852296992909416768996948711730407533914836979028704202738782239282323453250340731947963562048804420182459721209546564751455771883736279914420732108040173433232023810422513073758417519111650156236424511417809428214609851560066733180473039928751269285492114206726701912875782574693492669953015703418833330053659853035987314186746485600739935906069300429439470687151908771261367870868795259315954679772606843730"
},
{
"n": 22,
"decimal": "1.134376636214917801868205924315017403994845170556972098850405636515626392122825995615324390978229199",
"gamma_ball": "[1.13437663621491780186820592431501740399484517055697209885040563651562639212282599561532439097822919860257152006351709635896882091702804654 +/- 8.31e-138]",
"gamma_lower": "1688594159896970434596996969674810738404835605913370252033557057404844908060634271658404064351636678823923111436324067812566967175677656985/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "844297079948485217298498484837405369202417802956685126016778528702422454030317135829202032175818339411961555718162033906283483587838828503/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 455,
"zeta_ball": "[1.1343766362149178018682059243150174039948451705569720988504056365156263921228259956153243909782291986025715200635170963589688209170280465394454667424073147864401628321590610558102 +/- 4.25e-179]",
"log_series_tail_bound": "1/295899169110242102213338263696941148382456058794550661202522374591124755634545464770003809285090127923159136874607914024853760367027200353404374371175261102573758965495775146638110719281722769463741290152027567175758631278822879332387406248144484462517383282159209631347303286634215556029442890584037243946762076294828283407527682513332635119544572769833306315565847991693842693800066803427794225473707243556921953514269583479678719101497763914854038128283683738576236878589646709538538660824530741538918984271372732517569067711335139018852124901829506912583329002526961837235677351039548092656360129118678437882509324853854536432962962684307782500352"
},
{
"n": 23,
"decimal": "1.128169936317671360570783938053394597759233697297698233008034434765988072077962463699158889763477581",
"gamma_ball": "[1.12816993631767136057078393805339459775923369729769823300803443476598807207796246369915888976347758067622410614403395787356268282676625059 +/- 9.22e-138]",
"gamma_lower": "3358710158548141331475283957832143872937554003757971016831674292236434482228486351343139907712756195388626495995173713217577067052807267649/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3358710158548141331475283957832143872937554003757971016831674292236434482228486351343139907712756195388626495995173713217577067052807267691/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.12816993631767136057078393805339459775923369729769823300803443476598807207796246369915888976347758067622410614403395787356268282676625058822858036542587381162128656028618089466721 +/- 9.72e-180]",
"log_series_tail_bound": "1/624611802692368758186384775142772836612468269907472334849164393374261749941137416926042142771999001649993736009623671469766526125691097068062489945952067066007452657301340431786857167683488488476975989667114909141328332845918815403246516956326125106726050037024613201138930669120344549390829082182305013988796459461120595590977168702807158699587111724573643836023246884642435210581947715353537468436777213062144265997084200428480628423854134821366215877168630492306083286553848073428986538790802179830329577866381630118981177543899583568637792219430695815105409912938429601847752380962630823205038033509024078290220743854338647082734894505566238284749353888788"
},
{
"n": 24,
"decimal": "1.122510905734258945225756513490889933127230944940592044872033180656281447213612515851391187509477778",
"gamma_ball": "[1.12251090573425894522575651349088993312723094494059204487203318065628144721361251585139118750947777837423046450187089567415149119321004072 +/- 8.39e-138]",
"gamma_lower": "3341862480821432374416523979108472765389122581154168821531643611052903669966572935833533289405629061601327075302688163744846063116566992031/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3341862480821432374416523979108472765389122581154168821531643611052903669966572935833533289405629061601327075302688163744846063116566992071/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1225109057342589452257565134908899331272309449405920448720331806562814472136125158513911875094777783742304645018708956741514911932100407182391069139251201022931114137888425065435 +/- 2.21e-179]",
"log_series_tail_bound": "1/528642709691296829962500720702152232997093516929765193381050665628918549978436322138462972845720606791843642580338990704729057036799570228433649957557022924325246261154843426568457518800497881227552445618348818975677445254500756465334603550161390266537678165566417108221045850881991191543899654040452181620334317488347080935742149971426460648403624647060122420431677007797576373284788682975545587954487630629426296942104110286954270013875977063632940903225597403126473321168298541008468770248544991044234128144316682114736513946905743137647732069017664878446284293978062968087833550203842173475440807956064514932879238738218737235857016604686356745717048531303897497600"
},
{
"n": 25,
"decimal": "1.117330160807620390911296117200555410673960129396160067320101420734911556283277179925663678379129647",
"gamma_ball": "[1.11733016080762039091129611720055541067396012939616006732010142073491155628327717992566367837912964703298589907461605318653645399365456754 +/- 8.49e-138]",
"gamma_lower": "831609680587178095574696220337190026008330651022519734771662280444360909031836641088030401319121152981102493327503572475496097905129695275/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"gamma_upper": "831609680587178095574696220337190026008330651022519734771662280444360909031836641088030401319121152981102493327503572475496097905129695285/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"accuracy_bits": 455,
"zeta_ball": "[1.1173301608076203909112961172005554106739601293961600673201014207349115562832771799256636783791296470329858990746160531865364539936545675411779949180529386452587633888520295083274 +/- 5.76e-179]",
"log_series_tail_bound": "1/193292899315143783521856959300008972780471302647718342142124785001874369312262714621401206255079063171136907429524448224897953568250606444445996032020485181288554024355711025908634350470383084449309721226786574815840125286492532329282609104458447215733591035966533932174342018954588852378384571649305137093946766701788776104521388284810866710893657706435847876027022772725371883805685595538642527737420936870273626810688510623897817737110848824918607166109550056773599681830847779582910944439369513631984885257397426166967969174301455729321056466166204438707209347410939132134455965728355341641879316606522985411240983207710719288003210075688187430387188214808702468872070312500"
},
{
"n": 26,
"decimal": "1.112569557296163017874509666633651585544129328375149664610417279404174251929423599423147231497405674",
"gamma_ball": "[1.1125695572961630178745096666336515855441293283751496646104172794041742519294235994231472314974056737037379608003952201519161682540772566 +/- 1.25e-137]",
"gamma_lower": "3312265780081751020994782423542852050371515074085388111074548765609628157523824496195508430505728827294894738340519197981757123582308252267/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3312265780081751020994782423542852050371515074085388111074548765609628157523824496195508430505728827294894738340519197981757123582308252307/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1125695572961630178745096666336515855441293283751496646104172794041742519294235994231472314974056737037379608003952201519161682540772565949946325623962523714198971882518096428193 +/- 2.02e-179]",
"log_series_tail_bound": "1/32611538380738568763248694900980538713290172764346198874228633359545978728636796074518742243574105477273850441569695485338131948695952000973301770830384595058297602084785393457281411351395135768406987487256123953882172977621247676632654802850773689135590952014972107666275750464190922075992055148461533627532317921687822786280246586851505989533726994906155015189909720780148233549144314328688144147113663931804288902987031748788252299132210444349467668357804908670317904857665723246665818950669772814479984136172464762318198754975241990156978354169399568151856874222372830639563555245600573844851829939004718951512852099065593777174701821320741704213049672623093170407181688029944217600"
},
{
"n": 27,
"decimal": "1.108180004128103995299296937259853329478924685371409500620843451380728624139818203002258072075032147",
"gamma_ball": "[1.1081800041281039952992969372598533294789246853714095006208434513807286241398182030022580720750321466770355320718625744809626393330729724 +/- 3.24e-137]",
"gamma_lower": "3299197503448561605312055817482462446268566794180692307184814744129040565806966841375896960630069000533790814541769255928540555401300131423/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3299197503448561605312055817482462446268566794180692307184814744129040565806966841375896960630069000533790814541769255928540555401300131463/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1081800041281039952992969372598533294789246853714095006208434513807286241398182030022580720750321466770355320718625744809626393330729724257338629855547329711003881407857196361012 +/- 5.21e-179]",
"log_series_tail_bound": "1/2691467123310604311395716903332960052369943867544649960021980196293173724042759967797675040831534572438145902756695615651785169464858672412803661992096504643469369444830097962024177702751984419492422702803653472631481700623891306857707614075855088820695410928146953268742725007416273238992008363749643994864961030981986434052591635738090010841024367414128630788812788429750976190967912683269667605305677744532748973544214020813281886999882292904624489497318346349645257526821152143335656197348232777115735608548192451416221897202780305230617668897308639181013107319800628449033996631436854282980588630159491835348293039526225869628135775568926324089034539503115263479000875967741210662134975062"
},
{
"n": 28,
"decimal": "1.104119768157496977527749900700330160143248883956153871401100687114429628226065015085721550279426169",
"gamma_ball": "[1.10411976815749697752774990070033016014324888395615387140110068711442962822606501508572155027942616927939808184071135343385498176693800345 +/- 8.14e-138]",
"gamma_lower": "1643554823694656195869090610250198410651553135713815437277389129366042252239744211982386686706845171725566848292133344880459443429317295271/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "1643554823694656195869090610250198410651553135713815437277389129366042252239744211982386686706845171725566848292133344880459443429317295291/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.1041197681574969775277499007003301601432488839561538714011006871144296282260650150857215502794261692793980818407113534338549817669380034519414931564949540258414009529014384325531 +/- 5.19e-179]",
"log_series_tail_bound": "1/114462170523005348515994054667741281506641062505420281402757763934080004746848744058363808777515915086345436777157848661435049805021925793239367152660411880491483613543532791071317463764856892722241876135959516674237889275631990175036040356919995243028247504721304626885490492944674822832424007990450775274805452952746999147093912423009319213128601646972326616728779911209025855768964080910874355620206081412307510845378538928938611178821450802002290976674956114481509559251734993435985762568784037608425162917912009512903857124179640373381708012344016505930755847812588401441291842983857777501412634149713562652394593715644632221413637894997064415356995587413402132299890603262641499997255279205941248"
},
{
"n": 29,
"decimal": "1.100353145957633228495016210570651702062225076198316597657573504133542674006148790250301918182982166",
"gamma_ball": "[1.10035314595763322849501621057065170206222507619831659765757350413354267400614879025030191818298216647016974477962147714886805068771624788 +/- 7.61e-138]",
"gamma_lower": "3275895918110735834488914876192977904717688691948147024252692073748099018856092558108757461751532043657570733810338238263526123364934070725/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"gamma_upper": "3275895918110735834488914876192977904717688691948147024252692073748099018856092558108757461751532043657570733810338238263526123364934070765/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"accuracy_bits": 455,
"zeta_ball": "[1.1003531459576332284950162105706517020622250761983165976575735041335426740061487902503019181829821664701697447796214771488680506877162478810660723649137091869457940885981595561951 +/- 1.31e-179]",
"log_series_tail_bound": "1/2627867203833181969872679414832621927700013248721430770840351747048926322195506890160317177906355446038625641738935239666600330939955355664664294259855383242472670647127117283711303201522488367402928592651083674274393559166479436231504088684348243360402066109923753396543309856957080032513750793877181202767109166414300479671521979292920485675680757962027304471017710002615998793299510856221576267124352634991259611095414673119908674923571628580942064874778530141155814587234730400852556130237305732795351299311384916911317677298315939174677042455604859615513700337758433344025738713910802326796907301702821289947926346301871560645014328161286502163021735504352478618794708745778755625252564335489317175453470"
},
{
"n": 30,
"decimal": "1.096849413199744608823801508409158538058418665261151720911413066902127329846563313076896426342822418",
"gamma_ball": "[1.0968494131997446088238015084091585380584186652611517209114130669021273298465633130768964263428224181369253695098722229516121832842399005 +/- 4.17e-137]",
"gamma_lower": "1632732422624230139986325459248467140537440418019107017007286087212042891214294162377285260392244788620025388591751234789813199390982250781/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"gamma_upper": "1632732422624230139986325459248467140537440418019107017007286087212042891214294162377285260392244788620025388591751234789813199390982250801/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"accuracy_bits": 455,
"zeta_ball": "[1.09684941319974460882380150840915853805841866526115172091141306690212732984656331307689642634282241813692536950987222295161218328423990046546037533963436322361946710481950995033226 +/- 8.88e-180]",
"log_series_tail_bound": "1/33960208763264575228944597531508074588587303169699221284839202711681334767568665221571489262893461431690326927734629180116830467062887800575711042598164387798902468143871322622070279798893775325072074064941794379985109704534927448320627500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
}
],
"source_pdf_sha256": "5161130f8d3c3353444c315747c771d9eeffe963d80d7ae6a63c3027f0a28604",
"files_sha256": {
"generate.py": "3a00d9a979e61290ee476fd596953446cde3b6bfc66bfbf9e1c4451a0fd3aa2c",
"checks.py": "aaf498963165f2add393fdc4c6ffc0d194b5875e5f7d4584efd61a30441876d8",
"argument-selection.md": "cacd4c504ba49b1c8a7a916bbb56aeb1f3866e5ffc3e08239553d600cc5063cc",
"sources.md": "1036937671152b1b1ceb096393e0fefe0b9eea3a957ed30c6270f911abb96141"
}
}