Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / mpfr / dss_test_dss_test_input_values @ 8451150a

History | View | Annotate | Download (18.8 KB)

1
0.44187260651476234
2
0.6070219919014163
3
0.9917351419543198
4
0.8079098294647872
5
0.35878134729459266
6
0.17040488006752308
7
0.7337804090193754
8
0.9939456806691747
9
0.6077897809559323
10
3.2810395871885056E-5
11
0.8419557981566107
12
0.46580781657828274
13
0.7546861039171168
14
0.9978340369922298
15
0.44106309233959706
16
0.07138877896580942
17
0.7735929875786465
18
0.6734704790011037
19
0.8970676480307322
20
0.5997033703299244
21
0.954117264939237
22
0.886112153720768
23
0.33324215331793927
24
0.4916919834550627
25
0.8796449658472946
26
0.18779016239159563
27
0.35357926970022946
28
0.9221491232534819
29
0.454350772120484
30
0.9912593972041297
31
0.08434325259249975
32
0.7222900767128843
33
0.2309057476481443
34
0.09877832311120471
35
0.05966991285082446
36
0.691570251095399
37
0.09653125091952497
38
0.22293989693524607
39
0.923413987037675
40
0.2077232299276094
41
0.7119603476021071
42
0.006664114374937857
43
0.3969804902464007
44
0.6855852547038787
45
0.9660329992993527
46
0.7066895976951404
47
0.47166772863766127
48
0.35812513585765815
49
0.10806466730106723
50
0.14337766732225787
51
0.3240868243208901
52
0.057200617222509464
53
0.15079228510074305
54
0.7393692525024032
55
0.024512841485902603
56
0.15691308635993784
57
0.5986157329079878
58
0.4706116869257295
59
0.7105613548992785
60
0.6090350401931187
61
0.5490169317258088
62
0.33549851734702885
63
0.5323732091548622
64
0.04783540938363995
65
0.7394524041874649
66
0.5113424913620458
67
0.3405293539134633
68
0.2707296960547283
69
0.16767987595334766
70
0.7121280368869383
71
0.7842068279696557
72
0.01153371060733166
73
0.5003929649795889
74
0.3874667525870523
75
0.21462602452953117
76
0.8147009084484569
77
0.6032023572528497
78
0.3099049685981675
79
0.5476280482526338
80
0.9917750291402273
81
0.17441578533784186
82
0.7862102293840016
83
0.02926076152019086
84
0.0953912731321509
85
0.6457334894740855
86
0.1979889165134323
87
0.6695403308311608
88
0.08151088307896237
89
0.22488924927706
90
0.8279647580772374
91
0.9620948832437015
92
0.34717551915587763
93
0.19843217975294414
94
0.9604739977115296
95
0.39118542125064437
96
0.12891918605868635
97
0.3872572650120574
98
0.05820957611370192
99
0.14263871718225996
100
0.3260775477851585
101
0.9531578847401234
102
0.4119736476138399
103
0.38151522038919417
104
0.6735853027846392
105
0.5915867080951293
106
0.03617360878291731
107
0.43687496779937895
108
0.33045464334926977
109
0.513976057234631
110
0.7400242523288367
111
0.2427928127095098
112
0.37297855995915485
113
0.522382630045298
114
0.24289444410054384
115
0.42481379418379994
116
0.3858052115451034
117
0.9098850490001811
118
0.9219637596154534
119
0.49232847635896004
120
0.3293802943257419
121
0.8820781863745447
122
0.28133079748952117
123
0.6998865932947012
124
0.12885643425468685
125
0.6881702706923821
126
0.5139417962904689
127
0.27425759083886947
128
0.9774200597189893
129
0.6746048409324088
130
0.5911842732402824
131
0.8690842366507087
132
0.1760877419214365
133
0.029792128805639084
134
0.15971733189205084
135
0.30526591627668587
136
0.44237563525769197
137
0.07544943539574811
138
0.15108685930559673
139
0.8827461974839257
140
0.011846827819372963
141
0.5782138460414713
142
0.4169000662473339
143
0.8081690780656602
144
0.5293938514507152
145
0.7046044184325221
146
0.8908105510073974
147
0.5729069047973566
148
0.6812139636993401
149
0.9230756179519437
150
0.7482921246485504
151
0.43725230460041564
152
0.7537876900884789
153
0.3688173241774909
154
0.7861549963187688
155
0.5291053813673303
156
0.8227712740912294
157
0.9301209961930749
158
0.7759859775152751
159
0.4492765738702047
160
0.07256662253551538
161
0.5895457870981111
162
0.8591696998594802
163
0.6905645542833612
164
0.8264328852084476
165
0.3587821077041128
166
0.1458749521804602
167
0.6240576264201647
168
0.2273558285614976
169
0.48302448836232603
170
0.5563669837420422
171
0.2836463919246033
172
0.151492568480723
173
0.45882975660973346
174
0.6002325889539507
175
0.6885238737824978
176
0.8588610591605148
177
0.8088500153127273
178
0.22758192203171113
179
0.9834892783170767
180
0.09004472760626359
181
0.4874947871930563
182
0.10601721655173812
183
0.2481596673384685
184
0.8030350015628291
185
0.25349014091749356
186
0.6781353799021902
187
0.4287336670121107
188
0.5109352075883326
189
0.3384668217917549
190
0.1365576637685122
191
0.47973993436140283
192
0.22910160441508765
193
0.2651236910670991
194
0.01695664992193524
195
0.46824234347379967
196
0.3693982589349918
197
0.7241766551076106
198
0.45427678795557735
199
0.08926274305912951
200
0.5295946162139936
201
0.006217126607586776
202
0.27332182400339333
203
0.768721688293202
204
0.017535666100501834
205
0.602768739156753
206
0.9921086999287873
207
0.2889857363108217
208
0.1225664596932835
209
0.24024429855204166
210
0.5048639985693122
211
0.6621499945455953
212
0.6007943807977087
213
0.7911696901736454
214
0.6812661050982454
215
0.7974728245533262
216
0.5761237474030807
217
0.2189553468988682
218
0.36951184634921996
219
0.3619191198498122
220
0.07559915354764657
221
0.9556593336524488
222
0.3230141396333238
223
0.1165575021950328
224
0.7154458219517912
225
0.8866014622688264
226
0.38401257040382497
227
0.9265958617220942
228
0.6332959154998173
229
0.4213504051033352
230
0.8521065179577201
231
0.5891287682304375
232
0.6224423802804517
233
0.9675211902167876
234
0.3416956620317285
235
0.6002091505189731
236
0.5655626497585378
237
0.49198325134402876
238
0.5895408397746823
239
0.9916461420933236
240
0.6882064536809896
241
0.7534948558691347
242
0.6121334856067795
243
0.4079693964075555
244
0.8564436607110069
245
0.2214416275524076
246
0.33228883566421885
247
0.6652899118839047
248
0.1284191531055907
249
0.6572734667456
250
0.2953553280673006
251
0.13632613681178152
252
0.03616385393261323
253
0.8283959721533449
254
0.3776578853623622
255
0.4396529048421798
256
0.6218623099176026
257
0.8486879785124719
258
0.453270630631713
259
0.07627052193871076
260
0.08187874890062186
261
0.19548044103013784
262
0.8299402806682978
263
0.8528799097522618
264
0.9821951906631735
265
0.5397455124939596
266
0.8909582267263014
267
0.1587884197549564
268
0.40051693394930676
269
0.14440979256105946
270
0.7870063361214306
271
0.42216127211793075
272
0.023151691685534548
273
0.7351185363485205
274
0.21047728134790544
275
0.3613707897760309
276
0.17887112528192428
277
0.42844254653241376
278
0.25449745431574855
279
0.9684866353319781
280
0.027314214512867308
281
0.5144334402747445
282
0.10985668879205479
283
0.5144874721171729
284
0.6360939210744041
285
0.6335964264722435
286
0.8852757034789752
287
0.24956517731624017
288
0.47862035217018284
289
0.16276467661579208
290
0.14991878043152607
291
0.88693045257255
292
0.9637544944425388
293
0.4300227245229048
294
0.8917858130181924
295
0.4048186511310158
296
0.9687589077211206
297
0.7157407238636299
298
0.46159386850783946
299
0.17893320465682538
300
0.9886128452987726
301
0.8649454270333087
302
0.7289862266158103
303
0.9663534076674094
304
0.4376111144197703
305
0.735667931173347
306
0.11638166388518889
307
0.8019720278149517
308
0.8432672662745015
309
0.6385716431314935
310
0.39550511112698994
311
0.4398176716683946
312
0.1578936309324912
313
0.3850790780835057
314
0.132615967069455
315
0.5741556921615351
316
0.1798318588008243
317
0.5543792862170374
318
0.45067772989439336
319
0.7090503013462021
320
0.1241595311871202
321
0.11411201264881277
322
0.3401888567063055
323
0.2101100167607911
324
0.7117999109858472
325
0.5851887965031344
326
0.09512141400749297
327
0.7684273698970521
328
0.7563132141090291
329
0.5281255379571909
330
0.576390543893038
331
0.23426290949747275
332
0.11924966790767866
333
0.246424429864751
334
0.9125044730670916
335
0.5368126278174825
336
0.07779598179264668
337
0.2519580666997304
338
0.9355212729803615
339
0.1964369053317232
340
0.602548551830378
341
0.21797190857326487
342
0.12016507781660968
343
0.7570184003901299
344
0.778598099609197
345
0.8572357443790241
346
0.04493129563773668
347
0.3186548874504287
348
0.6197122214009594
349
0.4060386222756771
350
0.4262365083548525
351
0.234682778077537
352
0.8232538260289479
353
0.1691361196179063
354
0.5901455447276366
355
0.952065409709833
356
0.5925747285003934
357
0.8864223030808699
358
0.8409351057656189
359
0.9204697659505557
360
0.5139756950452982
361
0.5190135480640422
362
0.5617288633989899
363
0.4728941020941132
364
0.6169257073212918
365
0.4205947281894501
366
0.03966698560274018
367
0.5894982275381747
368
0.16908400998777662
369
0.7592928032331577
370
0.9465481700760093
371
0.49632692938416634
372
0.46177148764456755
373
0.4860067390080993
374
0.1256098287141657
375
0.12190631157708354
376
0.8268881221839242
377
0.10703684981835748
378
0.8360880331508598
379
0.5372320604327879
380
0.3928756273034997
381
0.012020481984459153
382
0.8894260239105225
383
0.6384571746960613
384
0.6351756842251295
385
0.1325953049623867
386
0.17447559647210897
387
0.49662627470268605
388
0.6057357334557544
389
0.2628754655772785
390
0.9137636046216362
391
0.9950925618536299
392
0.836465907404008
393
0.45973965477899237
394
0.6188711878763873
395
0.6027921940769334
396
0.3031523582244361
397
0.5590946291704911
398
0.12020063564824957
399
0.39034043754367176
400
0.5091833334533581
401
0.9936915355534023
402
0.23488097653829298
403
0.685952721083717
404
0.7025466967676857
405
0.7787364148489261
406
0.6062900956494557
407
0.08948271549739051
408
0.4749082768141557
409
0.7434504225795597
410
0.9996478549237758
411
0.9154088746874409
412
0.5081827764803544
413
0.8298994327250884
414
0.8703608742201778
415
0.5193896747770864
416
0.03186000797836708
417
0.5548266709856836
418
0.3352767546598433
419
0.3780471589188823
420
0.633450872837851
421
0.5358857926910991
422
0.7717314598126368
423
0.2379269982314146
424
0.4247694078287433
425
0.32058664638656176
426
0.14525071366685494
427
0.12712290136561466
428
0.2083681907629773
429
0.6244292387998177
430
0.8239924067427145
431
0.531841834943085
432
0.21129670903596431
433
0.4841157332519568
434
0.07649385171218248
435
0.5802256744436575
436
0.15745298823230558
437
0.7623947477451004
438
0.6690140010729615
439
0.6470341728159594
440
0.9351511512928408
441
0.9030056831580491
442
0.9797377132925347
443
0.3953330502070521
444
0.8831285758836855
445
0.8273553029621253
446
0.8293351763602563
447
0.9051197217668271
448
0.7660683080069733
449
0.38897264960484057
450
0.7908468593322422
451
0.20385915179360914
452
0.8398133469896916
453
0.8574524983671576
454
0.08659006180695916
455
0.21019039250314064
456
0.016801844176353664
457
0.4905118276740612
458
0.30576047207860413
459
0.8296039020862406
460
0.03385298098595446
461
0.37094707813845496
462
0.08362838516692173
463
0.6996790258374083
464
0.6972854258164018
465
0.3346953953877899
466
0.5717056088124345
467
0.8725094401387027
468
0.7344513697999606
469
0.9968655673687882
470
0.9979860160876501
471
0.5432341669468805
472
0.5161214587065401
473
0.5945196228882662
474
0.8673389656124555
475
0.7861300306282554
476
0.9307562090035869
477
0.6081495097732117
478
0.38436171577778777
479
0.14351144267168214
480
0.989552712100922
481
0.8982075259241412
482
0.4944729432538706
483
0.8277214227940051
484
0.3202555273634715
485
0.3987132214133948
486
0.5337567139573423
487
0.2427877162396349
488
0.5680729910813577
489
0.2468734736560252
490
0.8540424368955075
491
0.5098562895972393
492
0.8636417748153231
493
0.5958166585785387
494
0.9469328288025373
495
0.6893041379266681
496
0.9408334123859533
497
0.25695576218813276
498
0.5289687451328926
499
0.43247160670497287
500
0.19129919854388677
501
0.7491593460370926
502
0.7698460265141926
503
0.8672445268113844
504
0.9280000972142182
505
0.29382349678365693
506
0.346576491080426
507
0.6242545051754674
508
0.39657110484292446
509
0.7881017328312921
510
0.28871103936396725
511
0.04425535859486829
512
0.621220051908994
513
0.8129640698421551
514
0.6432202416326595
515
0.7722727927230691
516
9.631611200247026E-4
517
0.28842040611647823
518
0.8323537376816935
519
0.14041316134495518
520
0.6823509084549281
521
0.475157525442515
522
0.20377659090797873
523
0.9687562378568717
524
0.12643897064215004
525
0.6400030459294751
526
0.6795072993212281
527
0.6725463913481722
528
0.9606114074525557
529
0.8520437920559771
530
0.5986585057834002
531
0.8539351172443548
532
0.15996411163963764
533
0.05688973765250238
534
0.8187085367919243
535
0.8778172109489583
536
0.8383082135513257
537
0.7884894840147165
538
0.8910076473697192
539
0.28384199393463405
540
0.4454551192337243
541
0.6210665474086445
542
0.6584504330437306
543
0.27046980097511986
544
0.9652958789454085
545
0.7381600819771061
546
0.9367212949723667
547
0.9019832491442143
548
0.7882894006396325
549
0.8014180144082506
550
0.03524746215985619
551
0.1356516950621538
552
0.2923258354882653
553
0.6387040067106494
554
0.7499699663668216
555
0.24378649170207678
556
0.8075323460434537
557
0.13924438352590518
558
0.11726961928514013
559
0.714213732844691
560
0.5634408659513674
561
0.1429547168086699
562
0.6568619958554868
563
0.2527299282727329
564
0.42103821420073106
565
0.04175010546747171
566
0.051201519977227106
567
0.0823955887142731
568
0.6775712255556876
569
0.2725571732983917
570
0.20991138000171228
571
0.3370603623464624
572
0.9985805559660779
573
0.8749098375887806
574
0.4499830521022308
575
0.9803026593762255
576
0.5794886184321947
577
0.810424913515209
578
0.0859650109468445
579
0.34600562944388613
580
0.9681688218569606
581
0.7971180182400498
582
0.06908739656960283
583
0.09308063360549235
584
0.5902743864044853
585
0.9984337121223272
586
0.4402457040635296
587
0.09438796516073444
588
0.9107072074336249
589
0.025028463764444786
590
0.26899301178660096
591
0.5386942650416748
592
0.33745813710152717
593
0.3567586453452808
594
0.4391671920052167
595
0.3145445828865425
596
0.4281521069268114
597
0.4729901578824156
598
0.11150567379855347
599
0.5662162765423645
600
0.6949829527268118
601
0.6912601861232224
602
0.9445773205417349
603
0.16446147353539375
604
0.32032414693885347
605
0.9574854665233792
606
0.18758696582963752
607
0.7185327157693417
608
0.3931535480529198
609
0.6053260493889406
610
0.5720857001972751
611
0.6710270095962457
612
0.8555314910247702
613
0.4079769403858037
614
0.5243451527281775
615
0.9633711599133032
616
0.208723586023024
617
0.08257470575214443
618
0.5961321310370372
619
0.7373112987857358
620
0.17016034972604133
621
0.7755693480691976
622
0.16884515440614567
623
0.5465579476706605
624
0.8952784524731076
625
0.9568271114346165
626
0.42445198756365066
627
0.592777668445325
628
0.082388902575942
629
0.5808924687597088
630
0.29639339731467884
631
0.5714105160031078
632
0.264069616400035
633
0.3357526546881625
634
0.6145947544097567
635
0.8153326506487706
636
0.8551812446519552
637
0.292611801402896
638
0.9409542058912287
639
0.5581714295754323
640
0.07545686983867428
641
0.29459568027944105
642
0.6551521307558579
643
0.30412043937985234
644
0.6937171097087254
645
0.9779725479820266
646
0.6953536247788696
647
0.4873900090389126
648
0.6511148792470108
649
0.40638886794408535
650
0.9843518420057621
651
0.8319684058131823
652
0.012414124028101936
653
0.9167838415709471
654
0.9789271921923494
655
0.08115804919823011
656
0.36716003698864863
657
0.9250596401296859
658
0.9686733307795644
659
0.056389486595828986
660
0.7566983504703161
661
0.12024901636413443
662
0.7202678011005661
663
0.3261057790984
664
0.43835391815176705
665
0.6878358823806252
666
0.8141418010326216
667
0.11804826213058406
668
0.3146798098076151
669
0.9460482719547876
670
0.5527298184227699
671
0.49206430920048505
672
0.6535398155816697
673
0.053357308146526505
674
0.6329566607005926
675
0.20559638329641172
676
0.803888999594718
677
0.25108020706639866
678
0.8703459639866202
679
0.15030081454014843
680
0.972468278386382
681
0.4418985502016324
682
0.13811069511796958
683
0.7157840518481982
684
0.7682306133696788
685
0.7732681652267329
686
0.341812873576239
687
0.945232751191871
688
0.144168134243014
689
0.29411027320397154
690
0.6886562028746844
691
0.8877535929109519
692
0.5703108306168069
693
0.6838377707321073
694
0.7302018701701329
695
0.12352739218579423
696
0.7570191517323465
697
0.514684829165884
698
0.6582743891053163
699
0.04042137032515658
700
0.014294477142781647
701
0.5014719475681855
702
0.11605097945583076
703
0.07449264492388696
704
0.3806826963694828
705
0.7173522213735426
706
0.34980421062257994
707
0.7918543291275872
708
0.9844481506261272
709
0.8097496282718271
710
0.871494736072854
711
0.38566592053013393
712
0.7100463502935116
713
0.8376129804834261
714
0.9283869455378784
715
0.8895474382760317
716
0.1345255439359584
717
0.46927437834497987
718
0.983087540999385
719
0.16750678621344817
720
0.8713390951531832
721
0.9296142026211205
722
0.09588273393466529
723
0.5305083402539712
724
0.9131515005644203
725
0.2658992847661874
726
0.5709774369092133
727
0.6510999997146515
728
0.30057322931721964
729
0.2135747497133762
730
0.47921533988565745
731
0.3000552049921802
732
0.46036066969028255
733
0.18645408834153965
734
0.7020859948591011
735
0.31277490278538256
736
0.8544689558445887
737
0.6901660928467968
738
0.9553013888302241
739
0.10823435551361871
740
0.16044734737217514
741
0.7633813182225725
742
0.8449508587581833
743
0.029547750418536745
744
0.06401828172993951
745
0.8882550149509223
746
0.3852202933500901
747
0.7527637148926422
748
0.8862824831476361
749
0.17968707305681575
750
0.5638872444765709
751
0.019292870821711272
752
0.6908444554321719
753
0.5624142736194745
754
0.4802812927230341
755
0.987408410966905
756
0.2202542671731036
757
0.07561319964791635
758
0.30012438125122753
759
0.5695492403038384
760
0.9965126667799266
761
0.40660764153320117
762
0.7726434691154294
763
0.224694715052851
764
0.18698855285250404
765
0.24843672965787356
766
0.3375734232142872
767
0.8088684649240299
768
0.38494915268337937
769
0.10045556685911994
770
0.9131455010694363
771
0.2518686734549086
772
0.2830051799122839
773
0.6868032283707629
774
0.3008828410536257
775
0.024610462500170516
776
0.32812406766767765
777
0.2544875209123104
778
0.7690008904858248
779
0.5890055558652217
780
0.8384668030478214
781
0.6309998638964248
782
0.7834377992791096
783
0.28109330621286366
784
0.7351549273812763
785
0.07078752132421284
786
0.04401543120881424
787
0.368176427289969
788
0.9961759558229393
789
0.6005748582840728
790
0.9529595216537573
791
0.34200321792845945
792
0.17498681110895675
793
0.7854389352564882
794
0.3939826032598459
795
0.8625781985671
796
0.8429772157177791
797
0.5807091959795236
798
0.2323610534056868
799
0.15097101601457796
800
0.6128052448236959
801
0.2091748050352359
802
0.25991368317841823
803
0.04453323114354335
804
0.4787201776550122
805
0.8087472138431012
806
0.4035156239457608
807
0.3742215049607587
808
0.5703383605891006
809
0.9326400764161065
810
0.8917585152872198
811
0.8012647394180068
812
0.057939796425845125
813
0.8522919556124967
814
0.7315937728376444
815
0.759201642191068
816
0.8702045891227024
817
0.012671874997558286
818
0.2852730861391787
819
0.6873545059016788
820
0.08941025983121265
821
0.9202718330712504
822
0.9576257631201519
823
0.3130940662388463
824
0.3744617735266702
825
0.20600398002479714
826
0.0046906292746244915
827
0.3427888470291478
828
0.528728692189292
829
0.5983847375774592
830
0.2569450945513102
831
0.5551222612546816
832
0.3775143707781706
833
0.0668020359824193
834
0.11385193315960718
835
0.9554992182119771
836
0.449084753167186
837
0.4503257046291199
838
0.5111698569408507
839
0.34655317460798807
840
0.5635347109423168
841
0.47443546495378053
842
0.6884514676748573
843
0.3973037312433805
844
0.32537270725939094
845
0.1762047147049658
846
0.49137771378881767
847
0.05230406174217839
848
0.6885547795342621
849
0.4078925530898888
850
0.6320555459188155
851
0.912155845986565
852
0.2168018575075411
853
0.26956051699037165
854
0.800131174440618
855
0.03805962091296611
856
0.39738451534512187
857
0.033244636912938885
858
0.7685486375053181
859
0.48560626358602554
860
0.38316195603695147
861
0.36437699217195807
862
0.6700091014383912
863
0.7568053649553425
864
0.8355131264111786
865
0.42056613846876745
866
0.4336640873722669
867
0.274384663113972
868
0.11989935834457777
869
0.713508201680792
870
0.9663007909040612
871
0.9286841048220477
872
0.9661495580020896
873
0.45671626329464077
874
0.038255795866126596
875
0.7250072120336205
876
0.8471608095853993
877
0.4899182744893633
878
0.9915190122182025
879
0.5680811269606317
880
0.7525582949325843
881
0.7703887004347185
882
0.3259665553250336
883
0.2603162018188886
884
0.7379605180331343
885
0.8521426588218465
886
0.9393880393562776
887
0.8618447828097345
888
0.6158469375471755
889
0.7358358015712789
890
0.2979498596956799
891
0.6628580445860329
892
0.42062709848848845
893
0.9653766887171512
894
0.09596312720160527
895
0.1525485865717373
896
0.8283615325166951
897
0.8716731985244399
898
0.027301068671270023
899
0.5340059895273459
900
0.5406865399997463
901
0.4195978214409155
902
0.13553747264719518
903
0.5307009956500357
904
0.752846284060694
905
0.2011713287378799
906
0.835854318202622
907
0.45773362363909775
908
0.2173375049974241
909
0.7361280097760087
910
0.10899310635522907
911
0.7898092157772449
912
0.0875234255688414
913
0.3904399695643237
914
0.5560013941458369
915
0.7479455378855823
916
0.6796750620537312
917
0.9040419169871831
918
0.9722518816461944
919
0.7482033318824549
920
0.5272499442905859
921
0.7309120050991385
922
0.8501888938433818
923
0.9082713946548072
924
0.6178193158307479
925
0.13782801218415053
926
0.7524827456161285
927
0.19152683105236834
928
0.5009071253307317
929
0.2825330553670271
930
0.8107497657421413
931
0.1832295913831714
932
0.034104984274005656
933
0.2977079484049173
934
0.6997217048231394
935
0.9397999899977898
936
0.8951793021463857
937
0.7440625136073298
938
0.31272555929586254
939
0.8296667487540887
940
0.6294883046589891
941
0.6640211493849424
942
0.02156049927830883
943
0.792962111423913
944
0.9248779511462841
945
0.866893031244854
946
0.8423358552351602
947
0.9873795536240296
948
0.01032751971292356
949
0.007080506522855301
950
0.04856056844549561
951
0.35879925307922933
952
0.5599674803350495
953
0.4787940037423235
954
0.7737506049554768
955
0.27782462628739424
956
0.2506929901432391
957
0.14390540420314213
958
0.9280481516217913
959
0.01716318801234351
960
0.16944899116441925
961
0.43398588085453116
962
0.31682218438229215
963
0.5098233520156205
964
0.5953635498735244
965
0.423238712594012
966
0.1939471734583731
967
0.5243883515702298
968
0.292258117664838
969
0.055951100349443506
970
0.6084330475261709
971
0.12116735393252254
972
0.3386649640538474
973
0.8302534072873101
974
0.8103058240487305
975
0.011812625425921541
976
0.6953332592723553
977
0.8893882079460224
978
0.6701154498108133
979
0.23503125658861945
980
0.164307128497997
981
0.6523555964597212
982
0.53617335768414
983
0.38230845339884945
984
0.1290106019968662
985
0.8277152531066554
986
0.2045992977500526
987
0.4600987525725758
988
0.481375743954653
989
0.8974899054947716
990
0.7094831761655567
991
0.35873051933543
992
0.43990184946586386
993
0.9325287477624767
994
0.45394449819941773
995
0.8133082564440663
996
0.5416353646353588
997
0.9063535601606187
998
0.7975984749026391
999
0.6881860124265408
1000
0.9514113788647077