Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_mux_test / mux_test_mux_test_input_values @ 0c9457a0

History | View | Annotate | Download (19.5 KB)

1
64.48858718071436
2
48.5397598553882
3
8.269612827216156
4
32.616407555355245
5
73.03034773613412
6
18.7513122489093
7
95.72731357918141
8
0.8181755551750602
9
86.3244759129011
10
30.778212989613106
11
67.95238677577395
12
62.9060982005487
13
51.36435272772706
14
71.4829312339077
15
45.885694957834986
16
44.42867156959478
17
45.86739111646325
18
68.01922220087995
19
4.682862432013646
20
35.907861897411664
21
76.62820054237088
22
92.75994935559152
23
50.096556070820874
24
45.339854460143634
25
37.80340658925231
26
86.09799398493507
27
26.66083398882502
28
3.244518973550714
29
11.467613858610104
30
31.82790820788807
31
53.54244177329961
32
0.13721397071132513
33
73.73700900554326
34
70.30423013357093
35
35.19347969045351
36
69.59739317690693
37
16.33915475874108
38
75.6856556371689
39
60.83432016090799
40
4.0342150542410415
41
5.714532888493773
42
55.31257092713646
43
89.31529251135204
44
4.800157847019859
45
79.56746011135071
46
51.62869537950694
47
14.050088603464406
48
23.479442546376493
49
24.24098428989102
50
40.04588869621594
51
16.48343157375812
52
46.978798153828386
53
85.37245228530783
54
19.764462818076154
55
45.9500685616792
56
15.473938821772816
57
38.993415342777496
58
88.7995803673244
59
8.801652092371725
60
39.31585822855622
61
90.56964433369559
62
79.32766374087745
63
10.322650141742418
64
98.67686917121317
65
75.43395113031538
66
4.9549617863971385
67
69.22592581343862
68
68.01706340760472
69
5.646671079631716
70
37.62375821720699
71
16.41316426868702
72
6.377657460782348
73
45.52558707805565
74
88.60990423928257
75
97.20486577818916
76
94.05848715905891
77
0.9191555567099496
78
15.428771921592121
79
19.389144178458263
80
76.41268434292971
81
75.75392313302255
82
14.454830119118844
83
28.20810090554967
84
96.29232832581343
85
83.46905639211283
86
87.67351627855302
87
43.79509061743219
88
58.10470026642718
89
0.6579015277733857
90
91.2221880432362
91
66.59570602843797
92
68.48948092091138
93
15.56860185983886
94
83.24035579848993
95
41.949854020539945
96
41.30307312220343
97
55.07271960825081
98
89.03756087731031
99
76.28182766315378
100
37.896982225670165
101
70.2929569371521
102
92.70066432775678
103
14.23978307446989
104
37.60297285316953
105
23.288016561084078
106
46.00048003075068
107
18.645622322046187
108
97.88848938869104
109
45.024717915826514
110
57.821055684098766
111
43.26073282053626
112
68.82165682344285
113
28.324485402588916
114
90.32312406796544
115
52.142636473098335
116
72.28588741266158
117
78.55339952774457
118
41.66656541824371
119
18.762091389441547
120
42.809951569562
121
69.53199192878692
122
39.35499511605423
123
33.069744211553356
124
53.93016755117698
125
42.47300094078361
126
3.128857996953638
127
55.345925228043605
128
21.677056731138467
129
41.7123750854942
130
61.82170864526122
131
81.93677994286011
132
85.07971253010214
133
2.5807924877498833
134
24.707627952687837
135
29.874371362974152
136
12.506818192544056
137
93.97001865343859
138
14.606016179771586
139
4.897991827817993
140
72.21407471657828
141
70.9804668537642
142
67.37327600070648
143
90.53842051964553
144
35.643574626395626
145
11.49333368972666
146
90.39918831954542
147
84.6964108208896
148
52.82141866792447
149
94.59273474504009
150
51.339039844636815
151
14.541189094111607
152
50.62570584398532
153
28.470273658116152
154
37.550899237455894
155
80.57432289237954
156
56.7477179088285
157
50.776537821723025
158
86.57064204487949
159
16.348824541377894
160
44.84501769079774
161
5.3410105135441865
162
38.44569458388371
163
1.6028863663261395
164
29.685845331580918
165
45.76396860348589
166
1.8616354159352255
167
33.4621637843105
168
15.01007475592704
169
28.59089292830902
170
57.734221960996244
171
42.8841020813717
172
11.382694006404037
173
36.61204554363393
174
46.30253291394539
175
41.66226014947453
176
96.49162531929039
177
16.286806729716798
178
96.74731558461785
179
99.07819693290962
180
86.14242234808854
181
22.37445160686522
182
61.9718689529138
183
76.68292749131618
184
20.62821415923124
185
37.56007736304278
186
15.421050965984639
187
94.70958752558086
188
48.20398650302129
189
75.19637337056935
190
51.677312638515986
191
64.26339093398673
192
5.07014478074419
193
79.23902923421183
194
8.06093946238663
195
95.70452696272739
196
49.57103527636557
197
7.0355542002168425
198
90.57494036988646
199
85.53421151867425
200
7.239872530812097
201
17.834320139364202
202
44.273330100216654
203
91.61356052368163
204
22.872362500974
205
92.71270522424415
206
55.49481884567029
207
29.68956897033499
208
95.9870087875384
209
80.08019469297551
210
11.392196715067527
211
62.971934233693275
212
96.83096907099538
213
94.99437499300024
214
70.80101412036822
215
10.899058695819164
216
21.516000553229986
217
0.23475782536156453
218
19.729396438848347
219
73.25105451022382
220
46.91991091530424
221
62.41141782186885
222
94.6141412394169
223
51.412111814199136
224
88.66465744247503
225
7.342429397572559
226
56.97654256083273
227
49.85415108604906
228
48.78302760202388
229
95.51618927028103
230
94.22459319583311
231
57.80816378391429
232
63.61163137356433
233
0.661648967010442
234
3.086623241151354
235
43.609236177493436
236
26.99869730189096
237
2.2815811895834592
238
84.52456299180568
239
42.34570501445659
240
69.0909710354105
241
96.46102080903837
242
41.96346216498396
243
81.21252178399136
244
16.764737388648797
245
88.34502702665166
246
28.2869982931219
247
66.36332934145629
248
48.19188400546199
249
54.3869749334388
250
31.287187633691936
251
50.07538734224119
252
81.08255095567537
253
52.80060397231667
254
22.119595754289577
255
7.685917478181958
256
1.821832316056382
257
16.60608279198267
258
16.80379798550803
259
80.02804993539215
260
51.01869589650395
261
85.24236040631976
262
16.921978227531987
263
78.98905716621154
264
29.911081678722784
265
17.92516972613376
266
2.4069637649921427
267
11.333034495936579
268
81.62195522175884
269
84.76198107176124
270
46.6741582082264
271
49.07485576473969
272
31.436823458355757
273
50.09233081365425
274
12.340204452759739
275
63.46159247745733
276
41.074045772086635
277
46.60392811651223
278
64.38444339595056
279
44.0122537068008
280
43.34501419368604
281
88.48197204656748
282
6.847534726150406
283
44.08618357023796
284
75.65210583942455
285
87.1811801203103
286
9.02487058737237
287
30.09494613309921
288
23.448033129519143
289
14.367018516973197
290
37.600730728329836
291
62.74214732920188
292
18.081065328573775
293
3.1546826580922005
294
52.28233197578586
295
5.570079991312527
296
7.376303302225384
297
90.98140185741642
298
54.231334413292664
299
38.61168897494309
300
31.854045676941535
301
85.27965561508385
302
98.95348528893507
303
53.090818265340346
304
94.66199229017141
305
76.57595892655016
306
98.29551589687917
307
16.883299530791884
308
9.098887949013633
309
32.7218611184467
310
39.81159470359354
311
29.84590211451946
312
44.0329091133125
313
82.67086218243209
314
45.99992305714405
315
33.13975169301352
316
64.56896004871166
317
38.546976555942095
318
80.77342153568932
319
97.31934356547114
320
82.99474543113239
321
10.707704048440625
322
86.01663160866758
323
90.2277699903997
324
93.33634966183484
325
42.08618176181923
326
97.19429301799158
327
17.633375811311026
328
61.779754426349996
329
25.304371360369494
330
43.715361401992624
331
37.06253078645377
332
84.7655782255217
333
68.88109217440177
334
87.11945251792966
335
68.42777364431994
336
6.740031169798932
337
47.31582400404775
338
88.14101927365533
339
63.82009440572002
340
10.34595520291851
341
3.9111656720293486
342
22.31985303517312
343
53.228673311980224
344
53.26347667802842
345
74.90390712652199
346
83.06474686398
347
52.970894390077305
348
27.960707214931844
349
68.80670222584287
350
20.940490626021237
351
9.260025929159388
352
63.29060573374119
353
65.81932667636656
354
68.43658513711223
355
50.60743459532133
356
70.17097821045195
357
98.75057525194032
358
90.58941202708225
359
39.65080405059128
360
57.51030228730066
361
39.09889455935903
362
83.56784684866774
363
47.519281135894964
364
9.092886635930553
365
39.77178623424372
366
15.695522182555155
367
21.99107541986889
368
17.312665373087587
369
79.38119775200242
370
68.37138990679938
371
84.46850659361316
372
15.445675435997153
373
12.134004597404024
374
87.96331179149112
375
70.19008808601455
376
36.57705010399659
377
52.04379691407357
378
3.9878538147956166
379
21.118695104925735
380
54.3491773538421
381
10.52221494846477
382
3.7526447354506165
383
51.58947717855193
384
28.373431031633512
385
62.365069354602
386
79.12599626165844
387
33.070633705068076
388
85.44863359822486
389
36.73055394539928
390
77.21170389624946
391
86.28473380685494
392
16.655252785206777
393
16.91385628169677
394
93.44529859207643
395
26.45782462067502
396
59.94506226880348
397
85.55452671152524
398
42.991246400080826
399
80.60802774824644
400
68.02181853569363
401
70.37000162347776
402
34.308901971376926
403
84.55493122322089
404
32.10924068367601
405
29.59066493734408
406
47.36828393404189
407
71.72555940835097
408
43.62841621600312
409
65.97893266477398
410
88.23505117251187
411
85.85228711945473
412
27.857480864494267
413
73.64680243270575
414
51.607302663506914
415
85.30252303241915
416
76.32225763063286
417
2.843401824341818
418
73.37513536780932
419
58.04960716822567
420
37.96727647914396
421
74.46606081822696
422
96.3871600030596
423
33.18882163339958
424
3.082384936999627
425
88.25549436872431
426
4.346469324932323
427
57.42199339202247
428
28.51098336101626
429
46.467678650553765
430
1.1217943761099636
431
3.0786700047142013
432
7.8416382583923365
433
58.27206832616215
434
25.747946858087055
435
88.01139915953836
436
86.0856364917806
437
99.20782062882218
438
97.00283231678635
439
17.09718232508707
440
54.76885157671458
441
74.73671128010972
442
75.68666150514764
443
0.09664535264308771
444
40.41702458849067
445
77.26347558999211
446
17.59226555707287
447
61.267105310298795
448
17.08936246932652
449
31.95135273861872
450
65.64365086865547
451
32.395128797273465
452
31.91617659093945
453
98.24257621511737
454
95.79329660888591
455
12.808791184042489
456
31.52198123146959
457
31.200683069310276
458
88.00687970792848
459
87.4493501992372
460
16.766352132830963
461
9.623463310330582
462
41.02748450586684
463
17.226551306185588
464
33.41054145642873
465
6.33244393544965
466
87.59957128158
467
54.651374297292776
468
27.11867911681366
469
10.126825349431567
470
95.44629890033914
471
92.13450633729722
472
52.62815600823202
473
8.59679561208322
474
58.53203853552774
475
20.358363630603627
476
28.974556553975127
477
6.323235396799842
478
93.00524919793608
479
59.775077503035924
480
75.33230269421627
481
83.94779706048745
482
52.70512091050228
483
29.55228894717439
484
45.33295163174002
485
0.17939300071992959
486
70.22867233843112
487
35.18321770092185
488
1.6488583568523785
489
1.0102004145990606
490
11.293352287103398
491
88.49696435589003
492
37.180714386177414
493
28.246234154033534
494
2.4933138677805777
495
21.949517327333524
496
54.36323027907487
497
12.914653127146881
498
55.536005330490966
499
22.845519934520485
500
59.90404117783332
501
98.191989345059
502
64.65884327938137
503
92.53532156521436
504
18.696671585012716
505
61.204411826548636
506
98.1641042251459
507
30.65143530939567
508
37.699185760178935
509
93.3833639715631
510
39.87342262333408
511
55.092976873993685
512
18.24593623588855
513
55.016731912809014
514
61.79156074754258
515
94.73627150602924
516
23.560588627867318
517
41.21790847473827
518
25.38242689340475
519
33.744303934130116
520
57.16439830094434
521
83.74203321819176
522
15.59854131338777
523
43.867198509364144
524
37.42450331732161
525
65.91076662207375
526
9.168494050062503
527
14.270491528762474
528
83.66273522380631
529
46.36398862456688
530
66.63519685046748
531
77.19748340006653
532
0.046286621557123375
533
71.43885812020292
534
16.250971151789663
535
32.166445284940735
536
54.90732435106285
537
5.683617336754143
538
67.07388176020808
539
91.42303874071487
540
5.189423196121556
541
25.34569665260198
542
48.47292178705437
543
5.012802893257707
544
8.39446808968769
545
0.6305632313768128
546
23.737981153006427
547
75.10814019895692
548
97.70448355555268
549
39.10989579793216
550
66.60381119803274
551
36.11866835480551
552
69.87857982374675
553
74.8646377453724
554
21.23546889514477
555
59.63348684222891
556
50.07606582066975
557
65.78053486663634
558
88.58598287946413
559
41.38825377747742
560
52.932437761381955
561
4.870789097223027
562
95.0253402392613
563
41.21968850419374
564
55.01589711929821
565
60.58250193163332
566
2.7530601800618837
567
76.3644939365266
568
30.21765448873015
569
35.75058997103907
570
15.745021459624542
571
13.479308208950936
572
76.68020684056307
573
75.19491531020499
574
19.848399355850432
575
65.40281094553083
576
81.54347014682808
577
57.91338235975899
578
71.1268935586596
579
74.95061185345854
580
28.089466434021904
581
81.4057832412292
582
12.671716426980062
583
59.928124800055706
584
48.79201030263908
585
82.87022459672126
586
56.832048112194144
587
1.0661196066070522
588
67.32868469475291
589
44.8459933290985
590
17.18200609175137
591
77.72822232011404
592
52.788108234614164
593
1.3337204122842783
594
12.529407104465463
595
95.00910004951469
596
30.106312247475774
597
94.50578777318742
598
93.88489814620098
599
0.2366644452745481
600
52.19184387979343
601
31.826901121782658
602
64.54833748634348
603
56.91113057274828
604
41.2499315048339
605
58.73682116961507
606
73.33254805629652
607
29.758282568698757
608
49.491916299196426
609
93.00425642771482
610
61.43286474066309
611
35.84385089893619
612
72.71683871203781
613
63.442948708526714
614
34.5642063860344
615
33.59045354971399
616
74.17795496984925
617
57.88805290495367
618
13.725622893642864
619
54.05801760025819
620
40.69763102306314
621
13.162860180092729
622
90.31560023633345
623
26.993236128697916
624
98.16992922850658
625
73.22306023879152
626
74.30968027401259
627
17.923014046426623
628
59.39094917902877
629
0.7476666342554394
630
77.8252095581988
631
71.9615248562697
632
63.58274999954558
633
52.15280565815921
634
20.636334500401155
635
55.019912476773456
636
94.02749096912267
637
16.336613967008883
638
79.06562439417154
639
93.75230649573771
640
27.90421046610262
641
73.4204907899339
642
25.16702568436189
643
41.841235926534594
644
80.7213976159269
645
51.33399079016472
646
19.22805175543527
647
42.12019661748217
648
56.664370992801025
649
45.297693611849745
650
25.357494857199537
651
11.550521916352462
652
5.727170733818909
653
18.090392191402415
654
17.288135091795176
655
49.21433612881662
656
18.67453719431459
657
17.443977063938696
658
29.512283708853893
659
56.25484383072718
660
61.68024509910046
661
30.99145368021482
662
87.4811930598618
663
61.08978596992928
664
63.913937203173276
665
48.90052029049329
666
19.837739154849142
667
63.243370287753386
668
23.399295159318932
669
19.65718339893425
670
15.514999568462095
671
44.78656751973167
672
89.1422239342562
673
65.4209320704396
674
39.021624034970294
675
49.645150463369546
676
10.828469810831699
677
69.95500912962468
678
58.348257255151296
679
97.92943702332536
680
21.315934476410003
681
64.34232590026735
682
71.66745350125022
683
84.95916916461212
684
31.69761921597537
685
13.529673391431496
686
41.36285433535164
687
12.80154232997257
688
73.8870465647412
689
50.19980660165053
690
56.91171129805108
691
15.90988718224946
692
21.478679131626322
693
11.553105825161214
694
51.75803984165627
695
71.84508974135855
696
56.061706894549836
697
9.287500817027873
698
93.5520394147914
699
33.081308482113556
700
23.216311538242895
701
3.3973771024186306
702
51.994666054411
703
76.54212381048963
704
40.09732114934298
705
56.369237306850806
706
24.01453668765099
707
43.782759218124326
708
74.81094990484047
709
15.933888142989561
710
62.117593653035044
711
36.62856800758285
712
16.716081248953685
713
11.74200717659427
714
8.488308259579302
715
40.5994730254465
716
96.33235458451236
717
54.1618951525064
718
84.78439423309021
719
71.59464324939383
720
93.71308020212659
721
91.85534496496675
722
25.55536198686177
723
80.08112212823242
724
94.94180804949609
725
18.869510107981434
726
71.82848222640493
727
1.424784641190735
728
17.837126577440678
729
21.68973017403427
730
60.64400189720843
731
11.02139542591316
732
30.001086007778532
733
22.03029582969681
734
56.18479224281063
735
28.530184603692057
736
25.022394820827376
737
2.097152407869296
738
68.63381553267786
739
16.781793639871733
740
5.946318464020372
741
95.63858409116504
742
98.0061301455068
743
37.827086459465995
744
49.04902566872872
745
90.3069613071226
746
21.940422418735583
747
61.11271213708055
748
85.50485516010927
749
14.686630690242575
750
18.798326544599455
751
66.91396931709653
752
43.71080617963099
753
76.80011836909723
754
80.40807229712162
755
51.924980767478566
756
40.83330086712864
757
79.98675604967802
758
22.402311335074053
759
23.30071032965272
760
98.56806971005085
761
66.75499344740615
762
44.33821491528468
763
62.464958898818665
764
85.15479249574197
765
31.541563663493598
766
26.6512342384578
767
50.64289571314673
768
53.363893948703186
769
99.26780588445754
770
76.98220824115367
771
74.34633188896083
772
52.47368275172132
773
88.16539762346869
774
54.53076264041915
775
70.93437181692389
776
41.181796194514575
777
62.550855306023465
778
7.826242937578975
779
31.8916989837029
780
17.94573434111677
781
34.06012930694965
782
58.670683918733566
783
54.61117857440543
784
15.422964504133962
785
88.31166959828377
786
52.99663729922672
787
22.237127937389033
788
76.48196188464705
789
98.04842477450019
790
77.99591598671529
791
95.51997972292739
792
40.681233580359766
793
33.51616219747918
794
14.11361550398743
795
20.652752188284207
796
22.16424119202748
797
96.16761499611285
798
50.36508230380847
799
92.70412541557386
800
52.59385967335404
801
82.73897613145525
802
41.92170028488263
803
65.53257471008416
804
96.05080591948001
805
33.327257124560916
806
30.02475433337932
807
65.96046682915421
808
16.74627430879839
809
29.30408980689552
810
76.02482914924022
811
52.5065744881169
812
94.94976690736081
813
84.73357822501087
814
83.7074931124866
815
57.12003827465503
816
41.708900172127
817
18.418838884726085
818
97.05435728861883
819
62.1282491942243
820
58.7387690057438
821
2.7838680727909737
822
64.20180855989153
823
94.00575547158076
824
26.284182885958963
825
60.50447766626361
826
52.59802277863941
827
60.59074141788648
828
78.80892739041789
829
20.133971450242647
830
85.2221823431875
831
19.020232826526595
832
46.04194808689764
833
47.92638292358278
834
43.218031996797755
835
37.924638069151506
836
95.21113806056907
837
44.642003924021125
838
46.40725430485897
839
9.316848260830234
840
9.221214442019432
841
33.32706159463652
842
79.88638481584171
843
73.13057913506279
844
75.08292165694017
845
66.89140502592694
846
82.27430262193106
847
40.50719791572306
848
37.07659361790304
849
52.765043669921
850
49.1655565225935
851
40.699830225197395
852
89.93390348737829
853
25.996484856131165
854
33.95815867721221
855
70.85803575221458
856
48.74737431490933
857
1.8628254165092062
858
47.46266272532355
859
97.9758932481888
860
34.36805537094987
861
4.393531093218572
862
67.56267266068839
863
47.93085900058248
864
55.72746980833663
865
98.16696587292877
866
70.6852472963559
867
17.810320830718506
868
53.82084614595909
869
47.320667447640055
870
87.95283437122632
871
64.61723075141157
872
96.01428364085196
873
87.92346823309512
874
70.62679651621195
875
55.9658423484624
876
73.88939590566909
877
27.689547679334105
878
21.81571813626626
879
16.522984996834754
880
63.01469153427496
881
80.47156171876276
882
14.410118720914555
883
67.71993365286367
884
48.83377261142282
885
2.052008415825113
886
68.81832875251399
887
37.65443447118374
888
9.286191929940257
889
18.459022264228174
890
8.316702304513601
891
13.121939108276258
892
71.82756712515659
893
28.36484014242242
894
44.69050916967353
895
16.35970648313495
896
30.191418010309178
897
17.08216176885039
898
72.33020404444268
899
15.356893669570027
900
14.535847313041971
901
41.25575713251839
902
65.06102630830742
903
18.47832485338413
904
57.54408968808834
905
30.553571342000318
906
76.72215154450338
907
61.669157340031624
908
88.5986429084684
909
5.493730905015881
910
43.874935384163436
911
69.65217432580604
912
18.324541046055298
913
29.00081162594009
914
77.00801846860912
915
61.2989881329688
916
46.59806253116003
917
93.36678511321882
918
5.220395009409085
919
73.75096333095867
920
38.54297100424881
921
93.99910209363091
922
8.601789887698242
923
99.88517854283899
924
65.08718337476849
925
56.6703769641391
926
32.39300438584804
927
69.36532072482997
928
97.32849979860123
929
65.94118676075118
930
27.497126494057834
931
54.7868838844842
932
77.25883805653491
933
89.00952640248828
934
3.0258400759667237
935
51.320634186048316
936
61.32220512470268
937
1.447485578394092
938
8.303281513313099
939
60.77776378100251
940
47.83239965328565
941
99.11776227895331
942
84.11326441194315
943
9.164772599976967
944
54.45221829560065
945
24.019633694862485
946
35.9638574616402
947
40.565558453316065
948
7.73674082636121
949
40.89605493266325
950
85.75668824387225
951
59.582808308552316
952
43.16903713098915
953
76.1405796928491
954
52.48657222467621
955
39.59024120853313
956
91.16742559143341
957
70.8748424054068
958
97.46035189170183
959
74.69186590806721
960
42.21916796418742
961
6.024329344200641
962
45.01212384085866
963
29.55384866359655
964
42.596325282029525
965
28.80227128873446
966
55.805304766958706
967
33.169227629862164
968
71.03521548630155
969
47.21845755978009
970
86.55028695782332
971
70.13513084637448
972
86.31172992870543
973
62.06179741946575
974
17.3296661552106
975
46.16680186955791
976
15.820558891001124
977
74.26257267923143
978
65.71138473383084
979
43.3421398470207
980
76.06711009484177
981
39.62223538723876
982
35.44332154831178
983
34.96511693728903
984
77.40673825471038
985
42.605755195322956
986
66.76123711535463
987
99.9558820254254
988
67.41664881977866
989
26.2234251664224
990
65.20516309440953
991
62.319916047191505
992
9.961651617685119
993
45.98620795679603
994
86.32772106716173
995
82.5181606432221
996
80.31566369253454
997
12.500604090970524
998
44.79100247772768
999
44.45452530435857
1000
80.62673363943286
1001
49.47615261038205
1002
98.08706976305118
1003
14.316740631694403
1004
44.56404243211482
1005
21.750635348202994
1006
27.48028193243963
1007
95.65108039327276
1008
5.16119170703101
1009
81.39515493667625
1010
1.758036627826931
1011
68.82092734631917
1012
45.670830624107154
1013
39.04320430689263
1014
62.98972287851776
1015
82.39377851052187
1016
39.67146366427829
1017
92.29497419023404
1018
17.73203410233448
1019
59.020749878876636
1020
13.718076363118115
1021
33.380095857681965
1022
51.9819939254465
1023
89.0172285798198
1024
33.50398570622135
1025
14.219076630269045
1026
13.66739462882175
1027
11.122787878742002
1028
22.80207715627015
1029
68.60572890126025
1030
22.57758765057567
1031
21.813075977894947
1032
73.37944131251398
1033
78.43992399853778
1034
74.37586745374392
1035
12.05586002143695
1036
93.63013160213944
1037
23.771988891692587
1038
2.6979677814337855
1039
3.5479993961826994
1040
73.8465700783964
1041
74.87717340549969
1042
51.32946372754401
1043
45.239609350765406
1044
16.850952376224683
1045
68.66056660782819
1046
87.06816054255891
1047
35.34619869741443
1048
94.13369018041651
1049
61.399923968253866
1050
53.1158163976508
1051
54.06917904569614
1052
39.6968303713402
1053
65.16588503837313
1054
22.70687787319856
1055
27.889524291161784
1056
86.47604686329315
1057
56.21609376221849
1058
63.17010553440732
1059
97.56907567813535
1060
83.51569534815258
1061
90.24173538176143
1062
61.73232764998479
1063
28.888345280744552
1064
5.997116098127697
1065
71.55210638848001
1066
96.11177593587402
1067
87.66933379153947
1068
84.77120094221536
1069
1.1147703565771327
1070
55.311817247387694
1071
98.77631212096787
1072
37.222000385279465
1073
71.82597295395233
1074
29.014070084071896
1075
22.55713176563373
1076
77.08894436499196
1077
88.46796017744211
1078
87.58328247325338
1079
11.582095392877411
1080
17.30100785415063
1081
64.51690778807976
1082
68.93456530064853
1083
55.5569675817799
1084
56.926956840860186
1085
88.29716013718031
1086
73.37685789798442
1087
82.93127953179825
1088
61.021579200344235
1089
56.93460318130094
1090
43.034828326557395
1091
63.99252582780775
1092
0.44858778357548257
1093
48.14387205337306
1094
68.56463328065598
1095
52.13148938955583
1096
17.686664788311635
1097
37.09129327336915
1098
22.61729794263745
1099
7.483357222840359
1100
24.175903107967102