back to table · edit · history · where entries came from · files · download
24620 bytes, as of the version from 2026-10-29 10:07 (current). Recorded here, not run.
{
"table": "T606",
"mode": "stored",
"skill_manifest": "agents/runs/20261029T093155Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"working_bits": 429,
"quadrature_digits": 160,
"entries": 60,
"controls_absolute_errors": {
"0": "8.891035e-162",
"2": "8.891035e-162",
"4": "0.0"
},
"finite_sign_checks": 300,
"integer_identity_checks": 31,
"recurrence_checks": 35,
"max_arb_relative_radius": "[6.4993579036505086288203651450308690856893420773357520553906922219269927034563379036797908044400197797407517373421369678654567348e-129 +/- 6.42e-257]",
"max_quadrature_relative_error": "4.18143332633e-100",
"measurement_balls": {
"entries": 60,
"longest": 146,
"longest_at": "13/6",
"block_kb": 10.6171875
},
"measurement_written": {
"entries": 60,
"longest": 101,
"longest_at": "13/6",
"block_kb": 7.8759765625
},
"rows": [
{
"p": "1",
"number": "1",
"arb_relative_radius": "0",
"quadrature_relative_error": "0.0"
},
{
"p": "2",
"number": "1",
"arb_relative_radius": "0",
"quadrature_relative_error": "0.0"
},
{
"p": "13/6",
"number": "1.029965605409935206387000651877852361147345579224645150741177173325817331684718696072223680483800276",
"arb_relative_radius": "[6.4993579036505086288203651450308690856893420773357520553906922219269927034563379036797908044400197797407517373421369678654567348e-129 +/- 6.42e-257]",
"quadrature_relative_error": "1.641641882e-100"
},
{
"p": "11/5",
"number": "1.035857547340306097160634160617261724100007723340119779836390836027851414323266767073586484732696638",
"arb_relative_radius": "[6.4516405504804167901810407553593826386470662117777122084534082377900062813396587581790299554354937716315461376213027600397911126e-129 +/- 4.43e-257]",
"quadrature_relative_error": "4.181433326e-100"
},
{
"p": "9/4",
"number": "1.044634782580381597221296295423597326267711856637046006743763015667958282463077951740324009472826077",
"arb_relative_radius": "[5.8855019009481221636855328514201097790522000823055432067574532645983349493641028844764100913185193398910970350434048427442611629e-129 +/- 6.53e-257]",
"quadrature_relative_error": "3.848913185e-100"
},
{
"p": "7/3",
"number": "1.059105956430157429249888362427296055213542291296521438251979377772279640221766612669330067739176411",
"arb_relative_radius": "[6.2404383264694964020968752815368324314473753725433612955478373287923894465623538212301687815925528586218004130937117905764098866e-129 +/- 4.73e-257]",
"quadrature_relative_error": "3.217103e-100"
},
{
"p": "12/5",
"number": "1.070545491251161847352181266284181035523852997298383371871826072143271058746385862442327263157495151",
"arb_relative_radius": "[6.1408638039943786570685832562839416024224617375122958511985096445373109732778978660390114897580499720190452333585784503585200626e-129 +/- 8.21e-257]",
"quadrature_relative_error": "2.144713967e-100"
},
{
"p": "5/2",
"number": "1.087484427895791883602767466189897564879228281408480498881678354928924451475886127340419413571605179",
"arb_relative_radius": "[5.2604719839262223073110100583180117134682661528924898226855543320407578926279140189807303142881939096229151339458625411526661779e-129 +/- 4.98e-257]",
"quadrature_relative_error": "3.627956199e-100"
},
{
"p": "13/5",
"number": "1.104169287797457109081656643897210394122253726900542351677262858635041575655796711040878847992349495",
"arb_relative_radius": "[5.6830348208923612871432712052348077081266771842585190624811528355322061555450971766232265471486725969227607318358800315420097832e-129 +/- 6.72e-257]",
"quadrature_relative_error": "3.868669623e-100"
},
{
"p": "8/3",
"number": "1.115156790863555360189478775414071537770311780808035739801785027566418145290540316688151978095883383",
"arb_relative_radius": "[5.5969473152301893629509979356067925427677324279729085361608963718232688742345967226377360260628478478710190250298183768034644234e-129 +/- 5.86e-257]",
"quadrature_relative_error": "8.533360315e-102"
},
{
"p": "11/4",
"number": "1.128743832582723017589374802717413659050126310656071186679667292807201770417932905136436872593629685",
"arb_relative_radius": "[5.0736783087644561579700346420634788008413524772836764817248972829336274037594946240968166885942408157931130490256021155940357444e-129 +/- 6.76e-257]",
"quadrature_relative_error": "3.71503183e-100"
},
{
"p": "14/5",
"number": "1.136819650608013131551207103069024963089005627850699127403627835229286111098677240413908383208342588",
"arb_relative_radius": "[5.4253356348734678607382530888358341785517480384441365290610760988042499273503795767919140487420300311437058486545106386792976901e-129 +/- 3.22e-257]",
"quadrature_relative_error": "5.90027802e-101"
},
{
"p": "17/6",
"number": "1.142172417827655186944203859946146558909119803929466961535715134733133428059821061207582743788948335",
"arb_relative_radius": "[5.3862299396763174728565811389762812071493240285463177167475261779523253262789757047592939718031669928284096897313056670154438098e-129 +/- 6.45e-257]",
"quadrature_relative_error": "3.846928489e-100"
},
{
"p": "3",
"number": "1.168575254962465548670476011097685271060524048167907972383516287423415293888785465278714234283834940",
"arb_relative_radius": "[4.1455092308450936613156351268194694236817024913551866075891778339386006117328457412900273118857786636907087687125304391126580459e-129 +/- 5.72e-257]",
"quadrature_relative_error": "2.7971593e-100"
},
{
"p": "19/6",
"number": "1.194404613823215974691141502663558013029209736003007604852060789190806196917753898963629427003657828",
"arb_relative_radius": "[5.6975037312336439860530261259937514419562227076047084140865502315632136028007890188453248440406492195209720894132701502874035995e-129 +/- 6.49e-257]",
"quadrature_relative_error": "1.097575767e-100"
},
{
"p": "16/5",
"number": "1.199504840728212800580040594347753071584753519256709978867113337723710507661045387576294212654134765",
"arb_relative_radius": "[5.6590006596609863676525507123662865299194352477902694921521693557589119448162037514615774728466462852304810679738929679472815839e-129 +/- 6.55e-257]",
"quadrature_relative_error": "2.500424003e-100"
},
{
"p": "13/4",
"number": "1.207115418910280716560080887755696741103906901332713331665322917979183552762064126625264793655627905",
"arb_relative_radius": "[4.9963031645146408008184881773000428399131623566317923840469039406408504148479572975613815936132982713340126579894594799446632697e-129 +/- 4.09e-257]",
"quadrature_relative_error": "1.26646188e-100"
},
{
"p": "10/3",
"number": "1.219695821606148543116829708523649192145728393641000483874792375643830132292819297556847908709641391",
"arb_relative_radius": "[5.3952256239423477082242721066842027933833851710406204152730626075053949630206967137277191517567357248862049472982820749421405753e-129 +/- 7.41e-257]",
"quadrature_relative_error": "2.866672412e-100"
},
{
"p": "17/5",
"number": "1.229668868856967409287215652803532426992122447174379804861041238583056293187876964655265016344907877",
"arb_relative_radius": "[5.3260915754034281691018712532642224643903890452434744205845744780675143490567077126980002840533762195021672021817444444923662274e-129 +/- 7.15e-257]",
"quadrature_relative_error": "3.952801923e-100"
},
{
"p": "7/2",
"number": "1.244480759488327894863323400495897862860215288174347623319900032320955278314834968915613813435927522",
"arb_relative_radius": "[4.2906920771988599272297677047816517185868969788436251716889497518340881976114879477687384783814006956189327771808661139133260601e-129 +/- 6.52e-257]",
"quadrature_relative_error": "3.056198255e-100"
},
{
"p": "18/5",
"number": "1.259120841408089105921136791624485750187536979876670072727156717436904461779882966398001410341363273",
"arb_relative_radius": "[5.0457038236802835064567029872758444142987753177081153503975478076336811289753924068948397019472950065547891121014177098498864425e-129 +/- 3.88e-257]",
"quadrature_relative_error": "2.868703999e-100"
},
{
"p": "11/3",
"number": "1.268788311586449557002864601372414816632810965904888625929375289820130382388512613689361654195377600",
"arb_relative_radius": "[4.9835822339021098055256419477440727174590235012031772642458639971482437614631045957614944327757702605863410790134274531710454991e-129 +/- 5.23e-257]",
"quadrature_relative_error": "1.173180591e-100"
},
{
"p": "15/4",
"number": "1.280771368762240418283651510004228498283724386695380201654223195439851964654995985469860913492140827",
"arb_relative_radius": "[4.3252136676270379888749249789284382672019662713989050252032148968460373192215808477795328528728952304842993053204616648447421062e-129 +/- 3.91e-257]",
"quadrature_relative_error": "3.533026692e-100"
},
{
"p": "19/5",
"number": "1.287908364566674602185895152514614483444076315605267011914759405059985248047230170336486041486727361",
"arb_relative_radius": "[4.8583901107691952631241546816717359156184128668591659440489533384638442320703317085658072647775370919361379641784311809666518973e-129 +/- 7.03e-257]",
"quadrature_relative_error": "3.656705791e-100"
},
{
"p": "23/6",
"number": "1.292644741923970672164012232922937085544162095563518650617852510930017814777886097147880033286115545",
"arb_relative_radius": "[4.8355151878594769279248034905080801335508901106224242016310670732905981902802921899115583419773550856148246050946395791143971790e-129 +/- 6.91e-257]",
"quadrature_relative_error": "2.019531292e-100"
},
{
"p": "4",
"number": "1.316074012952492460819218901796999055160068590205822176731922658595866795197302133050743150246601932",
"arb_relative_radius": "[3.5295430276759552932968105960768675776601674703660842446069428078212382058797059205416153612117226725656472973758867775560699161e-129 +/- 3.49e-257]",
"quadrature_relative_error": "3.646848528e-100"
},
{
"p": "9/2",
"number": "1.384009387510219688034827297145567581107625648979004481102158342577011288357288874498912543721018054",
"arb_relative_radius": "[3.4723675383248426539125377656095336321577283977849554166991536134082342924216739697436089441760890415306066018398427717044173180e-129 +/- 4.87e-257]",
"quadrature_relative_error": "6.552763458e-101"
},
{
"p": "5",
"number": "1.448791901549305285253546598812810588213401039351967807295030580155436284774272812054274028124363387",
"arb_relative_radius": "[3.9346237538232149804796373616193681372716494362858491626030387624937440292449622801818455381085221120736729703047908444927396234e-129 +/- 4.55e-257]",
"quadrature_relative_error": "1.728017621e-101"
},
{
"p": "11/2",
"number": "1.510820744666641209063341845971947762906055014661744600117187967379529202284760321868134343756129018",
"arb_relative_radius": "[4.0774901536259299003706287452807573809750777486547460834903452004100455066081097136160944511021367291174998821052879071222634471e-129 +/- 1.72e-257]",
"quadrature_relative_error": "2.744503863e-100"
},
{
"p": "6",
"number": "1.570417802475019735310529667002623349458377776658135337896289938400746585292605422213434690489066223",
"arb_relative_radius": "[3.9125059994179564086903395178687024894846792750665392624983869156453462282087914605637968824458631002943449904028095194344837815e-129 +/- 4.15e-257]",
"quadrature_relative_error": "1.515878041e-100"
},
{
"p": "13/2",
"number": "1.627847033598495929519685945457695828763318127356752743392050251575368960450554507646474448251247048",
"arb_relative_radius": "[4.0119947063257543680708715390383605171275616758918072755774586584412592352555146788652765529276060747460373923725988591286971651e-129 +/- 3.86e-257]",
"quadrature_relative_error": "1.918924902e-100"
},
{
"p": "7",
"number": "1.683328037076984812307523017899448565986396083702453214341564245770365627825987118778554845988423891",
"arb_relative_radius": "[3.7511858546561657630844618179380174364451987816965423998855476492156523774101749132490944851686314851523336592911600803465407599e-129 +/- 3.34e-257]",
"quadrature_relative_error": "8.975102749e-101"
},
{
"p": "15/2",
"number": "1.737045801167462120104930792672689199283198315432927301438295319551549238786400958508621625378480723",
"arb_relative_radius": "[3.9015905818269312451337901495740093744340450187245360038651594051980583162666947623824979192193225398512655071750473104476698208e-129 +/- 3.90e-257]",
"quadrature_relative_error": "1.330755812e-100"
},
{
"p": "8",
"number": "1.789157866970849351206931327261384308137391537547955776686507592927051213997103356902180956570711662",
"arb_relative_radius": "[3.5223316275168297713680171928316574065530049877832411904707321808960163140800685364479108734435335530168744646917282539442150358e-129 +/- 2.06e-257]",
"quadrature_relative_error": "2.150116354e-101"
},
{
"p": "17/2",
"number": "1.839799696435835697582595865580701029752330834575340914859907604220879317926403289485732461617688491",
"arb_relative_radius": "[4.0622032920098182747864154189951324158393891716209789333063210109189535861844014302898698813144689754809109111201705469472739304e-129 +/- 4.51e-257]",
"quadrature_relative_error": "1.220887983e-100"
},
{
"p": "9",
"number": "1.889088764782642822783312378939914427784245443077198685721622155407939950297877500434083066737976081",
"arb_relative_radius": "[3.7599459804229159714641499606175542157466167480069594142594279338575805638387652144226339678973329953911033945408557750120997409e-129 +/- 6.37e-257]",
"quadrature_relative_error": "5.915378076e-101"
},
{
"p": "19/2",
"number": "1.937127728581304356044666688107505062745467029982011859718100916002051963496716328022716265813500627",
"arb_relative_radius": "[3.8619894023010898044492037649147981507453108201368063017552225441451745228647000894739877084383809654637489100217780806283848355e-129 +/- 1.81e-257]",
"quadrature_relative_error": "6.827569775e-101"
},
{
"p": "10",
"number": "1.984006912043239739162771692048802797089379252760328830500687403034970101513601889418256688023929346",
"arb_relative_radius": "[3.7046275989355133001092361854780295604924151821164054944190435079052351292519389633531903554930435396201197237485256245029496068e-129 +/- 4.61e-257]",
"quadrature_relative_error": "2.244219405e-100"
},
{
"p": "11",
"number": "2.074597036863298539479717135158140137390790258775003848374533918907752462423916465761367543547230813",
"arb_relative_radius": "[4.5022979425761136958234604593270322634298418110745299445868566434190736748859991345302807927314587044992468578212801586183437125e-129 +/- 5.61e-257]",
"quadrature_relative_error": "8.732669612e-101"
},
{
"p": "12",
"number": "2.161401131429970669254059075385888153125359564002942746993505110195641258919793747111302677781655355",
"arb_relative_radius": "[4.0782966252866687107692528463322405503330145682642422571514499288257953783528700564426949928161826976208724991881270800676875987e-129 +/- 5.67e-257]",
"quadrature_relative_error": "2.931867059e-101"
},
{
"p": "13",
"number": "2.244856871513839083720894766174114906836782958779970181719270810321461149050673125462911230795371243",
"arb_relative_radius": "[4.1743235577493245320103152854139261438800439533656472801068397108379437813890650855888860383815686135851308713065475637108138643e-129 +/- 5.00e-257]",
"quadrature_relative_error": "1.827665346e-100"
},
{
"p": "14",
"number": "2.325323697606085246958117086044968495079807708388903801397300050907151369924179961761313848930174195",
"arb_relative_radius": "[4.1495376080209924172581335044498395248845847725641787649348218047157354310941345105854143919957004201397368318147306947822442882e-129 +/- 1.90e-257]",
"quadrature_relative_error": "1.543201947e-100"
},
{
"p": "15",
"number": "2.403101075673934605087768426409801959792317818063567016041648042891881491206134611395237479985965092",
"arb_relative_radius": "[4.3194910476419446934734453411721962987134133522985362340774339494896313843108395884386830264173211672200100212899520404877167465e-129 +/- 4.22e-257]",
"quadrature_relative_error": "1.280681576e-100"
},
{
"p": "16",
"number": "2.478441623213817297702015934269418157052545332578559794495167285167825389795473431085863561664969174",
"arb_relative_radius": "[3.8997081873416356700452684420056209431170190728915328214060192064368947147491239579068136480087730015051441418054392176562903789e-129 +/- 3.99e-257]",
"quadrature_relative_error": "4.7776948e-101"
},
{
"p": "17",
"number": "2.551560760749834492474967731363328715355977516290471525302049808734010368908236687816181811244184913",
"arb_relative_radius": "[4.4777165288507512465780307781330690057676340514913792194835584919302243602855700360211231558271421650677760102165056131603431881e-129 +/- 2.66e-257]",
"quadrature_relative_error": "1.7796821e-100"
},
{
"p": "18",
"number": "2.622643950021257850432598782401545227518433299298930862475163238736379259391963179554810710804651846",
"arb_relative_radius": "[4.4478895102026038810616848703534155024260359821408097009308436560086987353642734948179766806560966854347948780454360440334428297e-129 +/- 5.47e-257]",
"quadrature_relative_error": "1.848273889e-100"
},
{
"p": "19",
"number": "2.691852217310018995864611811051317763729083634909054615500983895191869286769801202399203272329954249",
"arb_relative_radius": "[4.2863715725412965990001867237267658740617828477499917115726480756635632919554528457203008528566558558012213929888106975854345709e-129 +/- 4.93e-257]",
"quadrature_relative_error": "1.287465951e-100"
},
{
"p": "20",
"number": "2.759326433478562223354647687451004524362548167293974660636915767542721572344762461688123259475781891",
"arb_relative_radius": "[4.2870736231917608533738906890710420363695338246841047217330945143064904857961510093326924961879935723576596474141273872463857777e-129 +/- 6.25e-257]",
"quadrature_relative_error": "8.008574084e-102"
},
{
"p": "21",
"number": "2.825190676374429183830126904601035596969527945871978896357281911198913507609204307758475199892127089",
"arb_relative_radius": "[4.1221774699768881659994903029492230504864219245672097511276679653742639674120135427183677122369075050383243895592830841483029060e-129 +/- 6.62e-257]",
"quadrature_relative_error": "8.383493209e-101"
},
{
"p": "22",
"number": "2.889554905058612493541517634885693731610308951062073559203314562816108549298365142543806703854448088",
"arb_relative_radius": "[4.8202407321684094468168976356946472948764689424384324881619954089453009671306112242266633002661971780223672346243041674365436910e-129 +/- 2.61e-257]",
"quadrature_relative_error": "1.579463196e-100"
},
{
"p": "23",
"number": "2.952517110471649963303792642785762003265892960142068727848272139950893303689119516189520589591483179",
"arb_relative_radius": "[5.2018297988296978738920681899628408632581797044936748679705892788459752318439552576887970037244866270139860824372736409606329869e-129 +/- 5.19e-257]",
"quadrature_relative_error": "1.896677654e-101"
},
{
"p": "24",
"number": "3.014165062566142046176411774522065545636406273616816610402052337742561719634752927228362785138545129",
"arb_relative_radius": "[5.1772973817421805353197746640257604240465435033514775546366990945050219836833485467949594236699443906447369295477578682256773593e-129 +/- 5.44e-257]",
"quadrature_relative_error": "4.418459615e-101"
},
{
"p": "25",
"number": "3.074577742722480931240562729630927394908996449327158478400642808180641514238673626970671954211698993",
"arb_relative_radius": "[5.0355276997311342102673364339549828129482751445852142735805421902612558769100563001880509043556110375991506340988777776321394720e-129 +/- 6.58e-257]",
"quadrature_relative_error": "1.066815687e-100"
},
{
"p": "26",
"number": "3.133826528055539222117966775576565310701116948264060988115403420140986880169540242521024291096361459",
"arb_relative_radius": "[4.2435853470588594010499319427531153596048937878997476339336282806693567709729369818007222094646378832610668495729584763165183467e-129 +/- 6.62e-257]",
"quadrature_relative_error": "1.332665065e-100"
},
{
"p": "27",
"number": "3.191976178180336253940657466150037037528502162512810103810412611367567899726282794179899993069362736",
"arb_relative_radius": "[4.8557985119364981386588712835415637135655172625728476366296618226425574286586064946604062199411327164993197733959872529211171761e-129 +/- 5.81e-257]",
"quadrature_relative_error": "8.153888613e-101"
},
{
"p": "28",
"number": "3.249085663261735534165155317026275333300950869190120224227452940467901233041627872844649420159937894",
"arb_relative_radius": "[4.8268683757481059324941061888757520391224800000663893950568399786561103784125788340155600221335652380763768005167834394555184384e-129 +/- 6.78e-257]",
"quadrature_relative_error": "6.814784255e-101"
},
{
"p": "29",
"number": "3.305208863467718130786731755674425326027286422635449563382409273574431874709745453779359547165024042",
"arb_relative_radius": "[4.7204960041231055838702048868365168409566289588857387868238134219709700852863476529293679078238924180422148312496041766108235831e-129 +/- 4.49e-257]",
"quadrature_relative_error": "4.306580687e-101"
},
{
"p": "30",
"number": "3.360395163417110605952303930109068226250084455569598633294086501092164303370244392438824688356236110",
"arb_relative_radius": "[4.7002327542046226608800623495723385004952992497953262469711674356252193625673664564195609862746591964217275360293527870097564859e-129 +/- 2.98e-257]",
"quadrature_relative_error": "6.902543862e-101"
},
{
"p": "31",
"number": "3.414689960263908727773639560137024037546112023977976235851892482493894395594320351582067256506167967",
"arb_relative_radius": "[3.8776953402571526144174627368879965160931365718381466690048718411601376653128488956752217116691194091751429872468159040156763298e-129 +/- 5.67e-257]",
"quadrature_relative_error": "1.428612383e-100"
},
{
"p": "32",
"number": "3.468135100271812140169040833862319830960506153269289991614266680064195712132945833449535519455096415",
"arb_relative_radius": "[3.8608397696047819216104483715499423498774569605972036036082795757982352004652579754775594311718610930475423042527411759569007738e-129 +/- 1.87e-257]",
"quadrature_relative_error": "1.351652054e-100"
}
],
"selection_sha256": "e7a0d9e815e487478cd7ed408fd93fad74a60d5ba432bbe131e1e984b8c89da2",
"generator_files": {
"generate.py": "82977242f17c8377acb5393a374b571de15a401a414b62e58801382fc6009834",
"argument-selection.md": "72f123f24aac880bd869153523c4acd28fb40daa0bd44031acebfd327bc140f7",
"checks.py": "c0ed279f1d227d391ffca34be8340e13964c55f5cc7f16ff4446a994d97b4f5f",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
"sources.md": "9f272f62ed5e5f9928ad57a3e1aea83d66a19b414eaa81040fe3c04055f9504d",
"skill-evidence.json": "244885e0180c68045d15455ba76baa9803884dd8a4c20d85404190d9f11d92d5"
},
"builder_run": "20261029T093155Z"
}