Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_selector_test / selector_test_selector_test_input_values @ 0c9457a0

History | View | Annotate | Download (32 KB)

1
75.73871345271057
2
48.25864274352516
3
60.51229212000828
4
77.0485546756424
5
22.986682963410153
6
10.717439848355747
7
27.871279181650255
8
27.569428236973025
9
79.6128349484259
10
70.91683244360308
11
65.76867434328143
12
55.64242859877218
13
29.697321285693647
14
27.630494586606535
15
35.293111728503625
16
92.2463336928047
17
92.8683396641034
18
22.82749340337551
19
13.051397134619913
20
3.7918884540265374
21
61.61696495771862
22
79.3945271929436
23
64.70106074392741
24
50.11368231031235
25
93.39987806351503
26
48.670057648771156
27
67.13832157392325
28
9.141874705552866
29
4.566758470095356
30
20.710830116978617
31
12.559846252088603
32
95.24660343503368
33
1.9186250494167112
34
21.012141510322856
35
11.698734054952775
36
76.8610997156599
37
92.0979248544821
38
28.82891621216437
39
63.24213281076362
40
68.22792240684099
41
29.030688023660467
42
4.2954721385092824
43
71.77002464887902
44
29.97592272038898
45
95.28564933157175
46
4.217641146006635
47
77.51164415791828
48
63.72386856365052
49
64.48471212395135
50
99.71169190278893
51
7.798073837569275
52
27.01992596616366
53
58.793693534803296
54
82.79024000343104
55
72.2966105707573
56
26.664513684187508
57
98.04181136836057
58
63.54619236253829
59
1.9444898519037412
60
70.82724618625663
61
35.16290498996085
62
14.76146870080095
63
74.95659450124849
64
73.35706825050057
65
86.42092500891214
66
16.56808665726881
67
82.36383177235714
68
7.297863489837731
69
94.27671984812581
70
90.2149473232962
71
60.24585814382921
72
98.86017520437653
73
5.77274645180601
74
87.04445039765112
75
56.153897297198974
76
37.96292642925797
77
9.956787044300185
78
16.458834163329538
79
3.1763877896999193
80
56.947301011200814
81
54.135338201698204
82
54.956954060823925
83
46.682266214903976
84
95.17825198839842
85
50.641857327708514
86
77.247941728814
87
5.9837065859156375
88
23.9873719010536
89
93.32456156114917
90
89.99901324622594
91
55.99216134979043
92
53.77412470628031
93
26.1030437294123
94
28.950452556222373
95
82.39858980862219
96
83.07077223692188
97
44.71245167899658
98
0.9315805404862654
99
97.99079492067806
100
77.98952399301066
101
67.14857679667708
102
13.737321510335775
103
7.427812033474024
104
89.70882680278567
105
78.34664358196368
106
38.87570907290194
107
73.12331200047323
108
27.51888820604037
109
40.27119915768683
110
94.8725261309131
111
65.8470619192639
112
5.434889176864955
113
59.86399989982717
114
22.120000334167113
115
80.23544462723476
116
71.49956615049277
117
24.19130262947854
118
44.18225841370068
119
57.609130891001534
120
10.635172138888693
121
44.65155411409425
122
75.02108198610179
123
86.32801433166011
124
84.2680608462495
125
0.24894572716882557
126
36.78119797933027
127
43.370509203297445
128
32.937447492078945
129
33.707879062319726
130
98.57521556905766
131
99.90641674811307
132
21.71319610898389
133
33.59787341379699
134
33.13400248583412
135
38.33952621766935
136
52.48571027051805
137
30.65803401608983
138
15.23918206992314
139
18.62818807617147
140
2.0543368648608173
141
47.15466577298565
142
53.530108299667454
143
87.64913335689856
144
70.42897271055311
145
64.37520229997776
146
55.57854749257923
147
46.95179525545456
148
39.872779589990245
149
15.256130738220596
150
75.05000335799922
151
81.4574896668537
152
51.95229711300876
153
66.6621213604917
154
79.32146309925099
155
4.489777187857347
156
7.224438578946801
157
28.97808618740263
158
6.1010764130323025
159
92.97942833234157
160
80.17816964492734
161
19.445483562487386
162
48.396095759083515
163
70.76935428303493
164
20.661963059894163
165
10.068632380369824
166
18.601163612920757
167
47.65199462478272
168
82.26637710672983
169
10.936385035150288
170
94.52982593605202
171
37.103628445857986
172
77.99440117487192
173
75.44905334252049
174
42.88793013765808
175
56.63709861054302
176
14.040498399271485
177
65.2099479458969
178
48.98834526037979
179
61.27651387848248
180
93.61253466691275
181
79.23548169984795
182
55.43221305991036
183
72.86448427358955
184
14.46911087686612
185
34.65730006760308
186
27.032763648425263
187
45.744502189302885
188
6.208011468418217
189
84.23442608044027
190
14.433431111671702
191
52.81809041879861
192
66.3298821803404
193
69.76294686548344
194
84.6728720713154
195
85.05840739683853
196
57.71440971821623
197
39.86530229327847
198
23.37521211363196
199
32.2689550906944
200
24.384641030669073
201
5.66074306582972
202
90.29465231083479
203
53.20820102634517
204
67.29834177527681
205
68.46310539734752
206
27.61934151295977
207
49.15776793121013
208
97.39354318801415
209
29.92152948031267
210
78.74020140953165
211
26.59407618167856
212
49.22873995214755
213
86.91431395300367
214
74.11617608086856
215
71.83020507491517
216
95.29649683723484
217
21.02560255997792
218
80.41815693814374
219
63.32684110444728
220
48.45243328114407
221
15.579183685179942
222
89.30961802002965
223
15.828191983493001
224
77.88993901777523
225
71.97311449013726
226
43.02277067073737
227
84.56079823931731
228
92.70415331106601
229
51.45354643728937
230
55.314824080580806
231
57.44016995832669
232
66.327096811616
233
38.485531812208485
234
88.43975776885638
235
28.562220493376245
236
84.97908793322893
237
7.523218746285421
238
89.44671885776222
239
77.21354377047383
240
3.7698599249258558
241
76.2513003025951
242
72.41702361653218
243
73.21652780929742
244
85.19610558836335
245
45.26418285639723
246
57.1774637731282
247
91.63240775357087
248
76.52039763204122
249
56.66880460658216
250
39.57841552401945
251
47.67733907014702
252
54.87979045985505
253
52.241628855779645
254
73.60103957427592
255
56.163662978897534
256
31.96062362060982
257
75.5397904739071
258
91.35862900925704
259
78.86046743784563
260
63.6893759871489
261
41.76101255795693
262
73.48297986115631
263
47.8746995991219
264
54.62765884286201
265
94.16632244776223
266
9.437352544983124
267
43.48602743760451
268
81.62276126321608
269
76.5242260079391
270
54.973488724772444
271
60.82570706106639
272
86.75340261736817
273
77.30445751987516
274
2.250834869742957
275
21.371762868541765
276
5.723668592642572
277
43.24402703925089
278
27.061970320575636
279
72.43978403884125
280
4.596334519097766
281
17.427720269410695
282
67.15895204519558
283
70.68070797344389
284
95.12012453906452
285
30.169853819016513
286
15.851163974287552
287
64.05395176587899
288
86.8936848692865
289
59.75351603991504
290
85.845924830345
291
70.82633341618732
292
13.222351795772658
293
84.47812386868281
294
9.728986403206497
295
3.854200148906972
296
36.762089657404786
297
67.48561759093565
298
95.53279857283124
299
3.738275343682518
300
0.90821323001824
301
51.48017553502031
302
48.51617555800416
303
25.39769492930769
304
43.37485057039848
305
91.72583123115713
306
3.5798220318034812
307
69.1918028061451
308
29.524324492107034
309
22.60094767369434
310
86.66792483986389
311
59.92526707926511
312
94.74394203852727
313
35.507983085093386
314
38.05683360722044
315
54.9041091465702
316
7.530978774987684
317
44.0815592453363
318
85.60757314070267
319
5.667303012391944
320
77.93487181686835
321
26.407348636511184
322
51.85980256597114
323
7.100587848620266
324
39.61898595931831
325
63.35885403902667
326
15.27051189417945
327
42.34618734361659
328
28.042530306288548
329
37.1786311828968
330
22.95163150448697
331
72.2542030407188
332
62.126554083497986
333
15.075113201313162
334
69.93642003377374
335
24.078377289947596
336
12.25615077917146
337
18.87565332233435
338
18.305350501902907
339
5.701077147599499
340
3.584363802421131
341
73.67099109992073
342
28.42794408721169
343
8.879282053577919
344
60.34150304771594
345
35.90583655972674
346
14.12782335954178
347
67.83543047401852
348
44.21691683578359
349
24.514833241851342
350
13.753978261948774
351
7.974038944934025
352
77.86846285666014
353
17.472645819715016
354
89.94211351711499
355
53.58697211508016
356
73.22833514673043
357
30.521514476475108
358
32.27562524314176
359
63.117329039751546
360
3.512037069937901
361
64.85907767851737
362
39.10660396438149
363
25.883920936308968
364
67.70068663626806
365
96.21387201174957
366
97.47301565561878
367
85.12534722458238
368
96.7550428124762
369
79.00535047559191
370
63.34900905290333
371
48.80471354960901
372
41.932998448011205
373
56.17992288317494
374
68.39105275517684
375
11.82305377859587
376
67.32047816833115
377
97.83390715484131
378
43.89341201471717
379
41.121575793069354
380
41.04905676548726
381
39.878938168448144
382
57.84225657542571
383
68.6098409725301
384
82.66179079200987
385
57.77484503783762
386
6.758440015527878
387
95.93906455964644
388
77.7021474910461
389
89.7495240993461
390
90.4448135835842
391
39.846723206204835
392
14.839108111207743
393
18.944939258139904
394
24.804702353604625
395
37.13069613297946
396
35.7048314731914
397
34.57283377280723
398
15.573936781048726
399
84.26819832155513
400
13.109593009499033
401
18.433318179828838
402
24.1096356694825
403
8.276804383214431
404
89.41189451527832
405
45.04401863454825
406
5.304711592539335
407
52.62187594660986
408
13.56003262563592
409
41.146980626130315
410
87.24785123026962
411
14.80674423603514
412
12.684606810587107
413
23.505084415378864
414
92.42449150144994
415
90.73903168324556
416
22.109783179800658
417
22.669246768865026
418
71.05512889872068
419
65.04855024016362
420
76.26439254864005
421
4.792209284544868
422
28.59302101038216
423
36.2391777787331
424
32.212207520730054
425
23.584260233964503
426
81.45418935872168
427
80.88922450611544
428
57.38406296422299
429
70.15072987845583
430
67.72837447140539
431
42.07180238838506
432
63.582720108418634
433
39.72070256418989
434
72.9203452489217
435
73.74870200165319
436
10.444705378340192
437
1.170843283373102
438
4.696857817642264
439
85.09839116612135
440
33.28157091091302
441
37.76780108644899
442
65.16517097179486
443
6.570701004336366
444
72.5863911883184
445
25.697213494078653
446
24.384987817753732
447
42.91785572311245
448
95.4794911255426
449
30.71678908967399
450
94.61632535748072
451
87.53351489224967
452
2.9807886507665082
453
32.66556842506193
454
41.231681728820476
455
47.13849088695689
456
11.234315066763767
457
32.580920967338656
458
43.27163491219033
459
66.18391954569499
460
79.67383968931628
461
57.81941266630993
462
34.298760793323424
463
46.29959498730667
464
34.60673763880758
465
56.8471855843586
466
12.505568105235533
467
27.697292029006526
468
2.8066007269536897
469
67.26002327156614
470
7.95792653275239
471
36.64587882568778
472
26.44327330653423
473
48.1128361686724
474
34.406228541036135
475
5.96707533719708
476
78.04238367806647
477
90.78278448074414
478
33.27231700883594
479
43.95776253770081
480
32.154613980645365
481
61.35984049917009
482
38.2209997053371
483
61.22671393385929
484
79.02833658809469
485
81.95305325127748
486
50.150747615683045
487
64.64073890447068
488
84.81744204490285
489
28.32041960915681
490
14.488935604377584
491
92.90719113973942
492
12.719533745742517
493
6.874640557355816
494
35.35280690376483
495
99.27685985322158
496
19.92786986447269
497
75.38676164068272
498
44.4380739446694
499
83.43327596207243
500
36.393791496618086
501
88.60404147224227
502
66.42289486269145
503
36.84152395878761
504
13.134617882397503
505
82.51806044247556
506
87.225731154398
507
93.66162905054686
508
0.18524307541499807
509
59.163548911512095
510
36.63133765586751
511
72.78868352575448
512
77.28004378372937
513
97.59796778198098
514
42.59998197113563
515
55.6638656842342
516
13.964850687540942
517
96.10636840618825
518
1.0007191331034893
519
69.20754997032074
520
80.07716538170685
521
45.69565719302117
522
31.560364270428142
523
33.55772473029276
524
62.3959678785196
525
45.586856117626965
526
58.49553554711817
527
90.25399580278614
528
68.7507979011468
529
97.6835249996414
530
62.59600813465514
531
48.089454144767565
532
16.993081993297455
533
58.88900863899976
534
0.453298153790227
535
71.05971926376886
536
12.970914785822007
537
87.66474218387488
538
76.07926485445351
539
85.6705433298454
540
19.011835607678286
541
94.36633499086378
542
80.335237060752
543
3.3223140357044545
544
2.4063787820274074
545
93.663734047001
546
84.39299090367824
547
37.57192260364073
548
31.99849175174615
549
61.746231160028145
550
84.87468108529337
551
45.779388313824754
552
60.22716509109281
553
21.03271565035094
554
50.36958269675884
555
39.978765312278405
556
87.82693957232512
557
10.751967472640622
558
11.701302003897728
559
92.76981977881485
560
58.88318385496779
561
53.027438216332015
562
71.61992238483114
563
10.609004644709952
564
75.05137321684009
565
90.99544714866326
566
83.5192733674618
567
59.08532726319149
568
49.48784090397225
569
58.00522306671806
570
63.33033273467712
571
2.5986969547392325
572
43.402769642891506
573
35.093830682442196
574
53.91755238108917
575
64.31540467540778
576
41.134471597986135
577
67.6984583954456
578
57.10566781923995
579
21.357359296913568
580
23.25729441061761
581
41.96316427997255
582
84.89032831698647
583
24.888834481572218
584
91.47374720209488
585
66.01664215848513
586
58.4366845024045
587
75.09640031476893
588
83.90475296651874
589
62.24213307459574
590
1.145833293365195
591
87.01483152419375
592
94.88019682360283
593
52.830133712040386
594
30.369804310475335
595
54.73376846279503
596
79.44521424064294
597
12.799076606672099
598
51.28158049456211
599
58.72696518744076
600
79.53596893834677
601
72.18869971681913
602
95.95737565531337
603
63.87795234682828
604
56.14193226144608
605
72.27535972181786
606
30.904207038829078
607
24.233026172325445
608
49.75995243642251
609
19.428017684686328
610
77.06660188091794
611
44.59445194883202
612
20.05870378609672
613
34.61827437121051
614
47.77199774487666
615
48.77387338753443
616
34.9103819603143
617
66.61722492061752
618
12.125227962079943
619
69.65783391408807
620
88.80975710315835
621
22.556540881635435
622
34.0382602980998
623
7.1944950196000335
624
31.189057151294886
625
70.80067400108899
626
20.38210885858337
627
96.99252468448805
628
76.25032565163865
629
87.97158492383629
630
35.673645203905004
631
94.43029768144994
632
47.675296851795814
633
54.48700116827412
634
5.260818663748434
635
7.005433049264564
636
83.9360142793252
637
51.11766545236409
638
34.14554601133878
639
1.1118599382034078
640
92.91775713455762
641
72.838614391944
642
14.384373631903301
643
68.51355664190902
644
98.17910060852668
645
55.644032080661965
646
80.43270374181705
647
62.491163364193895
648
63.41222899085317
649
7.0147752787253275
650
98.84925430060986
651
3.969678110719066
652
16.529869646383855
653
41.37218939975461
654
46.45314579074905
655
13.892529234447625
656
20.293555724464508
657
48.12134656288478
658
39.32679159659197
659
49.68927792457434
660
52.51113379362449
661
61.78142211736342
662
23.983579511564844
663
10.891304551978266
664
65.5697836485326
665
61.22036967253807
666
31.570086494972273
667
31.78180306899614
668
92.43404458456503
669
98.1556965237775
670
26.148358083953262
671
97.42348155570185
672
54.22666601539247
673
43.852565712136574
674
48.90457207919147
675
3.4893940071737517
676
3.123335646245995
677
47.34505714357251
678
71.55616644296752
679
30.029324957712454
680
3.5306747547063533
681
18.52592062983961
682
24.280336162210116
683
14.63622182700025
684
14.380111405142959
685
85.09466760712046
686
56.16251581354079
687
91.43418434920038
688
85.85859301134995
689
23.6234426952187
690
19.464336413166784
691
8.891535713625832
692
25.01029942265597
693
31.894573622788936
694
42.93621772386905
695
51.66956676881125
696
16.381870625512306
697
92.18325082072768
698
73.95064924689223
699
69.54955106188837
700
6.246918885780406
701
73.30337955208242
702
24.407916356448666
703
59.93763569685695
704
71.93383268279973
705
33.004078127094836
706
51.16683450156363
707
59.52932828701884
708
1.3942645077109739
709
11.698897842172551
710
38.1788434047035
711
75.42222264504773
712
2.387859946869497
713
53.52936642240621
714
24.554590689511222
715
26.297727199439823
716
45.522136758097545
717
51.40893674103815
718
40.46789143032431
719
70.24952431067891
720
20.874705063131394
721
88.96303375986207
722
71.1027910420999
723
67.41858923722887
724
54.03824822508538
725
44.17534291913211
726
67.7751467924554
727
62.80155283848998
728
84.16703130854644
729
27.07006615705968
730
64.91104011596931
731
77.4312748903743
732
53.96693330356813
733
46.90441003355783
734
41.73999826041893
735
64.58552035476825
736
99.5593087187965
737
43.115034268236165
738
88.36187470916813
739
21.761651240924785
740
56.76226791498604
741
68.65680934674953
742
97.27196163605385
743
48.86224543348251
744
19.57120875709223
745
84.39169279784652
746
3.4797287378976582
747
8.36869197088892
748
96.48376594117522
749
8.830116927793874
750
39.03232234125649
751
74.23670081919973
752
10.802598828280818
753
68.79675823150477
754
51.054794018039615
755
52.829800408205394
756
82.1627091587102
757
13.487131546348818
758
56.34474151220654
759
21.413889159292243
760
8.268281527810984
761
86.90099659563101
762
70.10989585712545
763
57.567954632704996
764
38.18731386409069
765
1.7830242596837742
766
51.612928300923265
767
26.32307293793127
768
91.54058812485528
769
21.97077270118659
770
55.28851465586315
771
50.92385748301685
772
31.534799171853333
773
39.44453391936512
774
62.32354553231937
775
17.813581872218652
776
44.02796893397321
777
27.393130743021555
778
94.7420716798216
779
56.776152488378905
780
9.678514727417697
781
61.25426226409802
782
81.71241341943653
783
93.12525003998506
784
81.71768038886046
785
25.957594218061374
786
56.094607965213875
787
90.41287441020219
788
97.99823379494079
789
69.49322247554555
790
8.172185190552517
791
89.33665012025217
792
62.710721158322094
793
20.44776471961186
794
13.06298420513441
795
1.357245336238655
796
30.521749345421423
797
60.294785015661766
798
78.47960179915306
799
33.994238855705696
800
13.877122333421866
801
29.995863612583694
802
30.310717914204567
803
8.85094105377664
804
12.825897731780412
805
54.863093411030626
806
64.92045263180098
807
83.12551331789358
808
35.95972837972631
809
91.65333712510899
810
49.1135939136198
811
0.6979468403525146
812
40.925127459590406
813
37.50913925128949
814
41.39035907065023
815
79.83935541443124
816
73.45458654958233
817
91.63065470524796
818
41.41515623891472
819
91.17214751497013
820
24.975738385238987
821
27.45756683195483
822
48.549516021276176
823
91.71664410236052
824
60.5960687823602
825
15.659415962851686
826
24.850239119122698
827
58.691740340936086
828
91.62392300630246
829
36.3773646712321
830
13.109522418672947
831
10.194265808286563
832
79.77486837451683
833
32.9299027508018
834
56.314617562498285
835
8.963649150915131
836
63.825735920971816
837
88.58955530932106
838
1.3304037845923822
839
20.145683730767715
840
93.7169649000304
841
53.05719096063483
842
46.65894041288535
843
34.301006678630216
844
41.96710896520497
845
5.905017522998213
846
11.805973495294907
847
72.86114511657654
848
37.75171977962914
849
20.528959331830087
850
64.08504056800246
851
64.81686782159201
852
35.11202990880846
853
84.04555161892988
854
37.615644028525395
855
20.630671540087807
856
83.49718629361037
857
36.08809867389816
858
18.822784478670297
859
32.19727669863681
860
16.207040217083524
861
12.601324173671834
862
52.92082367291352
863
96.1329760974628
864
10.29080314219516
865
19.503277427000064
866
46.665551894962334
867
91.7567973275358
868
0.07014070197545186
869
15.477827470724614
870
4.084009223553419
871
44.83338772483453
872
45.693559073505305
873
53.180558764595645
874
33.94247296057481
875
73.4796315315123
876
67.99224939349024
877
13.785446044175242
878
10.388725793181752
879
43.593960079775876
880
61.39577458630756
881
71.06921249786437
882
51.50558440191276
883
57.74947040777481
884
87.77933845327847
885
38.12479016621035
886
4.4383937153282265
887
63.6988384897328
888
35.85261281452829
889
82.31484604266117
890
90.3099730536017
891
96.47119328114825
892
3.0633654038862312
893
42.2208924133217
894
67.31231166681881
895
61.498055701181976
896
19.97747230620588
897
44.11295822067351
898
16.165085603256678
899
25.28751800760126
900
90.71012624063097
901
94.85942640343102
902
38.55681139908983
903
4.8728515398789085
904
67.22134027627126
905
23.21608411396777
906
86.23529589401865
907
37.59377392022263
908
10.152164326053404
909
52.07803266288433
910
6.089762029822154
911
68.72564772787851
912
14.366268731578746
913
10.547596746630127
914
94.86786172903162
915
16.053869244948427
916
93.47484847780059
917
36.565904010020176
918
6.096526223011467
919
57.69781096565533
920
24.361094515887082
921
78.37535839960594
922
41.32641243526084
923
42.32062651376693
924
50.08374595425256
925
76.22475192210663
926
87.99548883951326
927
39.31833030959915
928
27.527505323509736
929
94.49828062692038
930
37.008055172400034
931
30.663568978573753
932
84.78142833566321
933
78.84427125462292
934
24.551301364371824
935
95.78650693548406
936
22.464604766831208
937
32.89896715293267
938
94.72227924222855
939
56.2073248478817
940
53.08182184902518
941
44.845227014854686
942
72.21394853686867
943
27.591829256844534
944
22.98008227169861
945
45.31554118711617
946
67.60972775771548
947
73.48372862426771
948
2.5902274684423077
949
45.04330216546235
950
11.761775274193297
951
67.17411137228943
952
62.37611778908525
953
83.18578290724291
954
30.27899879089584
955
46.00078412958701
956
74.27714841625117
957
15.386817494004724
958
24.326585530078205
959
85.82704322377072
960
91.41815615430016
961
84.41671515530943
962
19.739589317241602
963
32.5315945728689
964
62.47403326034022
965
45.621454328438446
966
82.87896086505572
967
2.0482833389607547
968
31.314660965572372
969
64.43274894097961
970
78.70910309735935
971
0.8263832697311568
972
57.41907148785008
973
63.83510231044658
974
64.25189174322718
975
24.539197091213026
976
68.03597759787746
977
75.95550817042997
978
68.87284400937588
979
64.4507453859563
980
19.181163906806155
981
43.835959281326495
982
11.780876037724441
983
88.05739146682761
984
99.30043981075148
985
26.96849362414664
986
46.6739509905725
987
63.45323270738275
988
56.7901935799967
989
87.31701666816119
990
3.6385963862058723
991
65.32514554780639
992
70.55583540985636
993
71.3196631332504
994
19.212147672855405
995
34.5654185142769
996
11.401709956892658
997
57.76003134797225
998
6.942292880605683
999
63.19687950418009
1000
61.284351264938685
1001
11.415082762492501
1002
22.82927702672599
1003
41.63755126786152
1004
67.3241794750702
1005
68.03213600403002
1006
22.711977750207524
1007
36.2887829107765
1008
7.959140711094481
1009
77.4567773585036
1010
91.95972017537049
1011
62.01294195199243
1012
39.73689220013302
1013
48.62820310812229
1014
51.757604796971044
1015
76.27372357582766
1016
74.98062096999462
1017
72.6778779019682
1018
10.823834675804223
1019
49.54417515120741
1020
12.926677030536936
1021
48.51207058453155
1022
36.57330671456953
1023
60.04457334250499
1024
9.92063095199659
1025
99.02822754991941
1026
65.54254644641846
1027
19.954320745635545
1028
27.87154260346195
1029
45.50979271829612
1030
59.31684508756392
1031
64.9490534243286
1032
44.40258017259704
1033
2.7635326309556563
1034
39.25118518932356
1035
29.246201286262586
1036
42.999361410405825
1037
68.20799232600841
1038
0.9523988681582551
1039
84.29923946082974
1040
26.94570200781543
1041
4.391224204864342
1042
17.790736974913614
1043
40.86292545865295
1044
16.949723944398865
1045
56.31048743748065
1046
91.63479514876882
1047
1.3588668523742742
1048
99.101550217602
1049
2.4261127241638314
1050
98.55460011175595
1051
2.3027330128692514
1052
87.16711093489454
1053
11.406281172518218
1054
7.4133221839548735
1055
5.0115266416355215
1056
51.21085419703447
1057
65.40899768375849
1058
20.06898742185026
1059
76.89132058949666
1060
43.15345610299721
1061
15.102056023634237
1062
93.33325008662712
1063
55.31289473579888
1064
19.108859218409624
1065
51.64133640290193
1066
54.88510053243781
1067
1.414770560493106
1068
18.208303372436063
1069
16.4723022071391
1070
18.013187976210844
1071
32.13013316576041
1072
8.107279789981236
1073
21.08909880793418
1074
33.361182796560705
1075
65.31619494530224
1076
48.48458552040488
1077
15.780184785593566
1078
89.77638288711236
1079
25.07156370809229
1080
55.580985688928074
1081
28.90894439748478
1082
90.91260700093198
1083
32.159221736356244
1084
73.18824384989612
1085
96.42230381097492
1086
89.41410635150106
1087
47.90974884074718
1088
68.48755997017416
1089
15.049834102504134
1090
56.30810223814245
1091
49.06145581097321
1092
74.74975684584211
1093
82.05044101567408
1094
99.65925259120696
1095
85.70111388588683
1096
97.14782541184532
1097
29.383196086479867
1098
23.590229163107157
1099
14.801032078021503
1100
82.79570724466646
1101
20.82344357538295
1102
36.44824580397241
1103
7.805216253542957
1104
31.61550030566773
1105
56.814812587439036
1106
75.19827879129312
1107
2.299402722110433
1108
90.74853967111953
1109
23.74235560732495
1110
12.049428907631832
1111
5.006811285714852
1112
31.964079308034698
1113
31.831480536925195
1114
48.871664570554216
1115
56.18344415618306
1116
58.88260921473669
1117
9.021933771785239
1118
85.13601260100634
1119
33.943819869553494
1120
28.819081633595754
1121
56.93564062469979
1122
65.91196425766302
1123
11.13006503334778
1124
2.664652983225313
1125
29.45164646452246
1126
77.88173996875183
1127
77.04431826197256
1128
55.46377646319728
1129
64.42106107196948
1130
63.38173721072019
1131
1.6963852826051729
1132
90.20681108215162
1133
84.699323515399
1134
65.15737603632812
1135
51.17570670334227
1136
97.84653753378386
1137
85.94271341241799
1138
97.8182207294091
1139
59.33864293239077
1140
97.66032831317514
1141
45.510540234592455
1142
65.90615291541138
1143
23.209149695457874
1144
73.81791070505724
1145
19.333954110992725
1146
13.040052660959633
1147
17.322963506641475
1148
96.37803845328602
1149
41.756888565621864
1150
91.77630006248528
1151
15.702421424639269
1152
77.9255636068375
1153
7.12415602524702
1154
89.62513955000844
1155
69.23107350644221
1156
70.67379444478932
1157
91.28624377346785
1158
33.08877315459758
1159
10.904294653695024
1160
53.09520786744586
1161
66.2099042842462
1162
18.637781042374556
1163
51.76412330934096
1164
90.00692773204021
1165
71.52816229068438
1166
87.21831334019188
1167
86.28357601622682
1168
75.525639930254
1169
33.13287302269057
1170
67.18319589796974
1171
47.54773452700164
1172
84.41989038891958
1173
60.80753032565248
1174
59.46596899545285
1175
39.78593274253015
1176
64.12601554563516
1177
14.417520642062831
1178
28.367564048152637
1179
28.64138276404432
1180
97.05720127101446
1181
1.3195832096542182
1182
91.5011871571582
1183
88.02163088690274
1184
50.82348978935865
1185
56.421729722208205
1186
73.24170546583036
1187
86.45526285623897
1188
12.593798427487258
1189
60.71944414418162
1190
97.45162240869566
1191
45.58729357777162
1192
73.06932949902468
1193
74.15350466823864
1194
47.306542321113135
1195
18.777731884683135
1196
85.40096594525572
1197
94.27927028766251
1198
12.718760704482957
1199
18.724823947365856
1200
74.87165903684529
1201
3.506862901924046
1202
79.15842868298036
1203
69.61649865081301
1204
16.277908403203167
1205
34.566154097959455
1206
85.59750963473935
1207
71.52062286903038
1208
27.682920193336113
1209
66.37003044728803
1210
93.85252180691236
1211
42.55663181207897
1212
51.57713887386706
1213
60.593919278830214
1214
66.77786826206645
1215
47.84819624001734
1216
7.4702168259797475
1217
63.05910230648683
1218
48.56228448435252
1219
33.33856206865736
1220
3.5517901581699096
1221
23.40189293653858
1222
76.80679450417361
1223
57.25730205441797
1224
89.29661387155441
1225
31.530230046915076
1226
33.11325300587643
1227
52.35915730655187
1228
15.752978682796147
1229
30.01382980264885
1230
56.58841225147021
1231
58.01276553168461
1232
45.74158740322075
1233
37.823537973810396
1234
2.9691997020106387
1235
32.79904385228258
1236
22.305324040256192
1237
12.73006491378622
1238
31.000660547641
1239
95.48606113639927
1240
60.4886737643769
1241
87.19181615319744
1242
37.24882684875143
1243
45.07924752910937
1244
74.88878563873767
1245
35.706057938409685
1246
40.70654564837803
1247
79.10281434165454
1248
93.40850476461965
1249
70.36718793415278
1250
39.35107694330041
1251
63.35032841504563
1252
36.25491869672766
1253
15.770440559108378
1254
22.238063268656738
1255
6.049337617922468
1256
58.465319438131445
1257
84.41881886168308
1258
22.76722817456468
1259
54.717092678364246
1260
64.10567752189232
1261
59.435681671693885
1262
41.43098983169069
1263
64.94130805123557
1264
0.7750879408248146
1265
92.65481918065618
1266
49.65788617096957
1267
86.90204272486429
1268
34.16288246530163
1269
43.05450788663181
1270
10.288597363965513
1271
77.65775397167782
1272
84.14337310429279
1273
13.021464191547949
1274
14.772976030081143
1275
75.05064828754249
1276
76.2565164884464
1277
88.0752082501882
1278
42.352467752686685
1279
62.54342744862934
1280
25.411049576677758
1281
49.45286007152896
1282
92.2928926512441
1283
13.381622789737978
1284
22.259902914083863
1285
8.348925653105155
1286
26.658503478351157
1287
27.182718857891743
1288
36.93601873449401
1289
5.624157814969721
1290
88.16890965044168
1291
62.38526004524585
1292
89.69996680620443
1293
31.44209588167799
1294
25.356272540816448
1295
23.948235825679486
1296
63.53902215918159
1297
45.561471964153
1298
65.54098774224812
1299
87.27301637152628
1300
49.87065613707132
1301
20.90711517236441
1302
25.069798847680104
1303
26.527155815946458
1304
25.241700058064897
1305
90.56160603921411
1306
35.81109851429952
1307
68.38142819723353
1308
54.27765887645879
1309
51.464405420436776
1310
97.07795291967885
1311
10.628479881439501
1312
2.125011579596836
1313
66.87472271164579
1314
32.95017840212149
1315
29.233498831185422
1316
18.242551020627197
1317
14.048966099446613
1318
46.39252214442359
1319
47.074349744070446
1320
22.636134345297897
1321
43.603064355679145
1322
13.616874238280886
1323
52.96068694230699
1324
85.49448710924455
1325
52.674566395793065
1326
54.81212958928273
1327
40.4784879247148
1328
41.67198026483842
1329
25.268891079141664
1330
50.666160165971604
1331
82.78861775168197
1332
22.577576443431692
1333
60.0686777910355
1334
48.03010668176205
1335
71.71494022436411
1336
19.767451662195857
1337
88.5046964195618
1338
12.625985055827416
1339
27.289621919097595
1340
16.90203941680527
1341
84.0312909104871
1342
41.87442841849078
1343
27.380224235165674
1344
39.716548702303335
1345
77.31889984461804
1346
46.72005480298746
1347
16.105273044106237
1348
77.26729983868248
1349
21.470725066368267
1350
47.757885701561754
1351
24.45200432368989
1352
21.954469282456735
1353
96.3900740075276
1354
8.01488405629186
1355
76.84199374626074
1356
60.68513522847021
1357
2.069581019579314
1358
42.416550564212926
1359
63.347442213500514
1360
25.028820573535093
1361
66.8428753490923
1362
2.2692448534327614
1363
28.842906459953323
1364
74.3309686897708
1365
88.53393272238418
1366
32.01472453081738
1367
67.58429965094267
1368
42.48807070931468
1369
33.95879187635108
1370
35.064126597370525
1371
14.539004123921217
1372
26.451505554555187
1373
45.378895900077666
1374
65.6944549304336
1375
93.2479832594171
1376
32.51534565282827
1377
41.27481934008637
1378
84.79134602371143
1379
14.082820626139437
1380
25.05674699692999
1381
53.20370276154057
1382
78.6477594899929
1383
16.467604340765263
1384
41.63573773601128
1385
10.52321316874625
1386
42.07891339871782
1387
13.967672458873325
1388
48.22459200248762
1389
70.40940952088437
1390
69.78967606387255
1391
32.10419232002759
1392
8.825194393740976
1393
91.86541918539099
1394
83.23130179328597
1395
25.33563281815988
1396
34.84608000933373
1397
69.31233994305775
1398
44.11027857098952
1399
21.854206862831326
1400
61.34917519519443
1401
73.87333270040021
1402
70.26273535831704
1403
72.67735356091612
1404
69.63946250998133
1405
98.60642065288089
1406
74.78375736971171
1407
74.9714478735931
1408
38.65915239915394
1409
67.71098081091044
1410
95.10160544885551
1411
98.62684335482105
1412
61.261174556657075
1413
49.12751514567017
1414
65.1127252582894
1415
69.81049871803788
1416
5.675094707411676
1417
4.969781225009684
1418
10.544171500613853
1419
55.55436437282737
1420
37.34186838217727
1421
24.872877221190347
1422
15.385827214536164
1423
49.39483540583212
1424
41.78207277283724
1425
13.610482127413558
1426
15.535641350154483
1427
79.6605268101852
1428
5.275612116435546
1429
46.22886281659346
1430
24.726824748216668
1431
49.21270801956846
1432
16.86909260864735
1433
61.46492671889487
1434
87.35677970670929
1435
68.2747458110081
1436
52.59040314467275
1437
37.3600187249074
1438
83.01326501736715
1439
60.44393830177069
1440
90.73830514119618
1441
81.75075067148134
1442
78.2941536230108
1443
6.061160198831117
1444
85.72808493146773
1445
74.71267599886232
1446
32.94283033114206
1447
36.82074937191102
1448
97.21267495602537
1449
20.052138995358128
1450
19.372143556547627
1451
10.835145560694826
1452
31.061822072026246
1453
98.58615982109556
1454
7.325541520347745
1455
78.32574987842476
1456
99.2702900071054
1457
67.21977812663805
1458
98.7248504753022
1459
94.69356354751446
1460
46.97925294208692
1461
14.724757796626154
1462
71.67990260261784
1463
49.93020271381749
1464
26.533390123600608
1465
67.64313196711032
1466
7.186020893860623
1467
61.16183002137784
1468
20.85943820017664
1469
37.88357558497495
1470
27.21113265624321
1471
18.575707303372525
1472
31.44025957624459
1473
17.348138197053387
1474
68.67510911808189
1475
84.06097893026032
1476
49.77173270917291
1477
54.321374889163984
1478
54.24960585722381
1479
16.602411439450293
1480
25.428108476316226
1481
91.37348115937111
1482
97.9576216810163
1483
38.79781124632279
1484
28.724696895731405
1485
5.17354730588675
1486
1.2276031252456576
1487
64.82687347624916
1488
81.45506517250318
1489
64.8785547724732
1490
53.357832700879534
1491
81.78126039973942
1492
95.29320566191679
1493
17.658346621231324
1494
49.272543271808345
1495
13.472718424167274
1496
14.189403673584932
1497
17.436229301849636
1498
77.00203078999172
1499
98.66811048287892
1500
4.451826909169309
1501
36.06948909782254
1502
7.494778469754593
1503
84.15720652346084
1504
74.19413049739636
1505
34.96357493583724
1506
40.170412322520036
1507
67.14119046114729
1508
32.44265386597753
1509
29.508258493868222
1510
19.048098840627546
1511
21.136813877912985
1512
17.435070620223392
1513
48.743628428379935
1514
36.33572879081177
1515
4.923145647587157
1516
33.50565359363474
1517
78.30824100619495
1518
83.0410689770683
1519
85.01499215698226
1520
36.44053743901444
1521
75.99137289061613
1522
89.46683062530482
1523
98.72894469527029
1524
98.29971958673994
1525
66.10580080072633
1526
22.377319589995558
1527
47.11520620208719
1528
64.44077186910073
1529
51.41701475892063
1530
70.17524426506674
1531
34.860231560217194
1532
87.84250946927222
1533
29.509453359985717
1534
52.602908902141365
1535
67.72237258707015
1536
88.81521686335785
1537
64.23969449362204
1538
37.28286897459474
1539
77.14464120080322
1540
41.79719833342883
1541
42.32121974392823
1542
31.838909015181404
1543
66.39583596645818
1544
35.17579831939841
1545
40.10479326711891
1546
47.38895180061182
1547
62.92321752364931
1548
84.93429503222345
1549
36.26312271897418
1550
96.8773072851177
1551
17.557014457202456
1552
8.414294306947468
1553
32.35789247440346
1554
0.01446218221994311
1555
12.789048616666577
1556
80.59663036635057
1557
85.16192051753602
1558
15.518365267165246
1559
29.554799478508276
1560
2.0419658171647814
1561
12.128569931400046
1562
10.90196723867477
1563
74.78024958361416
1564
4.995638399280922
1565
4.545236947736453
1566
10.227555812181022
1567
90.4119031352559
1568
12.149531711123574
1569
71.67712461185552
1570
31.049167246104282
1571
48.73041025601389
1572
41.167059957661515
1573
43.602167969390806
1574
33.19021715059627
1575
88.45519908154694
1576
17.315632011945446
1577
80.45737877046021
1578
54.05418413179689
1579
61.47964927265175
1580
16.414205197203913
1581
71.46154506263484
1582
97.84202293920703
1583
41.03325516528344
1584
10.791909156459145
1585
58.348648557878654
1586
79.3507528116265
1587
88.64937913652297
1588
32.066878214102836
1589
84.74092432940036
1590
96.95341381230647
1591
89.5241224167654
1592
96.29282676396662
1593
55.51005507216843
1594
23.911426825691873
1595
43.68392448450881
1596
59.3841117580393
1597
88.31946749801658
1598
62.346108038965006
1599
43.836552605181886
1600
83.71833393130032
1601
53.310255776395245
1602
99.99692351082157
1603
79.86210190493182
1604
0.4288127916363127
1605
26.2878172987523
1606
46.319816711374614
1607
84.60774096347835
1608
46.13753558994874
1609
25.785740659774923
1610
1.5297387914735117
1611
75.98190577345221
1612
37.74247514805988
1613
65.02810730354483
1614
29.867292241934052
1615
56.30071787670106
1616
24.3614642684469
1617
26.080830441620584
1618
66.67016055297054
1619
1.4214047171616562
1620
21.64804587553022
1621
55.377218383485285
1622
87.75582739835264
1623
9.404544993887997
1624
90.43308175831211
1625
87.32248170734846
1626
9.1727875818012
1627
81.27899690262733
1628
69.0090963050298
1629
25.826412191551807
1630
65.55333588962372
1631
74.94039560018201
1632
6.362661906076472
1633
52.38302659006624
1634
36.10170017326271
1635
7.296120562104136
1636
72.27343434886264
1637
83.71046500003078
1638
48.67714290801612
1639
79.4766918455704
1640
39.43664205150307
1641
71.98398839484213
1642
94.4823960966976
1643
65.265571678958
1644
42.62923977595228
1645
26.339439005640386
1646
28.543590562902722
1647
33.85637494163682
1648
20.42808464878243
1649
35.594073212030096
1650
14.468614921801281
1651
74.62853344215684
1652
36.10188802879708
1653
89.02618835476449
1654
95.89662460953559
1655
53.839483157903665
1656
56.03689247015073
1657
24.57449307285292
1658
41.60219643374856
1659
60.96346864581421
1660
36.419570405002354
1661
81.96275711837875
1662
16.393432390857875
1663
95.86412043467344
1664
31.887869009836443
1665
2.024709517747547
1666
75.74404920195862
1667
7.069952076493891
1668
93.47583966046297
1669
92.89877615483167
1670
68.52530659110066
1671
16.128968837263567
1672
67.41477121306704
1673
78.78175089550008
1674
59.25442047878813
1675
53.35063504245365
1676
41.21719854287087
1677
57.5749780921015
1678
48.95182930617078
1679
86.20044778511058
1680
8.958476695422956
1681
20.02623175175221
1682
82.00054423802997
1683
43.194400461085046
1684
43.783867018143695
1685
24.86496940518834
1686
75.32651601184912
1687
23.347672535580376
1688
72.40737457930948
1689
81.94815237404224
1690
95.76980116003676
1691
34.06388203227605
1692
43.73184644350666
1693
68.57839148624925
1694
41.69203256125703
1695
18.808305170205397
1696
71.70813862067848
1697
92.9256835929428
1698
55.666529213165624
1699
19.990446892146498
1700
11.164417194882482
1701
22.878561254361816
1702
6.523127027784192
1703
72.18844683789536
1704
94.57496716585496
1705
18.669969457916746
1706
31.070605972376264
1707
36.17976833622557
1708
17.60115894505676
1709
43.26775374990465
1710
18.495382819413397
1711
65.19969057987441
1712
11.725446376425786
1713
75.78915661274344
1714
53.73590332671778
1715
41.43113941552723
1716
83.41267703893142
1717
20.09324035723986
1718
10.057934135577295
1719
32.93644847316237
1720
30.971133928033044
1721
83.22472098709827
1722
95.60679159589085
1723
99.07360854605128
1724
72.64910851611471
1725
96.52718326086709
1726
13.888255407888995
1727
15.896695514153059
1728
32.49103675736444
1729
66.01322537827333
1730
93.93075421954345
1731
2.122094640688532
1732
34.09055322919874
1733
67.97355565808878
1734
82.3071576002431
1735
0.9492417439329937
1736
46.61603461464148
1737
50.826668691647434
1738
66.2452937647771
1739
13.35660686248329
1740
12.347560977444228
1741
64.85517566736905
1742
14.732120145964256
1743
84.4506668412549
1744
60.45244311246585
1745
17.744492613609953
1746
82.81721202220554
1747
16.0276750992254
1748
77.83978359637814
1749
45.7339958882778
1750
23.247065320467662
1751
15.71503091998343
1752
64.67280006582091
1753
97.71043256257869
1754
89.11242779970725
1755
95.89111998361538
1756
49.48093558901099
1757
52.71776709958264
1758
91.36672990414101
1759
4.039497992101737
1760
76.80202783589566
1761
30.1272839072228
1762
95.87441145892383
1763
0.2753184778650941
1764
8.898170004005411
1765
6.106208365625743
1766
6.07372379757658
1767
97.48899849908331
1768
2.327056217585999
1769
20.042741240266558
1770
79.38941843009684
1771
44.88403647750662
1772
30.01400942121235
1773
40.22979980237411
1774
68.20643565926953
1775
66.64304129568569
1776
19.958081680140626
1777
59.37943906645556
1778
59.516585104075745
1779
64.03799115879441
1780
72.81894396531305
1781
7.434329528221751
1782
11.275878953201445
1783
51.50780223402847
1784
2.3695527162128083
1785
1.6622883631261298
1786
48.06106561179975
1787
25.05828083464091
1788
15.162838443157057
1789
2.1643222268037055
1790
83.78962581043815
1791
54.796648160785985
1792
8.749011660243545
1793
4.696258978643309
1794
85.06829300665324
1795
52.49474744086443
1796
21.393249349663932
1797
82.0984562599844
1798
75.16094965930895
1799
89.78216163553839
1800
10.481937120675934