gammaTable.h

/* Copyright 2013 Jorge Merlino

   This file is part of Context.

   Context is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   Context is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with Context.  If not, see <http://www.gnu.org/licenses/>.
*/
 
#ifndef GAMMA_TABLE_H
#define GAMMA_TABLE_H

/** Size of the lookup tables. */
#define TBL_SIZE 2000

/** logGammaTbl[i] = ln(gamma(i+2)). */
double logGammaTbl[TBL_SIZE]={
0.000000000000000e+00,
6.931471805599464e-01,
1.791759469228057e+00,
3.178053830347947e+00,
4.787491742782048e+00,
6.579251212010101e+00,
8.525161361065418e+00,
1.060460290274525e+01,
1.280182748008147e+01,
1.510441257307551e+01,
1.750230784587389e+01,
1.998721449566188e+01,
2.255216385312342e+01,
2.519122118273868e+01,
2.789927138384089e+01,
3.067186010608068e+01,
3.350507345013690e+01,
3.639544520803306e+01,
3.933988418719949e+01,
4.233561646075349e+01,
4.538013889847691e+01,
4.847118135183523e+01,
5.160667556776437e+01,
5.478472939811231e+01,
5.800360522298052e+01,
6.126170176100200e+01,
6.455753862700634e+01,
6.788974313718154e+01,
7.125703896716801e+01,
7.465823634883016e+01,
7.809222355331531e+01,
8.155795945611503e+01,
8.505446701758150e+01,
8.858082754219768e+01,
9.213617560368709e+01,
9.571969454214319e+01,
9.933061245478741e+01,
1.029681986145138e+02,
1.066317602606434e+02,
1.103206397147574e+02,
1.140342117814617e+02,
1.177718813997451e+02,
1.215330815154386e+02,
1.253172711493569e+02,
1.291239336391272e+02,
1.329525750356163e+02,
1.368027226373264e+02,
1.406739236482343e+02,
1.445657439463449e+02,
1.484777669517730e+02,
1.524095925844973e+02,
1.563608363030787e+02,
1.603311282166309e+02,
1.643201122631951e+02,
1.683274454484276e+02,
1.723527971391628e+02,
1.763958484069973e+02,
1.804562914175438e+02,
1.845338288614495e+02,
1.886281734236715e+02,
1.927390472878449e+02,
1.968661816728900e+02,
2.010093163992815e+02,
2.051681994826412e+02,
2.093425867525368e+02,
2.135322414945632e+02,
2.177369341139542e+02,
2.219564418191303e+02,
2.261905483237276e+02,
2.304390435657769e+02,
2.347017234428182e+02,
2.389783895618343e+02,
2.432688490029827e+02,
2.475729140961868e+02,
2.518904022097232e+02,
2.562211355500095e+02,
2.605649409718632e+02,
2.649216497985528e+02,
2.692910976510198e+02,
2.736731242856936e+02,
2.780675734403661e+02,
2.824742926876303e+02,
2.868931332954269e+02,
2.913239500942702e+02,
2.957666013507605e+02,
3.002209486470141e+02,
3.046868567656687e+02,
3.091641935801468e+02,
3.136528299498790e+02,
3.181526396202093e+02,
3.226634991267261e+02,
3.271852877037752e+02,
3.317178871969284e+02,
3.362611819791985e+02,
3.408150588707990e+02,
3.453794070622668e+02,
3.499541180407702e+02,
3.545390855194407e+02,
3.591342053695753e+02,
3.637393755555634e+02,
3.683544960724047e+02,
3.729794688856890e+02,
3.776141978739186e+02,
3.822585887730600e+02,
3.869125491232175e+02,
3.915759882173296e+02,
3.962488170517914e+02,
4.009309482789157e+02,
4.056222961611448e+02,
4.103227765269373e+02,
4.150323067282496e+02,
4.197508055995447e+02,
4.244781934182570e+02,
4.292143918666515e+02,
4.339593239950148e+02,
4.387129141861211e+02,
4.434750881209189e+02,
4.482457727453846e+02,
4.530248962384961e+02,
4.578123879812781e+02,
4.626081785268749e+02,
4.674121995716081e+02,
4.722243839269805e+02,
4.770446654925855e+02,
4.818729792298878e+02,
4.867092611368393e+02,
4.915534482232979e+02,
4.964054784872176e+02,
5.012652908915792e+02,
5.061328253420348e+02,
5.110080226652360e+02,
5.158908245878223e+02,
5.207811737160440e+02,
5.256790135159951e+02,
5.305842882944335e+02,
5.354969431801694e+02,
5.404169241059975e+02,
5.453441777911548e+02,
5.502786517242854e+02,
5.552202941468948e+02,
5.601690540372730e+02,
5.651248810948742e+02,
5.700877257251342e+02,
5.750575390247100e+02,
5.800342727671307e+02,
5.850178793888390e+02,
5.900083119756177e+02,
5.950055242493818e+02,
6.000094705553274e+02,
6.050201058494235e+02,
6.100373856862385e+02,
6.150612662070848e+02,
6.200917041284772e+02,
6.251286567308908e+02,
6.301720818478100e+02,
6.352219378550597e+02,
6.402781836604079e+02,
6.453407786934349e+02,
6.504096828956551e+02,
6.554848567108889e+02,
6.605662610758734e+02,
6.656538574111057e+02,
6.707476076119126e+02,
6.758474740397369e+02,
6.809534195136374e+02,
6.860654073019939e+02,
6.911834011144106e+02,
6.963073650938139e+02,
7.014372638087369e+02,
7.065730622457872e+02,
7.117147258022900e+02,
7.168622202791034e+02,
7.220155118736012e+02,
7.271745671728156e+02,
7.323393531467392e+02,
7.375098371417774e+02,
7.426859868743512e+02,
7.478677704246431e+02,
7.530551562304840e+02,
7.582481130813742e+02,
7.634466101126400e+02,
7.686506167997169e+02,
7.738601029525582e+02,
7.790750387101672e+02,
7.842953945352457e+02,
7.895211412089589e+02,
7.947522498258134e+02,
7.999886917886432e+02,
8.052304388037029e+02,
8.104774628758634e+02,
8.157297363039100e+02,
8.209872316759379e+02,
8.262499218648427e+02,
8.315177800239061e+02,
8.367907795824699e+02,
8.420688942417004e+02,
8.473520979704383e+02,
8.526403650011330e+02,
8.579336698258575e+02,
8.632319871924054e+02,
8.685352921004645e+02,
8.738435597978655e+02,
8.791567657769075e+02,
8.844748857707517e+02,
8.897978957498901e+02,
8.951257719186797e+02,
9.004584907119450e+02,
9.057960287916464e+02,
9.111383630436111e+02,
9.164854705743286e+02,
9.218373287078045e+02,
9.271939149824766e+02,
9.325552071481861e+02,
9.379211831632080e+02,
9.432918211913355e+02,
9.486670995990198e+02,
9.540469969525602e+02,
9.594314920153494e+02,
9.648205637451658e+02,
9.702141912915181e+02,
9.756123539930360e+02,
9.810150313749083e+02,
9.864222031463682e+02,
9.918338491982233e+02,
9.972499496004280e+02,
1.002670484599700e+03,
1.008095434617181e+03,
1.013524780246136e+03,
1.018958502249690e+03,
1.024396581558613e+03,
1.029838999269135e+03,
1.035285736640802e+03,
1.040736775094367e+03,
1.046192096209725e+03,
1.051651681723869e+03,
1.057115513528895e+03,
1.062583573670030e+03,
1.068055844343701e+03,
1.073532307895633e+03,
1.079012946818975e+03,
1.084497743752465e+03,
1.089986681478622e+03,
1.095479742921962e+03,
1.100976911147256e+03,
1.106478169357801e+03,
1.111983500893733e+03,
1.117492889230361e+03,
1.123006317976526e+03,
1.128523770872991e+03,
1.134045231790853e+03,
1.139570684729985e+03,
1.145100113817496e+03,
1.150633503306223e+03,
1.156170837573242e+03,
1.161712101118401e+03,
1.167257278562880e+03,
1.172806354647775e+03,
1.178359314232697e+03,
1.183916142294397e+03,
1.189476823925412e+03,
1.195041344332735e+03,
1.200609688836496e+03,
1.206181842868674e+03,
1.211757791971820e+03,
1.217337521797806e+03,
1.222921018106588e+03,
1.228508266764988e+03,
1.234099253745499e+03,
1.239693965125101e+03,
1.245292387084099e+03,
1.250894505904979e+03,
1.256500307971275e+03,
1.262109779766460e+03,
1.267722907872848e+03,
1.273339678970515e+03,
1.278960079836232e+03,
1.284584097342419e+03,
1.290211718456110e+03,
1.295842930237931e+03,
1.301477719841100e+03,
1.307116074510434e+03,
1.312757981581372e+03,
1.318403428479015e+03,
1.324052402717176e+03,
1.329704891897445e+03,
1.335360883708265e+03,
1.341020365924025e+03,
1.346683326404160e+03,
1.352349753092273e+03,
1.358019634015254e+03,
1.363692957282425e+03,
1.369369711084693e+03,
1.375049883693710e+03,
1.380733463461049e+03,
1.386420438817389e+03,
1.392110798271713e+03,
1.397804530410516e+03,
1.403501623897021e+03,
1.409202067470412e+03,
1.414905849945068e+03,
1.420612960209817e+03,
1.426323387227192e+03,
1.432037120032701e+03,
1.437754147734107e+03,
1.443474459510715e+03,
1.449198044612667e+03,
1.454924892360254e+03,
1.460654992143228e+03,
1.466388333420125e+03,
1.472124905717605e+03,
1.477864698629784e+03,
1.483607701817593e+03,
1.489353905008134e+03,
1.495103297994042e+03,
1.500855870632867e+03,
1.506611612846455e+03,
1.512370514620332e+03,
1.518132566003112e+03,
1.523897757105897e+03,
1.529666078101690e+03,
1.535437519224821e+03,
1.541212070770365e+03,
1.546989723093588e+03,
1.552770466609380e+03,
1.558554291791710e+03,
1.564341189173076e+03,
1.570131149343974e+03,
1.575924162952358e+03,
1.581720220703123e+03,
1.587519313357584e+03,
1.593321431732960e+03,
1.599126566701877e+03,
1.604934709191858e+03,
1.610745850184834e+03,
1.616559980716659e+03,
1.622377091876622e+03,
1.628197174806975e+03,
1.634020220702458e+03,
1.639846220809838e+03,
1.645675166427448e+03,
1.651507048904732e+03,
1.657341859641795e+03,
1.663179590088961e+03,
1.669020231746334e+03,
1.674863776163365e+03,
1.680710214938423e+03,
1.686559539718370e+03,
1.692411742198144e+03,
1.698266814120347e+03,
1.704124747274830e+03,
1.709985533498296e+03,
1.715849164673894e+03,
1.721715632730828e+03,
1.727584929643961e+03,
1.733457047433437e+03,
1.739331978164289e+03,
1.745209713946068e+03,
1.751090246932469e+03,
1.756973569320957e+03,
1.762859673352408e+03,
1.768748551310740e+03,
1.774640195522566e+03,
1.780534598356831e+03,
1.786431752224468e+03,
1.792331649578050e+03,
1.798234282911452e+03,
1.804139644759506e+03,
1.810047727697675e+03,
1.815958524341716e+03,
1.821872027347354e+03,
1.827788229409961e+03,
1.833707123264234e+03,
1.839628701683878e+03,
1.845552957481293e+03,
1.851479883507263e+03,
1.857409472650653e+03,
1.863341717838101e+03,
1.869276612033721e+03,
1.875214148238803e+03,
1.881154319491524e+03,
1.887097118866650e+03,
1.893042539475257e+03,
1.898990574464438e+03,
1.904941217017025e+03,
1.910894460351313e+03,
1.916850297720778e+03,
1.922808722413808e+03,
1.928769727753431e+03,
1.934733307097049e+03,
1.940699453836173e+03,
1.946668161396159e+03,
1.952639423235949e+03,
1.958613232847818e+03,
1.964589583757116e+03,
1.970568469522017e+03,
1.976549883733272e+03,
1.982533820013959e+03,
1.988520272019243e+03,
1.994509233436133e+03,
2.000500697983241e+03,
2.006494659410548e+03,
2.012491111499167e+03,
2.018490048061114e+03,
2.024491462939075e+03,
2.030495350006181e+03,
2.036501703165783e+03,
2.042510516351226e+03,
2.048521783525630e+03,
2.054535498681673e+03,
2.060551655841371e+03,
2.066570249055867e+03,
2.072591272405217e+03,
2.078614719998177e+03,
2.084640585972003e+03,
2.090668864492234e+03,
2.096699549752495e+03,
2.102732635974294e+03,
2.108768117406819e+03,
2.114805988326741e+03,
2.120846243038018e+03,
2.126888875871700e+03,
2.132933881185737e+03,
2.138981253364782e+03,
2.145030986820014e+03,
2.151083075988939e+03,
2.157137515335208e+03,
2.163194299348437e+03,
2.169253422544019e+03,
2.175314879462947e+03,
2.181378664671634e+03,
2.187444772761738e+03,
2.193513198349982e+03,
2.199583936077985e+03,
2.205656980612086e+03,
2.211732326643174e+03,
2.217809968886523e+03,
2.223889902081618e+03,
2.229972120991995e+03,
2.236056620405070e+03,
2.242143395131983e+03,
2.248232440007429e+03,
2.254323749889507e+03,
2.260417319659552e+03,
2.266513144221984e+03,
2.272611218504151e+03,
2.278711537456171e+03,
2.284814096050784e+03,
2.290918889283199e+03,
2.297025912170941e+03,
2.303135159753705e+03,
2.309246627093208e+03,
2.315360309273040e+03,
2.321476201398524e+03,
2.327594298596565e+03,
2.333714596015516e+03,
2.339837088825030e+03,
2.345961772215925e+03,
2.352088641400039e+03,
2.358217691610099e+03,
2.364348918099583e+03,
2.370482316142579e+03,
2.376617881033661e+03,
2.382755608087748e+03,
2.388895492639973e+03,
2.395037530045561e+03,
2.401181715679686e+03,
2.407328044937355e+03,
2.413476513233273e+03,
2.419627116001720e+03,
2.425779848696423e+03,
2.431934706790440e+03,
2.438091685776025e+03,
2.444250781164517e+03,
2.450411988486212e+03,
2.456575303290247e+03,
2.462740721144478e+03,
2.468908237635367e+03,
2.475077848367858e+03,
2.481249548965269e+03,
2.487423335069171e+03,
2.493599202339277e+03,
2.499777146453327e+03,
2.505957163106980e+03,
2.512139248013696e+03,
2.518323396904634e+03,
2.524509605528535e+03,
2.530697869651618e+03,
2.536888185057471e+03,
2.543080547546946e+03,
2.549274952938050e+03,
2.555471397065844e+03,
2.561669875782337e+03,
2.567870384956379e+03,
2.574072920473568e+03,
2.580277478236136e+03,
2.586484054162861e+03,
2.592692644188958e+03,
2.598903244265982e+03,
2.605115850361733e+03,
2.611330458460156e+03,
2.617547064561240e+03,
2.623765664680932e+03,
2.629986254851032e+03,
2.636208831119104e+03,
2.642433389548379e+03,
2.648659926217666e+03,
2.654888437221257e+03,
2.661118918668837e+03,
2.667351366685387e+03,
2.673585777411105e+03,
2.679822147001309e+03,
2.686060471626348e+03,
2.692300747471519e+03,
2.698542970736974e+03,
2.704787137637638e+03,
2.711033244403120e+03,
2.717281287277628e+03,
2.723531262519888e+03,
2.729783166403053e+03,
2.736036995214629e+03,
2.742292745256382e+03,
2.748550412844264e+03,
2.754809994308330e+03,
2.761071485992650e+03,
2.767334884255242e+03,
2.773600185467980e+03,
2.779867386016521e+03,
2.786136482300228e+03,
2.792407470732086e+03,
2.798680347738632e+03,
2.804955109759874e+03,
2.811231753249216e+03,
2.817510274673381e+03,
2.823790670512342e+03,
2.830072937259238e+03,
2.836357071420308e+03,
2.842643069514817e+03,
2.848930928074979e+03,
2.855220643645888e+03,
2.861512212785447e+03,
2.867805632064293e+03,
2.874100898065732e+03,
2.880398007385666e+03,
2.886696956632522e+03,
2.892997742427186e+03,
2.899300361402931e+03,
2.905604810205353e+03,
2.911911085492301e+03,
2.918219183933810e+03,
2.924529102212037e+03,
2.930840837021190e+03,
2.937154385067467e+03,
2.943469743068989e+03,
2.949786907755736e+03,
2.956105875869483e+03,
2.962426644163734e+03,
2.968749209403661e+03,
2.975073568366042e+03,
2.981399717839197e+03,
2.987727654622926e+03,
2.994057375528449e+03,
3.000388877378342e+03,
3.006722157006482e+03,
3.013057211257981e+03,
3.019394036989127e+03,
3.025732631067330e+03,
3.032072990371058e+03,
3.038415111789779e+03,
3.044758992223905e+03,
3.051104628584734e+03,
3.057452017794390e+03,
3.063801156785769e+03,
3.070152042502485e+03,
3.076504671898804e+03,
3.082859041939601e+03,
3.089215149600297e+03,
3.095572991866806e+03,
3.101932565735478e+03,
3.108293868213051e+03,
3.114656896316591e+03,
3.121021647073443e+03,
3.127388117521175e+03,
3.133756304707525e+03,
3.140126205690353e+03,
3.146497817537585e+03,
3.152871137327162e+03,
3.159246162146990e+03,
3.165622889094889e+03,
3.172001315278540e+03,
3.178381437815440e+03,
3.184763253832846e+03,
3.191146760467730e+03,
3.197531954866728e+03,
3.203918834186091e+03,
3.210307395591636e+03,
3.216697636258702e+03,
3.223089553372094e+03,
3.229483144126045e+03,
3.235878405724160e+03,
3.242275335379376e+03,
3.248673930313912e+03,
3.255074187759221e+03,
3.261476104955947e+03,
3.267879679153883e+03,
3.274284907611914e+03,
3.280691787597983e+03,
3.287100316389042e+03,
3.293510491271008e+03,
3.299922309538718e+03,
3.306335768495886e+03,
3.312750865455057e+03,
3.319167597737569e+03,
3.325585962673505e+03,
3.332005957601653e+03,
3.338427579869459e+03,
3.344850826832993e+03,
3.351275695856898e+03,
3.357702184314356e+03,
3.364130289587040e+03,
3.370560009065079e+03,
3.376991340147013e+03,
3.383424280239753e+03,
3.389858826758540e+03,
3.396294977126910e+03,
3.402732728776646e+03,
3.409172079147746e+03,
3.415613025688378e+03,
3.422055565854847e+03,
3.428499697111547e+03,
3.434945416930932e+03,
3.441392722793474e+03,
3.447841612187621e+03,
3.454292082609765e+03,
3.460744131564202e+03,
3.467197756563095e+03,
3.473652955126435e+03,
3.480109724782007e+03,
3.486568063065352e+03,
3.493027967519729e+03,
3.499489435696083e+03,
3.505952465153004e+03,
3.512417053456694e+03,
3.518883198180932e+03,
3.525350896907036e+03,
3.531820147223832e+03,
3.538290946727614e+03,
3.544763293022115e+03,
3.551237183718467e+03,
3.557712616435171e+03,
3.564189588798061e+03,
3.570668098440270e+03,
3.577148143002196e+03,
3.583629720131473e+03,
3.590112827482930e+03,
3.596597462718565e+03,
3.603083623507510e+03,
3.609571307525994e+03,
3.616060512457319e+03,
3.622551235991823e+03,
3.629043475826842e+03,
3.635537229666694e+03,
3.642032495222631e+03,
3.648529270212817e+03,
3.655027552362293e+03,
3.661527339402950e+03,
3.668028629073490e+03,
3.674531419119405e+03,
3.681035707292942e+03,
3.687541491353070e+03,
3.694048769065455e+03,
3.700557538202427e+03,
3.707067796542950e+03,
3.713579541872594e+03,
3.720092771983507e+03,
3.726607484674380e+03,
3.733123677750423e+03,
3.739641349023334e+03,
3.746160496311275e+03,
3.752681117438834e+03,
3.759203210237004e+03,
3.765726772543154e+03,
3.772251802200997e+03,
3.778778297060568e+03,
3.785306254978190e+03,
3.791835673816453e+03,
3.798366551444179e+03,
3.804898885736401e+03,
3.811432674574334e+03,
3.817967915845348e+03,
3.824504607442939e+03,
3.831042747266707e+03,
3.837582333222324e+03,
3.844123363221514e+03,
3.850665835182021e+03,
3.857209747027586e+03,
3.863755096687920e+03,
3.870301882098680e+03,
3.876850101201444e+03,
3.883399751943678e+03,
3.889950832278721e+03,
3.896503340165755e+03,
3.903057273569781e+03,
3.909612630461591e+03,
3.916169408817749e+03,
3.922727606620562e+03,
3.929287221858055e+03,
3.935848252523952e+03,
3.942410696617645e+03,
3.948974552144177e+03,
3.955539817114213e+03,
3.962106489544016e+03,
3.968674567455428e+03,
3.975244048875842e+03,
3.981814931838182e+03,
3.988387214380876e+03,
3.994960894547837e+03,
4.001535970388436e+03,
4.008112439957484e+03,
4.014690301315205e+03,
4.021269552527216e+03,
4.027850191664500e+03,
4.034432216803394e+03,
4.041015626025552e+03,
4.047600417417937e+03,
4.054186589072793e+03,
4.060774139087617e+03,
4.067363065565150e+03,
4.073953366613348e+03,
4.080545040345356e+03,
4.087138084879499e+03,
4.093732498339248e+03,
4.100328278853210e+03,
4.106925424555096e+03,
4.113523933583711e+03,
4.120123804082924e+03,
4.126725034201652e+03,
4.133327622093841e+03,
4.139931565918441e+03,
4.146536863839390e+03,
4.153143514025589e+03,
4.159751514650885e+03,
4.166360863894052e+03,
4.172971559938770e+03,
4.179583600973603e+03,
4.186196985191982e+03,
4.192811710792187e+03,
4.199427775977319e+03,
4.206045178955294e+03,
4.212663917938811e+03,
4.219283991145341e+03,
4.225905396797106e+03,
4.232528133121055e+03,
4.239152198348856e+03,
4.245777590716863e+03,
4.252404308466113e+03,
4.259032349842291e+03,
4.265661713095729e+03,
4.272292396481372e+03,
4.278924398258768e+03,
4.285557716692048e+03,
4.292192350049909e+03,
4.298828296605596e+03,
4.305465554636881e+03,
4.312104122426046e+03,
4.318743998259873e+03,
4.325385180429614e+03,
4.332027667230981e+03,
4.338671456964129e+03,
4.345316547933635e+03,
4.351962938448482e+03,
4.358610626822046e+03,
4.365259611372070e+03,
4.371909890420658e+03,
4.378561462294248e+03,
4.385214325323600e+03,
4.391868477843784e+03,
4.398523918194152e+03,
4.405180644718330e+03,
4.411838655764201e+03,
4.418497949683885e+03,
4.425158524833724e+03,
4.431820379574269e+03,
4.438483512270261e+03,
4.445147921290611e+03,
4.451813605008392e+03,
4.458480561800822e+03,
4.465148790049240e+03,
4.471818288139097e+03,
4.478489054459944e+03,
4.485161087405404e+03,
4.491834385373172e+03,
4.498508946764987e+03,
4.505184769986621e+03,
4.511861853447869e+03,
4.518540195562522e+03,
4.525219794748367e+03,
4.531900649427158e+03,
4.538582758024608e+03,
4.545266118970374e+03,
4.551950730698041e+03,
4.558636591645110e+03,
4.565323700252976e+03,
4.572012054966924e+03,
4.578701654236102e+03,
4.585392496513520e+03,
4.592084580256027e+03,
4.598777903924298e+03,
4.605472465982818e+03,
4.612168264899877e+03,
4.618865299147544e+03,
4.625563567201659e+03,
4.632263067541821e+03,
4.638963798651369e+03,
4.645665759017371e+03,
4.652368947130612e+03,
4.659073361485575e+03,
4.665779000580436e+03,
4.672485862917039e+03,
4.679193947000891e+03,
4.685903251341150e+03,
4.692613774450602e+03,
4.699325514845659e+03,
4.706038471046336e+03,
4.712752641576245e+03,
4.719468024962580e+03,
4.726184619736100e+03,
4.732902424431125e+03,
4.739621437585511e+03,
4.746341657740646e+03,
4.753063083441435e+03,
4.759785713236291e+03,
4.766509545677111e+03,
4.773234579319279e+03,
4.779960812721638e+03,
4.786688244446488e+03,
4.793416873059573e+03,
4.800146697130063e+03,
4.806877715230546e+03,
4.813609925937012e+03,
4.820343327828849e+03,
4.827077919488823e+03,
4.833813699503065e+03,
4.840550666461067e+03,
4.847288818955662e+03,
4.854028155583020e+03,
4.860768674942626e+03,
4.867510375637278e+03,
4.874253256273069e+03,
4.880997315459382e+03,
4.887742551808866e+03,
4.894488963937439e+03,
4.901236550464268e+03,
4.907985310011760e+03,
4.914735241205549e+03,
4.921486342674486e+03,
4.928238613050627e+03,
4.934992050969226e+03,
4.941746655068713e+03,
4.948502423990697e+03,
4.955259356379945e+03,
4.962017450884372e+03,
4.968776706155037e+03,
4.975537120846119e+03,
4.982298693614924e+03,
4.989061423121856e+03,
4.995825308030418e+03,
5.002590347007198e+03,
5.009356538721859e+03,
5.016123881847125e+03,
5.022892375058773e+03,
5.029662017035625e+03,
5.036432806459534e+03,
5.043204742015373e+03,
5.049977822391030e+03,
5.056752046277387e+03,
5.063527412368323e+03,
5.070303919360695e+03,
5.077081565954331e+03,
5.083860350852015e+03,
5.090640272759489e+03,
5.097421330385425e+03,
5.104203522441431e+03,
5.110986847642035e+03,
5.117771304704673e+03,
5.124556892349680e+03,
5.131343609300286e+03,
5.138131454282596e+03,
5.144920426025588e+03,
5.151710523261102e+03,
5.158501744723827e+03,
5.165294089151299e+03,
5.172087555283878e+03,
5.178882141864755e+03,
5.185677847639929e+03,
5.192474671358204e+03,
5.199272611771178e+03,
5.206071667633237e+03,
5.212871837701539e+03,
5.219673120736011e+03,
5.226475515499335e+03,
5.233279020756943e+03,
5.240083635277007e+03,
5.246889357830423e+03,
5.253696187190815e+03,
5.260504122134515e+03,
5.267313161440558e+03,
5.274123303890674e+03,
5.280934548269274e+03,
5.287746893363452e+03,
5.294560337962964e+03,
5.301374880860223e+03,
5.308190520850298e+03,
5.315007256730893e+03,
5.321825087302346e+03,
5.328644011367622e+03,
5.335464027732296e+03,
5.342285135204553e+03,
5.349107332595173e+03,
5.355930618717529e+03,
5.362754992387572e+03,
5.369580452423827e+03,
5.376406997647384e+03,
5.383234626881886e+03,
5.390063338953528e+03,
5.396893132691041e+03,
5.403724006925686e+03,
5.410555960491252e+03,
5.417388992224039e+03,
5.424223100962852e+03,
5.431058285549000e+03,
5.437894544826277e+03,
5.444731877640963e+03,
5.451570282841810e+03,
5.458409759280039e+03,
5.465250305809328e+03,
5.472091921285805e+03,
5.478934604568044e+03,
5.485778354517050e+03,
5.492623169996258e+03,
5.499469049871522e+03,
5.506315993011108e+03,
5.513163998285683e+03,
5.520013064568318e+03,
5.526863190734463e+03,
5.533714375661957e+03,
5.540566618231009e+03,
5.547419917324195e+03,
5.554274271826450e+03,
5.561129680625059e+03,
5.567986142609653e+03,
5.574843656672199e+03,
5.581702221706991e+03,
5.588561836610646e+03,
5.595422500282093e+03,
5.602284211622575e+03,
5.609146969535625e+03,
5.616010772927079e+03,
5.622875620705049e+03,
5.629741511779932e+03,
5.636608445064395e+03,
5.643476419473365e+03,
5.650345433924031e+03,
5.657215487335829e+03,
5.664086578630439e+03,
5.670958706731778e+03,
5.677831870565990e+03,
5.684706069061443e+03,
5.691581301148722e+03,
5.698457565760611e+03,
5.705334861832109e+03,
5.712213188300400e+03,
5.719092544104861e+03,
5.725972928187047e+03,
5.732854339490689e+03,
5.739736776961687e+03,
5.746620239548100e+03,
5.753504726200143e+03,
5.760390235870178e+03,
5.767276767512708e+03,
5.774164320084373e+03,
5.781052892543938e+03,
5.787942483852293e+03,
5.794833092972440e+03,
5.801724718869492e+03,
5.808617360510664e+03,
5.815511016865266e+03,
5.822405686904700e+03,
5.829301369602448e+03,
5.836198063934071e+03,
5.843095768877200e+03,
5.849994483411529e+03,
5.856894206518815e+03,
5.863794937182860e+03,
5.870696674389516e+03,
5.877599417126675e+03,
5.884503164384259e+03,
5.891407915154221e+03,
5.898313668430533e+03,
5.905220423209182e+03,
5.912128178488163e+03,
5.919036933267478e+03,
5.925946686549123e+03,
5.932857437337085e+03,
5.939769184637337e+03,
5.946681927457830e+03,
5.953595664808489e+03,
5.960510395701208e+03,
5.967426119149840e+03,
5.974342834170194e+03,
5.981260539780028e+03,
5.988179234999049e+03,
5.995098918848897e+03,
6.002019590353145e+03,
6.008941248537297e+03,
6.015863892428772e+03,
6.022787521056910e+03,
6.029712133452959e+03,
6.036637728650069e+03,
6.043564305683292e+03,
6.050491863589570e+03,
6.057420401407735e+03,
6.064349918178499e+03,
6.071280412944451e+03,
6.078211884750050e+03,
6.085144332641622e+03,
6.092077755667354e+03,
6.099012152877282e+03,
6.105947523323297e+03,
6.112883866059130e+03,
6.119821180140354e+03,
6.126759464624371e+03,
6.133698718570413e+03,
6.140638941039533e+03,
6.147580131094602e+03,
6.154522287800301e+03,
6.161465410223119e+03,
6.168409497431349e+03,
6.175354548495076e+03,
6.182300562486175e+03,
6.189247538478310e+03,
6.196195475546925e+03,
6.203144372769239e+03,
6.210094229224239e+03,
6.217045043992682e+03,
6.223996816157080e+03,
6.230949544801705e+03,
6.237903229012576e+03,
6.244857867877457e+03,
6.251813460485854e+03,
6.258770005929005e+03,
6.265727503299882e+03,
6.272685951693179e+03,
6.279645350205313e+03,
6.286605697934415e+03,
6.293566993980326e+03,
6.300529237444592e+03,
6.307492427430461e+03,
6.314456563042879e+03,
6.321421643388481e+03,
6.328387667575587e+03,
6.335354634714201e+03,
6.342322543916003e+03,
6.349291394294344e+03,
6.356261184964247e+03,
6.363231915042390e+03,
6.370203583647116e+03,
6.377176189898418e+03,
6.384149732917937e+03,
6.391124211828963e+03,
6.398099625756418e+03,
6.405075973826866e+03,
6.412053255168497e+03,
6.419031468911128e+03,
6.426010614186197e+03,
6.432990690126759e+03,
6.439971695867480e+03,
6.446953630544637e+03,
6.453936493296105e+03,
6.460920283261364e+03,
6.467904999581481e+03,
6.474890641399121e+03,
6.481877207858527e+03,
6.488864698105529e+03,
6.495853111287527e+03,
6.502842446553503e+03,
6.509832703053997e+03,
6.516823879941118e+03,
6.523815976368533e+03,
6.530808991491466e+03,
6.537802924466690e+03,
6.544797774452523e+03,
6.551793540608827e+03,
6.558790222097005e+03,
6.565787818079986e+03,
6.572786327722237e+03,
6.579785750189745e+03,
6.586786084650020e+03,
6.593787330272089e+03,
6.600789486226494e+03,
6.607792551685280e+03,
6.614796525822002e+03,
6.621801407811714e+03,
6.628807196830969e+03,
6.635813892057806e+03,
6.642821492671757e+03,
6.649829997853840e+03,
6.656839406786549e+03,
6.663849718653855e+03,
6.670860932641206e+03,
6.677873047935513e+03,
6.684886063725153e+03,
6.691899979199962e+03,
6.698914793551238e+03,
6.705930505971725e+03,
6.712947115655620e+03,
6.719964621798561e+03,
6.726983023597630e+03,
6.734002320251346e+03,
6.741022510959657e+03,
6.748043594923946e+03,
6.755065571347019e+03,
6.762088439433101e+03,
6.769112198387839e+03,
6.776136847418293e+03,
6.783162385732932e+03,
6.790188812541632e+03,
6.797216127055672e+03,
6.804244328487729e+03,
6.811273416051878e+03,
6.818303388963584e+03,
6.825334246439701e+03,
6.832365987698464e+03,
6.839398611959493e+03,
6.846432118443780e+03,
6.853466506373696e+03,
6.860501774972977e+03,
6.867537923466728e+03,
6.874574951081413e+03,
6.881612857044860e+03,
6.888651640586249e+03,
6.895691300936111e+03,
6.902731837326327e+03,
6.909773248990122e+03,
6.916815535162062e+03,
6.923858695078050e+03,
6.930902727975325e+03,
6.937947633092454e+03,
6.944993409669334e+03,
6.952040056947182e+03,
6.959087574168540e+03,
6.966135960577261e+03,
6.973185215418516e+03,
6.980235337938787e+03,
6.987286327385854e+03,
6.994338183008809e+03,
7.001390904058043e+03,
7.008444489785236e+03,
7.015498939443370e+03,
7.022554252286708e+03,
7.029610427570809e+03,
7.036667464552507e+03,
7.043725362489919e+03,
7.050784120642438e+03,
7.057843738270730e+03,
7.064904214636728e+03,
7.071965549003639e+03,
7.079027740635926e+03,
7.086090788799314e+03,
7.093154692760786e+03,
7.100219451788578e+03,
7.107285065152177e+03,
7.114351532122313e+03,
7.121418851970967e+03,
7.128487023971354e+03,
7.135556047397932e+03,
7.142625921526391e+03,
7.149696645633651e+03,
7.156768218997863e+03,
7.163840640898400e+03,
7.170913910615860e+03,
7.177988027432058e+03,
7.185062990630024e+03,
7.192138799494001e+03,
7.199215453309446e+03,
7.206292951363015e+03,
7.213371292942573e+03,
7.220450477337183e+03,
7.227530503837105e+03,
7.234611371733796e+03,
7.241693080319901e+03,
7.248775628889257e+03,
7.255859016736882e+03,
7.262943243158980e+03,
7.270028307452932e+03,
7.277114208917298e+03,
7.284200946851808e+03,
7.291288520557367e+03,
7.298376929336043e+03,
7.305466172491070e+03,
7.312556249326845e+03,
7.319647159148925e+03,
7.326738901264021e+03,
7.333831474979996e+03,
7.340924879605865e+03,
7.348019114451788e+03,
7.355114178829075e+03,
7.362210072050174e+03,
7.369306793428667e+03,
7.376404342279284e+03,
7.383502717917873e+03,
7.390601919661427e+03,
7.397701946828055e+03,
7.404802798737001e+03,
7.411904474708619e+03,
7.419006974064395e+03,
7.426110296126920e+03,
7.433214440219907e+03,
7.440319405668178e+03,
7.447425191797659e+03,
7.454531797935386e+03,
7.461639223409496e+03,
7.468747467549229e+03,
7.475856529684916e+03,
7.482966409147987e+03,
7.490077105270967e+03,
7.497188617387463e+03,
7.504300944832175e+03,
7.511414086940881e+03,
7.518528043050448e+03,
7.525642812498813e+03,
7.532758394624999e+03,
7.539874788769092e+03,
7.546991994272256e+03,
7.554110010476721e+03,
7.561228836725783e+03,
7.568348472363801e+03,
7.575468916736194e+03,
7.582590169189438e+03,
7.589712229071067e+03,
7.596835095729666e+03,
7.603958768514871e+03,
7.611083246777363e+03,
7.618208529868874e+03,
7.625334617142174e+03,
7.632461507951072e+03,
7.639589201650419e+03,
7.646717697596100e+03,
7.653846995145030e+03,
7.660977093655154e+03,
7.668107992485451e+03,
7.675239690995918e+03,
7.682372188547579e+03,
7.689505484502473e+03,
7.696639578223668e+03,
7.703774469075234e+03,
7.710910156422261e+03,
7.718046639630852e+03,
7.725183918068112e+03,
7.732321991102157e+03,
7.739460858102102e+03,
7.746600518438067e+03,
7.753740971481168e+03,
7.760882216603518e+03,
7.768024253178226e+03,
7.775167080579386e+03,
7.782310698182090e+03,
7.789455105362412e+03,
7.796600301497409e+03,
7.803746285965123e+03,
7.810893058144577e+03,
7.818040617415765e+03,
7.825188963159667e+03,
7.832338094758224e+03,
7.839488011594355e+03,
7.846638713051947e+03,
7.853790198515852e+03,
7.860942467371886e+03,
7.868095519006823e+03,
7.875249352808402e+03,
7.882403968165315e+03,
7.889559364467212e+03,
7.896715541104692e+03,
7.903872497469308e+03,
7.911030232953558e+03,
7.918188746950887e+03,
7.925348038855685e+03,
7.932508108063281e+03,
7.939668953969946e+03,
7.946830575972885e+03,
7.953992973470240e+03,
7.961156145861087e+03,
7.968320092545430e+03,
7.975484812924201e+03,
7.982650306399262e+03,
7.989816572373396e+03,
7.996983610250309e+03,
8.004151419434625e+03,
8.011319999331889e+03,
8.018489349348560e+03,
8.025659468892009e+03,
8.032830357370521e+03,
8.040002014193290e+03,
8.047174438770415e+03,
8.054347630512902e+03,
8.061521588832657e+03,
8.068696313142495e+03,
8.075871802856119e+03,
8.083048057388136e+03,
8.090225076154045e+03,
8.097402858570241e+03,
8.104581404054004e+03,
8.111760712023509e+03,
8.118940781897812e+03,
8.126121613096856e+03,
8.133303205041468e+03,
8.140485557153354e+03,
8.147668668855096e+03,
8.154852539570158e+03,
8.162037168722876e+03,
8.169222555738457e+03,
8.176408700042979e+03,
8.183595601063391e+03,
8.190783258227505e+03,
8.197971670964003e+03,
8.205160838702423e+03,
8.212350760873169e+03,
8.219541436907502e+03,
8.226732866237537e+03,
8.233925048296251e+03,
8.241117982517466e+03,
8.248311668335862e+03,
8.255506105186962e+03,
8.262701292507141e+03,
8.269897229733615e+03,
8.277093916304450e+03,
8.284291351658549e+03,
8.291489535235649e+03,
8.298688466476337e+03,
8.305888144822027e+03,
8.313088569714975e+03,
8.320289740598255e+03,
8.327491656915785e+03,
8.334694318112310e+03,
8.341897723633394e+03,
8.349101872925428e+03,
8.356306765435633e+03,
8.363512400612044e+03,
8.370718777903516e+03,
8.377925896759723e+03,
8.385133756631156e+03,
8.392342356969115e+03,
8.399551697225719e+03,
8.406761776853889e+03,
8.413972595307361e+03,
8.421184152040676e+03,
8.428396446509178e+03,
8.435609478169012e+03,
8.442823246477130e+03,
8.450037750891281e+03,
8.457252990870013e+03,
8.464468965872662e+03,
8.471685675359371e+03,
8.478903118791070e+03,
8.486121295629473e+03,
8.493340205337092e+03,
8.500559847377222e+03,
8.507780221213947e+03,
8.515001326312127e+03,
8.522223162137418e+03,
8.529445728156239e+03,
8.536669023835802e+03,
8.543893048644088e+03,
8.551117802049856e+03,
8.558343283522638e+03,
8.565569492532739e+03,
8.572796428551230e+03,
8.580024091049958e+03,
8.587252479501532e+03,
8.594481593379325e+03,
8.601711432157477e+03,
8.608941995310886e+03,
8.616173282315214e+03,
8.623405292646879e+03,
8.630638025783059e+03,
8.637871481201679e+03,
8.645105658381430e+03,
8.652340556801744e+03,
8.659576175942810e+03,
8.666812515285565e+03,
8.674049574311690e+03,
8.681287352503614e+03,
8.688525849344507e+03,
8.695765064318288e+03,
8.703004996909607e+03,
8.710245646603862e+03,
8.717487012887184e+03,
8.724729095246443e+03,
8.731971893169237e+03,
8.739215406143901e+03,
8.746459633659506e+03,
8.753704575205842e+03,
8.760950230273436e+03,
8.768196598353539e+03,
8.775443678938123e+03,
8.782691471519893e+03,
8.789939975592262e+03,
8.797189190649378e+03,
8.804439116186095e+03,
8.811689751697993e+03,
8.818941096681367e+03,
8.826193150633218e+03,
8.833445913051273e+03,
8.840699383433957e+03,
8.847953561280414e+03,
8.855208446090490e+03,
8.862464037364743e+03,
8.869720334604435e+03,
8.876977337311528e+03,
8.884235044988687e+03,
8.891493457139282e+03,
8.898752573267378e+03,
8.906012392877741e+03,
8.913272915475833e+03,
8.920534140567805e+03,
8.927796067660507e+03,
8.935058696261480e+03,
8.942322025878957e+03,
8.949586056021859e+03,
8.956850786199788e+03,
8.964116215923041e+03,
8.971382344702599e+03,
8.978649172050120e+03,
8.985916697477945e+03,
8.993184920499107e+03,
9.000453840627300e+03,
9.007723457376907e+03,
9.014993770262989e+03,
9.022264778801269e+03,
9.029536482508156e+03,
9.036808880900726e+03,
9.044081973496726e+03,
9.051355759814571e+03,
9.058630239373344e+03,
9.065905411692798e+03,
9.073181276293344e+03,
9.080457832696062e+03,
9.087735080422693e+03,
9.095013018995638e+03,
9.102291647937960e+03,
9.109570966773374e+03,
9.116850975026258e+03,
9.124131672221643e+03,
9.131413057885213e+03,
9.138695131543309e+03,
9.145977892722914e+03,
9.153261340951669e+03,
9.160545475757865e+03,
9.167830296670432e+03,
9.175115803218956e+03,
9.182401994933660e+03,
9.189688871345410e+03,
9.196976431985719e+03,
9.204264676386740e+03,
9.211553604081259e+03,
9.218843214602712e+03,
9.226133507485158e+03,
9.233424482263301e+03,
9.240716138472475e+03,
9.248008475648649e+03,
9.255301493328423e+03,
9.262595191049024e+03,
9.269889568348312e+03,
9.277184624764775e+03,
9.284480359837524e+03,
9.291776773106298e+03,
9.299073864111459e+03,
9.306371632393990e+03,
9.313670077495497e+03,
9.320969198958210e+03,
9.328268996324969e+03,
9.335569469139233e+03,
9.342870616945092e+03,
9.350172439287227e+03,
9.357474935710956e+03,
9.364778105762194e+03,
9.372081948987470e+03,
9.379386464933930e+03,
9.386691653149324e+03,
9.393997513182007e+03,
9.401304044580947e+03,
9.408611246895711e+03,
9.415919119676475e+03,
9.423227662474015e+03,
9.430536874839709e+03,
9.437846756325533e+03,
9.445157306484067e+03,
9.452468524868485e+03,
9.459780411032563e+03,
9.467092964530666e+03,
9.474406184917758e+03,
9.481720071749391e+03,
9.489034624581715e+03,
9.496349842971465e+03,
9.503665726475976e+03,
9.510982274653159e+03,
9.518299487061518e+03,
9.525617363260146e+03,
9.532935902808713e+03,
9.540255105267483e+03,
9.547574970197291e+03,
9.554895497159563e+03,
9.562216685716305e+03,
9.569538535430092e+03,
9.576861045864089e+03,
9.584184216582033e+03,
9.591508047148234e+03,
9.598832537127582e+03,
9.606157686085538e+03,
9.613483493588134e+03,
9.620809959201975e+03,
9.628137082494235e+03,
9.635464863032656e+03,
9.642793300385552e+03,
9.650122394121798e+03,
9.657452143810839e+03,
9.664782549022682e+03,
9.672113609327902e+03,
9.679445324297627e+03,
9.686777693503558e+03,
9.694110716517944e+03,
9.701444392913601e+03,
9.708778722263902e+03,
9.716113704142774e+03,
9.723449338124701e+03,
9.730785623784723e+03,
9.738122560698432e+03,
9.745460148441969e+03,
9.752798386592034e+03,
9.760137274725874e+03,
9.767476812421281e+03,
9.774816999256602e+03,
9.782157834810725e+03,
9.789499318663087e+03,
9.796841450393673e+03,
9.804184229583005e+03,
9.811527655812151e+03,
9.818871728662725e+03,
9.826216447716875e+03,
9.833561812557291e+03,
9.840907822767205e+03,
9.848254477930381e+03,
9.855601777631124e+03,
9.862949721454273e+03,
9.870298308985200e+03,
9.877647539809815e+03,
9.884997413514551e+03,
9.892347929686388e+03,
9.899699087912817e+03,
9.907050887781874e+03,
9.914403328882119e+03,
9.921756410802634e+03,
9.929110133133032e+03,
9.936464495463457e+03,
9.943819497384560e+03,
9.951175138487535e+03,
9.958531418364084e+03,
9.965888336606440e+03,
9.973245892807352e+03,
9.980604086560083e+03,
9.987962917458426e+03,
9.995322385096682e+03,
1.000268248906967e+04,
1.001004322897273e+04,
1.001740460440171e+04,
1.002476661495297e+04,
1.003212926022339e+04,
1.003949253981035e+04,
1.004685645331176e+04,
1.005422100032601e+04,
1.006158618045203e+04,
1.006895199328924e+04,
1.007631843843757e+04,
1.008368551549745e+04,
1.009105322406982e+04,
1.009842156375613e+04,
1.010579053415833e+04,
1.011316013487886e+04,
1.012053036552066e+04,
1.012790122568720e+04,
1.013527271498241e+04,
1.014264483301075e+04,
1.015001757937716e+04,
1.015739095368707e+04,
1.016476495554642e+04,
1.017213958456163e+04,
1.017951484033964e+04,
1.018689072248786e+04,
1.019426723061418e+04,
1.020164436432702e+04,
1.020902212323525e+04,
1.021640050694824e+04,
1.022377951507587e+04,
1.023115914722848e+04,
1.023853940301691e+04,
1.024592028205247e+04,
1.025330178394698e+04,
1.026068390831272e+04,
1.026806665476246e+04,
1.027545002290945e+04,
1.028283401236743e+04,
1.029021862275060e+04,
1.029760385367367e+04,
1.030498970475180e+04,
1.031237617560062e+04,
1.031976326583628e+04,
1.032715097507536e+04,
1.033453930293494e+04,
1.034192824903256e+04,
1.034931781298624e+04,
1.035670799441446e+04,
1.036409879293620e+04,
1.037149020817087e+04,
1.037888223973839e+04,
1.038627488725911e+04,
1.039366815035387e+04,
1.040106202864398e+04,
1.040845652175120e+04,
1.041585162929776e+04,
1.042324735090637e+04,
1.043064368620016e+04,
1.043804063480279e+04,
1.044543819633831e+04,
1.045283637043128e+04,
1.046023515670670e+04,
1.046763455479003e+04,
1.047503456430720e+04,
1.048243518488457e+04,
1.048983641614898e+04,
1.049723825772772e+04,
1.050464070924854e+04,
1.051204377033963e+04,
1.051944744062964e+04,
1.052685171974768e+04,
1.053425660732330e+04,
1.054166210298650e+04,
1.054906820636773e+04,
1.055647491709791e+04,
1.056388223480838e+04,
1.057129015913094e+04,
1.057869868969783e+04,
1.058610782614176e+04,
1.059351756809584e+04,
1.060092791519366e+04,
1.060833886706924e+04,
1.061575042335705e+04,
1.062316258369200e+04,
1.063057534770942e+04,
1.063798871504512e+04,
1.064540268533531e+04,
1.065281725821666e+04,
1.066023243332627e+04,
1.066764821030169e+04,
1.067506458878088e+04,
1.068248156840226e+04,
1.068989914880468e+04,
1.069731732962740e+04,
1.070473611051015e+04,
1.071215549109307e+04,
1.071957547101673e+04,
1.072699604992215e+04,
1.073441722745074e+04,
1.074183900324439e+04,
1.074926137694537e+04,
1.075668434819642e+04,
1.076410791664068e+04,
1.077153208192172e+04,
1.077895684368355e+04,
1.078638220157057e+04,
1.079380815522765e+04,
1.080123470430005e+04,
1.080866184843346e+04,
1.081608958727399e+04,
1.082351792046818e+04,
1.083094684766298e+04,
1.083837636850577e+04,
1.084580648264433e+04,
1.085323718972688e+04,
1.086066848940203e+04,
1.086810038131884e+04,
1.087553286512676e+04,
1.088296594047566e+04,
1.089039960701582e+04,
1.089783386439796e+04,
1.090526871227317e+04,
1.091270415029298e+04,
1.092014017810934e+04,
1.092757679537457e+04,
1.093501400174144e+04,
1.094245179686311e+04,
1.094989018039316e+04,
1.095732915198555e+04,
1.096476871129468e+04,
1.097220885797535e+04,
1.097964959168274e+04,
1.098709091207246e+04,
1.099453281880051e+04,
1.100197531152330e+04,
1.100941838989765e+04,
1.101686205358077e+04,
1.102430630223026e+04,
1.103175113550416e+04,
1.103919655306086e+04,
1.104664255455918e+04,
1.105408913965834e+04,
1.106153630801794e+04,
1.106898405929799e+04,
1.107643239315888e+04,
1.108388130926143e+04,
1.109133080726681e+04,
1.109878088683662e+04,
1.110623154763283e+04,
1.111368278931782e+04,
1.112113461155435e+04,
1.112858701400557e+04,
1.113603999633504e+04,
1.114349355820668e+04,
1.115094769928482e+04,
1.115840241923419e+04,
1.116585771771987e+04,
1.117331359440736e+04,
1.118077004896254e+04,
1.118822708105166e+04,
1.119568469034138e+04,
1.120314287649872e+04,
1.121060163919110e+04,
1.121806097808632e+04,
1.122552089285256e+04,
1.123298138315839e+04,
1.124044244867274e+04,
1.124790408906495e+04,
1.125536630400472e+04,
1.126282909316213e+04,
1.127029245620765e+04,
1.127775639281212e+04,
1.128522090264675e+04,
1.129268598538315e+04,
1.130015164069329e+04,
1.130761786824950e+04,
1.131508466772452e+04,
1.132255203879144e+04,
1.133001998112373e+04,
1.133748849439522e+04,
1.134495757828014e+04,
1.135242723245308e+04,
1.135989745658898e+04,
1.136736825036317e+04,
1.137483961345136e+04,
1.138231154552960e+04,
1.138978404627434e+04,
1.139725711536237e+04,
1.140473075247087e+04,
1.141220495727736e+04,
1.141967972945976e+04,
1.142715506869633e+04,
1.143463097466570e+04,
1.144210744704686e+04,
1.144958448551918e+04,
1.145706208976238e+04,
1.146454025945654e+04,
1.147201899428211e+04,
1.147949829391989e+04,
1.148697815805105e+04,
1.149445858635713e+04,
1.150193957852000e+04,
1.150942113422191e+04,
1.151690325314546e+04,
1.152438593497361e+04,
1.153186917938969e+04,
1.153935298607735e+04,
1.154683735472064e+04,
1.155432228500393e+04,
1.156180777661196e+04,
1.156929382922982e+04,
1.157678044254296e+04,
1.158426761623718e+04,
1.159175534999861e+04,
1.159924364351377e+04,
1.160673249646951e+04,
1.161422190855301e+04,
1.162171187945185e+04,
1.162920240885391e+04,
1.163669349644745e+04,
1.164418514192105e+04,
1.165167734496367e+04,
1.165917010526459e+04,
1.166666342251345e+04,
1.167415729640024e+04,
1.168165172661527e+04,
1.168914671284922e+04,
1.169664225479310e+04,
1.170413835213828e+04,
1.171163500457645e+04,
1.171913221179965e+04,
1.172662997350027e+04,
1.173412828937104e+04,
1.174162715910502e+04,
1.174912658239561e+04,
1.175662655893656e+04,
1.176412708842196e+04,
1.177162817054622e+04,
1.177912980500410e+04,
1.178663199149071e+04,
1.179413472970146e+04,
1.180163801933213e+04,
1.180914186007883e+04,
1.181664625163799e+04,
1.182415119370639e+04,
1.183165668598113e+04,
1.183916272815964e+04,
1.184666931993972e+04,
1.185417646101944e+04,
1.186168415109726e+04,
1.186919238987194e+04,
1.187670117704258e+04,
1.188421051230859e+04,
1.189172039536975e+04,
1.189923082592613e+04,
1.190674180367814e+04,
1.191425332832653e+04,
1.192176539957237e+04,
1.192927801711704e+04,
1.193679118066227e+04,
1.194430488991011e+04,
1.195181914456293e+04,
1.195933394432342e+04,
1.196684928889460e+04,
1.197436517797982e+04,
1.198188161128273e+04,
1.198939858850733e+04,
1.199691610935794e+04,
1.200443417353917e+04,
1.201195278075599e+04,
1.201947193071366e+04,
1.202699162311777e+04,
1.203451185767425e+04,
1.204203263408931e+04,
1.204955395206951e+04,
1.205707581132171e+04,
1.206459821155310e+04,
1.207212115247117e+04,
1.207964463378374e+04,
1.208716865519895e+04,
1.209469321642524e+04,
1.210221831717136e+04,
1.210974395714640e+04,
1.211727013605975e+04,
1.212479685362110e+04,
1.213232410954048e+04,
1.213985190352820e+04,
1.214738023529490e+04,
1.215490910455155e+04,
1.216243851100938e+04,
1.216996845437998e+04,
1.217749893437523e+04,
1.218502995070731e+04,
1.219256150308872e+04,
1.220009359123226e+04,
1.220762621485105e+04,
1.221515937365850e+04,
1.222269306736835e+04,
1.223022729569463e+04,
1.223776205835166e+04,
1.224529735505411e+04,
1.225283318551690e+04,
1.226036954945531e+04,
1.226790644658488e+04,
1.227544387662146e+04,
1.228298183928123e+04,
1.229052033428065e+04,
1.229805936133647e+04,
1.230559892016577e+04,
1.231313901048591e+04,
1.232067963201457e+04,
1.232822078446971e+04,
1.233576246756959e+04,
1.234330468103278e+04,
1.235084742457815e+04,
1.235839069792486e+04,
1.236593450079236e+04,
1.237347883290041e+04,
1.238102369396907e+04,
1.238856908371868e+04,
1.239611500186989e+04,
1.240366144814364e+04,
1.241120842226116e+04,
1.241875592394397e+04,
1.242630395291390e+04,
1.243385250889307e+04,
1.244140159160389e+04,
1.244895120076904e+04,
1.245650133611153e+04,
1.246405199735463e+04,
1.247160318422193e+04,
1.247915489643728e+04,
1.248670713372484e+04,
1.249425989580906e+04,
1.250181318241466e+04,
1.250936699326667e+04,
1.251692132809039e+04,
1.252447618661143e+04,
1.253203156855567e+04,
1.253958747364928e+04,
1.254714390161872e+04,
1.255470085219074e+04,
1.256225832509235e+04,
1.256981632005088e+04,
1.257737483679393e+04,
1.258493387504937e+04,
1.259249343454538e+04,
1.260005351501040e+04,
1.260761411617317e+04,
1.261517523776270e+04,
1.262273687950829e+04,
1.263029904113951e+04,
1.263786172238623e+04,
1.264542492297859e+04,
1.265298864264701e+04,
1.266055288112218e+04,
1.266811763813509e+04,
1.267568291341699e+04,
1.268324870669941e+04,
1.269081501771419e+04,
1.269838184619339e+04,
1.270594919186941e+04,
1.271351705447487e+04,
1.272108543374271e+04,
1.272865432940611e+04,
1.273622374119856e+04,
1.274379366885381e+04,
1.275136411210586e+04,
1.275893507068903e+04,
1.276650654433788e+04,
1.277407853278726e+04,
1.278165103577228e+04,
1.278922405302833e+04,
1.279679758429108e+04,
1.280437162929645e+04,
1.281194618778066e+04,
1.281952125948016e+04,
1.282709684413172e+04,
1.283467294147234e+04,
1.284224955123932e+04,
1.284982667317019e+04,
1.285740430700280e+04,
1.286498245247522e+04,
1.287256110932581e+04,
1.288014027729321e+04,
1.288771995611630e+04,
1.289530014553424e+04,
1.290288084528647e+04,
1.291046205511266e+04,
1.291804377475279e+04,
1.292562600394707e+04,
1.293320874243598e+04,
1.294079198996028e+04,
1.294837574626099e+04,
1.295596001107938e+04,
1.296354478415699e+04,
1.297113006523563e+04,
1.297871585405736e+04,
1.298630215036452e+04,
1.299388895389968e+04,
1.300147626440570e+04,
1.300906408162569e+04,
1.301665240530303e+04,
1.302424123518134e+04,
1.303183057100451e+04,
1.303942041251669e+04,
1.304701075946229e+04,
1.305460161158598e+04,
1.306219296863268e+04,
1.306978483034757e+04,
1.307737719647609e+04,
1.308497006676393e+04,
1.309256344095706e+04,
1.310015731880166e+04,
1.310775170004421e+04,
1.311534658443143e+04,
1.312294197171028e+04,
1.313053786162800e+04,
1.313813425393207e+04,
1.314573114837021e+04,
1.315332854469042e+04,
1.316092644264094e+04,
1.316852484197027e+04,
1.317612374242714e+04,
1.318372314376056e+04,
1.319132304571977e+04,
1.319892344805426e+04,
1.320652435051381e+04,
};

/** logGammaTbl[i] = ln(gamma(i + 1 + 1/2)). */
double logGammaTbl2[TBL_SIZE]={
-1.207822376352446e-01,
2.846828704729193e-01,
1.200973602347075e+00,
2.453736570842443e+00,
3.957813967618718e+00,
5.662562059857144e+00,
7.534364236758734e+00,
9.549267257301000e+00,
1.168933342079727e+01,
1.394062521940377e+01,
1.629200047656724e+01,
1.873434751193645e+01,
2.126007615624470e+01,
2.386276584168909e+01,
2.653691449111562e+01,
2.927775451504082e+01,
3.208111489594736e+01,
3.494331577687682e+01,
3.786108650896109e+01,
4.083150097453080e+01,
4.385192586067516e+01,
4.691997879580878e+01,
5.003349410501915e+01,
5.319049452616927e+01,
5.638916764371994e+01,
5.962784609588433e+01,
6.290499082887651e+01,
6.621917683354901e+01,
6.956908092082364e+01,
7.295347118416940e+01,
7.637119786778277e+01,
7.982118541361436e+01,
8.330242550295004e+01,
8.681397094178108e+01,
9.035493026581838e+01,
9.392446296229974e+01,
9.752177522288821e+01,
1.011461161558646e+02,
1.047967743971583e+02,
1.084730750690654e+02,
1.121743770431779e+02,
1.159000704704145e+02,
1.196495745463449e+02,
1.234223354844395e+02,
1.272178246736117e+02,
1.310355369995686e+02,
1.348749893121619e+02,
1.387357190232025e+02,
1.426172828211460e+02,
1.465192554907206e+02,
1.504412288270019e+02,
1.543828106346716e+02,
1.583436238042692e+02,
1.623233054581711e+02,
1.663215061598403e+02,
1.703378891805927e+02,
1.743721298187451e+02,
1.784239147665484e+02,
1.824929415207862e+02,
1.865789178333378e+02,
1.906815611983747e+02,
1.948005983731871e+02,
1.989357649299294e+02,
2.030868048358281e+02,
2.072534700596298e+02,
2.114355202022710e+02,
2.156327221499328e+02,
2.198448497478113e+02,
2.240716834930795e+02,
2.283130102456502e+02,
2.325686229554684e+02,
2.368383204051684e+02,
2.411219069670290e+02,
2.454191923732478e+02,
2.497299914986334e+02,
2.540541241548883e+02,
2.583914148957209e+02,
2.627416928320801e+02,
2.671047914568685e+02,
2.714805484785288e+02,
2.758688056629533e+02,
2.802694086832001e+02,
2.846822069765407e+02,
2.891070536083976e+02,
2.935438051427607e+02,
2.979923215187034e+02,
3.024524659326412e+02,
3.069241047260048e+02,
3.114071072780187e+02,
3.159013459032995e+02,
3.204066957540053e+02,
3.249230347262868e+02,
3.294502433708052e+02,
3.339882048070998e+02,
3.385368046415995e+02,
3.430959308890862e+02,
3.476654738974312e+02,
3.522453262754349e+02,
3.568353828236130e+02,
3.614355404677776e+02,
3.660456981952767e+02,
3.706657569937585e+02,
3.752956197923370e+02,
3.799351914050424e+02,
3.845843784764473e+02,
3.892430894293634e+02,
3.939112344145129e+02,
3.985887252620806e+02,
4.032754754350611e+02,
4.079713999843177e+02,
4.126764155052755e+02,
4.173904400961757e+02,
4.221133933178202e+02,
4.268451961547416e+02,
4.315857709777359e+02,
4.363350415076977e+02,
4.410929327807035e+02,
4.458593711142877e+02,
4.506342840748628e+02,
4.554176004462344e+02,
4.602092501991652e+02,
4.650091644619458e+02,
4.698172754919306e+02,
4.746335166479986e+02,
4.794578223639033e+02,
4.842901281224752e+02,
4.891303704306428e+02,
4.939784867952412e+02,
4.988344156995765e+02,
5.036980965807161e+02,
5.085694698074788e+02,
5.134484766590966e+02,
5.183350593045229e+02,
5.232291607823632e+02,
5.281307249814051e+02,
5.330396966217248e+02,
5.379560212363499e+02,
5.428796451534565e+02,
5.478105154790838e+02,
5.527485800803454e+02,
5.576937875691192e+02,
5.626460872862025e+02,
5.676054292859111e+02,
5.725717643211108e+02,
5.775450438286633e+02,
5.825252199152748e+02,
5.875122453437319e+02,
5.925060735195118e+02,
5.975066584777546e+02,
6.025139548705853e+02,
6.075279179547742e+02,
6.125485035797236e+02,
6.175756681757711e+02,
6.226093687427984e+02,
6.276495628391363e+02,
6.326962085707555e+02,
6.377492645807357e+02,
6.428086900390012e+02,
6.478744446323187e+02,
6.529464885545436e+02,
6.580247824971137e+02,
6.631092876397764e+02,
6.681999656415462e+02,
6.732967786318836e+02,
6.783996892020889e+02,
6.835086603969061e+02,
6.886236557063265e+02,
6.937446390575917e+02,
6.988715748073841e+02,
7.040044277342045e+02,
7.091431630309281e+02,
7.142877462975341e+02,
7.194381435340055e+02,
7.245943211333924e+02,
7.297562458750350e+02,
7.349238849179409e+02,
7.400972057943143e+02,
7.452761764032298e+02,
7.504607650044494e+02,
7.556509402123777e+02,
7.608466709901506e+02,
7.660479266438556e+02,
7.712546768168780e+02,
7.764668914843727e+02,
7.816845409478533e+02,
7.869075958299007e+02,
7.921360270689847e+02,
7.973698059143951e+02,
8.026089039212833e+02,
8.078532929458056e+02,
8.131029451403724e+02,
8.183578329489931e+02,
8.236179291027211e+02,
8.288832066151908e+02,
8.341536387782494e+02,
8.394291991576747e+02,
8.447098615889839e+02,
8.499956001733252e+02,
8.552863892734524e+02,
8.605822035097823e+02,
8.658830177565289e+02,
8.711888071379158e+02,
8.764995470244623e+02,
8.818152130293450e+02,
8.871357810048279e+02,
8.924612270387642e+02,
8.977915274511651e+02,
9.031266587908359e+02,
9.084665978320749e+02,
9.138113215714370e+02,
9.191608072245594e+02,
9.245150322230459e+02,
9.298739742114104e+02,
9.352376110440789e+02,
9.406059207824470e+02,
9.459788816919909e+02,
9.513564722394333e+02,
9.567386710899622e+02,
9.621254571044977e+02,
9.675168093370130e+02,
9.729127070318999e+02,
9.783131296213851e+02,
9.837180567229914e+02,
9.891274681370448e+02,
9.945413438442272e+02,
9.999596640031701e+02,
1.005382408948093e+03,
1.010809559186484e+03,
1.016241095396818e+03,
1.021676998426319e+03,
1.027117249288756e+03,
1.032561829162282e+03,
1.038010719387309e+03,
1.043463901464418e+03,
1.048921357052305e+03,
1.054383067965761e+03,
1.059849016173693e+03,
1.065319183797168e+03,
1.070793553107496e+03,
1.076272106524347e+03,
1.081754826613893e+03,
1.087241696086985e+03,
1.092732697797363e+03,
1.098227814739886e+03,
1.103727030048801e+03,
1.109230326996035e+03,
1.114737688989518e+03,
1.120249099571527e+03,
1.125764542417063e+03,
1.131284001332255e+03,
1.136807460252780e+03,
1.142334903242320e+03,
1.147866314491035e+03,
1.153401678314066e+03,
1.158940979150057e+03,
1.164484201559701e+03,
1.170031330224311e+03,
1.175582349944415e+03,
1.181137245638364e+03,
1.186696002340970e+03,
1.192258605202163e+03,
1.197825039485668e+03,
1.203395290567700e+03,
1.208969343935681e+03,
1.214547185186980e+03,
1.220128800027662e+03,
1.225714174271267e+03,
1.231303293837604e+03,
1.236896144751553e+03,
1.242492713141902e+03,
1.248092985240188e+03,
1.253696947379562e+03,
1.259304585993665e+03,
1.264915887615527e+03,
1.270530838876477e+03,
1.276149426505070e+03,
1.281771637326033e+03,
1.287397458259219e+03,
1.293026876318586e+03,
1.298659878611182e+03,
1.304296452336144e+03,
1.309936584783724e+03,
1.315580263334310e+03,
1.321227475457478e+03,
1.326878208711044e+03,
1.332532450740141e+03,
1.338190189276295e+03,
1.343851412136533e+03,
1.349516107222481e+03,
1.355184262519494e+03,
1.360855866095786e+03,
1.366530906101577e+03,
1.372209370768248e+03,
1.377891248407516e+03,
1.383576527410608e+03,
1.389265196247454e+03,
1.394957243465892e+03,
1.400652657690878e+03,
1.406351427623711e+03,
1.412053542041266e+03,
1.417758989795241e+03,
1.423467759811409e+03,
1.429179841088879e+03,
1.434895222699379e+03,
1.440613893786529e+03,
1.446335843565141e+03,
1.452061061320517e+03,
1.457789536407763e+03,
1.463521258251109e+03,
1.469256216343233e+03,
1.474994400244607e+03,
1.480735799582834e+03,
1.486480404052011e+03,
1.492228203412084e+03,
1.497979187488224e+03,
1.503733346170206e+03,
1.509490669411790e+03,
1.515251147230123e+03,
1.521014769705135e+03,
1.526781526978952e+03,
1.532551409255313e+03,
1.538324406798991e+03,
1.544100509935227e+03,
1.549879709049168e+03,
1.555661994585312e+03,
1.561447357046960e+03,
1.567235786995677e+03,
1.573027275050752e+03,
1.578821811888677e+03,
1.584619388242619e+03,
1.590419994901911e+03,
1.596223622711537e+03,
1.602030262571633e+03,
1.607839905436989e+03,
1.613652542316557e+03,
1.619468164272969e+03,
1.625286762422053e+03,
1.631108327932366e+03,
1.636932852024719e+03,
1.642760325971717e+03,
1.648590741097307e+03,
1.654424088776317e+03,
1.660260360434020e+03,
1.666099547545683e+03,
1.671941641636136e+03,
1.677786634279344e+03,
1.683634517097974e+03,
1.689485281762979e+03,
1.695338919993179e+03,
1.701195423554853e+03,
1.707054784261328e+03,
1.712916993972578e+03,
1.718782044594831e+03,
1.724649928080167e+03,
1.730520636426140e+03,
1.736394161675383e+03,
1.742270495915237e+03,
1.748149631277371e+03,
1.754031559937411e+03,
1.759916274114572e+03,
1.765803766071297e+03,
1.771694028112896e+03,
1.777587052587191e+03,
1.783482831884164e+03,
1.789381358435613e+03,
1.795282624714803e+03,
1.801186623236129e+03,
1.807093346554782e+03,
1.813002787266412e+03,
1.818914938006800e+03,
1.824829791451536e+03,
1.830747340315694e+03,
1.836667577353513e+03,
1.842590495358086e+03,
1.848516087161044e+03,
1.854444345632248e+03,
1.860375263679488e+03,
1.866308834248177e+03,
1.872245050321054e+03,
1.878183904917890e+03,
1.884125391095192e+03,
1.890069501945916e+03,
1.896016230599183e+03,
1.901965570219990e+03,
1.907917514008936e+03,
1.913872055201939e+03,
1.919829187069967e+03,
1.925788902918760e+03,
1.931751196088568e+03,
1.937716059953879e+03,
1.943683487923158e+03,
1.949653473438589e+03,
1.955626009975812e+03,
1.961601091043669e+03,
1.967578710183955e+03,
1.973558860971163e+03,
1.979541537012238e+03,
1.985526731946332e+03,
1.991514439444562e+03,
1.997504653209769e+03,
2.003497366976277e+03,
2.009492574509664e+03,
2.015490269606523e+03,
2.021490446094233e+03,
2.027493097830731e+03,
2.033498218704287e+03,
2.039505802633274e+03,
2.045515843565955e+03,
2.051528335480255e+03,
2.057543272383549e+03,
2.063560648312441e+03,
2.069580457332558e+03,
2.075602693538333e+03,
2.081627351052797e+03,
2.087654424027372e+03,
2.093683906641668e+03,
2.099715793103274e+03,
2.105750077647565e+03,
2.111786754537495e+03,
2.117825818063402e+03,
2.123867262542815e+03,
2.129911082320257e+03,
2.135957271767054e+03,
2.142005825281146e+03,
2.148056737286898e+03,
2.154110002234911e+03,
2.160165614601843e+03,
2.166223568890220e+03,
2.172283859628257e+03,
2.178346481369681e+03,
2.184411428693550e+03,
2.190478696204073e+03,
2.196548278530445e+03,
2.202620170326666e+03,
2.208694366271371e+03,
2.214770861067664e+03,
2.220849649442943e+03,
2.226930726148741e+03,
2.233014085960553e+03,
2.239099723677678e+03,
2.245187634123055e+03,
2.251277812143099e+03,
2.257370252607547e+03,
2.263464950409296e+03,
2.269561900464250e+03,
2.275661097711161e+03,
2.281762537111478e+03,
2.287866213649193e+03,
2.293972122330691e+03,
2.300080258184603e+03,
2.306190616261651e+03,
2.312303191634508e+03,
2.318417979397649e+03,
2.324534974667204e+03,
2.330654172580821e+03,
2.336775568297521e+03,
2.342899156997556e+03,
2.349024933882271e+03,
2.355152894173968e+03,
2.361283033115764e+03,
2.367415345971460e+03,
2.373549828025402e+03,
2.379686474582355e+03,
2.385825280967361e+03,
2.391966242525615e+03,
2.398109354622331e+03,
2.404254612642619e+03,
2.410402011991348e+03,
2.416551548093027e+03,
2.422703216391675e+03,
2.428857012350700e+03,
2.435012931452774e+03,
2.441170969199708e+03,
2.447331121112333e+03,
2.453493382730383e+03,
2.459657749612369e+03,
2.465824217335463e+03,
2.471992781495384e+03,
2.478163437706277e+03,
2.484336181600600e+03,
2.490511008829011e+03,
2.496687915060249e+03,
2.502866895981028e+03,
2.509047947295921e+03,
2.515231064727252e+03,
2.521416244014983e+03,
2.527603480916610e+03,
2.533792771207047e+03,
2.539984110678531e+03,
2.546177495140501e+03,
2.552372920419506e+03,
2.558570382359094e+03,
2.564769876819706e+03,
2.570971399678579e+03,
2.577174946829642e+03,
2.583380514183412e+03,
2.589588097666897e+03,
2.595797693223496e+03,
2.602009296812898e+03,
2.608222904410987e+03,
2.614438512009742e+03,
2.620656115617144e+03,
2.626875711257077e+03,
2.633097294969235e+03,
2.639320862809029e+03,
2.645546410847489e+03,
2.651773935171179e+03,
2.658003431882095e+03,
2.664234897097583e+03,
2.670468326950246e+03,
2.676703717587850e+03,
2.682941065173242e+03,
2.689180365884255e+03,
2.695421615913624e+03,
2.701664811468898e+03,
2.707909948772355e+03,
2.714157024060914e+03,
2.720406033586054e+03,
2.726656973613723e+03,
2.732909840424263e+03,
2.739164630312318e+03,
2.745421339586759e+03,
2.751679964570597e+03,
2.757940501600908e+03,
2.764202947028744e+03,
2.770467297219061e+03,
2.776733548550636e+03,
2.783001697415985e+03,
2.789271740221296e+03,
2.795543673386338e+03,
2.801817493344392e+03,
2.808093196542174e+03,
2.814370779439757e+03,
2.820650238510499e+03,
2.826931570240964e+03,
2.833214771130852e+03,
2.839499837692922e+03,
2.845786766452924e+03,
2.852075553949521e+03,
2.858366196734219e+03,
2.864658691371299e+03,
2.870953034437739e+03,
2.877249222523154e+03,
2.883547252229715e+03,
2.889847120172089e+03,
2.896148822977362e+03,
2.902452357284978e+03,
2.908757719746668e+03,
2.915064907026384e+03,
2.921373915800228e+03,
2.927684742756390e+03,
2.933997384595084e+03,
2.940311838028475e+03,
2.946628099780624e+03,
2.952946166587415e+03,
2.959266035196495e+03,
2.965587702367210e+03,
2.971911164870544e+03,
2.978236419489054e+03,
2.984563463016806e+03,
2.990892292259318e+03,
2.997222904033496e+03,
3.003555295167575e+03,
3.009889462501055e+03,
3.016225402884645e+03,
3.022563113180201e+03,
3.028902590260669e+03,
3.035243831010024e+03,
3.041586832323215e+03,
3.047931591106102e+03,
3.054278104275404e+03,
3.060626368758639e+03,
3.066976381494067e+03,
3.073328139430637e+03,
3.079681639527926e+03,
3.086036878756087e+03,
3.092393854095797e+03,
3.098752562538193e+03,
3.105113001084826e+03,
3.111475166747606e+03,
3.117839056548744e+03,
3.124204667520703e+03,
3.130571996706143e+03,
3.136941041157870e+03,
3.143311797938782e+03,
3.149684264121820e+03,
3.156058436789913e+03,
3.162434313035932e+03,
3.168811889962632e+03,
3.175191164682609e+03,
3.181572134318246e+03,
3.187954796001665e+03,
3.194339146874674e+03,
3.200725184088724e+03,
3.207112904804854e+03,
3.213502306193650e+03,
3.219893385435188e+03,
3.226286139718994e+03,
3.232680566243991e+03,
3.239076662218459e+03,
3.245474424859980e+03,
3.251873851395394e+03,
3.258274939060759e+03,
3.264677685101296e+03,
3.271082086771351e+03,
3.277488141334345e+03,
3.283895846062728e+03,
3.290305198237943e+03,
3.296716195150371e+03,
3.303128834099292e+03,
3.309543112392843e+03,
3.315959027347970e+03,
3.322376576290389e+03,
3.328795756554540e+03,
3.335216565483546e+03,
3.341639000429170e+03,
3.348063058751775e+03,
3.354488737820277e+03,
3.360916035012109e+03,
3.367344947713179e+03,
3.373775473317823e+03,
3.380207609228775e+03,
3.386641352857113e+03,
3.393076701622233e+03,
3.399513652951799e+03,
3.405952204281706e+03,
3.412392353056042e+03,
3.418834096727048e+03,
3.425277432755078e+03,
3.431722358608562e+03,
3.438168871763967e+03,
3.444616969705758e+03,
3.451066649926360e+03,
3.457517909926121e+03,
3.463970747213275e+03,
3.470425159303904e+03,
3.476881143721902e+03,
3.483338697998935e+03,
3.489797819674407e+03,
3.496258506295427e+03,
3.502720755416763e+03,
3.509184564600819e+03,
3.515649931417588e+03,
3.522116853444625e+03,
3.528585328267004e+03,
3.535055353477290e+03,
3.541526926675502e+03,
3.548000045469076e+03,
3.554474707472833e+03,
3.560950910308943e+03,
3.567428651606896e+03,
3.573907929003461e+03,
3.580388740142657e+03,
3.586871082675722e+03,
3.593354954261072e+03,
3.599840352564275e+03,
3.606327275258018e+03,
3.612815720022070e+03,
3.619305684543254e+03,
3.625797166515410e+03,
3.632290163639373e+03,
3.638784673622928e+03,
3.645280694180788e+03,
3.651778223034561e+03,
3.658277257912714e+03,
3.664777796550550e+03,
3.671279836690168e+03,
3.677783376080443e+03,
3.684288412476985e+03,
3.690794943642115e+03,
3.697302967344837e+03,
3.703812481360801e+03,
3.710323483472277e+03,
3.716835971468127e+03,
3.723349943143775e+03,
3.729865396301175e+03,
3.736382328748786e+03,
3.742900738301540e+03,
3.749420622780814e+03,
3.755941980014406e+03,
3.762464807836498e+03,
3.768989104087634e+03,
3.775514866614694e+03,
3.782042093270858e+03,
3.788570781915585e+03,
3.795100930414588e+03,
3.801632536639796e+03,
3.808165598469337e+03,
3.814700113787506e+03,
3.821236080484739e+03,
3.827773496457588e+03,
3.834312359608693e+03,
3.840852667846754e+03,
3.847394419086510e+03,
3.853937611248704e+03,
3.860482242260067e+03,
3.867028310053287e+03,
3.873575812566983e+03,
3.880124747745680e+03,
3.886675113539786e+03,
3.893226907905563e+03,
3.899780128805105e+03,
3.906334774206313e+03,
3.912890842082867e+03,
3.919448330414206e+03,
3.926007237185499e+03,
3.932567560387623e+03,
3.939129298017141e+03,
3.945692448076272e+03,
3.952257008572872e+03,
3.958822977520409e+03,
3.965390352937939e+03,
3.971959132850082e+03,
3.978529315286999e+03,
3.985100898284368e+03,
3.991673879883365e+03,
3.998248258130633e+03,
4.004824031078267e+03,
4.011401196783786e+03,
4.017979753310113e+03,
4.024559698725553e+03,
4.031141031103767e+03,
4.037723748523754e+03,
4.044307849069825e+03,
4.050893330831585e+03,
4.057480191903910e+03,
4.064068430386921e+03,
4.070658044385966e+03,
4.077249032011601e+03,
4.083841391379564e+03,
4.090435120610755e+03,
4.097030217831215e+03,
4.103626681172106e+03,
4.110224508769688e+03,
4.116823698765303e+03,
4.123424249305344e+03,
4.130026158541247e+03,
4.136629424629462e+03,
4.143234045731433e+03,
4.149840020013584e+03,
4.156447345647292e+03,
4.163056020808869e+03,
4.169666043679546e+03,
4.176277412445446e+03,
4.182890125297571e+03,
4.189504180431775e+03,
4.196119576048754e+03,
4.202736310354019e+03,
4.209354381557880e+03,
4.215973787875421e+03,
4.222594527526495e+03,
4.229216598735688e+03,
4.235839999732311e+03,
4.242464728750378e+03,
4.249090784028586e+03,
4.255718163810298e+03,
4.262346866343528e+03,
4.268976889880911e+03,
4.275608232679699e+03,
4.282240893001735e+03,
4.288874869113434e+03,
4.295510159285770e+03,
4.302146761794251e+03,
4.308784674918909e+03,
4.315423896944279e+03,
4.322064426159377e+03,
4.328706260857688e+03,
4.335349399337150e+03,
4.341993839900128e+03,
4.348639580853407e+03,
4.355286620508167e+03,
4.361934957179970e+03,
4.368584589188743e+03,
4.375235514858756e+03,
4.381887732518613e+03,
4.388541240501229e+03,
4.395196037143818e+03,
4.401852120787871e+03,
4.408509489779145e+03,
4.415168142467644e+03,
4.421828077207599e+03,
4.428489292357461e+03,
4.435151786279875e+03,
4.441815557341671e+03,
4.448480603913844e+03,
4.455146924371539e+03,
4.461814517094038e+03,
4.468483380464738e+03,
4.475153512871141e+03,
4.481824912704837e+03,
4.488497578361486e+03,
4.495171508240807e+03,
4.501846700746559e+03,
4.508523154286525e+03,
4.515200867272501e+03,
4.521879838120280e+03,
4.528560065249630e+03,
4.535241547084289e+03,
4.541924282051943e+03,
4.548608268584218e+03,
4.555293505116654e+03,
4.561979990088704e+03,
4.568667721943709e+03,
4.575356699128886e+03,
4.582046920095318e+03,
4.588738383297935e+03,
4.595431087195500e+03,
4.602125030250598e+03,
4.608820210929614e+03,
4.615516627702732e+03,
4.622214279043907e+03,
4.628913163430863e+03,
4.635613279345067e+03,
4.642314625271726e+03,
4.649017199699769e+03,
4.655721001121829e+03,
4.662426028034240e+03,
4.669132278937011e+03,
4.675839752333823e+03,
4.682548446732006e+03,
4.689258360642536e+03,
4.695969492580013e+03,
4.702681841062653e+03,
4.709395404612271e+03,
4.716110181754270e+03,
4.722826171017630e+03,
4.729543370934892e+03,
4.736261780042143e+03,
4.742981396879009e+03,
4.749702219988640e+03,
4.756424247917694e+03,
4.763147479216326e+03,
4.769871912438181e+03,
4.776597546140371e+03,
4.783324378883473e+03,
4.790052409231509e+03,
4.796781635751936e+03,
4.803512057015635e+03,
4.810243671596898e+03,
4.816976478073416e+03,
4.823710475026264e+03,
4.830445661039896e+03,
4.837182034702122e+03,
4.843919594604108e+03,
4.850658339340356e+03,
4.857398267508695e+03,
4.864139377710268e+03,
4.870881668549522e+03,
4.877625138634196e+03,
4.884369786575308e+03,
4.891115610987144e+03,
4.897862610487247e+03,
4.904610783696405e+03,
4.911360129238638e+03,
4.918110645741194e+03,
4.924862331834527e+03,
4.931615186152291e+03,
4.938369207331330e+03,
4.945124394011668e+03,
4.951880744836492e+03,
4.958638258452143e+03,
4.965396933508112e+03,
4.972156768657017e+03,
4.978917762554604e+03,
4.985679913859727e+03,
4.992443221234343e+03,
4.999207683343499e+03,
5.005973298855320e+03,
5.012740066441002e+03,
5.019507984774796e+03,
5.026277052534004e+03,
5.033047268398963e+03,
5.039818631053040e+03,
5.046591139182615e+03,
5.053364791477074e+03,
5.060139586628798e+03,
5.066915523333160e+03,
5.073692600288500e+03,
5.080470816196127e+03,
5.087250169760305e+03,
5.094030659688242e+03,
5.100812284690080e+03,
5.107595043478887e+03,
5.114378934770646e+03,
5.121163957284247e+03,
5.127950109741470e+03,
5.134737390866984e+03,
5.141525799388333e+03,
5.148315334035928e+03,
5.155105993543033e+03,
5.161897776645764e+03,
5.168690682083066e+03,
5.175484708596721e+03,
5.182279854931320e+03,
5.189076119834269e+03,
5.195873502055770e+03,
5.202672000348815e+03,
5.209471613469176e+03,
5.216272340175401e+03,
5.223074179228792e+03,
5.229877129393407e+03,
5.236681189436051e+03,
5.243486358126258e+03,
5.250292634236290e+03,
5.257100016541125e+03,
5.263908503818448e+03,
5.270718094848644e+03,
5.277528788414783e+03,
5.284340583302619e+03,
5.291153478300576e+03,
5.297967472199744e+03,
5.304782563793863e+03,
5.311598751879321e+03,
5.318416035255138e+03,
5.325234412722969e+03,
5.332053883087084e+03,
5.338874445154363e+03,
5.345696097734292e+03,
5.352518839638947e+03,
5.359342669682992e+03,
5.366167586683665e+03,
5.372993589460775e+03,
5.379820676836689e+03,
5.386648847636328e+03,
5.393478100687155e+03,
5.400308434819170e+03,
5.407139848864895e+03,
5.413972341659377e+03,
5.420805912040169e+03,
5.427640558847331e+03,
5.434476280923413e+03,
5.441313077113455e+03,
5.448150946264973e+03,
5.454989887227955e+03,
5.461829898854850e+03,
5.468670980000564e+03,
5.475513129522448e+03,
5.482356346280293e+03,
5.489200629136319e+03,
5.496045976955173e+03,
5.502892388603915e+03,
5.509739862952011e+03,
5.516588398871334e+03,
5.523437995236142e+03,
5.530288650923083e+03,
5.537140364811181e+03,
5.543993135781831e+03,
5.550846962718788e+03,
5.557701844508162e+03,
5.564557780038415e+03,
5.571414768200344e+03,
5.578272807887080e+03,
5.585131897994082e+03,
5.591992037419122e+03,
5.598853225062287e+03,
5.605715459825968e+03,
5.612578740614847e+03,
5.619443066335903e+03,
5.626308435898388e+03,
5.633174848213836e+03,
5.640042302196044e+03,
5.646910796761074e+03,
5.653780330827236e+03,
5.660650903315091e+03,
5.667522513147435e+03,
5.674395159249304e+03,
5.681268840547952e+03,
5.688143555972857e+03,
5.695019304455704e+03,
5.701896084930386e+03,
5.708773896332996e+03,
5.715652737601813e+03,
5.722532607677305e+03,
5.729413505502118e+03,
5.736295430021065e+03,
5.743178380181128e+03,
5.750062354931446e+03,
5.756947353223305e+03,
5.763833374010141e+03,
5.770720416247525e+03,
5.777608478893162e+03,
5.784497560906879e+03,
5.791387661250622e+03,
5.798278778888451e+03,
5.805170912786530e+03,
5.812064061913124e+03,
5.818958225238585e+03,
5.825853401735361e+03,
5.832749590377971e+03,
5.839646790143014e+03,
5.846545000009153e+03,
5.853444218957114e+03,
5.860344445969674e+03,
5.867245680031666e+03,
5.874147920129960e+03,
5.881051165253465e+03,
5.887955414393117e+03,
5.894860666541881e+03,
5.901766920694737e+03,
5.908674175848677e+03,
5.915582431002702e+03,
5.922491685157807e+03,
5.929401937316988e+03,
5.936313186485224e+03,
5.943225431669480e+03,
5.950138671878692e+03,
5.957052906123772e+03,
5.963968133417592e+03,
5.970884352774987e+03,
5.977801563212740e+03,
5.984719763749583e+03,
5.991638953406191e+03,
5.998559131205172e+03,
6.005480296171064e+03,
6.012402447330330e+03,
6.019325583711350e+03,
6.026249704344418e+03,
6.033174808261736e+03,
6.040100894497402e+03,
6.047027962087417e+03,
6.053956010069666e+03,
6.060885037483924e+03,
6.067815043371841e+03,
6.074746026776943e+03,
6.081677986744621e+03,
6.088610922322135e+03,
6.095544832558593e+03,
6.102479716504963e+03,
6.109415573214056e+03,
6.116352401740524e+03,
6.123290201140854e+03,
6.130228970473366e+03,
6.137168708798201e+03,
6.144109415177324e+03,
6.151051088674509e+03,
6.157993728355345e+03,
6.164937333287220e+03,
6.171881902539325e+03,
6.178827435182642e+03,
6.185773930289940e+03,
6.192721386935773e+03,
6.199669804196474e+03,
6.206619181150147e+03,
6.213569516876664e+03,
6.220520810457661e+03,
6.227473060976529e+03,
6.234426267518415e+03,
6.241380429170213e+03,
6.248335545020554e+03,
6.255291614159814e+03,
6.262248635680099e+03,
6.269206608675242e+03,
6.276165532240799e+03,
6.283125405474043e+03,
6.290086227473962e+03,
6.297047997341250e+03,
6.304010714178306e+03,
6.310974377089227e+03,
6.317938985179801e+03,
6.324904537557511e+03,
6.331871033331515e+03,
6.338838471612657e+03,
6.345806851513457e+03,
6.352776172148097e+03,
6.359746432632431e+03,
6.366717632083969e+03,
6.373689769621881e+03,
6.380662844366983e+03,
6.387636855441743e+03,
6.394611801970264e+03,
6.401587683078295e+03,
6.408564497893209e+03,
6.415542245544011e+03,
6.422520925161329e+03,
6.429500535877411e+03,
6.436481076826120e+03,
6.443462547142924e+03,
6.450444945964902e+03,
6.457428272430731e+03,
6.464412525680686e+03,
6.471397704856632e+03,
6.478383809102026e+03,
6.485370837561903e+03,
6.492358789382879e+03,
6.499347663713146e+03,
6.506337459702465e+03,
6.513328176502161e+03,
6.520319813265124e+03,
6.527312369145799e+03,
6.534305843300183e+03,
6.541300234885825e+03,
6.548295543061815e+03,
6.555291766988785e+03,
6.562288905828901e+03,
6.569286958745864e+03,
6.576285924904900e+03,
6.583285803472757e+03,
6.590286593617707e+03,
6.597288294509532e+03,
6.604290905319526e+03,
6.611294425220492e+03,
6.618298853386736e+03,
6.625304188994057e+03,
6.632310431219754e+03,
6.639317579242614e+03,
6.646325632242911e+03,
6.653334589402402e+03,
6.660344449904322e+03,
6.667355212933378e+03,
6.674366877675750e+03,
6.681379443319085e+03,
6.688392909052489e+03,
6.695407274066530e+03,
6.702422537553227e+03,
6.709438698706052e+03,
6.716455756719924e+03,
6.723473710791206e+03,
6.730492560117693e+03,
6.737512303898624e+03,
6.744532941334663e+03,
6.751554471627904e+03,
6.758576893981864e+03,
6.765600207601479e+03,
6.772624411693107e+03,
6.779649505464505e+03,
6.786675488124852e+03,
6.793702358884723e+03,
6.800730116956101e+03,
6.807758761552359e+03,
6.814788291888267e+03,
6.821818707179985e+03,
6.828850006645058e+03,
6.835882189502416e+03,
6.842915254972363e+03,
6.849949202276583e+03,
6.856984030638128e+03,
6.864019739281421e+03,
6.871056327432247e+03,
6.878093794317751e+03,
6.885132139166436e+03,
6.892171361208160e+03,
6.899211459674129e+03,
6.906252433796898e+03,
6.913294282810361e+03,
6.920337005949754e+03,
6.927380602451647e+03,
6.934425071553946e+03,
6.941470412495880e+03,
6.948516624518009e+03,
6.955563706862212e+03,
6.962611658771688e+03,
6.969660479490948e+03,
6.976710168265819e+03,
6.983760724343432e+03,
6.990812146972226e+03,
6.997864435401943e+03,
7.004917588883614e+03,
7.011971606669574e+03,
7.019026488013445e+03,
7.026082232170143e+03,
7.033138838395857e+03,
7.040196305948068e+03,
7.047254634085529e+03,
7.054313822068270e+03,
7.061373869157595e+03,
7.068434774616072e+03,
7.075496537707533e+03,
7.082559157697075e+03,
7.089622633851055e+03,
7.096686965437078e+03,
7.103752151724009e+03,
7.110818191981958e+03,
7.117885085482277e+03,
7.124952831497569e+03,
7.132021429301669e+03,
7.139090878169648e+03,
7.146161177377815e+03,
7.153232326203706e+03,
7.160304323926083e+03,
7.167377169824929e+03,
7.174450863181456e+03,
7.181525403278082e+03,
7.188600789398449e+03,
7.195677020827402e+03,
7.202754096851001e+03,
7.209832016756507e+03,
7.216910779832383e+03,
7.223990385368292e+03,
7.231070832655092e+03,
7.238152120984834e+03,
7.245234249650762e+03,
7.252317217947300e+03,
7.259401025170063e+03,
7.266485670615842e+03,
7.273571153582608e+03,
7.280657473369507e+03,
7.287744629276855e+03,
7.294832620606139e+03,
7.301921446660014e+03,
7.309011106742294e+03,
7.316101600157956e+03,
7.323192926213131e+03,
7.330285084215112e+03,
7.337378073472335e+03,
7.344471893294390e+03,
7.351566542992011e+03,
7.358662021877076e+03,
7.365758329262603e+03,
7.372855464462747e+03,
7.379953426792797e+03,
7.387052215569174e+03,
7.394151830109430e+03,
7.401252269732243e+03,
7.408353533757409e+03,
7.415455621505852e+03,
7.422558532299608e+03,
7.429662265461831e+03,
7.436766820316788e+03,
7.443872196189854e+03,
7.450978392407508e+03,
7.458085408297342e+03,
7.465193243188040e+03,
7.472301896409388e+03,
7.479411367292272e+03,
7.486521655168664e+03,
7.493632759371632e+03,
7.500744679235331e+03,
7.507857414095000e+03,
7.514970963286960e+03,
7.522085326148617e+03,
7.529200502018448e+03,
7.536316490236008e+03,
7.543433290141926e+03,
7.550550901077895e+03,
7.557669322386680e+03,
7.564788553412109e+03,
7.571908593499070e+03,
7.579029441993513e+03,
7.586151098242442e+03,
7.593273561593917e+03,
7.600396831397050e+03,
7.607520907001998e+03,
7.614645787759968e+03,
7.621771473023213e+03,
7.628897962145019e+03,
7.636025254479722e+03,
7.643153349382686e+03,
7.650282246210310e+03,
7.657411944320031e+03,
7.664542443070306e+03,
7.671673741820624e+03,
7.678805839931495e+03,
7.685938736764455e+03,
7.693072431682053e+03,
7.700206924047859e+03,
7.707342213226457e+03,
7.714478298583441e+03,
7.721615179485415e+03,
7.728752855299989e+03,
7.735891325395783e+03,
7.743030589142410e+03,
7.750170645910492e+03,
7.757311495071642e+03,
7.764453135998469e+03,
7.771595568064579e+03,
7.778738790644565e+03,
7.785882803114006e+03,
7.793027604849472e+03,
7.800173195228511e+03,
7.807319573629656e+03,
7.814466739432416e+03,
7.821614692017279e+03,
7.828763430765703e+03,
7.835912955060122e+03,
7.843063264283938e+03,
7.850214357821520e+03,
7.857366235058203e+03,
7.864518895380281e+03,
7.871672338175011e+03,
7.878826562830611e+03,
7.885981568736252e+03,
7.893137355282053e+03,
7.900293921859100e+03,
7.907451267859410e+03,
7.914609392675961e+03,
7.921768295702666e+03,
7.928927976334387e+03,
7.936088433966926e+03,
7.943249667997019e+03,
7.950411677822341e+03,
7.957574462841499e+03,
7.964738022454035e+03,
7.971902356060417e+03,
7.979067463062042e+03,
7.986233342861235e+03,
7.993399994861237e+03,
8.000567418466216e+03,
8.007735613081256e+03,
8.014904578112359e+03,
8.022074312966440e+03,
8.029244817051330e+03,
8.036416089775764e+03,
8.043588130549390e+03,
8.050760938782764e+03,
8.057934513887341e+03,
8.065108855275481e+03,
8.072283962360442e+03,
8.079459834556381e+03,
8.086636471278351e+03,
8.093813871942299e+03,
8.100992035965062e+03,
8.108170962764369e+03,
8.115350651758835e+03,
8.122531102367960e+03,
8.129712314012129e+03,
8.136894286112611e+03,
8.144077018091546e+03,
8.151260509371962e+03,
8.158444759377756e+03,
8.165629767533698e+03,
8.172815533265435e+03,
8.180002055999481e+03,
8.187189335163213e+03,
8.194377370184880e+03,
8.201566160493592e+03,
8.208755705519321e+03,
8.215946004692900e+03,
8.223137057446016e+03,
8.230328863211214e+03,
8.237521421421900e+03,
8.244714731512315e+03,
8.251908792917571e+03,
8.259103605073609e+03,
8.266299167417232e+03,
8.273495479386076e+03,
8.280692540418626e+03,
8.287890349954205e+03,
8.295088907432975e+03,
8.302288212295936e+03,
8.309488263984920e+03,
8.316689061942596e+03,
8.323890605612462e+03,
8.331092894438845e+03,
8.338295927866902e+03,
8.345499705342609e+03,
8.352704226312775e+03,
8.359909490225029e+03,
8.367115496527811e+03,
8.374322244670391e+03,
8.381529734102851e+03,
8.388737964276081e+03,
8.395946934641799e+03,
8.403156644652519e+03,
8.410367093761573e+03,
8.417578281423099e+03,
8.424790207092037e+03,
8.432002870224138e+03,
8.439216270275945e+03,
8.446430406704812e+03,
8.453645278968883e+03,
8.460860886527107e+03,
8.468077228839220e+03,
8.475294305365758e+03,
8.482512115568043e+03,
8.489730658908191e+03,
8.496949934849106e+03,
8.504169942854473e+03,
8.511390682388770e+03,
8.518612152917251e+03,
8.525834353905953e+03,
8.533057284821696e+03,
8.540280945132074e+03,
8.547505334305457e+03,
8.554730451810994e+03,
8.561956297118599e+03,
8.569182869698963e+03,
8.576410169023546e+03,
8.583638194564573e+03,
8.590866945795036e+03,
8.598096422188693e+03,
8.605326623220066e+03,
8.612557548364428e+03,
8.619789197097823e+03,
8.627021568897051e+03,
8.634254663239662e+03,
8.641488479603966e+03,
8.648723017469021e+03,
8.655958276314641e+03,
8.663194255621389e+03,
8.670430954870571e+03,
8.677668373544244e+03,
8.684906511125211e+03,
8.692145367097013e+03,
8.699384940943934e+03,
8.706625232151002e+03,
8.713866240203977e+03,
8.721107964589364e+03,
8.728350404794393e+03,
8.735593560307036e+03,
8.742837430615991e+03,
8.750082015210690e+03,
8.757327313581294e+03,
8.764573325218693e+03,
8.771820049614495e+03,
8.779067486261038e+03,
8.786315634651386e+03,
8.793564494279315e+03,
8.800814064639329e+03,
8.808064345226645e+03,
8.815315335537200e+03,
8.822567035067643e+03,
8.829819443315335e+03,
8.837072559778357e+03,
8.844326383955489e+03,
8.851580915346231e+03,
8.858836153450782e+03,
8.866092097770055e+03,
8.873348747805656e+03,
8.880606103059905e+03,
8.887864163035816e+03,
8.895122927237111e+03,
8.902382395168202e+03,
8.909642566334203e+03,
8.916903440240922e+03,
8.924165016394860e+03,
8.931427294303212e+03,
8.938690273473865e+03,
8.945953953415396e+03,
8.953218333637065e+03,
8.960483413648830e+03,
8.967749192961319e+03,
8.975015671085857e+03,
8.982282847534447e+03,
8.989550721819771e+03,
8.996819293455192e+03,
9.004088561954753e+03,
9.011358526833172e+03,
9.018629187605842e+03,
9.025900543788835e+03,
9.033172594898886e+03,
9.040445340453411e+03,
9.047718779970490e+03,
9.054992912968872e+03,
9.062267738967976e+03,
9.069543257487881e+03,
9.076819468049338e+03,
9.084096370173755e+03,
9.091373963383203e+03,
9.098652247200411e+03,
9.105931221148772e+03,
9.113210884752334e+03,
9.120491237535798e+03,
9.127772279024524e+03,
9.135054008744524e+03,
9.142336426222459e+03,
9.149619530985643e+03,
9.156903322562044e+03,
9.164187800480269e+03,
9.171472964269577e+03,
9.178758813459872e+03,
9.186045347581698e+03,
9.193332566166249e+03,
9.200620468745354e+03,
9.207909054851487e+03,
9.215198324017754e+03,
9.222488275777905e+03,
9.229778909666324e+03,
9.237070225218025e+03,
9.244362221968664e+03,
9.251654899454525e+03,
9.258948257212518e+03,
9.266242294780192e+03,
9.273537011695717e+03,
9.280832407497894e+03,
9.288128481726149e+03,
9.295425233920532e+03,
9.302722663621716e+03,
9.310020770370997e+03,
9.317319553710289e+03,
9.324619013182129e+03,
9.331919148329671e+03,
9.339219958696687e+03,
9.346521443827558e+03,
9.353823603267288e+03,
9.361126436561492e+03,
9.368429943256395e+03,
9.375734122898832e+03,
9.383038975036252e+03,
9.390344499216708e+03,
9.397650694988863e+03,
9.404957561901980e+03,
9.412265099505934e+03,
9.419573307351202e+03,
9.426882184988857e+03,
9.434191731970583e+03,
9.441501947848652e+03,
9.448812832175943e+03,
9.456124384505934e+03,
9.463436604392691e+03,
9.470749491390879e+03,
9.478063045055760e+03,
9.485377264943185e+03,
9.492692150609593e+03,
9.500007701612023e+03,
9.507323917508091e+03,
9.514640797856013e+03,
9.521958342214582e+03,
9.529276550143184e+03,
9.536595421201784e+03,
9.543914954950931e+03,
9.551235150951759e+03,
9.558556008765978e+03,
9.565877527955883e+03,
9.573199708084343e+03,
9.580522548714813e+03,
9.587846049411310e+03,
9.595170209738439e+03,
9.602495029261372e+03,
9.609820507545857e+03,
9.617146644158214e+03,
9.624473438665333e+03,
9.631800890634668e+03,
9.639128999634253e+03,
9.646457765232679e+03,
9.653787186999105e+03,
9.661117264503264e+03,
9.668447997315439e+03,
9.675779385006485e+03,
9.683111427147815e+03,
9.690444123311407e+03,
9.697777473069791e+03,
9.705111475996064e+03,
9.712446131663874e+03,
9.719781439647430e+03,
9.727117399521489e+03,
9.734454010861369e+03,
9.741791273242941e+03,
9.749129186242621e+03,
9.756467749437383e+03,
9.763806962404746e+03,
9.771146824722784e+03,
9.778487335970111e+03,
9.785828495725891e+03,
9.793170303569834e+03,
9.800512759082190e+03,
9.807855861843764e+03,
9.815199611435888e+03,
9.822544007440445e+03,
9.829889049439858e+03,
9.837234737017088e+03,
9.844581069755628e+03,
9.851928047239517e+03,
9.859275669053324e+03,
9.866623934782157e+03,
9.873972844011658e+03,
9.881322396327994e+03,
9.888672591317876e+03,
9.896023428568536e+03,
9.903374907667743e+03,
9.910727028203793e+03,
9.918079789765503e+03,
9.925433191942226e+03,
9.932787234323836e+03,
9.940141916500736e+03,
9.947497238063843e+03,
9.954853198604609e+03,
9.962209797715002e+03,
9.969567034987511e+03,
9.976924910015141e+03,
9.984283422391423e+03,
9.991642571710399e+03,
9.999002357566638e+03,
1.000636277955521e+04,
1.001372383727172e+04,
1.002108553031226e+04,
1.002844785827346e+04,
1.003581082075244e+04,
1.004317441734686e+04,
1.005053864765485e+04,
1.005790351127510e+04,
1.006526900780675e+04,
1.007263513684950e+04,
1.008000189800352e+04,
1.008736929086950e+04,
1.009473731504863e+04,
1.010210597014260e+04,
1.010947525575363e+04,
1.011684517148440e+04,
1.012421571693810e+04,
1.013158689171845e+04,
1.013895869542964e+04,
1.014633112767637e+04,
1.015370418806381e+04,
1.016107787619767e+04,
1.016845219168412e+04,
1.017582713412984e+04,
1.018320270314199e+04,
1.019057889832825e+04,
1.019795571929674e+04,
1.020533316565613e+04,
1.021271123701554e+04,
1.022008993298459e+04,
1.022746925317339e+04,
1.023484919719252e+04,
1.024222976465307e+04,
1.024961095516660e+04,
1.025699276834516e+04,
1.026437520380127e+04,
1.027175826114795e+04,
1.027914193999869e+04,
1.028652623996746e+04,
1.029391116066871e+04,
1.030129670171738e+04,
1.030868286272888e+04,
1.031606964331908e+04,
1.032345704310434e+04,
1.033084506170150e+04,
1.033823369872788e+04,
1.034562295380124e+04,
1.035301282653986e+04,
1.036040331656244e+04,
1.036779442348819e+04,
1.037518614693676e+04,
1.038257848652831e+04,
1.038997144188342e+04,
1.039736501262316e+04,
1.040475919836907e+04,
1.041215399874316e+04,
1.041954941336787e+04,
1.042694544186615e+04,
1.043434208386138e+04,
1.044173933897741e+04,
1.044913720683856e+04,
1.045653568706961e+04,
1.046393477929577e+04,
1.047133448314275e+04,
1.047873479823669e+04,
1.048613572420420e+04,
1.049353726067234e+04,
1.050093940726862e+04,
1.050834216362102e+04,
1.051574552935796e+04,
1.052314950410832e+04,
1.053055408750143e+04,
1.053795927916706e+04,
1.054536507873544e+04,
1.055277148583726e+04,
1.056017850010363e+04,
1.056758612116614e+04,
1.057499434865681e+04,
1.058240318220811e+04,
1.058981262145294e+04,
1.059722266602466e+04,
1.060463331555708e+04,
1.061204456968445e+04,
1.061945642804143e+04,
1.062686889026317e+04,
1.063428195598523e+04,
1.064169562484362e+04,
1.064910989647478e+04,
1.065652477051560e+04,
1.066394024660339e+04,
1.067135632437592e+04,
1.067877300347138e+04,
1.068619028352840e+04,
1.069360816418603e+04,
1.070102664508378e+04,
1.070844572586157e+04,
1.071586540615976e+04,
1.072328568561914e+04,
1.073070656388094e+04,
1.073812804058680e+04,
1.074555011537880e+04,
1.075297278789945e+04,
1.076039605779169e+04,
1.076781992469886e+04,
1.077524438826477e+04,
1.078266944813362e+04,
1.079009510395004e+04,
1.079752135535909e+04,
1.080494820200626e+04,
1.081237564353743e+04,
1.081980367959895e+04,
1.082723230983756e+04,
1.083466153390040e+04,
1.084209135143508e+04,
1.084952176208958e+04,
1.085695276551232e+04,
1.086438436135215e+04,
1.087181654925830e+04,
1.087924932888045e+04,
1.088668269986867e+04,
1.089411666187346e+04,
1.090155121454572e+04,
1.090898635753677e+04,
1.091642209049833e+04,
1.092385841308255e+04,
1.093129532494199e+04,
1.093873282572959e+04,
1.094617091509872e+04,
1.095360959270317e+04,
1.096104885819711e+04,
1.096848871123514e+04,
1.097592915147224e+04,
1.098337017856381e+04,
1.099081179216567e+04,
1.099825399193402e+04,
1.100569677752546e+04,
1.101314014859702e+04,
1.102058410480610e+04,
1.102802864581052e+04,
1.103547377126849e+04,
1.104291948083862e+04,
1.105036577417994e+04,
1.105781265095184e+04,
1.106526011081414e+04,
1.107270815342704e+04,
1.108015677845114e+04,
1.108760598554743e+04,
1.109505577437730e+04,
1.110250614460253e+04,
1.110995709588531e+04,
1.111740862788820e+04,
1.112486074027416e+04,
1.113231343270653e+04,
1.113976670484907e+04,
1.114722055636590e+04,
1.115467498692155e+04,
1.116212999618091e+04,
1.116958558380928e+04,
1.117704174947236e+04,
1.118449849283620e+04,
1.119195581356727e+04,
1.119941371133239e+04,
1.120687218579880e+04,
1.121433123663410e+04,
1.122179086350629e+04,
1.122925106608373e+04,
1.123671184403517e+04,
1.124417319702977e+04,
1.125163512473702e+04,
1.125909762682682e+04,
1.126656070296946e+04,
1.127402435283557e+04,
1.128148857609620e+04,
1.128895337242274e+04,
1.129641874148699e+04,
1.130388468296110e+04,
1.131135119651760e+04,
1.131881828182941e+04,
1.132628593856980e+04,
1.133375416641244e+04,
1.134122296503135e+04,
1.134869233410093e+04,
1.135616227329595e+04,
1.136363278229156e+04,
1.137110386076327e+04,
1.137857550838695e+04,
1.138604772483887e+04,
1.139352050979563e+04,
1.140099386293423e+04,
1.140846778393201e+04,
1.141594227246669e+04,
1.142341732821637e+04,
1.143089295085948e+04,
1.143836914007485e+04,
1.144584589554165e+04,
1.145332321693942e+04,
1.146080110394807e+04,
1.146827955624785e+04,
1.147575857351941e+04,
1.148323815544371e+04,
1.149071830170212e+04,
1.149819901197633e+04,
1.150568028594842e+04,
1.151316212330080e+04,
1.152064452371626e+04,
1.152812748687794e+04,
1.153561101246933e+04,
1.154309510017428e+04,
1.155057974967700e+04,
1.155806496066204e+04,
1.156555073281433e+04,
1.157303706581913e+04,
1.158052395936206e+04,
1.158801141312909e+04,
1.159549942680656e+04,
1.160298800008113e+04,
1.161047713263983e+04,
1.161796682417003e+04,
1.162545707435947e+04,
1.163294788289621e+04,
1.164043924946869e+04,
1.164793117376566e+04,
1.165542365547625e+04,
1.166291669428992e+04,
1.167041028989647e+04,
1.167790444198606e+04,
1.168539915024920e+04,
1.169289441437672e+04,
1.170039023405981e+04,
1.170788660898999e+04,
1.171538353885915e+04,
1.172288102335950e+04,
1.173037906218358e+04,
1.173787765502430e+04,
1.174537680157488e+04,
1.175287650152892e+04,
1.176037675458031e+04,
1.176787756042331e+04,
1.177537891875252e+04,
1.178288082926285e+04,
1.179038329164958e+04,
1.179788630560831e+04,
1.180538987083496e+04,
1.181289398702581e+04,
1.182039865387748e+04,
1.182790387108688e+04,
1.183540963835131e+04,
1.184291595536836e+04,
1.185042282183598e+04,
1.185793023745243e+04,
1.186543820191631e+04,
1.187294671492656e+04,
1.188045577618243e+04,
1.188796538538353e+04,
1.189547554222976e+04,
1.190298624642139e+04,
1.191049749765898e+04,
1.191800929564344e+04,
1.192552164007600e+04,
1.193303453065822e+04,
1.194054796709198e+04,
1.194806194907949e+04,
1.195557647632329e+04,
1.196309154852622e+04,
1.197060716539148e+04,
1.197812332662257e+04,
1.198564003192331e+04,
1.199315728099786e+04,
1.200067507355067e+04,
1.200819340928656e+04,
1.201571228791062e+04,
1.202323170912830e+04,
1.203075167264533e+04,
1.203827217816780e+04,
1.204579322540210e+04,
1.205331481405492e+04,
1.206083694383330e+04,
1.206835961444457e+04,
1.207588282559639e+04,
1.208340657699675e+04,
1.209093086835392e+04,
1.209845569937651e+04,
1.210598106977344e+04,
1.211350697925394e+04,
1.212103342752756e+04,
1.212856041430415e+04,
1.213608793929389e+04,
1.214361600220725e+04,
1.215114460275504e+04,
1.215867374064835e+04,
1.216620341559860e+04,
1.217373362731752e+04,
1.218126437551714e+04,
1.218879565990980e+04,
1.219632748020816e+04,
1.220385983612516e+04,
1.221139272737409e+04,
1.221892615366851e+04,
1.222646011472229e+04,
1.223399461024964e+04,
1.224152963996503e+04,
1.224906520358326e+04,
1.225660130081944e+04,
1.226413793138896e+04,
1.227167509500754e+04,
1.227921279139118e+04,
1.228675102025619e+04,
1.229428978131919e+04,
1.230182907429710e+04,
1.230936889890714e+04,
1.231690925486681e+04,
1.232445014189395e+04,
1.233199155970665e+04,
1.233953350802335e+04,
1.234707598656276e+04,
1.235461899504388e+04,
1.236216253318603e+04,
1.236970660070882e+04,
1.237725119733215e+04,
1.238479632277622e+04,
1.239234197676154e+04,
1.239988815900888e+04,
1.240743486923934e+04,
1.241498210717429e+04,
1.242252987253542e+04,
1.243007816504469e+04,
1.243762698442436e+04,
1.244517633039699e+04,
1.245272620268542e+04,
1.246027660101279e+04,
1.246782752510252e+04,
1.247537897467835e+04,
1.248293094946427e+04,
1.249048344918458e+04,
1.249803647356388e+04,
1.250559002232703e+04,
1.251314409519922e+04,
1.252069869190589e+04,
1.252825381217277e+04,
1.253580945572591e+04,
1.254336562229161e+04,
1.255092231159648e+04,
1.255847952336739e+04,
1.256603725733153e+04,
1.257359551321636e+04,
1.258115429074960e+04,
1.258871358965928e+04,
1.259627340967372e+04,
1.260383375052151e+04,
1.261139461193152e+04,
1.261895599363290e+04,
1.262651789535509e+04,
1.263408031682781e+04,
1.264164325778107e+04,
1.264920671794513e+04,
1.265677069705057e+04,
1.266433519482822e+04,
1.267190021100920e+04,
1.267946574532490e+04,
1.268703179750701e+04,
1.269459836728747e+04,
1.270216545439852e+04,
1.270973305857266e+04,
1.271730117954267e+04,
1.272486981704163e+04,
1.273243897080286e+04,
1.274000864055997e+04,
1.274757882604685e+04,
1.275514952699765e+04,
1.276272074314683e+04,
1.277029247422907e+04,
1.277786471997936e+04,
1.278543748013296e+04,
1.279301075442538e+04,
1.280058454259243e+04,
1.280815884437018e+04,
1.281573365949496e+04,
1.282330898770338e+04,
1.283088482873233e+04,
1.283846118231895e+04,
1.284603804820066e+04,
1.285361542611516e+04,
1.286119331580039e+04,
1.286877171699458e+04,
1.287635062943623e+04,
1.288393005286410e+04,
1.289150998701721e+04,
1.289909043163484e+04,
1.290667138645658e+04,
1.291425285122223e+04,
1.292183482567188e+04,
1.292941730954590e+04,
1.293700030258490e+04,
1.294458380452976e+04,
1.295216781512163e+04,
1.295975233410192e+04,
1.296733736121231e+04,
1.297492289619472e+04,
1.298250893879136e+04,
1.299009548874467e+04,
1.299768254579739e+04,
1.300527010969250e+04,
1.301285818017322e+04,
1.302044675698307e+04,
1.302803583986581e+04,
1.303562542856545e+04,
1.304321552282628e+04,
1.305080612239282e+04,
1.305839722700989e+04,
1.306598883642252e+04,
1.307358095037602e+04,
1.308117356861598e+04,
1.308876669088820e+04,
1.309636031693878e+04,
1.310395444651403e+04,
1.311154907936056e+04,
1.311914421522521e+04,
1.312673985385507e+04,
1.313433599499751e+04,
1.314193263840013e+04,
1.314952978381080e+04,
1.315712743097762e+04,
1.316472557964896e+04,
1.317232422957345e+04,
1.317992338049996e+04,
1.318752303217760e+04,
1.319512318435575e+04,
1.320272383678404e+04,
};

#endif