1 /* Some random 'float' 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 float randomf[1000] = 25 { 26 /* Some not so random numbers at the beginning. */ 27 0.0f, 28 /* Then some numbers generated by GNU clisp. */ 29 0.5475547223118679f, 30 0.34246776881920316f, 31 0.5392890035773527f, 32 0.7659977466712314f, 33 0.981777728216802f, 34 0.5072714919036858f, 35 0.013067187372820088f, 36 0.5939129809588458f, 37 0.8656766279019622f, 38 0.543285432935587f, 39 0.7356789332482375f, 40 0.6949986883963228f, 41 0.24549627232115334f, 42 0.5284831161749963f, 43 0.5155532691206044f, 44 0.8675046320312618f, 45 0.352112379604797f, 46 0.5531511159170834f, 47 0.4257973252348133f, 48 0.7215227011042165f, 49 0.5575120018630739f, 50 0.2520519492903103f, 51 0.3456359201929342f, 52 0.25704815923113167f, 53 0.36057213750359796f, 54 0.6627651999069352f, 55 0.9999061791846359f, 56 0.9869721576506404f, 57 0.8396349108647587f, 58 0.34769391515131565f, 59 0.9340894521969932f, 60 0.5424808409822306f, 61 0.009382726801272945f, 62 0.7172447826859077f, 63 0.862397729700756f, 64 0.698392965223199f, 65 0.5195043146318105f, 66 0.49168444269756373f, 67 0.8264031891811243f, 68 0.7559060906638857f, 69 0.13266314830856785f, 70 0.2391629428441715f, 71 0.6017152131019616f, 72 0.22027189520650348f, 73 0.41925898119869f, 74 0.9274097872091516f, 75 0.7902048244468082f, 76 0.7108913340210198f, 77 0.10649031944572607f, 78 0.4266029692987955f, 79 0.03527535488878786f, 80 0.041331843037360594f, 81 0.5192104824436203f, 82 0.9009097004084897f, 83 0.7976802929045396f, 84 0.406765756509179f, 85 0.5500787292907248f, 86 0.026198771701358203f, 87 0.12938940955589706f, 88 0.6163301794397298f, 89 0.5965154938276138f, 90 0.9714248063895202f, 91 0.8829976598456185f, 92 0.3079142008721768f, 93 0.9019455967476253f, 94 0.08118502115829951f, 95 0.79418709457667f, 96 0.08285569847670116f, 97 0.7388464672002745f, 98 0.19694666240439862f, 99 0.8747285795149943f, 100 0.4980757738068192f, 101 0.8710864074610076f, 102 0.5544461192019553f, 103 0.5535366739219252f, 104 0.8531224096704118f, 105 0.7330647502773139f, 106 0.19476121177098882f, 107 0.003267433381226703f, 108 0.7096422499194498f, 109 0.7631455315718761f, 110 0.8265563116010316f, 111 0.08996624819434318f, 112 0.08077165367195172f, 113 0.3288910472794292f, 114 0.07699719779019476f, 115 0.3832581523706602f, 116 0.22795219564408464f, 117 0.6815889165475738f, 118 0.06883556931675017f, 119 0.6645883282279411f, 120 0.0026652915245360953f, 121 0.3775784864303784f, 122 0.26117239170369033f, 123 0.37101095156844266f, 124 0.6705894911858857f, 125 0.603874286017153f, 126 0.49138756556829855f, 127 0.4120191593751654f, 128 0.15568263909489088f, 129 0.8455843808967949f, 130 0.1557418126051161f, 131 0.7969282799780705f, 132 0.6416800273925315f, 133 0.3326260772633173f, 134 0.4661531928012419f, 135 0.5103013106325823f, 136 0.46851987076092605f, 137 0.7032404652402595f, 138 0.7206429381025199f, 139 0.07292435960930232f, 140 0.26118738780412243f, 141 0.32180268048927285f, 142 0.5249542931728017f, 143 0.2258264794550554f, 144 0.2284828678399492f, 145 0.6884274691259129f, 146 0.9028427989008454f, 147 0.17484831816153923f, 148 0.5692105911087638f, 149 0.3778739413476637f, 150 0.23254030393127378f, 151 0.8332558207361702f, 152 0.9232891635646061f, 153 0.9452459425450176f, 154 0.9468869628924061f, 155 0.49990411105993937f, 156 0.8052835121615703f, 157 0.23598814519966105f, 158 0.9346375252542966f, 159 0.41044357229222284f, 160 0.9578601849290597f, 161 0.5376856180170664f, 162 0.5804421889023005f, 163 0.5990755681813117f, 164 0.5626649900980665f, 165 0.01114715984711745f, 166 0.38099296950686234f, 167 0.5083562785373716f, 168 0.24612063530549f, 169 0.8383007212364865f, 170 0.07484825288434482f, 171 0.7845452310740546f, 172 0.8176442756505333f, 173 0.5243753925074913f, 174 0.2234246588313149f, 175 0.6959988683145881f, 176 0.6777945628036938f, 177 0.7918823099563189f, 178 0.18066238206421303f, 179 0.6121174617763946f, 180 0.8338310374562098f, 181 0.5038948004728196f, 182 0.38886436956574855f, 183 0.9803320207568946f, 184 0.4602032757634912f, 185 0.05412527741218076f, 186 0.9382044088494068f, 187 0.23864140317598603f, 188 0.9414557715587952f, 189 0.6612942338268107f, 190 0.32740826668173995f, 191 0.10119708193368793f, 192 0.33505965714287866f, 193 0.005304703518218878f, 194 0.36310682241912684f, 195 0.6544306821561172f, 196 0.1916648542626438f, 197 0.6427036807312833f, 198 0.1353616651564049f, 199 0.7012355887610057f, 200 0.670269522818956f, 201 0.638947507627987f, 202 0.00685994842023685f, 203 0.7906866411448021f, 204 0.8858196316591407f, 205 0.85496288574892f, 206 0.5532859704937614f, 207 0.37081465614037246f, 208 0.4267228930541903f, 209 0.3255019267444226f, 210 0.3923590572867611f, 211 0.5019207972191081f, 212 0.9797902232862864f, 213 0.1667975343179291f, 214 0.8390471483322399f, 215 0.5679445685493473f, 216 0.00009512046962745213f, 217 0.45101151538823403f, 218 0.3244510225850582f, 219 0.42337401605641267f, 220 0.3632560558453465f, 221 0.48498603654394945f, 222 0.515860662331473f, 223 0.41320388516425266f, 224 0.9376428895448298f, 225 0.9307849853356603f, 226 0.07548279994910978f, 227 0.7034421665811081f, 228 0.013999751319752951f, 229 0.20553606388926804f, 230 0.9953400980883145f, 231 0.3596605455054189f, 232 0.5299985801041905f, 233 0.5980702503649645f, 234 0.44584529489222346f, 235 0.6110950147623863f, 236 0.02720519332721516f, 237 0.5398541103432654f, 238 0.07554226650800888f, 239 0.7377916485007319f, 240 0.27797209008589085f, 241 0.46772518631551985f, 242 0.6995227578726962f, 243 0.018299314504517494f, 244 0.5197533101890219f, 245 0.7159174564924151f, 246 0.31401481228756667f, 247 0.1754087501884085f, 248 0.2343414371252982f, 249 0.8748889416458473f, 250 0.37463912913252684f, 251 0.7574407218983685f, 252 0.4095218685944908f, 253 0.05444539793276071f, 254 0.2758436508902664f, 255 0.8925772862586221f, 256 0.22065577778239298f, 257 0.4886560839562061f, 258 0.9690045575479314f, 259 0.8537452387766703f, 260 0.0696792400658569f, 261 0.9200736328158772f, 262 0.6566998223667069f, 263 0.8715400640964278f, 264 0.9190276339920213f, 265 0.2007452583145617f, 266 0.5006604301495419f, 267 0.6327017259805733f, 268 0.857981533543089f, 269 0.5475236631810793f, 270 0.2808852311685398f, 271 0.9016360531299835f, 272 0.8389324819392409f, 273 0.8891739411761175f, 274 0.9434320970155204f, 275 0.7024826160013178f, 276 0.5210728314556657f, 277 0.7427761116550455f, 278 0.9743813902633102f, 279 0.49922751758804185f, 280 0.15900465228609295f, 281 0.056927866293708274f, 282 0.5374683162905625f, 283 0.811366988008925f, 284 0.4737767033472601f, 285 0.45924100026451486f, 286 0.31289277088342415f, 287 0.7026159916346512f, 288 0.4438341070930568f, 289 0.34563551431634276f, 290 0.9747930549159781f, 291 0.5801628965131567f, 292 0.9533980463252741f, 293 0.24893174717601252f, 294 0.2448986513794148f, 295 0.7419699161467839f, 296 0.23576281752326345f, 297 0.9242374345660919f, 298 0.4598503387538809f, 299 0.10962620252985711f, 300 0.049016989099534225f, 301 0.5886347360153683f, 302 0.5896957681859412f, 303 0.5842408608241418f, 304 0.5216841155798321f, 305 0.7526600754348718f, 306 0.6450527673201871f, 307 0.4628863883569321f, 308 0.6057869947432948f, 309 0.08108383618535264f, 310 0.41044780813790116f, 311 0.35308995880396477f, 312 0.0748353993141323f, 313 0.7204865144956878f, 314 0.4413265461569904f, 315 0.02286682967133724f, 316 0.004231535125555408f, 317 0.5311300599041392f, 318 0.2622309592838903f, 319 0.6238069610974072f, 320 0.6716002009400331f, 321 0.6606287579797276f, 322 0.7036581684316972f, 323 0.7247049992611678f, 324 0.8145407433117775f, 325 0.8969135886157091f, 326 0.3150808305983249f, 327 0.5932347165328861f, 328 0.18329926845587996f, 329 0.23799853066687315f, 330 0.7916453739552266f, 331 0.16317700382333922f, 332 0.3258669468350087f, 333 0.11603765281949063f, 334 0.3520402097383645f, 335 0.1246869681502828f, 336 0.5429926306737362f, 337 0.7131828947710726f, 338 0.005037728464599378f, 339 0.5751169077704663f, 340 0.9506250180875058f, 341 0.8067379081113383f, 342 0.642204624596683f, 343 0.6678748943357707f, 344 0.587273011513372f, 345 0.5811104131949243f, 346 0.894287809592808f, 347 0.6968416827790679f, 348 0.5037866695731186f, 349 0.8440565666448908f, 350 0.6887701845863844f, 351 0.05382575568815118f, 352 0.773064218810266f, 353 0.0847268319196075f, 354 0.4460976271155538f, 355 0.49657056809264966f, 356 0.35717772971205564f, 357 0.8110108736895665f, 358 0.8520804289905334f, 359 0.16480597646493933f, 360 0.7694189401912689f, 361 0.6036686195088797f, 362 0.14396385934147382f, 363 0.7818475345445793f, 364 0.46877396423993034f, 365 0.32477019528439555f, 366 0.8476730820339115f, 367 0.47924322727230084f, 368 0.9243121667109215f, 369 0.9179278277053134f, 370 0.9037267988146616f, 371 0.681963981964578f, 372 0.28700090261401956f, 373 0.2378229620136808f, 374 0.11932701828815362f, 375 0.4916476784995466f, 376 0.6064420813583503f, 377 0.34653213546577744f, 378 0.8841153835228883f, 379 0.005380110934837701f, 380 0.5300287045156323f, 381 0.7141513111823722f, 382 0.08710723862634762f, 383 0.007533428463922465f, 384 0.4220243811288321f, 385 0.7612123211607961f, 386 0.17229439887322673f, 387 0.47214472116396167f, 388 0.8400677642801001f, 389 0.18040158655594019f, 390 0.27041698182568075f, 391 0.31334242153361336f, 392 0.30659067767705417f, 393 0.4750731574716808f, 394 0.3444131407672746f, 395 0.8213216526064782f, 396 0.3126692013651349f, 397 0.15205733226941598f, 398 0.2860368906407802f, 399 0.2213649460559033f, 400 0.4917843362221145f, 401 0.006269299195295508f, 402 0.9011489888529892f, 403 0.7934080780628001f, 404 0.9010175764584769f, 405 0.9346112847206529f, 406 0.7211791925140819f, 407 0.98965974261415f, 408 0.3471560530710205f, 409 0.7166737866794407f, 410 0.5782587701443399f, 411 0.9877569165032273f, 412 0.6952311870087973f, 413 0.19973417756504908f, 414 0.8815298996070806f, 415 0.11697949495089088f, 416 0.09696564445257949f, 417 0.3255505102604569f, 418 0.5321211100868853f, 419 0.5950002583612376f, 420 0.07665704336219492f, 421 0.4364518839972684f, 422 0.4142976899942117f, 423 0.012690667384570586f, 424 0.41197255828637647f, 425 0.29822755675061974f, 426 0.40028527386485613f, 427 0.004468667483390476f, 428 0.7471694419866213f, 429 0.2773127373924035f, 430 0.8062613097709641f, 431 0.5416946531501049f, 432 0.8762370787863716f, 433 0.10976823981360184f, 434 0.237019947026749f, 435 0.28661541032862226f, 436 0.6334632900824139f, 437 0.6995620381194327f, 438 0.7568129386644367f, 439 0.4443518336754624f, 440 0.32891640445386783f, 441 0.38364174206573354f, 442 0.3238562389714733f, 443 0.5504378544998892f, 444 0.6663556280142761f, 445 0.10131154806389564f, 446 0.4260105781514779f, 447 0.6314014465283108f, 448 0.08106016480310774f, 449 0.9053970848801343f, 450 0.8551367166026472f, 451 0.1758976962249824f, 452 0.43507911288693335f, 453 0.25271502020815995f, 454 0.5576195001163454f, 455 0.3538843456722298f, 456 0.007408391441996454f, 457 0.5113335322440162f, 458 0.4985630827630304f, 459 0.9213453718913216f, 460 0.7165806712812219f, 461 0.12213589587615015f, 462 0.47716320602897744f, 463 0.2480646512080662f, 464 0.5131881642009434f, 465 0.8521737672506053f, 466 0.830742147409157f, 467 0.905940061252654f, 468 0.8798169522859522f, 469 0.5773222701067587f, 470 0.9649675109545004f, 471 0.2553523654497706f, 472 0.3759107558394229f, 473 0.03173270915740123f, 474 0.6477315276255807f, 475 0.4670723063425146f, 476 0.16505239786634962f, 477 0.9615778803671753f, 478 0.004209857724795429f, 479 0.4172236677660287f, 480 0.46216811862761775f, 481 0.12059522373101395f, 482 0.150587823880327f, 483 0.8927851836653784f, 484 0.8381556148202614f, 485 0.5449320597228242f, 486 0.4039634360472254f, 487 0.5451450181528735f, 488 0.31942982107700746f, 489 0.5447810512769755f, 490 0.005914655505116495f, 491 0.029197477421676443f, 492 0.21989628908424363f, 493 0.8503152910685781f, 494 0.2972465429512918f, 495 0.7654922983412695f, 496 0.6428399933730023f, 497 0.34942188758513915f, 498 0.2814063886631625f, 499 0.7629245529190241f, 500 0.5902428565937217f, 501 0.8547278063302949f, 502 0.514068905115535f, 503 0.939475650357859f, 504 0.6170146745277493f, 505 0.33743013428196f, 506 0.2563980528099574f, 507 0.37850013950725614f, 508 0.967656734157701f, 509 0.06541382770582327f, 510 0.8294761011508627f, 511 0.9580586187384915f, 512 0.13283697403899697f, 513 0.08317400182136891f, 514 0.10740988793389694f, 515 0.7907982984683039f, 516 0.7633935765511246f, 517 0.47103151745889704f, 518 0.08660073210173425f, 519 0.9118815410569904f, 520 0.8792568783747827f, 521 0.8211458725814851f, 522 0.4686958264892632f, 523 0.6524571162684528f, 524 0.31079615761213464f, 525 0.36782574970773996f, 526 0.19470502735943118f, 527 0.1361837534332525f, 528 0.3100852472567188f, 529 0.20963598469450906f, 530 0.8677907896100518f, 531 0.3362974381395415f, 532 0.2695924409888637f, 533 0.06080020802344055f, 534 0.0022314020619493835f, 535 0.13072478052139425f, 536 0.48579145266601f, 537 0.9694038277043615f, 538 0.0360548958439435f, 539 0.7927465270469074f, 540 0.9051936903219151f, 541 0.43988948497828106f, 542 0.044846368430479955f, 543 0.35470503710651646f, 544 0.7903025501952483f, 545 0.397351442866298f, 546 0.09422305185391677f, 547 0.28226020142921804f, 548 0.24299021046235592f, 549 0.43112935638913363f, 550 0.16848883348969745f, 551 0.8966907407638031f, 552 0.5227965079510017f, 553 0.7551931649502787f, 554 0.6129511091880081f, 555 0.9827440384434111f, 556 0.09764791416165375f, 557 0.3228304363491129f, 558 0.027417483946406085f, 559 0.019532357035312198f, 560 0.36450192616356725f, 561 0.5331281441295339f, 562 0.5483606192630778f, 563 0.4719755407501488f, 564 0.977406882112064f, 565 0.9667493326767498f, 566 0.4572561313262281f, 567 0.5802896212284382f, 568 0.7204922427559014f, 569 0.5885128074204738f, 570 0.052590298382207856f, 571 0.0850257078057971f, 572 0.8633748587750003f, 573 0.8542613167829832f, 574 0.7230429238161026f, 575 0.32515078936135267f, 576 0.9364866196095215f, 577 0.15953268411659216f, 578 0.15933835353815518f, 579 0.14668119444060002f, 580 0.8638290112234275f, 581 0.06752886600381314f, 582 0.6422725227505369f, 583 0.05935606291787421f, 584 0.3906428821750192f, 585 0.7538743309611952f, 586 0.34441069496127985f, 587 0.07886573610763825f, 588 0.7435076877625914f, 589 0.10567986756065306f, 590 0.5829507400483874f, 591 0.6921188004015523f, 592 0.46035589925787457f, 593 0.9123965430830294f, 594 0.9612694381632751f, 595 0.38306321567513635f, 596 0.32791194085676245f, 597 0.5859724376399529f, 598 0.3366328531446776f, 599 0.15654849988693675f, 600 0.36405512027748266f, 601 0.8478018248582174f, 602 0.5515793168788439f, 603 0.4977379517051803f, 604 0.7825992663820439f, 605 0.8199723041016637f, 606 0.8664762993974497f, 607 0.20456988081355598f, 608 0.8780001132967536f, 609 0.9583104061641029f, 610 0.03075093960964914f, 611 0.5307586362072558f, 612 0.767480025408335f, 613 0.26472185207532695f, 614 0.9302863574901106f, 615 0.0768494401965294f, 616 0.92807854995626f, 617 0.21632991037530513f, 618 0.7484940083803276f, 619 0.8668169718566633f, 620 0.46611831243541035f, 621 0.8489117605828772f, 622 0.5785595301841435f, 623 0.0477116521517994f, 624 0.05660238116876193f, 625 0.4321274895205861f, 626 0.4243582131573539f, 627 0.6498519666192254f, 628 0.49002413284687196f, 629 0.17405459502616338f, 630 0.5275378066366181f, 631 0.8450659610716539f, 632 0.7641054576151888f, 633 0.3925049239267835f, 634 0.9582832651908089f, 635 0.1404730815395544f, 636 0.6579536738774197f, 637 0.5906557864706367f, 638 0.40724633212919137f, 639 0.9453250684184721f, 640 0.726140007827964f, 641 0.8744637130263464f, 642 0.11614651156590494f, 643 0.9483786461009683f, 644 0.6502028629271439f, 645 0.14938541567905506f, 646 0.8845484058394134f, 647 0.7433287493335673f, 648 0.8850721284612192f, 649 0.5338852117683744f, 650 0.09030646762214534f, 651 0.13977966463344238f, 652 0.5379098054253879f, 653 0.4272507627796551f, 654 0.6611867582223439f, 655 0.5972658583765961f, 656 0.41688156734689885f, 657 0.6691959115905817f, 658 0.9351538361291434f, 659 0.21982185189899484f, 660 0.1873448587762514f, 661 0.22876660322100484f, 662 0.346834299797234f, 663 0.74859469389624f, 664 0.5729566556117136f, 665 0.8600417282991906f, 666 0.8776533295064971f, 667 0.9900067230063117f, 668 0.5392113255642317f, 669 0.16212917136246718f, 670 0.20713783644060546f, 671 0.11696510918368908f, 672 0.39689133838399804f, 673 0.4809616613933998f, 674 0.5028962086270113f, 675 0.28061482778290925f, 676 0.7629433903651869f, 677 0.09038624239948345f, 678 0.7867672141444203f, 679 0.9701423014910532f, 680 0.31628112082991044f, 681 0.09005583853336108f, 682 0.8146432782119785f, 683 0.5581245637806863f, 684 0.28600067990178435f, 685 0.45761044606550283f, 686 0.4074612561537845f, 687 0.4689258919044873f, 688 0.6095236869551317f, 689 0.6926614362904812f, 690 0.17087229189333075f, 691 0.40763895636775205f, 692 0.6981639522820537f, 693 0.4900694549026622f, 694 0.5410746107926108f, 695 0.0870749559902193f, 696 0.7476098022382854f, 697 0.8800212388800824f, 698 0.09432643467049251f, 699 0.8903026344091605f, 700 0.5308353481760503f, 701 0.2723999221244636f, 702 0.057624740704792954f, 703 0.9062271345759423f, 704 0.6109267084141932f, 705 0.8429576107595024f, 706 0.9580594776061538f, 707 0.7757259199424439f, 708 0.9113350734845562f, 709 0.6987780966068164f, 710 0.3483386418663157f, 711 0.7858222461671841f, 712 0.5810503231486027f, 713 0.26054308209329946f, 714 0.5459840476505373f, 715 0.6494085123494755f, 716 0.09219532375045736f, 717 0.2990908905891627f, 718 0.3237006688630618f, 719 0.4080216298026441f, 720 0.5075434461323427f, 721 0.06377340882985205f, 722 0.48841693850832646f, 723 0.8951570356655384f, 724 0.8554578634000446f, 725 0.9401105796209546f, 726 0.28649795534821476f, 727 0.19763483194100429f, 728 0.5497527352184964f, 729 0.07423883634402162f, 730 0.5726271901820882f, 731 0.5525111024549901f, 732 0.7919748779719854f, 733 0.4016623668018766f, 734 0.6798674287783886f, 735 0.1170365215329372f, 736 0.8936071105972272f, 737 0.517794898437164f, 738 0.9283834857107306f, 739 0.0491623877326538f, 740 0.45569924684198904f, 741 0.827801580710092f, 742 0.7103449614582252f, 743 0.3360907304981364f, 744 0.3434110658875834f, 745 0.41323682529942696f, 746 0.08849824808655793f, 747 0.8083763595701662f, 748 0.39298745804024204f, 749 0.052980440742318446f, 750 0.8459094513193763f, 751 0.7770722178998862f, 752 0.7886453193026567f, 753 0.8359686402267184f, 754 0.9243785757284735f, 755 0.7314195180970038f, 756 0.04689344485652891f, 757 0.8032233050272258f, 758 0.18902976543956007f, 759 0.5345894188523042f, 760 0.5457618464657904f, 761 0.0566774559989176f, 762 0.4565687633102006f, 763 0.5549715103758703f, 764 0.5364648833197362f, 765 0.7722977256119146f, 766 0.7247152075407223f, 767 0.17050426008009245f, 768 0.5749797675697298f, 769 0.5550038122931361f, 770 0.5403019372970221f, 771 0.0835571593703478f, 772 0.31104335684882956f, 773 0.5728847288753222f, 774 0.44355670005560743f, 775 0.8838564026074591f, 776 0.5720836739897385f, 777 0.9082135582484385f, 778 0.42604245354838455f, 779 0.2969608467653758f, 780 0.6795572773969863f, 781 0.5627540040989116f, 782 0.3397791307438376f, 783 0.5557831403802018f, 784 0.9352215687179875f, 785 0.5548704662060984f, 786 0.19503491740980927f, 787 0.33265375790545926f, 788 0.21482112873350812f, 789 0.5459314441036862f, 790 0.28428514030800867f, 791 0.6694408463675605f, 792 0.6066989989400801f, 793 0.4335081666030066f, 794 0.0698512488132017f, 795 0.3432100184701794f, 796 0.03283159011524972f, 797 0.34887497288278646f, 798 0.7727024563406344f, 799 0.10493135429536604f, 800 0.7897782376313944f, 801 0.49630130529804317f, 802 0.5999371092756777f, 803 0.22873484017595447f, 804 0.9470648076676018f, 805 0.2716449120458204f, 806 0.5484310240972476f, 807 0.8092160409549181f, 808 0.5404740857039461f, 809 0.09773761275055981f, 810 0.7221593653148952f, 811 0.24428189721651938f, 812 0.4977727627027194f, 813 0.41407409216811963f, 814 0.10069035691611172f, 815 0.3410469848642421f, 816 0.23435014479129213f, 817 0.2582900710750451f, 818 0.6963513752180115f, 819 0.4822770902665965f, 820 0.8562813353649777f, 821 0.876943749603141f, 822 0.037565025709907385f, 823 0.29088008483272565f, 824 0.9083164305267629f, 825 0.8030887226239095f, 826 0.9158608731237804f, 827 0.22993998645739155f, 828 0.6042849133898177f, 829 0.838150626109139f, 830 0.33405371714000753f, 831 0.5758030904844702f, 832 0.47742764644954083f, 833 0.37559297505251443f, 834 0.5930984294478054f, 835 0.2017055486150613f, 836 0.38814610483044376f, 837 0.5038839480330227f, 838 0.4551138194342286f, 839 0.60945368029026f, 840 0.8266775047665523f, 841 0.3262613239140131f, 842 0.32008100961156205f, 843 0.6466467404953736f, 844 0.4481894440740569f, 845 0.9347917419380432f, 846 0.3537095880630403f, 847 0.3469455187930015f, 848 0.7777967587549615f, 849 0.4762267387140793f, 850 0.5039807694527393f, 851 0.33089466084122765f, 852 0.02300122628077028f, 853 0.7471573091854371f, 854 0.34385894967665165f, 855 0.20478434271532786f, 856 0.9310515251261269f, 857 0.7559653351485073f, 858 0.6776733708589354f, 859 0.3950627534607333f, 860 0.6287250748226311f, 861 0.6890693694725202f, 862 0.8486796055420024f, 863 0.8557951070757511f, 864 0.38203644811395976f, 865 0.7189711094067612f, 866 0.6852818893060887f, 867 0.08666721619951345f, 868 0.21335846271710057f, 869 0.09159358281550112f, 870 0.023437837532345518f, 871 0.8990410489091613f, 872 0.31347573449050203f, 873 0.9304241188458786f, 874 0.7427256172141646f, 875 0.36754944074919227f, 876 0.18605004463131547f, 877 0.19494398034999616f, 878 0.2535918564210249f, 879 0.4047468782306264f, 880 0.4620168361099203f, 881 0.23086607701070172f, 882 0.3732648280113171f, 883 0.39629713611873507f, 884 0.3213965831498501f, 885 0.34965796032166974f, 886 0.5278428706938764f, 887 0.3342186363486709f, 888 0.4600305244394708f, 889 0.87487098572342f, 890 0.21805152007478223f, 891 0.8856663914319172f, 892 0.538739087463722f, 893 0.09276265080392032f, 894 0.6861783246559028f, 895 0.8347688548882991f, 896 0.052402848934370194f, 897 0.5447149970566559f, 898 0.7216731523238792f, 899 0.3350053839934308f, 900 0.5564614781263615f, 901 0.09895274639699725f, 902 0.5429226298138647f, 903 0.40963645618841205f, 904 0.18833820734244444f, 905 0.2390519629808241f, 906 0.6926991522147963f, 907 0.13767364363664059f, 908 0.4212854355698137f, 909 0.006757368446564382f, 910 0.8847786462175414f, 911 0.9629059753180412f, 912 0.9881506751452229f, 913 0.03658241461803846f, 914 0.7392307977715463f, 915 0.5634644934342894f, 916 0.9125683223055779f, 917 0.11971629445467569f, 918 0.34388072136862347f, 919 0.7194358099552696f, 920 0.5850654448257218f, 921 0.7347255283348286f, 922 0.5794449424978609f, 923 0.6160281540638518f, 924 0.8215999822705652f, 925 0.982549066685657f, 926 0.14583658291551338f, 927 0.019775044422458365f, 928 0.842011575285425f, 929 0.3632935031163117f, 930 0.22714291364046868f, 931 0.7652933567470941f, 932 0.1058998236152594f, 933 0.8323261199666414f, 934 0.7327762701386256f, 935 0.990085945097603f, 936 0.9434214647990755f, 937 0.5731605018978094f, 938 0.052296244741422915f, 939 0.5548885283342243f, 940 0.9185126109989331f, 941 0.9246437969158418f, 942 0.2614008976521043f, 943 0.08706717070307657f, 944 0.8620280229915241f, 945 0.8999363101326155f, 946 0.7165946124854435f, 947 0.08456253921940393f, 948 0.5123069962933747f, 949 0.7347935555305602f, 950 0.9760244023757451f, 951 0.5178764364609953f, 952 0.7006585043432928f, 953 0.902638056364798f, 954 0.9839907382214704f, 955 0.36761060761100584f, 956 0.01927020696981452f, 957 0.03393510518112841f, 958 0.45662657799100104f, 959 0.5350498213836747f, 960 0.9090357674511661f, 961 0.1773608497611583f, 962 0.4062507236059195f, 963 0.5632912841472252f, 964 0.10480745102351086f, 965 0.8402683058957803f, 966 0.7418950507272193f, 967 0.6064243255015211f, 968 0.37557090217998146f, 969 0.24595093137013035f, 970 0.8834976666080439f, 971 0.08425131605364489f, 972 0.497037788780631f, 973 0.24520379182090912f, 974 0.3272742622734103f, 975 0.46006110471540873f, 976 0.39416394939641153f, 977 0.3196776641087413f, 978 0.09975821941778973f, 979 0.5789469374377313f, 980 0.39108906997740767f, 981 0.11453597522913672f, 982 0.03801318035785928f, 983 0.0041676454256162065f, 984 0.5059973706766466f, 985 0.9379039051295712f, 986 0.8335144780298722f, 987 0.789065271895013f, 988 0.7283987068266926f, 989 0.6646157693552768f, 990 0.7772100140488211f, 991 0.12201749871726797f, 992 0.2163349395629246f, 993 0.4817599070562595f, 994 0.14324392374502237f, 995 0.2819470302066104f, 996 0.3510064305799273f, 997 0.9135197722938261f, 998 0.1488601978519304f, 999 0.34187227355599215f, 1000 0.5863181027367688f, 1001 0.5628129007635444f, 1002 0.42797150245283f, 1003 0.05800679832691469f, 1004 0.03085367011276363f, 1005 0.00722493274844116f, 1006 0.9559042527275143f, 1007 0.38190617770379254f, 1008 0.6997636611964557f, 1009 0.2867420361433859f, 1010 0.3628144161699215f, 1011 0.033158058905564336f, 1012 0.37408070683251693f, 1013 0.420779002565399f, 1014 0.5732729666160159f, 1015 0.5701251696241543f, 1016 0.004957919248099851f, 1017 0.39200630358015487f, 1018 0.7095282154902541f, 1019 0.39623042005509f, 1020 0.6003221777395149f, 1021 0.0344717437256552f, 1022 0.19593437040782202f, 1023 0.13929078524812377f, 1024 0.5314571118623556f, 1025 0.2635201193666006f, 1026 0.002056463511965978f, 1027 0.8413959697701179f 1028 }; 1029