back to table · edit · history · where entries came from · files · download
18799 bytes, as of the version from 2026-10-27 16:59 (current). Recorded here, not run.
{
"table": "T553",
"stored_readback": true,
"entries": 28,
"working_bits": 461,
"minimum_relative_accuracy_bits": 457,
"serialization": "All Arb bounds and independent values lie inside decimal +/- one ulp.",
"quadrature_controls_absolute_errors": {
"130": "0.0",
"170": "0.0"
},
"quadrature_130_170_max_difference": "[4.96789677103162107049816e-126 +/- 8.09e-150]",
"square_agm": "pass; bracket width < 1e-170; (1,1) control passed",
"geometric_disk_bounds": "pass on all 28 entries",
"measure_serialized": {
"entries": 28,
"longest": 102,
"longest_at": 3,
"block_kb": 3.7939453125
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"policy_manifest": "agents/runs/20261027T162618Z-build-skills/manifest.json",
"skill_local_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_live_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"rows": [
{
"n": 3,
"number": "0.7304992431031591790794365589230298485194656779037308941028877172207606779428657203882681325963248532",
"radius_upper": "1.5359673e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.73049924310315917907943655892302984851946567790373089410288771722076067794286572038826813259632485316236270880841447300293239",
"quadrature_170": "0.730499243103159179079436558923029848519465677903730894102887717220760677942865720388268132596324853162362708808414473002932391029012267073694209899106645453090909239"
},
{
"n": 4,
"number": "0.8346268416740731862814297327990468089939930134903470024498273701036819927095264118696911603512753241",
"radius_upper": "1.0306573e-138",
"certified_relative_bits_at_least": 458,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.83462684167407318628142973279904680899399301349034700244982737010368199270952641186969116035127532412906785035241201008672479",
"quadrature_170": "0.834626841674073186281429732799046808993993013490347002449827370103681992709526411869691160351275324129067850352412010086724789007634750392659060526742712560320685999"
},
{
"n": 5,
"number": "0.8888552730139685196185131777411997768321924953217311565498368476306530953660281937564793297599220655",
"radius_upper": "1.9058557e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.88885527301396851961851317774119977683219249532173115654983684763065309536602819375647932975992206554754231330200440044346045",
"quadrature_170": "0.888855273013968519618513177741199776832192495321731156549836847630653095366028193756479329759922065547542313302004400443460450311557776453993840459935794876034331545"
},
{
"n": 6,
"number": "0.9203713733179424976555185645431729947262457919498943383433001997731018080805685639363385068818052860",
"radius_upper": "2.0116771e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.92037137331794249765551856454317299472624579194989433834330019977310180808056856393633850688180528595790786138073861680752413",
"quadrature_170": "0.920371373317942497655518564543172994726245791949894338343300199773101808080568563936338506881805285957907861380738616807524130411248079828526589682736521414302499861"
},
{
"n": 7,
"number": "0.9402225423282581845064778905225410552810705288081291632814952991504732418300792706612797503058274595",
"radius_upper": "1.9222259e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.9402225423282581845064778905225410552810705288081291632814952991504732418300792706612797503058274595175840861274117630410066",
"quadrature_170": "0.940222542328258184506477890522541055281070528808129163281495299150473241830079270661279750305827459517584086127411763041006597884482014558694780884773848425098515458"
},
{
"n": 8,
"number": "0.9535055293740722197741177590360440208529867995201213061558388754293159023332562076544820599226477968",
"radius_upper": "1.4457619e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.95350552937407221977411775903604402085298679952012130615583887542931590233325620765448205992264779676439302211103624926700798",
"quadrature_170": "0.953505529374072219774117759036044020852986799520121306155838875429315902333256207654482059922647796764393022111036249267007981454841918024281931364891755255997838849"
},
{
"n": 9,
"number": "0.9628192586646530066306035310522177079567361203890762686951808449921441229967180916080191356782427910",
"radius_upper": "1.9988763e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.96281925866465300663060353105221770795673612038907626869518084499214412299671809160801913567824279099431554259826835643918653",
"quadrature_170": "0.962819258664653006630603531052217707956736120389076268695180844992144122996718091608019135678242790994315542598268356439186525032103228968378929501834256542446003805"
},
{
"n": 10,
"number": "0.9695971616706296241008753846822811337655008760201694521911344046504877333815936880015310334478062367",
"radius_upper": "2.0230785e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.96959716167062962410087538468228113376550087602016945219113440465048773338159368800153103344780623669415591893636227777283697",
"quadrature_170": "0.969597161670629624100875384682281133765500876020169452191134404650487733381593688001531033447806236694155918936362277772836967118788567592758870378683330169996914207"
},
{
"n": 11,
"number": "0.9746809080551337015329599026117054905091695315639821222817002480493460891450769145555248589701531686",
"radius_upper": "2.0417742e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.97468090805513370153295990261170549050916953156398212228170024804934608914507691455552485897015316857509255298609174978436741",
"quadrature_170": "0.974680908055133701532959902611705490509169531563982122281700248049346089145076914555524858970153168575092552986091749784367413099109762932183498912722026333822200456"
},
{
"n": 12,
"number": "0.9785904997806327688179169796716777923762887640879620488486912283646244040155350708704671777406234958",
"radius_upper": "2.0565597e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.97859049978063276881791697967167779237628876408796204884869122836462440401553507087046717774062349575795423092768647304339626",
"quadrature_170": "0.978590499780632768817916979671677792376288764087962048848691228364624404015535070870467177740623495757954230927686473043396260165860971966157892894876181363286412282"
},
{
"n": 13,
"number": "0.9816610217835278138794065231407808959558520019192397271006737343719132711230073551607417890204995199",
"radius_upper": "2.0684871e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.9816610217835278138794065231407808959558520019192397271006737343719132711230073551607417890204995199031414023116278651324477",
"quadrature_170": "0.981661021783527813879406523140780895955852001919239727100673734371913271123007355160741789020499519903141402311627865132447698773221381380340928577850960202407308592"
},
{
"n": 14,
"number": "0.9841161777206661109744589037204686309887036114418259144290440979461855280344866504136591296604277765",
"radius_upper": "2.0782729e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.98411617772066611097445890372046863098870361144182591442904409794618552803448665041365912966042777654848007747460418856850127",
"quadrature_170": "0.984116177720666110974458903720468630988703611441825914429044097946185528034486650413659129660427776548480077474604188568501270588551504235836330249299180308903140014"
},
{
"n": 15,
"number": "0.9861098826947237591909892931506095293791817050354060097140050624409691039333356342821846917572847215",
"radius_upper": "2.0864197e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.98610988269472375919098929315060952937918170503540600971400506244096910393333563428218469175728472149215026787329643015984209",
"quadrature_170": "0.986109882694723759190989293150609529379181705035406009714005062440969103933335634282184691757284721492150267873296430159842086978729881062008444302568063361457911897"
},
{
"n": 16,
"number": "0.9877508215994487738247709035478422744137149342047392189515546877945799850430681712903169385280201101",
"radius_upper": "1.6704462e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.98775082159944877382477090354784227441371493420473921895155468779457998504306817129031693852802011009654817982986032709235276",
"quadrature_170": "0.9877508215994487738247709035478422744137149342047392189515546877945799850430681712903169385280201100965481798298603270923527588927556754753839285346292077308965011"
},
{
"n": 17,
"number": "0.9891174955848752659263649762044119205001368344132900329798927813031591218169115630580599465635936951",
"radius_upper": "2.0991451e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.98911749558487526592636497620441192050013683441329003297989278130315912181691156305805994656359369506970492408999083819481246",
"quadrature_170": "0.989117495584875265926364976204411920500136834413290032979892781303159121816911563058059946563593695069704924089990838194812455284123395558039882793569089292000245539"
},
{
"n": 18,
"number": "0.9902677417201082341063948272393938707563161768034162620577033991811190932227458984893934923724793757",
"radius_upper": "2.1041876e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99026774172010823410639482723939387075631617680341626205770339918111909322274589848939349237247937567281209285889683250635025",
"quadrature_170": "0.990267741720108234106394827239393870756316176803416262057703399181119093222745898489393492372479375672812092858896832506350254354350520384060813277335800588595228872"
},
{
"n": 19,
"number": "0.9912449280292169588298151611938085952125696860976279165675445429167665523214490080500993111487410574",
"radius_upper": "2.1085677e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99124492802921695882981516119380859521256968609762791656754454291676655232144900805009931114874105742068849040105197183002302",
"quadrature_170": "0.991244928029216958829815161193808595212569686097627916567544542916766552321449008050099311148741057420688490401051971830023015209661366518120609157830487595832506793"
},
{
"n": 20,
"number": "0.9920820866512279940467789574531276895339956421858722248222131244298472597526570569847452319591108787",
"radius_upper": "2.1124023e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.9920820866512279940467789574531276895339956421858722248222131244298472597526570569847452319591108787098978835076992675550125",
"quadrature_170": "0.992082086651227994046778957453127689533995642185872224822213124429847259752657056984745231959110878709897883507699267555012497540002469356438915345276945682633746797"
},
{
"n": 21,
"number": "0.9928047332003234469044225129127138361816441553197237518222059044826351169611837164987600385025470828",
"radius_upper": "2.1157831e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99280473320032344690442251291271383618164415531972375182220590448263511696118371649876003850254708278803579381874263204817504",
"quadrature_170": "0.9928047332003234469044225129127138361816441553197237518222059044826351169611837164987600385025470827880357938187426320481750405883275575846474697295328452805575482"
},
{
"n": 22,
"number": "0.9934328285330678289923867922389426432997314225985510145284442645180594299833118827850007127863497624",
"radius_upper": "2.1187829e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99343282853306782899238679223894264329973142259855101452844426451805942998331188278500071278634976238747164682923944506785135",
"quadrature_170": "0.993432828533067828992386792238942643299731422598551014528444264518059429983311882785000712786349762387471646829239445067851353677266810386292207527041190107124876077"
},
{
"n": 23,
"number": "0.9939821684448785098655476154654796098883503929146000995412129902323540251860633121148569366352864385",
"radius_upper": "2.1214602e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99398216844487850986554761546547960988835039291460009954121299023235402518606331211485693663528643846215622303300700631151304",
"quadrature_170": "0.993982168444878509865547615465479609888350392914600099541212990232354025186063312114856936635286438462156223033007006311513041666315650917282088127465658926516260047"
},
{
"n": 24,
"number": "0.9944653842124845044561711419148928638807784702050932938827497383327835020948330841743143671043523536",
"radius_upper": "2.1238623e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99446538421248450445617114191489286388077847020509329388274973833278350209483308417431436710435235357487345893140774261020813",
"quadrature_170": "0.994465384212484504456171141914892863880778470205093293882749738332783502094833084174314367104352353574873458931407742610208127665481938138826325633414894850653478734"
},
{
"n": 25,
"number": "0.9948926736666199446222229165869003168962392564166241815535490638925143423208761029886438058255113823",
"radius_upper": "2.1260280e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99489267366661994462222291658690031689623925641662418155354906389251434232087610298864380582551138225713008317948433768815329",
"quadrature_170": "0.994892673666619944622222916586900316896239256416624181553549063892514342320876102988643805825511382257130083179484337688153289285720004536110916857792673627517395078"
},
{
"n": 26,
"number": "0.9952723426232609266638088072925061673235972955421754925508807751306836187297040603495841870250975744",
"radius_upper": "2.1279893e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99527234262326092666380880729250616732359729554217549255088077513068361872970406034958418702509757442377555380227388391272747",
"quadrature_170": "0.995272342623260926663808807292506167323597295542175492550880775130683618729704060349584187025097574423775553802273883912727465765272021100953739769069613535558783758"
},
{
"n": 27,
"number": "0.9956112108596021897471234308486177301599079090125291647838143238950119170125087924239874710722541208",
"radius_upper": "2.1297726e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99561121085960218974712343084861773015990790901252916478381432389501191701250879242398747107225412082761876326641554035193354",
"quadrature_170": "0.995611210859602189747123430848617730159907909012529164783814323895011917012508792423987471072254120827618763266415540351933543852264700259335882185402621863640707933"
},
{
"n": 28,
"number": "0.9959149200112485703888714740153134892453104994995755578840545101099175326792930425477524990507666979",
"radius_upper": "2.1314005e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99591492001124857038887147401531348924531049949957555788405451010991753267929304254775249905076669793836277084396680214908413",
"quadrature_170": "0.995914920011248570388871474015313489245310499499575557884054510109917532679293042547752499050766697938362770843966802149084133020144975070551728727443090352019673286"
},
{
"n": 29,
"number": "0.9961881695560749028037590851089251131155855045278000693867992089334930499797267979979710521867008843",
"radius_upper": "2.1328916e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99618816955607490280375908510892511311558550452780006938679920893349304997972679799797105218670088433986410972961194672768221",
"quadrature_170": "0.996188169556074902803759085108925113115585504527800069386799208933493049979726797997971052186700884339864109729611946727682205277266981559186826012167935215054483343"
},
{
"n": 30,
"number": "0.9964348994536133396896567518337769275901239600028377437615314323726469292255136728011458594045676543",
"radius_upper": "2.1342618e-138",
"certified_relative_bits_at_least": 457,
"source_formula_and_serialization": "pass",
"quadrature_130": "0.99643489945361333968965675183377692759012396000283774376153143237264692922551367280114585940456765431154484872789998439693922",
"quadrature_170": "0.996434899453613339689656751833776927590123960002837743761531432372646929225513672801145859404567654311544848727899984396939216213351666005133987603174110084430316256"
}
]
}