back to table · edit · history · where entries came from · files · download
12629 bytes, as of the version from 2026-10-26 23:22 (current). Recorded here, not run.
{
"table": "T531",
"skill_manifest": "agents/runs/20261026T224836Z-build-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"working_bits": 429,
"rerun_bits": 629,
"quotient_bits": 700,
"minimum_accuracy_bits": 402,
"measurement": {
"entries": 19,
"longest": 146,
"longest_at": 6,
"block_kb": 3.4228515625
},
"serialized_measurement": {
"entries": 19,
"longest": 107,
"longest_at": "14",
"block_kb": 2.619140625
},
"all_19_passed": true,
"stored_checked": false,
"known_answer_control": "[0.355028053887817239260063186004183176397979174199177240583326510300810042450126712957174246 +/- 4.14e-91]",
"entries": {
"2": {
"number": "0.5314572319609994528671249327835975128793762613598310302129500019359222956528578262843381519744913357",
"ball": "[0.5314572319609994528671249327835975128793762613598310302129500019359222956528578262843381519744913357374335520924734830967419961 +/- 4.71e-128]",
"accuracy_bits": 423,
"relative_radius": "2.2246706e-128"
},
"3": {
"number": "0.1125617612151145794304351152459810519503961166363151095605355424412345609571039396593371385193231989",
"ball": "[0.1125617612151145794304351152459810519503961166363151095605355424412345609571039396593371385193231989317587237775317005945575220 +/- 2.44e-128]",
"accuracy_bits": 420,
"relative_radius": "1.1572822e-127"
},
"4": {
"number": "0.03944307842123858454386231559273186269551737139039066301468634771716695964798177446256180160638766378",
"ball": "[0.0394430784212385845438623155927318626955173713903906630146863477171669596479817744625618016063876637821872068533952570644739337 +/- 3.40e-128]",
"accuracy_bits": 420,
"relative_radius": "2.5095408e-127"
},
"5": {
"number": "0.01553365937662315960105326698601338207533195387154164863322026920862587812029184977321978498881146467",
"ball": "[0.0155336593766231596010532669860133820753319538715416486332202692086258781202918497732197849888114646737233150380021112120041157 +/- 4.33e-128]",
"accuracy_bits": 418,
"relative_radius": "4.6779066e-127"
},
"6": {
"number": "0.006389269480291183085985031797193603176325864055526664641413635547275766261945530323301383069312594316",
"ball": "[0.00638926948029118308598503179719360317632586405552666464141363554727576626194553032330138306931259431642757718562490965945716695 +/- 8.19e-129]",
"accuracy_bits": 417,
"relative_radius": "1.0137977e-126"
},
"7": {
"number": "0.002679136468944483094339090139571816658235339260887016458460696566390563589062212139425800604794000764",
"ball": "[0.00267913646894448309433909013957181665823533926088701645846069656639056358906221213942580060479400076427759592105758456743424355 +/- 8.98e-129]",
"accuracy_bits": 417,
"relative_radius": "2.1516303e-126"
},
"8": {
"number": "0.001133964981406675717919109806835643688471429708423116819424855547821787518793036055882728723770737149",
"ball": "[0.00113396498140667571791910980683564368847142970842311681942485554782178751879303605588272872377073714893859945689749056548784375 +/- 6.83e-129]",
"accuracy_bits": 416,
"relative_radius": "4.1961737e-126"
},
"9": {
"number": "0.0004822640316384375106012087634290054281974234596780313421396461581118731301564303715306774345263986554",
"ball": "[0.0004822640316384375106012087634290054281974234596780313421396461581118731301564303715306774345263986553943953452751669731498505 +/- 3.63e-128]",
"accuracy_bits": 413,
"relative_radius": "2.1904528e-125"
},
"10": {
"number": "0.0002056235790077167372193931809423657299790322916072759439435826244283175419560451917355215230540860066",
"ball": "[0.0002056235790077167372193931809423657299790322916072759439435826244283175419560451917355215230540860065741615812079785002782863 +/- 4.22e-128]",
"accuracy_bits": 412,
"relative_radius": "3.2395668e-125"
},
"11": {
"number": "0.00008779281002346230360918430493634776036848020023646123963358579383445225392587069304424880757488041385",
"ball": "[8.779281002346230360918430493634776036848020023646123963358579383445225392587069304424880757488041384621797806009377599733769e-5 +/- 4.69e-129]",
"accuracy_bits": 412,
"relative_radius": "5.2263141e-125"
},
"12": {
"number": "0.00003751235204799617036542815440106965073975378474704740995369017970891205439852824635387534846506800370",
"ball": "[3.75123520479961703654281544010696507397537847470474099536901797089120543985282463538753484650680036993435977434549182413585e-5 +/- 2.07e-128]",
"accuracy_bits": 411,
"relative_radius": "1.5302237e-124"
},
"13": {
"number": "0.00001603514706599931127290224527419597145818156452369145789514814934905293590648796949856827081540509454",
"ball": "[1.603514706599931127290224527419597145818156452369145789514814934905293590648796949856827081540509453736556736955650405145747e-5 +/- 8.26e-129]",
"accuracy_bits": 410,
"relative_radius": "3.1397195e-124"
},
"14": {
"number": "0.000006856056842867739305355803810822148646082759110708590236243372097030127758714175370400577533310178835",
"ball": "[6.85605684286773930535580381082214864608275911070859023624337209703012775871417537040057753331017883533330115832981417933479e-6 +/- 6.71e-129]",
"accuracy_bits": 408,
"relative_radius": "4.5528240e-124"
},
"15": {
"number": "0.000002931796663246340125425992631775301191418078341574374387442988370470198789574807223832698756544038252",
"ball": "[2.93179666324634012542599263177530119141807834157437438744298837047019878957480722383269875654403825151244540093937134579646e-6 +/- 8.51e-129]",
"accuracy_bits": 407,
"relative_radius": "1.4819534e-123"
},
"16": {
"number": "0.000001253793750969930586964605206348193997730847263476479728160827654100091876779962330914878113124028959",
"ball": "[1.25379375096993058696460520634819399773084726347647972816082765410009187677996233091487811312402895894616007174851334876279e-6 +/- 5.41e-129]",
"accuracy_bits": 407,
"relative_radius": "2.1613363e-123"
},
"17": {
"number": "5.362125633443740052702565589398778192997447844064676329982266426514111512293486454541595755558282047e-7",
"ball": "[5.3621256334437400527025655893987781929974478440646763299822664265141115122934864545415957555582820470693551843465810497030e-7 +/- 6.02e-129]",
"accuracy_bits": 406,
"relative_radius": "4.9385788e-123"
},
"18": {
"number": "2.293287300515728443386931404793484964606665719068564893227677216571108402094779614342599095928196638e-7",
"ball": "[2.2932873005157284433869314047934849646066657190685648932276772165711084020947796143425990959281966380910042211255831298022e-7 +/- 3.23e-129]",
"accuracy_bits": 404,
"relative_radius": "1.0864748e-122"
},
"19": {
"number": "9.808124800989940117761878685673504826333187656318798972947288686244382352555202830057701906464031705e-8",
"ball": "[9.808124800989940117761878685673504826333187656318798972947288686244382352555202830057701906464031705123701969520374220363e-8 +/- 3.41e-129]",
"accuracy_bits": 403,
"relative_radius": "1.7166464e-122"
},
"20": {
"number": "4.194854895721030216672516958988074617391798327273600024493305629088666429893230102430349408461265280e-8",
"ball": "[4.194854895721030216672516958988074617391798327273600024493305629088666429893230102430349408461265279905788254475275816787e-8 +/- 3.71e-129]",
"accuracy_bits": 402,
"relative_radius": "4.2619331e-122"
}
},
"root_partial_sums_and_tails": {
"2": {
"partial": "[0.4366503320286895513746178354069783518454594041574605945 +/- 6.04e-56]",
"tail_bound": "[0.16342939865168295347457518167386372948131057752876459050845909898063792396682886988308437 +/- 2.66e-90]"
},
"3": {
"partial": "[0.1118608946465121802214271837275666503748704155247050486 +/- 5.30e-56]",
"tail_bound": "[0.00159560919121791766053353485369649825046234290822435509993085089597123025137378647545211455 +/- 7.39e-93]"
},
"4": {
"partial": "[0.0394337523377000024961453342780343356865786755885842628 +/- 4.09e-56]",
"tail_bound": "[2.8041121620630666636340506396583395421545909952592844723504255415380401294991565274673362e-5 +/- 7.75e-94]"
},
"5": {
"partial": "[0.01553351164276188752668129891949505194734729134910830745 +/- 3.49e-57]",
"tail_bound": "[5.866579316171934317179633954594204214758905651777679854413669710978370825374571833178001e-7 +/- 3.52e-95]"
},
"6": {
"partial": "[0.00638926693205046320791883247901212216807462476179145777 +/- 3.04e-57]",
"tail_bound": "[1.33646650451396185044857766893771905505663759868322316912648145351380904522274987949973313e-8 +/- 4.82e-98]"
},
"7": {
"partial": "[0.002679136422707313390971725835813315193021592471546610328 +/- 9.00e-58]",
"tail_bound": "[3.202768173939710989527997489689552433117210618516819623400320927600423484615841131892662e-10 +/- 2.30e-98]"
},
"8": {
"partial": "[0.001133964980539039565730598197500102304604481029962089556 +/- 7.56e-58]",
"tail_bound": "[7.93765901214416135779324291948474596728947574361489316502165195245520927864374664073709e-12 +/- 4.97e-99]"
},
"9": {
"partial": "[0.000482264031621761855701417870956373157790827574105377207 +/- 5.46e-58]",
"tail_bound": "[2.0149400677392379563252580782704227854704462463608144952250322424947981192843203961797620e-13 +/- 3.59e-102]"
},
"10": {
"partial": "[0.0002056235790073904391489939888453702950428893886459771050 +/- 8.89e-59]",
"tail_bound": "[5.207413588926606957589494094427031651530658393032553105226304091361425408592668509503722e-15 +/- 7.81e-103]"
},
"11": {
"partial": "[8.77928100234558292737038240067932110996870041656050639e-5 +/- 6.87e-59]",
"tail_bound": "[1.364693094031516678821195167772057325414460564243554827139494054512201268364910565583122e-16 +/- 2.13e-104]"
},
"12": {
"partial": "[3.75123520479960404648796133974443209721650491016015802e-5 +/- 3.50e-59]",
"tail_bound": "[3.6164869424499231722448316704266963066278105769321677121271831941999121402021781994227746e-18 +/- 2.89e-107]"
},
"13": {
"partial": "[1.60351470659993086427551973394880523792167153061424539e-5 +/- 3.75e-59]",
"tail_bound": "[9.67154732929780305621116524470814115110472106485702319901555999759475590304901749044249e-20 +/- 2.43e-107]"
},
"14": {
"partial": "[6.85605684286773925169693023347331741810084138681908041e-6 +/- 7.00e-60]",
"tail_bound": "[2.606161892065374089643827140967533995839909575554486024893842388948494221966556132313326e-21 +/- 7.50e-109]"
},
"15": {
"partial": "[2.93179666324634012432423111373951316231303187174635482e-6 +/- 5.16e-60]",
"tail_bound": "[7.0679787641380180075390118819492289795186516359522982028235127658806033856944400198264532e-23 +/- 6.11e-112]"
},
"16": {
"partial": "[1.25379375096993058694185846030252195675508227510520787e-6 +/- 5.26e-60]",
"tail_bound": "[1.927429952073383759477503453939662198283066476750564781452284721232059921801232441821323e-24 +/- 6.94e-112]"
},
"17": {
"partial": "[5.36212563344374005269784694111409936161040099528228305e-7 +/- 5.06e-61]",
"tail_bound": "[5.28119871574979625702246075054019729479875688498134976072074954183058538974507789727534e-26 +/- 3.46e-113]"
},
"18": {
"partial": "[2.29328730051572844338683311158811998542239375794797407e-7 +/- 4.83e-61]",
"tail_bound": "[1.4531079014248406743165318282451460389979666070789130166335193314669891757866535462897651e-27 +/- 4.34e-116]"
},
"19": {
"partial": "[9.80812480098994011776185813511436303099252768560145424e-8 +/- 9.15e-62]",
"tail_bound": "[4.012927939786413863380222858980676145693102309165516026582718021787830632261807877694111e-29 +/- 6.05e-117]"
},
"20": {
"partial": "[4.19485489572103021667251652792549206010350043267243821e-8 +/- 8.50e-62]",
"tail_bound": "[1.111847650804246745366978382232901719984702487855754458341098123383808503258330249737925e-30 +/- 4.33e-118]"
}
}
}