Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_rise_test / detect_rise_test_detect_rise_test_input_values @ 0c9457a0

History | View | Annotate | Download (25.1 KB)

1 0c9457a0 bourbouh
92.85017314973065
2
54.03530894053843
3
84.6990248341627
4
54.47724597297531
5
11.579987286001703
6
29.353242693439675
7
68
8
85
9
71
10
9
11
82
12
53
13
52.38723227884391
14
37.91963009053827
15
49.465967364146955
16
16.309669568317688
17
88.70388320711945
18
44.422840659189255
19
12
20
77
21
64
22
11
23
3
24
53
25
0
26
1
27
58.70845348424829
28
3.447418186707396
29
34.694488287017656
30
95.15019452172953
31
33.38003873230606
32
18.988891030149237
33
26
34
71
35
27
36
73
37
23
38
62
39
32.78317613656668
40
32.079404975629046
41
23.314708080996958
42
74.67197635413775
43
18.257907173927656
44
28.849323505249245
45
92
46
9
47
9
48
46
49
49
50
15
51
0
52
1
53
95.02681192031677
54
84.04822269603794
55
23.44162323996163
56
76.74246261213071
57
79.61674292603801
58
77.23728074919396
59
53
60
5
61
97
62
60
63
1
64
83
65
25.56055369360475
66
4.355535460736704
67
55.78870676486605
68
13.683241041767092
69
64.38093488539927
70
26.38204469068772
71
67
72
26
73
94
74
98
75
96
76
75
77
0
78
0
79
71.70115518742695
80
81.03828437857965
81
7.847564824902797
82
46.05547106031963
83
41.93675529405405
84
41.25571290466935
85
50
86
60
87
73
88
92
89
66
90
66
91
98.16863023628173
92
35.79893979633982
93
94.65615047103357
94
57.87303655436682
95
40.237268213400945
96
22.672280846429103
97
1
98
16
99
90
100
62
101
62
102
3
103
0
104
0
105
96.49576613515777
106
81.00853233394632
107
19.23410362156267
108
8.831156333259905
109
5.483562746215687
110
13.25337109118111
111
77
112
30
113
53
114
66
115
53
116
6
117
78.13239394597727
118
78.31632120966538
119
32.09110559270796
120
2.1255420403067493
121
50.345346076383514
122
33.12306126052565
123
44
124
64
125
22
126
27
127
78
128
37
129
1
130
0
131
41.05740723368926
132
79.59266814753757
133
81.49407678698853
134
26.379523208275323
135
63.25486812511328
136
14.163634447413397
137
50
138
32
139
58
140
41
141
73
142
91
143
67.24433718326218
144
94.36620818729101
145
89.24962562065217
146
9.347315243371101
147
7.455253859765487
148
81.51603505936583
149
91
150
99
151
42
152
55
153
51
154
1
155
0
156
0
157
24.88832024776024
158
97.2280812085712
159
12.153589578628111
160
78.11748419303314
161
50.7521548330408
162
99.46783225527366
163
13
164
26
165
9
166
16
167
7
168
15
169
91.92957581243661
170
69.27292294338375
171
21.35411623000819
172
76.19018028705418
173
21.68200643498469
174
84.32852638568605
175
42
176
45
177
71
178
64
179
72
180
79
181
0
182
0
183
91.41174836288486
184
81.95261003857641
185
1.2927363785785073
186
57.93459274580106
187
5.852304078550475
188
0.7821773425570777
189
43
190
19
191
29
192
0
193
98
194
6
195
77.3114837231681
196
34.5619068417807
197
32.510957618544204
198
86.34083299518306
199
10.7796713759425
200
10.56814081640841
201
77
202
58
203
38
204
52
205
63
206
80
207
0
208
1
209
57.76046132970496
210
4.273961912608481
211
66.77992918025096
212
3.327074400081542
213
14.30069507312426
214
29.83950113945115
215
49
216
50
217
19
218
6
219
59
220
25
221
69.9109671733333
222
49.55039028697581
223
19.853488945102495
224
70.91519246447378
225
97.60999147488208
226
62.86267006562058
227
99
228
66
229
45
230
22
231
66
232
41
233
1
234
0
235
95.21427171440831
236
83.50847738421794
237
0.26138234650397996
238
81.91047614264954
239
5.948205100745929
240
40.347437493590945
241
12
242
12
243
73
244
62
245
54
246
74
247
3.7107075134485523
248
47.354013610691524
249
27.998056626977252
250
11.721104958086602
251
74.01031988874553
252
20.55695554468151
253
37
254
37
255
22
256
97
257
80
258
20
259
0
260
1
261
97.88094577860852
262
63.18407666311767
263
88.27168357661775
264
55.22107702222318
265
62.53704116554659
266
33.839780968161506
267
24
268
64
269
3
270
82
271
37
272
61
273
65.659403347643
274
4.467567171408593
275
80.01653034984103
276
44.82397623216563
277
60.20918318570501
278
56.59094189979573
279
98
280
62
281
70
282
41
283
86
284
91
285
0
286
0
287
88.92978222839986
288
95.12808554853353
289
88.68584676372485
290
63.87713030190021
291
33.81356585442268
292
86.18264636261407
293
84
294
44
295
20
296
68
297
57
298
73
299
28.51645499205222
300
4.64953516381027
301
61.173488327452
302
38.171839079040446
303
8.721194701542945
304
59.78357950568627
305
45
306
76
307
13
308
19
309
63
310
76
311
0
312
1
313
3.689267073428426
314
94.37233882883602
315
58.192127986673036
316
72.89076610940339
317
58.59928786847986
318
26.640237144538503
319
63
320
19
321
94
322
92
323
12
324
71
325
77.93318261806547
326
12.989223332452937
327
50.95395514542152
328
63.88462273510809
329
99.25974976736119
330
37.81993686664232
331
59
332
11
333
58
334
75
335
74
336
38
337
1
338
0
339
3.1476716080954703
340
15.120295460294486
341
92.78392261115717
342
77.95313505995736
343
99.01248760785425
344
84.00124300237091
345
48
346
85
347
78
348
3
349
35
350
39
351
83.13994654863288
352
14.36862720652866
353
79.13363798054165
354
85.16712622465286
355
23.33458938704991
356
45.98267515650948
357
91
358
70
359
5
360
57
361
92
362
20
363
1
364
0
365
74.72915405119731
366
79.19368753985874
367
40.64423603890259
368
25.45109078214657
369
26.654495587891557
370
17.72608869114275
371
91
372
19
373
59
374
20
375
18
376
82
377
75.82726067166962
378
0.1952863777317737
379
83.33112297540283
380
96.86337639351333
381
44.20901480554673
382
34.08812686768998
383
33
384
8
385
27
386
12
387
43
388
45
389
1
390
0
391
10.670162386195148
392
60.35472570193908
393
66.25995416673285
394
41.422761008737794
395
73.04790588208948
396
79.99313172224414
397
0
398
83
399
79
400
67
401
86
402
45
403
33.769454392862606
404
58.812495971573355
405
45.19793436988178
406
49.964497082532
407
39.351562469813274
408
91.8414687162798
409
12
410
25
411
85
412
3
413
18
414
89
415
1
416
0
417
22.37049560905492
418
27.036185519551314
419
64.90917918875324
420
77.40189138861531
421
87.41821721229861
422
94.87699498995865
423
81
424
92
425
17
426
8
427
68
428
21
429
14.691648007366586
430
4.5276331123191955
431
38.37664851024345
432
33.60835362052108
433
77.21976177186362
434
27.883925618971993
435
74
436
39
437
55
438
45
439
93
440
10
441
1
442
1
443
74.74590848675375
444
81.67086213577514
445
4.994136839105456
446
50.16953641816212
447
9.875168287392233
448
43.61667420504428
449
57
450
53
451
65
452
8
453
4
454
6
455
80.3118829018305
456
85.88648179339516
457
99.38863857068128
458
38.74034018883662
459
83.81514621682747
460
62.579113354854854
461
14
462
91
463
52
464
69
465
27
466
7
467
1
468
0
469
99.13375962695291
470
39.938576478864526
471
10.376961756153646
472
34.448560414838546
473
64.88053351641668
474
95.32850852349281
475
85
476
49
477
1
478
29
479
65
480
46
481
24.645196171558283
482
8.62407443195975
483
28.612036967579645
484
86.7457522229307
485
62.34176819510833
486
21.648692101946622
487
20
488
11
489
36
490
8
491
37
492
46
493
1
494
0
495
31.976921646346014
496
30.551365268587595
497
2.7265691926694813
498
62.04907940507077
499
96.3875616323011
500
12.48796720974612
501
42
502
0
503
45
504
47
505
4
506
13
507
82.04916126399249
508
17.196529608679757
509
83.37255184499732
510
60.675773316719415
511
91.66577392447692
512
18.232991396427224
513
36
514
64
515
31
516
64
517
62
518
77
519
0
520
0
521
51.07058154484708
522
93.77286520743212
523
84.06784731756622
524
65.62783520110149
525
43.21786118229526
526
93.88899086071281
527
79
528
70
529
94
530
84
531
33
532
12
533
76.23300548705515
534
4.798344585443893
535
12.062108703316488
536
16.581703716378215
537
89.63506739950522
538
95.97090624635578
539
32
540
66
541
27
542
88
543
77
544
39
545
1
546
0
547
84.03742026140097
548
6.475298778866046
549
90.52056689305954
550
98.83044683234851
551
9.922995819366431
552
45.569409704658156
553
96
554
0
555
36
556
65
557
69
558
22
559
51.60624453191812
560
78.41185928972651
561
51.71314095296678
562
61.149601311826096
563
25.307635520778128
564
94.89046574912643
565
7
566
36
567
38
568
77
569
1
570
25
571
0
572
1
573
68.51426450430395
574
97.09567683583906
575
82.36345094698055
576
16.095413289978133
577
84.20104456718795
578
35.576234619867776
579
67
580
30
581
27
582
43
583
33
584
81
585
98.86831014004618
586
28.01881647375254
587
42.44827465567078
588
97.13599405933584
589
57.54734714048835
590
11.963117971488346
591
21
592
72
593
69
594
61
595
48
596
21
597
1
598
1
599
60.62945573521124
600
97.11415028981011
601
24.260714555110606
602
57.613108700826146
603
0.1414761179776569
604
71.34368942157433
605
23
606
30
607
41
608
49
609
43
610
98
611
4.001487133438831
612
46.06725567946655
613
91.56419272028973
614
23.50798925790678
615
98.02168724769902
616
59.15714270949602
617
83
618
49
619
60
620
60
621
13
622
59
623
1
624
0
625
73.61394623483231
626
50.41046645717221
627
94.52901077226072
628
15.2627762747507
629
47.22373039078386
630
23.131022245859178
631
80
632
8
633
25
634
95
635
18
636
66
637
92.97564667319597
638
49.65927989862848
639
98.78837123661435
640
97.58337491939058
641
88.43491529757017
642
88.14258041532862
643
30
644
22
645
38
646
57
647
10
648
49
649
1
650
0
651
87.92513607857396
652
37.23187494444166
653
90.13460067296126
654
95.63264083970869
655
73.76682159208934
656
66.0864770001369
657
26
658
77
659
54
660
1
661
71
662
3
663
51.40954407303981
664
90.0907463099762
665
97.4314707646853
666
48.89646493627353
667
30.355670704997507
668
18.216702485630552
669
79
670
89
671
30
672
77
673
53
674
1
675
1
676
0
677
16.863352954509693
678
97.78315813384827
679
24.982791141063355
680
17.92249332947985
681
70.4526031990014
682
16.17492099360396
683
88
684
25
685
47
686
66
687
93
688
15
689
5.449671794843248
690
4.3619412236793
691
30.978772801532585
692
3.276386455496405
693
50.68001279103942
694
53.35418889268394
695
48
696
26
697
31
698
0
699
37
700
29
701
1
702
0
703
85.40995524954941
704
3.3811962587779076
705
29.076308011813968
706
44.99717089065239
707
16.5992506089216
708
5.928502466243191
709
70
710
68
711
54
712
19
713
54
714
33
715
74.6435598356837
716
95.14993922613094
717
94.4812881438112
718
85.53446763140181
719
17.75057845311705
720
96.90122743618429
721
34
722
18
723
3
724
67
725
45
726
85
727
0
728
0
729
88.7235518894627
730
75.94232251560561
731
58.761945319077526
732
85.81206502694128
733
17.562454603700274
734
85.85720771774221
735
94
736
71
737
58
738
80
739
29
740
28
741
47.839026323261876
742
26.022975255603807
743
38.80484903014242
744
20.23985817108116
745
4.697526641376659
746
11.962565380842548
747
11
748
69
749
21
750
63
751
30
752
73
753
0
754
1
755
76.28421668739244
756
37.772129235500415
757
77.0653051627904
758
28.98022317566562
759
85.2512657038911
760
28.269701982522342
761
92
762
50
763
39
764
43
765
23
766
12
767
18.026997163202918
768
87.21351656303544
769
7.166659257288011
770
51.199169667798074
771
97.82116846311571
772
64.68022931052522
773
35
774
70
775
82
776
73
777
41
778
18
779
1
780
0
781
51.7514690576766
782
33.034910986238216
783
55.89095098833743
784
66.41216025750005
785
1.0212488655634289
786
97.06966079559538
787
57
788
98
789
65
790
2
791
99
792
61
793
18.670335606110566
794
14.078819209850145
795
74.34063931874391
796
58.76866479723256
797
80.98013291247669
798
88.21825864470912
799
96
800
76
801
52
802
32
803
55
804
51
805
0
806
0
807
37.575675610827005
808
49.481857747415916
809
41.96479466909572
810
52.8037327173407
811
87.03819262237144
812
72.3568205448984
813
6
814
64
815
12
816
88
817
54
818
79
819
69.98281151060198
820
18.761878043901103
821
24.692112608872375
822
2.6146697022145116
823
67.22737339684971
824
44.254770583443324
825
28
826
47
827
60
828
49
829
93
830
29
831
0
832
0
833
89.65114675654794
834
18.40049492570497
835
56.96099243387638
836
70.76908896860611
837
1.8277362170979639
838
8.623389675448301
839
81
840
39
841
34
842
16
843
7
844
62
845
35.09455493146879
846
90.76920376123475
847
19.220854814800582
848
48.67138373884674
849
66.37769592364798
850
61.828293898583155
851
41
852
17
853
59
854
49
855
71
856
63
857
0
858
1
859
14.479729572564171
860
78.87227366257353
861
0.6744156305445448
862
79.08441787617761
863
9.605622960446091
864
65.48089398543699
865
38
866
45
867
49
868
55
869
12
870
69
871
42.96359508252614
872
69.52823107417805
873
2.0044696770091464
874
3.402800764319125
875
62.22330333245516
876
92.81077853971111
877
11
878
68
879
32
880
52
881
62
882
19
883
1
884
0
885
64.57025373580666
886
67.8093432135456
887
96.69586257270558
888
7.324279624562258
889
94.80902656505114
890
12.542441451871012
891
1
892
79
893
15
894
69
895
31
896
58
897
97.55486338081428
898
57.650026550464304
899
34.598994181997156
900
9.865335710574307
901
23.65820280749873
902
95.72798189376549
903
21
904
37
905
13
906
2
907
81
908
82
909
0
910
0
911
56.2242056972982
912
72.01480979796138
913
87.62696981257531
914
31.93210339398317
915
79.873985344441
916
86.24922943125527
917
74
918
95
919
82
920
68
921
57
922
0
923
24.862587531408064
924
65.62198853133245
925
46.47338784860364
926
27.168995247556126
927
20.958045372448897
928
73.68136936053946
929
94
930
42
931
81
932
89
933
27
934
84
935
1
936
0
937
95.91448550044078
938
5.75814456617334
939
23.06929718933005
940
32.113758787912296
941
96.82710720423003
942
97.63540854136458
943
76
944
89
945
25
946
67
947
75
948
3
949
65.8676875211248
950
15.03266981514846
951
31.982603015528
952
57.46248618677786
953
1.1041696287448444
954
55.19129648255037
955
7
956
46
957
63
958
1
959
97
960
21
961
1
962
1
963
98.4427543122085
964
97.36115296913765
965
40.37808330044631
966
0.6619215321003069
967
15.839369268546122
968
86.63255378854397
969
94
970
34
971
58
972
46
973
72
974
58
975
72.30175586974059
976
72.9307966982203
977
4.044365437238007
978
76.5337203941781
979
37.57212795917228
980
35.36716288916869
981
78
982
19
983
96
984
98
985
31
986
44
987
1
988
0
989
82.0293618221592
990
11.245224528472274
991
86.04437214366057
992
13.693850959219612
993
7.228934595499403
994
63.99674312191135
995
45
996
75
997
67
998
48
999
37
1000
72
1001
50.839802644694466
1002
81.88085194737174
1003
35.23643628125996
1004
16.148020206771886
1005
28.948486774528515
1006
51.00053911020102
1007
42
1008
18
1009
97
1010
70
1011
40
1012
86
1013
0
1014
0
1015
68.55940073810406
1016
34.04992746825306
1017
76.96000671098071
1018
91.73315130347429
1019
74.23998574886473
1020
42.81392879864001
1021
10
1022
39
1023
54
1024
7
1025
46
1026
69
1027
72.64647882777818
1028
68.80434069275786
1029
63.17757301536262
1030
73.2779619655029
1031
82.1674640445593
1032
65.17997560763082
1033
7
1034
68
1035
43
1036
17
1037
89
1038
39
1039
1
1040
1
1041
0.3220169569545184
1042
98.00514092180934
1043
7.560067692843486
1044
43.61885983390973
1045
41.24861135590737
1046
26.740005299149416
1047
85
1048
88
1049
39
1050
42
1051
14
1052
42
1053
55.61525663365916
1054
92.58345496569154
1055
38.979602621887786
1056
21.438492552750475
1057
21.77319084378314
1058
20.629623200406755
1059
76
1060
28
1061
55
1062
78
1063
19
1064
46
1065
0
1066
1
1067
48.40054916731816
1068
68.24822190960764
1069
57.97150259980754
1070
49.31280514103121
1071
5.067713012653686
1072
45.04121578567462
1073
51
1074
70
1075
27
1076
28
1077
94
1078
19
1079
45.64125090853056
1080
75.61783912563945
1081
15.035505679914795
1082
73.48841404101482
1083
41.846113671378504
1084
63.25906043359987
1085
66
1086
91
1087
34
1088
52
1089
18
1090
15
1091
0
1092
0
1093
47.72195376319649
1094
19.959401534761312
1095
49.26257553010394
1096
8.543211780230475
1097
39.41467248833849
1098
95.18890048280016
1099
51
1100
70
1101
70
1102
90
1103
77
1104
25
1105
92.09464142632592
1106
58.46172256100666
1107
55.92467410435786
1108
98.14643280548577
1109
57.946556279396866
1110
13.423584384442243
1111
88
1112
16
1113
36
1114
12
1115
88
1116
38
1117
1
1118
1
1119
12.960261113655791
1120
84.8747782263643
1121
62.668675940537064
1122
85.1765009511024
1123
61.799724122105125
1124
28.416543087261235
1125
75
1126
50
1127
6
1128
22
1129
42
1130
99
1131
52.52928106501632
1132
60.75927122656656
1133
29.795507927274123
1134
27.340037669259686
1135
67.17174100440617
1136
89.84918399664816
1137
92
1138
78
1139
4
1140
7
1141
29
1142
41
1143
0
1144
0
1145
38.70390913140134
1146
51.56089009371809
1147
18.876602720472945
1148
59.782494249801786
1149
1.8498737478638283
1150
62.499624272940956
1151
36
1152
49
1153
94
1154
76
1155
39
1156
10
1157
55.171728801138165
1158
59.31860269567867
1159
48.40334658672629
1160
92.84254296439937
1161
34.559223231903715
1162
27.661907431651144
1163
65
1164
87
1165
70
1166
10
1167
38
1168
85
1169
0
1170
1
1171
20.188363803152253
1172
31.95835568472083
1173
9.657064711574414
1174
17.8346280175819
1175
18.909654760660377
1176
0.4888397378510989
1177
95
1178
98
1179
6
1180
88
1181
27
1182
55
1183
56.680386996269114
1184
78.18260375978073
1185
53.221688649007106
1186
52.05383028950487
1187
27.501214219349556
1188
23.45150982836557
1189
47
1190
95
1191
14
1192
79
1193
64
1194
8
1195
1
1196
0
1197
15.249968371501932
1198
8.138186479265453
1199
73.17925458734024
1200
0.6211097002962629
1201
64.1323794324592
1202
78.24788844391253
1203
8
1204
59
1205
18
1206
93
1207
96
1208
31
1209
39.80171004189443
1210
78.19147900611509
1211
68.82034832339914
1212
47.00237825240385
1213
68.37714303542442
1214
79.19446694597447
1215
80
1216
69
1217
96
1218
9
1219
23
1220
67
1221
0
1222
1
1223
46.52442468334213
1224
44.70722765780176
1225
29.651828266814405
1226
70.07791758657208
1227
48.99170826848221
1228
84.23093588630304
1229
46
1230
33
1231
83
1232
18
1233
47
1234
66
1235
47.313413634859046
1236
78.65788011255597
1237
77.2542739691421
1238
33.16691437303453
1239
65.49493240511178
1240
52.125069979204106
1241
55
1242
14
1243
13
1244
31
1245
19
1246
75
1247
0
1248
1
1249
55.88148293051346
1250
59.08285704652333
1251
94.3581233831004
1252
64.41185543727677
1253
30.51019533429806
1254
39.311963548549436
1255
50
1256
3
1257
13
1258
62
1259
18
1260
76
1261
10.102506716225157
1262
51.05910904753197
1263
74.93828389345187
1264
91.496028077876
1265
47.733327157955465
1266
68.99341363577297
1267
69
1268
86
1269
43
1270
28
1271
79
1272
12
1273
0
1274
1
1275
12.777551814967792
1276
37.99856982744604
1277
49.096273261806466
1278
50.78031089667747
1279
67.4330226439035
1280
74.00087315949358
1281
11
1282
82
1283
90
1284
24
1285
45
1286
3
1287
20.005694774911564
1288
29.403794485223823
1289
61.819913700518946
1290
51.53846519106293
1291
34.51231118201699
1292
25.629349894966403
1293
8
1294
21
1295
42
1296
85
1297
60
1298
87
1299
1
1300
0
1301
98.95103279752885
1302
66.00631082789398
1303
7.12550075532522
1304
79.62560464973942
1305
76.05731112032694
1306
32.282289760556914
1307
45
1308
26
1309
95
1310
76
1311
44
1312
25
1313
76.28362843697502
1314
73.84875407938867
1315
22.021702527673824
1316
17.7088761025457
1317
28.14564383027266
1318
77.36656994289501
1319
35
1320
27
1321
11
1322
32
1323
83
1324
24
1325
0
1326
1
1327
89.40262663647216
1328
37.271556824815974
1329
41.57222275404116
1330
98.92291030560028
1331
68.1751537073022
1332
90.86447914446431
1333
90
1334
14
1335
24
1336
17
1337
85
1338
31
1339
63.41524253561725
1340
12.522621529734456
1341
61.72853746288675
1342
37.91449425408068
1343
27.240686905097554
1344
66.49523330203854
1345
75
1346
80
1347
81
1348
63
1349
98
1350
9
1351
1
1352
1
1353
29.395472050818995
1354
16.49874154164539
1355
22.27920009165508
1356
36.96569294260124
1357
48.099706836554645
1358
1.929586554461138
1359
81
1360
72
1361
89
1362
66
1363
43
1364
57
1365
53.121963824854966
1366
78.89726030775182
1367
71.69702345291307
1368
93.38862201326485
1369
95.32425362693748
1370
98.5601276322297
1371
26
1372
65
1373
35
1374
53
1375
56
1376
74
1377
0
1378
0
1379
97.23665199812748
1380
7.494998608969583
1381
19.700087021786462
1382
79.49298795387769
1383
28.328014499465638
1384
26.58797171387407
1385
88
1386
56
1387
37
1388
91
1389
5
1390
88
1391
51.02069272190418
1392
67.62172078339516
1393
57.733046271983376
1394
43.250325940669796
1395
95.43612514386706
1396
66.16834136626247
1397
94
1398
84
1399
61
1400
88
1401
63
1402
69
1403
1
1404
0
1405
64.69466681368247
1406
62.96432117932208
1407
5.341809937162145
1408
62.38721935386483
1409
51.12921621333506
1410
36.705100342843835
1411
65
1412
5
1413
80
1414
19
1415
89
1416
4
1417
85.3238409645613
1418
60.184935621313215
1419
52.09218027148533
1420
85.75538969843747
1421
6.108754747849099
1422
54.80982507398495
1423
63
1424
17
1425
2
1426
11
1427
55
1428
56
1429
1
1430
1
1431
65.75992672318154
1432
32.68616448850413
1433
67.84978558425296
1434
37.185834586509415
1435
29.28981138947294
1436
23.026970868023334
1437
89
1438
67
1439
27
1440
43
1441
40
1442
43
1443
85.66665789667654
1444
82.68885136294485
1445
80.85678848811924
1446
39.64248974049237
1447
90.65527016925353
1448
44.19866290414423
1449
5
1450
70
1451
58
1452
58
1453
5
1454
43
1455
0
1456
1
1457
22.37673207410491
1458
54.73489658364032
1459
79.30639802686042
1460
5.719730807649171
1461
11.6077990462645
1462
34.00448559091416
1463
9
1464
86
1465
2
1466
61
1467
71
1468
1
1469
51.22847538389086
1470
25.265133470787116
1471
84.018811791092
1472
84.88231795256311
1473
22.17679177074965
1474
93.2877661889003
1475
64
1476
19
1477
55
1478
47
1479
94
1480
89
1481
0
1482
0
1483
85.79915102215868
1484
80.02676102848103
1485
98.14197219428978
1486
65.6519615363329
1487
28.07279555185219
1488
46.81158207720841
1489
68
1490
3
1491
48
1492
54
1493
47
1494
81
1495
10.182511166215825
1496
42.61573696412759
1497
16.147800698614112
1498
15.39006942933121
1499
56.8480973236845
1500
88.60427277297786
1501
31
1502
81
1503
45
1504
69
1505
39
1506
0
1507
1
1508
1
1509
51.516213120019515
1510
33.26733823765523
1511
42.1372932275822
1512
23.383329416926767
1513
48.62593375730335
1514
88.61423000729533
1515
19
1516
87
1517
54
1518
55
1519
69
1520
32
1521
41.15788338368079
1522
76.8755476228916
1523
80.70162524965797
1524
77.18585085064691
1525
7.956647747140188
1526
83.48083292902662
1527
66
1528
10
1529
22
1530
95
1531
65
1532
84
1533
0
1534
1
1535
5.5940145425965815
1536
74.53678011156525
1537
65.02549183872144
1538
79.28207132329247
1539
63.66255148636847
1540
75.36322424992434
1541
55
1542
9
1543
41
1544
6
1545
66
1546
91
1547
32.152994218690104
1548
14.099076902467566
1549
49.242277464907005
1550
28.564979409031743
1551
96.11912746238457
1552
12.003098980831627
1553
90
1554
54
1555
37
1556
27
1557
10
1558
53
1559
0
1560
0
1561
68.68139708906979
1562
56.13301028383749
1563
62.22644924840283
1564
34.65146084095237
1565
43.3364156443063
1566
89.42700813596564
1567
26
1568
51
1569
38
1570
18
1571
32
1572
7
1573
42.978146666755315
1574
59.695807163581385
1575
84.33235088342137
1576
53.32726573810327
1577
6.35649131770275
1578
42.90837768084806
1579
0
1580
1
1581
24
1582
21
1583
10
1584
10
1585
1
1586
0
1587
0.04366465606264747
1588
95.04664258332981
1589
11.722455159537315
1590
59.03951975893457
1591
21.811731650955167
1592
7.521908419057699
1593
92
1594
61
1595
71
1596
80
1597
61
1598
30
1599
28.828515899935535
1600
74.79140160600333
1601
85.59509263798716
1602
40.13454422195838
1603
38.24384183574633
1604
87.31083705687111
1605
76
1606
44
1607
89
1608
94
1609
30
1610
36
1611
1
1612
1
1613
95.03271988036848
1614
10.575154833177658
1615
69.13384419628275
1616
81.7242601218942
1617
10.395508426132437
1618
87.64843664456735
1619
13
1620
16
1621
2
1622
35
1623
96
1624
13
1625
21.219983876335903
1626
39.50507176053241
1627
20.455278986118806
1628
84.12697473555345
1629
90.4312034160216
1630
33.261252833362654
1631
41
1632
36
1633
36
1634
0
1635
19
1636
82
1637
0
1638
1
1639
72.91052106911748
1640
48.309871411543305
1641
83.02498611959757
1642
22.404134428217137
1643
28.487974883489642
1644
84.49506772120104
1645
56
1646
71
1647
56
1648
23
1649
40
1650
94
1651
98.87915797235799
1652
2.763874592492055
1653
97.98169636812744
1654
62.19885368855556
1655
37.979973524044695
1656
78.60861618987711
1657
99
1658
31
1659
45
1660
44
1661
12
1662
52
1663
1
1664
0
1665
47.025679870088446
1666
54.94168233133029
1667
79.22617747817809
1668
15.647652396887313
1669
45.20198159199531
1670
38.24809556427974
1671
80
1672
3
1673
11
1674
9
1675
16
1676
51
1677
11.963556829555856
1678
40.92460788898964
1679
3.2409799705995113
1680
10.375349428699899
1681
21.119357794303216
1682
80.47792953305947
1683
29
1684
54
1685
85
1686
74
1687
87
1688
12
1689
0
1690
0
1691
84.39928441843585
1692
64.9167871335868
1693
9.733474256991204
1694
64.78932095731271
1695
41.498869462724244
1696
49.48006135913903
1697
46
1698
6
1699
96
1700
86
1701
72
1702
35
1703
21.863291717933564
1704
97.25540634090942
1705
98.85055786484767
1706
54.76805558774932
1707
28.109227618740974
1708
65.49167168395098
1709
36
1710
81
1711
98
1712
21
1713
3
1714
3
1715
1
1716
0
1717
75.63573114431111
1718
93.03564329318704
1719
43.791472226774616
1720
52.3961722770348
1721
4.362939744323646
1722
12.69552969916763
1723
85
1724
63
1725
25
1726
67
1727
80
1728
11
1729
61.61173435743039
1730
44.77360117636322
1731
81.8753007992923
1732
51.77015281402705
1733
99.31181487619008
1734
85.3613626803623
1735
81
1736
39
1737
9
1738
63
1739
20
1740
75
1741
1
1742
1
1743
83.89971311276791
1744
3.5366841282484907
1745
10.30820219207833
1746
71.48085024707832
1747
54.27975022137844
1748
68.11934956678265
1749
4
1750
33
1751
31
1752
40
1753
16
1754
63
1755
20.481587891194962
1756
44.430273155467034
1757
57.20288235627869
1758
59.63655537113669
1759
82.69111085164381
1760
4.558142189952063
1761
94
1762
92
1763
81
1764
7
1765
39
1766
35
1767
0
1768
0
1769
76.34382833229044
1770
97.53898991045268
1771
24.305048803125484
1772
9.220059570912998
1773
87.30311611786684
1774
30.8682669815192
1775
57
1776
29
1777
39
1778
45
1779
1
1780
3
1781
50.08333496510825
1782
11.528526917962411
1783
74.820405465334
1784
91.64085682885754
1785
61.80972206851983
1786
46.41414418591865
1787
93
1788
14
1789
43
1790
55
1791
72
1792
74
1793
0
1794
1
1795
45.27093877912498
1796
25.20087098060714
1797
23.365382468028816
1798
76.8026729636891
1799
81.56629609736291
1800
68.81444338850316
1801
14
1802
23
1803
36
1804
96
1805
5
1806
28
1807
2.439672545550431
1808
12.000764741533255
1809
87.72882590318835
1810
19.675680980634723
1811
17.351311156420014
1812
59.86139223063345
1813
74
1814
76
1815
72
1816
48
1817
87
1818
22
1819
0
1820
0
1821
38.381824251289686
1822
82.77048460120564
1823
40.14922053191127
1824
2.065249282406023
1825
23.97839840598873
1826
82.6617486070533
1827
12
1828
39
1829
82
1830
15
1831
68
1832
38
1833
67.71647051084726
1834
39.10195957237811
1835
37.269042229285155
1836
68.59096812281425
1837
35.68229848466349
1838
14.899086622840985
1839
60
1840
80
1841
26
1842
66
1843
99
1844
7
1845
1
1846
0
1847
73.77852197915512
1848
69.04920740302484
1849
62.22317914333746
1850
83.36200869474641
1851
28.234011527282888
1852
69.68425235953747
1853
92
1854
93
1855
7
1856
25
1857
47
1858
4
1859
81.50452986585857
1860
17.080597598724843
1861
96.70620427009932
1862
42.0641259347086
1863
30.644562822180887
1864
18.742699502786476
1865
36
1866
45
1867
77
1868
89
1869
57
1870
87
1871
0
1872
1
1873
61.95604955620874
1874
11.18673803827499
1875
88.57709278365832
1876
95.37172713120083
1877
47.89949114477887
1878
72.9464168209774
1879
35
1880
87
1881
10
1882
96
1883
45
1884
83
1885
68.58287334108333
1886
2.727712421069739
1887
63.82606866384278
1888
45.59575202174272
1889
83.06892667541376
1890
30.924518144401357
1891
11
1892
84
1893
69
1894
60
1895
2
1896
43
1897
1
1898
1
1899
77.03654161806121
1900
98.34254163447613
1901
99.96898170618775
1902
67.31994129012368
1903
37.95909298272515
1904
26.37474073282361
1905
64
1906
5
1907
87
1908
75
1909
33
1910
50
1911
45.50575491299435
1912
73.94434508030986
1913
24.375923220059704
1914
93.84498915892891
1915
92.64565943208305
1916
42.535063333710795
1917
65
1918
81
1919
80
1920
16
1921
12
1922
98
1923
1
1924
0
1925
27.30239225862322
1926
52.71429045012168
1927
56.32940960378892
1928
79.14234140277114
1929
91.69958992721793
1930
68.21816357670706
1931
29
1932
96
1933
69
1934
9
1935
94
1936
55
1937
32.71513970162508
1938
44.675171626077685
1939
57.862879002710955
1940
9.266183524612327
1941
60.949505039199344
1942
46.75294723044957
1943
86
1944
75
1945
31
1946
53
1947
77
1948
48
1949
1
1950
0
1951
62.85637046405975
1952
99.6750326195715
1953
54.089361001935984
1954
15.069208015477397
1955
13.965594361653999
1956
36.717080621825524
1957
5
1958
6
1959
66
1960
79
1961
51
1962
21
1963
92.93481344016008
1964
77.34168927714468
1965
37.792478200673905
1966
85.41505188791295
1967
19.88925995042411
1968
58.671153655319586
1969
2
1970
20
1971
20
1972
10
1973
17
1974
32
1975
1
1976
1
1977
41.37146035253182
1978
0.13654726366260084
1979
64.26967907620734
1980
61.58841524456764
1981
91.81050891848129
1982
89.12588580843847
1983
82
1984
11
1985
49
1986
14
1987
70
1988
41
1989
16.116124163929413
1990
50.273696301681866
1991
39.08934490548237
1992
15.700487449945955
1993
8.632090406263227
1994
63.62037042500326
1995
29
1996
49
1997
5
1998
28
1999
6
2000
11
2001
1
2002
1
2003
63.99983000156618
2004
79.22312446070745
2005
45.62949169750925
2006
27.810019808308027
2007
9.835532241530743
2008
60.03515523843379
2009
75
2010
87
2011
23
2012
94
2013
67
2014
25
2015
0.7031231242624947
2016
95.95336054787845
2017
98.08995704430077
2018
93.2295822977364
2019
56.49391766402757
2020
5.665012215775633
2021
96
2022
9
2023
78
2024
59
2025
32
2026
80
2027
0
2028
1
2029
44.53003452898553
2030
49.71519296747974
2031
58.841221075676565
2032
14.07663547353064
2033
22.90169664259888
2034
43.02203848043115
2035
34
2036
43
2037
77
2038
81
2039
76
2040
98
2041
3.966426268933254
2042
43.70253222015504
2043
98.09991876222054
2044
69.2988155457402
2045
3.916247633797787
2046
86.15076136909816
2047
43
2048
45
2049
74
2050
55
2051
46
2052
80
2053
0
2054
0
2055
61.15282524573987
2056
63.49896160689635
2057
84.6176892933751
2058
19.566854880050744
2059
12.47246925958001
2060
72.30236199730965
2061
7
2062
5
2063
91
2064
84
2065
73
2066
48
2067
0.7401014898145153
2068
46.2165023955762
2069
9.223594339924357
2070
86.69490434059998
2071
62.600450102882924
2072
92.63131718816182
2073
94
2074
65
2075
55
2076
71
2077
7
2078
94
2079
1
2080
0
2081
19.664412505189468
2082
54.802538043703954
2083
71.15242945730938
2084
67.13665825225276
2085
5.98074355913959
2086
36.19494284765574
2087
50
2088
15
2089
71
2090
34
2091
77
2092
15
2093
61.22281512066273
2094
77.52484657301557
2095
0.8387869564931538
2096
32.759401463933145
2097
89.75968355570765
2098
14.913410758774292
2099
38
2100
42
2101
83
2102
23
2103
70
2104
33
2105
0
2106
0
2107
22.089769348807497
2108
45.32996840071648
2109
55.02891833711625
2110
33.391630152238264
2111
13.563288156522846
2112
65.86179111320472
2113
6
2114
84
2115
4
2116
94
2117
20
2118
77
2119
30.589798374126797
2120
44.26691651992637
2121
95.00099580340674
2122
68.90984095352897
2123
6.898685443050789
2124
26.258511645694593
2125
19
2126
28
2127
39
2128
22
2129
9
2130
46
2131
1
2132
0
2133
84.18969928227668
2134
45.6369985848968
2135
51.082907980541506
2136
8.991551928272356
2137
86.78407587248188
2138
31.36812555856062
2139
68
2140
6
2141
17
2142
76
2143
25
2144
70
2145
71.29590611992637
2146
50.28570143667912
2147
55.39441733366029
2148
91.78770027790712
2149
32.91817445815549
2150
44.69414822587142
2151
75
2152
19
2153
8
2154
62
2155
96
2156
76
2157
0
2158
1
2159
36.539568693305505
2160
21.49492389368043
2161
86.23179087677822
2162
32.9955777309841
2163
70.45326530432757
2164
82.51001802005871
2165
34
2166
75
2167
15
2168
38
2169
66
2170
34
2171
17.08144873430121
2172
21.757097119290915
2173
2.000310521901316
2174
78.03140942222069
2175
69.71710720500623
2176
9.701258831236515
2177
89
2178
28
2179
70
2180
6
2181
45
2182
54
2183
1
2184
0
2185
47.35084168679747
2186
23.484829360720425
2187
80.93032105630704
2188
81.93199491049859
2189
64.57238880690142
2190
5.693203637353661
2191
28
2192
46
2193
99
2194
54
2195
25
2196
92
2197
91.63509335799542
2198
28.860272645943997
2199
60.01464019582134
2200
69.3531842266757
2201
98.9951969957409
2202
41.46722174561985
2203
71
2204
34
2205
79
2206
18
2207
83
2208
8
2209
0
2210
1
2211
65.67946365966691
2212
10.379995388327822
2213
49.46773743781948
2214
51.925950871841096
2215
45.84944305372108
2216
20.797389392747366
2217
97
2218
27
2219
48
2220
58
2221
36
2222
1
2223
47.5247226407793
2224
66.8632877736087
2225
78.11690360992563
2226
60.44337927887567
2227
97.55111827547938
2228
97.37926565959877
2229
59
2230
26
2231
39
2232
28
2233
28
2234
45
2235
0
2236
1
2237
2.4284256123871417
2238
97.91006160993891
2239
22.680203065973593
2240
55.79554167054128
2241
52.89378097664862
2242
24.556852971938703
2243
58
2244
14
2245
73
2246
18
2247
88
2248
73
2249
32.19609301648694
2250
49.774628186621115
2251
84.90528451694847
2252
20.078720887962696
2253
2.6162703357038075
2254
23.632198129893233
2255
75
2256
75
2257
13
2258
45
2259
8
2260
66
2261
0
2262
0
2263
53.89878755011733
2264
65.88259515424586
2265
76.6866428434458
2266
19.673622154586713
2267
40.247262438148525
2268
97.74899674265755
2269
75
2270
82
2271
64
2272
60
2273
33
2274
37
2275
60.67166367772431
2276
65.38007981578647
2277
81.25491251376846
2278
51.89897319369143
2279
55.590082287807284
2280
38.276705744732475
2281
54
2282
19
2283
0
2284
61
2285
41
2286
3
2287
0
2288
1
2289
78.55456433147772
2290
56.772663875801435
2291
32.810818996049974
2292
4.1979640826819375
2293
71.43319939529965
2294
32.24518260587701
2295
19
2296
89
2297
14
2298
34
2299
51
2300
36
2301
74.72201164926915
2302
35.50922839765411
2303
4.851898944736743
2304
64.93908721966399
2305
53.45973990444425
2306
47.526727006396165
2307
41
2308
78
2309
14
2310
67
2311
10
2312
26
2313
0
2314
1
2315
53.35449519787968
2316
78.23135880097726
2317
82.68647031721511
2318
39.72091400749248
2319
66.92405593825835
2320
48.129898689379424
2321
75
2322
94
2323
66
2324
64
2325
9
2326
5
2327
41.78880903691896
2328
67.34310867680652
2329
67.29255681582696
2330
45.129665259524344
2331
9.289906965587413
2332
97.58029948880659
2333
45
2334
55
2335
35
2336
58
2337
57
2338
49
2339
1
2340
0
2341
68.25841698119962
2342
77.56006248252785
2343
27.41177481713748
2344
38.79500580733782
2345
35.811590210197295
2346
0.4734560580004321
2347
5
2348
28
2349
33
2350
24
2351
68
2352
14
2353
16.77121481955306
2354
57.85432904129058
2355
97.03559011317374
2356
15.210690953881766
2357
78.49370259347187
2358
79.18593975446437
2359
77
2360
10
2361
35
2362
44
2363
87
2364
85
2365
1
2366
1
2367
72.18457596838664
2368
69.98884211168082
2369
71.08811771895259
2370
85.4100138159801
2371
90.68582505661689
2372
73.07267482366106
2373
38
2374
9
2375
63
2376
45
2377
6
2378
53
2379
60.426860490422854
2380
64.48256697567528
2381
39.044797291728436
2382
87.23635025812315
2383
22.784364834169256
2384
75.36248781219973
2385
78
2386
81
2387
39
2388
2
2389
0
2390
55
2391
0
2392
0
2393
53.991687535559194
2394
92.27545428346944
2395
23.005653585077745
2396
13.96847336786189
2397
25.1517478231277
2398
97.04657520845237
2399
16
2400
12
2401
68
2402
97
2403
83
2404
49
2405
12.149891542256054
2406
66.67378351945027
2407
74.0892122051897
2408
8.822836106593234
2409
66.28888348571003
2410
45.37459839871264
2411
8
2412
96
2413
31
2414
38
2415
39
2416
10
2417
1
2418
1
2419
81.79272856523407
2420
13.779379281801763
2421
9.772120864262511
2422
58.463238111216185
2423
55.65413629794194
2424
77.49964537379454
2425
8
2426
96
2427
26
2428
66
2429
81
2430
59
2431
34.6309614261451
2432
3.793227004729971
2433
92.60578911183879
2434
16.120322998888557
2435
95.32859101415822
2436
52.9352633764797
2437
78
2438
31
2439
66
2440
18
2441
48
2442
53
2443
1
2444
0
2445
95.06389335300896
2446
66.2008739689423
2447
50.46089883151301
2448
91.6060962502403
2449
46.34719122666288
2450
89.95406197529461
2451
15
2452
62
2453
7
2454
8
2455
51
2456
82
2457
29.96762188496299
2458
45.843824449200724
2459
10.384529392984799
2460
54.1195982928938
2461
82.43772601276606
2462
79.58853496806552
2463
27
2464
81
2465
34
2466
32
2467
13
2468
16
2469
0
2470
1
2471
62.543446802786775
2472
60.69494816869512
2473
84.99880400876047
2474
35.78662810843426
2475
60.03873249991422
2476
71.3879902651434
2477
56
2478
55
2479
36
2480
29
2481
2
2482
34
2483
16.10928754618801
2484
76.84879042565676
2485
19.196230548124227
2486
89.32056138086799
2487
7.3546958607590085
2488
77.33295075451962
2489
57
2490
54
2491
42
2492
22
2493
36
2494
15
2495
1
2496
0
2497
81.91465085814914
2498
1.7246226628129357
2499
12.353665953517057
2500
19.193169239007524
2501
71.15003468026045
2502
85.94852378548062
2503
88
2504
87
2505
86
2506
93
2507
32
2508
19
2509
7.481099508831579
2510
61.49839985335961
2511
87.11795335221957
2512
68.6945640049538
2513
26.086648266870483
2514
81.46422678759541
2515
0
2516
10
2517
74
2518
42
2519
32
2520
46
2521
0
2522
0
2523
59.12455193077931
2524
29.27118754339667
2525
46.95408665500379
2526
12.545058213070403
2527
16.29690394724247
2528
23.56312281764724
2529
15
2530
48
2531
98
2532
54
2533
27
2534
58
2535
52.91565073826071
2536
55.86541538461779
2537
40.42407878990607
2538
81.38868901696672
2539
16.361425486875326
2540
25.42978366167454
2541
70
2542
3
2543
82
2544
80
2545
92
2546
13
2547
1
2548
0
2549
79.67294738048068
2550
13.80977295309247
2551
60.595706268845994
2552
88.80668063237792
2553
25.26578382765383
2554
89.47185732299661
2555
52
2556
67
2557
16
2558
4
2559
90
2560
72
2561
90.21276556147694
2562
94.80188441181174
2563
74.77277761250642
2564
73.490761998234
2565
89.99442945044825
2566
70.24437436753895
2567
77
2568
89
2569
87
2570
61
2571
6
2572
35
2573
1
2574
0
2575
83.79465861633184
2576
54.726335008686576
2577
77.77258741298432
2578
44.054518979840786
2579
31.008395180223268
2580
4.321195275099621
2581
4
2582
17
2583
67
2584
95
2585
56
2586
78
2587
21.085358626079977
2588
12.044469868982278
2589
14.585868995367267
2590
76.27980444645456
2591
16.96452447973884
2592
78.19834408297211
2593
2
2594
40
2595
97
2596
70
2597
92
2598
83
2599
0
2600
0