1 /* Some random 'double' numbers used by gnulib tests. 2 Copyright (C) 2012-2020 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 }; 1029