Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_fall_test / input_values @ 6c3ea955

History | View | Annotate | Download (50.9 KB)

1
26.0838400946417650
2
23.3844965609447115
3
29.8147065551285451
4
93.6946397490699781
5
1.0573364654357209
6
7.7778679853862549
7
58.0000000000000000
8
91.0000000000000000
9
37.0000000000000000
10
4.0000000000000000
11
88.0000000000000000
12
89.0000000000000000
13
32.2798027001519188
14
45.2635331986834473
15
65.0439912282929384
16
35.1678224862361191
17
2.4301741016763079
18
43.0294867327770092
19
95.0000000000000000
20
14.0000000000000000
21
19.0000000000000000
22
10.0000000000000000
23
49.0000000000000000
24
99.0000000000000000
25
1.0000000000000000
26
1.0000000000000000
27
23.1349894644783518
28
80.2064218405801057
29
23.0987676262359827
30
79.4885771138956585
31
0.2478765057709942
32
68.0651575505109037
33
98.0000000000000000
34
93.0000000000000000
35
13.0000000000000000
36
4.0000000000000000
37
49.0000000000000000
38
47.0000000000000000
39
89.4482406161384915
40
95.2310154166286225
41
79.8701117522737718
42
46.3762956814538470
43
61.7764819819646505
44
63.5682155208564978
45
49.0000000000000000
46
12.0000000000000000
47
71.0000000000000000
48
43.0000000000000000
49
45.0000000000000000
50
85.0000000000000000
51
1.0000000000000000
52
1.0000000000000000
53
10.3373438759001406
54
77.6706806858227026
55
44.0124905049151707
56
18.7951310265921592
57
57.4535013241305492
58
0.3140910685508258
59
7.0000000000000000
60
19.0000000000000000
61
90.0000000000000000
62
82.0000000000000000
63
27.0000000000000000
64
59.0000000000000000
65
11.8653635468502383
66
47.9243761660444108
67
58.4363599651377541
68
35.6602137655817728
69
69.4675586325244012
70
3.6048247051254090
71
77.0000000000000000
72
38.0000000000000000
73
85.0000000000000000
74
44.0000000000000000
75
82.0000000000000000
76
75.0000000000000000
77
1.0000000000000000
78
1.0000000000000000
79
97.2525592809823252
80
28.8178564618846593
81
25.1807745701249317
82
66.5778687336699306
83
43.0557211180392727
84
75.1462816408878496
85
59.0000000000000000
86
56.0000000000000000
87
99.0000000000000000
88
19.0000000000000000
89
25.0000000000000000
90
8.0000000000000000
91
52.8056739085225573
92
15.8976005433914995
93
93.3805317794575700
94
90.0514141159922730
95
52.8753759352980524
96
70.1482581882257534
97
23.0000000000000000
98
27.0000000000000000
99
82.0000000000000000
100
87.0000000000000000
101
31.0000000000000000
102
63.0000000000000000
103
1.0000000000000000
104
1.0000000000000000
105
36.9381630441860906
106
90.5022273132687332
107
37.4871473803681212
108
64.6008771825680981
109
36.6239848016412211
110
52.1327905243445500
111
45.0000000000000000
112
43.0000000000000000
113
78.0000000000000000
114
6.0000000000000000
115
40.0000000000000000
116
94.0000000000000000
117
27.8849065122504740
118
76.8768201587725599
119
66.4158754407419281
120
61.8311324078276172
121
37.0687482476421053
122
15.0820926517244107
123
85.0000000000000000
124
99.0000000000000000
125
17.0000000000000000
126
71.0000000000000000
127
10.0000000000000000
128
85.0000000000000000
129
1.0000000000000000
130
1.0000000000000000
131
85.6491312082591350
132
87.8470888473299425
133
14.9899589529968296
134
49.2208904060355223
135
78.5195183710464306
136
64.9129614586277057
137
32.0000000000000000
138
3.0000000000000000
139
87.0000000000000000
140
30.0000000000000000
141
91.0000000000000000
142
28.0000000000000000
143
43.0184470539600312
144
52.1072362506888282
145
38.6050335297575486
146
99.9121814921199132
147
12.1800526698140903
148
40.0778664879172055
149
5.0000000000000000
150
74.0000000000000000
151
91.0000000000000000
152
24.0000000000000000
153
29.0000000000000000
154
79.0000000000000000
155
1.0000000000000000
156
1.0000000000000000
157
23.0519405400214303
158
96.7504183935606790
159
19.6054988081381900
160
54.1223812183864723
161
57.9303755051362756
162
80.7412993976134032
163
9.0000000000000000
164
6.0000000000000000
165
22.0000000000000000
166
45.0000000000000000
167
58.0000000000000000
168
59.0000000000000000
169
52.6524758751647965
170
27.0326637376091199
171
57.1632464621943086
172
86.2281847510697617
173
31.1202733770938451
174
17.3650760637625403
175
85.0000000000000000
176
9.0000000000000000
177
33.0000000000000000
178
81.0000000000000000
179
92.0000000000000000
180
42.0000000000000000
181
1.0000000000000000
182
1.0000000000000000
183
53.0656603365665660
184
0.3669032116044968
185
45.2373020458931165
186
23.9091957715910297
187
81.7189898561051677
188
95.3305486397131858
189
69.0000000000000000
190
65.0000000000000000
191
79.0000000000000000
192
13.0000000000000000
193
89.0000000000000000
194
63.0000000000000000
195
65.9542884529497684
196
56.2200394623142188
197
18.3325949927294225
198
91.2772137265406229
199
46.4777714946170732
200
54.1696453603704313
201
58.0000000000000000
202
21.0000000000000000
203
100.0000000000000000
204
58.0000000000000000
205
96.0000000000000000
206
34.0000000000000000
207
1.0000000000000000
208
1.0000000000000000
209
33.5175318739185570
210
35.0030296726238319
211
10.0251948839479752
212
85.6179006150937170
213
42.6857261594986852
214
58.0548193032477400
215
26.0000000000000000
216
31.0000000000000000
217
51.0000000000000000
218
1.0000000000000000
219
11.0000000000000000
220
22.0000000000000000
221
53.4049773883221732
222
61.0513030015985478
223
42.7494516931622996
224
91.9444625370265527
225
91.2085489695854505
226
85.8257089085995517
227
42.0000000000000000
228
91.0000000000000000
229
96.0000000000000000
230
78.0000000000000000
231
58.0000000000000000
232
30.0000000000000000
233
1.0000000000000000
234
1.0000000000000000
235
56.2623561346879626
236
53.2002270332036815
237
14.9011417969300055
238
0.4749930195763419
239
95.2245338442827176
240
94.7846902792821311
241
22.0000000000000000
242
24.0000000000000000
243
82.0000000000000000
244
48.0000000000000000
245
27.0000000000000000
246
1.0000000000000000
247
51.5571068182579779
248
70.1119968338453532
249
19.3605034573890009
250
70.6100955735201126
251
16.5749500821170344
252
5.3458534763400340
253
4.0000000000000000
254
9.0000000000000000
255
49.0000000000000000
256
28.0000000000000000
257
10.0000000000000000
258
44.0000000000000000
259
1.0000000000000000
260
1.0000000000000000
261
3.2552840023679086
262
64.3606742877429525
263
99.0480847291850637
264
84.0983905862749452
265
93.2056732117925861
266
27.2696735448420782
267
87.0000000000000000
268
44.0000000000000000
269
68.0000000000000000
270
100.0000000000000000
271
75.0000000000000000
272
53.0000000000000000
273
51.2679369028076621
274
80.4149386904100965
275
50.6450232496591468
276
58.8658933094515433
277
47.7716759515377376
278
51.6865184214712485
279
51.0000000000000000
280
51.0000000000000000
281
40.0000000000000000
282
85.0000000000000000
283
92.0000000000000000
284
36.0000000000000000
285
1.0000000000000000
286
1.0000000000000000
287
57.2382467527054928
288
70.0406637517498893
289
61.2547629723439258
290
37.5843719670653584
291
20.4339304300704114
292
16.5311931658706825
293
9.0000000000000000
294
100.0000000000000000
295
33.0000000000000000
296
69.0000000000000000
297
9.0000000000000000
298
58.0000000000000000
299
9.4256693545070824
300
9.2278741312094894
301
59.4238008779869986
302
86.6512468872852821
303
45.0131643458030481
304
63.5578881854438862
305
76.0000000000000000
306
35.0000000000000000
307
30.0000000000000000
308
69.0000000000000000
309
99.0000000000000000
310
22.0000000000000000
311
1.0000000000000000
312
1.0000000000000000
313
53.7426866729673520
314
94.0645099082012024
315
24.1348459156240480
316
88.3401979432650251
317
40.0429769048376869
318
74.6984628640255863
319
37.0000000000000000
320
84.0000000000000000
321
59.0000000000000000
322
65.0000000000000000
323
11.0000000000000000
324
60.0000000000000000
325
17.5380304714673798
326
97.0843843126746151
327
90.6935144622641189
328
98.7666899302686261
329
1.8905834122294740
330
58.9329663894167979
331
37.0000000000000000
332
45.0000000000000000
333
45.0000000000000000
334
77.0000000000000000
335
31.0000000000000000
336
43.0000000000000000
337
1.0000000000000000
338
1.0000000000000000
339
84.8184730744650324
340
67.9654856749141771
341
57.4350118228978275
342
50.5471418767109313
343
2.1101763550445574
344
63.6802247745466090
345
78.0000000000000000
346
25.0000000000000000
347
6.0000000000000000
348
53.0000000000000000
349
48.0000000000000000
350
49.0000000000000000
351
52.1282676352794923
352
74.9517992159019428
353
9.8120092245065678
354
27.8812647268194880
355
91.4068137648132648
356
20.7467111651301721
357
96.0000000000000000
358
56.0000000000000000
359
98.0000000000000000
360
58.0000000000000000
361
34.0000000000000000
362
36.0000000000000000
363
1.0000000000000000
364
1.0000000000000000
365
83.0289711400157984
366
70.8099806967388901
367
36.5545210494423927
368
98.2183621472833863
369
45.2061396283643262
370
90.9914194006988168
371
71.0000000000000000
372
22.0000000000000000
373
69.0000000000000000
374
12.0000000000000000
375
24.0000000000000000
376
82.0000000000000000
377
79.5795204876843769
378
74.3018748891806240
379
88.6368264302730182
380
43.3292313346312454
381
65.1716329785815276
382
90.6244403461242172
383
25.0000000000000000
384
63.0000000000000000
385
44.0000000000000000
386
54.0000000000000000
387
20.0000000000000000
388
20.0000000000000000
389
1.0000000000000000
390
1.0000000000000000
391
19.3942126064067679
392
22.7040200590668526
393
43.2920755167068165
394
11.3467067981932068
395
94.1593975847839459
396
20.8106437208924966
397
25.0000000000000000
398
1.0000000000000000
399
53.0000000000000000
400
39.0000000000000000
401
13.0000000000000000
402
88.0000000000000000
403
85.5560473104995936
404
40.7631909100701435
405
15.3003682211681262
406
82.3500067825466715
407
61.1883854509741028
408
39.7237431595541608
409
29.0000000000000000
410
49.0000000000000000
411
52.0000000000000000
412
74.0000000000000000
413
68.0000000000000000
414
45.0000000000000000
415
1.0000000000000000
416
1.0000000000000000
417
54.5031149482047468
418
70.4456523310640961
419
75.3862878239896474
420
1.1650408406673196
421
70.7350756744904174
422
81.5692024702436527
423
84.0000000000000000
424
74.0000000000000000
425
98.0000000000000000
426
83.0000000000000000
427
63.0000000000000000
428
54.0000000000000000
429
14.2464093294940479
430
99.1524115897323668
431
41.3763033162609517
432
71.4569572768729415
433
62.1403375254507750
434
61.7225041638634337
435
61.0000000000000000
436
41.0000000000000000
437
62.0000000000000000
438
54.0000000000000000
439
85.0000000000000000
440
82.0000000000000000
441
1.0000000000000000
442
1.0000000000000000
443
13.8259825647611088
444
85.5169764724746528
445
99.2914211284548429
446
12.9802713172091355
447
40.9513374800509169
448
20.0369663462427461
449
2.0000000000000000
450
82.0000000000000000
451
36.0000000000000000
452
98.0000000000000000
453
41.0000000000000000
454
94.0000000000000000
455
5.7035889055006344
456
72.3337694765894099
457
12.5303283401894898
458
57.9023619197606152
459
62.8874318671430927
460
65.0008276872760575
461
25.0000000000000000
462
70.0000000000000000
463
81.0000000000000000
464
73.0000000000000000
465
9.0000000000000000
466
30.0000000000000000
467
1.0000000000000000
468
1.0000000000000000
469
41.8109919775409793
470
11.3036330480705267
471
53.5521824582833474
472
33.1153115303771131
473
16.2133023824493243
474
91.4883908672610318
475
26.0000000000000000
476
89.0000000000000000
477
7.0000000000000000
478
36.0000000000000000
479
62.0000000000000000
480
11.0000000000000000
481
70.2764233639800722
482
94.3533449876596109
483
37.6255265386904654
484
16.9440857678872945
485
15.1197427740950232
486
87.3080008871110209
487
97.0000000000000000
488
46.0000000000000000
489
66.0000000000000000
490
34.0000000000000000
491
88.0000000000000000
492
11.0000000000000000
493
1.0000000000000000
494
1.0000000000000000
495
44.1629827356535856
496
37.0875790051961332
497
36.7928223298091623
498
40.8857610973600956
499
84.6342430242628296
500
41.7875649204393227
501
79.0000000000000000
502
16.0000000000000000
503
71.0000000000000000
504
24.0000000000000000
505
100.0000000000000000
506
55.0000000000000000
507
37.9494648758474824
508
5.0673495114438527
509
35.8936205239188979
510
94.7600096111246586
511
31.3363413651951959
512
6.6680006780431844
513
66.0000000000000000
514
19.0000000000000000
515
39.0000000000000000
516
67.0000000000000000
517
5.0000000000000000
518
60.0000000000000000
519
1.0000000000000000
520
1.0000000000000000
521
93.8226828369040078
522
40.4997075481033804
523
30.2114082267629378
524
61.9321170370050638
525
47.4798726067024219
526
58.1498882279766178
527
96.0000000000000000
528
86.0000000000000000
529
19.0000000000000000
530
47.0000000000000000
531
88.0000000000000000
532
29.0000000000000000
533
87.4378423178877995
534
0.8375925801910489
535
0.6634883552021020
536
59.3965292521748580
537
9.3100422638473503
538
97.5557825191031895
539
90.0000000000000000
540
32.0000000000000000
541
63.0000000000000000
542
49.0000000000000000
543
42.0000000000000000
544
80.0000000000000000
545
1.0000000000000000
546
1.0000000000000000
547
83.6385841425172316
548
55.0426949418807396
549
61.7683001560697988
550
56.9310553106232149
551
45.9443686716339386
552
65.0699137308536706
553
11.0000000000000000
554
82.0000000000000000
555
40.0000000000000000
556
11.0000000000000000
557
6.0000000000000000
558
4.0000000000000000
559
68.9386417555880371
560
70.7099782585702030
561
49.7233238207613795
562
66.0447337273831465
563
94.2558450699597898
564
62.1850645413108936
565
29.0000000000000000
566
12.0000000000000000
567
90.0000000000000000
568
18.0000000000000000
569
72.0000000000000000
570
77.0000000000000000
571
1.0000000000000000
572
1.0000000000000000
573
99.5418584772732231
574
76.8075482147796578
575
84.7363654660884720
576
20.1300666342129730
577
19.4044520580097455
578
39.6663357568182491
579
44.0000000000000000
580
95.0000000000000000
581
97.0000000000000000
582
30.0000000000000000
583
22.0000000000000000
584
13.0000000000000000
585
9.9114963476061746
586
7.2547822202412071
587
75.3546374208666379
588
11.9446858991048455
589
46.2571291918131493
590
35.3503292622317744
591
23.0000000000000000
592
3.0000000000000000
593
59.0000000000000000
594
99.0000000000000000
595
40.0000000000000000
596
52.0000000000000000
597
1.0000000000000000
598
1.0000000000000000
599
15.0311873337573783
600
30.4102990685229386
601
30.4831471539219514
602
40.8662269892955408
603
89.5112571991121939
604
53.0798510777864294
605
45.0000000000000000
606
68.0000000000000000
607
13.0000000000000000
608
1.0000000000000000
609
40.0000000000000000
610
62.0000000000000000
611
10.0651329739174891
612
79.9017402135222596
613
89.7671176883546309
614
45.7353351523343790
615
21.1231364518364231
616
56.1583118001561985
617
89.0000000000000000
618
91.0000000000000000
619
91.0000000000000000
620
69.0000000000000000
621
30.0000000000000000
622
9.0000000000000000
623
1.0000000000000000
624
1.0000000000000000
625
11.2079411154648145
626
57.4536998631700300
627
66.2768914610133066
628
12.1583480735553255
629
64.1623817481649041
630
81.6635691778273838
631
69.0000000000000000
632
36.0000000000000000
633
57.0000000000000000
634
57.0000000000000000
635
66.0000000000000000
636
51.0000000000000000
637
22.1689747485990907
638
94.5435627081395609
639
22.0689093196275508
640
80.9635033237677817
641
39.5781969429178986
642
64.0411864953265848
643
66.0000000000000000
644
19.0000000000000000
645
83.0000000000000000
646
59.0000000000000000
647
22.0000000000000000
648
83.0000000000000000
649
1.0000000000000000
650
1.0000000000000000
651
26.6816694945716790
652
25.7815524134547438
653
75.0279080066615620
654
32.7636255238627854
655
74.4453419038765674
656
32.1305425434354675
657
27.0000000000000000
658
34.0000000000000000
659
16.0000000000000000
660
83.0000000000000000
661
59.0000000000000000
662
36.0000000000000000
663
44.4752493864975307
664
15.3898246970116563
665
13.6920639091245970
666
31.0019723162586516
667
97.2268041367234588
668
39.2097256492275577
669
83.0000000000000000
670
9.0000000000000000
671
88.0000000000000000
672
64.0000000000000000
673
88.0000000000000000
674
97.0000000000000000
675
1.0000000000000000
676
1.0000000000000000
677
5.5856433438169928
678
24.3516442751239737
679
53.1739547196924391
680
54.1653436913623096
681
43.2722905819761507
682
18.2259738337301798
683
7.0000000000000000
684
27.0000000000000000
685
41.0000000000000000
686
28.0000000000000000
687
12.0000000000000000
688
40.0000000000000000
689
80.5293153988793620
690
79.9833813101272284
691
14.2935720133859014
692
89.5669167736254224
693
91.6461743646500082
694
27.9101232751069226
695
31.0000000000000000
696
48.0000000000000000
697
50.0000000000000000
698
40.0000000000000000
699
77.0000000000000000
700
91.0000000000000000
701
1.0000000000000000
702
1.0000000000000000
703
83.9635887226780540
704
87.9847967941428521
705
67.6449910413138156
706
65.5080016431362537
707
75.1145206476299734
708
35.3563178339548330
709
92.0000000000000000
710
6.0000000000000000
711
51.0000000000000000
712
83.0000000000000000
713
23.0000000000000000
714
55.0000000000000000
715
77.8269034617877935
716
89.6220973120307747
717
13.4224894439633822
718
38.4770405805404110
719
48.3779793561652269
720
53.3516386195374892
721
46.0000000000000000
722
17.0000000000000000
723
83.0000000000000000
724
16.0000000000000000
725
29.0000000000000000
726
32.0000000000000000
727
1.0000000000000000
728
1.0000000000000000
729
5.2214891527209817
730
37.9478256544772421
731
11.7922730620558021
732
17.7772432706551982
733
48.2285002439395427
734
76.3151786425471101
735
68.0000000000000000
736
89.0000000000000000
737
70.0000000000000000
738
91.0000000000000000
739
67.0000000000000000
740
93.0000000000000000
741
45.2058671042754412
742
94.8377449570909192
743
26.5671428989049936
744
34.5834022432427233
745
3.5227471427724755
746
11.7128455155574791
747
28.0000000000000000
748
47.0000000000000000
749
99.0000000000000000
750
68.0000000000000000
751
6.0000000000000000
752
91.0000000000000000
753
1.0000000000000000
754
1.0000000000000000
755
45.0030168106072779
756
14.8200723818433850
757
15.1416435700309151
758
44.0709177105278798
759
56.1594635612147499
760
90.1691592522067964
761
48.0000000000000000
762
56.0000000000000000
763
60.0000000000000000
764
34.0000000000000000
765
60.0000000000000000
766
40.0000000000000000
767
70.3365111975963941
768
97.9605310977813986
769
4.9883691223301270
770
63.0420016368912783
771
49.2083341130855274
772
91.5000063121233751
773
76.0000000000000000
774
11.0000000000000000
775
82.0000000000000000
776
47.0000000000000000
777
15.0000000000000000
778
58.0000000000000000
779
1.0000000000000000
780
1.0000000000000000
781
64.9742094004358535
782
45.3835530044108921
783
60.2654278943484982
784
77.7201884427382765
785
63.2153866118593228
786
80.8784105498080947
787
33.0000000000000000
788
18.0000000000000000
789
11.0000000000000000
790
82.0000000000000000
791
68.0000000000000000
792
71.0000000000000000
793
38.9229576948803881
794
48.4205930666018034
795
63.6809640296536728
796
63.4983540108781028
797
52.0163289154961603
798
35.3569859320500584
799
92.0000000000000000
800
16.0000000000000000
801
59.0000000000000000
802
70.0000000000000000
803
74.0000000000000000
804
77.0000000000000000
805
1.0000000000000000
806
1.0000000000000000
807
12.0326444610681431
808
44.6532098569446774
809
39.8273717752967471
810
98.6457030214782122
811
70.9360742550975090
812
6.1121402265995606
813
32.0000000000000000
814
80.0000000000000000
815
73.0000000000000000
816
18.0000000000000000
817
12.0000000000000000
818
47.0000000000000000
819
46.2883349906162564
820
57.1206828284002839
821
68.9373559811665046
822
46.4640447975022823
823
85.4876807501881615
824
50.2212791839193002
825
68.0000000000000000
826
14.0000000000000000
827
90.0000000000000000
828
37.0000000000000000
829
64.0000000000000000
830
65.0000000000000000
831
1.0000000000000000
832
1.0000000000000000
833
59.9276575216563003
834
97.2312287014826495
835
48.5499407447341440
836
36.6794037817468137
837
49.8295003469466877
838
6.3267150946642587
839
5.0000000000000000
840
95.0000000000000000
841
62.0000000000000000
842
100.0000000000000000
843
84.0000000000000000
844
89.0000000000000000
845
42.8473357583463965
846
4.5413679924278032
847
35.9188552545934172
848
88.3044778581329126
849
94.4207740615934199
850
2.8959671334855885
851
36.0000000000000000
852
61.0000000000000000
853
96.0000000000000000
854
83.0000000000000000
855
16.0000000000000000
856
58.0000000000000000
857
1.0000000000000000
858
1.0000000000000000
859
50.7284828222036381
860
77.9660062200681523
861
90.7524437040693357
862
73.0670154947315922
863
2.2325033334773425
864
65.7189308086019111
865
61.0000000000000000
866
97.0000000000000000
867
16.0000000000000000
868
51.0000000000000000
869
77.0000000000000000
870
1.0000000000000000
871
1.5313874361556401
872
34.1564208880506968
873
55.5937007324337813
874
40.0504342171541197
875
86.5293292676896328
876
53.6660609079561510
877
91.0000000000000000
878
62.0000000000000000
879
13.0000000000000000
880
33.0000000000000000
881
81.0000000000000000
882
69.0000000000000000
883
1.0000000000000000
884
1.0000000000000000
885
25.7711300542312856
886
12.8649424558019874
887
7.9011702815830365
888
75.1196398720764336
889
49.9544711497706047
890
1.4254975342207099
891
47.0000000000000000
892
52.0000000000000000
893
18.0000000000000000
894
89.0000000000000000
895
72.0000000000000000
896
34.0000000000000000
897
99.7885504170684499
898
39.1602700018257934
899
80.7417985816360755
900
17.4774421015141854
901
77.8675166516836725
902
91.6798168384119094
903
88.0000000000000000
904
26.0000000000000000
905
61.0000000000000000
906
11.0000000000000000
907
30.0000000000000000
908
15.0000000000000000
909
1.0000000000000000
910
1.0000000000000000
911
73.9265262673015116
912
46.9539613669595610
913
97.6328135852288455
914
56.4836112680373574
915
38.2919350412939679
916
42.7612038034484101
917
12.0000000000000000
918
1.0000000000000000
919
47.0000000000000000
920
58.0000000000000000
921
54.0000000000000000
922
68.0000000000000000
923
98.4186469765966621
924
31.8575795604026375
925
75.2549101137929455
926
89.7763137137479958
927
89.6051415036802581
928
67.9258522373153966
929
47.0000000000000000
930
71.0000000000000000
931
15.0000000000000000
932
88.0000000000000000
933
61.0000000000000000
934
36.0000000000000000
935
1.0000000000000000
936
1.0000000000000000
937
56.9306261303477825
938
52.8260848282671134
939
65.7739596861324429
940
83.3950563437419703
941
21.7713759027591607
942
7.7775759278466916
943
98.0000000000000000
944
5.0000000000000000
945
47.0000000000000000
946
63.0000000000000000
947
17.0000000000000000
948
36.0000000000000000
949
28.7546335469745600
950
66.0076605112406440
951
78.9666925484304727
952
59.5983155992221185
953
18.7724746826464113
954
88.5128497950307178
955
7.0000000000000000
956
7.0000000000000000
957
80.0000000000000000
958
95.0000000000000000
959
16.0000000000000000
960
57.0000000000000000
961
1.0000000000000000
962
1.0000000000000000
963
28.1879751149084683
964
81.8816009030723677
965
91.2374930853956698
966
42.5696980409328489
967
75.8089115167901042
968
24.7486218803646736
969
55.0000000000000000
970
46.0000000000000000
971
77.0000000000000000
972
17.0000000000000000
973
70.0000000000000000
974
22.0000000000000000
975
72.2909409520908497
976
38.1617159356110633
977
1.7997762756674973
978
23.0507346508568531
979
95.6909534651957046
980
34.9328072241205234
981
94.0000000000000000
982
61.0000000000000000
983
6.0000000000000000
984
13.0000000000000000
985
97.0000000000000000
986
68.0000000000000000
987
1.0000000000000000
988
1.0000000000000000
989
96.3281053606214357
990
91.8645544768941704
991
4.1820609755010558
992
39.2508748712920266
993
68.5807511004674808
994
92.3576317994433680
995
7.0000000000000000
996
36.0000000000000000
997
76.0000000000000000
998
64.0000000000000000
999
45.0000000000000000
1000
50.0000000000000000
1001
41.0922271983537115
1002
69.2426550339517917
1003
33.4989074611115143
1004
99.8465576010089961
1005
92.3610134841790398
1006
73.9782553856353360
1007
98.0000000000000000
1008
38.0000000000000000
1009
65.0000000000000000
1010
68.0000000000000000
1011
71.0000000000000000
1012
82.0000000000000000
1013
1.0000000000000000
1014
1.0000000000000000
1015
28.2292407743172546
1016
52.0486798436471858
1017
16.6998446766459807
1018
14.0663414552201651
1019
96.7763504649865638
1020
19.0266075556015615
1021
69.0000000000000000
1022
58.0000000000000000
1023
62.0000000000000000
1024
78.0000000000000000
1025
63.0000000000000000
1026
67.0000000000000000
1027
75.0426339662868997
1028
6.1873286034368924
1029
39.9892741424005322
1030
68.7503272885961252
1031
79.1505912479096452
1032
28.9768003364083384
1033
77.0000000000000000
1034
96.0000000000000000
1035
75.0000000000000000
1036
28.0000000000000000
1037
74.0000000000000000
1038
8.0000000000000000
1039
1.0000000000000000
1040
1.0000000000000000
1041
28.7628178891988888
1042
79.5272068477181193
1043
4.4464719615519339
1044
57.2352922389216303
1045
31.6731778720811050
1046
62.2955005986485801
1047
15.0000000000000000
1048
48.0000000000000000
1049
65.0000000000000000
1050
38.0000000000000000
1051
7.0000000000000000
1052
39.0000000000000000
1053
86.1399492372949709
1054
62.8538384624251805
1055
28.0457379409750445
1056
64.2879279222655953
1057
49.3486961900560956
1058
68.4078168191718561
1059
99.0000000000000000
1060
37.0000000000000000
1061
56.0000000000000000
1062
81.0000000000000000
1063
31.0000000000000000
1064
14.0000000000000000
1065
1.0000000000000000
1066
1.0000000000000000
1067
36.3157744737371928
1068
79.7269204845778034
1069
76.4951457406204440
1070
10.1548535334143981
1071
63.1017659800509136
1072
21.0720687635540287
1073
53.0000000000000000
1074
96.0000000000000000
1075
74.0000000000000000
1076
87.0000000000000000
1077
25.0000000000000000
1078
39.0000000000000000
1079
59.0437258518703558
1080
31.9667426201101676
1081
14.6868589677856995
1082
7.6878069084928669
1083
9.9844635390688552
1084
93.6412320700687673
1085
100.0000000000000000
1086
32.0000000000000000
1087
49.0000000000000000
1088
17.0000000000000000
1089
33.0000000000000000
1090
53.0000000000000000
1091
1.0000000000000000
1092
1.0000000000000000
1093
97.6484349981895008
1094
92.5473440325457801
1095
45.5117162681213188
1096
11.3460416277118661
1097
82.4759125020168682
1098
52.9841095218618676
1099
42.0000000000000000
1100
32.0000000000000000
1101
29.0000000000000000
1102
53.0000000000000000
1103
88.0000000000000000
1104
56.0000000000000000
1105
82.3858908199397177
1106
27.1346011098870470
1107
66.8564910545034081
1108
0.4007553295439448
1109
89.4383685588719146
1110
75.3352066676936687
1111
66.0000000000000000
1112
69.0000000000000000
1113
6.0000000000000000
1114
33.0000000000000000
1115
84.0000000000000000
1116
15.0000000000000000
1117
1.0000000000000000
1118
1.0000000000000000
1119
9.2801053844105859
1120
33.0449484611400450
1121
89.4999566621504385
1122
10.2044219485498573
1123
96.0313103921737365
1124
14.0062161467520045
1125
27.0000000000000000
1126
54.0000000000000000
1127
4.0000000000000000
1128
3.0000000000000000
1129
89.0000000000000000
1130
71.0000000000000000
1131
20.6700099942337161
1132
76.1200247932706304
1133
11.3114126628765739
1134
12.7086731681942631
1135
29.8732912211985955
1136
55.3549885065491196
1137
26.0000000000000000
1138
5.0000000000000000
1139
1.0000000000000000
1140
94.0000000000000000
1141
64.0000000000000000
1142
84.0000000000000000
1143
1.0000000000000000
1144
1.0000000000000000
1145
76.4933232790362325
1146
13.3467007238656450
1147
27.5035909523719795
1148
31.1226390754593005
1149
0.4428963294145993
1150
34.1987309260521926
1151
49.0000000000000000
1152
84.0000000000000000
1153
62.0000000000000000
1154
76.0000000000000000
1155
88.0000000000000000
1156
24.0000000000000000
1157
33.4898658504863320
1158
26.5370289094084981
1159
18.4594649702058646
1160
25.8618512066220667
1161
13.7281281739312533
1162
69.5495934243429446
1163
21.0000000000000000
1164
90.0000000000000000
1165
21.0000000000000000
1166
41.0000000000000000
1167
100.0000000000000000
1168
21.0000000000000000
1169
1.0000000000000000
1170
1.0000000000000000
1171
68.8000026600009136
1172
5.9328882809864698
1173
6.3823029393410335
1174
52.4235196836087454
1175
17.3464250296474702
1176
23.1479743618905651
1177
42.0000000000000000
1178
83.0000000000000000
1179
46.0000000000000000
1180
45.0000000000000000
1181
90.0000000000000000
1182
3.0000000000000000
1183
8.4787245623224816
1184
34.3997012364622066
1185
42.4626606705858052
1186
25.4459133245272469
1187
50.0310071775390810
1188
74.8738590945052351
1189
71.0000000000000000
1190
23.0000000000000000
1191
46.0000000000000000
1192
25.0000000000000000
1193
43.0000000000000000
1194
37.0000000000000000
1195
1.0000000000000000
1196
1.0000000000000000
1197
15.2742373963172575
1198
64.0512302851248165
1199
84.8109395145442022
1200
9.2195036629352138
1201
39.1345706783039233
1202
44.5951500300450832
1203
56.0000000000000000
1204
38.0000000000000000
1205
23.0000000000000000
1206
38.0000000000000000
1207
69.0000000000000000
1208
89.0000000000000000
1209
85.2820793351950499
1210
70.8744166809649698
1211
53.7373514222808311
1212
66.2915465897009284
1213
14.3230631512991877
1214
34.7930250769990863
1215
89.0000000000000000
1216
84.0000000000000000
1217
50.0000000000000000
1218
79.0000000000000000
1219
16.0000000000000000
1220
92.0000000000000000
1221
1.0000000000000000
1222
1.0000000000000000
1223
31.7744811226923645
1224
37.0576121921260082
1225
48.4705945382708592
1226
90.5846184555528851
1227
58.5022690618343546
1228
90.6457697675888454
1229
85.0000000000000000
1230
1.0000000000000000
1231
59.0000000000000000
1232
39.0000000000000000
1233
73.0000000000000000
1234
100.0000000000000000
1235
39.3386466652769187
1236
2.8457515858969940
1237
71.2567706916688621
1238
76.1338245763581369
1239
56.0345122653459171
1240
94.3333087584450425
1241
32.0000000000000000
1242
88.0000000000000000
1243
90.0000000000000000
1244
14.0000000000000000
1245
73.0000000000000000
1246
66.0000000000000000
1247
1.0000000000000000
1248
1.0000000000000000
1249
94.7052155593462146
1250
37.6505263194890389
1251
28.8412586495903831
1252
95.6188093782008792
1253
0.1115333933619289
1254
69.8127804415976385
1255
25.0000000000000000
1256
51.0000000000000000
1257
43.0000000000000000
1258
88.0000000000000000
1259
66.0000000000000000
1260
19.0000000000000000
1261
47.7837622099545385
1262
40.4555453576506210
1263
17.2713870813558472
1264
74.8471800750514831
1265
42.8930226409700452
1266
95.6353077810490788
1267
76.0000000000000000
1268
56.0000000000000000
1269
57.0000000000000000
1270
89.0000000000000000
1271
60.0000000000000000
1272
1.0000000000000000
1273
1.0000000000000000
1274
1.0000000000000000
1275
12.9743293830985369
1276
86.6248004434621635
1277
89.5379220280888148
1278
13.9436830371744929
1279
17.9938610698029962
1280
0.8592894679352092
1281
24.0000000000000000
1282
71.0000000000000000
1283
24.0000000000000000
1284
85.0000000000000000
1285
67.0000000000000000
1286
77.0000000000000000
1287
70.9422007602492783
1288
5.5355739984580765
1289
4.6695145138258116
1290
34.7573019166603245
1291
51.8637630587707079
1292
62.5105783560337045
1293
7.0000000000000000
1294
38.0000000000000000
1295
26.0000000000000000
1296
88.0000000000000000
1297
33.0000000000000000
1298
22.0000000000000000
1299
1.0000000000000000
1300
1.0000000000000000
1301
98.6127555253599297
1302
55.8564990132699677
1303
90.8945288444127044
1304
97.8291728610163176
1305
99.8133575771667978
1306
17.4727533641994448
1307
57.0000000000000000
1308
26.0000000000000000
1309
9.0000000000000000
1310
57.0000000000000000
1311
23.0000000000000000
1312
2.0000000000000000
1313
58.9393462039998752
1314
36.6336471899490235
1315
72.4709237097877264
1316
55.0892804170891068
1317
72.5474643207411276
1318
56.1349301292500584
1319
53.0000000000000000
1320
21.0000000000000000
1321
43.0000000000000000
1322
49.0000000000000000
1323
90.0000000000000000
1324
84.0000000000000000
1325
1.0000000000000000
1326
1.0000000000000000
1327
12.3641099266965533
1328
43.7112155821175108
1329
67.9646641875853277
1330
12.2093811237698127
1331
31.5272166948917807
1332
43.6846477599576843
1333
62.0000000000000000
1334
4.0000000000000000
1335
68.0000000000000000
1336
100.0000000000000000
1337
92.0000000000000000
1338
43.0000000000000000
1339
50.6465747350340862
1340
27.0671742273485343
1341
6.3295706151789588
1342
79.3240238815785972
1343
22.0515227060107080
1344
76.9710239258758406
1345
49.0000000000000000
1346
66.0000000000000000
1347
51.0000000000000000
1348
44.0000000000000000
1349
21.0000000000000000
1350
63.0000000000000000
1351
1.0000000000000000
1352
1.0000000000000000
1353
14.9071755855524675
1354
72.1062521350284271
1355
76.1930794857543390
1356
89.4488625950507981
1357
20.0474781449544892
1358
33.8863312128687042
1359
31.0000000000000000
1360
72.0000000000000000
1361
34.0000000000000000
1362
92.0000000000000000
1363
9.0000000000000000
1364
53.0000000000000000
1365
47.0345872683783455
1366
10.3783562798571598
1367
16.4658831114042670
1368
53.9714941754921043
1369
27.8730586425599114
1370
77.4466740430915905
1371
38.0000000000000000
1372
57.0000000000000000
1373
33.0000000000000000
1374
8.0000000000000000
1375
78.0000000000000000
1376
36.0000000000000000
1377
1.0000000000000000
1378
1.0000000000000000
1379
75.8193992448335479
1380
24.7731022613123173
1381
7.2175815205607456
1382
10.2530258814215394
1383
68.4087781296523190
1384
1.5145394208628149
1385
73.0000000000000000
1386
42.0000000000000000
1387
89.0000000000000000
1388
47.0000000000000000
1389
15.0000000000000000
1390
30.0000000000000000
1391
63.5940550017355619
1392
64.4513486092793357
1393
59.5834897646354236
1394
79.4874413080213174
1395
75.7435295465626268
1396
52.4260032234093316
1397
76.0000000000000000
1398
13.0000000000000000
1399
82.0000000000000000
1400
98.0000000000000000
1401
38.0000000000000000
1402
80.0000000000000000
1403
1.0000000000000000
1404
1.0000000000000000
1405
80.4110135859559989
1406
42.5409340055847309
1407
61.3291700675592892
1408
3.2357708594939139
1409
16.6241661541048593
1410
54.4168998267007922
1411
75.0000000000000000
1412
73.0000000000000000
1413
91.0000000000000000
1414
7.0000000000000000
1415
30.0000000000000000
1416
32.0000000000000000
1417
93.5931328180017630
1418
40.9034072695261273
1419
3.7147494882394216
1420
26.5168109712908375
1421
91.7353168146020437
1422
0.1451911610808598
1423
85.0000000000000000
1424
96.0000000000000000
1425
30.0000000000000000
1426
29.0000000000000000
1427
66.0000000000000000
1428
23.0000000000000000
1429
1.0000000000000000
1430
1.0000000000000000
1431
50.6184915015838968
1432
9.3957707465668001
1433
62.9467912992938494
1434
3.6674416030319179
1435
80.5060488278356132
1436
78.7213418136114171
1437
73.0000000000000000
1438
86.0000000000000000
1439
38.0000000000000000
1440
36.0000000000000000
1441
97.0000000000000000
1442
4.0000000000000000
1443
35.0309864512675304
1444
31.9934501866240169
1445
55.0407890536667495
1446
50.9963237846416391
1447
79.8191515243566840
1448
92.0284494054586588
1449
16.0000000000000000
1450
64.0000000000000000
1451
48.0000000000000000
1452
69.0000000000000000
1453
58.0000000000000000
1454
9.0000000000000000
1455
1.0000000000000000
1456
1.0000000000000000
1457
97.3957976934016330
1458
78.5347972984596083
1459
24.7764100782868368
1460
83.7823490477169059
1461
76.4964957822359963
1462
30.6105890648607151
1463
47.0000000000000000
1464
47.0000000000000000
1465
68.0000000000000000
1466
63.0000000000000000
1467
80.0000000000000000
1468
76.0000000000000000
1469
87.1536848140535056
1470
61.6291498345992039
1471
91.0472752209806231
1472
39.8008424360526973
1473
51.1568817586200311
1474
18.9637154665463612
1475
65.0000000000000000
1476
29.0000000000000000
1477
41.0000000000000000
1478
95.0000000000000000
1479
40.0000000000000000
1480
47.0000000000000000
1481
1.0000000000000000
1482
1.0000000000000000
1483
61.6081683818137193
1484
1.2881090586155275
1485
8.7885313963188096
1486
0.5540735648269846
1487
74.0093093341707942
1488
75.4455154278915927
1489
89.0000000000000000
1490
49.0000000000000000
1491
81.0000000000000000
1492
3.0000000000000000
1493
11.0000000000000000
1494
13.0000000000000000
1495
92.3631377268390281
1496
35.9028777330573732
1497
18.3293405597095074
1498
77.9246450863040394
1499
76.9724376556938097
1500
66.1207703189181757
1501
27.0000000000000000
1502
18.0000000000000000
1503
64.0000000000000000
1504
60.0000000000000000
1505
39.0000000000000000
1506
98.0000000000000000
1507
1.0000000000000000
1508
1.0000000000000000
1509
1.3582084081554036
1510
91.8210836744479622
1511
16.9087426949389723
1512
11.6711503387333373
1513
13.1845569792305319
1514
1.6734194092215215
1515
19.0000000000000000
1516
11.0000000000000000
1517
65.0000000000000000
1518
8.0000000000000000
1519
27.0000000000000000
1520
54.0000000000000000
1521
39.9873953172822070
1522
78.0649353358308389
1523
13.3479143991675482
1524
4.3343008441221080
1525
37.2611012734682205
1526
49.7212403783026886
1527
97.0000000000000000
1528
24.0000000000000000
1529
83.0000000000000000
1530
99.0000000000000000
1531
63.0000000000000000
1532
73.0000000000000000
1533
1.0000000000000000
1534
1.0000000000000000
1535
92.1045672177055792
1536
21.1655832277975335
1537
21.1000147939851210
1538
42.3545453562361516
1539
29.9624142058041443
1540
24.9964783274568276
1541
2.0000000000000000
1542
50.0000000000000000
1543
42.0000000000000000
1544
4.0000000000000000
1545
5.0000000000000000
1546
27.0000000000000000
1547
49.1624006163771767
1548
57.7165809181287344
1549
65.0747638035841049
1550
33.7947708388060448
1551
26.4914872850242844
1552
67.9200989980539163
1553
100.0000000000000000
1554
78.0000000000000000
1555
27.0000000000000000
1556
28.0000000000000000
1557
19.0000000000000000
1558
98.0000000000000000
1559
1.0000000000000000
1560
1.0000000000000000
1561
90.8900918178440378
1562
37.9064721754553844
1563
55.6212934877849605
1564
80.8596366705891114
1565
12.3156967311730643
1566
70.3994863462826572
1567
7.0000000000000000
1568
56.0000000000000000
1569
80.0000000000000000
1570
66.0000000000000000
1571
72.0000000000000000
1572
88.0000000000000000
1573
86.3685288036442387
1574
95.8333919485999672
1575
92.4514030807368243
1576
90.0042193429807185
1577
98.1213984750703645
1578
99.3597898974844895
1579
32.0000000000000000
1580
58.0000000000000000
1581
24.0000000000000000
1582
24.0000000000000000
1583
72.0000000000000000
1584
59.0000000000000000
1585
1.0000000000000000
1586
1.0000000000000000
1587
50.5127061351646063
1588
24.0860049589441729
1589
33.2574489140253462
1590
8.4706640368279231
1591
24.3374216581407019
1592
0.0858304907171425
1593
32.0000000000000000
1594
15.0000000000000000
1595
24.0000000000000000
1596
21.0000000000000000
1597
6.0000000000000000
1598
56.0000000000000000
1599
75.2157034252213776
1600
64.7136131444688090
1601
84.6994324715300166
1602
9.9280029090446966
1603
83.9725280948175197
1604
96.1187460876308251
1605
50.0000000000000000
1606
67.0000000000000000
1607
36.0000000000000000
1608
28.0000000000000000
1609
21.0000000000000000
1610
90.0000000000000000
1611
1.0000000000000000
1612
1.0000000000000000
1613
47.2089794725796708
1614
78.9732966812610755
1615
71.4310070531027037
1616
85.9831279858855737
1617
91.8422281593151695
1618
58.1365145290850123
1619
47.0000000000000000
1620
12.0000000000000000
1621
19.0000000000000000
1622
58.0000000000000000
1623
59.0000000000000000
1624
96.0000000000000000
1625
83.6477477971799743
1626
78.9616186299500527
1627
21.3431490535359245
1628
15.0466160447687685
1629
51.5426572229381961
1630
7.3514609557598138
1631
30.0000000000000000
1632
49.0000000000000000
1633
26.0000000000000000
1634
4.0000000000000000
1635
69.0000000000000000
1636
50.0000000000000000
1637
1.0000000000000000
1638
1.0000000000000000
1639
81.6293675394842921
1640
7.3744166163027147
1641
45.1425352778812936
1642
56.8496711939085344
1643
7.2233170659440908
1644
94.7045618263316697
1645
29.0000000000000000
1646
3.0000000000000000
1647
38.0000000000000000
1648
55.0000000000000000
1649
61.0000000000000000
1650
62.0000000000000000
1651
78.2855242541294700
1652
87.3007885486162394
1653
35.2173755269247692
1654
4.8585542252911011
1655
35.0242428230587919
1656
20.7464447322994729
1657
58.0000000000000000
1658
42.0000000000000000
1659
33.0000000000000000
1660
12.0000000000000000
1661
92.0000000000000000
1662
57.0000000000000000
1663
1.0000000000000000
1664
1.0000000000000000
1665
98.3780104505703576
1666
11.3804782851041679
1667
40.5721797256507273
1668
49.4465495878203996
1669
42.1106528970020122
1670
36.3305334953882308
1671
79.0000000000000000
1672
100.0000000000000000
1673
34.0000000000000000
1674
7.0000000000000000
1675
37.0000000000000000
1676
10.0000000000000000
1677
73.4375169025636296
1678
91.2527338805363115
1679
79.0820357703135812
1680
22.8964959888394617
1681
5.2909777767080168
1682
3.0151309291077899
1683
1.0000000000000000
1684
24.0000000000000000
1685
53.0000000000000000
1686
84.0000000000000000
1687
90.0000000000000000
1688
46.0000000000000000
1689
1.0000000000000000
1690
1.0000000000000000
1691
9.7209473456031255
1692
97.9711762228945702
1693
61.3237204043823070
1694
90.3054226743496571
1695
80.9671979421450914
1696
20.5329439331288448
1697
87.0000000000000000
1698
45.0000000000000000
1699
86.0000000000000000
1700
86.0000000000000000
1701
51.0000000000000000
1702
99.0000000000000000
1703
58.9738751242827490
1704
61.8220862725009681
1705
36.1641140092877436
1706
5.2985947117710319
1707
12.0790523781342589
1708
63.4870609345671610
1709
38.0000000000000000
1710
86.0000000000000000
1711
71.0000000000000000
1712
70.0000000000000000
1713
85.0000000000000000
1714
2.0000000000000000
1715
1.0000000000000000
1716
1.0000000000000000
1717
43.8222540171168546
1718
30.2534213815991890
1719
37.8804359099230794
1720
79.5567228247372071
1721
68.0638648270580404
1722
39.0851024024576503
1723
67.0000000000000000
1724
83.0000000000000000
1725
5.0000000000000000
1726
61.0000000000000000
1727
25.0000000000000000
1728
1.0000000000000000
1729
9.1884712690106678
1730
10.7901008434670871
1731
86.3358631946477573
1732
97.4948079446151183
1733
3.5938733714575677
1734
98.0820008788383433
1735
44.0000000000000000
1736
44.0000000000000000
1737
95.0000000000000000
1738
6.0000000000000000
1739
39.0000000000000000
1740
43.0000000000000000
1741
1.0000000000000000
1742
1.0000000000000000
1743
97.3676331423804555
1744
56.6950780992154435
1745
79.9519448954087721
1746
14.2679340389458513
1747
14.6202280452611628
1748
15.5121585179196835
1749
94.0000000000000000
1750
67.0000000000000000
1751
28.0000000000000000
1752
13.0000000000000000
1753
6.0000000000000000
1754
40.0000000000000000
1755
24.4060576859077791
1756
43.1037791951826321
1757
68.0743873971079267
1758
98.8351248575952042
1759
59.1476832155296037
1760
98.0585666062443835
1761
80.0000000000000000
1762
50.0000000000000000
1763
55.0000000000000000
1764
85.0000000000000000
1765
41.0000000000000000
1766
75.0000000000000000
1767
1.0000000000000000
1768
1.0000000000000000
1769
12.4048793865063409
1770
23.3005804071712106
1771
81.5926443326601856
1772
42.4250344327113638
1773
87.4982568555047919
1774
86.9711051573718663
1775
49.0000000000000000
1776
62.0000000000000000
1777
70.0000000000000000
1778
45.0000000000000000
1779
61.0000000000000000
1780
76.0000000000000000
1781
94.7048480383387528
1782
9.4911913294780668
1783
75.8486759986016068
1784
32.2683657788590210
1785
20.4170594968172701
1786
36.1102219429010987
1787
84.0000000000000000
1788
74.0000000000000000
1789
71.0000000000000000
1790
99.0000000000000000
1791
57.0000000000000000
1792
53.0000000000000000
1793
1.0000000000000000
1794
1.0000000000000000
1795
36.4035279018124598
1796
33.8432796088460748
1797
48.2254623244315468
1798
50.5910746757894287
1799
95.1032691959694034
1800
26.2269305287051182
1801
43.0000000000000000
1802
15.0000000000000000
1803
75.0000000000000000
1804
27.0000000000000000
1805
96.0000000000000000
1806
27.0000000000000000
1807
61.7312357359173092
1808
89.4828849101687780
1809
74.5181734676492766
1810
92.5608046000061080
1811
90.5339871808290440
1812
71.2075862107420932
1813
94.0000000000000000
1814
82.0000000000000000
1815
92.0000000000000000
1816
12.0000000000000000
1817
18.0000000000000000
1818
84.0000000000000000
1819
1.0000000000000000
1820
1.0000000000000000
1821
81.9371605920856183
1822
97.2727851866997781
1823
54.2091884747793387
1824
16.6303824082303251
1825
44.3926878762322872
1826
95.5878999913725096
1827
25.0000000000000000
1828
33.0000000000000000
1829
62.0000000000000000
1830
35.0000000000000000
1831
28.0000000000000000
1832
13.0000000000000000
1833
80.7338226714223453
1834
32.8098120649630758
1835
48.3857925671590436
1836
5.7280469453634080
1837
54.5297604494969193
1838
22.0260522760396533
1839
4.0000000000000000
1840
38.0000000000000000
1841
3.0000000000000000
1842
8.0000000000000000
1843
38.0000000000000000
1844
39.0000000000000000
1845
1.0000000000000000
1846
1.0000000000000000
1847
56.3069680322229118
1848
19.8543571690967688
1849
54.6519626473017581
1850
73.6174021399823602
1851
66.3571777032811809
1852
0.4594141423399423
1853
20.0000000000000000
1854
27.0000000000000000
1855
21.0000000000000000
1856
81.0000000000000000
1857
59.0000000000000000
1858
18.0000000000000000
1859
20.1392395331740346
1860
3.8971621620923380
1861
76.7807763308787514
1862
4.1227984412524066
1863
17.2796011174779380
1864
86.7554222240625421
1865
59.0000000000000000
1866
40.0000000000000000
1867
51.0000000000000000
1868
66.0000000000000000
1869
25.0000000000000000
1870
26.0000000000000000
1871
1.0000000000000000
1872
1.0000000000000000
1873
83.5252047665600514
1874
17.2282491091426024
1875
96.3574717339995459
1876
50.3375492274671288
1877
6.4541734277653307
1878
97.1976191506980172
1879
7.0000000000000000
1880
33.0000000000000000
1881
84.0000000000000000
1882
45.0000000000000000
1883
96.0000000000000000
1884
33.0000000000000000
1885
65.8853252249526804
1886
38.3120961478333868
1887
18.1363950526545850
1888
45.2557953244960629
1889
71.1944094135404839
1890
62.6562922177509094
1891
75.0000000000000000
1892
58.0000000000000000
1893
50.0000000000000000
1894
85.0000000000000000
1895
36.0000000000000000
1896
35.0000000000000000
1897
1.0000000000000000
1898
1.0000000000000000
1899
74.7136421001306132
1900
3.5652826779660640
1901
52.0989320361565973
1902
29.5618636852623133
1903
58.3069218114927210
1904
40.6833707711073203
1905
48.0000000000000000
1906
8.0000000000000000
1907
7.0000000000000000
1908
77.0000000000000000
1909
45.0000000000000000
1910
76.0000000000000000
1911
95.3906514392923697
1912
92.6343082777645463
1913
80.3070559055324651
1914
60.4093141578613242
1915
12.5605787554934238
1916
36.1955350919464038
1917
91.0000000000000000
1918
24.0000000000000000
1919
7.0000000000000000
1920
78.0000000000000000
1921
1.0000000000000000
1922
2.0000000000000000
1923
1.0000000000000000
1924
1.0000000000000000
1925
55.0507290308704924
1926
40.8302349265456499
1927
85.1772022058622298
1928
75.0510579792569388
1929
7.0058589077421685
1930
96.2604643474701618
1931
78.0000000000000000
1932
19.0000000000000000
1933
5.0000000000000000
1934
93.0000000000000000
1935
78.0000000000000000
1936
8.0000000000000000
1937
47.6283221289988674
1938
32.6612595743959986
1939
50.0471293760712115
1940
27.4725557366480864
1941
30.7140210573305410
1942
48.2826918218026719
1943
72.0000000000000000
1944
54.0000000000000000
1945
30.0000000000000000
1946
14.0000000000000000
1947
48.0000000000000000
1948
54.0000000000000000
1949
1.0000000000000000
1950
1.0000000000000000
1951
4.0793079315662233
1952
2.7899393148585916
1953
10.0223412215764149
1954
59.8154778085457224
1955
86.8560751041933088
1956
31.6111279554637790
1957
42.0000000000000000
1958
20.0000000000000000
1959
92.0000000000000000
1960
5.0000000000000000
1961
75.0000000000000000
1962
4.0000000000000000
1963
1.5376242237551963
1964
36.6062977057659538
1965
24.3974439331295940
1966
34.0547865912332455
1967
31.0121860347712044
1968
84.2964744543673419
1969
39.0000000000000000
1970
38.0000000000000000
1971
44.0000000000000000
1972
30.0000000000000000
1973
41.0000000000000000
1974
20.0000000000000000
1975
1.0000000000000000
1976
1.0000000000000000
1977
14.8587248334569146
1978
22.5279710804211817
1979
27.5118707537881910
1980
82.7023819895813119
1981
44.0555796231671408
1982
16.6759208685094542
1983
14.0000000000000000
1984
10.0000000000000000
1985
85.0000000000000000
1986
33.0000000000000000
1987
33.0000000000000000
1988
96.0000000000000000
1989
84.8168398782953261
1990
38.5582631166952936
1991
14.5489977579419172
1992
86.1656437132640605
1993
8.5520428445549186
1994
60.7421602987008171
1995
39.0000000000000000
1996
39.0000000000000000
1997
11.0000000000000000
1998
82.0000000000000000
1999
91.0000000000000000
2000
23.0000000000000000
2001
1.0000000000000000
2002
1.0000000000000000
2003
93.0569518177013890
2004
41.8887005295184878
2005
13.1582272111379073
2006
14.6581494497360794
2007
71.5383721724132329
2008
44.0108168976206642
2009
86.0000000000000000
2010
43.0000000000000000
2011
42.0000000000000000
2012
21.0000000000000000
2013
98.0000000000000000
2014
99.0000000000000000
2015
55.4501650011618139
2016
27.4680236266145812
2017
93.0412685563430557
2018
2.8581554274412335
2019
58.6014469861432659
2020
4.2159330314183618
2021
11.0000000000000000
2022
42.0000000000000000
2023
29.0000000000000000
2024
90.0000000000000000
2025
60.0000000000000000
2026
4.0000000000000000
2027
1.0000000000000000
2028
1.0000000000000000
2029
4.3463484547969555
2030
49.5376365748596896
2031
15.8942911537143683
2032
21.7987328842965340
2033
50.9240924042323044
2034
79.6240454923682250
2035
43.0000000000000000
2036
33.0000000000000000
2037
90.0000000000000000
2038
83.0000000000000000
2039
92.0000000000000000
2040
23.0000000000000000
2041
78.5090096249108456
2042
84.4427458291516189
2043
11.4008447841379645
2044
56.2224660351280718
2045
31.8950007154472956
2046
24.8358636127663175
2047
91.0000000000000000
2048
63.0000000000000000
2049
6.0000000000000000
2050
61.0000000000000000
2051
5.0000000000000000
2052
15.0000000000000000
2053
1.0000000000000000
2054
1.0000000000000000
2055
88.3047066022868563
2056
36.9073325873679039
2057
6.5283881980875087
2058
6.4678723632872188
2059
35.4450485523059697
2060
87.0510190154891745
2061
19.0000000000000000
2062
44.0000000000000000
2063
75.0000000000000000
2064
72.0000000000000000
2065
7.0000000000000000
2066
91.0000000000000000
2067
89.0249395647017678
2068
25.4258651183649746
2069
51.3038216106287166
2070
46.3369425234610901
2071
79.0965460486848286
2072
29.4779014208756287
2073
49.0000000000000000
2074
44.0000000000000000
2075
82.0000000000000000
2076
29.0000000000000000
2077
61.0000000000000000
2078
19.0000000000000000
2079
1.0000000000000000
2080
1.0000000000000000
2081
28.9735886870593582
2082
22.0978632704838418
2083
31.0758410558841014
2084
0.2998217535446934
2085
40.3675140843075226
2086
53.2689952717498869
2087
63.0000000000000000
2088
96.0000000000000000
2089
2.0000000000000000
2090
34.0000000000000000
2091
38.0000000000000000
2092
9.0000000000000000
2093
5.0413038979815301
2094
91.1164312820506268
2095
38.0689892256563027
2096
96.3897986632079835
2097
61.6580489153640414
2098
96.9205974294168300
2099
21.0000000000000000
2100
86.0000000000000000
2101
47.0000000000000000
2102
4.0000000000000000
2103
76.0000000000000000
2104
21.0000000000000000
2105
1.0000000000000000
2106
1.0000000000000000
2107
75.8453250269138266
2108
62.4404419208410033
2109
11.6736314511284629
2110
53.5779069815377369
2111
12.2464696495926724
2112
37.4925190319199260
2113
54.0000000000000000
2114
83.0000000000000000
2115
72.0000000000000000
2116
40.0000000000000000
2117
5.0000000000000000
2118
3.0000000000000000
2119
15.9439420123047455
2120
3.0782295192562037
2121
96.4401590635781218
2122
47.7915871391511047
2123
0.7147823778054785
2124
82.7041447922962192
2125
3.0000000000000000
2126
38.0000000000000000
2127
99.0000000000000000
2128
59.0000000000000000
2129
65.0000000000000000
2130
11.0000000000000000
2131
1.0000000000000000
2132
1.0000000000000000
2133
95.1912866312361103
2134
2.4858639272153704
2135
8.5291411717934871
2136
47.4547641383613268
2137
1.9678480596813652
2138
82.0271506256258505
2139
56.0000000000000000
2140
29.0000000000000000
2141
100.0000000000000000
2142
64.0000000000000000
2143
1.0000000000000000
2144
5.0000000000000000
2145
21.2866113469492575
2146
48.2159664920981186
2147
4.9128864614552352
2148
55.3645421642039679
2149
88.0216459560575544
2150
86.1092591623359027
2151
62.0000000000000000
2152
92.0000000000000000
2153
48.0000000000000000
2154
85.0000000000000000
2155
78.0000000000000000
2156
51.0000000000000000
2157
1.0000000000000000
2158
1.0000000000000000
2159
3.4068119767844518
2160
97.5292120750747955
2161
18.0005557672709529
2162
85.5349096590187941
2163
62.5486287223517863
2164
51.6206904372582684
2165
79.0000000000000000
2166
22.0000000000000000
2167
7.0000000000000000
2168
44.0000000000000000
2169
96.0000000000000000
2170
43.0000000000000000
2171
12.8508372966698481
2172
82.7932116273353245
2173
10.0700553825362142
2174
60.4038095786667313
2175
81.2627707324068638
2176
81.5431267629275709
2177
93.0000000000000000
2178
95.0000000000000000
2179
95.0000000000000000
2180
48.0000000000000000
2181
64.0000000000000000
2182
48.0000000000000000
2183
1.0000000000000000
2184
1.0000000000000000
2185
44.7225212166522326
2186
2.8758947640306620
2187
10.0001135798539416
2188
66.1353381755634899
2189
34.7859050947365560
2190
49.8394715641760868
2191
58.0000000000000000
2192
14.0000000000000000
2193
89.0000000000000000
2194
54.0000000000000000
2195
70.0000000000000000
2196
65.0000000000000000
2197
83.3072590613697912
2198
55.3912470817718088
2199
89.3822750954023348
2200
23.6403357582407487
2201
79.9080852659996452
2202
5.5474233038348757
2203
68.0000000000000000
2204
60.0000000000000000
2205
5.0000000000000000
2206
34.0000000000000000
2207
4.0000000000000000
2208
82.0000000000000000
2209
1.0000000000000000
2210
1.0000000000000000
2211
31.6365337635755353
2212
39.7934792421372947
2213
5.1881618674766372
2214
35.7559137794478090
2215
92.5762567021258320
2216
64.8047438563546336
2217
33.0000000000000000
2218
31.0000000000000000
2219
88.0000000000000000
2220
36.0000000000000000
2221
89.0000000000000000
2222
25.0000000000000000
2223
35.6350544888084571
2224
43.9066060790526578
2225
36.9720911307952278
2226
89.4927437064774125
2227
64.4178108916256775
2228
45.7758983554659125
2229
2.0000000000000000
2230
2.0000000000000000
2231
63.0000000000000000
2232
40.0000000000000000
2233
95.0000000000000000
2234
23.0000000000000000
2235
1.0000000000000000
2236
1.0000000000000000
2237
29.0951236929548145
2238
53.8891398214370483
2239
2.7762795810805985
2240
54.6544716960897432
2241
10.8744462509386413
2242
79.3595575379852818
2243
4.0000000000000000
2244
62.0000000000000000
2245
40.0000000000000000
2246
100.0000000000000000
2247
88.0000000000000000
2248
76.0000000000000000
2249
45.5649094943610962
2250
4.2006346225082254
2251
18.3596077277642600
2252
57.5608741187934498
2253
50.2887578469764165
2254
44.0857996596630244
2255
65.0000000000000000
2256
21.0000000000000000
2257
63.0000000000000000
2258
56.0000000000000000
2259
35.0000000000000000
2260
100.0000000000000000
2261
1.0000000000000000
2262
1.0000000000000000
2263
70.2489574418978151
2264
13.7897699652088974
2265
29.4690715549650548
2266
18.4257596434812214
2267
26.0302598119341440
2268
48.2070741760083763
2269
32.0000000000000000
2270
89.0000000000000000
2271
100.0000000000000000
2272
30.0000000000000000
2273
45.0000000000000000
2274
60.0000000000000000
2275
2.6282748276136192
2276
49.8265855237394959
2277
78.9317392948301801
2278
96.1393694261535927
2279
47.3702054106813435
2280
32.3782731198685170
2281
96.0000000000000000
2282
37.0000000000000000
2283
26.0000000000000000
2284
23.0000000000000000
2285
36.0000000000000000
2286
21.0000000000000000
2287
1.0000000000000000
2288
1.0000000000000000
2289
0.3556247561213088
2290
3.7756780498659714
2291
75.5600090141568614
2292
97.0575859470811224
2293
11.0546154754175951
2294
78.9778028430994254
2295
16.0000000000000000
2296
80.0000000000000000
2297
75.0000000000000000
2298
11.0000000000000000
2299
17.0000000000000000
2300
1.0000000000000000
2301
5.1789937058889564
2302
50.5435993773362995
2303
0.4946864811284701
2304
4.6265761993431127
2305
47.5954789973626262
2306
58.4964431502267956
2307
91.0000000000000000
2308
19.0000000000000000
2309
73.0000000000000000
2310
2.0000000000000000
2311
13.0000000000000000
2312
33.0000000000000000
2313
1.0000000000000000
2314
1.0000000000000000
2315
60.2170017791487453
2316
98.1349262680345333
2317
18.2359405442234603
2318
56.8302802763090327
2319
52.0277551106668739
2320
14.1602454176782189
2321
30.0000000000000000
2322
61.0000000000000000
2323
4.0000000000000000
2324
50.0000000000000000
2325
93.0000000000000000
2326
60.0000000000000000
2327
96.7028830349912880
2328
12.1607959964887264
2329
83.8922657880960543
2330
48.0359083860578906
2331
65.9829729268081877
2332
46.1015755441313999
2333
74.0000000000000000
2334
63.0000000000000000
2335
53.0000000000000000
2336
15.0000000000000000
2337
14.0000000000000000
2338
53.0000000000000000
2339
1.0000000000000000
2340
1.0000000000000000
2341
66.1443306933794304
2342
60.4598650230748333
2343
64.6039850618841456
2344
37.5875892008642722
2345
80.3305562475430577
2346
79.5988561996159802
2347
27.0000000000000000
2348
65.0000000000000000
2349
66.0000000000000000
2350
84.0000000000000000
2351
8.0000000000000000
2352
18.0000000000000000
2353
26.1109160864752887
2354
56.6756544415762065
2355
93.0698496860638613
2356
22.5833707460449169
2357
98.4682239887465016
2358
57.6720243732580826
2359
21.0000000000000000
2360
80.0000000000000000
2361
90.0000000000000000
2362
57.0000000000000000
2363
58.0000000000000000
2364
73.0000000000000000
2365
1.0000000000000000
2366
1.0000000000000000
2367
28.4869019420763259
2368
5.5183666116697339
2369
77.6287697562208905
2370
36.0917732841035885
2371
7.8709235781768356
2372
25.6893099603807791
2373
67.0000000000000000
2374
40.0000000000000000
2375
32.0000000000000000
2376
70.0000000000000000
2377
69.0000000000000000
2378
21.0000000000000000
2379
59.3223882364854660
2380
21.0512472361818475
2381
68.1122910611816224
2382
14.4009629705192275
2383
27.5583552639478526
2384
28.8676371944726178
2385
16.0000000000000000
2386
86.0000000000000000
2387
46.0000000000000000
2388
88.0000000000000000
2389
46.0000000000000000
2390
81.0000000000000000
2391
1.0000000000000000
2392
1.0000000000000000
2393
41.9479703933628301
2394
58.1648950156163238
2395
94.2008376962637186
2396
49.2234567906851694
2397
52.6533262793555394
2398
26.1285407257738633
2399
66.0000000000000000
2400
37.0000000000000000
2401
61.0000000000000000
2402
19.0000000000000000
2403
93.0000000000000000
2404
67.0000000000000000
2405
48.5605300557199939
2406
22.3897087090467188
2407
78.6812854096493766
2408
60.5903244270333801
2409
78.9980818910141664
2410
20.1682504334261061
2411
69.0000000000000000
2412
32.0000000000000000
2413
4.0000000000000000
2414
27.0000000000000000
2415
89.0000000000000000
2416
6.0000000000000000
2417
1.0000000000000000
2418
1.0000000000000000
2419
95.1225091893717831
2420
86.0241502991890457
2421
52.8207420388201143
2422
57.0669317478330385
2423
98.7142560805688447
2424
2.4262480632701977
2425
64.0000000000000000
2426
37.0000000000000000
2427
2.0000000000000000
2428
78.0000000000000000
2429
71.0000000000000000
2430
88.0000000000000000
2431
4.5862415698369237
2432
69.8453874203143243
2433
89.1303846416986971
2434
63.3608143281668248
2435
69.8785032051764432
2436
86.7834782767739341
2437
89.0000000000000000
2438
62.0000000000000000
2439
62.0000000000000000
2440
26.0000000000000000
2441
73.0000000000000000
2442
89.0000000000000000
2443
1.0000000000000000
2444
1.0000000000000000
2445
26.0968990590580887
2446
25.3668443711360432
2447
77.5896801385346890
2448
71.0807844379234552
2449
82.3165389293057643
2450
4.1176868026525320
2451
7.0000000000000000
2452
63.0000000000000000
2453
9.0000000000000000
2454
62.0000000000000000
2455
28.0000000000000000
2456
23.0000000000000000
2457
44.7613643243406258
2458
75.6700847655736482
2459
42.6579956555367517
2460
41.2137831694512329
2461
20.6522292657788107
2462
11.7047126606718788
2463
33.0000000000000000
2464
98.0000000000000000
2465
6.0000000000000000
2466
45.0000000000000000
2467
33.0000000000000000
2468
27.0000000000000000
2469
1.0000000000000000
2470
1.0000000000000000
2471
23.0927280147991674
2472
55.4176829646198641
2473
46.2658950124100556
2474
17.6274247827055248
2475
14.5641958295284812
2476
36.6554017094950311
2477
69.0000000000000000
2478
26.0000000000000000
2479
61.0000000000000000
2480
28.0000000000000000
2481
7.0000000000000000
2482
9.0000000000000000
2483
25.1403761436871598
2484
69.3336728177849579
2485
81.8582724113584135
2486
67.3582675972885454
2487
95.2415488281533413
2488
34.8731161365008475
2489
100.0000000000000000
2490
73.0000000000000000
2491
10.0000000000000000
2492
52.0000000000000000
2493
78.0000000000000000
2494
78.0000000000000000
2495
1.0000000000000000
2496
1.0000000000000000
2497
28.4823006598620374
2498
43.3426290643165544
2499
51.9953221900303006
2500
58.9151590649097372
2501
73.8907104800224204
2502
60.2211863306328681
2503
29.0000000000000000
2504
2.0000000000000000
2505
21.0000000000000000
2506
32.0000000000000000
2507
95.0000000000000000
2508
84.0000000000000000
2509
3.9200708432697295
2510
69.2876408446374370
2511
4.0746038998579204
2512
90.7654045175132751
2513
97.8771022335105414
2514
39.2932653064266972
2515
87.0000000000000000
2516
76.0000000000000000
2517
10.0000000000000000
2518
69.0000000000000000
2519
40.0000000000000000
2520
76.0000000000000000
2521
1.0000000000000000
2522
1.0000000000000000
2523
97.1601791492671225
2524
0.1406644456124262
2525
99.6926712407005766
2526
24.9225485961696371
2527
52.2173635055212202
2528
79.8565317580100924
2529
59.0000000000000000
2530
33.0000000000000000
2531
7.0000000000000000
2532
38.0000000000000000
2533
83.0000000000000000
2534
73.0000000000000000
2535
60.4046910518779043
2536
52.8617831642164049
2537
56.8134270946098283
2538
19.8197504010693457
2539
27.5237264047068955
2540
93.3711271761527684
2541
15.0000000000000000
2542
81.0000000000000000
2543
56.0000000000000000
2544
26.0000000000000000
2545
24.0000000000000000
2546
75.0000000000000000
2547
1.0000000000000000
2548
1.0000000000000000
2549
97.6157741924956497
2550
23.4837810106432130
2551
66.0500301976071427
2552
46.4851832401897980
2553
63.8408847745617578
2554
13.3012213483804320
2555
69.0000000000000000
2556
22.0000000000000000
2557
53.0000000000000000
2558
57.0000000000000000
2559
63.0000000000000000
2560
87.0000000000000000
2561
0.9492580265537898
2562
79.4050705098234602
2563
70.1883252862622840
2564
87.8253037783243826
2565
26.5156562491789529
2566
81.7364459778447383
2567
25.0000000000000000
2568
55.0000000000000000
2569
60.0000000000000000
2570
95.0000000000000000
2571
86.0000000000000000
2572
40.0000000000000000
2573
1.0000000000000000
2574
1.0000000000000000
2575
6.8163506666015561
2576
53.5980248738961436
2577
43.2016859837687335
2578
6.3324024334949547
2579
4.9652783817086483
2580
80.3541649350454037
2581
25.0000000000000000
2582
2.0000000000000000
2583
23.0000000000000000
2584
81.0000000000000000
2585
80.0000000000000000
2586
6.0000000000000000
2587
63.4464629490522967
2588
45.9899817328854539
2589
80.0355815199440599
2590
97.3766138942132926
2591
2.7251681244473747
2592
30.5474331522658886
2593
45.0000000000000000
2594
42.0000000000000000
2595
77.0000000000000000
2596
33.0000000000000000
2597
27.0000000000000000
2598
43.0000000000000000
2599
1.0000000000000000
2600
1.0000000000000000
2601
82.8841977180583882
2602
64.3436784557146240
2603
56.3985123751973489
2604
57.1026897417350909
2605
34.1041426440310431
2606
24.7567467554135057
2607
6.0000000000000000
2608
36.0000000000000000
2609
3.0000000000000000
2610
59.0000000000000000
2611
83.0000000000000000
2612
21.0000000000000000
2613
63.8344066823574110
2614
15.1276606976844086
2615
48.3083499235918623
2616
84.3770799213501022
2617
72.0395778146232573
2618
90.6949684709720287
2619
54.0000000000000000
2620
76.0000000000000000
2621
90.0000000000000000
2622
70.0000000000000000
2623
45.0000000000000000
2624
80.0000000000000000
2625
1.0000000000000000
2626
1.0000000000000000