Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / mpfr / math_vect_2_test_math_vect_2_test_input_values @ b745c1a8

History | View | Annotate | Download (43.3 KB)

1 8451150a hbourbou
0.23288216932739736
2
0.549827425198903
3
0.2824624546266815
4
0.332470831093327
5
0.9509829711724778
6
0.03546745055577072
7
0.373842491769955
8
0.8138295791023089
9
0.21974284887912265
10
0.48970697605944724
11
0.5310810388457101
12
0.7343598625402923
13
0.07888583467999843
14
0.6049798431204564
15
0.23026570001392999
16
0.5184257532822975
17
0.5388637979192962
18
0.1316723577529323
19
0.5683179987767221
20
0.7751340617677559
21
0.4711798464780259
22
0.2775648737350913
23
0.9627541924763622
24
0.8481139238761679
25
0.9581090462387316
26
0.40112072052047854
27
0.9539249617540483
28
0.4717805201976557
29
0.4233802198584907
30
0.9659378216683707
31
0.006004788246533832
32
0.0956373671575016
33
0.0851090659205257
34
0.2949676917640829
35
0.6883534470112335
36
0.9000849942447944
37
0.2732494259726562
38
0.26564590766052865
39
0.38547336513948527
40
0.5203678506404577
41
0.936056085924706
42
0.7208665952111095
43
0.731638439405104
44
0.01970614665312076
45
0.22352923838310235
46
0.035772996939930524
47
0.2953711162117755
48
0.7083223334423522
49
0.3805368788888912
50
0.9766252246865478
51
0.6492964278503914
52
0.9919865752117386
53
0.3082884369101919
54
0.7155450329828638
55
0.8525031027667055
56
0.5518698746335692
57
0.06005933190329116
58
0.6237267678390881
59
0.5453934798217926
60
0.8069068041702115
61
0.22554240243760648
62
0.2557428364781239
63
0.3111052656643998
64
0.7905345020739261
65
0.6279293104587625
66
0.7588607785377831
67
0.6929402979124679
68
0.2855886707177686
69
0.008801061584246095
70
0.7938281626252298
71
0.2738363734018133
72
0.30430063242493344
73
0.4081336579396686
74
0.9373709497475389
75
0.5217701054773414
76
0.774754468110494
77
0.7602012713460499
78
0.45168942025986825
79
0.6840808080077383
80
0.600827115212037
81
0.8208859665201292
82
0.2525253695333649
83
0.8740555250392417
84
0.09954751040130327
85
0.917879797141226
86
0.8849131620022358
87
0.6347188534823934
88
0.18797639476873262
89
0.17249101398947408
90
0.32451591514407985
91
0.6876210489948871
92
0.5911210838538186
93
0.7802434884525101
94
0.4624879649887187
95
0.27852038037608884
96
0.7730645574628381
97
0.6571845098160656
98
0.2030928776073352
99
0.5172071843423677
100
0.2554015766548139
101
0.25979254472961877
102
0.20584632709483885
103
0.37531828576274595
104
0.48023910821410165
105
0.6686040077224024
106
0.43774109180704346
107
0.5538423419759052
108
0.3994322230151226
109
0.08915318517287463
110
0.8661515930906776
111
0.26111809629282545
112
0.5273903405609778
113
0.7685475461242813
114
0.819303791134942
115
0.052479021656121505
116
0.28170366305561023
117
0.9519761738547154
118
0.7687353493721901
119
0.2742997136018326
120
0.05400249608523877
121
0.9106760152679626
122
0.5469604989402836
123
0.3280503855533373
124
0.6028774788966216
125
0.2613572977332239
126
0.3035923389625276
127
0.9240679258257909
128
0.041351434269020215
129
0.7668157453628887
130
0.8244652131222879
131
0.7301034361960066
132
0.90330919892015
133
0.5584360180463938
134
0.1908383726796803
135
0.33630734412488716
136
0.5164543752936199
137
0.25351732199448274
138
0.13955096512134368
139
0.2561651822944504
140
0.18377680396326712
141
0.7538285640046225
142
0.900038265812817
143
0.7619987083416443
144
0.48117869762496823
145
0.6065271305651594
146
0.7304072555227594
147
0.7139979263156084
148
0.31582092193825617
149
0.6845518904358225
150
0.8523093134565399
151
0.18335233245353477
152
0.2579153752468305
153
0.6008275987951675
154
0.9931364847819532
155
0.5928999157179434
156
0.05810333323385464
157
0.7090944181233523
158
0.28410711777858966
159
0.3028150751528458
160
0.19322374581401813
161
0.7639027060866261
162
0.8340955311075906
163
0.05420770778905115
164
0.7451895487099552
165
0.3132901796568357
166
0.9015996007451866
167
0.45010713520493084
168
0.910853798083695
169
0.6798846617271463
170
0.22102894418885255
171
0.7011565272480145
172
0.9651622093000415
173
0.9496523416901357
174
0.7045358889196734
175
0.19244484085082336
176
0.5555519173884178
177
0.7322383281869805
178
0.43689991425391816
179
0.038254571674284366
180
0.7924710019784806
181
0.5828223613481012
182
0.6085158815069027
183
0.6831057999605697
184
0.7190568065002177
185
0.8826394032448023
186
0.7903250604627543
187
0.7803279239047359
188
0.3924258932610152
189
0.6637913660745421
190
0.7445669870933582
191
0.03349251314803425
192
0.9896914833964597
193
0.3337027509315418
194
0.7865196973101953
195
0.42139203391126134
196
0.06373960596357431
197
0.5055494856718301
198
0.5649342947408713
199
0.2438507942017908
200
0.31695776780298246
201
0.1732170216872514
202
0.01265946658021222
203
0.7235060940244233
204
0.03552555179187833
205
0.2828198524844492
206
0.13399031470663114
207
0.47779918199924
208
0.6325393144874468
209
0.3475419591710057
210
0.24156479236167827
211
0.035766679797463063
212
0.5851577936874706
213
0.12853322944489287
214
0.233170651304899
215
0.7158257851161152
216
0.41911986594871886
217
0.5618244968659091
218
0.5076142329310455
219
0.6035966600012187
220
0.293398825819555
221
0.04969958705346067
222
0.15884179533719045
223
0.07290848252819326
224
0.16842244719908583
225
0.9546898854570213
226
0.1587932987709495
227
0.27848585980296026
228
0.5032018867093059
229
0.635333013693443
230
0.3420072272429798
231
0.3154149886726024
232
0.9198761231310681
233
0.6450643192027237
234
0.13878449015518812
235
0.288339607279566
236
0.29859369023357485
237
0.7790859599782839
238
0.16875820466220726
239
0.36243899683818304
240
0.3213163168371096
241
0.4987850713093396
242
0.003005369438254246
243
0.9785914610535298
244
0.5700441037301478
245
0.8892493430932402
246
0.6303754777157067
247
0.8067284993703611
248
0.903125361527969
249
0.7126544500673357
250
0.4225003693258025
251
0.6842363162574522
252
0.9827287548090236
253
0.30877454908103064
254
0.6819880300233527
255
0.7403627892326363
256
0.5072188746361664
257
0.06359392103504813
258
0.17959314481364974
259
0.14294011956027763
260
0.9140910588389644
261
0.9179736131648333
262
0.43869524522823633
263
0.42033405514562705
264
0.062284798113659834
265
0.9205545356649043
266
0.9092051477199476
267
0.10938275553938015
268
0.6771097008678549
269
0.14255398113657336
270
0.5880587684100237
271
0.5591902015056442
272
0.14668114799552012
273
0.36683997440518223
274
0.08974714954174023
275
0.08098961242544367
276
0.5956781310013437
277
0.8396438711335412
278
0.6478700672750339
279
0.2758948723589635
280
0.030398505125497244
281
0.03049841172750367
282
0.037489711935511094
283
0.2952090675070712
284
0.7485019058326289
285
0.7844647952934724
286
0.9481004020904458
287
0.9920609455553167
288
0.13749399792040173
289
0.47043950366252063
290
0.9083188313640317
291
0.4084913480680058
292
0.44792047220076503
293
0.7303070445442937
294
0.46593881436939877
295
0.8087139457433512
296
0.12040241418842224
297
0.21593274254689798
298
0.9607832265956953
299
0.5171253003387413
300
0.7700595015418344
301
0.2644648971843434
302
0.8928251487482015
303
0.14874139646241746
304
0.9875312003288834
305
0.8071433678053384
306
0.5843392795318088
307
0.43008942385565785
308
0.7027200060319104
309
0.932787347058688
310
0.5623835616002214
311
0.7001844780370455
312
0.9755453947104993
313
0.43436211472365915
314
0.8467000309928012
315
0.35407330882868804
316
0.7274105459518331
317
0.35550098532747443
318
0.11816344887128116
319
0.9455281828918283
320
0.10774862025627441
321
0.023585146498858345
322
0.5641943685986944
323
0.40082563274497296
324
0.9019287669233044
325
0.306960913588326
326
0.05009361175958604
327
0.8121464467517772
328
0.6299666971221695
329
0.8661001758506957
330
0.14904283072653268
331
0.5769851443821574
332
0.7598984497864535
333
0.9819863596016251
334
0.478556138239591
335
0.2290579779592925
336
0.7653397844308462
337
0.13973539715221095
338
0.7374560221190875
339
0.1665508585140083
340
0.5936684533294109
341
0.9214367467208184
342
0.8149860202185066
343
0.6251497029570705
344
0.47942957469470504
345
0.9194270789015119
346
0.3524621172815984
347
0.6661474946012343
348
0.9369796804859779
349
0.3196849851341387
350
0.17790305138008
351
0.6540235576186657
352
0.19704763615404675
353
0.5247623406347043
354
0.10536969311002531
355
0.6832427478286407
356
0.313806321552059
357
0.686643817976263
358
0.6932820478560904
359
0.6806230730894578
360
0.66221118079541
361
0.30215326957610356
362
0.6897718527975126
363
0.45747238852859295
364
0.5697777658072655
365
0.08700171474481921
366
0.05816766110871274
367
0.8147961340202515
368
0.38263256934275347
369
0.18929865525644007
370
0.6719983071456328
371
0.9152295473839255
372
0.35258721902552037
373
0.42932452505987384
374
0.9964401008356736
375
0.5269497990627132
376
0.3501487043266668
377
0.6595894452411323
378
0.3319213827776931
379
0.4176743240113009
380
0.5577934704151378
381
0.5276789307158931
382
0.4856380596330918
383
0.13095391168616155
384
0.9784966448760166
385
0.8941145801789516
386
0.0580222135987386
387
0.6123202327803478
388
0.8064219284285918
389
0.9084343337474071
390
0.8837448368529638
391
0.6694492645250458
392
0.44984173589824705
393
0.2789227674207686
394
0.5506235841884352
395
0.048353392501583214
396
0.27077125722373996
397
0.5848991514026414
398
0.3348443035674741
399
0.9867169335579212
400
0.9114641904119684
401
0.5751972910029605
402
0.3371954505034668
403
0.4658409216843866
404
0.41483177046962005
405
0.2724477012609313
406
0.08255253471373658
407
0.02426489550454014
408
0.2140109615904342
409
0.35999929058529867
410
0.35363937560763403
411
0.9189848408787997
412
0.4657219515314873
413
0.7667942508852115
414
0.5701317726828902
415
0.6242880902564547
416
0.13271847820109528
417
0.5852364357745431
418
0.5954583900940255
419
0.14357744461352084
420
0.6825493535857589
421
0.45807018427739477
422
0.4561926154823778
423
0.37615837700387655
424
0.26301305764808725
425
0.352512748798527
426
0.09271826904828828
427
0.8288148095223171
428
0.7391017942141153
429
0.20336064346109972
430
0.9248909670754633
431
0.2911004490166389
432
0.03189483107315949
433
0.2515160772788664
434
0.7127065042493742
435
0.7036242596101919
436
0.7867757462279402
437
0.0303569029333427
438
0.919525695180881
439
0.3402100886867844
440
0.5165117637539062
441
0.8595994841571372
442
0.5441954030410397
443
0.597662373295144
444
0.014147503996219002
445
0.39478081295791223
446
0.1784435266860882
447
0.14097086504352507
448
0.011329776618160037
449
0.2502126616418835
450
0.8672153616024784
451
0.887139569243693
452
0.7695937662577566
453
0.9642371894624323
454
0.20215744633198396
455
0.32742576710680715
456
0.5353053360465718
457
0.6078397032865264
458
0.9622446471938182
459
0.9856276842726543
460
0.5633678628913479
461
0.15115111981118112
462
0.5305844061162465
463
0.3891597337291963
464
0.7204666891455895
465
0.2970994677254043
466
0.26272198297401983
467
0.7900066920940471
468
0.5155376035230895
469
0.8674454736198077
470
0.9593091847678556
471
0.014249506237089538
472
0.7733101787180872
473
0.9836648756285977
474
0.6047880539000717
475
0.24170665580065254
476
0.06619137032523426
477
0.223615863555492
478
0.5737803313998274
479
0.2213370848959365
480
0.45041752454121287
481
0.6546571573359309
482
0.5781623837672111
483
0.41340171106961754
484
0.014318514842165952
485
0.14485844214623989
486
0.7303443695910495
487
0.8159828653331871
488
0.23970073614670429
489
0.6361715789953163
490
0.23206154543687374
491
0.7813115396822715
492
0.20177018200899677
493
0.1269074889702162
494
0.3630246951931473
495
0.9564548924058413
496
0.18868072997775687
497
0.955590627412935
498
0.6400653554777773
499
0.5932673315032252
500
0.40870710548610123
501
0.6042384797226102
502
0.24495144097081745
503
0.8641103747015432
504
0.07120563811485792
505
0.6463413081002874
506
0.07783679920000486
507
0.4926979850895664
508
0.2769403559140593
509
0.6532932115513276
510
0.08334833158962263
511
0.9635256810932576
512
0.8340156637556357
513
0.8427521418448342
514
0.8176024937696854
515
0.8086930160819954
516
0.327571489354774
517
0.0033832498537077482
518
0.5769830032253647
519
0.9875311935044716
520
0.5145600459580407
521
0.7626668644665513
522
0.7932994428347176
523
0.17229834823181
524
0.38933823398543044
525
0.5779277121320174
526
0.8149869081665749
527
0.8323072298543752
528
0.07147301118365224
529
0.9254705566481524
530
0.6402945848753312
531
0.36920134445687525
532
0.004071961145382219
533
0.03868176585862759
534
0.6459511520243691
535
0.19769707606383957
536
0.8191144008102963
537
0.20318466460891504
538
0.8635834773057974
539
0.5889611112194552
540
0.625673250165989
541
0.055612235928234055
542
0.8962043764706255
543
0.29789376577474136
544
0.40758162118276886
545
0.5522871078964433
546
0.13837405974753947
547
0.4809406496858799
548
0.6790118005340706
549
0.2750763186684203
550
0.5661791021739585
551
0.17765650510241715
552
0.5395991492632363
553
0.5239136444936617
554
0.9969619800609848
555
0.6770966857952478
556
0.7951568145544858
557
0.2089598203376637
558
0.3837726672061904
559
0.41921319480928443
560
0.8656914432379813
561
0.9000970843961412
562
0.4058037916348599
563
0.6917839091593305
564
0.7893443350305004
565
0.517431088445437
566
0.3436090191265966
567
0.27500519308857196
568
0.7490460797379326
569
0.05370003756931585
570
0.9866939616278869
571
0.3587294007668146
572
0.19808750466526082
573
0.4079669122624755
574
0.11110769718230651
575
0.5114306893898093
576
0.8414728850732632
577
0.8796980035075284
578
0.8859522445307396
579
0.21533388255650077
580
0.44183628385710094
581
0.12330670241689312
582
0.4202661361722658
583
0.4987427505186314
584
0.6618656064680103
585
0.39546868947013747
586
0.545527591711219
587
0.4944557550971106
588
0.9295926010425789
589
0.7409910545808637
590
0.8440616209625582
591
0.33225853610241873
592
0.6185722408722911
593
0.3577439548346939
594
0.8799246819239286
595
0.6338344297784476
596
0.6718873903035864
597
0.7571411189022601
598
0.5663791498603655
599
0.02003561799445963
600
0.16708036617239186
601
0.49388058901738274
602
0.6128596085258567
603
0.46330891430098686
604
0.2185257213604238
605
0.17713494724119216
606
0.03437131976752683
607
0.022172101873828454
608
0.044423540222239155
609
0.19510619374086946
610
0.7775507413239229
611
0.4799881951215401
612
0.9875061413910593
613
0.08583691949087158
614
0.6201567818936167
615
0.6768862397445099
616
0.7717152391764015
617
0.7693964590561343
618
0.6345510082232505
619
0.871529457598457
620
0.3015207690745887
621
0.920036815923515
622
0.670763105278022
623
0.2985322837450256
624
0.866216512306839
625
0.6016399474362383
626
0.5110282031980913
627
0.1976804565260124
628
0.698441939924152
629
0.9157545548843279
630
0.575220708659649
631
0.982708545643575
632
0.4543434150016177
633
0.8187468318107992
634
0.31539894735597407
635
0.890242383275244
636
0.33220220407764267
637
0.453066797695831
638
0.7277137500978001
639
0.4036139877468541
640
0.2270208665143807
641
0.30735757519925067
642
0.7312231405850009
643
0.9816092814605692
644
0.5304734085562388
645
0.2711120584937603
646
0.5156945827287897
647
0.13880962997252821
648
0.9287887631947974
649
0.18180819897733846
650
0.3442648956333131
651
0.7220404095035101
652
0.8255514639934202
653
0.7759298726562933
654
0.7118676735124203
655
0.3065409423513312
656
0.82206683730659
657
0.050007851763445244
658
0.20662611410781528
659
0.9958218627831763
660
0.024852922725266957
661
0.9137910564286006
662
0.8989494666930169
663
0.5507776194674744
664
0.8179845317476111
665
0.6748855271248736
666
0.5918591209242763
667
0.6964733843582558
668
0.13742961806742016
669
0.33267476786666994
670
0.8061104390064281
671
0.65912677944347
672
0.21518189649083608
673
0.8790616197389374
674
0.9449647029604062
675
0.47115716123790463
676
0.22290752892240007
677
0.8045487833042134
678
0.6860054036745992
679
0.3487760063297919
680
0.2379881868426752
681
0.7904009819444764
682
0.28118133514468
683
0.4944441105031899
684
0.47925641011530706
685
0.13110930296363033
686
0.11129855608828598
687
0.005622375363027343
688
0.8153838340613428
689
0.7761035801005759
690
0.5374724389214076
691
0.18159480243376458
692
0.1357959875231518
693
0.0056365136503239155
694
0.8195893256700935
695
0.4117439172058449
696
0.2921526248938805
697
0.6629888836968852
698
0.6306175531823663
699
0.0015103088745923587
700
0.9678454297591924
701
0.5536219911833451
702
0.4856454001585382
703
0.7463693700597902
704
0.01362994683908636
705
0.09163043680960459
706
0.22581370381195354
707
0.7995101761514654
708
0.4994220370385579
709
0.5248243567661763
710
0.5498490985640289
711
0.3955029663368763
712
0.9754534961106945
713
0.10199685660624269
714
0.469693380927395
715
0.29009290762768025
716
0.21039552371040693
717
0.35940962012791655
718
0.4817634515868826
719
0.35536002082459417
720
0.9797226701865023
721
0.2982552242054758
722
0.19166516409180878
723
0.6298358646379713
724
0.31450408095206306
725
0.6008319605370076
726
0.10772396458259437
727
0.26477005957973143
728
0.9889729003567603
729
0.19039347767366066
730
0.3274833971310803
731
0.23059048498212809
732
0.924638558857471
733
0.3781115647822787
734
0.8813627720417664
735
0.3517032192327184
736
0.6193712132127495
737
0.5603178693218793
738
0.5689531838003444
739
0.22312916892085388
740
0.6718009469648346
741
0.9301658171158307
742
0.22597101710888312
743
0.8290766484873123
744
0.9645392094336307
745
0.9500817767101012
746
0.4936767557537446
747
0.2314000820335752
748
0.09414336579591132
749
0.3948498120520274
750
0.3276058298312118
751
0.5249968575641739
752
0.19140969665843077
753
0.6199020859845358
754
0.6787477150312614
755
0.3675460833197314
756
0.36249399432098406
757
0.3353626414793063
758
0.00784826665323668
759
0.7825942332830866
760
0.5995233063622811
761
0.5736194146030175
762
0.5522992099668631
763
0.6078441843654473
764
0.15877591495398558
765
0.7266756579470754
766
0.555118353879908
767
0.9146063584363692
768
0.08517132407319028
769
0.49925845912972133
770
0.9868123604672546
771
0.9597214126809875
772
0.773725442552828
773
0.3746389644187331
774
0.6434535603712116
775
0.747865883761652
776
0.20179089148511475
777
0.7223447426046331
778
0.8880912374346359
779
0.08000393951631601
780
0.7403158072707045
781
0.9904223845071389
782
0.7176567155314688
783
0.04284952411134546
784
0.25801896626580145
785
0.5196338012999113
786
0.28381058562287886
787
0.2545550546875134
788
0.5692929141956065
789
0.39294712623067307
790
0.47372003313200106
791
0.8234443220077402
792
0.14481116086226253
793
0.39090937594120934
794
0.6655424680406616
795
0.8994587071603448
796
0.40322895276627824
797
0.561964430559114
798
0.3134312197776651
799
0.9020875341142298
800
0.8330318684540992
801
0.13650668445899605
802
0.5881683117636125
803
0.9939047527172772
804
0.6555003628350126
805
0.5144374103368892
806
0.9020677548611861
807
0.13543608264592244
808
0.7329217303023081
809
0.8382168719613681
810
0.7805823470044887
811
0.10493184514327325
812
0.9505965040602157
813
0.22688249751280176
814
0.20808607332443652
815
0.1957223370320622
816
0.3568487855885629
817
0.09122936319390296
818
0.27159279264357183
819
0.9141848796664653
820
0.9321650065079243
821
0.07632639878998282
822
0.6537114773002672
823
0.8929519070832068
824
0.9767496932687307
825
0.0847676990879842
826
0.2849270855421079
827
0.4068425302082632
828
0.7552001714969433
829
0.5225352234943297
830
0.2553351875790716
831
0.33310019062384066
832
0.21766704666064995
833
0.3790758136311472
834
0.9072474844892344
835
0.13287163271680624
836
0.3287808103487201
837
0.004171691225763108
838
0.8826248452614279
839
0.4474634835032393
840
0.7787891181358674
841
0.47641044441958535
842
0.7830828469163216
843
0.2007642765132811
844
0.6257635398993362
845
0.2715369117272095
846
0.01525452436371555
847
0.6783214172970075
848
0.7233983154056789
849
0.5336961488386275
850
0.34058354252851974
851
0.9139143633755942
852
0.625837959687635
853
0.6285528009978318
854
0.6261607222002389
855
0.8560663463475908
856
0.029134604814786802
857
0.8144993270364816
858
0.30200508592060427
859
0.20978922061744
860
0.7083498414355756
861
0.8066415739313533
862
0.07023047026514351
863
0.5529565761160534
864
0.33998014588001446
865
0.7279771350411887
866
0.482827221358911
867
0.31205321415176746
868
0.5612987333830891
869
0.44315831045077114
870
0.1073278014696597
871
0.44864912154864744
872
0.11137122112403885
873
0.5524579052529196
874
0.13341433236909628
875
0.2557989552472667
876
0.9229159387301744
877
0.3870331769813363
878
0.43856475371086
879
0.49266868626479055
880
0.5898441301246737
881
0.19130906942026882
882
0.32712376775048413
883
0.19604299481281529
884
0.7222295613211525
885
0.3042792331778701
886
0.384723480903594
887
0.8989688567437815
888
0.31862066244308784
889
0.5587490299693216
890
0.14876803861312082
891
0.6596415914679247
892
0.43502243626278425
893
0.3060222492861019
894
0.5857352416698526
895
0.2577418223372593
896
0.11054010892413413
897
0.44325892264008593
898
0.6873373961019122
899
0.15078335037657753
900
0.7215894076431756
901
0.5717087546267431
902
0.8501229336747743
903
0.2996328760550585
904
0.6797435377908818
905
0.9462510366740319
906
0.08688878165686842
907
0.7702148331925593
908
0.6627002255285865
909
0.1901485861197859
910
0.5333132343761884
911
0.0975159547973995
912
0.3735167362329852
913
0.8436495896381689
914
0.159507652023249
915
0.7583550792769057
916
0.1601742636347504
917
0.6910480902825203
918
0.07372454679032925
919
0.7409865112339705
920
0.6956981623091678
921
0.4680403325567609
922
0.3142487081135381
923
0.1224557122302743
924
0.31847318828878823
925
0.9896903742786264
926
0.5655370718109388
927
0.7687279387499385
928
0.5630581663024261
929
0.9590455541540397
930
0.8059619330774932
931
0.7579627581653784
932
0.8737180557498049
933
0.7174186625942857
934
0.4970514217512284
935
0.8939075510867998
936
0.4860553867639761
937
0.9795799838529575
938
0.5579101400455508
939
0.7242361568582948
940
0.9865370504606403
941
0.16057932628202654
942
0.033541671962822095
943
0.8077589713974603
944
0.11537716898041317
945
0.2456447211268854
946
0.062084248637320094
947
0.5847836807996512
948
0.965149722900672
949
0.28058046998489095
950
0.4735093620587011
951
0.09650641825339545
952
0.8456696652309496
953
0.46731472810220087
954
0.11112257265683123
955
0.972165071921151
956
0.7350947070219442
957
0.5377224276147988
958
0.7572446639692372
959
0.5567879593901134
960
0.4178643081070079
961
0.5485765138197694
962
0.3657403604180126
963
0.7877229545562486
964
0.12200645556355272
965
0.49145677460401926
966
0.1566008781810475
967
0.44473304936542213
968
0.7115065770313544
969
0.14367223995726142
970
0.01157583286916175
971
0.696296580279594
972
0.26384762304927545
973
0.3997294997984654
974
0.5248885871464652
975
0.44385150387311023
976
0.16849356298453677
977
0.9176062133186368
978
0.009358998212785408
979
0.8260748365241856
980
0.7190033723708541
981
0.2900650566704308
982
0.7357956197627795
983
0.3868896664707928
984
0.5396263931368409
985
0.10847053878511825
986
0.6923094509366713
987
0.8337445224667919
988
0.08664355675908375
989
0.22504737650374118
990
0.19023931237123293
991
0.016809914636156775
992
0.8953839533383066
993
0.23924554785670005
994
0.7146694116008254
995
0.7450904209381246
996
0.20575935851892146
997
0.7348540640400383
998
0.5200569445034443
999
0.32205019223292897
1000
0.09232394781327402
1001
0.07673178392909608
1002
0.6052783866594909
1003
0.23120319220006458
1004
0.24928046299063822
1005
0.6395001339106519
1006
0.8674409167816353
1007
0.23121946943164295
1008
0.13651769675909864
1009
0.1852695245136181
1010
0.43009527997978836
1011
0.2304514767853968
1012
0.279679028738262
1013
0.7334473518805839
1014
0.36902479506948616
1015
0.7023854669892385
1016
0.13542485275653748
1017
0.6729021521583151
1018
0.3175749388332222
1019
0.07637437480338172
1020
0.08246674849417202
1021
0.055235650987770946
1022
0.7235264828061952
1023
0.4921110004179864
1024
0.7796143845373799
1025
0.9776396150481826
1026
0.8508045711408203
1027
0.5416506218513978
1028
0.34399117990470696
1029
0.7147927834616951
1030
0.9718548020827603
1031
0.1393950350786144
1032
0.5457378525546344
1033
0.7914781772840651
1034
0.5803069198906055
1035
0.45830059168307724
1036
0.4899377523643548
1037
0.5010783581295444
1038
0.868585544227379
1039
0.9496747853763832
1040
0.062161555868841534
1041
0.46983293078605937
1042
0.16141604129009768
1043
0.8242776171365237
1044
0.7509433533119048
1045
0.7427186104585087
1046
0.4737136802409223
1047
0.01404512045834272
1048
0.3286634630371169
1049
0.5240390527542033
1050
0.870132118087129
1051
0.5566045434061988
1052
0.2717283547615472
1053
0.14428830081157118
1054
0.8435873969686029
1055
0.5488515276341316
1056
0.7316014245621064
1057
0.04457801986193766
1058
0.501361609107087
1059
0.3012120871184496
1060
0.33015257366036777
1061
0.5708955143706741
1062
0.9499307611075031
1063
0.09081276925867876
1064
0.04595884035777986
1065
0.1526855156237662
1066
0.9034488609660646
1067
0.9596349525471694
1068
0.9826020491969628
1069
0.003726376702811174
1070
0.20586089300292276
1071
0.3328296854648475
1072
0.8656738998096345
1073
0.8279965641097671
1074
0.6529053116446778
1075
0.842722300781304
1076
0.7021125404345571
1077
0.13920503373982918
1078
0.22780598294663235
1079
0.6356362561326383
1080
0.15365897766816616
1081
0.7098847531082499
1082
0.6232430302802179
1083
0.6115184859277943
1084
0.8256360685998049
1085
0.35442594740039424
1086
0.7122305162177298
1087
0.5004490839103471
1088
0.8529159233735707
1089
0.7201515045923074
1090
0.4518181938706797
1091
0.41547042319366856
1092
0.8768568767872322
1093
0.011514235604517697
1094
0.5560738533146744
1095
0.5377718363573915
1096
0.7501540878208534
1097
0.6047215924898806
1098
0.1585912526989105
1099
0.8881180468232573
1100
0.08096282593669957
1101
0.3235705640167106
1102
0.5998084496628074
1103
0.7175106525620049
1104
0.03331686241621212
1105
0.7420014542089567
1106
0.4207097502488716
1107
0.9104237682488296
1108
0.6377787563060319
1109
0.25485665354429055
1110
0.6220239133999965
1111
0.9355566872250666
1112
0.23442317955310088
1113
0.815556041432099
1114
0.25682025884961424
1115
0.3018973253753974
1116
0.569667721537489
1117
0.1778779630809746
1118
0.46444322277761896
1119
0.18199252026958312
1120
0.49913036775702824
1121
0.19876118131502374
1122
0.12501538936838064
1123
0.849672477250371
1124
0.21060673629893178
1125
0.26001939545544195
1126
0.4162773241312604
1127
0.8460780163712209
1128
0.3744240730200187
1129
0.14908693283310215
1130
0.6883225671564299
1131
0.33569140604758874
1132
0.6528429818512579
1133
0.8023905041186166
1134
0.2368243500019579
1135
0.9431723997223109
1136
0.5558423771812696
1137
0.15966863373901985
1138
0.75164027179868
1139
0.4721534221774363
1140
0.7175368199503223
1141
0.0035365775205743466
1142
0.4452197156152685
1143
0.29874859781130125
1144
0.2856394001918402
1145
0.0658219200875978
1146
0.12402847012366769
1147
0.9053839313101258
1148
0.26579792451336415
1149
0.8706715050161181
1150
0.7562433407495708
1151
0.974656060736534
1152
0.3432953904600322
1153
0.7541577804916528
1154
0.4102593051033667
1155
0.698280266574432
1156
0.9165207398971235
1157
0.2510889726132818
1158
0.7910902775526227
1159
0.47278843021128825
1160
0.8197791042053612
1161
0.5719537855038732
1162
0.9855341218988548
1163
0.9514902478614059
1164
0.487425403854316
1165
0.20640813827296367
1166
0.4420109391837216
1167
0.5013121679214176
1168
0.11696893412539466
1169
0.7844381875879376
1170
0.6572735120795584
1171
0.4734799448354945
1172
0.7257106345882933
1173
0.20230992529201797
1174
0.519727187488743
1175
0.3386126142500724
1176
0.8636390129864501
1177
0.6776427415012088
1178
0.7678860325889734
1179
0.6596469451668426
1180
0.14472453370804117
1181
0.8364204634576164
1182
0.5625306310476014
1183
0.08011335606283454
1184
0.6894164171663013
1185
0.15448051586913714
1186
0.7424225412549093
1187
0.990635179904109
1188
0.03305984175624599
1189
0.07699752593256515
1190
0.9359691608334092
1191
0.30312562043691704
1192
0.048115822419757204
1193
0.9217052833811838
1194
0.3350217085596089
1195
0.8100076447544792
1196
0.9524796204643243
1197
0.23507669272506349
1198
0.6020283355931958
1199
0.9348835506760151
1200
0.5318580274679046
1201
0.6154083357053056
1202
0.07805347610443802
1203
0.2914334044663307
1204
0.2910799207588882
1205
0.14273297694388243
1206
0.18671333871566342
1207
0.3589217611194909
1208
0.3673781239871725
1209
0.46270916898977876
1210
0.6878665504757168
1211
0.75554489870627
1212
0.6880953436183139
1213
0.26011468194535214
1214
0.22493842416964138
1215
0.044951526276383214
1216
0.03593013838094394
1217
0.32729629583133724
1218
0.4310458908331045
1219
0.7466219142742537
1220
0.3967540304521463
1221
0.6839052628260387
1222
0.7116294019153638
1223
0.2373917251214409
1224
0.20819387175580573
1225
0.23647448801737192
1226
0.7050870910403948
1227
0.5292585475223182
1228
0.9015882359711656
1229
0.279869818806469
1230
0.33794596861352455
1231
0.48771070981915443
1232
0.43559071133110105
1233
0.737374430249683
1234
0.33739313037239194
1235
0.9151692014456645
1236
0.35660658063659456
1237
0.4121421315208138
1238
0.04152988851964756
1239
0.0657356443960817
1240
0.289414027945165
1241
0.6799813648290145
1242
0.3565003861671465
1243
0.5802901573784596
1244
0.660734470932399
1245
0.9919089279119537
1246
0.7496851970893795
1247
0.5350852367582799
1248
0.889181134052584
1249
0.2746387447607669
1250
0.2394398220414763
1251
0.28233262420207095
1252
0.23692888140670554
1253
0.8181471262846449
1254
0.4443968717664958
1255
0.027882282914270418
1256
0.011612379622956026
1257
0.5216834231070523
1258
0.8891396564431822
1259
0.6389438273498351
1260
0.8313736216478447
1261
0.4330706622598224
1262
0.92809419463329
1263
0.0039023267799600525
1264
0.22164418897213944
1265
0.3608680905716821
1266
0.8457757902363359
1267
0.3766322416817549
1268
0.8991614237020703
1269
0.9649430927670135
1270
0.9190648118108865
1271
0.5293144297428504
1272
0.7168818022009823
1273
0.13822794362867108
1274
0.4859762757413062
1275
0.21061313563245432
1276
0.3928690848571742
1277
0.6809120011231925
1278
0.35542603466410794
1279
0.3601707631438912
1280
0.826898382711488
1281
0.2380472132244582
1282
0.21378599416719168
1283
0.7657309553888785
1284
0.02043205345311172
1285
0.22252179621582246
1286
0.03655958886411492
1287
0.36580060807237713
1288
0.35878653014689155
1289
0.9775820818790134
1290
0.897297876012392
1291
0.19861441102726463
1292
0.28872437226889025
1293
0.7465609511901552
1294
0.9809158273722288
1295
0.07726578110604942
1296
0.23036840574018658
1297
0.11219619291073679
1298
0.05485686862388728
1299
0.4312208902234188
1300
0.8992506279171573
1301
0.4438998350742803
1302
0.12909394867427926
1303
0.3960330033365742
1304
0.08247090429834714
1305
0.5485651678516088
1306
0.544742873732249
1307
0.1559262328291776
1308
0.312355887850967
1309
0.1589757266343792
1310
0.27110433318643634
1311
0.7480200599492071
1312
0.8116719233445936
1313
0.11360594089672837
1314
0.7622389113070176
1315
0.0223160821471573
1316
0.5463598785333886
1317
0.08258081371638626
1318
0.3267191144787748
1319
0.2181716327752642
1320
0.21492417109652762
1321
0.4767876468296621
1322
0.5979909784186268
1323
0.6658352410774406
1324
0.5280219004644967
1325
0.7406099238287048
1326
0.3578176421299145
1327
0.450721124094987
1328
0.187462556351903
1329
0.573480057532256
1330
0.6615654049660966
1331
0.48845119681424065
1332
0.5607423834391209
1333
0.7514237370681169
1334
0.9416325728793734
1335
0.350294853298321
1336
0.16540166901508457
1337
0.12699584903491645
1338
0.5241103165177055
1339
0.3514879963970311
1340
0.7269076745874393
1341
0.07448411538482502
1342
0.7838032394403951
1343
0.8690148031201651
1344
0.7544292527749283
1345
0.11698298478865787
1346
0.9840274606092781
1347
0.5907868230586976
1348
0.2907840147258609
1349
0.722917634564892
1350
0.7001422646078899
1351
0.41475600648496735
1352
0.7360022904258476
1353
0.2918234002573723
1354
0.6095604032502738
1355
0.014349418422297089
1356
0.41836703479995774
1357
0.1626635729464072
1358
0.3460220774748276
1359
0.6657151604591564
1360
0.892451700200343
1361
0.07269434156684407
1362
0.06220546374101876
1363
0.7926207526430435
1364
0.7805933910485665
1365
0.8708625550063526
1366
0.32228690451095166
1367
0.8264463571806107
1368
0.34240197303211783
1369
0.4469485209572269
1370
0.954851774530878
1371
0.40156710989884825
1372
0.8563199542494067
1373
0.7761423497036577
1374
0.5365972573956022
1375
0.6105204810107485
1376
0.3279120843941862
1377
0.6984694194237605
1378
0.24855645424110195
1379
0.028705670951068463
1380
0.0014778347770072475
1381
0.5534566417358073
1382
0.9491126021172254
1383
0.48496425863599135
1384
0.6447437200584488
1385
0.07265786203954228
1386
0.4418614519454941
1387
0.10224224446653096
1388
0.6008065917780663
1389
0.9961335512659715
1390
0.08141865753665156
1391
0.9616355635182458
1392
0.15716323137753352
1393
0.7237062037957136
1394
0.05655798377741017
1395
0.8534729382498407
1396
0.8685754090061315
1397
0.937789593618152
1398
0.9176057008307148
1399
0.9706906708485142
1400
0.08868365000801604
1401
0.5418164526185496
1402
0.17380503799985092
1403
0.07260645932994414
1404
0.11469741263517541
1405
0.4467658768490571
1406
0.07640388842904167
1407
0.6013003996794075
1408
0.030152752992725462
1409
0.7080183321226868
1410
0.024508189982121564
1411
0.46816284150053866
1412
0.5426431759864733
1413
0.2657422808482629
1414
0.3832819624099997
1415
0.7447707564342801
1416
0.8565935304729916
1417
0.07424385662913735
1418
0.8878647934378889
1419
0.2901052371042331
1420
0.8955598174563548
1421
0.7191863637213085
1422
0.22141564154127824
1423
0.4252248451054109
1424
0.9942035759397607
1425
0.7163144135567423
1426
0.8019820650395911
1427
0.126860862232693
1428
0.5170019079425945
1429
0.5612927018543802
1430
0.29043183596309363
1431
0.8530018893069455
1432
0.7289192074020545
1433
0.2574967245500379
1434
0.840474061708805
1435
0.03638727764726202
1436
0.6426805866064267
1437
0.48706946156929676
1438
0.6518350666558772
1439
0.48592982602122115
1440
0.4979508170299539
1441
0.8102838220132184
1442
0.9589440155434629
1443
0.421440370263772
1444
0.9896367659918271
1445
0.27922806522964294
1446
0.1900221318328894
1447
0.6336278004919276
1448
0.35569569723484196
1449
0.6340574943695538
1450
0.6652580331321031
1451
0.3092002994624211
1452
0.9592450861093664
1453
0.8135323101225086
1454
0.8677915578618134
1455
0.3899945080126631
1456
0.055434654479568746
1457
0.8562882845618869
1458
0.01751667637011134
1459
0.9454114675926294
1460
0.020454550660340853
1461
0.39526330216558025
1462
0.4052538247017061
1463
0.929039032439308
1464
0.43821826390050345
1465
0.8549293386513697
1466
0.7036305283856845
1467
0.8631930546052299
1468
0.0896723336451335
1469
0.14945627219139868
1470
0.26104876189832804
1471
0.4492100005148999
1472
0.07034967953116444
1473
0.14966022628296916
1474
0.20640592641434685
1475
0.8366761240278443
1476
0.9736968459937027
1477
0.4375656443091108
1478
0.04477624668526181
1479
0.30137967948369504
1480
0.320869711648359
1481
0.899637365151032
1482
0.3080473154070391
1483
0.3796236241489619
1484
0.19210645360460388
1485
0.5232146699646893
1486
0.7395467566960343
1487
0.08563905314993603
1488
0.3204504527311759
1489
0.35540685085846646
1490
0.4379822179460945
1491
0.6991896120015352
1492
0.7455097799682479
1493
0.9596855725168528
1494
0.3635574096457499
1495
0.7520602132853663
1496
0.4931041842833028
1497
0.8626361678406441
1498
0.6179154158151542
1499
0.26497380794477754
1500
0.6460644392462191
1501
0.42180689592927234
1502
0.9496005863798352
1503
0.9905821983985605
1504
0.6021131382038546
1505
0.2653210223318325
1506
0.00801810782933754
1507
0.4035279797983259
1508
0.27666972320042527
1509
0.9548939204399091
1510
0.9714105535815659
1511
0.4451767732323033
1512
0.5015869567158934
1513
0.8061234824726168
1514
0.3081588553385568
1515
0.5784699588536515
1516
0.8952400952944792
1517
0.863398652543554
1518
0.5957549664691367
1519
0.5374500351329258
1520
0.03505364060466576
1521
0.8714978528006395
1522
0.5180820427573892
1523
0.26636209219068674
1524
0.8504653953406976
1525
0.711925378808286
1526
0.38917710735820177
1527
0.9348365567246689
1528
0.7724906286090597
1529
0.17926017765047153
1530
0.8104405527756858
1531
0.5885099559762905
1532
0.3254641982331844
1533
0.16126846222527202
1534
0.358295315737552
1535
0.9485418094719542
1536
0.5272018498723706
1537
0.2562579869694569
1538
0.5205884506585574
1539
0.10883769458826742
1540
0.6757362822944457
1541
0.6121280502376589
1542
0.45256577120766195
1543
0.39638957011204734
1544
0.8439474593511064
1545
0.30379642494450676
1546
0.5070404741474631
1547
0.4579964584420737
1548
0.6778210009532948
1549
0.8791605147090137
1550
0.908414928467579
1551
0.715730196102027
1552
0.8997321055385007
1553
0.7984768310543016
1554
0.3865039967111713
1555
0.6938617763727031
1556
0.25506710349955874
1557
0.3680194196369321
1558
0.06364783275511277
1559
0.36156643480964434
1560
0.5086581051253358
1561
0.4261042790203228
1562
0.3973901638007733
1563
0.5585764621087563
1564
0.49692092529321696
1565
0.4780436357065939
1566
0.5210384882659292
1567
0.7750524067228219
1568
0.17225000725409723
1569
0.19632021032640157
1570
0.8957101902324829
1571
0.042295181263829584
1572
0.038138679437997425
1573
0.20324850924859628
1574
0.7900087985291488
1575
0.45752273288118417
1576
0.3666563780966775
1577
0.8356163325040797
1578
0.7372632575820809
1579
0.9137869133037775
1580
0.11432947972441787
1581
0.1542766376406166
1582
0.7853018414831205
1583
0.9352074542549488
1584
0.5081354597750035
1585
0.8063861945249484
1586
0.05002206676996501
1587
0.12805154667369445
1588
0.8602350429191358
1589
0.47396425557478516
1590
0.8115563186039376
1591
0.6497893481961207
1592
0.2882305418053872
1593
0.5496706318490047
1594
0.15062250707240543
1595
0.2711068936972336
1596
0.6671525437433997
1597
0.3691797469774145
1598
0.9126879333797858
1599
0.059959759073896945
1600
0.32004185554816544
1601
0.7992532028975492
1602
0.6088633998804177
1603
0.45210238578384987
1604
0.6659067568819826
1605
0.23159020504658057
1606
0.7149842181087246
1607
0.4891291980419349
1608
0.2870005541719469
1609
0.06476202556649857
1610
0.7141229796075302
1611
0.3029156983036825
1612
0.6517777581997141
1613
0.5700125477436219
1614
0.14281903369956872
1615
0.5044489557092633
1616
0.035551670570419525
1617
0.6314342920108313
1618
0.8475978689021814
1619
0.9953884688081173
1620
0.01779044616685921
1621
0.2270053868755325
1622
0.6358928814738611
1623
0.8623001391246804
1624
0.30315183180787186
1625
0.6741995201387522
1626
0.514271352127056
1627
0.436357469714451
1628
0.5127721929233684
1629
0.6023578228281907
1630
0.7469053038026693
1631
0.3054059670644862
1632
0.022988242551772453
1633
0.3337378722003572
1634
0.03851665210703059
1635
0.0506374810890855
1636
0.8905846997187273
1637
0.8561314897472665
1638
0.24856586275348247
1639
0.7467241746176477
1640
0.39682508114701
1641
0.8521700384936407
1642
0.17724176823887816
1643
0.8121119042727091
1644
0.766936448113819
1645
0.31391201577617023
1646
0.12884945949088145
1647
0.6252752492995369
1648
0.17738364942678386
1649
0.11603444287791864
1650
0.15448222916491394
1651
0.4330878313684693
1652
0.2501820824518485
1653
0.5469262753019515
1654
0.10340277417890231
1655
0.46906293990640524
1656
0.8516624124641686
1657
0.20420845438202728
1658
0.8713475804962534
1659
0.8720712015546621
1660
0.16251470520280975
1661
0.8496816350714113
1662
0.5240077455909575
1663
0.9502434681468916
1664
0.6666032023041144
1665
0.7884297117746577
1666
0.2952284301744418
1667
0.5701188710016507
1668
0.917957547348414
1669
0.08778325075337079
1670
0.8120083709863357
1671
0.9676993105680245
1672
0.6885098634409405
1673
0.4840737014918006
1674
0.2821696558902893
1675
0.07592338381673203
1676
0.3735612561822804
1677
0.13858610009710048
1678
0.7956072446480439
1679
0.5421742117800091
1680
0.3376257258397918
1681
0.4988440012624693
1682
0.33631673870970225
1683
0.9697871590379534
1684
0.22021291251502206
1685
0.39733750378904753
1686
0.5799379144753377
1687
0.5591253635524888
1688
0.08927584799098853
1689
0.17703133727825426
1690
0.060340745368957505
1691
0.24664179914421347
1692
0.7294631910223784
1693
0.0714667680037997
1694
0.8288193483658324
1695
0.6444491202139278
1696
0.2829805126532875
1697
0.2869977554891672
1698
0.300748826531664
1699
0.5682692276520669
1700
0.9227777980777726
1701
0.23567796052174672
1702
0.5870987909462163
1703
0.708236594708736
1704
0.23094620834762647
1705
0.14954218153120036
1706
0.2419861185483062
1707
0.044880800850823244
1708
0.47961939964176625
1709
0.8705022085402171
1710
0.02248935454052492
1711
0.9417151853688197
1712
0.06734022908008508
1713
0.9548034538012202
1714
0.9532353721182307
1715
0.45621034873772004
1716
0.9507665982328849
1717
0.3569657163150646
1718
0.7158083492635146
1719
0.30253240010591764
1720
0.029755281817824164
1721
0.8653573798561038
1722
0.14182060517690387
1723
0.07227784899830281
1724
0.0932757021657099
1725
0.15002971939613052
1726
0.3785227333809953
1727
0.7735382888517294
1728
0.11427025654847867
1729
0.7531636845848991
1730
0.11712106615539786
1731
0.4839796667420535
1732
0.39349192803709476
1733
0.6034587449569101
1734
0.12650808370543598
1735
0.9302226199841969
1736
0.2955133621822521
1737
0.6680195418919499
1738
0.21890163357158043
1739
0.10366169875994768
1740
0.0945162937364642
1741
0.1687731640138478
1742
0.6889270573867672
1743
0.6019630445117199
1744
0.7531341333044758
1745
0.38517547638337934
1746
0.2139659604517059
1747
0.24583166048778826
1748
0.2945341053535747
1749
0.4409427552128812
1750
0.18113385662540404
1751
0.6622406296228258
1752
0.7960902204652358
1753
0.6297702746408093
1754
0.4150387205098832
1755
0.9481668916949
1756
0.9324116007334999
1757
0.7734769307025292
1758
0.3205107049203172
1759
0.23297886381204347
1760
0.4261554019586081
1761
0.8257409086415448
1762
0.5257830038137963
1763
0.9429736732128691
1764
0.7269670181306662
1765
0.4355684108263709
1766
0.21414270481814324
1767
0.8381624481342775
1768
0.7320550948565528
1769
0.46686385013878273
1770
0.46585921141357145
1771
0.4392545424826254
1772
0.3863220492146767
1773
0.5339462887268535
1774
0.0972374955580958
1775
0.2918922216675903
1776
0.5556355275785242
1777
0.4575839350232648
1778
0.6799318319382965
1779
0.6255398163013868
1780
0.6537402056500693
1781
0.17209471279972977
1782
0.651195521785123
1783
0.356032215361723
1784
0.12147282941010895
1785
0.02128719373283683
1786
0.6845300547563112
1787
0.053639368963507295
1788
0.0063583341742258215
1789
0.5694938358962235
1790
0.7802376819033606
1791
0.4526053090121347
1792
0.5713283110104566
1793
0.023673560862176424
1794
0.8566688038694529
1795
0.31347119455171635
1796
0.07321722079971604
1797
0.11353861101170748
1798
0.9754962193963927
1799
0.9660938208130146
1800
0.5948562285747162
1801
0.8088861557106304
1802
0.7181361098844716
1803
0.6591228686280138
1804
0.08899797355070604
1805
0.5667923878317992
1806
0.6454752606079175
1807
0.9208007964238936
1808
0.5979702237348593
1809
0.8960530543710072
1810
0.21935333717657524
1811
0.49630210280458287
1812
0.9498701169091347
1813
0.9022310016333679
1814
0.04178719758545624
1815
0.06842894540149647
1816
0.10027470951336048
1817
0.13389789491997628
1818
0.7767144443586383
1819
0.8913328278189503
1820
0.6878578415111298
1821
0.4891339438329081
1822
0.6590713567336113
1823
0.6710328503704304
1824
0.3029673422590491
1825
0.16107564609485303
1826
0.06731040029026325
1827
0.5118528123292425
1828
0.4301303944234306
1829
0.6022787750663505
1830
0.23800080170221638
1831
0.5145011509151939
1832
0.018619200056895546
1833
0.269889664950583
1834
0.8349451647082283
1835
0.6593691859985393
1836
0.1596232696071247
1837
0.47709496031083387
1838
0.750284016729693
1839
0.9377245585350956
1840
0.4042382934509824
1841
0.02104635152996359
1842
0.2113493929654111
1843
0.3038283434707535
1844
0.8433959976339529
1845
0.3834333688888939
1846
0.9945672667128934
1847
0.9126063673916691
1848
0.18902331954506502
1849
0.20710374210775384
1850
0.30649820690449936
1851
0.2803558900018803
1852
0.7451331719107477
1853
0.4406078945370766
1854
0.6821442088603862
1855
0.46007136934423365
1856
0.3382134715844911
1857
0.01227004356790462
1858
0.07193912429834937
1859
0.05832366414258994
1860
0.9881946818406113
1861
0.14636525211491536
1862
0.14137881297078903
1863
0.9372295772328673
1864
0.3444406860926592
1865
0.46620869634372175
1866
0.6910365559385324
1867
0.7428992523668484
1868
0.685621544307241
1869
0.8424390708601528
1870
0.01974797892858915
1871
0.980851015081732
1872
0.587990653755845
1873
0.5395058120180002
1874
3.9104364958908455E-5
1875
0.21923500869079526
1876
0.20350354978016694
1877
0.5893450187689824
1878
0.6124099904154419
1879
0.14230776311517723
1880
0.4573786408534528
1881
0.47845678907977995
1882
0.6938757082396714
1883
0.5994523443538557
1884
0.3741150920755676
1885
0.17307257881828864
1886
0.6962050518683564
1887
0.49913953861130445
1888
0.171646708197838
1889
0.22682758785631285
1890
0.3205871867326625
1891
0.3825775778999947
1892
0.7252249733873349
1893
0.21633035316969473
1894
0.9979943382554032
1895
0.7783990824418063
1896
0.49578809870927765
1897
0.0322477884918545
1898
0.31829925027455064
1899
0.987585893042053
1900
0.04198727632937205
1901
0.6170006129299415
1902
0.6762434992265481
1903
0.7769335801686985
1904
0.7907056115582342
1905
0.5848909204424539
1906
0.5986432712736485
1907
0.5697093295686261
1908
0.8278185805137334
1909
0.7864596343312809
1910
0.4447572036724379
1911
0.11375830559037003
1912
0.08910968184642332
1913
0.2860988669833885
1914
0.43053091840515945
1915
0.28016516841190897
1916
0.48066851854804427
1917
0.41042006789763263
1918
0.21747071840280885
1919
0.5996789465755706
1920
0.138762782593156
1921
0.49460613867222025
1922
0.6281893578519716
1923
0.3794611502260292
1924
0.2510896120784818
1925
0.704951426974766
1926
0.40320484620702146
1927
0.7593185105051165
1928
0.604476158571109
1929
0.8480207969123796
1930
0.29736262591588203
1931
0.8644332999984246
1932
0.2985125706484679
1933
0.39033520296057944
1934
0.2292906565926477
1935
0.2907054852267701
1936
0.8702654566039303
1937
0.007217665098061654
1938
0.6435859434339488
1939
0.5191732217268811
1940
0.41213353789174234
1941
0.8554104924480647
1942
0.7229698352757141
1943
0.49757902618320615
1944
0.1330710458029939
1945
0.42130057123243636
1946
0.5964390011018961
1947
0.5500006878388534
1948
0.2128192666642892
1949
0.23506680007921732
1950
0.22947739119233157
1951
0.9795680467841947
1952
0.7294496594109393
1953
0.9607896245784078
1954
0.2536844422468858
1955
0.21463772428400774
1956
0.9024368193924924
1957
0.3735398948719031
1958
0.5957126439628636
1959
0.1153996325056259
1960
0.886643501906596
1961
0.5166899200566347
1962
0.3991979670323542
1963
0.10574090259570212
1964
0.8770135293728373
1965
0.8961673316638756
1966
0.3984047909941073
1967
0.12429393145798917
1968
0.3394330134546729
1969
0.9130976804006307
1970
0.5985960685703887
1971
0.998947555564606
1972
0.7701340651696899
1973
0.862259433479569
1974
0.8456794912407014
1975
0.7407009642586738
1976
0.5041794875088788
1977
0.7310004458504903
1978
0.6264678025726013
1979
0.4255925309626243
1980
0.7429804605063428
1981
0.7217425774318604
1982
0.23093244443626892
1983
0.7875363196861876
1984
0.15146411363146273
1985
0.8909271500317072
1986
0.22911686178529522
1987
0.38025156503877755
1988
0.087421333397671
1989
0.5482303340952644
1990
0.06791645496957355
1991
0.1830712460058863
1992
0.7687291719512633
1993
0.09210474395469659
1994
0.4767201407730448
1995
0.823267554949078
1996
0.45855689452706294
1997
0.7711793849191422
1998
0.285948041172584
1999
0.1666341715005374
2000
0.05432810778544883
2001
0.45577727383670963
2002
0.20880898034009576
2003
0.8884159683042447
2004
0.3031256631421674
2005
0.8797860581900303
2006
0.11413993763469321
2007
0.7782791566447281
2008
0.23439051832084024
2009
0.9703439182195625
2010
0.3269795230228688
2011
0.9558657658548446
2012
0.300179110492511
2013
0.8212796854053547
2014
0.533565767376825
2015
0.877578229500056
2016
0.1439082955922626
2017
0.5859719571400923
2018
0.9387382273819411
2019
5.918445297048436E-4
2020
0.8804309611968119
2021
0.06626952008788556
2022
0.42626308993864315
2023
0.23669314402301467
2024
0.26344924822645754
2025
0.05634130548663252
2026
0.6063890097796903
2027
0.8763955482105377
2028
0.14068667965904746
2029
0.563800787603849
2030
0.799981020256209
2031
0.4928834607084479
2032
0.15290430462797255
2033
0.8751764864408724
2034
0.20486793471210774
2035
0.445689141699913
2036
0.7197600879879414
2037
0.05877660056347145
2038
0.7175788106478176
2039
0.9956067649319696
2040
0.9736748957470421
2041
0.9052224312692333
2042
0.14243215334896253
2043
0.7152009070242298
2044
0.4522827840999586
2045
0.49440189696273706
2046
0.8099814641254881
2047
0.8333674381264804
2048
0.04070626992858606
2049
0.5473206295636388
2050
0.9481088995921146
2051
0.3877567053747569
2052
0.8668131350971164
2053
0.47230556195043083
2054
0.5015988086027421
2055
0.5754703410485635
2056
0.5957733454329248
2057
0.5472412338848484
2058
0.4798111315474498
2059
0.4902946712789743
2060
0.8446505816549311
2061
0.9929969276321505
2062
0.32711421197485324
2063
0.5138352952786702
2064
0.24342536721739427
2065
0.7879281122948085
2066
0.2570257692812652
2067
0.9882687556454173
2068
0.005762050863547308
2069
0.9493131768738063
2070
0.9685490323660764
2071
0.44002904258583997
2072
0.7409952955666266
2073
0.6648125197864183
2074
0.6719811689106436
2075
0.5465980301434119
2076
0.6382260418940138
2077
0.09551352514132949
2078
0.8915093634996495
2079
0.24267070986189776
2080
0.08408060294261455
2081
0.891852046821035
2082
0.08319953802948543
2083
0.8473173876045191
2084
0.23760145760423912
2085
0.4646768031966555
2086
0.7095211173310118
2087
0.8603669451658149
2088
0.07890127998245344
2089
0.8359507171477922
2090
0.04534122309237809
2091
0.1240862901367551
2092
0.9726266943025238
2093
0.4570583668407645
2094
0.6553596984262278
2095
0.3753332666732344
2096
0.8429417940701033
2097
0.7274168707633161
2098
0.179246387493459
2099
0.8237115647168527
2100
0.6436557275070763
2101
0.07206278516049536
2102
0.7882804686882529
2103
0.28285752930152586
2104
0.9252827492560034
2105
0.34411480104345926
2106
0.4360809439072255
2107
0.5548408159952471
2108
0.9502370709978591
2109
0.0064885985483617015
2110
0.8160566368926405
2111
0.22176204335479388
2112
0.988028894093332
2113
0.016966461530671384
2114
0.7594926694103808
2115
0.7339821953087297
2116
0.13424230974626872
2117
0.5917010987631877
2118
0.6607301681382981
2119
0.7010203617179097
2120
0.24023948693506525
2121
0.054459576487076555
2122
0.39968379325696335
2123
0.5890073862080931
2124
0.3149499722602872
2125
0.7923897724780803
2126
0.1469825637417298
2127
0.6076853071968962
2128
0.0657674491937903
2129
0.9338183887404891
2130
0.3833063360031361
2131
0.4302934933416527
2132
0.0824913162707388
2133
0.7395663233306523
2134
0.4420314419564988
2135
0.5312840255667355
2136
0.5364132788555237
2137
0.8564931032619554
2138
0.8930864824033043
2139
0.34966058324325366
2140
0.16606423288054495
2141
0.5204597425586587
2142
0.12595924105512635
2143
0.18983674768263925
2144
0.7518004006186513
2145
0.5156246250805051
2146
0.5610842891256791
2147
0.7572606458220381
2148
0.2433213737160319
2149
0.1979646934132494
2150
0.02138029553012477
2151
0.492655306986172
2152
0.19737772378356133
2153
0.17314043390685863
2154
0.9294946744328267
2155
0.41657464314619475
2156
0.20733878815857354
2157
0.2822990759359735
2158
0.1613525845996403
2159
0.025077626375688222
2160
0.5619560917146704
2161
0.3941382760281623
2162
0.5828963708549341
2163
0.8876736601871231
2164
0.45757162968103826
2165
0.1275276556899242
2166
0.5244403069168556
2167
0.9902946454555708
2168
0.7061844610556395
2169
0.03621353819724138
2170
0.7058548550565554
2171
0.5389003994331446
2172
0.031202644672615798
2173
0.9756074516678103
2174
0.41583363282269104
2175
0.893425507252956
2176
0.7233725168712184
2177
0.34138676801160206
2178
0.06978533242754048
2179
0.5371274885246045
2180
0.6412901741398498
2181
0.6206113869877299
2182
0.6234317656892135
2183
0.5029978255937236
2184
0.2840655097424549
2185
0.22828760038644735
2186
0.7029825580087112
2187
0.47674853734569556
2188
0.9381215977342847
2189
0.9157865159976222
2190
0.7277957605508397
2191
0.8749888745781789
2192
0.7057779092299974
2193
0.13225115973616353
2194
0.7477231018964118
2195
0.5575584360765892
2196
0.5601786003172691
2197
0.5961027875067912
2198
0.19487704530622751
2199
0.4745839327523351
2200
0.43929195030486834
2201
0.9909834582388647
2202
0.258346773681271
2203
0.47167910631268484
2204
0.7911207046023826
2205
0.1389489334369567
2206
0.13042821934781157
2207
0.6808083908250286
2208
0.9129274063911195
2209
0.2234517480397431
2210
0.9442233430565252
2211
0.4096867720714713
2212
0.8891927571820337
2213
0.635631569271098
2214
0.8250021717594267
2215
0.20918946064600163
2216
0.9261887922796143
2217
0.799656310514909
2218
0.11151060804956825
2219
0.8460972831687763
2220
0.40546338517340197
2221
0.8963336411071302
2222
0.46844583316865285
2223
0.2376040868446031
2224
0.03419615919399566
2225
0.7489398565183056
2226
0.3076103577940078
2227
0.014365565235476607
2228
0.05729992452575594
2229
0.26118876018009285
2230
0.6627947598565167
2231
0.27046889139366403
2232
0.6143060950500169
2233
0.7044906705560945
2234
0.4222282291418331
2235
0.2315553786791602
2236
0.9734866062563233
2237
0.840127373395377
2238
0.6124749759698953
2239
0.02642896856503474
2240
0.5563285482969103
2241
0.3316959931860627
2242
0.2489439667800678
2243
0.4828359004460656
2244
0.37739207535144925
2245
0.15415125858260625
2246
0.12071804147125609
2247
0.8847012487826307
2248
0.7677464236580985
2249
0.7380016479265773
2250
0.7611980041951273
2251
0.9259610501174694
2252
0.024592320795063904
2253
0.4006924345737294
2254
0.7710958685286278
2255
0.6752288688598636
2256
0.9353436948197936
2257
0.21193425051044612
2258
0.6066009422044804
2259
0.22588815615223357
2260
0.9613555310454484
2261
0.8157128332539082
2262
0.9230813061344996
2263
0.8478030792405912
2264
0.23464843849240435
2265
0.8889423718466578
2266
0.5734719690587033
2267
0.8796918465567818
2268
0.4203950800821922
2269
0.8552008162381777
2270
0.40054096350247936
2271
0.30530838812298167
2272
0.9285972426984531
2273
0.191712731755042
2274
0.033512523162046226
2275
0.9419297225413127
2276
0.9202967038589154
2277
0.16872120369742882
2278
0.002066418690280014
2279
0.43624771895458636
2280
0.04682682001721972
2281
0.14261771288043368
2282
0.614521488283757
2283
0.8106159155103548
2284
0.8850262138446772
2285
0.5876743838966281
2286
0.21204982851244503
2287
0.1317033631344039
2288
0.5869994351020027
2289
0.8959505475228662
2290
0.607058140351897
2291
0.9839588102749929
2292
0.34992423217274005
2293
0.6009215062449523
2294
0.7414107939965415
2295
0.8218906012677761
2296
0.929568357179827
2297
0.08760428052586167
2298
0.8589591282513155
2299
0.9480190869889301
2300
0.570593780989551