back to table · edit · history · where entries came from · files · download
24926 bytes, as of the version from 2026-11-01 11:37 (current). Recorded here, not run.
{
"versions": {
"Sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10"
},
"skill_manifest": "agents/runs/20261101T095610Z-build-skills/manifest.json",
"runs": [
{
"working_digits": 150,
"cutoff": 630,
"bessel_max_bits": 2592,
"bessel_nodes": 5557,
"values": {
"5": "0.581126744217266475011855438766648877657543428096061556074563924764390523124290936499547108726857285185696827760646882899769388763075836397131702687187",
"6": "0.63652485468721528157528973445235184363378271807037382148250871403256306124645129641502412329061903849711414028553402135102083825228928133260077164759",
"8": "4.94039239746109240855143201961125120606707723382088409509961544676617449841850427417978680362940737367729553963940993900190293670145561710363933425257"
},
"moments": {
"1,0,1": "1.0",
"2,0,1": "0.5",
"5,0,1": "2.49659925074976535618400178115149974324061143279811622327291013824210141412704630450394630655138484907191498096616946015130972248769032630211450078028",
"5,0,3": "0.0736740268545687828475758021639999325186055942365636819842246775150232929978631506853057100352155019293633853577344630638483333777602030946188363631294",
"5,2,1": "0.66034486901867235783726683170599426385424199169687385830080358755389495868379944541098107201217532768424301589549416343476931530399419141585452354214",
"5,2,3": "0.252253944897841965994509612555090408775068450755970099920659309452897102074198605908156354959651741192790230016074372979108122549739634098069301909337",
"6,0,1": "7.29713485159882959671043573881645652250994073166831495066932248082879504511506276641428307739472637339594000880296977811642280700707462444914871427258",
"6,0,3": "0.0947414190048684015843058540188541204901601577489830782007994539287392740209840268456076120682632037167569818305822990560588545074939886438080170570327",
"6,2,1": "1.09367018635018388927185682391725685664404585678550056236557531516359461121108732775076540165581309952336018438490372454444976167814413313696516547088",
"6,2,3": "0.10142894918588258704060425915910146000579956755518320807331718306580942104720558303940481300106721429318451396799044417312893624513648291106282196654",
"8,0,1": "100.088734214568208117000371740061496973957755038463833799126610010376294122687581806011677740086854957746022342903582403820765463323886359265129606429",
"8,0,3": "0.281184681507343385965072628928748139355035058844674267737691302941436357071443159651227201877605389673823000694148937604515158421234397283942028900696",
"8,2,1": "7.34580960916210812583075232901478065152556741083708133518572178216502759776523143129951284438833646139223611696926468236971495183766461312698369682888",
"8,2,3": "0.102025133460584835080982671236316397937855102928292796322023913641180938857850436545826567283171339741558834957906453921801596553300897404541440233734",
"8,0,5": "0.0135689745996680507495523538850625518404014262336591499899292057315329541823820446312505885505243572936280192276035359244938112192015045386614809044256",
"8,2,5": "0.0170098821212848948225653080433596207294046399187501467292295446587630393426424008325779239616685628028449794819061490749876629419537012059481330376484",
"5,1,1": "1.07128505542180765851871197803081716076317977716705621702469365995018387149306408799627230009374309676699226847792028393468717719576272025947135005099",
"5,1,3": "0.0859372906917684524238417457876469580337873779130649806431684669637579075229723025556516009833819312467727783976110716455880934308423440509717527355224",
"6,1,1": "2.51532011887066138290498867136071318376082884574705199830171484252701024523235901626299134946931836269587057659340278425733115836461965577446939758687",
"6,1,3": "0.0786464441742168893787450470564888943487913490559202067599764961005415557542503936162363762289148811382455967421350711759152370121616013840782312024074"
},
"quad_error_estimates": {
"1,0,1": "2.000000000000000000000000000000000000100000000000000000000000001e-165",
"2,0,1": "1.0100000000000000000000100000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000001e-163",
"5,0,1": "1.000010000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000001e-158",
"5,0,3": "1.0000000000010000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000001e-155",
"5,2,1": "1.0000000000100000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000000000000000000000001e-153",
"5,2,3": "1.00000000000000000000000000000101000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001e-172",
"6,0,1": "1.00000000001347567816926461029335909023726988986363301144621893726183802359147887718766022538138879643606463742962407375064370213576461216104995189907e-160",
"6,0,3": "1.55141998913133399340295575229450173473431535649769034236813444379551485028024463286656755130183612757254346811041381932136647862918120410262300499728e-167",
"6,2,1": "1.000000000000000000000000100000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000001e-162",
"6,2,3": "1.00000000000000001000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000001e-169",
"8,0,1": "1.00000000000000000000000000000000000010000000000000000000000000000000000794665111915545200957229005596876680295148512195856625268765975172394157149258e-157",
"8,0,3": "1.00000000000000000000000000001000000000000000000000000000000003262124615380233480509735054846050679807212500295142578938178257225545167858084023740824e-163",
"8,2,1": "1.00100000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000001e-157",
"8,2,3": "1.00000000000001000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000001e-153",
"8,0,5": "1.00000000000000000000000100000000000000000000000000000013390814521772668988135376656691059380867829797314401459483124866899823769958654118106799542722e-166",
"8,2,5": "1.00000000000000000000000100000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000001e-168",
"5,1,1": "1.000000000000000000000000000000000001000000001000000000000000000000000000000000000000000000000000000000000000000000000000000001e-162",
"5,1,3": "1.00000000000000000000000001000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000001e-169",
"6,1,1": "1.000000010000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000001e-155",
"6,1,3": "1.000000000000000000000000000000010000000000000100000000000000000000000000000000000000000000000000000000000000000001e-167"
},
"tail_upper_estimates": {
"1,0,1": "7.8144158390463270636085844124425314567524080727629402768272345080735513252579737877979987919632292339511659414271188635967980425383129862239465280452e-273",
"2,0,1": "4.83490002513963040625476480002328625844513793248052432599426761582213647396927432952134197345350202713146631918259882232757454536953151397351361496106e-548",
"5,0,1": "3.67145967006074424680095220114185567776013025011582019606994781406288313701048462114989509833718309188502903010730600233835972279687219441086696205716e-1373",
"5,0,3": "1.45812843287427628662460539474609301899139925248086478989440452590642108054757666951928970603910329676317448409093045124918051256973925306809932736266e-1367",
"5,2,1": "1.9483897930193381947676746278445909195418558841266834167933037999280144352774582401009542549549887567020106104661793813444277098883071497223577404222e-275",
"5,2,3": "7.75782626261973017954656216282081192221238079199066870288341264724734922756716072387603253341209630956192374966415835997726494762977462135409221901398e-270",
"6,0,1": "3.78879053200177632618904944694540051467728418303723821397726996801287696139803278306247952600953372193466748786679989567979278953925834035533491977537e-1648",
"6,0,3": "1.5045672401298748967920823533589215635416441235380530427045588995763809273323231508146532724693571849291371296017590543319236367798171696451404690709e-1642",
"6,2,1": "1.20549892062061662911869784657723616532794629303266214523519870745451265146097209031358130830239493015789316778527591958830620912164949112616594059238e-550",
"6,2,3": "4.79223798478323253605719068982410372179391655993772059867786485313260424700364770652851766406453993360860587153632298900644237557742082682753265419878e-545",
"8,0,1": "4.35777956963752644590870159390169172126910330295830407883363124080265527129711333623768263294839634104929753754289641499813534270445031079211457823416e-2198",
"8,0,3": "1.73028947025651130981034022154855487337328411388873860018106310476719828610265169005492116305931388934188349111916978031788708048049197906943291667136e-2192",
"8,2,1": "9.2405222680683406496838940193177417875211871934150941891773416723048636951976922951786443241118641364584309680260176626725910631515839439490839615637e-1101",
"8,2,3": "3.67047752203676645741842473335602157777583393619800944616655642655125912164154370173149841291718600239981120452792889455020212907369550181294914498376e-1095",
"8,0,5": "6.87024681962582848035070101076189501309082624272073891762573723420644038880161976122731793812727578085028828154543152535402021520658689438633161141113e-2187",
"8,2,5": "1.45797102752501796886344782460273777134783224950703129307947722482002233563430366833470069163361985685694032359170924065512391308106294526174206794278e-1089",
"5,1,1": "1.9926774170873128909852922317324573927663534849361650483816427676623369023962242523067768831294797701663062284938268914458856122766835952874395440987e-824",
"5,1,3": "7.91731921920748290869192388721379283904587283436846116401881936069161571162609960489622341358090616720479127507418441061416643921214145804740647744936e-819",
"6,1,1": "1.85057569586273250389056353721151280894750791919302570929733714659787032149787242384622273128052610435701008630933815763369993176421453265806789866965e-1099",
"6,1,3": "7.35077119825135788267978068529435567708271269284348941687193060336887575044780102620930176937608900458406796544421190660536452859940003274610897213199e-1094"
},
"controls_relative_error": {
"1": "0.0",
"2": "0.0"
},
"period_controls_relative_error": {
"5": "2.7235621e-151",
"6": "5.8063246e-150"
},
"determinant_cancellation_digits": {
"5": "0.0672324372433",
"6": "0.122401809058",
"8": "0.244395395531"
}
},
{
"working_digits": 200,
"cutoff": 780,
"bessel_max_bits": 3256,
"bessel_nodes": 8755,
"values": {
"5": "0.58112674421726647501185543876664887765754342809606155607456392476439052312429093649954710872685728518569682776064688289976938876307583639713170268718688593950085372588411743208373119362629692542387261",
"6": "0.63652485468721528157528973445235184363378271807037382148250871403256306124645129641502412329061903849711414028553402135102083825228928133260077164759015628315922091385831568860910386657352592209257384",
"8": "4.9403923974610924085514320196112512060670772338208840950996154467661744984185042741797868036294073736772955396394099390019029367014556171036393342525681257964781563789001731683541504291397706666532705"
},
"moments": {
"1,0,1": "1.0",
"2,0,1": "0.5",
"5,0,1": "2.4965992507497653561840017811514997432406114327981162232729101382421014141270463045039463065513848490719149809661694601513097224876903263021145007802783958528017767830808778998673517886242037452233705",
"5,0,3": "0.073674026854568782847575802163999932518605594236563681984224677515023292997863150685305710035215501929363385357734463063848333377760203094618836363129394655644799413351912718317244613863795199147564177",
"5,2,1": "0.66034486901867235783726683170599426385424199169687385830080358755389495868379944541098107201217532768424301589549416343476931530399419141585452354214035637704765084203336322713882157665025319358470684",
"5,2,3": "0.25225394489784196599450961255509040877506845075597009992065930945289710207419860590815635495965174119279023001607437297910812254973963409806930190933697699312117518392885226806679654287870304932469387",
"6,0,1": "7.2971348515988295967104357388164565225099407316683149506693224808287950451150627664142830773947263733959400088029697781164228070070746244491487142725834725900303036257943089466311202141727123144944348",
"6,0,3": "0.094741419004868401584305854018854120490160157748983078200799453928739274020984026845607612068263203716756981830582299056058854507493988643808017057032676917731192088487888545644971039351689124809415605",
"6,2,1": "1.0936701863501838892718568239172568566440458567855005623655753151635946112110873277507654016558130995233601843849037245444497616781441331369651654708826618981045340381566244322207465388394772352909026",
"6,2,3": "0.10142894918588258704060425915910146000579956755518320807331718306580942104720558303940481300106721429318451396799044417312893624513648291106282196654047722239605362057729947499546878440080287975176229",
"8,0,1": "100.08873421456820811700037174006149697395775503846383379912661001037629412268758180601167774008685495774602234290358240382076546332388635926512960642879170477541880762067618048481569894330722555281275",
"8,0,3": "0.28118468150734338596507262892874813935503505884467426773769130294143635707144315965122720187760538967382300069414893760451515842123439728394202890069616969761636566655283207978562052491753763784235605",
"8,2,1": "7.3458096091621081258307523290147806515255674108370813351857217821650275977652314312995128443883364613922361169692646823697149518376646131269836968288833986866861282333457751260784878143447504819984215",
"8,2,3": "0.10202513346058483508098267123631639793785510292829279632202391364118093885785043654582656728317133974155883495790645392180159655330089740454144023373449164842619622546313576563997899742145486780553363",
"8,0,5": "0.013568974599668050749552353885062551840401426233659149989929205731532954182382044631250588550524357293628019227603535924493811219201504538661480904425644127933029553803529401851581226919199685326093796",
"8,2,5": "0.017009882121284894822565308043359620729404639918750146729229544658763039342642400832577923961668562802844979481906149074987662941953701205948133037648370981645027948022679024243468777285446172920868627",
"5,1,1": "1.0712850554218076585187119780308171607631797771670562170246936599501838714930640879962723000937430967669922684779202839346871771957627202594713500509876426210513166585606528599408066234374209440395689",
"5,1,3": "0.085937290691768452423841745787646958033787377913064980643168466963757907522972302555651600983381931246772778397611071645588093430842344050971752735522404407240907380456653601739836068516046195562224161",
"6,1,1": "2.5153201188706613829049886713607131837608288457470519983017148425270102452323590162629913494693183626958705765934027842573311583646196557744693975868744230623035895265949650773826143930453756071461668",
"6,1,3": "0.078646444174216889378745047056488894348791349055920206759976496100541555754250393616236376228914881138245596742135071175915237012161601384078231202407424291755675779577522177733113749093964316017695121"
},
"quad_error_estimates": {
"1,0,1": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000012e-228",
"2,0,1": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000011000000000000000000000000000000000000000000000000000001e-220",
"5,0,1": "1.00000000000000000000000000001000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000101e-204",
"5,0,3": "1.0000000000000000000000000100000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010001e-202",
"5,2,1": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000011e-206",
"5,2,3": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000002e-204",
"6,0,1": "1.00010000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000011e-202",
"6,0,3": "1.00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000001000000001e-202",
"6,2,1": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000110000000000000000000000000000000000000000000000000000000001e-204",
"6,2,3": "1.00000000000000000000000000000000001000000000010000000000000000000000000000000000000000000000000010000000000000000000000000001e-285",
"8,0,1": "8.3355045187704037858764432413664710578781693322520317792727363187759923784822075677874492282411981541771502265170694538701809880474328545608579331296726211715283610627475289839270608527418480570142736e-229",
"8,0,3": "3.4276716548253342027604462942687686461605115726839880554319367574962642434714544885335366527787697074860594182167057887523498919564522587710598210997304935190621065946758408162691309736217272850202401e-225",
"8,2,1": "1.00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000100000000001e-211",
"8,2,3": "1.00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000010000000000000001e-208",
"8,0,5": "1.4094878384187175905539706787374909842325264293560948233631785186944233714766496555900096556051206192052590773172826914964325473915378293231240058817727712861239894675529959471059675069625776816715402e-221",
"8,2,5": "1.0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000010000000000000000000000000000001e-206",
"5,1,1": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000200000000000000000000000000000000001e-207",
"5,1,3": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000002000000000000000000000001e-202",
"6,1,1": "1.0000001000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000101e-202",
"6,1,3": "1.00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000001000000001e-207"
},
"tail_upper_estimates": {
"1,0,1": "6.2368959723409652102776477122326474204932019134264342851695121662445175782991669638009437780772138165024761753655133546871782006047287209013173110422934431480316069371752612518955386593424998604550404e-338",
"2,0,1": "2.4887231950177306393230981219325781612862585643468618819645375916360558526211167536587192508092561382442223010084525758557536687978479841610880422256646816846952798237035573819069568263175366024172284e-678",
"5,0,1": "5.0678031060645618064205516665404056124072257163773012712422282877329648718153582281135411596785012525535761171150248444584616290988320939092150207119656570915301598997751219132297387738328812453950155e-1699",
"5,0,3": "3.0848337815078316634332568408176776079345086822339136295250925892509656128869892033340265957395976987033537777614045596155737457032078803433653236145554202244610252128579407458719491916678746160825709e-1693",
"5,2,1": "1.2560119594814196531422085325700946841831407978479703397039922837174648929930601733042099677578152031286575137050055751542678407123373458577488422412434130801335866578678121092743008614862998773778676e-340",
"5,2,3": "7.6612461997384577029725820318788664988754286877598367502256504159237669788770362104558708787004229794791146101981940837668501388858652009043317141267306521426718216414651119072465320177080864165254202e-335",
"6,0,1": "3.3723813274481647475584605809173073510859696214109186147294950847177251902117943270206820133263394452462052459897681316061324921858191556739885184628789250454880234539440105299273268193465170821287499e-2039",
"6,0,3": "2.0526341811886827881692882074311289584440653476076756681328772041582752368583706806049503446207693978200503228774766951910308205222029633111189954814932440220485183072967391434641926437909514272305768e-2033",
"6,2,1": "5.0118939142860390346519500597620787444272654965473603901584481297700803270820086400245600702880824319057890371128567315592648934007417145487502250805331112477816035167562078253512570094142791282855504e-681",
"6,2,3": "3.0531530670308832150260900212614442748508579598631898019778878316731857430210957188344759913962343732176881928258068807413897820328018965869913769992904956151774956304353175305274474809881838987480283e-675",
"8,0,1": "1.6129029670112680162633567612060026054036573668958395075987147519385560554947284724961468977706000348372698498140203676061020648788397011027182100636507419898511404470018213424777891297111063326818595e-2719",
"8,0,3": "9.8160483249060773156475440046450695129244888585204681919568048831817954280469971073228561251788787378476409478513982650537694793054237880830946968382266637657785502283099417438181734964803643129740749e-2714",
"8,2,1": "1.5975928768824413534540544600458843868498663496674134377477072011598325747550302472048596599581505413824005014154511746544866708690976629152724942224652548032435499844430226842835990186002271307408466e-1361",
"8,2,3": "9.7259916719119985862620223348132377097611538183584981472719733263972339747260683191653603105316730319763446856777657454086751518977586702244334903033441723725795288837314278745187160226377400166922626e-1356",
"8,0,5": "5.9739994652837228301595615914388673679396546138322807077613353339401308193663507924737646322898831776988404398428541497528460579780515631694083034725138711532183867736459991162194704125979507301779864e-2708",
"8,2,5": "5.9210925584453153234708235791189936452977348986482761220925961920508829782491655448122310268683542834875730557915638208738974410421498878858708862777620131517158941275157238011806906399404882178256564e-1350",
"5,1,1": "5.9445896176086444367983644259484507276947797745001965847172382963809773526772169803008960493127431710241063023881217786228771622896385461314565724832725804972510178116235587317627049729741165253270108e-1020",
"5,1,3": "3.6197834781013689366877467609205479382816901543136696403123930835656989762009701320053219515720927766120000067429571953688560765473173461445693453044702977417286553249414451676054604541287468478763123e-1014",
"6,1,1": "3.5600285292857686820724001286792782360506501588184605653735267064462194275638418135403446880860532067954619076485651411776438835759757715499105066543386112050180429480266482805812431667339420570278411e-1360",
"6,1,3": "2.1673111046394812116756861261539130282381839336265149956588316101192375384207170997232700237325053996771850490115990222883030357446962443704849398341579361203714328812827040637060169395884060807953829e-1354"
},
"controls_relative_error": {
"1": "0.0",
"2": "0.0"
},
"period_controls_relative_error": {
"5": "5.6926839e-201",
"6": "1.8165696e-200"
},
"determinant_cancellation_digits": {
"5": "0.0672324372433",
"6": "0.122401809058",
"8": "0.244395395531"
}
}
],
"relative_discrepancies": {
"5": "1.962747374e-151",
"6": "2.455256194e-151",
"8": "3.793632916e-151"
},
"skill_sha256": {
"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
"sources": {
"zhou-1711.01829v2.html": "99d890b60cb16e6c8da4ded83f0d4c9d63511ec73259f998b3f9348e4fa7fce9",
"broadhurst-1604.03057.html": "d602e88fa5092857aac372fecb057d35e377e73cf7ced79ad3a76c520c078f54"
}
}