Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (33 KB)

1
48.8393009652675545
2
1.0000000000000000
3
5.4955594956867193
4
46.1191004128206927
5
37.4268373397203007
6
50.8919492511453626
7
1.0000000000000000
8
90.6874978476073181
9
56.5570228180434356
10
63.4305683281290413
11
84.3122326958048944
12
22.1647341922433085
13
1.0000000000000000
14
18.1020808769140729
15
65.6650982208312683
16
1.0000000000000000
17
33.8800152986315695
18
59.2518952523658911
19
1.0000000000000000
20
89.3594999623602746
21
25.7279411466962209
22
10.3498564663179309
23
90.4844064864198998
24
1.0000000000000000
25
50.1697819660211408
26
31.0806197500917420
27
67.8351086948294721
28
68.5132890171780957
29
15.5310398208806877
30
1.0000000000000000
31
6.0233597012243507
32
14.3810273217220725
33
1.0000000000000000
34
45.2728604019762528
35
68.5584283411669873
36
1.0000000000000000
37
94.4594321057395661
38
75.6348920274320733
39
79.8133078157185025
40
79.7972656112021497
41
1.0000000000000000
42
22.8638438584422445
43
63.4604074002185214
44
24.9621612534291586
45
67.7088978214862038
46
63.2175723913694370
47
1.0000000000000000
48
78.4997751650497833
49
70.6043830793106508
50
1.0000000000000000
51
68.0607185627610534
52
10.4275903846520972
53
1.0000000000000000
54
61.2915842645488738
55
1.6176770481825531
56
98.4631332574509628
57
52.0613993736768066
58
1.0000000000000000
59
3.2947432247325881
60
27.9788541062473293
61
9.5004505987358989
62
47.1668808837062556
63
89.5651926133286196
64
1.0000000000000000
65
29.0561328776924519
66
36.1282752532567812
67
1.0000000000000000
68
59.7351195251566622
69
91.7434353667406413
70
1.0000000000000000
71
88.3303603245039000
72
3.7234363595685771
73
64.8018666980633924
74
4.4954510240717056
75
1.0000000000000000
76
11.7424885459855517
77
35.0007469746296493
78
59.3306758553735278
79
26.4450826803811836
80
34.3831428300286674
81
1.0000000000000000
82
81.0550597126603520
83
92.9743187848622199
84
1.0000000000000000
85
98.5654613795892089
86
60.9828618618812470
87
1.0000000000000000
88
1.5235820970227132
89
57.8666386479424801
90
14.7372014324263390
91
7.2780253109648418
92
1.0000000000000000
93
53.4886619910979420
94
92.3606651159247463
95
40.1581000497166798
96
43.9026137385029358
97
0.4825220396063035
98
1.0000000000000000
99
36.5909624775457942
100
28.6718769410505239
101
1.0000000000000000
102
77.5148807627158334
103
13.4738330107476934
104
1.0000000000000000
105
37.7451475812522617
106
9.2894182808474053
107
56.9258590396789970
108
67.1896532792194847
109
1.0000000000000000
110
61.7917784921734636
111
84.0313909625514412
112
26.9908602913503941
113
11.1425886729025976
114
75.0989771953099705
115
1.0000000000000000
116
78.0941428170851424
117
75.4515136411031335
118
1.0000000000000000
119
58.1765873305677559
120
27.9432064178337107
121
1.0000000000000000
122
16.2336957799172232
123
18.8185836561092543
124
34.7869118134816446
125
53.6327102797624846
126
1.0000000000000000
127
30.0216343257167075
128
56.3896013789543886
129
66.2125956965259945
130
88.2692725788390362
131
40.9630677215469063
132
1.0000000000000000
133
2.3481492332619425
134
34.8271832400068675
135
1.0000000000000000
136
6.3254735824766044
137
87.8964223284996820
138
1.0000000000000000
139
33.9210737928690378
140
37.1668173652648477
141
40.7648287531567206
142
75.8134234384552599
143
1.0000000000000000
144
72.7492263356891300
145
31.6284572987601145
146
46.5757792784074951
147
24.8782470085727851
148
30.5102369675512293
149
1.0000000000000000
150
23.1293448714571142
151
31.1943822446228758
152
1.0000000000000000
153
79.3676655072665227
154
12.3120695503020841
155
1.0000000000000000
156
48.9514725029380955
157
81.2874761415076534
158
97.5268077345592843
159
14.8880597071128875
160
1.0000000000000000
161
38.5282850896769418
162
40.1471475445332260
163
12.4525260009792476
164
31.9267894286912046
165
52.7379537835414141
166
1.0000000000000000
167
32.1687186106397576
168
86.5716388590979733
169
1.0000000000000000
170
75.3939950485258237
171
44.6410039308558382
172
1.0000000000000000
173
59.6556558941748847
174
46.3091272652070955
175
5.2050808520355929
176
40.4515113347672397
177
1.0000000000000000
178
97.9101032327859855
179
94.5415351560960744
180
40.7240981975630163
181
58.0415665800216729
182
98.5041228841797647
183
1.0000000000000000
184
63.1926284302415482
185
13.3533227963728898
186
1.0000000000000000
187
12.7667996354341007
188
99.8179022228136290
189
1.0000000000000000
190
70.7622884087180637
191
24.1325782186458966
192
55.5566804397988889
193
36.8022864855877287
194
1.0000000000000000
195
95.6436974368810411
196
64.7916547986228437
197
58.0726742763387733
198
79.7492461534500876
199
48.0721611168230396
200
1.0000000000000000
201
95.0985941928282301
202
48.7843832975850660
203
1.0000000000000000
204
19.8520961384514472
205
15.3113887013487613
206
1.0000000000000000
207
85.2568618450803513
208
76.8277403802255776
209
43.1619790838868482
210
26.1249884451849610
211
1.0000000000000000
212
14.0335935833886936
213
77.3713885141397810
214
45.9122905244176778
215
66.3175107622425060
216
19.4818838927726112
217
1.0000000000000000
218
70.1383532492176442
219
4.3243524183356303
220
1.0000000000000000
221
99.4924965395338177
222
75.3203488485987407
223
1.0000000000000000
224
48.1006232859933789
225
61.0186450022624172
226
64.9622219951100988
227
26.4061352997030028
228
1.0000000000000000
229
84.6550112693843744
230
92.1399846000821157
231
36.0441402157203541
232
91.4817909378215575
233
17.5960272124610313
234
1.0000000000000000
235
71.2812507137074789
236
79.4480882934515193
237
1.0000000000000000
238
2.9694086425838595
239
16.4213169644659374
240
1.0000000000000000
241
50.0100658179366775
242
76.2251757625022037
243
74.0488715672647118
244
96.5397122039794766
245
1.0000000000000000
246
82.3512472371072022
247
27.8685417443670929
248
97.7448556208347696
249
98.4807812810721828
250
57.7541987555734124
251
1.0000000000000000
252
73.2445056141666271
253
62.1137117269002417
254
1.0000000000000000
255
28.0792951282581207
256
52.3962805106272356
257
1.0000000000000000
258
84.6060570021597300
259
41.3257964521016490
260
72.5534978391919338
261
55.8842371921347763
262
1.0000000000000000
263
60.2683711321880793
264
50.8071034318398844
265
24.1543790799466080
266
2.8868963128820591
267
46.9247240101520831
268
1.0000000000000000
269
55.1826021088112526
270
19.0400377861558958
271
1.0000000000000000
272
84.6035634760226429
273
95.0383219976935152
274
1.0000000000000000
275
73.4735109188796542
276
33.4697785531816265
277
46.4919645035777620
278
42.4764088812948586
279
1.0000000000000000
280
88.6935255247342695
281
45.1644395501101172
282
9.2427301242178572
283
60.8663188840263700
284
20.0754388635463137
285
1.0000000000000000
286
84.0097992787498242
287
27.1013864545944223
288
1.0000000000000000
289
81.1187823865553099
290
99.7166118053947486
291
1.0000000000000000
292
86.6296420291290730
293
64.1781728426546749
294
33.3229126889179952
295
92.8208867252452876
296
1.0000000000000000
297
52.0203343739718918
298
4.6777316103648552
299
41.6903954636796001
300
97.7526323337828131
301
1.7624079984182472
302
1.0000000000000000
303
93.2236824066357173
304
94.3139132353375231
305
1.0000000000000000
306
19.1337646489669773
307
48.9799615863903313
308
1.0000000000000000
309
36.3769207957419169
310
77.9381755314174995
311
56.5897111576087894
312
67.7992301383607554
313
1.0000000000000000
314
19.9250024817746905
315
1.6440720737235792
316
67.7212373174713065
317
78.8556084170504761
318
8.7378040170894682
319
1.0000000000000000
320
33.6262971362421439
321
62.5541022420393986
322
1.0000000000000000
323
20.0842179707700126
324
27.6239317722143376
325
1.0000000000000000
326
89.6441290582448858
327
17.5362494106089386
328
50.4752630205624868
329
31.1820761958558350
330
1.0000000000000000
331
78.9912450010055665
332
26.7241837560674114
333
42.4661251099236026
334
3.6428783957677902
335
46.4793778463784477
336
1.0000000000000000
337
65.0450395672550741
338
34.4374991424698536
339
1.0000000000000000
340
72.7026433000623342
341
13.3565120952620742
342
1.0000000000000000
343
45.9258473340142146
344
53.5882516010608754
345
23.5497243019399569
346
14.5369536505908226
347
1.0000000000000000
348
99.5319267397334073
349
99.7694728758702496
350
93.2337778128861601
351
27.1201821953549569
352
22.3898427514808596
353
1.0000000000000000
354
23.2270140242901064
355
75.5861904569387093
356
1.0000000000000000
357
34.2902115439099120
358
46.7270928181514975
359
1.0000000000000000
360
80.9405602600684517
361
35.9072473415786177
362
85.7037128341732313
363
38.9028696556244640
364
1.0000000000000000
365
73.6107243883621436
366
42.9426223567275258
367
92.4415073837425183
368
20.3434735582704853
369
6.8571373537326679
370
1.0000000000000000
371
20.4524783833154302
372
43.1650700462200447
373
1.0000000000000000
374
37.7229863363419327
375
37.6333965427295496
376
1.0000000000000000
377
57.7118373993912215
378
34.1761018841500217
379
12.0323458383250212
380
28.1952119272593329
381
1.0000000000000000
382
67.4391418937626668
383
83.0561217753028274
384
57.7634234469632162
385
35.4197250122062712
386
71.0935588422198350
387
1.0000000000000000
388
5.9432418872430119
389
96.4948705662107500
390
1.0000000000000000
391
73.1366774190436644
392
74.7029982048698855
393
1.0000000000000000
394
43.9072960784121378
395
95.6554508275317517
396
40.2382351666708686
397
36.3727434912237015
398
1.0000000000000000
399
47.4100246346969101
400
37.0852958759873914
401
49.4110581196680911
402
77.8586323127574076
403
48.1243350476064933
404
1.0000000000000000
405
38.2962038936523825
406
91.6040677515234876
407
1.0000000000000000
408
11.5527190199165695
409
17.3521860773232071
410
1.0000000000000000
411
1.1560743323015377
412
31.3107066678416928
413
2.1765814170209730
414
84.9939967227731330
415
1.0000000000000000
416
23.5623353493221153
417
93.8273051930791269
418
84.8860517449884782
419
2.6325040736403960
420
33.1366320094977453
421
1.0000000000000000
422
19.4408410393748774
423
52.7922556899058648
424
1.0000000000000000
425
45.3015055987451518
426
11.6417264944005954
427
1.0000000000000000
428
33.3266157424494693
429
88.9831286657593097
430
23.4966982368106869
431
51.9670346789998803
432
1.0000000000000000
433
79.4528906512971815
434
6.0355807554558716
435
72.4851243153116940
436
97.9657493755185698
437
23.2742058333226147
438
1.0000000000000000
439
52.2247141320060990
440
89.4118684964489603
441
1.0000000000000000
442
40.3666895505543337
443
62.7423696944849567
444
1.0000000000000000
445
99.9339264974671693
446
5.4361291068432465
447
35.1715281623518976
448
3.6557469075446658
449
1.0000000000000000
450
59.6702028171988346
451
50.6050442802926241
452
46.6343662391012899
453
80.4894747909752510
454
11.1676435582782290
455
1.0000000000000000
456
80.8169022070022720
457
26.8644984719020670
458
1.0000000000000000
459
54.8503941218426192
460
37.9033894761904833
461
1.0000000000000000
462
9.2360380155242723
463
88.1859852880528763
464
22.6674941793402205
465
5.8897225777742035
466
1.0000000000000000
467
48.0757338384311552
468
51.3765061335413975
469
68.4856309422049208
470
22.0230860385004625
471
27.0666978816016410
472
1.0000000000000000
473
47.8983506382585489
474
77.6830033815164001
475
1.0000000000000000
476
77.1275405550511977
477
1.8413330979057840
478
1.0000000000000000
479
24.8458988837917616
480
64.8786687882100210
481
80.5762989080472352
482
41.4970749481470165
483
1.0000000000000000
484
40.2826703801713180
485
15.7933458560909799
486
33.9516700587326952
487
16.8762277737671837
488
81.7138175509186055
489
1.0000000000000000
490
16.9052867247127772
491
90.1018611868467616
492
1.0000000000000000
493
19.2466801648908188
494
45.6378575983654713
495
1.0000000000000000
496
9.6066515495520139
497
45.8149993550257193
498
90.1017895917620280
499
91.1018150708555794
500
1.0000000000000000
501
45.4066595130929187
502
46.4514320827159395
503
36.5348071298837738
504
24.9224642746484477
505
94.0634267261230690
506
1.0000000000000000
507
37.6602254034949482
508
4.4867939387354339
509
1.0000000000000000
510
32.5900682310651959
511
67.5267183720224580
512
1.0000000000000000
513
97.2274904931484230
514
50.8905603629643508
515
75.1430061904138142
516
85.1321397466001173
517
1.0000000000000000
518
71.7545041028934634
519
4.8449655150463737
520
98.3407877810089985
521
64.4875855079454681
522
22.4902300921196456
523
1.0000000000000000
524
57.9523703643234924
525
78.9843781600968953
526
1.0000000000000000
527
93.1437900827143324
528
90.1060096559482417
529
1.0000000000000000
530
45.4254291234428251
531
71.9705886749076313
532
9.4455056749607973
533
28.5312513526446807
534
1.0000000000000000
535
69.4165691243393042
536
65.1410931277738570
537
33.6778196980489071
538
76.7725383949591418
539
48.0772353462610482
540
1.0000000000000000
541
1.6288801396057817
542
9.7831279781320664
543
1.0000000000000000
544
40.6059326988750158
545
51.7147713999430039
546
1.0000000000000000
547
83.5708899252587400
548
23.5598020397761658
549
47.9880587365536186
550
92.7983668949410259
551
1.0000000000000000
552
93.7076443304958673
553
54.9718561151846998
554
57.9357986558787204
555
67.8547458155704248
556
89.5332627369091512
557
1.0000000000000000
558
11.4087253711931176
559
39.9236961944934663
560
1.0000000000000000
561
43.3238209894710380
562
53.8402882044861784
563
1.0000000000000000
564
89.8520452260397207
565
92.9434941615910901
566
58.8563768965542877
567
66.0204750456261706
568
1.0000000000000000
569
55.3462421875551414
570
6.5813342612036418
571
43.4375244858137179
572
31.6549671049665129
573
15.3827410427148870
574
1.0000000000000000
575
2.2295896108392221
576
48.3545605760427790
577
1.0000000000000000
578
23.6123654211339726
579
63.2911635027719441
580
1.0000000000000000
581
77.4438316837166241
582
72.8790504710752600
583
50.4950927370188083
584
87.8834971387666997
585
1.0000000000000000
586
29.1815897585377400
587
47.0062406349379316
588
92.1531572799663223
589
93.7717581308159254
590
58.1140364787604113
591
1.0000000000000000
592
45.8144671874659366
593
62.5089949131582969
594
1.0000000000000000
595
9.0090566577388671
596
33.3953851635740406
597
1.0000000000000000
598
77.3231065764240668
599
83.0947584869053060
600
47.5727171620560441
601
34.2706737663355767
602
1.0000000000000000
603
82.2330812135463276
604
24.4669051557514621
605
58.8179455532548161
606
48.4739685774552953
607
37.2398528972694436
608
1.0000000000000000
609
18.6970832426357596
610
60.0248423826488136
611
1.0000000000000000
612
90.4524755916173291
613
40.3892352382211968
614
1.0000000000000000
615
94.4479985356107932
616
96.5806915573206766
617
28.6243809092938228
618
96.7380191059238541
619
1.0000000000000000
620
84.0208257977765527
621
30.6445901055740997
622
1.3386368466428822
623
37.4575220382606062
624
48.2711273251112871
625
1.0000000000000000
626
43.7567204641883620
627
69.8623625948333284
628
1.0000000000000000
629
94.6181908655438946
630
43.5145979789276822
631
1.0000000000000000
632
14.6115987685073616
633
24.5994281621794038
634
15.8196612645364549
635
71.8425279926910605
636
1.0000000000000000
637
58.1496868638686308
638
40.3340555201234565
639
75.8405089899780336
640
25.2000726923378835
641
64.3826697759647288
642
1.0000000000000000
643
66.6372053256667272
644
97.8987114921173713
645
1.0000000000000000
646
12.0988789033096502
647
79.8537749926259437
648
1.0000000000000000
649
81.3101925918175112
650
78.8541488952034371
651
56.4502413589809464
652
3.1872611622514202
653
1.0000000000000000
654
87.9478778317869967
655
23.7534825159244285
656
0.4027171748341773
657
9.6879728913173544
658
62.6599216619327635
659
1.0000000000000000
660
40.6627677730731705
661
16.5299272941818245
662
1.0000000000000000
663
10.1032168836304947
664
36.7221652938374845
665
1.0000000000000000
666
56.8724474499937429
667
45.7334907267983652
668
46.8913408340216122
669
46.1665120046729101
670
1.0000000000000000
671
82.5912546343184459
672
14.6863837366970724
673
60.5038096607448423
674
23.9433872892896744
675
54.2363924292249209
676
1.0000000000000000
677
14.2793131479330597
678
91.6675517777987778
679
1.0000000000000000
680
34.7683456792701406
681
67.3017756712295068
682
1.0000000000000000
683
65.4464036118211823
684
90.9098482027341817
685
95.9051591275421771
686
4.8253124711048372
687
1.0000000000000000
688
92.0279141638942804
689
38.3235805387141397
690
52.6115531305268647
691
56.3659971289503048
692
0.3556592635260314
693
1.0000000000000000
694
88.6429466424259687
695
75.8291165177164146
696
1.0000000000000000
697
0.7581390213028616
698
13.8182028160858454
699
1.0000000000000000
700
14.2622907417657032
701
96.5378903189297830
702
76.1965654349209984
703
89.6399647047758208
704
1.0000000000000000
705
58.3755064814301718
706
56.9470654164476286
707
3.9434843673049058
708
5.0982414914165552
709
51.3398397898329861
710
1.0000000000000000
711
83.4411469161057653
712
26.3696133327075657
713
1.0000000000000000
714
48.6808746560051446
715
62.5098051523456988
716
1.0000000000000000
717
85.2754890497408411
718
51.9130175631234181
719
10.5245028262262004
720
12.6104321827032013
721
1.0000000000000000
722
30.5145227843784959
723
0.4067236967275956
724
47.9714544736037496
725
52.8766960907484531
726
22.6499668202395412
727
1.0000000000000000
728
47.2542518815066472
729
82.5595816948798387
730
1.0000000000000000
731
10.3760421916292760
732
71.5678894990683432
733
1.0000000000000000
734
71.9290018091104315
735
47.2682559882169215
736
58.6591389355154504
737
77.0799737436099264
738
1.0000000000000000
739
28.4343140977707520
740
84.5586087789196625
741
90.5953039478888655
742
70.8313690627209809
743
96.9538250470133107
744
1.0000000000000000
745
52.1817895568863293
746
14.1717267636397253
747
1.0000000000000000
748
31.2332118894281265
749
53.6871967432549511
750
1.0000000000000000
751
84.3343398136804154
752
37.5563077283405136
753
85.7879146075935779
754
64.9075594753073375
755
1.0000000000000000
756
35.1340767042607069
757
93.8441722598387003
758
58.2924000263823530
759
38.4730538485746223
760
66.6405159773617299
761
1.0000000000000000
762
93.2525308647163484
763
36.9948271908803292
764
1.0000000000000000
765
96.5339968139915783
766
39.3534719048027597
767
1.0000000000000000
768
12.6371324637901132
769
52.7540918196329329
770
69.5448156818215324
771
65.0285117101272192
772
1.0000000000000000
773
60.8183083484256528
774
13.2789010335758846
775
40.0024225764782813
776
62.1153800342568303
777
41.1418546557010174
778
1.0000000000000000
779
63.4168651223290567
780
74.3562223783987832
781
1.0000000000000000
782
31.6365229853216263
783
25.0700825891146160
784
1.0000000000000000
785
40.1912997069724724
786
50.6024219423644155
787
12.8555731367397836
788
90.6326505666459070
789
1.0000000000000000
790
82.0015748527337109
791
54.9123440524083719
792
3.5715202684914571
793
49.4903181090436632
794
43.9952960090387890
795
1.0000000000000000
796
98.0033179624036848
797
72.4295021022426226
798
1.0000000000000000
799
22.5997323168729345
800
0.1309838999984492
801
1.0000000000000000
802
42.1829239657665056
803
16.3371464686528860
804
97.8814380044304500
805
71.6743854912339202
806
1.0000000000000000
807
49.0615965593347880
808
33.1942891529663413
809
65.7887178925413991
810
62.2682274408798193
811
3.6144093797264465
812
1.0000000000000000
813
32.4366397705774361
814
5.9931044303163432
815
1.0000000000000000
816
62.7700970978938599
817
56.3590706981523724
818
1.0000000000000000
819
48.0412343893316773
820
10.0570512494943305
821
39.8365349121830761
822
64.4504217504914010
823
1.0000000000000000
824
66.9929647604569993
825
15.8270210725148566
826
41.4559501366279974
827
5.6967569514367771
828
91.6818957528715259
829
1.0000000000000000
830
53.7309240397757506
831
31.2283939216359556
832
1.0000000000000000
833
97.5239820081718278
834
67.1963661820492177
835
1.0000000000000000
836
87.1145123316930636
837
55.3198441280607796
838
31.7291715164696129
839
5.1507971650583624
840
1.0000000000000000
841
18.0679707118361357
842
84.4721640274171648
843
64.8313691741791160
844
52.9838120565165198
845
48.2354178668237950
846
1.0000000000000000
847
78.5096983641413999
848
8.4063737418573652
849
1.0000000000000000
850
1.6491106947788770
851
58.3742377620844124
852
1.0000000000000000
853
43.5882481157957216
854
56.9764164908978756
855
7.4804024882236924
856
39.6521636247581171
857
1.0000000000000000
858
31.0724038250458570
859
0.8879820584978382
860
4.2313127887016915
861
16.2588818967165274
862
43.9540624992612905
863
1.0000000000000000
864
0.1629914252375131
865
24.1835939129426123
866
1.0000000000000000
867
43.6436149646793865
868
67.5472662699733633
869
1.0000000000000000
870
46.6332107295645102
871
31.2731298793367927
872
24.6531761720167317
873
57.0692257542775323
874
1.0000000000000000
875
57.9900478055229627
876
18.5514893164350667
877
81.2999149686477267
878
98.2694320983850531
879
93.9383780079915454
880
1.0000000000000000
881
19.1644371313697732
882
5.0155146370675201
883
1.0000000000000000
884
97.2779825234092357
885
74.6843475481290113
886
1.0000000000000000
887
71.3806339095194886
888
17.1889024229725180
889
80.4701430087625909
890
94.6868290194806121
891
1.0000000000000000
892
18.1432467470214362
893
69.1892098759838632
894
54.8267248016930751
895
63.6997705826985481
896
45.1327072583984545
897
1.0000000000000000
898
55.8873526672034941
899
55.9547401767001489
900
1.0000000000000000
901
10.7284815275028649
902
77.0622865928681477
903
1.0000000000000000
904
88.4989445910594839
905
96.7601438112516377
906
5.6492164772684150
907
9.5829069217604363
908
1.0000000000000000
909
31.4157927772290471
910
24.1692061959579938
911
70.7597346885633982
912
17.5415702766773656
913
97.0858923284301625
914
1.0000000000000000
915
23.2267521664209937
916
34.4871642530839821
917
1.0000000000000000
918
73.3652728253870805
919
70.5721678891876394
920
1.0000000000000000
921
12.4145328498286194
922
34.1283264550671461
923
54.9745493916746284
924
94.1784195829462334
925
1.0000000000000000
926
77.8194538167300323
927
33.5514819318648776
928
57.6706278715611731
929
6.0586171714076542
930
87.0093982083140247
931
1.0000000000000000
932
22.5982279074207000
933
80.8226463724017634
934
1.0000000000000000
935
27.4467239176640305
936
36.1669212465480996
937
1.0000000000000000
938
35.0328761161241218
939
6.7557732856039499
940
97.0778870862029493
941
86.0204645292530330
942
1.0000000000000000
943
73.6522625368140211
944
35.2608255814915594
945
51.5001710097579632
946
43.6552256693256027
947
29.0043796793718620
948
1.0000000000000000
949
39.5428834765834338
950
13.7684251998961500
951
1.0000000000000000
952
80.7508545065805237
953
46.2654872949296774
954
1.0000000000000000
955
69.6827132748269662
956
23.9847818225092055
957
62.5960141116476763
958
81.5483613161941463
959
1.0000000000000000
960
28.5764654597399179
961
54.8319584008012058
962
14.9144033499198141
963
17.0436979391770507
964
59.2903400598618688
965
1.0000000000000000
966
49.4971413599494170
967
42.7380179946086685
968
1.0000000000000000
969
52.6981340060188401
970
85.3067326916499411
971
1.0000000000000000
972
79.4041026305145436
973
92.7636456491418500
974
15.9997061501945819
975
95.8316963093775485
976
1.0000000000000000
977
67.6518380734526232
978
26.7762390563290218
979
54.0786881339204584
980
28.3853973156642390
981
9.3906142592743329
982
1.0000000000000000
983
51.1280434482277641
984
13.1283085258697696
985
1.0000000000000000
986
98.4082304027684529
987
79.7350331173464753
988
1.0000000000000000
989
71.3380774599160929
990
2.0952999101132130
991
14.7863606723272376
992
9.7685041774782100
993
1.0000000000000000
994
51.6879186928309480
995
42.1292107134336717
996
53.5559148206148379
997
45.5470047161926601
998
14.1005949756418900
999
1.0000000000000000
1000
98.4244662446345728
1001
81.5567515326093826
1002
1.0000000000000000
1003
14.8428092107421250
1004
67.2925512682865445
1005
1.0000000000000000
1006
64.4462930532345553
1007
83.4754718907733064
1008
50.2200791678160883
1009
54.6908759328402212
1010
1.0000000000000000
1011
47.8771798702197415
1012
49.1638860782914620
1013
84.4070305433707233
1014
48.3369458543682384
1015
14.3795863399393102
1016
1.0000000000000000
1017
11.2213573693301871
1018
75.7578564765277918
1019
1.0000000000000000
1020
44.4397316476833666
1021
8.2523851191150914
1022
1.0000000000000000
1023
64.6279974176323293
1024
79.8473865262928086
1025
48.7138968602044500
1026
38.7644034580800536
1027
1.0000000000000000
1028
51.7690414909873908
1029
42.5092697079566193
1030
34.2076983503364360
1031
57.3584943882076459
1032
50.4870237017927010
1033
1.0000000000000000
1034
11.8430401057089796
1035
79.0336315505704334
1036
1.0000000000000000
1037
28.5912257483096006
1038
74.4765104015517920
1039
1.0000000000000000
1040
28.1121988080272125
1041
30.1956663120438549
1042
44.2474419284253315
1043
76.2913769721323405
1044
1.0000000000000000
1045
16.7258675203107003
1046
14.9980910783006678
1047
33.8905313318424533
1048
81.7106489105668032
1049
34.2540332292218395
1050
1.0000000000000000
1051
44.1016893505254401
1052
30.1757004497908312
1053
1.0000000000000000
1054
41.0091159720422098
1055
72.9400709620639134
1056
1.0000000000000000
1057
62.0543913339589110
1058
92.0191180216789633
1059
0.2142035889023175
1060
15.7602878607235866
1061
1.0000000000000000
1062
14.2643257487464865
1063
52.3536337365946878
1064
60.2670542047053033
1065
70.4370151796287729
1066
74.7631717490634458
1067
1.0000000000000000
1068
39.6828761653324378
1069
57.1433511496217150
1070
1.0000000000000000
1071
77.0652906264554645
1072
29.4478533440854271
1073
1.0000000000000000
1074
66.2188436653335799
1075
50.2931847322314027
1076
98.4762594282838677
1077
13.5613231069064639
1078
1.0000000000000000
1079
89.3086070974983670
1080
23.8207704246023120
1081
85.0027615522570699
1082
98.5167026193268214
1083
86.2495595301682414
1084
1.0000000000000000
1085
42.4248448070368909
1086
80.0892626352016492
1087
1.0000000000000000
1088
32.7082855957896541
1089
73.6279687118325370
1090
1.0000000000000000
1091
21.2297745549404269
1092
68.2497437955597519
1093
78.5556908483107890
1094
72.5604024599867330
1095
1.0000000000000000
1096
70.1680500607290298
1097
36.4639593720848865
1098
19.8075089771254227
1099
43.9523855993631116
1100
80.5167166002062800
1101
1.0000000000000000
1102
71.7213467408536047
1103
82.6398373120436247
1104
1.0000000000000000
1105
29.7498436528651169
1106
87.2526377752056277
1107
1.0000000000000000
1108
28.8052847595678614
1109
76.8244690213336696
1110
68.8224714295983659
1111
2.4855878170793266
1112
1.0000000000000000
1113
0.6635407188172682
1114
92.2263414809000750
1115
89.1328478872516428
1116
65.8498486857162675
1117
39.1924345818655837
1118
1.0000000000000000
1119
97.1367664298034299
1120
66.8724382552060490
1121
1.0000000000000000
1122
12.9282511748861300
1123
48.3860448326155392
1124
1.0000000000000000
1125
66.5666175676035721
1126
28.8698421439536403
1127
94.5163885122285166
1128
94.3397825388718019
1129
1.0000000000000000
1130
33.6315549915495851
1131
39.4970627320997778
1132
34.1714230326636255
1133
99.7910159566122417
1134
21.4032547824976476
1135
1.0000000000000000
1136
86.6749119938512820
1137
94.1748214789592311
1138
1.0000000000000000
1139
36.1752260630916496
1140
99.0004305149944344
1141
1.0000000000000000
1142
87.3476915974360253
1143
47.4474573232917507
1144
15.1111555841487828
1145
35.2017880037345776
1146
1.0000000000000000
1147
40.7980604995858727
1148
88.1757829928788652
1149
66.5440014976716014
1150
52.8983105022134197
1151
55.0657477076607478
1152
1.0000000000000000
1153
94.6993418010266765
1154
29.4944617089156651
1155
1.0000000000000000
1156
78.7036285969276008
1157
2.8407369461158072
1158
1.0000000000000000
1159
54.3048040340462279
1160
68.6031507080299718
1161
19.4937995340868433
1162
23.5583105403874065
1163
1.0000000000000000
1164
46.3295426973149986
1165
95.7770670583952324
1166
79.6422002134363964
1167
81.2232195538394279
1168
65.9140650300483486
1169
1.0000000000000000
1170
26.6747934927397239
1171
75.9277320233953645
1172
1.0000000000000000
1173
34.6369436263640154
1174
14.4800632381934076
1175
1.0000000000000000
1176
32.3228139426173016
1177
13.1278495763233689
1178
31.0965551093176487
1179
41.0738935127965874
1180
1.0000000000000000
1181
92.6926922170753329
1182
95.1563501679420796
1183
10.9589698020795758
1184
40.8755402030534754
1185
51.7291355521415994
1186
1.0000000000000000
1187
30.4869195232482681
1188
94.4684205748189356
1189
1.0000000000000000
1190
89.0583873597941817
1191
89.3067808984854992
1192
1.0000000000000000
1193
38.8958832478208620
1194
29.5839079875536477
1195
60.8122304712579478
1196
12.6188714456976552
1197
1.0000000000000000
1198
42.5692953375897858
1199
6.7613225413793892
1200
21.9336262586824269
1201
37.5849973365133252
1202
49.1183364290242039
1203
1.0000000000000000
1204
81.5652941978198101
1205
48.8606384436187753
1206
1.0000000000000000
1207
92.2406117492527784
1208
63.8575051528169055
1209
1.0000000000000000
1210
79.9363868194509450
1211
40.3916132321273125
1212
22.7364476667777495
1213
61.7371326933116151
1214
1.0000000000000000
1215
98.2113320986277500
1216
43.3091257190635233
1217
48.4698951675499359
1218
60.8243806860927947
1219
55.5564657808648263
1220
1.0000000000000000
1221
67.2239109003543120
1222
89.7713273181909130
1223
1.0000000000000000
1224
53.1746076841644779
1225
15.3628856192741914
1226
1.0000000000000000
1227
87.2940344486772943
1228
69.4557983659825737
1229
86.6224036709098328
1230
91.4514209543852417
1231
1.0000000000000000
1232
2.7915344474680359
1233
15.3359080393838276
1234
38.3458024389211403
1235
23.8259323841182855
1236
51.1117297185708281
1237
1.0000000000000000
1238
74.1580661736164330
1239
11.9009954526609008
1240
1.0000000000000000
1241
97.1773617627945612
1242
13.3313857562507465
1243
1.0000000000000000
1244
24.2073932773280482
1245
26.3771961443092451
1246
51.5361407482210581
1247
71.4891073585722552
1248
1.0000000000000000
1249
84.9947791183598582
1250
2.9920996267438160
1251
37.4501799959184964
1252
80.3130842594930954
1253
75.4810441409314876
1254
1.0000000000000000
1255
52.8951343191306620
1256
60.7832598224371736
1257
1.0000000000000000
1258
54.8467145197067723
1259
95.2512694776711299
1260
1.0000000000000000
1261
79.3224863135320533
1262
37.0890912302294069
1263
94.6246225668886893
1264
72.0139617217620867
1265
1.0000000000000000
1266
2.1801656234180733
1267
83.0344092041567023
1268
79.0936886992228523
1269
57.4170444043199169
1270
45.4723713542656611
1271
1.0000000000000000
1272
28.8189590079575879
1273
92.1976519957358533
1274
1.0000000000000000
1275
8.8983353845251365
1276
74.5955430803541049
1277
1.0000000000000000
1278
20.5306837136866029
1279
57.3524421193252394
1280
39.7300024372832610
1281
45.2888543172300757
1282
1.0000000000000000
1283
14.9096448111093345
1284
46.0020830546844834
1285
36.1375079847657616
1286
0.9628203006412872
1287
42.8152733444020512
1288
1.0000000000000000
1289
33.9068632931729397
1290
43.8336296938869552
1291
1.0000000000000000
1292
2.7020908098416951
1293
91.3511806491388967
1294
1.0000000000000000
1295
44.6242339399950296
1296
47.0307851182211394
1297
98.0241473277076238
1298
51.9230647796780289
1299
1.0000000000000000
1300
14.1335226921058492
1301
13.1807532006907540
1302
14.9715342136738538
1303
42.8209895883174809
1304
27.4628912174356934
1305
1.0000000000000000
1306
40.1976629970888268
1307
60.0390783090866549
1308
1.0000000000000000
1309
68.7924942645834676
1310
3.0487226375608412
1311
1.0000000000000000
1312
18.0133258727040015
1313
29.7636210272452146
1314
76.6452414948988690
1315
98.0036592309829331
1316
1.0000000000000000
1317
98.7920839075061821
1318
96.2522674607117921
1319
9.7109547264390130
1320
16.8417504203443684
1321
32.5968036387195212
1322
1.0000000000000000
1323
92.1242796031621509
1324
21.6239301979893490
1325
1.0000000000000000
1326
38.3854337881397001
1327
47.5194506935232823
1328
1.0000000000000000
1329
68.9253009414442630
1330
94.4665212083908159
1331
42.6854478788010852
1332
47.4840492240570669
1333
1.0000000000000000
1334
88.5254731140505982
1335
16.6445597032488308
1336
2.1686092363446985
1337
25.5342411310922373
1338
93.6836424363384026
1339
1.0000000000000000
1340
82.7338654680099523
1341
5.6142178709981057
1342
1.0000000000000000
1343
28.0168932083258007
1344
93.8083085461520056
1345
1.0000000000000000
1346
69.4430767303541217
1347
71.9665613360614884
1348
31.3324864423545897
1349
5.7188560462912097
1350
1.0000000000000000
1351
42.4910423012488039
1352
90.5682106663318933
1353
3.8362077089374780
1354
18.9542189762747846
1355
0.7131454389317393
1356
1.0000000000000000
1357
49.6753734539782812
1358
49.4894253791456578
1359
1.0000000000000000
1360
84.1492846173114231
1361
54.0783770521472746
1362
1.0000000000000000
1363
8.7364140580284513
1364
51.0566110474157213
1365
91.1639083607349079
1366
21.3097890353277855
1367
1.0000000000000000
1368
30.2098809608158270
1369
38.1464175365931695
1370
27.1473137561713536
1371
0.6929221196722124
1372
12.2015792661210316
1373
1.0000000000000000
1374
30.6522943373918046
1375
39.8609095318269624
1376
1.0000000000000000
1377
77.8821143517617998
1378
68.2569488125463550
1379
1.0000000000000000
1380
67.6877670892766332
1381
25.9459789347393901
1382
75.1328286533746876
1383
98.9975420923723561
1384
1.0000000000000000
1385
80.1487962339881506
1386
66.4833832475169118
1387
99.7953829421564365
1388
25.5588627914406494
1389
88.1800113904718899
1390
1.0000000000000000
1391
42.8934579338574693
1392
41.9249482522787815
1393
1.0000000000000000
1394
25.7976275167121862
1395
14.4981460501430455
1396
1.0000000000000000
1397
7.7924542686880756
1398
32.1941078239846945
1399
93.7469092057203994
1400
87.7718028482412223
1401
1.0000000000000000
1402
85.3126681988839408
1403
36.8689083748345183
1404
22.6391704754719143
1405
74.2747069563189086
1406
5.4539151466128422
1407
1.0000000000000000
1408
15.4705145512420543
1409
91.5338949967680264
1410
1.0000000000000000
1411
19.8479869132771718
1412
64.6459014649177846
1413
1.0000000000000000
1414
94.3275361675277395
1415
19.4828314345004152
1416
79.1761344896392814
1417
41.4097938752681216
1418
1.0000000000000000
1419
30.4162855600199507
1420
43.8991914924184741
1421
58.9685547394375860
1422
64.1063337931033743
1423
77.0860369195415132
1424
1.0000000000000000
1425
69.9645910714696981
1426
30.4789487590126242
1427
1.0000000000000000
1428
63.6155066428597280
1429
40.3557495463140015
1430
1.0000000000000000
1431
66.4867992694601071
1432
44.2716551713808286
1433
17.3405364387275718
1434
20.3215763535730360
1435
1.0000000000000000
1436
0.0533106618447410
1437
7.7412292438902019
1438
69.0305831774993095
1439
28.2731200646595404
1440
6.6553529437873298
1441
1.0000000000000000
1442
9.6798221746050235
1443
78.3075708355616200
1444
1.0000000000000000
1445
65.7396487350522278
1446
98.9662595883069685
1447
1.0000000000000000
1448
2.8489926606254490
1449
1.0314367253173584
1450
59.6740147441769722
1451
71.8486381599436896
1452
1.0000000000000000
1453
29.9554298635744338
1454
22.9823909048427630
1455
77.5263275598899781
1456
30.5256238687403041
1457
45.2687568107618219
1458
1.0000000000000000
1459
15.9549094331664421
1460
71.5715411418500764
1461
1.0000000000000000
1462
80.6110211635544118
1463
30.8613152498857026
1464
1.0000000000000000
1465
60.9243135528963151
1466
2.7505858277108719
1467
65.8986863342351938
1468
76.1438337898909197
1469
1.0000000000000000
1470
72.2295203964527843
1471
51.4564156079348365
1472
79.8428637865755917
1473
87.6678584847307008
1474
55.9277761115451995
1475
1.0000000000000000
1476
10.5910709574909667
1477
4.9271793895010463
1478
1.0000000000000000
1479
38.1781037337407767
1480
31.7406602213571851
1481
1.0000000000000000
1482
98.0821969154295203
1483
66.9977110945756920
1484
19.3154050535161552
1485
43.3773094947755098
1486
1.0000000000000000
1487
19.4733110663246833
1488
52.9528791633395954
1489
58.9385917559179262
1490
89.9606643075161685
1491
24.9905926694307006
1492
1.0000000000000000
1493
34.6506907966088846
1494
35.2471397231992256
1495
1.0000000000000000
1496
65.4289677957404763
1497
2.6130657381763345
1498
1.0000000000000000
1499
40.8522168527233021
1500
19.3837610454434248
1501
14.4436907252844637
1502
18.9023348107579707
1503
1.0000000000000000
1504
95.1836242563468886
1505
89.3169709610844507
1506
5.2885895663235321
1507
37.9188699190188743
1508
23.4857017198901161
1509
1.0000000000000000
1510
36.6150997870782859
1511
83.6408234261826493
1512
1.0000000000000000
1513
52.5713861512834200
1514
78.4608604660437834
1515
1.0000000000000000
1516
52.5310603663344224
1517
48.0051857433230680
1518
64.7771297486123672
1519
94.7990672171451507
1520
1.0000000000000000
1521
8.3266364245358044
1522
37.6892329225392757
1523
10.0747718480903146
1524
18.7693172148638467
1525
78.2025795310487837
1526
1.0000000000000000
1527
56.7126329144386290
1528
6.0807281810041136
1529
1.0000000000000000
1530
15.0197652153376779
1531
68.5315126148100831
1532
1.0000000000000000
1533
65.7521872911118521
1534
34.4895952426570247
1535
71.8583056235780617
1536
38.1242082440602772
1537
1.0000000000000000
1538
28.6225009289893464
1539
94.0254723414548010
1540
95.1653258810327429
1541
78.9337997849365394
1542
59.0166031501626378
1543
1.0000000000000000
1544
72.6143611921743570
1545
51.8456890093993294
1546
1.0000000000000000
1547
66.0082036819501070
1548
33.8535098198240689
1549
1.0000000000000000
1550
74.7596113043201171
1551
71.3717535772782128
1552
75.7726485079380581
1553
62.2500030812470868
1554
1.0000000000000000
1555
75.6387268375842723
1556
40.2848702339818843
1557
75.7184976686039164
1558
88.6835598058173957
1559
20.5086520227047089
1560
1.0000000000000000
1561
31.3045397846299487
1562
16.9061161124628541
1563
1.0000000000000000
1564
80.8162778110365565
1565
38.8888036908259380
1566
1.0000000000000000
1567
24.6353314675346944
1568
60.5972594542131375
1569
65.3503009608007375
1570
68.5625178463042459
1571
1.0000000000000000
1572
32.1805243203398348
1573
31.2045212554478688
1574
81.0414711495509863
1575
11.9449927322206264
1576
10.0827627327441114
1577
1.0000000000000000
1578
5.2799922703563489
1579
5.0850597092635734
1580
1.0000000000000000
1581
77.4199425714198810
1582
22.3157645125648045
1583
1.0000000000000000
1584
73.3428608617043807
1585
35.5699768356942059
1586
78.1055988394660829
1587
64.4737263165272054
1588
1.0000000000000000
1589
85.5829569825046121
1590
91.5990819384065844
1591
37.4353100416610047
1592
18.1474554528671348
1593
18.1838283449799576
1594
1.0000000000000000
1595
51.0628538987177549
1596
80.0097175444960413
1597
1.0000000000000000
1598
63.6759481349368102
1599
72.6399408683811174
1600
1.0000000000000000
1601
51.5167644708934276
1602
5.7347523744343381
1603
4.9179796683566313
1604
0.3598267193733684
1605
1.0000000000000000
1606
13.1409480731935364
1607
78.6547324426694558
1608
5.5687301078786717
1609
5.2945487047484026
1610
47.9842580439825426
1611
1.0000000000000000
1612
59.5442522925889648
1613
21.1544456097648599
1614
1.0000000000000000
1615
13.9193278759585759
1616
85.1499910236587709
1617
1.0000000000000000
1618
13.7927278530750037
1619
34.3462501672660920
1620
77.6312941943212564
1621
24.8056371268321456
1622
1.0000000000000000
1623
91.4936124260388510
1624
66.7212474835296518
1625
12.7422463650901925
1626
16.8600045321477872
1627
58.4491778342849386
1628
1.0000000000000000
1629
87.7702265690213324
1630
92.6619627711390450
1631
1.0000000000000000
1632
31.6971527209857982
1633
14.7294331908633715
1634
1.0000000000000000
1635
24.9734952694707033
1636
38.3977871138981541
1637
16.9255349728415929
1638
1.7919455282834784
1639
1.0000000000000000
1640
29.3137701068321164
1641
1.7281287001273293
1642
1.2316433294153883
1643
8.3191559858843185
1644
56.7954060646282741
1645
1.0000000000000000
1646
30.4850080270784645
1647
4.3678077049386976
1648
1.0000000000000000
1649
17.9639105056471848
1650
20.3144326499905432
1651
1.0000000000000000
1652
50.2979048070594885
1653
48.8939367064545110
1654
27.2912472988774084
1655
82.0873566270120705
1656
1.0000000000000000
1657
96.0454276583647157
1658
57.0393445897994908
1659
49.9270631034735572
1660
33.9689100651851419
1661
74.1791458228856158
1662
1.0000000000000000
1663
15.2167115573633929
1664
89.2800445794488695
1665
1.0000000000000000
1666
7.7772653893521841
1667
29.8839684381278836
1668
1.0000000000000000
1669
73.4441827991126388
1670
46.7416120873063647
1671
58.7953283593728457
1672
30.3380144734530894
1673
1.0000000000000000
1674
31.0473602871274110
1675
76.2945198282389896
1676
20.6263845923510551
1677
30.5625259364868285
1678
67.4895441064076067
1679
1.0000000000000000
1680
19.5128187060313216
1681
47.7816721455243538
1682
1.0000000000000000
1683
87.2481778829955772
1684
35.3193157256731283
1685
1.0000000000000000
1686
6.6638338923988849
1687
34.9172946894973819
1688
91.1837259526325425
1689
56.5252914805182485
1690
1.0000000000000000
1691
37.7367941816559878
1692
46.0896151063259296
1693
29.5112597456475783
1694
30.2705838509104943
1695
45.1067990806770709
1696
1.0000000000000000
1697
1.8213314974194983
1698
78.7221064972459743
1699
1.0000000000000000
1700
43.5335527008518852
1701
80.5044108239005283
1702
1.0000000000000000
1703
67.1405187162113464
1704
10.1027746890414498
1705
71.6895557560933554
1706
48.2882515633920733
1707
1.0000000000000000
1708
68.1178736020578270
1709
82.2199502443146315
1710
76.8826528840269248
1711
77.4119660613322509
1712
1.1906865189902582
1713
1.0000000000000000
1714
73.7211524233708531
1715
29.4667078265771991
1716
1.0000000000000000
1717
1.5676571829215225