{
  "table": "T644",
  "mode": "pre-fill",
  "skill_manifest": "agents/runs/20261101T072807Z-build-skills/manifest.json",
  "skill_sha256_local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "skill_sha256_live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3"
  },
  "entries": 257,
  "digits": 100,
  "generator_working_bits": 669,
  "generator_min_relative_accuracy_bits": 398,
  "independent_min_relative_accuracy_bits": 611,
  "independent_method": {
    "precision_bits": 883,
    "arctan_terms_5": 193,
    "arctan_terms_239": 57,
    "bernoulli_max_index": 514,
    "bernoulli_controls": {
      "0": "1",
      "1": "-1/2",
      "2": "1/6",
      "4": "-1/30",
      "6": "1/42",
      "12": "-691/2730"
    }
  },
  "independent_enclosures_overlapping": 257,
  "serialized_intervals_containing_independent_enclosures": 257,
  "controls": [
    "Machin tangent identity exact",
    "B_0,B_1,B_2,B_4,B_6,B_12 exact",
    "c_0,c_1,c_2 closed forms",
    "c_1 sign reversal rejected",
    "ten-last-place perturbation rejected"
  ],
  "generated_identities": {
    "closed_form_controls": 3,
    "inversion_orders_checked": 257,
    "inversion_min_relative_accuracy_bits": 260,
    "egf_coefficients_checked": 257,
    "egf_rhs_min_relative_accuracy_bits": 752
  },
  "raw_measurement": {
    "entries": 257,
    "longest": 219,
    "longest_at": 0,
    "block_kb": 55.8271484375
  },
  "serialized_measurement": {
    "entries": 257,
    "longest": 106,
    "longest_at": 123,
    "block_kb": 35.869140625
  },
  "values": [
    {
      "k": "0",
      "number": "0.6079271018540266286632767792583658334261526480334792930736541913650387257734126471472556435537310257"
    },
    {
      "k": "1",
      "number": "-0.3160113010675635383604737147823166393383495187939643515614690011125909150262601752692587301038833894"
    },
    {
      "k": "2",
      "number": "-0.2569971117245732855793276438290749791516301696348011653528517886547180144812455728767835489832023829"
    },
    {
      "k": "3",
      "number": "-0.2109695312425177598281214806874545100187120829479615110858484168154811472124839999404786569488012856"
    },
    {
      "k": "4",
      "number": "-0.1748613476778813261894663800700917701897238848256097749825697173461550485615617640275380620249548561"
    },
    {
      "k": "5",
      "number": "-0.1463529100085022500614498216334450968599530914648930633987595860364607372959592563928080408944166319"
    },
    {
      "k": "6",
      "number": "-0.1236873465079117840280354947212747993688183572765952336784065766597483236540159375241279790580572496"
    },
    {
      "k": "7",
      "number": "-0.1055317454777628912155457163456384825945843929414686205116300046382315834620805412056787980093809527"
    },
    {
      "k": "8",
      "number": "-0.09087283359117716441180032497179109405914629015470178229576576562371624883506811736493346189765374683"
    },
    {
      "k": "9",
      "number": "-0.07893855041740799771548703426174051233850576854062951658071118499812973848748480089684112098321627261"
    },
    {
      "k": "10",
      "number": "-0.06913906550510960397644752671867720388195476779188527086408521299100809779918372470036737638055661273"
    },
    {
      "k": "11",
      "number": "-0.06102239553997541776358854305590496824984461547795555431894122041901712008477461163808202412817712490"
    },
    {
      "k": "12",
      "number": "-0.05424098769819525922209410810620266451694534792392158120077013220393056319337539123813328465355081802"
    },
    {
      "k": "13",
      "number": "-0.04852654199529754170513359093022288909664075670597746347809202636875449059438735901496945635342419556"
    },
    {
      "k": "14",
      "number": "-0.04367102563751368786084243956690395286372496751142688711205583276913090265992487129184467938545354692"
    },
    {
      "k": "15",
      "number": "-0.03951234271535708184154193773410007198928253542069257580220673768647229669232890464490244807474528730"
    },
    {
      "k": "16",
      "number": "-0.03592350548575218054553354057950093097121278182164436801777712659929609155113054597795382701604228276"
    },
    {
      "k": "17",
      "number": "-0.03280444080879194614988005354625472317671227960824185116787241957501162449489964288666620897090908870"
    },
    {
      "k": "18",
      "number": "-0.03007578091924252747312483898358498933858949990876187035897500547166641590833927186678365245750145610"
    },
    {
      "k": "19",
      "number": "-0.02767414953387737027948346066816771466670465379717656922895262318877239792581993793112881324613433555"
    },
    {
      "k": "20",
      "number": "-0.02554857575961023247655369688834404356954264829950745157157547700734513310218127188144961052969354389"
    },
    {
      "k": "21",
      "number": "-0.02365775945257207710959198908681927015775775736099869870482616164745307499569183616317898639388615033"
    },
    {
      "k": "22",
      "number": "-0.02196798014472518399286085224682812811172626776588148502674204486125681806024243108150171977642160596"
    },
    {
      "k": "23",
      "number": "-0.02045149307339450070945291948347745316297445018288554691898933367353253523129087157072352682169811439"
    },
    {
      "k": "24",
      "number": "-0.01908529447447760874212432686420671730340449050702391278989100402788309060036914508950666875021313022"
    },
    {
      "k": "25",
      "number": "-0.01785016732361390439341563248934803726923551908317392284123613302873118087379029785682829537336692120"
    },
    {
      "k": "26",
      "number": "-0.01672994052566446017235628394160104460580268230583128964783598104796532070754861375680761080229462987"
    },
    {
      "k": "27",
      "number": "-0.01571091095795920968759329199777395334260928483348103931004369546523234418758322281235758728322271847"
    },
    {
      "k": "28",
      "number": "-0.01478139011486722779400486682755457762874319532489485519369209196453987080293436209288909971883424368"
    },
    {
      "k": "29",
      "number": "-0.01393134639183992469255488612657007158797998584655905851509989388040450853400009687521036659252392104"
    },
    {
      "k": "30",
      "number": "-0.01315212104526387655756809442285843483216097933364235939990380172309759592460453877846805394123229550"
    },
    {
      "k": "31",
      "number": "-0.01243620113998297820791470970099314675112025814788219588687612200192094009338224921813114276159648562"
    },
    {
      "k": "32",
      "number": "-0.01177703677688913910717376136194551936156163365285420007488198822299416024256182376332922926784143401"
    },
    {
      "k": "33",
      "number": "-0.01116889289962889571816444174399265104094642354285685124923589161239512293332026958048294731574268810"
    },
    {
      "k": "34",
      "number": "-0.01060672825334392274454955665579514373704700041283323108287663959382934681485761613987744101921474915"
    },
    {
      "k": "35",
      "number": "-0.01008609579055392962418947000912381237364299803885393752420502542858166705784649100057208203720311011"
    },
    {
      "k": "36",
      "number": "-0.009603060125856844462425996841264109738575568811946046189186790911537821840913011060012410209904459350"
    },
    {
      "k": "37",
      "number": "-0.009154128634312588848378838892987718115314232007749644708848640184139456459588302093540142722847127395"
    },
    {
      "k": "38",
      "number": "-0.008736193545063994368053115729249434076558038592503471835373612443456585901690003748683794915854200325"
    },
    {
      "k": "39",
      "number": "-0.008346482959748257627334740671622070022892687259183493731795014058455540435484057659429338931571168803"
    },
    {
      "k": "40",
      "number": "-0.007982519168072769990510239573466910914514951806483727453632563409336638928763815796555877966713700775"
    },
    {
      "k": "41",
      "number": "-0.007642082973330460406395673099297708028394392758081617603414830965146692942727516645909165616160927385"
    },
    {
      "k": "42",
      "number": "-0.007323183003297068059246673563763352743852730556829455294035587712059722398138836698300020433503659418"
    },
    {
      "k": "43",
      "number": "-0.007024029185501996382075079459825747622482321192294966438279936157287561535442091833473317336631983343"
    },
    {
      "k": "44",
      "number": "-0.006743009724348373730304516362224576196172774659751289332414261044521455931138850032988113333324013302"
    },
    {
      "k": "45",
      "number": "-0.006478671041596955955647816725762654478398217652011156996285436929710080367148960440738845789113483157"
    },
    {
      "k": "46",
      "number": "-0.006229700239359519186119461167132862716382576195009104246950786697315291744325328031384295886348102828"
    },
    {
      "k": "47",
      "number": "-0.005994909722061906433524131114762607144964411334677189901162923178599269066683964065327416684638232315"
    },
    {
      "k": "48",
      "number": "-0.005773223675460222878351102961492949913701870770896788781381388348501202651210233959225162268662873430"
    },
    {
      "k": "49",
      "number": "-0.005563666150245198914006470715535119448549339022198332150178276047227713357764476863443090310513947583"
    },
    {
      "k": "50",
      "number": "-0.005365350537733784116215667198393427183293774602373303035154712193841771005611778518465876400328454081"
    },
    {
      "k": "51",
      "number": "-0.005177470257676662522000252935067319241840281067292745347267357255266109232974435551336260427144224046"
    },
    {
      "k": "52",
      "number": "-0.004999290504880782506289206992979089574949043894474545691362603311466862765702112441961658051544625434"
    },
    {
      "k": "53",
      "number": "-0.004830140923370030979204380113005137228930733674929709070993722897475444384581720126210442960877720482"
    },
    {
      "k": "54",
      "number": "-0.004669409095122463561303810703835590103674541424743357519860866414561549552844275421120593362737264811"
    },
    {
      "k": "55",
      "number": "-0.004516534745757100809355471304170880229396160563911851929227312935529365994557467716445884185582297568"
    },
    {
      "k": "56",
      "number": "-0.004371004582465369259353309495583398450309286641071098475731006454836975407067931754954564749554858324"
    },
    {
      "k": "57",
      "number": "-0.004232347690437566278613244628633972985246456016033750903583407551031252566179992444529467572608032882"
    },
    {
      "k": "58",
      "number": "-0.004100131423375044360984685267862766531620706597986113245508843497316508411578224889796005638863069909"
    },
    {
      "k": "59",
      "number": "-0.003973957731683506615590637294708687632005905357474074527724874490501576121776165050513314241848448974"
    },
    {
      "k": "60",
      "number": "-0.003853459878835203391266646166904428380468950151521418723016816819555274956011620078813681020097109200"
    },
    {
      "k": "61",
      "number": "-0.003738299502347679951670211593958671656673463277171276878824821802621721673418840861250508940982126402"
    },
    {
      "k": "62",
      "number": "-0.003628163980999772101065619662071614964550963693440284891629462704379426991609463578489758121250624471"
    },
    {
      "k": "63",
      "number": "-0.003522764074410769065914993963056272681270359915703195011511796833140577276703377587740601294155661806"
    },
    {
      "k": "64",
      "number": "-0.003421831805043920107112908954456930290000973377703721047773699425848290353218657756636745698956550444"
    },
    {
      "k": "65",
      "number": "-0.003325118556141808949043863661536109189363322171130272005179408301524019360556946406401715935569272236"
    },
    {
      "k": "66",
      "number": "-0.003232393362126160512124145454756860759415699388785343805359153821621126098489713456835282664428519358"
    },
    {
      "k": "67",
      "number": "-0.003143441370655133878433731866849382172441094834345000644234422866356209216066013331374252905423359792"
    },
    {
      "k": "68",
      "number": "-0.003058062457875043476154843930312090342624515611437427912910915922153783753668979176112975380353143450"
    },
    {
      "k": "69",
      "number": "-0.002976069980471484238984192129638320690420416832567630037948987571541195904327418269876864502201812712"
    },
    {
      "k": "70",
      "number": "-0.002897289649951830133401489917452140398137162845971533431377884619738882866408651763574440639677380151"
    },
    {
      "k": "71",
      "number": "-0.002821558516206921280593531137167410210748693451968858106218099337211700144529748073324468246236291264"
    },
    {
      "k": "72",
      "number": "-0.002748724048830234221825434569171753174276569559534512425746063988352498490064810142237322717719566860"
    },
    {
      "k": "73",
      "number": "-0.002678643305940267632161855600772475550598478119275420346366306408425566534222252929651315924523082517"
    },
    {
      "k": "74",
      "number": "-0.002611182181375673031849703158796621314196449218818354778753617074489513387369289531443040882463802426"
    },
    {
      "k": "75",
      "number": "-0.002546214722129730108269605707092486923228911155064730374795087518067564991838926551098090197754108556"
    },
    {
      "k": "76",
      "number": "-0.002483622508775894615713130831762302119631406639095481982089501240737024463318024481220976764914834859"
    },
    {
      "k": "77",
      "number": "-0.002423294092422290076345725404054873963023437374337534895563768860708082453673510404601781255153319197"
    },
    {
      "k": "78",
      "number": "-0.002365124482431550531145543989491610360083394783754196688582292107177795436554364007010552442004778214"
    },
    {
      "k": "79",
      "number": "-0.002309014679763360090906870752148527588359603404863182721196122623158963172048409796188835215822163881"
    },
    {
      "k": "80",
      "number": "-0.002254871251349195937113760886583953624074238976155703765712826511354549398958600015907656037613740511"
    },
    {
      "k": "81",
      "number": "-0.002202605941399946811708764054580328526950825244013993065640678467756178947140983036274091244543239591"
    },
    {
      "k": "82",
      "number": "-0.002152135315984123289006641474554137479908892301685100730601415716716196295868482757974208391148873930"
    },
    {
      "k": "83",
      "number": "-0.002103380437603377846537229159840115516701686281324262424596601862049939277602400012765800644257034046"
    },
    {
      "k": "84",
      "number": "-0.002056266566838391498586334756542180822865629397489668573919952374570972901133761922860185206333266871"
    },
    {
      "k": "85",
      "number": "-0.002010722888446623916603847570088369195621904412507708089145373225957823155082336792633953675354871258"
    },
    {
      "k": "86",
      "number": "-0.001966682259568187759887460538404553082867312709452360337383737788302236207904196872819436312439641994"
    },
    {
      "k": "87",
      "number": "-0.001924080977940939153705247219117111832290208449478294584013741865740291875982916013298235952926168767"
    },
    {
      "k": "88",
      "number": "-0.001882858568244095961743064297491370992585358764382109393141550372512309421352759468020181533265987739"
    },
    {
      "k": "89",
      "number": "-0.001842957584884250993713506316911398451176731523556925800149247164088086923183581703961109146794808980"
    },
    {
      "k": "90",
      "number": "-0.001804323429711155035658393136245038395895212702168016835717466979225909071508131136662540458561595315"
    },
    {
      "k": "91",
      "number": "-0.001766904183305428067128637760156273497698608995891626071512295516997815314237105413586473823914513608"
    },
    {
      "k": "92",
      "number": "-0.001730650448618480069988278836258555480772561991943671232395684213459160813526592435082976437797519551"
    },
    {
      "k": "93",
      "number": "-0.001695515205868219063931057974016202454396189781552653953470096005857796730581939601542290719062457043"
    },
    {
      "k": "94",
      "number": "-0.001661453677704222851013655887574052871667254967182947797999504330596396095169705622961230811135330622"
    },
    {
      "k": "95",
      "number": "-0.001628423203754400647209243117889176384355118548560605018257480183993852164451023144534062458341149007"
    },
    {
      "k": "96",
      "number": "-0.001596383123753058719921518141738032183252201838165496743321510959320515248146076332337678563575786693"
    },
    {
      "k": "97",
      "number": "-0.001565294668528854932082841073785320180543404252355547998326774395287835380258355918656344619411365816"
    },
    {
      "k": "98",
      "number": "-0.001535120858201398491807785759008475174576015155631240812242764696209120817109339335286989774559741629"
    },
    {
      "k": "99",
      "number": "-0.001505826406998128347953381576125667450977023552176784761966527780474866253090698746184545998869250321"
    },
    {
      "k": "100",
      "number": "-0.001477377634159391602150758922435834445647783886480725749705048037236708217565105867734480229790783576"
    },
    {
      "k": "101",
      "number": "-0.001449742380450058144903514714028964023381602264562720613696699007614809948503046404600800783954947972"
    },
    {
      "k": "102",
      "number": "-0.001422889929841186556423915320029970649998418575496801242222415067603875877963166779423186563534556267"
    },
    {
      "k": "103",
      "number": "-0.001396790935965765991024473101790689685249374005399985971926386796567232280000812246286470661956667483"
    },
    {
      "k": "104",
      "number": "-0.001371417352988903700255540468228220108614282098872126428329726306442604487462732516451855025471755238"
    },
    {
      "k": "105",
      "number": "-0.001346742370565456953501939296220096084203496063121004702021859982857109178159757308086742538852240724"
    },
    {
      "k": "106",
      "number": "-0.001322740352587420947631066684116406621712723788744139192631106894946098758680270375575671816850712866"
    },
    {
      "k": "107",
      "number": "-0.001299386779449736545630200957314019808445744917249179957182018747110052316742507808319915334213672192"
    },
    {
      "k": "108",
      "number": "-0.001276658193586890018919356118718722758715839559715864994960479470899560652282737246376275820967926232"
    },
    {
      "k": "109",
      "number": "-0.001254532148054023364587431623431358961079942839556684046993476158576194523425611231072569600789470460"
    },
    {
      "k": "110",
      "number": "-0.001232987157945509346044008577323745391731347327015744542804139859862412421399206876065177882029079461"
    },
    {
      "k": "111",
      "number": "-0.001212002654461293837937019663913618130209931204713590417813210879924387529015368906720499851811471154"
    },
    {
      "k": "112",
      "number": "-0.001191558941446968606548761578741429866483304008459228620872178355297490334883012490483286815087370158"
    },
    {
      "k": "113",
      "number": "-0.001171637154247687872627137108213103555516187089007042747455159067434558940698863756260538870869769600"
    },
    {
      "k": "114",
      "number": "-0.001152219220728840113315287902950212641739980887704427011721154392128579340144164746542086822449045598"
    },
    {
      "k": "115",
      "number": "-0.001133287824327973604048091895614878694924714254069448852152041117906607795158501702247732283952309343"
    },
    {
      "k": "116",
      "number": "-0.001114826369012975926894628838535264641245291481839560843348963537775522838659366916914408901466289648"
    },
    {
      "k": "117",
      "number": "-0.001096818946031036216487263301624035214386522958159803676567828833225630401238256530902189317152231989"
    },
    {
      "k": "118",
      "number": "-0.001079250302341574304468028517715656154496342452845696237989596301429485246974995268095894722033244977"
    },
    {
      "k": "119",
      "number": "-0.001062105810634192404581888891813048323621643148841921679850137551801739946438762588430863357691033643"
    },
    {
      "k": "120",
      "number": "-0.001045371440839872203927140210597139572552002238958666764516062237575287106988953337025835398129607794"
    },
    {
      "k": "121",
      "number": "-0.001029033733050174299895216402395829753206547466708429361050918213798815532698663390411210542092641447"
    },
    {
      "k": "122",
      "number": "-0.001013079771765161349800231884852869452292322253310473593004547407621733564223307557872006993222315477"
    },
    {
      "k": "123",
      "number": "-0.0009974971613962178113248237918939937803378428932017268135021207226507383914593846679351954489146716043"
    },
    {
      "k": "124",
      "number": "-0.0009822740029549284452779087881480481707745557090898861948530639932674891664409468720994569401142626037"
    },
    {
      "k": "125",
      "number": "-0.0009673988718637501538170347454051255315747245182137273547667303270019500596095326575010847230206093951"
    },
    {
      "k": "126",
      "number": "-0.0009528607968284077770333607160115582948754445172092487474936130678991938746880154241541598387161447844"
    },
    {
      "k": "127",
      "number": "-0.0009386492397158004437609786871734938213769801391963474541676169835571025235067427340292124551929423878"
    },
    {
      "k": "128",
      "number": "-0.0009247540763847534431453712341740767460436309000612274280404450832863059600119277865885799038592144281"
    },
    {
      "k": "129",
      "number": "-0.0009111655784202204386072171103376941335111479344885251397969849581953826775648806718149707635330676674"
    },
    {
      "k": "130",
      "number": "-0.0008978743957245582516870423426320706780661801270295539809247005075872887682162451750315850358771319191"
    },
    {
      "k": "131",
      "number": "-0.0008848715399222847726926677781208189207196377330180936303078622551320945625528462586703227077204859639"
    },
    {
      "k": "132",
      "number": "-0.0008721483685373107784005186740175353177209051404005676857022846869645588254775891083994155134429833972"
    },
    {
      "k": "133",
      "number": "-0.0008596965699040273810122999564810240757431680232489970923759328095827021044698915507545911188425216694"
    },
    {
      "k": "134",
      "number": "-0.0008475081487758494108007812664973831876213571279902667681956576123986100579821484608090549024284401801"
    },
    {
      "k": "135",
      "number": "-0.0008355754125968764531931839932805210897868495702954843406604456674156388416316811300183508521440510610"
    },
    {
      "k": "136",
      "number": "-0.0008238909584042512000857555034879915591542160618292961826280457114066212865142719525398209812678953273"
    },
    {
      "k": "137",
      "number": "-0.0008124476603305815531471309536663035213588154740377389951393170233791796874505391345399140104135320970"
    },
    {
      "k": "138",
      "number": "-0.0008012386576774596343728208930584071564871883524684593024268332751240433115316841816695971693069092539"
    },
    {
      "k": "139",
      "number": "-0.0007902573435326675283118137093100816914820087588325004266011683211869750488796760652707000453200600683"
    },
    {
      "k": "140",
      "number": "-0.0007794973539051152397759719580220160096763102955361318350069089950972022953437263597334184059368662401"
    },
    {
      "k": "141",
      "number": "-0.0007689525573529191679464254810903239774051364351021688107220616471812859158042719084361144077968177583"
    },
    {
      "k": "142",
      "number": "-0.0007586170450813067602903568026676867220675281600037517565586358892984459989771220725186150511100400842"
    },
    {
      "k": "143",
      "number": "-0.0007484851214882316068515540869333501817952023357705033176065711306945573737433452815235639759430327132"
    },
    {
      "k": "144",
      "number": "-0.0007385512951367091306554183442386260195923602020037921166470338268873213501944371848617168857721183205"
    },
    {
      "k": "145",
      "number": "-0.0007288102701339417253657068485427622222105639571602060276005997801753383556682975543225335877782913136"
    },
    {
      "k": "146",
      "number": "-0.0007192569378982986856576519328105460487586995268541082988077624087302856665756401623629939309507398266"
    },
    {
      "k": "147",
      "number": "-0.0007098863692961551157440702849689892328953806904342994457002924930971746013792476965503210015986151551"
    },
    {
      "k": "148",
      "number": "-0.0007006938071314793277690185821161444822914623398978533146423209007024149850217966188593435014060327864"
    },
    {
      "k": "149",
      "number": "-0.0006916746589718938299915459930612744232099344380821022760691933037174915417090554881827329439610821259"
    },
    {
      "k": "150",
      "number": "-0.0006828244902957243020330148317145093590864503310684860740334887175815603108815734787897660093118993457"
    },
    {
      "k": "151",
      "number": "-0.0006741390179452971124746454018214417512823456964528219180496112843442075947177150435842496999766057657"
    },
    {
      "k": "152",
      "number": "-0.0006656141038724518378302248194849716162406215988759505547247607101444286796954828086583027595938669524"
    },
    {
      "k": "153",
      "number": "-0.0006572457491629035361254606086321752069234246817698633068457424748698978647644568954522160540797636980"
    },
    {
      "k": "154",
      "number": "-0.0006490300883267226407887903717334151223732747396493637432833464154658258215602647605124484685915658010"
    },
    {
      "k": "155",
      "number": "-0.0006409633838428005030668303570021412947008344790446011596118799466280495554001770470262181489347041821"
    },
    {
      "k": "156",
      "number": "-0.0006330420209457378781805214157055687272261428265823712747895953256744496059668208216522391764162522557"
    },
    {
      "k": "157",
      "number": "-0.0006252625026441339158530408391862552271246268260044710227325735659432824867397899863650471817209900651"
    },
    {
      "k": "158",
      "number": "-0.0006176214449597662280679609655719354013161841268982873471182107252134290627262834943159282245611065523"
    },
    {
      "k": "159",
      "number": "-0.0006101155723776399823095409538567539880354058555556870551274953608956393024632290981889054235883896895"
    },
    {
      "k": "160",
      "number": "-0.0006027417134973472034881794222148134890162549950780124114022511453091137117110609114303181275016541342"
    },
    {
      "k": "161",
      "number": "-0.0005954967968766179495412641935970674958760980487811096434714541993756628424268588960217953048953273519"
    },
    {
      "k": "162",
      "number": "-0.0005883778470583640422329346908955227888659485231881014941382382782802262152106492179319991994639826594"
    },
    {
      "k": "163",
      "number": "-0.0005813819807729147832574607038872451250286176231901692174119299693679948321633156073147997015406134876"
    },
    {
      "k": "164",
      "number": "-0.0005745064033075236809543952955369903698532763731574004839838528032255167826904937003992051119674601542"
    },
    {
      "k": "165",
      "number": "-0.0005677484050355866937113497805357236758925902093962118802585915769752438927571356513148895403781203926"
    },
    {
      "k": "166",
      "number": "-0.0005611053580983568321648649866560064054990683336433297824882797027666832031318688496296531654640369805"
    },
    {
      "k": "167",
      "number": "-0.0005545747132322680598404544708460907988800762450850739031129361273029542057322547919666407369072684881"
    },
    {
      "k": "168",
      "number": "-0.0005481539967352941388592917760473331560975076739306938735384625619945805778061942953014873198786922044"
    },
    {
      "k": "169",
      "number": "-0.0005418408075660661781741852491223702411691781309393884443422077506858969303275742633850425576758733806"
    },
    {
      "k": "170",
      "number": "-0.0005356328145697569015605585399346360206666392144915694565179961576815720980276696828288951951948641098"
    },
    {
      "k": "171",
      "number": "-0.0005295277538250107608949492657455496457024474578227927374108250709057142467550477891051902689372763304"
    },
    {
      "k": "172",
      "number": "-0.0005235234261064576347465002122137692774229912558266833529591816239838989649553946491733710652154853791"
    },
    {
      "k": "173",
      "number": "-0.0005176176944575945918217870133227818125840607285643718474748652641444032075609109534079758820661021647"
    },
    {
      "k": "174",
      "number": "-0.0005118084818690556462457975588912001586726220709234059796933383742212645392156407391469062339442357242"
    },
    {
      "k": "175",
      "number": "-0.0005060937690575141366239520575885666501382314018930002442554469888722678944165950646990893684531104282"
    },
    {
      "k": "176",
      "number": "-0.0005004715923406768419725747173108396466550526684652962591034702845207872820903322628504635635936218008"
    },
    {
      "k": "177",
      "number": "-0.0004949400416040336948302642454499990936602976778802361052148134486875198804623625200345763014728548473"
    },
    {
      "k": "178",
      "number": "-0.0004894972583552224282967735288271846285942318839391089013162098636925643395378938139792159314973112473"
    },
    {
      "k": "179",
      "number": "-0.0004841414338620541375535992342038593781745797148655636879670354843268340426261458628722287893382110586"
    },
    {
      "k": "180",
      "number": "-0.0004788708073704239624632948844064612642682588101430946319602648817017303401645392749049890697408731655"
    },
    {
      "k": "181",
      "number": "-0.0004736836643985012992033841579450457972496635850106381486576377847842348016587099805187885452978058315"
    },
    {
      "k": "182",
      "number": "-0.0004685783351037564982622642736329775521992161601366784685934373542024719497179401476475972234543568285"
    },
    {
      "k": "183",
      "number": "-0.0004635531927195362571050142012796167607067514437558230864769127283171757907013051010694440333691218228"
    },
    {
      "k": "184",
      "number": "-0.0004586066520580482040847115596056961592961603164526340149727301874731197871510377998167957037548817907"
    },
    {
      "k": "185",
      "number": "-0.0004537371680767568145793827621130796965156590473478292293057263630709273594466014856706080355999169815"
    },
    {
      "k": "186",
      "number": "-0.0004489432345053281039033188062807907077564443462654121690242208854924988308840900906258921098675992211"
    },
    {
      "k": "187",
      "number": "-0.0004442233825303897924092073585377135158058963750486896163897275341137175434365800984395723281649934863"
    },
    {
      "k": "188",
      "number": "-0.0004395761795354971104683949754978942103841432893532546564182366564536547063974384084360544192917690550"
    },
    {
      "k": "189",
      "number": "-0.0004350002278938123655621994543866062520740244739487924110522460283612795493010702399531046634347993834"
    },
    {
      "k": "190",
      "number": "-0.0004304941638111190789181727511166862371962249272361012882964934584987361179560238755045250305858569954"
    },
    {
      "k": "191",
      "number": "-0.0004260566562168991515606623165806502351783156189621192455991725686627863581109821446233887445234086480"
    },
    {
      "k": "192",
      "number": "-0.0004216864057013043647344072502269456121775040925152683520769645335955179455951677008377593941739925921"
    },
    {
      "k": "193",
      "number": "-0.0004173821434959517722615842859707428557019308538102911384061150738742042679963831051672513802788949116"
    },
    {
      "k": "194",
      "number": "-0.0004131426304965664073626538256691280258076888096180112428353444306614484268042325320570431756906316037"
    },
    {
      "k": "195",
      "number": "-0.0004089666563255843991854393553584891628125896438013965989942244863531305695361242029826855316184794494"
    },
    {
      "k": "196",
      "number": "-0.0004048530384329152611297839430444552781767063959615309338568310503938610382588213559132665646511142704"
    },
    {
      "k": "197",
      "number": "-0.0004008006212331439518784538454511775469953737789244489744802275680088917707669379561615968383551772847"
    },
    {
      "k": "198",
      "number": "-0.0003968082752775314905970227770642205042728791905240553680623575134016931927645161028763827222952138627"
    },
    {
      "k": "199",
      "number": "-0.0003928748964592475920950613814144771531123813053019607006608949676402817618844598378527013226402427000"
    },
    {
      "k": "200",
      "number": "-0.0003889994052503401305769881928454079834778057608545254584755502769076128844323448243412536572327292172"
    },
    {
      "k": "201",
      "number": "-0.0003851807459690143897198366955498343569642151934152531690503801347147379614725745109839405098513034839"
    },
    {
      "k": "202",
      "number": "-0.0003814178860758601533376722920577402643516815352246059491804453917645326885605600843121636903050160046"
    },
    {
      "k": "203",
      "number": "-0.0003777098154977268696611197183096664200628973783287419343933680292397034973404076658463804455227664727"
    },
    {
      "k": "204",
      "number": "-0.0003740555459780065120999730139385029487790586013737350367723478556596464671038797514235041336994865398"
    },
    {
      "k": "205",
      "number": "-0.0003704541104521404833669834252703817943817564378017730247029259082221761192709108276301515417521552445"
    },
    {
      "k": "206",
      "number": "-0.0003669045624472210856648284126080172898798209234468356084790793130145314878795404335259104291197624823"
    },
    {
      "k": "207",
      "number": "-0.0003634059755046098197162094664589593068465960189211284241684998505619325374605885596902270683883208538"
    },
    {
      "k": "208",
      "number": "-0.0003599574426245441872267008799638160848440219524990334849195987319946202396260966093239363305309488727"
    },
    {
      "k": "209",
      "number": "-0.0003565580757317518576543715920611370207780429726137077923305827230082764660790113528483026091183737959"
    },
    {
      "k": "210",
      "number": "-0.0003532070051611361191437872416577368283216894920047903047351424229803010532839827439208371169581625013"
    },
    {
      "k": "211",
      "number": "-0.0003499033791626395590758898892616969586183992219226069145045843364553009717199938368959380857226011562"
    },
    {
      "k": "212",
      "number": "-0.0003466463634244340016821382687181193397014293378895981264630563715729586639030389313585765260032030326"
    },
    {
      "k": "213",
      "number": "-0.0003434351406136239544306760619630299890339529020787405945307891781472243883318218971082414743728401115"
    },
    {
      "k": "214",
      "number": "-0.0003402689099336882635166544912073251084574010597158349142901848745099926806131075726091455639161434570"
    },
    {
      "k": "215",
      "number": "-0.0003371468866979204302912147294041250828099234816294631480841421961513511070943869094952004964578762895"
    },
    {
      "k": "216",
      "number": "-0.0003340683019181621699271899873311035753972422676280341230228630090288812296942125519745067624093728798"
    },
    {
      "k": "217",
      "number": "-0.0003310324019081573728495107035886465942524652575045537977159471171966657577295524264109988823850214493"
    },
    {
      "k": "218",
      "number": "-0.0003280384479008847271265709058932546033634501934650351177794339681521015583462883212204157754232977106"
    },
    {
      "k": "219",
      "number": "-0.0003250857156792569418021696811306806209538322004957997996713292388272478783414813971193863247854066061"
    },
    {
      "k": "220",
      "number": "-0.0003221734952196028398590968099056450140566102445776285434635620642505144481476965748403914927827808098"
    },
    {
      "k": "221",
      "number": "-0.0003193010903473756252197527969867245251528436103840722954090690151769356672756546648384439381018712793"
    },
    {
      "k": "222",
      "number": "-0.0003164678184045564283625981050000137884273165519572385509981608575975792619067207430216019658778748537"
    },
    {
      "k": "223",
      "number": "-0.0003136730099282468547176234855560969235517310930772988985925557183381883214825812634659723708036650422"
    },
    {
      "k": "224",
      "number": "-0.0003109160083399677515560840222849024202811507066212814104621026917563287206336191984278754595890295833"
    },
    {
      "k": "225",
      "number": "-0.0003081961696452038228749981969774097886636379795773877994770104776176376832855208444114257256701322869"
    },
    {
      "k": "226",
      "number": "-0.0003055128621427551058692954793731524044110832587796561498843330444753481620614993079062240189619686607"
    },
    {
      "k": "227",
      "number": "-0.0003028654661434767229613038862205020028135452484810050562029373629789321684419012155806630308307400197"
    },
    {
      "k": "228",
      "number": "-0.0003002533736980077839899919825330436566324853937824894125410887110807185451731587309684086300388748652"
    },
    {
      "k": "229",
      "number": "-0.0002976759883331088761034737651025262178537141375537827244421275519246359872817054484261055967758534572"
    },
    {
      "k": "230",
      "number": "-0.0002951327247962452843641234253255993763368441066861880253132790338942165715603883672246529989782843932"
    },
    {
      "k": "231",
      "number": "-0.0002926230088080699725258263669876887196768415091943209795581660785559073745736615891865621756454083376"
    },
    {
      "k": "232",
      "number": "-0.0002901462768224764576560617957168047118969171294390256003489230287688551646963409514695704155617797928"
    },
    {
      "k": "233",
      "number": "-0.0002877019757939070694218892142503235221228054368200324906332643855246961991248371117404557356508506097"
    },
    {
      "k": "234",
      "number": "-0.0002852895629516167285696425754347515458665206327586375556889740546594784355692264619604885113917718951"
    },
    {
      "k": "235",
      "number": "-0.0002829085055806063415616398774354080545101505001430668316732577924942986244954108847101595696151380036"
    },
    {
      "k": "236",
      "number": "-0.0002805582808089532202386505079410814434832358227707356724745656712416968202152258709139564307498205853"
    },
    {
      "k": "237",
      "number": "-0.0002782383754012786261548471727741262512413441482693526208248441694812082457467564621633846789558756076"
    },
    {
      "k": "238",
      "number": "-0.0002759482855581046369926849822378732075849800509323045934413683440751496910390505032971189665872541812"
    },
    {
      "k": "239",
      "number": "-0.0002736875167208640640839358178551210998262235704545182026030838120853142447136997980941390226934650003"
    },
    {
      "k": "240",
      "number": "-0.0002714555833823381412336605863758314322060544174372564244647430708368087902094786429383273085377836285"
    },
    {
      "k": "241",
      "number": "-0.0002692520089023071803292017988003714278142382662004571782289808926308746991763844520790694926670280090"
    },
    {
      "k": "242",
      "number": "-0.0002670763253282093720973092577483015515584138876423198495299831555699728072146721530691416866600521263"
    },
    {
      "k": "243",
      "number": "-0.0002649280732206124232949087722717488914360666301465233247761556511137741942108249016153938600897348190"
    },
    {
      "k": "244",
      "number": "-0.0002628068014833117860377199496134302874400279452745901609346271383918468263641611759897998054727773762"
    },
    {
      "k": "245",
      "number": "-0.0002607120671978778713928869174771442504679009113809501448109743170112699329220322390370094508503106751"
    },
    {
      "k": "246",
      "number": "-0.0002586434354624828673869058923722302277285008807812605872950980310076167548856906537970927280131587786"
    },
    {
      "k": "247",
      "number": "-0.0002566004792348456199404139275485967992417613441992970133197234741192717520635517062969167998822691615"
    },
    {
      "k": "248",
      "number": "-0.0002545827791791405018384269799089764289760268672106546176701221634077175654657058931446096564591024266"
    },
    {
      "k": "249",
      "number": "-0.0002525899235167233067854379958136972316079699195323554951953370563137872991409368636279051947513013356"
    },
    {
      "k": "250",
      "number": "-0.0002506215078805339792262910003179888990619573937960014056529948375202021478827220231521173336512815820"
    },
    {
      "k": "251",
      "number": "-0.0002486771351730424415555386634309935260379281977708633758493949442863168585060218253309625766772102690"
    },
    {
      "k": "252",
      "number": "-0.0002467564154276099235138798692787391708880531454215490585859866788973896583708360205360011309989672211"
    },
    {
      "k": "253",
      "number": "-0.0002448589656731440482384255077323282099483299948911260710914927147791658035805999309178083453766141517"
    },
    {
      "k": "254",
      "number": "-0.0002429844098019314992153345028501694589059032725085789079023087635461465076998865320889522334648316641"
    },
    {
      "k": "255",
      "number": "-0.0002411323784405373952910221270935809923780904426846696794988295277089530632382557585977597791916477637"
    },
    {
      "k": "256",
      "number": "-0.0002393025088236655493611900775631511967911467448350320151249535273613963538607937510228905485002552559"
    }
  ],
  "elapsed_seconds": 1.55
}