Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (21.6 KB)

1
91.5741914383509226
2
20.8328294279115696
3
67.6694690766141633
4
5.9924236108069522
5
7.1480906044202435
6
60.8734625270309877
7
55.3360763321174005
8
88.7118779841561462
9
96.1262677405185286
10
63.1407675783820750
11
53.4593758815019129
12
29.5704121224710477
13
56.4052751546700790
14
2.0363751925645990
15
44.7602648716355986
16
71.3244195235435967
17
40.5483235763837158
18
14.6106138086886546
19
74.3892855621817688
20
78.0957578452292012
21
1.6366561864897489
22
5.0987306921781883
23
34.4900317075448797
24
49.3545584061636262
25
59.4472789657517922
26
97.9120301419866195
27
12.9917905324414935
28
64.5365311250501179
29
43.3220279658893404
30
63.8793864336255481
31
55.2513457548502345
32
88.9432930761327185
33
10.5359019860668202
34
39.3313992706171263
35
43.4608184484962976
36
18.0230878722326473
37
94.8652918610459750
38
72.1725567682620124
39
7.1176598328704044
40
39.6420768494691345
41
98.6999608018722938
42
84.4981110945487615
43
93.4269481694086465
44
3.2452384922554978
45
46.4921609484680332
46
1.5137137522007515
47
57.9268808328069298
48
41.7737331769804285
49
6.0452655189962012
50
5.8701509130818064
51
50.3880216409226165
52
20.5281480273470720
53
8.4211647445607944
54
69.3619398248756198
55
25.8761125587165566
56
22.1712790207110650
57
80.1724393554748076
58
24.2035452176623131
59
20.9898456914438079
60
72.4258214816547223
61
92.4513528827885551
62
46.7772150688464805
63
69.0842327347729963
64
33.9585091152794973
65
69.5860194523154121
66
68.1744419269177939
67
49.1288525335192645
68
97.1761891984989461
69
5.7396934382112459
70
97.3237915105490572
71
37.1982294323628366
72
73.6732593589074867
73
70.3646772488775127
74
85.2259126790136321
75
51.0050923743999860
76
54.6868432910202955
77
26.2357784891781414
78
14.3984359748949622
79
13.4805770519279449
80
76.5486644373197294
81
74.1554470964027530
82
95.5200639433061269
83
35.2449113590361804
84
60.1664738194030306
85
42.8243980861043880
86
35.6399554791160469
87
85.1033385906965805
88
93.7138525591677478
89
16.4161027021181525
90
7.7724578055118787
91
1.2917908171668935
92
65.0147215468822566
93
8.0595818266098398
94
68.6458375264888332
95
96.2929693667379922
96
62.4599647758360490
97
21.8727590409189752
98
9.4916260053102501
99
5.5246130796287485
100
99.9484406392397915
101
16.2231803792893245
102
58.6022481036371872
103
31.2619083293342648
104
22.4761499523197692
105
15.6252552003081959
106
18.4740724426017735
107
9.5271895648814660
108
8.8190090930934435
109
17.4235332818958852
110
76.8910957363669496
111
77.8950436697220425
112
97.2353510518514526
113
43.9893004476324734
114
97.7760936284610551
115
34.6822341452411109
116
18.3258589067994428
117
54.7338184062255451
118
22.4722166656930220
119
26.6108745449879827
120
64.0835095494568350
121
24.9273813686510124
122
63.8110645736830548
123
26.9043169331751102
124
42.6315288562430723
125
5.3116491458143011
126
53.6227883831105174
127
89.4783775957364753
128
96.9834935548435624
129
19.9034487679127352
130
56.9194940967047955
131
3.5473308073860399
132
62.3037534038700542
133
88.6960626669461476
134
56.1074174857910037
135
26.7646731102239919
136
38.0931397167968626
137
6.7206469506161266
138
46.4587709048142088
139
90.6755651761153700
140
38.3266612068630863
141
73.1185470803499555
142
26.1555257435124524
143
0.1906338956284781
144
55.2854322206493762
145
76.4085849320315447
146
14.2095563902786548
147
23.7642280102915784
148
42.8555744035722910
149
19.3942822821532737
150
47.7299016066433452
151
46.0436285695256942
152
88.8557619613412442
153
24.3849988455815847
154
85.0648618483199783
155
5.0959315366991831
156
75.0203886491848948
157
94.9490990234750427
158
90.9890543114096317
159
12.9406270515646131
160
94.7425188205349826
161
80.1185680169320733
162
37.8313197965597112
163
28.8592396931845450
164
28.0082170257025851
165
56.1938090668326709
166
31.0707986870941930
167
77.6078439945557506
168
95.0241111238299965
169
83.4802692290195552
170
45.9810659585505803
171
79.0347360934255363
172
51.2199636304447523
173
66.9406770871566152
174
94.8738602132930851
175
46.9561158333392541
176
31.6789499123368827
177
55.8556803919678231
178
73.3638817963797294
179
38.1572084223022614
180
99.9470706532017630
181
42.2876209181697220
182
20.9284778157015303
183
28.5777065925315945
184
41.4889533785816624
185
49.2508711833778534
186
80.0755314355521506
187
21.3350831797453502
188
38.8354758996170446
189
73.8469583913789478
190
27.7469062964250348
191
80.7954079772656684
192
66.1002956881264367
193
67.3353817533190835
194
10.4391196085692251
195
57.0262450646399230
196
91.7269292926247175
197
60.7978794649662078
198
29.7314075584325650
199
50.9904712085007006
200
55.3298160640692132
201
83.9697737295301039
202
84.7974202351673654
203
95.9086664433023657
204
78.2241184627093276
205
24.2393087506019640
206
20.3364361414424266
207
1.0795612324977832
208
67.6103184726480748
209
35.4182787646797976
210
31.2123418906399372
211
40.0489185526939053
212
15.9698574559961273
213
18.1401015438106157
214
15.7413395354473522
215
46.5124742834028240
216
72.4598559981245245
217
37.3917775982270726
218
27.8178952034212941
219
43.4117659956923632
220
48.4993599624627976
221
25.7447998776489833
222
10.6643064296243590
223
9.6542935905309708
224
89.9397805765090936
225
51.4622280368934568
226
80.0131410954464997
227
39.9822090413399138
228
86.3685758719638272
229
97.4133687193682647
230
60.4808564675344087
231
17.2859778683051921
232
94.0903614471672114
233
87.3036244284875522
234
42.0435253824577586
235
16.8923016002416979
236
82.1480065428868045
237
44.5952743622238685
238
87.7169243863498025
239
32.5308957391669651
240
28.5721252296940662
241
31.5054846958377368
242
56.7708689943517300
243
78.3902314872370169
244
67.5917070011995662
245
15.7904204019441821
246
99.8780485153265545
247
92.3041638544766698
248
89.1843885481968783
249
29.8119230296194360
250
3.3095354957384582
251
38.2293590217935844
252
94.2300987464795412
253
63.1464213581973723
254
54.3664582897633508
255
89.6692017681222495
256
12.3999153953874401
257
74.7758690747754429
258
50.5705180497949200
259
79.7383411016916170
260
2.9645122388236800
261
40.2635961746390620
262
78.8424403527998976
263
39.8677753315794234
264
22.1273486798457704
265
23.1569248451872980
266
10.6043096407735575
267
46.3606117270843328
268
6.2974025157589324
269
18.0039121110845315
270
76.9426893706668835
271
78.7086257856649212
272
26.2710089594964664
273
3.9928764827889651
274
64.0035417466058050
275
65.2778949548385441
276
82.0825001042315847
277
11.8863075484523897
278
40.4024460183963541
279
47.5667771667452968
280
96.8457628883897996
281
99.9196905267300792
282
50.0845486071314951
283
38.1508582219310313
284
94.0787151078543644
285
15.1554285096209167
286
29.6948277616787983
287
11.3479655595364441
288
83.2558922868972218
289
22.3154535929689359
290
11.1885139562784559
291
39.2774757379887731
292
38.9215493214772792
293
34.2991465708698087
294
38.6183871812898616
295
93.9135953219314530
296
76.0653219341787690
297
78.4762007823075294
298
99.6256427714050261
299
28.8478762169284586
300
45.2383160876536436
301
55.4514968100865886
302
94.2747324544335896
303
20.8366270258297135
304
52.3543777462649160
305
93.3929326712762276
306
67.3717766975451440
307
28.4716814937469245
308
67.2619910825150953
309
35.8500471416196760
310
60.3503065073256764
311
72.4694106964500264
312
78.0453874153471219
313
9.3771061456010667
314
15.5042964446529101
315
96.7015063837256719
316
98.1447208099996118
317
34.4225824836536987
318
4.2200577176148784
319
63.3826232841073107
320
86.8504731513461223
321
98.3739922940327460
322
12.7406461507164170
323
23.1974812362158431
324
60.3235357279169975
325
34.1115579538610163
326
81.4267312004166968
327
64.9398942959938807
328
49.8571561162060490
329
42.5330021410865200
330
61.2782744357786271
331
34.9405651732618168
332
85.5432254008427435
333
82.8978509414754114
334
16.9752408804080730
335
45.3843393504820369
336
3.9535304235946422
337
28.9165476293874022
338
7.2121206383152225
339
47.7937963499975211
340
80.3628061130455364
341
64.3998459860895593
342
15.9625110965794690
343
78.0693685883829005
344
83.5272079213089711
345
69.5039864823711753
346
94.4376303172668088
347
74.7277587095562268
348
41.3515076603651508
349
64.2198428996146902
350
1.0649123719952858
351
30.2992498415357900
352
80.2128139019787767
353
22.8480435718856896
354
24.0470353010842963
355
89.0731308411711495
356
61.7916819578759871
357
21.8617046202292826
358
34.7572692998159880
359
94.2099892402411854
360
25.3041938681220699
361
27.4579257381877611
362
89.4919186351570914
363
78.4670547155373583
364
63.2559198916019838
365
46.6116244240879496
366
33.4122749753195478
367
14.8470326719654100
368
73.0767658091819072
369
15.4143672776899230
370
87.8591976249099815
371
53.1361929723866666
372
35.4718149241164653
373
23.0369049941530974
374
34.8902767042622699
375
26.7013974778918417
376
85.8599409301640293
377
92.6071956790276829
378
43.6774664616820161
379
66.9824949150888216
380
64.0502962866502372
381
86.6044171816546395
382
94.2021320430911828
383
27.4207684392766993
384
5.2332911266051552
385
68.9587128451102984
386
40.1224134662755887
387
23.1907097401507514
388
66.9675381779881889
389
65.5122390343181564
390
56.3020750065810560
391
59.1763370936453370
392
91.6251548664713624
393
8.0828678721711391
394
52.2527340075350750
395
10.9521277576441367
396
40.7681973806569786
397
86.8087901770063439
398
80.4370908011707684
399
31.5849132369661731
400
52.8757236073809764
401
38.9105271817821645
402
79.7290082798940887
403
89.5460555719095339
404
28.7856977838316439
405
52.1217833457775868
406
42.0871019332072365
407
51.6267622826159922
408
1.4771964480758237
409
37.5406918823774305
410
91.9599901504306274
411
61.0941785508072570
412
42.8832409686957590
413
41.5683520120586181
414
82.9364850458164398
415
97.5885652288752823
416
24.7575452837396917
417
13.1838314086995094
418
69.0343979598225133
419
94.4836619906185007
420
33.6693593902730797
421
71.5052608941175265
422
82.3369117603401008
423
64.4654567999508572
424
1.5612662074569128
425
99.4243525191591715
426
19.8851491162558638
427
47.5218798130383036
428
38.6338548548138121
429
89.0620178863417777
430
77.1726522882862866
431
38.9603393347709996
432
89.1575019384783616
433
12.9261123839235488
434
99.3496955306235208
435
98.9524917385157039
436
32.4823407748570077
437
91.5627902462005920
438
52.9705652966313565
439
7.7867539480685259
440
13.8789874368473676
441
65.5640992838506236
442
61.5180239772366804
443
50.4709968413549461
444
72.5578105967208700
445
27.9541464945220568
446
17.4617339544959158
447
18.5120077629126314
448
47.7751906970994753
449
47.3371982794251736
450
74.9076599911847012
451
23.7148916144921849
452
60.6991780337054152
453
26.1560388766602934
454
14.4546224263727758
455
94.7408976454307492
456
93.9259727182913338
457
12.2302462711583733
458
94.5387282744516284
459
96.3858403361098794
460
95.8244094210243986
461
10.7711638143817350
462
14.2018623326104265
463
85.7774151012895629
464
23.3364424632840120
465
82.7515337080183286
466
56.4340838144921761
467
92.2599598862092591
468
82.7578326394053221
469
76.8082934756694016
470
12.6788492003789717
471
29.6056881053378902
472
89.1677562555535843
473
16.7139098171421487
474
70.6316795744025967
475
15.3649833584853290
476
73.2614008565772394
477
64.3098258082540042
478
20.7241882576537186
479
71.1278677753698361
480
93.2604489064773929
481
55.4901308878494532
482
63.4875831060540037
483
46.5065441627342224
484
11.6411996380981204
485
16.8286823810445583
486
32.8552267982248338
487
88.7827794557830572
488
49.2957404297709871
489
44.1262774666278403
490
62.0235075855426601
491
66.7764691746294545
492
35.9974152381229402
493
68.3304235205801831
494
55.3681194309169769
495
18.3456821411952511
496
76.2153360326475564
497
7.6070118176498891
498
10.0867207096507645
499
50.4487592073574760
500
78.3766808039956544
501
67.8250779025112962
502
84.3718000387289351
503
88.8300850677794784
504
45.3274255997889384
505
71.4575610898742042
506
31.0691830999123226
507
0.1407482849089536
508
42.4535156196436105
509
37.3509231426167005
510
31.6938341262965615
511
79.0410016338077241
512
9.6821463103539003
513
84.5494347736964897
514
58.2867434583542874
515
71.2399231805480184
516
56.0709439028268832
517
47.3806759571206868
518
52.2480858754711264
519
27.7048861676424174
520
54.4174162075714705
521
5.2249819641649209
522
26.0230038519306497
523
38.1304720078068726
524
87.3226371691660006
525
80.0138065226776831
526
11.7130113423147275
527
38.3102562607802426
528
50.5047287717776641
529
93.3206160248843446
530
50.2357174059444276
531
54.0029768999657236
532
65.5052505148897382
533
5.1318810466959519
534
15.9298310660221496
535
47.0147016354603196
536
53.0672878345945662
537
38.9095886287540580
538
92.1329922686305309
539
3.3378275660973511
540
96.3581151291348306
541
6.2532726831992509
542
7.9789111647010413
543
41.9742964488012973
544
96.2053761704627703
545
11.2736806854341172
546
68.5745630691393160
547
14.8027123635690590
548
55.1819162723570216
549
79.4696424659086631
550
31.9787717658410742
551
3.7381173195089934
552
33.4703699019131662
553
35.7761617535580640
554
75.9160407154365799
555
1.4813891251739708
556
1.1457463687103431
557
34.6693099301701082
558
39.9000876370167248
559
42.6327862940538509
560
90.0733266964122805
561
8.6527762424914894
562
70.1366647405860704
563
39.5640005032081277
564
92.8203969505743203
565
9.4008009066310567
566
42.8499088955285288
567
42.8469377439997459
568
89.4547206884003288
569
1.5204649025204242
570
81.2799994844116895
571
57.0916091281552625
572
91.4300884747588611
573
8.2512913572354130
574
82.2753893871338562
575
94.9937402108206612
576
41.8624614122086598
577
57.3631741316145778
578
52.5804142818343792
579
93.5857688292556844
580
3.5438145476224481
581
19.4732520133714218
582
30.5352158133316749
583
27.1129437751903026
584
77.3457659456163924
585
35.9853938609280419
586
28.6077355378789093
587
58.5943659834629713
588
92.4706639809209463
589
4.9272511871498388
590
19.0326569174246849
591
34.3954521389596337
592
82.3902714506584033
593
11.5373447703588479
594
6.8281898165730155
595
33.9646247319924655
596
54.8354889300423665
597
69.7907721306722522
598
63.5180966741745863
599
25.5405998401099339
600
54.4188535074951574
601
41.5725896357697522
602
55.9869233805269317
603
24.8880172044052230
604
80.0956416910376987
605
73.0947909814181997
606
30.6593699981341459
607
41.2776632429164394
608
46.8670665203785077
609
33.5693641594569954
610
23.5204190079669182
611
29.8201547731777659
612
23.3488744780179900
613
37.9554845704284318
614
56.7462642062512614
615
78.9602719271319415
616
5.5903303272599292
617
66.7191258117869097
618
96.0544907795554792
619
69.8844027136739925
620
55.6403822539913833
621
69.9457086355468931
622
93.6532151212298203
623
72.1169787088508372
624
97.1080991856480864
625
93.9703640061859176
626
90.8703435181697330
627
68.3386617095630555
628
70.1451681777427041
629
80.1777026781579849
630
5.3678116104665996
631
52.4349169183885664
632
61.2242379426265018
633
34.1096916675690665
634
20.8660371250411245
635
90.2468710754699543
636
51.1777106327555771
637
29.6022137396320879
638
12.2887911444089166
639
6.2497869793062826
640
2.3902450908122819
641
61.1222294174182537
642
45.2811395600912689
643
68.9462845641602229
644
84.7793580485575546
645
90.8651608093954337
646
39.4897935751748150
647
27.9567688814113424
648
52.3674767808660278
649
97.4378999945110138
650
30.6932451654947975
651
45.0336402956616908
652
65.7855889344936458
653
35.9880084970111795
654
72.9601724461135177
655
63.9945920213170680
656
1.0414459934324327
657
70.2845493207398704
658
36.5122414697198181
659
6.4964305437188781
660
89.0859309384124742
661
21.0588069588710027
662
23.9768336134021496
663
68.8174804092301144
664
25.3541826808142190
665
95.8418464654978806
666
91.2982918554387481
667
13.4713059769316921
668
77.6412038366640047
669
52.6559233963861857
670
38.5779253018707635
671
56.2781789758199267
672
91.1699906705951406
673
59.8590946050944552
674
61.5923985440563371
675
89.0140593964240736
676
19.3092304672190522
677
58.5209417912361332
678
96.0997867432017614
679
20.9129591920493283
680
0.7426960120666903
681
25.2394142748692865
682
48.0515874338057074
683
65.9812690477774453
684
24.3964785283207313
685
46.0095677313173255
686
84.8533204866527626
687
20.1923097217864935
688
4.1856968186392951
689
6.6760400632051464
690
60.2139981596181002
691
76.5873365654655487
692
91.3836362065572700
693
51.4607452893834036
694
51.0534909409617867
695
22.0082213895057883
696
27.0853049505434775
697
40.4181259542060758
698
32.1707753444230207
699
85.5003988135437680
700
84.0362974805460112
701
75.8488139077719978
702
84.2672558133593697
703
77.4583855803820285
704
43.3719566917904729
705
39.3874625190186336
706
52.2198598444702924
707
19.7449330856540151
708
4.1082245584911581
709
36.6090786411404991
710
55.9248711894308457
711
16.1540185482270999
712
6.9046910501434855
713
29.2928621928409392
714
24.1400522663985484
715
57.9868971592449896
716
77.6568010616159938
717
76.7420237277055435
718
5.0152891264254702
719
76.1939137216176476
720
45.7854311161491694
721
39.6768705890326885
722
49.1527284091257783
723
66.3339222953751317
724
9.6421504218131666
725
3.0465302171862163
726
97.0741898780095624
727
78.8421472758536197
728
54.3965216630299651
729
72.8746448134350260
730
70.8735235233645824
731
37.1758557153100924
732
30.0600603019861232
733
79.0784221423526077
734
80.7320233909999132
735
62.2503682267737020
736
30.9891582850695180
737
37.3752967061093386
738
66.2284453851321189
739
10.7791312086052642
740
64.2143400154379549
741
5.0552773700374143
742
63.6567463855291962
743
66.6972627517090046
744
54.7115893902773962
745
63.7949404618424651
746
69.1418094307124136
747
78.2753171165502977
748
55.1005494283402584
749
82.0068839955810631
750
34.1425929572122584
751
49.1134569088602078
752
86.7299140428383026
753
2.1796245822640725
754
31.5079755901722010
755
29.9517840965112576
756
74.5085290508068567
757
59.9686013109948490
758
53.4338734315275445
759
48.9972821939529268
760
29.4160449892685065
761
71.9717172941811896
762
53.1386546803909923
763
39.2672061312428795
764
34.0773643447556367
765
98.4507965165136341
766
12.2564752282919400
767
38.7141933624126864
768
42.6499787204262617
769
53.0812347174970753
770
81.9644126646692115
771
12.6259455753283021
772
55.4388608109753847
773
73.0849040406022539
774
82.2017779960391550
775
76.4649817068107609
776
47.3168941672761250
777
75.1833552916345980
778
98.7858256569973321
779
50.6186790281852339
780
79.3402640336431233
781
32.3198622746902231
782
73.4222899411499696
783
39.4398696575860370
784
0.0356556957734622
785
4.1358261422172475
786
77.5896278025666248
787
50.2981583961651069
788
9.9035578387989602
789
69.8582412904776646
790
23.2992656476836650
791
59.5548438905285948
792
41.0712963481143376
793
57.2803547105755300
794
5.1726869266935367
795
52.6116650515754074
796
36.9181367338619637
797
80.7083965089985611
798
93.8414890100574581
799
61.8205823817368554
800
55.3179317434316360
801
14.9434874956776209
802
52.1684365948193971
803
86.3012036087638705
804
56.6878897954379610
805
98.7920846465624152
806
44.1504519518762564
807
98.4326379130555438
808
32.0837061340224921
809
45.5762750747119583
810
29.0862659594275605
811
94.8817787214741912
812
31.9325520998350534
813
63.7690155917989188
814
74.7841957287256776
815
70.3383149079075878
816
17.2821756186973694
817
64.2289711875710339
818
16.6376989613887361
819
80.3072053546506339
820
77.5701378084511362
821
60.2202847133031511
822
41.3884961668819642
823
54.3166763296752606
824
37.8108545716559306
825
78.9084099482522134
826
94.3602053966094445
827
71.5800135269247448
828
8.9611112995149114
829
31.8205433862284934
830
0.1665938765047281
831
5.6466685052553363
832
21.4560285447952346
833
69.0018199627673852
834
14.7811153890562537
835
10.0725176670558252
836
44.3873852296242575
837
79.3024641664689085
838
8.2593566458752381
839
94.6331177684954241
840
23.5515078172836887
841
0.3065894715756579
842
24.3590987818579912
843
83.3202196790207807
844
10.8485381440247544
845
36.5764015505444817
846
51.1875596334449483
847
65.6577789214096867
848
81.5312747098568877
849
88.1234762206190965
850
24.9082593533131877
851
36.2145689842267799
852
26.5920203007247942
853
0.3055643520645246
854
44.1962657536651520
855
37.8543653273343352
856
19.8668919023784909
857
51.2265514880610553
858
62.8108541391280113
859
31.9201300403836541
860
98.3325778752180923
861
50.0023962870576710
862
37.3232331297653772
863
48.1881123335079593
864
19.7867051079695919
865
51.8018334897703312
866
56.0057752238834325
867
68.1199837184379930
868
13.1994572156394199
869
90.4201660762161481
870
22.0914962598641722
871
76.1465061038598918
872
93.9835705214412371
873
76.9691834311564094
874
78.3863034982094860
875
50.2930293288082808
876
46.3738608443881262
877
45.4182125918749406
878
61.4536353927178780
879
96.6823718945129400
880
64.9664018555718030
881
38.0059772003601068
882
52.8490075036020315
883
95.2683080530800908
884
82.8624575434271975
885
3.4360028413148558
886
36.8261803521050624
887
63.3829336150417575
888
62.5778491166984026
889
0.5757022424666136
890
41.8655668590652255
891
99.1511631596459893
892
76.3551867801127884
893
38.3496465708920695
894
28.7647787970421120
895
22.5400659555460052
896
50.1764184406080176
897
53.3031226575291797
898
67.6481277562056391
899
19.9127630590324465
900
7.2233804857831263
901
62.5985504029843511
902
10.7452970985568719
903
91.5035701815896942
904
76.2046790144032400
905
3.2749227789452218
906
55.3913004270908615
907
74.3676108369889874
908
14.3375505137861339
909
61.2223603873569999
910
22.1744903551901800
911
45.5202208850717511
912
33.5565137388023658
913
81.4826817074630299
914
80.5065434244023379
915
31.0388161822209732
916
73.5138249267300239
917
4.5183362001942289
918
84.0088279889615706
919
66.4863101046621523
920
48.9654148056150262
921
52.7767973217722712
922
82.4046234142868457
923
73.2788530512771104
924
24.3851913071540629
925
16.1464366461253164
926
38.0694514303847384
927
59.5889081483874108
928
69.2824728505775482
929
59.0052913212245613
930
36.8463121456524263
931
45.5277631211444600
932
62.5488133755041744
933
58.4917008820603570
934
34.1439023119480254
935
76.7891834543688532
936
85.1348132982364660
937
36.3426406954378791
938
48.8614372121763623
939
13.4887514673595490
940
21.9457294543406007
941
64.6009079736129905
942
50.4172686818208717
943
79.0444595305529703
944
35.1068748707570535
945
49.1498946118622797
946
10.6294733580902125
947
2.6829015374520204
948
86.5224989496577592
949
31.9500833535672584
950
86.4350090462519773
951
93.0459707285300510
952
33.7469814329333460
953
96.3380319742027496
954
22.6015637416817974
955
67.5541801628374259
956
95.5867511326492121
957
93.4444136126029434
958
34.9760992886225495
959
7.1649507546721836
960
31.3914823771196154
961
67.5325533944963610
962
13.3850403612210798
963
84.5850429318186912
964
37.1346264775447281
965
4.0847739435471926
966
87.1526953503447999
967
47.1779868260081372
968
4.3169712403219318
969
14.8961483182018188
970
74.1077299975615631
971
41.6529080216456080
972
83.9285200344055227
973
11.8661162817331736
974
46.6712160170707477
975
95.9993340953764829
976
3.3652203919238399
977
80.5554942756167236
978
11.8571094969022290
979
50.0335659603723713
980
60.0084682736416823
981
11.9982170615022596
982
67.9541848057323108
983
80.4991500333489967
984
25.6779152503715977
985
77.8916767966885857
986
94.6869166117039356
987
90.4186875849033100
988
71.9209869879280319
989
63.6937104457436121
990
34.2988487601643826
991
79.7955417282193054
992
52.0296414165551582
993
51.3103610799117291
994
96.2842607498126597
995
55.6892860681927999
996
36.1967456541796508
997
24.7247055581589876
998
73.7260329314113818
999
71.2398884290572454
1000
7.9865429794553799
1001
42.6473025449651502
1002
33.2261591461581816
1003
28.5339565131771273
1004
11.8703185873111909
1005
28.9506278311039154
1006
83.8234258261224170
1007
11.5544135664565335
1008
10.5238213791136950
1009
96.2231224292273595
1010
43.0812035711238508
1011
74.1156302889101397
1012
37.0980456478817402
1013
18.0281005463017401
1014
70.8317995457883285
1015
71.3820358631740248
1016
7.2117744933975381
1017
99.4330695133932068
1018
61.1396713224670734
1019
68.0469086761062698
1020
98.4395603097566152
1021
65.6959496463167625
1022
13.8994978796068480
1023
63.0463612053926283
1024
30.8724649976577226
1025
94.6322524553152249
1026
38.0048674715998871
1027
23.8344623543067087
1028
81.2472256464166236
1029
5.5903370455118733
1030
16.0695079402286893
1031
7.8196814790797209
1032
55.2134018414736332
1033
92.3080964359699863
1034
51.9824542202792301
1035
94.7483940609613029
1036
49.7530955584972716
1037
60.1278000861998123
1038
29.0747731805052751
1039
14.3181997310855245
1040
5.8101097716970029
1041
8.3320205990859879
1042
63.0914607787737012
1043
60.8721494162596883
1044
23.5546188233223361
1045
76.5010124242413667
1046
95.6998286098680779
1047
86.9597332923985817
1048
82.9838261749622887
1049
9.1841014370319218
1050
14.2998150825579771
1051
62.0694788041020757
1052
19.2622972674394752
1053
56.9453892898131642
1054
16.5721081357160678
1055
78.2246599298868261
1056
29.6657008686323955
1057
31.9475959610667317
1058
54.9283022410216120
1059
97.9640535495930180
1060
12.5585913908441427
1061
1.2626171007290021
1062
24.9794315226885217
1063
92.2429322405513972
1064
76.1367359170383793
1065
89.2484554880946490
1066
46.8778484039252703
1067
42.2441741601703100
1068
56.6512485429765817
1069
14.3846738031171100
1070
88.2450973111076706
1071
27.2918720048501910
1072
84.2862276027959894
1073
97.2391032003451272
1074
77.6755685661277653
1075
74.3322859105677054
1076
16.5822855509602078
1077
29.7351582082846306
1078
43.2013957486111408
1079
90.0166278710556611
1080
51.8759702611883782
1081
7.3790895861495232
1082
54.4157985061823979
1083
7.5233598257215988
1084
3.9328213609562290
1085
3.3671107851128257
1086
62.0755846001374323
1087
27.5068394314715619
1088
65.1814978245362227
1089
29.0282925556657148
1090
72.6143487491825965
1091
11.4741060800658712
1092
79.6254492814690025
1093
58.9903081819975412
1094
30.5926615715601535
1095
9.8093372041259013
1096
43.1312160542431045
1097
85.7442765776680176
1098
88.8579341657605539
1099
22.0109647436085183
1100
92.4786704691794057
1101
92.3703793209172090
1102
17.1662340513465956
1103
33.4469561950292018
1104
34.3980645869833879
1105
12.6256109627571611
1106
28.9550261081289690
1107
5.7976123303944966
1108
67.1239029318076206
1109
10.4197497711679627
1110
27.7518008287175988
1111
65.5145465160880320