root/maint/gnulib/tests/randomd.c

/* */

   1 /* Some random 'double' numbers used by gnulib tests.
   2    Copyright (C) 2012-2021 Free Software Foundation, Inc.
   3 
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8 
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13 
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
  16 
  17 #include <config.h>
  18 
  19 /* Specification.  */
  20 #include "macros.h"
  21 
  22 /* Some numbers in the interval [0,1).  */
  23 
  24 const double randomd[1000] =
  25 {
  26   /* Some not so random numbers at the beginning.  */
  27   0.0,
  28   /* Then some numbers generated by GNU clisp.  */
  29   0.89255299921822260894833866359,
  30   0.56160033401164667976788987953,
  31   0.51743003502243816003616725706,
  32   0.78419011286685927826225711525,
  33   0.64400370685467819470063888148,
  34   0.38151255107934048933308886009,
  35   0.279822118770531878839000163945,
  36   0.51983544681375980919751125922,
  37   0.314601557551148376372971500376,
  38   0.44551938964685651088492647794,
  39   0.44235192503793823441729544512,
  40   0.0040120762636767874958681841509,
  41   0.57608572759464216512285032474,
  42   0.69151953350396585566714564265,
  43   0.65634190642598148152780718322,
  44   0.68520459394253807590733184567,
  45   0.60728078832107635628786818115,
  46   0.376679934380311318950949959986,
  47   0.48893422455419005003224231708,
  48   0.59664228319132670346209747371,
  49   0.70162191594290728927555900075,
  50   0.70981089000005327192380201706,
  51   0.480574069305863387682360414433,
  52   0.369264627455974856929910550376,
  53   0.42224495444170593700839286742,
  54   0.96974027194201320964041066537,
  55   0.69950081092902694549973698004,
  56   0.366921803754944985368022837045,
  57   0.19460757354611588216534077527,
  58   0.046437559879825520495822908204,
  59   0.57694149138457596563075731094,
  60   0.49632733844850578203860859535,
  61   0.80735347459453553970910033766,
  62   0.210271595033975357161360058967,
  63   0.176539870249396534142059724214,
  64   0.75320267419158828905982021879,
  65   0.09535042912249636739069790414,
  66   0.41433965906065337672703334968,
  67   0.62189345390648146852641556292,
  68   0.322595610794052908153116342595,
  69   0.173860860827838938281708881865,
  70   0.55258425878412963601205794028,
  71   0.066559056629606284504735241978,
  72   0.0193835990781649263368095562556,
  73   0.127101629778251450428653553143,
  74   0.9603475517586241593077319367,
  75   0.68429794014738591042302507235,
  76   0.0139808909843634026741151214975,
  77   0.0036035679428138856395527711611,
  78   0.072656401341518399752950821809,
  79   0.229562863635014486626281702425,
  80   0.88337277579960676546469424767,
  81   0.88850212167800818244030104263,
  82   0.208063225990716089095767541316,
  83   0.268304917462565269805874454916,
  84   0.3195427196271617997151392088,
  85   0.59101407246003811289573881403,
  86   0.972093867752368095080492689,
  87   0.409246208960242309650511849637,
  88   0.84250639316418167849010246997,
  89   0.063842712141624332977179722113,
  90   0.96470327141354888687046060373,
  91   0.43109879978424216966175314888,
  92   0.14551248610248934836482236208,
  93   0.84819094513299136408788493212,
  94   0.41166757935215520377191731704,
  95   0.96020915727830366672170130175,
  96   0.55313106883839046701902022583,
  97   0.9796595451013758579218900134,
  98   0.74222694300533435700276764516,
  99   0.117294243075539310976051880564,
 100   0.32216824750097146958151447387,
 101   0.59090211400137031908131441,
 102   0.116841680533127258304897076543,
 103   0.83595865401141052310417569507,
 104   0.249488155772987988074361149176,
 105   0.67896015287499211280971531326,
 106   0.72256498621401843299673078876,
 107   0.327315362968271601258667297595,
 108   0.37438214921868498405279953481,
 109   0.76929694812658272272027330778,
 110   0.44282297788821568912463681727,
 111   0.59517407740270913902014268964,
 112   0.346217547960702024419571713567,
 113   0.68339868731911838904373225224,
 114   0.057507087039986776837238366719,
 115   0.1189343986186977384509521024,
 116   0.65646666532916174831489781194,
 117   0.80925124288745606089697795707,
 118   0.61302937875769552609444313984,
 119   0.64367434863387777107222872563,
 120   0.059228300879437554416166010005,
 121   0.76899237494115809397158171526,
 122   0.335797991302131791511629123206,
 123   0.72923178692628392090326699514,
 124   0.79300056654108221012876564405,
 125   0.58866760551158502690719665335,
 126   0.65249222174748700395779659047,
 127   0.79573528799715877963614353006,
 128   0.101363067664632247385474166088,
 129   0.392494669960902131436398643207,
 130   0.37323453200630776302168616197,
 131   0.29857554596542776498065634631,
 132   0.9796202149626312305197715787,
 133   0.58770219934833805722677794788,
 134   0.126574575737099431915356308504,
 135   0.51086682994362911961448609847,
 136   0.26221303911946316754295166201,
 137   0.87331402410090670707406246035,
 138   0.08604799064198292716037672196,
 139   0.77880380648915901962140523059,
 140   0.34131646312914811415381942246,
 141   0.422787222735822749759714960156,
 142   0.16550478231620269333824890372,
 143   0.84087065799129220871741135711,
 144   0.96561976597443996963329538915,
 145   0.059890627133354026356081805998,
 146   0.09359839900604706997291172522,
 147   0.61463026659668017286248279853,
 148   0.220582135665522265733252389516,
 149   0.30146695094150797543070759948,
 150   0.406591688270652513808216198946,
 151   0.206959751707199812083987569348,
 152   0.71382992952779021033600406503,
 153   0.98971690700151825984363090029,
 154   0.86339958328134745391858859595,
 155   0.70037828363249257457230217791,
 156   0.97380974339470107231135690474,
 157   0.9184635965630883290893011311,
 158   0.418605216026507942885819265225,
 159   0.61793227858714759711625818653,
 160   0.67394880797682685081908511723,
 161   0.98871101941805039780826467279,
 162   0.65973593853137069988371349845,
 163   0.93348525072186907424189028727,
 164   0.59164378220465485142298641014,
 165   0.95303768733773138214124075961,
 166   0.88667310242538944858141870801,
 167   0.83785319781204861623008709825,
 168   0.54026788227426708201242457367,
 169   0.74842599257855801522259951132,
 170   0.286624102305531463268442510375,
 171   0.41180484980938874161376712508,
 172   0.22754664620316922947541651384,
 173   0.62360609793949755240041318939,
 174   0.3311618194042077047850111557,
 175   0.315407885695867020730009836503,
 176   0.215221706711430951961780213436,
 177   0.168600630933631406101821024413,
 178   0.62661489373200405241464923618,
 179   0.95357070304277219756741072036,
 180   0.5186418766697788447635039428,
 181   0.70772930521061953327927296944,
 182   0.410376884797056150221504703145,
 183   0.39705302343406249619577860633,
 184   0.79215885822696034431481699125,
 185   0.157831717946112504384603002152,
 186   0.26892306298536012837855426922,
 187   0.15697088614321016223211167568,
 188   0.41395315712905823355235182393,
 189   0.043977876945327860015049914653,
 190   0.91453495544799358550673657283,
 191   0.46230093259088633973148827911,
 192   0.79479146768024434444120965094,
 193   0.1466704986407674407377422815,
 194   0.093614591443204076599999803382,
 195   0.66061870961706149406527099303,
 196   0.087462146328394574476138187113,
 197   0.79683664444310818297700615557,
 198   0.39732728185755441060070738751,
 199   0.141934473990413594291362391075,
 200   0.63111751995951919258061547632,
 201   0.78521985432793823024330967029,
 202   0.53307346282606806792796696141,
 203   0.61679109370763781010143645189,
 204   0.40696293619387120891515025426,
 205   0.68670343879278712242412028794,
 206   0.0115112936831136012901340526452,
 207   0.70866056737692430987650236649,
 208   0.75378980574358943122474800795,
 209   0.17133202766710894969283150847,
 210   0.36771201738922655520549864974,
 211   0.64614182581953931840374311331,
 212   0.354495602088990708111406368474,
 213   0.96418771817934443444348833491,
 214   0.51633426669933834634574104246,
 215   0.064671329812306055349433587193,
 216   0.084335079914541732137341401384,
 217   0.98578018340150609333535890283,
 218   0.32988119060114570391488875477,
 219   0.70568290443337103364762141207,
 220   0.7501960060851696034137148851,
 221   0.141312840936106004164373056114,
 222   0.60721022154106372815080238296,
 223   0.49179275887283771965744826261,
 224   0.85530668893284708999269819019,
 225   0.09730053915339358769067661488,
 226   0.48817911888023094845428570434,
 227   0.37116312252354470380676793579,
 228   0.61870369881699387959990992873,
 229   0.381874188039839457469043174076,
 230   0.68193837613090719561872304949,
 231   0.4773618313988618747215621251,
 232   0.152383599292709764750406667286,
 233   0.54317522808228983459963725598,
 234   0.363848788591302782268887022354,
 235   0.0105589810271147011378412305973,
 236   0.55582445068669939957392951111,
 237   0.99910376130213936748996659383,
 238   0.90286867348280161480903197439,
 239   0.48268382934936288156485037692,
 240   0.0976084557356802030533675394,
 241   0.29004949962481398455881920169,
 242   0.99169758897256717005011514856,
 243   0.20722895154834288274430061308,
 244   0.50294863638464584121275744208,
 245   0.71094033855350495714847377558,
 246   0.94078709219520224551350834268,
 247   0.48088262771516317628650315489,
 248   0.80538698628980761175811796611,
 249   0.83495029615293903361580945571,
 250   0.67996381940825251937974905761,
 251   0.57936805772275234468590364926,
 252   0.41778137764942046281708286844,
 253   0.161602687591454506771276482303,
 254   0.093910625156097743113739432334,
 255   0.45716763620641108625606409874,
 256   0.96455075374827233820027584808,
 257   0.5179966880512917274934448216,
 258   0.046797382046060065926143985952,
 259   0.83673567319931334127111064225,
 260   0.44224504444533247245974476514,
 261   0.73281179385894336737033582786,
 262   0.5642490153724193432309549673,
 263   0.83700200507325250303481208805,
 264   0.152714941779871552944298597052,
 265   0.38606607994977770238226473985,
 266   0.0155140917516105439042442246577,
 267   0.51621537013393688713546096688,
 268   0.311969390991657895966526156064,
 269   0.83890647777450698803932943984,
 270   0.54370750820133482930695388638,
 271   0.98636765788772465929756760473,
 272   0.77334255661128878905675504339,
 273   0.57070354296508751519811368688,
 274   0.8365252076669013372866223481,
 275   0.344601601940890721182485798794,
 276   0.92658930620470543221158939208,
 277   0.72724523363899270076210273102,
 278   0.413672082025645586061788451734,
 279   0.5132836422023222169840403333,
 280   0.82135610583961360173883281975,
 281   0.423835065039748889417547786563,
 282   0.87083598844595488941471761572,
 283   0.59009392451459866513886634656,
 284   0.206124826643305920436961792363,
 285   0.288685540685143988030522421633,
 286   0.7944357933456167153993184889,
 287   0.090945230657758780394996530608,
 288   0.52981750421369669363095418817,
 289   0.091368944984485824360107751981,
 290   0.81824925769562351657564377069,
 291   0.083315412912658535228751011063,
 292   0.59602276778799576464600065047,
 293   0.52258035262146456789454411102,
 294   0.394692074165738897132014378974,
 295   0.92031214264405188928824363967,
 296   0.32812665356161216265971156268,
 297   0.79754299890007289545033977389,
 298   0.3029021512227565310021437326,
 299   0.81425785760698537744367921928,
 300   0.85199399843570233736733560413,
 301   0.096629890212080240754541391968,
 302   0.60643798959967098211181910285,
 303   0.75368518979236587723780129098,
 304   0.451368813651510369666120626045,
 305   0.86189868235067352904955566961,
 306   0.239506411296874624231401913963,
 307   0.143392266376287906568670938457,
 308   0.035585084401323981008798496622,
 309   0.89407531932950775763701297226,
 310   0.56699767164913732414312190205,
 311   0.6107715946195223295493238966,
 312   0.980870588312723808697191463,
 313   0.37603666613089681502774907483,
 314   0.19565477083291620146833762404,
 315   0.70326913680165706368122461762,
 316   0.98247770640436619202690080984,
 317   0.54911931698472764719220618506,
 318   0.96749331150477343995263612791,
 319   0.9349501605275792139661332597,
 320   0.067704019779021886031495084945,
 321   0.52883185005352261786874768842,
 322   0.03879817199556086106868125058,
 323   0.011268895714104342862021635882,
 324   0.86781395233112768504418642287,
 325   0.73610697666830606371057497872,
 326   0.22595829849389174304359852447,
 327   0.95990840938724981323147621815,
 328   0.5938079875208820675776232526,
 329   0.78655922365792476391655372464,
 330   0.51099073264725007373467108776,
 331   0.66474884887866769539664215292,
 332   0.88640025828226102852258218854,
 333   0.39889893489572927635368967129,
 334   0.76340426725003756852384366924,
 335   0.485534753598641026618647825146,
 336   0.55957578573824837450384728978,
 337   0.50840543283094885180866842941,
 338   0.0102415845792896532313226969615,
 339   0.74666891036262398733922051708,
 340   0.49044748088989431070743849791,
 341   0.184017043174756439606592004597,
 342   0.0225210121470402648790231578307,
 343   0.096909683465740960387467976065,
 344   0.0521874432095560437920256545446,
 345   0.108114343037383115951564617563,
 346   0.77430486784405922952977031491,
 347   0.73286432949907824441702845144,
 348   0.083559249182272369453587951223,
 349   0.074541345541671560054508020717,
 350   0.55130541064331728019681677403,
 351   0.101450912226971008587146654246,
 352   0.74564503962660370005995595861,
 353   0.55903832180264925580029280922,
 354   0.86098138284846671753408133719,
 355   0.76146956314354797691373262733,
 356   0.5569854467166466965564479865,
 357   0.61138555623626762560168304163,
 358   0.93778268377974305185411499629,
 359   0.106728342608615813606903105742,
 360   0.51139895550624845300079248199,
 361   0.8826404150665399364200384063,
 362   0.79849755952621824621632991954,
 363   0.60058338183244813128378689372,
 364   0.57271235605091257806409062354,
 365   0.134476676178095582804914204515,
 366   0.62710051406343298533266304307,
 367   0.21517566131268423511744492316,
 368   0.87763268502269127056352092234,
 369   0.259516013975152388767641295316,
 370   0.54026961752737864438921779715,
 371   0.0321012344232942464157113655476,
 372   0.047765687217921465801489989111,
 373   0.17851281529041807770891682623,
 374   0.67864372391481596436180177405,
 375   0.27188630999531652193578141334,
 376   0.76570352378902765382129471855,
 377   0.55727605717645959087760838806,
 378   0.40035295538031700787360193533,
 379   0.65772683660586524086245866733,
 380   0.87515739410383285146563935658,
 381   0.51637173718066431535845791928,
 382   0.32843440805452173782945632394,
 383   0.46789250836790673252530282969,
 384   0.153916136058705475580104911632,
 385   0.38115724589238346986896925035,
 386   0.96911901452270741576104655076,
 387   0.327510878721849788805057952285,
 388   0.52921188196053063832762822112,
 389   0.357891066893689952162669812174,
 390   0.8109495999496825638917226258,
 391   0.87378695338223548954000159812,
 392   0.071735687760291841872657613394,
 393   0.22099818521305441851106524174,
 394   0.61319403424123059973018445501,
 395   0.49185069904977836269777464774,
 396   0.8465618819298531473261910176,
 397   0.88263955123256235889766657732,
 398   0.264605739218701311737446373095,
 399   0.157257748694727606809000832224,
 400   0.61172692557424578980817509135,
 401   0.89224381101792427145783648267,
 402   0.049436313890546252030141534714,
 403   0.78472068655126867546237630366,
 404   0.94890896727672958163705440614,
 405   0.61244719025309458330037069759,
 406   0.69652639673616920270100103049,
 407   0.82306805868313923466426022855,
 408   0.4619352653236511042512479492,
 409   0.248913888569715263431474781448,
 410   0.64972077945521993267494748532,
 411   0.058989138867897862567374093665,
 412   0.97969837050674699927934092348,
 413   0.112860503606029382332397067852,
 414   0.9148268966080465389473749031,
 415   0.80522292073416096202056634334,
 416   0.80810563925192214527344776336,
 417   0.082994810842601316055993203972,
 418   0.58154183958194788097113770541,
 419   0.91401321304178026032151961143,
 420   0.064162440925738934087179609749,
 421   0.15233762499249088696399602351,
 422   0.05051666992337641462246832006,
 423   0.138526581114846840617440323377,
 424   0.3330645447918149831766264793,
 425   0.217487368997014213919568641696,
 426   0.61893770768550649722673903221,
 427   0.48128956859001312165262121487,
 428   0.67074178502738313699688470847,
 429   0.74389636308055141796746779725,
 430   0.78623735396470085242463142878,
 431   0.74044466560335570728816983391,
 432   0.44977042205766449238521848558,
 433   0.04936658918716696558210777333,
 434   0.46898154881467544198433735515,
 435   0.86577421926732888331279455256,
 436   0.351697801257336354285066689416,
 437   0.44607679846684358775746123434,
 438   0.68542184287580537292736482205,
 439   0.044146424753083577398366558491,
 440   0.84496717026871403905274974765,
 441   0.20398318496314438897842101827,
 442   0.75107700174605698650069666924,
 443   0.178571061661964354577482608798,
 444   0.67178502534981979941629966218,
 445   0.90847842600882488644789391115,
 446   0.073076683947302775918335357377,
 447   0.33981323802799502107773228774,
 448   0.88205531070102240708858032672,
 449   0.52395959911163033140017417074,
 450   0.339537812421755656306362620887,
 451   0.54102447887624739438002987695,
 452   0.99615637434542139613844677579,
 453   0.91178029521112995461052949527,
 454   0.75825739605806537625994927603,
 455   0.20376049709427102495755901889,
 456   0.414724980644126108685694310425,
 457   0.33340705339227162790042902392,
 458   0.63442350111338002489027718102,
 459   0.79083735924049231993808201264,
 460   0.7022290803727963570326957922,
 461   0.073051026670174816217706335151,
 462   0.50842348505687696224462184336,
 463   0.32363091931107924009593033016,
 464   0.097074638787613630803324174721,
 465   0.79231345620836950165162896374,
 466   0.46134517653790366185204412042,
 467   0.87767180094474465071641454817,
 468   0.30504377737897498569142680272,
 469   0.96430402804903305707372788262,
 470   0.58722709934909516402891605024,
 471   0.36287829330987989626587492725,
 472   0.341369045118572012709880807167,
 473   0.18622546427505557603629823709,
 474   0.71794779555885705340742601105,
 475   0.098775720656078510422828040021,
 476   0.94170390436210924588938028149,
 477   0.6256516749208606216856038288,
 478   0.84990648194056707180867958453,
 479   0.24897158268824763099382644974,
 480   0.67126976686560821454618204853,
 481   0.18287142221906188751198231263,
 482   0.58301735289988287890086250316,
 483   0.39451451502323596545833498888,
 484   0.64778726863510310777659172018,
 485   0.344060647976610102257104623935,
 486   0.8543225374577925606075052273,
 487   0.41721025737118350088955048104,
 488   0.346301150923723212219486824146,
 489   0.430145349151890094004681136873,
 490   0.083653676599147505357408467754,
 491   0.89927285917733406113015320169,
 492   0.87717630249665962395834008139,
 493   0.114609060439245285884826496387,
 494   0.19079403943711412757743782207,
 495   0.095752662525740063245815699042,
 496   0.79249438764728213221559489213,
 497   0.36889557473162465630046043798,
 498   0.076691690566591062968137595944,
 499   0.82502767429905549906741868154,
 500   0.7665582347663079379259164121,
 501   0.40329445688627141530172819257,
 502   0.76025417855373928649612014969,
 503   0.67742016809536470259225177395,
 504   0.56458198627250149175789836481,
 505   0.78923506303765674533158921804,
 506   0.242546191857944356752822856477,
 507   0.5429792204847717222270173404,
 508   0.7269010821579782458839227112,
 509   0.68884017933657182784660476876,
 510   0.037868346502260087811459749823,
 511   0.5900507745679403546108564628,
 512   0.2867946536016681954708929644,
 513   0.47061390957475445523849010039,
 514   0.51289737877965767076806069599,
 515   0.422963220866519099525024712084,
 516   0.056516063514784913538055836342,
 517   0.77559606292381102490968685122,
 518   0.44812023547000818124896526252,
 519   0.8496368064876247362896528731,
 520   0.272242276648834925536741986616,
 521   0.21366791927514210787832263868,
 522   0.458126557153035507756298880855,
 523   0.59095285049337797286946531198,
 524   0.41387171106200290943847880691,
 525   0.040527832792286543640976926214,
 526   0.84749051864346812142321430329,
 527   0.6591922374100337646083630177,
 528   0.30504037894556796180304594549,
 529   0.69588062596190762407598122745,
 530   0.54615362946297678668402889519,
 531   0.27179536774730804380125320985,
 532   0.16312965572910266758089041195,
 533   0.60443803311418335000528681396,
 534   0.76221957063947757300487766314,
 535   0.0012561481228798307955579245318,
 536   0.38477311712200424042679172286,
 537   0.86336953839931184684851388121,
 538   0.85132017314817690655384788334,
 539   0.79741410166633177181313320738,
 540   0.81142674213295830272567127246,
 541   0.90095974521916505411272740187,
 542   0.461262866736651478343958282766,
 543   0.163149749038393754125992055513,
 544   0.079563568933303239293664877234,
 545   0.0076308467066608702534098522771,
 546   0.74020408989686798939059759005,
 547   0.68004244363120265645245845544,
 548   0.99423282025586676895879517721,
 549   0.256512790150101579655974619204,
 550   0.15841489307390214447222985222,
 551   0.53156533193583516285295078457,
 552   0.51195175518666885397864463638,
 553   0.2688502522458221215136352473,
 554   0.290743998007688539265414246556,
 555   0.375642431327791011131765421904,
 556   0.73366824563603699669790620984,
 557   0.89031055476039433366324605036,
 558   0.63269458446317741594059410575,
 559   0.79677646360837164675956632,
 560   0.91096051787867659208019728176,
 561   0.056411022047894420770349313174,
 562   0.7117937367428418076554349793,
 563   0.494496454398059649677550547185,
 564   0.9944698091905991687808626336,
 565   0.195654008095567563746040882677,
 566   0.33245249703376584453346565181,
 567   0.91671965905832444523554539619,
 568   0.104159073216349402499760928077,
 569   0.78250381705179599027513221262,
 570   0.82221952254403323129879405024,
 571   0.25404653774104883427079980313,
 572   0.89334850648967094099280368977,
 573   0.2721479244387740074938025269,
 574   0.58627710421889854554604323774,
 575   0.80740872172002770008164688167,
 576   0.295213737773499230779293451686,
 577   0.366266263469556210902410635735,
 578   0.72189449997560167388059780325,
 579   0.91339160960295327548014703572,
 580   0.27978723834100283634925494393,
 581   0.44312275285067091147157546317,
 582   0.88264479919648468925459438057,
 583   0.74860386620420068665117140949,
 584   0.97534502025842784289380076051,
 585   0.183653687608870314454061893335,
 586   0.14143760686328530307343938507,
 587   0.7794390875763962068165432699,
 588   0.79988123088296718350409621263,
 589   0.91344402454829897860268279997,
 590   0.3003753710559256572305330721,
 591   0.92236868180619898327118824659,
 592   0.85128995509445007265453349716,
 593   0.51226586850988855988005111668,
 594   0.59328586801467434659081264762,
 595   0.131543061349700789237108200816,
 596   0.97962864281984756641024957818,
 597   0.80003961712390827564285728721,
 598   0.07332191035039234849987853587,
 599   0.33710892945255754021249327366,
 600   0.237798240512212115424045579506,
 601   0.050628096786899757905464602857,
 602   0.36368141580193860149061967396,
 603   0.074547282281222729072803274018,
 604   0.32013351651022219595136046535,
 605   0.50087363542319392259892635316,
 606   0.95534128322832584718763016378,
 607   0.63089810554419660091974256912,
 608   0.45937043591639452731937380837,
 609   0.77794827072126710252068287081,
 610   0.5833967217973934570703322242,
 611   0.89948711130168823436943591707,
 612   0.88448792344727137087709578749,
 613   0.75774410588649351850782212564,
 614   0.51545850808454807305763364038,
 615   0.89535564141616759448334976604,
 616   0.433876155086630438489414332084,
 617   0.263145194001722566517185175524,
 618   0.094513715303174637696079970882,
 619   0.0067905149976316075236601623182,
 620   0.3746548325271489972742277758,
 621   0.81418012245523025207375976459,
 622   0.7382555515800124086679648947,
 623   0.71505454385778976492869269043,
 624   0.7698698840252614242858413632,
 625   0.53096667868591647121855295207,
 626   0.5913146508318579789498085478,
 627   0.82865413011200335887487636747,
 628   0.246477924915753655378269255135,
 629   0.7718625116939460952174295485,
 630   0.33088224685104582360581424038,
 631   0.077396220323469426942810035952,
 632   0.399851739373243384531661374094,
 633   0.74828949567652386217126904324,
 634   0.55533476993642340021791702209,
 635   0.475356366587838670689554086714,
 636   0.99199926249299355831492581518,
 637   0.60739053074816626181185925167,
 638   0.94570422855790142383862352906,
 639   0.67410117583869264525962136333,
 640   0.99340016295179621471645098914,
 641   0.30521664837678549625426072163,
 642   0.82786899862234431119578444516,
 643   0.0246054418785779831964997687095,
 644   0.33057040500642957115284791089,
 645   0.325865542252271051046671982904,
 646   0.116469964535698881624567000313,
 647   0.38792519202192930208550481713,
 648   0.147033252049062199325747990948,
 649   0.333360890210745561370686771174,
 650   0.267717098935309378552279527125,
 651   0.473606191830554736751491306975,
 652   0.69379726024488030302072707274,
 653   0.39866105325920152799379542147,
 654   0.075996151521605600512218326895,
 655   0.43692155239290098173990417979,
 656   0.63183509185797834489905365016,
 657   0.327726835190132824885685947736,
 658   0.82769389015654780671213364517,
 659   0.38036542617183448008870457384,
 660   0.06416363778906221378580326597,
 661   0.95989693996326393340364540321,
 662   0.77473792948077472252492320019,
 663   0.73353080354752465520384745159,
 664   0.79531316211939777703706647305,
 665   0.31887745411495362933791547194,
 666   0.5504233366621661345254817397,
 667   0.133841546560512334978343647306,
 668   0.93323316393590598213508657757,
 669   0.219534116905903225236593922786,
 670   0.352227557302752346568799070044,
 671   0.50699048681296139093781410327,
 672   0.56063256677949754339755086295,
 673   0.97859418495668224120337606178,
 674   0.43217748779939454097021337034,
 675   0.6118800794139137562939270606,
 676   0.8826339041571606455078384688,
 677   0.190654349423411314990846249777,
 678   0.0272323818569649486990095499454,
 679   0.13501820915175992368033644254,
 680   0.34430252524220055863712676536,
 681   0.135013324503164182485257894453,
 682   0.83301344777287732687815180326,
 683   0.71146270180847724757833953093,
 684   0.059584725284656364940760846576,
 685   0.124388342467555907606115942139,
 686   0.86760011350010388002288781466,
 687   0.43443235444248399222879725088,
 688   0.62257025564267773540408523682,
 689   0.42224480338939459869117553607,
 690   0.122203729563367693705179104655,
 691   0.86763329805228175173701751082,
 692   0.61852711996472568821866689006,
 693   0.9981036801779161471700405786,
 694   0.177126618334123901292041594724,
 695   0.37033568941002233661950847289,
 696   0.81720705981865203019383851894,
 697   0.194752883553301253160228353622,
 698   0.5399475493930702257701115294,
 699   0.21555050095259535717046390477,
 700   0.031480898918419061738395489394,
 701   0.0108626235742996694506893658131,
 702   0.29439861659506237876675916168,
 703   0.25969803792963051605662393213,
 704   0.64305111681301349941082616522,
 705   0.398301763391130971280749586885,
 706   0.82959279528518208376169366062,
 707   0.494452121232255582677051524076,
 708   0.032046850110252624668328949032,
 709   0.304808216164121089322038632124,
 710   0.43743086801077933536332835933,
 711   0.067635143022119684849606244687,
 712   0.062601171413915686472972559687,
 713   0.80704249768256597155262089974,
 714   0.049090587901867220876053770281,
 715   0.14290280489067737067786839775,
 716   0.85153414385190808252068833198,
 717   0.052035578866778404379096518691,
 718   0.84803461110488710482683367176,
 719   0.323391780352303842858779454674,
 720   0.52713499343541339922976296515,
 721   0.91034109375479019837692785976,
 722   0.106146556890642346491650008212,
 723   0.291532189474064930184344798145,
 724   0.330494959183718721493342551525,
 725   0.6236537208920888603043773443,
 726   0.89122121355780761549659392994,
 727   0.51799810738861013193016943087,
 728   0.249256177739037963581221438965,
 729   0.76322106809612787470242640888,
 730   0.97852511972383831461233976406,
 731   0.52255677693690499607690355455,
 732   0.4450034860583097087122794844,
 733   0.79114162250324775713725095404,
 734   0.94756217345536380876998110362,
 735   0.58677918818329126036021764787,
 736   0.84845252924877884299669190981,
 737   0.30081720041370757827674016113,
 738   0.27920525653128846538023076229,
 739   0.33471466998109052439193176801,
 740   0.77432114969973711331784009482,
 741   0.79975078898170550460312445454,
 742   0.90029380309155505829673878957,
 743   0.22735855793472972935624370264,
 744   0.83917898101167717908999667914,
 745   0.96001063929762371813642857618,
 746   0.80557845129235602137075744771,
 747   0.227828260252387705994553631692,
 748   0.45514459312672738783331856798,
 749   0.6996049090759249573037751274,
 750   0.76407211467383802388153449844,
 751   0.35750763601712374361686514082,
 752   0.090157662209549066428683554241,
 753   0.95043897530001474792481472865,
 754   0.97262166470012788338731033975,
 755   0.203045895422423613196589718133,
 756   0.217437635156560627036179586425,
 757   0.5222956932204809424910993278,
 758   0.52865060708104384493756729767,
 759   0.97715373213739469800445297208,
 760   0.5740174414400501666597490431,
 761   0.172348314420047937640907870932,
 762   0.57197038071649167881433868039,
 763   0.26289948915209002196358225729,
 764   0.177903112174726341611524884074,
 765   0.74917239660013094610681443816,
 766   0.59837085384984040836442442706,
 767   0.065070324689375259831989322427,
 768   0.44807493892928848916566949155,
 769   0.59027783360778386064107723777,
 770   0.122058971772529617939528531479,
 771   0.18965096763129552013799044806,
 772   0.179455202785822708296801760066,
 773   0.032170979041981235014758366854,
 774   0.297222966386620738492021519056,
 775   0.91323423393143490893801153646,
 776   0.75998869946268189685327906564,
 777   0.83934073246383862944110864099,
 778   0.17898779712956184324621175982,
 779   0.480986398855505957279379560397,
 780   0.60860751560721289727164165043,
 781   0.298927282590269088379100218673,
 782   0.77935020447343759584143119835,
 783   0.480545242963934573648858250607,
 784   0.85619790637736236353631524289,
 785   0.96488893882602300700764346564,
 786   0.36351865634843046736230405883,
 787   0.82895257550724293657223335349,
 788   0.79749691055514662573933190753,
 789   0.20106705267868388883102752272,
 790   0.33623918491977977623116871123,
 791   0.93256466340279772952587363977,
 792   0.88648669501682764515636262464,
 793   0.47662235152771500250187825963,
 794   0.52659238455883068245922982067,
 795   0.94111676559395948458425469814,
 796   0.323317713690175795284098362026,
 797   0.34796405933091263994264450729,
 798   0.52445433363119391822452105405,
 799   0.525140277317638922334264421,
 800   0.64469482443585357444532895759,
 801   0.33472685924872903603447879104,
 802   0.42400458791646499703641118014,
 803   0.8222662798441265944554029489,
 804   0.75524567154228028735673060411,
 805   0.90790601849806560799894333131,
 806   0.75164241313793249434488428193,
 807   0.38724602290468111557712203885,
 808   0.36352513950081020449187506395,
 809   0.078398790907179055722325452963,
 810   0.5003676822199407758422514133,
 811   0.86055044548361328714384972985,
 812   0.66748567445598821900669819042,
 813   0.95450644393912187127659765969,
 814   0.9536501355878008523425355652,
 815   0.56207573012593503802043957099,
 816   0.99057795680550440527031916411,
 817   0.056136908924222021770088579728,
 818   0.89322960593560085272815946927,
 819   0.19380351076299398770342941398,
 820   0.036881975481577328074706357897,
 821   0.38834900979665334617449710449,
 822   0.77196507761008668275581490587,
 823   0.87539115393397618421355963533,
 824   0.9131721846286054396553858461,
 825   0.62245648254908013430163665866,
 826   0.56021174819199355559539089633,
 827   0.86987294559046384230921358438,
 828   0.474584307464076041054198211805,
 829   0.37224942408757353492416873571,
 830   0.198307276357215222087716993615,
 831   0.81633548414328354008913860616,
 832   0.071192681637945014051745371309,
 833   0.227203421058334439883665388655,
 834   0.50527083273847576806586104904,
 835   0.25911353175247232791676189983,
 836   0.103567996992606824957067451526,
 837   0.98316826751311017109085781757,
 838   0.99206610065531611133123425907,
 839   0.63838444880264351660305680771,
 840   0.90013304139719692321619239255,
 841   0.541419881593941428911392944,
 842   0.434681681520065487913409442927,
 843   0.0277935905905462584654818408167,
 844   0.28736085880215502013374946299,
 845   0.204706679291990486471085620508,
 846   0.29639415300325412139805373353,
 847   0.316818074164048785111401123944,
 848   0.58068268044073033182148412246,
 849   0.137736206950094621238996907006,
 850   0.80907996549523150166492783923,
 851   0.73799561611209772635015717353,
 852   0.84013433924397440368969968592,
 853   0.46126521311414726401422152854,
 854   0.78013716447507497359555980298,
 855   0.83405708922951231042933175851,
 856   0.6366367969739079258896472192,
 857   0.77353748358406402598000037557,
 858   0.17489624725635947111471117775,
 859   0.80267952648428412026314875447,
 860   0.80437106861315296029137160672,
 861   0.62834462177566783487584779777,
 862   0.31539602345858033626133832055,
 863   0.50541890853061839219557074283,
 864   0.0195874476781850222509795360627,
 865   0.011676447193909007242643314705,
 866   0.85675479754070644130150816794,
 867   0.09391269154749661204040398199,
 868   0.369625667102334643216258483376,
 869   0.84311577046357953313746551837,
 870   0.66438426715728382263582851036,
 871   0.70530906415261448155650458603,
 872   0.446783684004800041373395690117,
 873   0.75627790284213576819810990131,
 874   0.57190285913753158265774292274,
 875   0.97785681370875218892539297465,
 876   0.0244503386494348881614690746194,
 877   0.48528430854909558202793141933,
 878   0.89436155397807056672243211894,
 879   0.40757489194485346255194449191,
 880   0.91772837786834838909335779229,
 881   0.28020326531649972709359017096,
 882   0.28847822326776188982020803144,
 883   0.93193769743225684077624356649,
 884   0.58336147304815741644785105161,
 885   0.4004241800179331174134885947,
 886   0.265790823692672203607418801725,
 887   0.4137092141145146388568879939,
 888   0.0255090449126572366852573357318,
 889   0.47601725598948555645487446626,
 890   0.69141516452580797436419291497,
 891   0.187709862166242786826507443003,
 892   0.31177816288567708916778389045,
 893   0.79635247302484103596788484137,
 894   0.14648403361265752358955335086,
 895   0.0088027047060531475573345163528,
 896   0.90053967411241805345616039474,
 897   0.373822238382428585287035417224,
 898   0.94303097002109978273901800507,
 899   0.037263906643698883423150604649,
 900   0.98416823398276433881119247311,
 901   0.257766562836474661728601317803,
 902   0.09336855716941364387765222813,
 903   0.057604551843195630210060755775,
 904   0.37732024813036636644231432449,
 905   0.437099108019093398068604946814,
 906   0.0298274889889844501626534131975,
 907   0.54161045457572229928359302347,
 908   0.354192069739745951755754451894,
 909   0.9952629304832433588789284291,
 910   0.61362350596285189174752077338,
 911   0.23176197923774029736185020682,
 912   0.259000332877923815426717028414,
 913   0.77171708810079063604185854121,
 914   0.87278431247491539306511051532,
 915   0.386310463821549823085972724515,
 916   0.19043920209178263945663905422,
 917   0.77200547833114724875436606573,
 918   0.2683024354984293205497398925,
 919   0.144270112550972640008446091075,
 920   0.36996280314557984925474224612,
 921   0.163548224543250866742712583905,
 922   0.54541238293503241055380526708,
 923   0.54270760938500008382580072956,
 924   0.7374073253240524865446763851,
 925   0.93470960326436177572863031654,
 926   0.71417607213823278615975270201,
 927   0.65837463356664939532769528292,
 928   0.433323451649582925271830911365,
 929   0.79664580661766246494864588315,
 930   0.392079017934601610514677836005,
 931   0.212454387416532999103471570235,
 932   0.198678082418012501322802116335,
 933   0.61525672800559338657275986197,
 934   0.99339589895181138684928419014,
 935   0.53563057949945927383392076793,
 936   0.68817192513245948798192690082,
 937   0.59671938169380086666866042956,
 938   0.5686075254645125832635026196,
 939   0.25860953535454698758704936914,
 940   0.60779864941995215785819783969,
 941   0.46515241662568547274625942204,
 942   0.8756966078479474164213834749,
 943   0.89153160343113076353740745469,
 944   0.57055911159151577684982200009,
 945   0.39366246576557783924065683256,
 946   0.53789676931469921495851209609,
 947   0.95842028586447684249630374944,
 948   0.25218284880717367924827402845,
 949   0.23718965807272971860203662735,
 950   0.334222632819004380754702693406,
 951   0.6370849366068287810411454729,
 952   0.722665796162802454203702773,
 953   0.50216248905279887048328225791,
 954   0.34529823309520970630714708672,
 955   0.45098892404492692601908443802,
 956   0.64640019115293913591196874603,
 957   0.137077316379736192931987264458,
 958   0.29368115076039970149731521521,
 959   0.20091822953913855557804069085,
 960   0.066267083813833718511605782276,
 961   0.88094596104423280074202839474,
 962   0.071730322265966936504743175424,
 963   0.69735904142296779896396736035,
 964   0.91352594564083795862432502567,
 965   0.13244220377041278512040316988,
 966   0.6283911312781029516331064494,
 967   0.34896540167805105781090114462,
 968   0.6795367801751911186206756471,
 969   0.74898526486791573083377925403,
 970   0.71700182398199203349731046015,
 971   0.121142833366516620257163901501,
 972   0.32678002036857151533698078636,
 973   0.327511655875027224450064555456,
 974   0.0079152053645354575349489795814,
 975   0.84748954479623021059675156738,
 976   0.75041561033954009809301550159,
 977   0.41101693712463238996746228193,
 978   0.90155864029338267639417046915,
 979   0.35464670537047753945618208157,
 980   0.68848712573944472430623590326,
 981   0.08893193373618063124738179594,
 982   0.58932830480784385636485098641,
 983   0.0501618828375381577588978271165,
 984   0.9451968329901169788400753848,
 985   0.074994725566097580721185016702,
 986   0.191860088196691871607965261685,
 987   0.67853841063536805868885844477,
 988   0.179445375284033906887325905976,
 989   0.84157620913886056000430779083,
 990   0.7377942162322144186341324232,
 991   0.231126715579023126062082806996,
 992   0.127662509645324778320005407937,
 993   0.63062414859560283674777403205,
 994   0.55283326072907470543330204975,
 995   0.81243486031688046850257374808,
 996   0.299095175225750536694802628506,
 997   0.34284433830834748530634854762,
 998   0.92098838107935607957057329632,
 999   0.6334432153537539286206936299,
1000   0.49203336326915182548719200464,
1001   0.70089872986754081776092540042,
1002   0.410346112246289262244008861334,
1003   0.689375704219352519232614571,
1004   0.53543492718830214408075484368,
1005   0.78985504761729292283075540625,
1006   0.66802245726332267870092702429,
1007   0.75600588548341120124374250114,
1008   0.83217485519464083512235296359,
1009   0.77758150309412736979136465746,
1010   0.067382141804836913185384124002,
1011   0.7289836962356747770023887674,
1012   0.453434776313686590560640460504,
1013   0.3160796148757468204057886796,
1014   0.0098933475787107681104048511314,
1015   0.3620064234142809735084479026,
1016   0.85993179373877360456391909506,
1017   0.90684883450763884954227285187,
1018   0.75959171037325548903969803948,
1019   0.91219881792279148536349496306,
1020   0.97175430264940118917041244436,
1021   0.292364544897748356834218017667,
1022   0.126096590956329503351026499397,
1023   0.058210669685805595156500555938,
1024   0.207143479048534791976348255132,
1025   0.202837039257860939456824357966,
1026   0.459137240079351948795601640776,
1027   0.65480905235794807223708347609
1028 };

/* */