tests/randomf.c

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