back to table · edit · history · where entries came from · files · download
41333 bytes, as of the version from 2026-11-01 08:20 (current). Recorded here, not run.
{
"table": "T645",
"stage": "build",
"stored_values_checked": false,
"skill_manifest": "agents/runs/20261101T075931Z-build-skills/manifest.json",
"skills": {
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
],
"unavailable": [],
"status": "ready",
"policy": "Read the archived current canonical skill. One valid version is enough; two valid versions must match. Coordinate mismatches before starting."
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
},
"entries": 101,
"measurement_raw_balls": {
"entries": 101,
"longest": 154,
"longest_at": 92,
"block_kb": 18.4404296875
},
"measurement_written": {
"entries": 101,
"longest": 103,
"longest_at": "1",
"block_kb": 13.7001953125
},
"primary_bits_range": [
415,
613
],
"minimum_primary_accuracy_bits": 406,
"minimum_independent_accuracy_bits": 662,
"independent_N": 16,
"independent_K": 100,
"independent_working_bits": 900,
"egf_terms": 553,
"egf_working_bits": 1600,
"checks": [
"exact origin",
"known rational nonzero control",
"deliberate-error controls",
"all 100 reciprocal zeta factors from exact Bernoulli numbers and Machin pi",
"all 101 accelerated Mobius values",
"all 101 EGF values with tail bound",
"first three coefficient closed forms",
"T644 coefficient intervals k=0..100",
"Cislo-Wolf equation (33) for k=1..100",
"every primary and independent enclosure contained in written last-place interval",
"all 100 ten-ulp perturbations rejected"
],
"rows": [
{
"x": "0",
"number": "0",
"primary_accuracy_bits": null,
"independent_accuracy_bits": null,
"primary_radius": "0",
"independent_radius": "0",
"terms": 0,
"three_enclosures_inside_written_interval": true
},
{
"x": "1",
"number": "0.04398180468826652940393085628238199704230190282530616903784426398471229296133686658743218170447565465",
"primary_accuracy_bits": 406,
"independent_accuracy_bits": 883,
"primary_radius": "1.1003893e-124",
"independent_radius": "2.9859417e-268",
"terms": 89,
"three_enclosures_inside_written_interval": true
},
{
"x": "2",
"number": "-0.2677934017216908871370275775421357805943279627739324912544459042268272234922176756319054393574450894",
"primary_accuracy_bits": 408,
"independent_accuracy_bits": 883,
"primary_radius": "2.6315980e-124",
"independent_radius": "2.6142278e-267",
"terms": 105,
"three_enclosures_inside_written_interval": true
},
{
"x": "3",
"number": "-0.5263556499538739919443703705089949882593232383590087728394374720096416370661878463607290549465689980",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 882,
"primary_radius": "2.1755133e-124",
"independent_radius": "1.4529829e-266",
"terms": 117,
"three_enclosures_inside_written_interval": true
},
{
"x": "4",
"number": "-0.6855123833582043260658024857731241807261230838306938421038460572393899218492296627566276122828461155",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 879,
"primary_radius": "2.6048809e-124",
"independent_radius": "6.6358072e-266",
"terms": 127,
"three_enclosures_inside_written_interval": true
},
{
"x": "5",
"number": "-0.7705597166420417461971145079108605652443034698155569614091127801998977764841987143558511805798929672",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 877,
"primary_radius": "2.5378842e-124",
"independent_radius": "2.7140640e-265",
"terms": 135,
"three_enclosures_inside_written_interval": true
},
{
"x": "6",
"number": "-0.8091371821712181445973081353775704602633996699684285610490087285908059196347458184087071446346180547",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 875,
"primary_radius": "2.1598185e-124",
"independent_radius": "1.0340897e-264",
"terms": 143,
"three_enclosures_inside_written_interval": true
},
{
"x": "7",
"number": "-0.8200996112275185806463357403451106697425237462496260364987804520502438397296891283037050210910299922",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 874,
"primary_radius": "3.1401631e-124",
"independent_radius": "3.7495326e-264",
"terms": 150,
"three_enclosures_inside_written_interval": true
},
{
"x": "8",
"number": "-0.8149240735297561721912978753771926654353211674077997465923208593101657460101894080658058063554207965",
"primary_accuracy_bits": 409,
"independent_accuracy_bits": 872,
"primary_radius": "2.4972857e-124",
"independent_radius": "1.3105934e-263",
"terms": 157,
"three_enclosures_inside_written_interval": true
},
{
"x": "9",
"number": "-0.8004231779395943527867740615904306771015469634923188660401868722236967381655703835021987159408890156",
"primary_accuracy_bits": 410,
"independent_accuracy_bits": 870,
"primary_radius": "1.4579697e-124",
"independent_radius": "4.4531852e-263",
"terms": 164,
"three_enclosures_inside_written_interval": true
},
{
"x": "10",
"number": "-0.7806755812521964725926934005264063200751818610943916264912599338754227316261948265196450214937246669",
"primary_accuracy_bits": 410,
"independent_accuracy_bits": 868,
"primary_radius": "1.7019443e-124",
"independent_radius": "1.4794270e-262",
"terms": 170,
"three_enclosures_inside_written_interval": true
},
{
"x": "11",
"number": "-0.7581689307332972276646002446525716976851041367785704524309808880449170896697739046046343879314278208",
"primary_accuracy_bits": 410,
"independent_accuracy_bits": 867,
"primary_radius": "1.7454330e-124",
"independent_radius": "4.8254876e-262",
"terms": 176,
"three_enclosures_inside_written_interval": true
},
{
"x": "12",
"number": "-0.7344438566247881789938371879828116481109501138537546530192449520613692870621603419596197140310840864",
"primary_accuracy_bits": 410,
"independent_accuracy_bits": 865,
"primary_radius": "1.1573050e-124",
"independent_radius": "1.5500936e-261",
"terms": 181,
"three_enclosures_inside_written_interval": true
},
{
"x": "13",
"number": "-0.7104589421109998516978360479221071512720716163010386580746882339156108591483289212575635457064123393",
"primary_accuracy_bits": 410,
"independent_accuracy_bits": 863,
"primary_radius": "1.2254977e-124",
"independent_radius": "4.9155568e-261",
"terms": 187,
"three_enclosures_inside_written_interval": true
},
{
"x": "14",
"number": "-0.6868045221984648561817851450832142182530732625299707325330195784822739138966364509969761350665066283",
"primary_accuracy_bits": 411,
"independent_accuracy_bits": 862,
"primary_radius": "8.7913110e-125",
"independent_radius": "1.5416699e-260",
"terms": 192,
"three_enclosures_inside_written_interval": true
},
{
"x": "15",
"number": "-0.6638333542533053126245887588848397586911456399051504694435101037288236885122676745665226778644746226",
"primary_accuracy_bits": 411,
"independent_accuracy_bits": 860,
"primary_radius": "4.9568942e-125",
"independent_radius": "4.7891338e-260",
"terms": 197,
"three_enclosures_inside_written_interval": true
},
{
"x": "16",
"number": "-0.6417436533223916563605261716673376524952876027259682300299999023388484768102843599687579387803284937",
"primary_accuracy_bits": 411,
"independent_accuracy_bits": 858,
"primary_radius": "5.3711966e-125",
"independent_radius": "1.4753358e-259",
"terms": 202,
"three_enclosures_inside_written_interval": true
},
{
"x": "17",
"number": "-0.6206333881166416562280534123574598828910148822685063093940583917053529205895513535219685038964378987",
"primary_accuracy_bits": 412,
"independent_accuracy_bits": 857,
"primary_radius": "4.6182832e-125",
"independent_radius": "4.5115103e-259",
"terms": 207,
"three_enclosures_inside_written_interval": true
},
{
"x": "18",
"number": "-0.6005363800897754933436188948455635922420659198344639975632033602862723633546301933086283088114931719",
"primary_accuracy_bits": 412,
"independent_accuracy_bits": 855,
"primary_radius": "2.6578259e-125",
"independent_radius": "1.3705887e-258",
"terms": 212,
"three_enclosures_inside_written_interval": true
},
{
"x": "19",
"number": "-0.5814464465475111124876752012049847024563616657170584311475850174596808828156418361345080440562296650",
"primary_accuracy_bits": 412,
"independent_accuracy_bits": 854,
"primary_radius": "2.5733830e-125",
"independent_radius": "4.1394897e-258",
"terms": 217,
"three_enclosures_inside_written_interval": true
},
{
"x": "20",
"number": "-0.5633335005432003876168384617329157792596198456577328815154463782396795555665459193540965062087625604",
"primary_accuracy_bits": 413,
"independent_accuracy_bits": 852,
"primary_radius": "1.7591327e-125",
"independent_radius": "1.2436441e-257",
"terms": 222,
"three_enclosures_inside_written_interval": true
},
{
"x": "21",
"number": "-0.5461541752854722667562619552512864889339400450608607034541285283605587938573185192247663669616328799",
"primary_accuracy_bits": 413,
"independent_accuracy_bits": 850,
"primary_radius": "1.2342096e-125",
"independent_radius": "3.7185497e-257",
"terms": 226,
"three_enclosures_inside_written_interval": true
},
{
"x": "22",
"number": "-0.5298587107530845933758242595621026976698944626508390267640863088802238135802152903161899466727910543",
"primary_accuracy_bits": 414,
"independent_accuracy_bits": 849,
"primary_radius": "1.0876699e-125",
"independent_radius": "1.1070518e-256",
"terms": 231,
"three_enclosures_inside_written_interval": true
},
{
"x": "23",
"number": "-0.5143952991841143301774891535196115695545257189715269838742117065680644917142736692624517135394454231",
"primary_accuracy_bits": 414,
"independent_accuracy_bits": 847,
"primary_radius": "8.4235359e-126",
"independent_radius": "3.2827905e-256",
"terms": 235,
"three_enclosures_inside_written_interval": true
},
{
"x": "24",
"number": "-0.4997127196194704201924175816987739847561210084571759139919232277662603604585732784951121196452366218",
"primary_accuracy_bits": 414,
"independent_accuracy_bits": 845,
"primary_radius": "5.5228336e-126",
"independent_radius": "9.6993507e-256",
"terms": 240,
"three_enclosures_inside_written_interval": true
},
{
"x": "25",
"number": "-0.4857618375671537874732188311678169874844802116252210197248158144360460430901235313597267510905208688",
"primary_accuracy_bits": 414,
"independent_accuracy_bits": 843,
"primary_radius": "4.4645022e-126",
"independent_radius": "2.8562270e-255",
"terms": 244,
"three_enclosures_inside_written_interval": true
},
{
"x": "26",
"number": "-0.4724963675646677066172437207045432790596374286936042335383537097577729431145288282305252239462898055",
"primary_accuracy_bits": 414,
"independent_accuracy_bits": 842,
"primary_radius": "3.3645422e-126",
"independent_radius": "8.3850697e-255",
"terms": 248,
"three_enclosures_inside_written_interval": true
},
{
"x": "27",
"number": "-0.4598731708394765767198103112081229931534455803190029154685264489581336782607341310026935779914695572",
"primary_accuracy_bits": 415,
"independent_accuracy_bits": 840,
"primary_radius": "2.2411574e-126",
"independent_radius": "2.4547678e-254",
"terms": 252,
"three_enclosures_inside_written_interval": true
},
{
"x": "28",
"number": "-0.4478522719425396165807381321755856349605859089173627176544166760959880580776294228126041911378063864",
"primary_accuracy_bits": 415,
"independent_accuracy_bits": 838,
"primary_radius": "1.7653855e-126",
"independent_radius": "7.1736661e-254",
"terms": 257,
"three_enclosures_inside_written_interval": true
},
{
"x": "29",
"number": "-0.4363967164271180661628079131712950149006592694687631030620938044652401252398859980648569778089395861",
"primary_accuracy_bits": 416,
"independent_accuracy_bits": 837,
"primary_radius": "1.3939982e-126",
"independent_radius": "2.1123160e-253",
"terms": 261,
"three_enclosures_inside_written_interval": true
},
{
"x": "30",
"number": "-0.4254723487526836205165704062644872783107804199145177949191317492760993296165902775783929975606580060",
"primary_accuracy_bits": 416,
"independent_accuracy_bits": 835,
"primary_radius": "8.0674992e-127",
"independent_radius": "6.8372060e-253",
"terms": 265,
"three_enclosures_inside_written_interval": true
},
{
"x": "31",
"number": "-0.4150475601531777184780447482679424883383695040825953494199760426586695598686197873933118054973771046",
"primary_accuracy_bits": 416,
"independent_accuracy_bits": 833,
"primary_radius": "7.6106964e-127",
"independent_radius": "3.8778340e-252",
"terms": 269,
"three_enclosures_inside_written_interval": true
},
{
"x": "32",
"number": "-0.4050930362890668137518397462616911361529936103531177177493122603108423425887466084783898873116102735",
"primary_accuracy_bits": 417,
"independent_accuracy_bits": 829,
"primary_radius": "5.0751828e-127",
"independent_radius": "5.7427960e-251",
"terms": 273,
"three_enclosures_inside_written_interval": true
},
{
"x": "33",
"number": "-0.3955815212728622722858257426763597595151220529075662966378844213357001931076370046371856824132161445",
"primary_accuracy_bits": 418,
"independent_accuracy_bits": 824,
"primary_radius": "3.4244971e-127",
"independent_radius": "1.1857894e-249",
"terms": 277,
"three_enclosures_inside_written_interval": true
},
{
"x": "34",
"number": "-0.3864876060852065363553862344694003266647689422058423010894310078148517768757415019172262767082052016",
"primary_accuracy_bits": 418,
"independent_accuracy_bits": 820,
"primary_radius": "2.7316448e-127",
"independent_radius": "2.3923471e-248",
"terms": 281,
"three_enclosures_inside_written_interval": true
},
{
"x": "35",
"number": "-0.3777875440302684062553427504019995866441256754094773666423250972438895355778069591367638417704549118",
"primary_accuracy_bits": 419,
"independent_accuracy_bits": 816,
"primary_radius": "1.7043116e-127",
"independent_radius": "4.4634936e-247",
"terms": 285,
"three_enclosures_inside_written_interval": true
},
{
"x": "36",
"number": "-0.3694590926829591183285894597752503736421739931119275438490926656925357100928947769188347309377402883",
"primary_accuracy_bits": 419,
"independent_accuracy_bits": 812,
"primary_radius": "1.2273537e-127",
"independent_radius": "7.6781426e-246",
"terms": 288,
"three_enclosures_inside_written_interval": true
},
{
"x": "37",
"number": "-0.3614813800289933061840773854087596978467452046405892416248382014718828585001976715368134672603789961",
"primary_accuracy_bits": 419,
"independent_accuracy_bits": 808,
"primary_radius": "1.0785936e-127",
"independent_radius": "1.2219726e-244",
"terms": 292,
"three_enclosures_inside_written_interval": true
},
{
"x": "38",
"number": "-0.3538347916843252938797118303456419580186063118052936005402182587823914003175942758451736132258230059",
"primary_accuracy_bits": 420,
"independent_accuracy_bits": 804,
"primary_radius": "7.0795129e-128",
"independent_radius": "1.8064574e-243",
"terms": 296,
"three_enclosures_inside_written_interval": true
},
{
"x": "39",
"number": "-0.3465008758527114542736139504255435754167348460578736081771594615809723289551767876785774125093977092",
"primary_accuracy_bits": 420,
"independent_accuracy_bits": 800,
"primary_radius": "4.7513644e-128",
"independent_radius": "2.4900567e-242",
"terms": 300,
"three_enclosures_inside_written_interval": true
},
{
"x": "40",
"number": "-0.3394622628009681987816757793529195602337235999132159858489487236238882445364121339559119135504816669",
"primary_accuracy_bits": 421,
"independent_accuracy_bits": 796,
"primary_radius": "3.4961387e-128",
"independent_radius": "3.2117589e-241",
"terms": 304,
"three_enclosures_inside_written_interval": true
},
{
"x": "41",
"number": "-0.3327025959420679782381667764030159568400660077058076153576096318467699462498490404006014240110770938",
"primary_accuracy_bits": 421,
"independent_accuracy_bits": 793,
"primary_radius": "2.8117932e-128",
"independent_radius": "3.8891376e-240",
"terms": 307,
"three_enclosures_inside_written_interval": true
},
{
"x": "42",
"number": "-0.3262064720131957324387646183270779677446571840376669941702159488582761281944995734876671345666795092",
"primary_accuracy_bits": 422,
"independent_accuracy_bits": 789,
"primary_radius": "1.7166631e-128",
"independent_radius": "4.4346782e-239",
"terms": 311,
"three_enclosures_inside_written_interval": true
},
{
"x": "43",
"number": "-0.3199593882543391025368124623152449680033424136591232194556556073237687830358104544954282586001201699",
"primary_accuracy_bits": 422,
"independent_accuracy_bits": 786,
"primary_radius": "1.4139128e-128",
"independent_radius": "4.7752684e-238",
"terms": 315,
"three_enclosures_inside_written_interval": true
},
{
"x": "44",
"number": "-0.3139476948941778863660594086199797982180891518312916707900793258095767275282825873003346496603160931",
"primary_accuracy_bits": 423,
"independent_accuracy_bits": 783,
"primary_radius": "9.7147738e-129",
"independent_radius": "4.8686001e-237",
"terms": 319,
"three_enclosures_inside_written_interval": true
},
{
"x": "45",
"number": "-0.3081585516127996962847759187776579099517572485105699834872333303779698588436361918666692866987080478",
"primary_accuracy_bits": 424,
"independent_accuracy_bits": 779,
"primary_radius": "5.7249726e-129",
"independent_radius": "4.7113749e-236",
"terms": 322,
"three_enclosures_inside_written_interval": true
},
{
"x": "46",
"number": "-0.3025798869654101870776757671170743189959166491471505074579711689729958342614282825287796904232232538",
"primary_accuracy_bits": 424,
"independent_accuracy_bits": 776,
"primary_radius": "5.0166528e-129",
"independent_radius": "4.3373531e-235",
"terms": 326,
"three_enclosures_inside_written_interval": true
},
{
"x": "47",
"number": "-0.2972003600153006481727642784848623008467723497804537597573487708245396072500699890879673977604574894",
"primary_accuracy_bits": 424,
"independent_accuracy_bits": 773,
"primary_radius": "3.6993033e-129",
"independent_radius": "3.8068646e-234",
"terms": 329,
"three_enclosures_inside_written_interval": true
},
{
"x": "48",
"number": "-0.2920093236398268308913846331104816242306598587787616186752035178124941494607071778652869493437240146",
"primary_accuracy_bits": 425,
"independent_accuracy_bits": 770,
"primary_radius": "2.3395063e-129",
"independent_radius": "3.1918961e-233",
"terms": 333,
"three_enclosures_inside_written_interval": true
},
{
"x": "49",
"number": "-0.2869967891444070183454282351006984666480652719466813928307139356570715919569206323016988044608243468",
"primary_accuracy_bits": 425,
"independent_accuracy_bits": 767,
"primary_radius": "1.8568862e-129",
"independent_radius": "2.5614616e-232",
"terms": 337,
"three_enclosures_inside_written_interval": true
},
{
"x": "50",
"number": "-0.2821533919520713992878882999922323277744912251561092395677695542717255660012565941831603860411618880",
"primary_accuracy_bits": 426,
"independent_accuracy_bits": 764,
"primary_radius": "1.1957645e-129",
"independent_radius": "1.9708529e-231",
"terms": 340,
"three_enclosures_inside_written_interval": true
},
{
"x": "51",
"number": "-0.2774703582357178597235590589333652046246875000665715892506183267146349374259626919646465541426591987",
"primary_accuracy_bits": 426,
"independent_accuracy_bits": 761,
"primary_radius": "8.7499696e-130",
"independent_radius": "1.4563695e-230",
"terms": 344,
"three_enclosures_inside_written_interval": true
},
{
"x": "52",
"number": "-0.2729394724326040236027602787530844531556662522034571189358707819217312193225687955236450576829390579",
"primary_accuracy_bits": 427,
"independent_accuracy_bits": 758,
"primary_radius": "6.3335864e-130",
"independent_radius": "1.0351934e-229",
"terms": 347,
"three_enclosures_inside_written_interval": true
},
{
"x": "53",
"number": "-0.2685530456309258839051613295384891515306492506826025308811212474179881699404498425179778030982727294",
"primary_accuracy_bits": 427,
"independent_accuracy_bits": 755,
"primary_radius": "4.6752326e-130",
"independent_radius": "7.0883737e-229",
"terms": 351,
"three_enclosures_inside_written_interval": true
},
{
"x": "54",
"number": "-0.2643038848511967614151288633800488500627848737296117472466036143834739501673076544167531223082178728",
"primary_accuracy_bits": 428,
"independent_accuracy_bits": 753,
"primary_radius": "2.9249187e-130",
"independent_radius": "4.6822383e-228",
"terms": 354,
"three_enclosures_inside_written_interval": true
},
{
"x": "55",
"number": "-0.2601852632645007513681827270962720967225833162280745551877117281738816699298990333515595609457934019",
"primary_accuracy_bits": 428,
"independent_accuracy_bits": 750,
"primary_radius": "2.1437492e-130",
"independent_radius": "2.9875516e-227",
"terms": 358,
"three_enclosures_inside_written_interval": true
},
{
"x": "56",
"number": "-0.2561908913988747837975932183003803487760718405866241358360775482290188965773401039921647159823854179",
"primary_accuracy_bits": 429,
"independent_accuracy_bits": 747,
"primary_radius": "1.5483311e-130",
"independent_radius": "1.8436331e-226",
"terms": 361,
"three_enclosures_inside_written_interval": true
},
{
"x": "57",
"number": "-0.2523148893868083111349382457475647698655529257401381148933616301325939745728906952410423817826873317",
"primary_accuracy_bits": 429,
"independent_accuracy_bits": 745,
"primary_radius": "1.0787897e-130",
"independent_radius": "1.1016514e-225",
"terms": 365,
"three_enclosures_inside_written_interval": true
},
{
"x": "58",
"number": "-0.2485517603033492334444181770022591134368937159969178509805805226139736578170645603027979691522796655",
"primary_accuracy_bits": 429,
"independent_accuracy_bits": 741,
"primary_radius": "8.0536889e-131",
"independent_radius": "6.3813288e-225",
"terms": 368,
"three_enclosures_inside_written_interval": true
},
{
"x": "59",
"number": "-0.2448963646373212809284245806146741158176794398068131375342969721859961887400476797885247871052306645",
"primary_accuracy_bits": 429,
"independent_accuracy_bits": 739,
"primary_radius": "5.6718423e-131",
"independent_radius": "3.5870460e-224",
"terms": 372,
"three_enclosures_inside_written_interval": true
},
{
"x": "60",
"number": "-0.2413438959290546002140532133918136799873986931277359944245930541887022353055087613163437230472099502",
"primary_accuracy_bits": 430,
"independent_accuracy_bits": 736,
"primary_radius": "3.4639993e-131",
"independent_radius": "1.9586646e-223",
"terms": 375,
"three_enclosures_inside_written_interval": true
},
{
"x": "61",
"number": "-0.2378898575978453960751935965138066760926965847519915849754862025578058461690839446535781438375498619",
"primary_accuracy_bits": 430,
"independent_accuracy_bits": 734,
"primary_radius": "2.8989334e-131",
"independent_radius": "1.0399132e-222",
"terms": 378,
"three_enclosures_inside_written_interval": true
},
{
"x": "62",
"number": "-0.2345300409718626978798159602642001908531585128754261038429007096973849461636826656410704028413286009",
"primary_accuracy_bits": 431,
"independent_accuracy_bits": 732,
"primary_radius": "2.0017857e-131",
"independent_radius": "5.3733411e-222",
"terms": 382,
"three_enclosures_inside_written_interval": true
},
{
"x": "63",
"number": "-0.2312605045229652255038626810927062150353817502852660540615479737069324804504909327197649751911038168",
"primary_accuracy_bits": 431,
"independent_accuracy_bits": 729,
"primary_radius": "1.2057295e-131",
"independent_radius": "2.7044520e-221",
"terms": 385,
"three_enclosures_inside_written_interval": true
},
{
"x": "64",
"number": "-0.2280775542992615987467804653590702299925315330485594002539441707443002891840171117219198681456911640",
"primary_accuracy_bits": 432,
"independent_accuracy_bits": 727,
"primary_radius": "9.4419321e-132",
"independent_radius": "1.3269701e-220",
"terms": 389,
"three_enclosures_inside_written_interval": true
},
{
"x": "65",
"number": "-0.2249777255394907983771738729885777361991682596379783519394330048754170472782786745946459576073231727",
"primary_accuracy_bits": 432,
"independent_accuracy_bits": 725,
"primary_radius": "6.4310608e-132",
"independent_radius": "6.3523263e-220",
"terms": 392,
"three_enclosures_inside_written_interval": true
},
{
"x": "66",
"number": "-0.2219577654455612411441645825104062879945878948141618789111680739410918417322427012759126959234254602",
"primary_accuracy_bits": 433,
"independent_accuracy_bits": 722,
"primary_radius": "4.3186861e-132",
"independent_radius": "2.9690757e-219",
"terms": 395,
"three_enclosures_inside_written_interval": true
},
{
"x": "67",
"number": "-0.2190146170829322837341955320275116323042263041128917541468715307561052720959775647448830618838299311",
"primary_accuracy_bits": 433,
"independent_accuracy_bits": 720,
"primary_radius": "3.3375259e-132",
"independent_radius": "1.3559349e-218",
"terms": 399,
"three_enclosures_inside_written_interval": true
},
{
"x": "68",
"number": "-0.2161454043729600515860401131232862842891013068933534131079518159795931337616171954006023465472513685",
"primary_accuracy_bits": 434,
"independent_accuracy_bits": 718,
"primary_radius": "2.2811261e-132",
"independent_radius": "6.0545791e-218",
"terms": 402,
"three_enclosures_inside_written_interval": true
},
{
"x": "69",
"number": "-0.2133474181368277207800667641382806960487691105387961546537129938669028072242984900614645818019375245",
"primary_accuracy_bits": 434,
"independent_accuracy_bits": 716,
"primary_radius": "1.5127503e-132",
"independent_radius": "2.6450990e-217",
"terms": 405,
"three_enclosures_inside_written_interval": true
},
{
"x": "70",
"number": "-0.2106181031471781707571679325360430288071680235208550146726056207100964146756575445470862031051693890",
"primary_accuracy_bits": 435,
"independent_accuracy_bits": 714,
"primary_radius": "1.0221597e-132",
"independent_radius": "1.1313209e-216",
"terms": 409,
"three_enclosures_inside_written_interval": true
},
{
"x": "71",
"number": "-0.2079550461409856583203366376727727334861222488422542199385941782427696784761911985632060113522754769",
"primary_accuracy_bits": 435,
"independent_accuracy_bits": 712,
"primary_radius": "8.0288121e-133",
"independent_radius": "4.7399853e-216",
"terms": 412,
"three_enclosures_inside_written_interval": true
},
{
"x": "72",
"number": "-0.2053559647454539290229650137850061417158742644413295639051730827646499779812033389554935348077517990",
"primary_accuracy_bits": 436,
"independent_accuracy_bits": 710,
"primary_radius": "4.9761688e-133",
"independent_radius": "1.9465516e-215",
"terms": 415,
"three_enclosures_inside_written_interval": true
},
{
"x": "73",
"number": "-0.2028186972677175725280109074755890695118461122327656427770034805258956913475459655546801385113526692",
"primary_accuracy_bits": 436,
"independent_accuracy_bits": 708,
"primary_radius": "3.8578272e-133",
"independent_radius": "7.8395773e-215",
"terms": 418,
"three_enclosures_inside_written_interval": true
},
{
"x": "74",
"number": "-0.2003411932987577910646844598702316711474297390581456079710873438596625479606159241007889404938795785",
"primary_accuracy_bits": 437,
"independent_accuracy_bits": 706,
"primary_radius": "2.7765879e-133",
"independent_radius": "3.0980432e-214",
"terms": 422,
"three_enclosures_inside_written_interval": true
},
{
"x": "75",
"number": "-0.1979215050821322150462980191302221758964433056737545883690838951042544013923006741030403189128687556",
"primary_accuracy_bits": 438,
"independent_accuracy_bits": 704,
"primary_radius": "1.7038539e-133",
"independent_radius": "1.2019084e-213",
"terms": 425,
"three_enclosures_inside_written_interval": true
},
{
"x": "76",
"number": "-0.1955577795987749477854471149550315531794343704267764295125663389293151299113434914517447707935389953",
"primary_accuracy_bits": 438,
"independent_accuracy_bits": 702,
"primary_radius": "1.2944691e-133",
"independent_radius": "4.5799063e-213",
"terms": 428,
"three_enclosures_inside_written_interval": true
},
{
"x": "77",
"number": "-0.1932482513201678067071010564267317711002155721284246869455650957874209724654926755024525855188233724",
"primary_accuracy_bits": 439,
"independent_accuracy_bits": 700,
"primary_radius": "8.7787680e-134",
"independent_radius": "1.7149324e-212",
"terms": 432,
"three_enclosures_inside_written_interval": true
},
{
"x": "78",
"number": "-0.1909912355835438376926110521353096771043006572353694634090381805910370586269690957457351385472690957",
"primary_accuracy_bits": 439,
"independent_accuracy_bits": 698,
"primary_radius": "6.0000204e-134",
"independent_radius": "6.3130415e-212",
"terms": 435,
"three_enclosures_inside_written_interval": true
},
{
"x": "79",
"number": "-0.1887851225443939630188167076827026324101963316195456716128900439710626047372866030635949908868609835",
"primary_accuracy_bits": 439,
"independent_accuracy_bits": 696,
"primary_radius": "4.5243510e-134",
"independent_radius": "2.2857040e-211",
"terms": 438,
"three_enclosures_inside_written_interval": true
},
{
"x": "80",
"number": "-0.1866283716633487195214916542132231506859514726508247869536278604865928844021331188196868314794054890",
"primary_accuracy_bits": 440,
"independent_accuracy_bits": 694,
"primary_radius": "3.0163256e-134",
"independent_radius": "8.1427755e-211",
"terms": 441,
"three_enclosures_inside_written_interval": true
},
{
"x": "81",
"number": "-0.1845195066864481775998418599799609938498511827134992111214642103987775014431364704786066754920429068",
"primary_accuracy_bits": 441,
"independent_accuracy_bits": 693,
"primary_radius": "2.0871416e-134",
"independent_radius": "2.8554245e-210",
"terms": 445,
"three_enclosures_inside_written_interval": true
},
{
"x": "82",
"number": "-0.1824571110798497660419181481467942233871133371038810975039629047793006311775157455984312869523436362",
"primary_accuracy_bits": 441,
"independent_accuracy_bits": 691,
"primary_radius": "1.5554592e-134",
"independent_radius": "9.8601351e-210",
"terms": 448,
"three_enclosures_inside_written_interval": true
},
{
"x": "83",
"number": "-0.1804398238821176136756407399387336474440113639418735519228299890460405315284983218007867326986722896",
"primary_accuracy_bits": 441,
"independent_accuracy_bits": 689,
"primary_radius": "1.1009307e-134",
"independent_radius": "3.3540621e-209",
"terms": 451,
"three_enclosures_inside_written_interval": true
},
{
"x": "84",
"number": "-0.1784663359393556915858826640420548758671412081401327212855355756481318605181565209798912937254675095",
"primary_accuracy_bits": 442,
"independent_accuracy_bits": 687,
"primary_radius": "7.5149632e-135",
"independent_radius": "1.1243245e-208",
"terms": 454,
"three_enclosures_inside_written_interval": true
},
{
"x": "85",
"number": "-0.1765353864905632869800364460333710807262310190197858245019772409835370399578682603400904756237446297",
"primary_accuracy_bits": 442,
"independent_accuracy_bits": 686,
"primary_radius": "5.7946246e-135",
"independent_radius": "3.7153118e-208",
"terms": 457,
"three_enclosures_inside_written_interval": true
},
{
"x": "86",
"number": "-0.1746457600726826681131231905205609801943008656363858505021354147805367206991897641815132526577654582",
"primary_accuracy_bits": 443,
"independent_accuracy_bits": 684,
"primary_radius": "3.7685997e-135",
"independent_radius": "1.2106744e-207",
"terms": 461,
"three_enclosures_inside_written_interval": true
},
{
"x": "87",
"number": "-0.1727962837168569121254587701983768779103345569208592201781178939708408537443404701326102523287575697",
"primary_accuracy_bits": 444,
"independent_accuracy_bits": 682,
"primary_radius": "2.6493404e-135",
"independent_radius": "3.8916008e-207",
"terms": 464,
"three_enclosures_inside_written_interval": true
},
{
"x": "88",
"number": "-0.1709858244094061660101870858122751258320227053759001474888683725072173181829757138208350444297795074",
"primary_accuracy_bits": 444,
"independent_accuracy_bits": 681,
"primary_radius": "2.1342926e-135",
"independent_radius": "1.2343368e-206",
"terms": 467,
"three_enclosures_inside_written_interval": true
},
{
"x": "89",
"number": "-0.1692132867929517285093066950602428857131380815684475409459077490209439666452449554951150726208655994",
"primary_accuracy_bits": 444,
"independent_accuracy_bits": 679,
"primary_radius": "1.7730723e-135",
"independent_radius": "3.8643321e-206",
"terms": 470,
"three_enclosures_inside_written_interval": true
},
{
"x": "90",
"number": "-0.1674776110849607102428006176046487459504897307268745255090074320249081367457792183183433424854928182",
"primary_accuracy_bits": 444,
"independent_accuracy_bits": 677,
"primary_radius": "1.4607207e-135",
"independent_radius": "1.1944755e-205",
"terms": 473,
"three_enclosures_inside_written_interval": true
},
{
"x": "91",
"number": "-0.1657777711927434880370045851789255843144058348818098786011030720118539832868220494023181569141237247",
"primary_accuracy_bits": 444,
"independent_accuracy_bits": 676,
"primary_radius": "1.5722094e-135",
"independent_radius": "3.6464008e-205",
"terms": 476,
"three_enclosures_inside_written_interval": true
},
{
"x": "92",
"number": "-0.1641127730056076017272411458701694930127769531054826866379140557042240150340276904832592388682099406",
"primary_accuracy_bits": 446,
"independent_accuracy_bits": 674,
"primary_radius": "6.5327389e-136",
"independent_radius": "1.0996496e-204",
"terms": 480,
"three_enclosures_inside_written_interval": true
},
{
"x": "93",
"number": "-0.1624816528464527590716098717863774868187691055134423503658896855089948319741847787590933997524481294",
"primary_accuracy_bits": 446,
"independent_accuracy_bits": 672,
"primary_radius": "5.9544780e-136",
"independent_radius": "3.2768879e-204",
"terms": 483,
"three_enclosures_inside_written_interval": true
},
{
"x": "94",
"number": "-0.1608834760665812702015380471982185743798445044325850916321829980247797674234725479095577916461761097",
"primary_accuracy_bits": 446,
"independent_accuracy_bits": 671,
"primary_radius": "6.1884039e-136",
"independent_radius": "9.6515483e-204",
"terms": 486,
"three_enclosures_inside_written_interval": true
},
{
"x": "95",
"number": "-0.1593173357688967710077919201582399416682172970311536310684502024116633227104276997211386078409867694",
"primary_accuracy_bits": 446,
"independent_accuracy_bits": 669,
"primary_radius": "6.7152301e-136",
"independent_radius": "2.8103985e-203",
"terms": 489,
"three_enclosures_inside_written_interval": true
},
{
"x": "96",
"number": "-0.1577823516459727285755489081647106612075675179593297899762300035195720548131202213229744441694813700",
"primary_accuracy_bits": 445,
"independent_accuracy_bits": 668,
"primary_radius": "7.7273686e-136",
"independent_radius": "8.0924181e-203",
"terms": 492,
"three_enclosures_inside_written_interval": true
},
{
"x": "97",
"number": "-0.1562776689206929424900570324405742111131136949912487814378818866492204840080817027815916274032394027",
"primary_accuracy_bits": 445,
"independent_accuracy_bits": 666,
"primary_radius": "9.2424419e-136",
"independent_radius": "2.3047771e-202",
"terms": 495,
"three_enclosures_inside_written_interval": true
},
{
"x": "98",
"number": "-0.1548024573783016662804187898067961619492599700808415396283421191690291663978742667166420212757049818",
"primary_accuracy_bits": 447,
"independent_accuracy_bits": 665,
"primary_radius": "2.5456555e-136",
"independent_radius": "6.4940768e-202",
"terms": 499,
"three_enclosures_inside_written_interval": true
},
{
"x": "99",
"number": "-0.1533559104797541448610344393393566226867968223589177586091922034158119506619235829255689123177916858",
"primary_accuracy_bits": 447,
"independent_accuracy_bits": 663,
"primary_radius": "2.8781514e-136",
"independent_radius": "1.8106663e-201",
"terms": 502,
"three_enclosures_inside_written_interval": true
},
{
"x": "100",
"number": "-0.1519372445472327147317797481952298424815105267808753214092823479215264002044365013549826388650587397",
"primary_accuracy_bits": 447,
"independent_accuracy_bits": 662,
"primary_radius": "3.3845096e-136",
"independent_radius": "4.9967057e-201",
"terms": 505,
"three_enclosures_inside_written_interval": true
}
]
}