Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_fall_test / detect_fall_test_detect_fall_test_input_values @ 0c9457a0

History | View | Annotate | Download (25.1 KB)

1
68.82780442834004
2
20.994528309832884
3
35.35672201847414
4
43.410741217231596
5
50.01035792425759
6
90.08200755373724
7
77
8
65
9
46
10
88
11
99
12
38
13
86.03842688613506
14
78.70475360817782
15
15.634983516685097
16
44.440503953455824
17
13.340386828679495
18
16.712520312351685
19
55
20
91
21
35
22
58
23
34
24
93
25
0
26
1
27
34.331513601866405
28
88.80367530661907
29
38.177995183332726
30
98.31121160118632
31
59.93010432086494
32
54.879600379209336
33
22
34
64
35
99
36
16
37
55
38
83
39
1.8181247573253012
40
66.26342345106163
41
74.5667223028142
42
95.67542082346817
43
3.386228724991147
44
7.21079376646232
45
55
46
66
47
28
48
13
49
56
50
81
51
1
52
1
53
10.803482232145056
54
44.99638099756671
55
89.18040374360832
56
54.74781570896421
57
28.46342908219832
58
81.41264673974516
59
23
60
98
61
64
62
10
63
61
64
52
65
95.15888690651353
66
96.93026030642447
67
91.92921173470222
68
97.39359619198642
69
71.9189482840661
70
99.91715238216045
71
62
72
27
73
40
74
89
75
70
76
80
77
1
78
0
79
38.302769951052184
80
98.18378608088358
81
68.93667768160654
82
34.57845580346811
83
68.01708047746706
84
81.71224085082491
85
10
86
39
87
88
88
71
89
3
90
78
91
3.5675544295987516
92
53.845101424652434
93
75.4892032966397
94
31.275967114976055
95
40.57103800672899
96
12.533754950233378
97
25
98
15
99
39
100
74
101
18
102
81
103
0
104
1
105
35.61880140479219
106
99.91322088962127
107
74.82676016960157
108
1.3542861788828797
109
85.3049339875498
110
8.097192802348596
111
92
112
40
113
60
114
33
115
87
116
66
117
19.80512024557457
118
63.46469172796909
119
10.925549891199804
120
94.90090893520436
121
15.283865662961272
122
19.708006870946527
123
17
124
64
125
11
126
83
127
49
128
87
129
0
130
1
131
61.595568704742035
132
97.5663521025828
133
73.03152105379358
134
53.90572361256264
135
82.99832505465177
136
64.53968994575735
137
64
138
60
139
15
140
87
141
64
142
39
143
35.012461453760565
144
4.516939083196869
145
96.19467835082048
146
87.35577352699758
147
51.50063721757506
148
55.7183989479156
149
14
150
88
151
93
152
60
153
10
154
51
155
0
156
1
157
81.55336557189814
158
81.54204328017178
159
73.594798454115
160
67.96109777045886
161
3.1548506271806387
162
77.84852848657852
163
57
164
42
165
21
166
12
167
58
168
84
169
25.39436359266185
170
0.8986438423086107
171
78.2030848850072
172
74.6496716553784
173
81.8133814023503
174
6.680638966412822
175
36
176
69
177
56
178
25
179
53
180
23
181
1
182
0
183
27.709212321016587
184
67.41156469232207
185
70.80599855093587
186
13.547585157709552
187
31.121453443877435
188
84.76203195151372
189
39
190
55
191
90
192
2
193
33
194
81
195
48.61838225323456
196
40.5405407798327
197
35.678285249037536
198
96.60528169463663
199
34.04338081859494
200
4.723650259348789
201
78
202
6
203
6
204
31
205
29
206
3
207
0
208
1
209
58.19937913137513
210
97.18208394843192
211
52.751824008786976
212
76.82653297748729
213
5.722616527637692
214
49.25184084412749
215
61
216
85
217
44
218
14
219
81
220
28
221
14.27025920116768
222
97.44497403789451
223
57.654534020188464
224
22.62266242820742
225
95.41736543258314
226
83.31416185571295
227
3
228
59
229
2
230
75
231
24
232
1
233
1
234
1
235
16.936418218841155
236
46.82199165311077
237
22.918534226534216
238
9.398932680009631
239
60.78984596279338
240
35.19406967525309
241
93
242
95
243
87
244
52
245
47
246
36
247
84.30827762577732
248
47.063636848284496
249
82.98401421723334
250
35.56700983960197
251
4.859619984847696
252
93.51457743896529
253
90
254
48
255
45
256
97
257
72
258
17
259
0
260
1
261
6.922543111240831
262
62.1640288812643
263
73.10932045929623
264
86.27696052838093
265
91.78340134602023
266
77.9267434678274
267
36
268
48
269
99
270
97
271
76
272
12
273
29.96723312238423
274
91.19225273048518
275
78.21067367924033
276
79.03924438657263
277
60.34476197575629
278
26.773286762374493
279
41
280
71
281
14
282
13
283
96
284
6
285
0
286
0
287
49.74942367078672
288
5.350604828606675
289
23.175348493038495
290
39.0183147225912
291
64.7925260036349
292
91.77525855366268
293
10
294
3
295
34
296
59
297
43
298
78
299
88.71066246174495
300
55.30279085042659
301
25.102280060100423
302
99.1963824467835
303
95.63282145008897
304
96.17907530819203
305
26
306
64
307
1
308
27
309
57
310
91
311
0
312
1
313
18.379590717573368
314
74.06503656026786
315
26.17506302853323
316
81.70023632789083
317
2.2854188555435195
318
78.8036078387803
319
83
320
77
321
34
322
48
323
18
324
92
325
36.581648771186146
326
10.842219337006242
327
42.37226190988667
328
8.175928029200985
329
16.758226214029783
330
73.18685369915814
331
36
332
58
333
36
334
47
335
72
336
38
337
1
338
0
339
94.75789065346967
340
45.55130640790841
341
41.93126011779582
342
25.09797052093682
343
64.82999478788287
344
50.911558615522154
345
99
346
92
347
61
348
65
349
55
350
70
351
70.08079637230439
352
16.320623723340354
353
86.12153271244942
354
39.33720970226604
355
28.691967258445807
356
0.6286615278801699
357
75
358
49
359
40
360
65
361
89
362
61
363
1
364
1
365
62.137480722396056
366
9.811821590470482
367
14.82809515234863
368
76.94746381782896
369
22.67852354867843
370
25.002366224421337
371
98
372
74
373
43
374
35
375
34
376
4
377
73.68727623894172
378
88.92726464066875
379
15.770799183426965
380
6.88464036840748
381
97.59452792324058
382
95.32820227373273
383
99
384
40
385
80
386
89
387
65
388
63
389
0
390
1
391
30.690339405360454
392
75.12666749186818
393
18.009515158190325
394
89.06804400043283
395
25.56166230190765
396
38.73486821579376
397
38
398
94
399
37
400
84
401
9
402
21
403
76.84487816006418
404
1.9335607621512318
405
16.0796837682496
406
75.04635991812522
407
67.59153862157424
408
16.190798751029266
409
5
410
69
411
6
412
98
413
34
414
69
415
1
416
1
417
40.34439889764534
418
42.655092070474765
419
88.0472811275463
420
40.295285230709354
421
85.86800918180751
422
34.7458391912494
423
94
424
11
425
19
426
23
427
18
428
33
429
64.91701316005299
430
92.43637657351871
431
82.28224511037614
432
58.61735164941545
433
81.7324895686907
434
36.784346990009055
435
18
436
25
437
27
438
8
439
80
440
66
441
1
442
1
443
51.572636053510124
444
46.00738518676092
445
45.467114412041134
446
84.75148623520981
447
75.5739155175771
448
10.719697792575333
449
96
450
52
451
71
452
51
453
28
454
41
455
30.49856740293403
456
81.84596676094672
457
20.069926192732822
458
52.76325331755515
459
51.077470654780164
460
26.669578707122565
461
30
462
2
463
97
464
84
465
87
466
78
467
1
468
0
469
84.20382816851266
470
1.2599613127179055
471
61.60652762469559
472
43.54346966346561
473
27.649626610215737
474
92.59320765910664
475
52
476
95
477
72
478
81
479
21
480
13
481
34.10677463799797
482
53.49368077206881
483
61.10631577304011
484
22.62893272538419
485
69.01280671463
486
28.262614581265723
487
50
488
4
489
4
490
30
491
45
492
24
493
0
494
0
495
63.943752677215116
496
69.78473729471129
497
13.035978889891297
498
60.09958053749853
499
85.09102612837697
500
67.85007033594266
501
53
502
91
503
1
504
90
505
56
506
66
507
17.714247549176896
508
63.90453195923407
509
49.63327288033981
510
22.490124968368185
511
92.56319054768055
512
99.63868136351925
513
37
514
41
515
77
516
71
517
43
518
48
519
0
520
0
521
74.65753468351505
522
67.38678863826229
523
79.1005319816832
524
63.77240230974224
525
27.654395262139374
526
76.15596849168153
527
46
528
9
529
61
530
16
531
23
532
37
533
13.499343350231285
534
36.751620141532136
535
40.2490072240863
536
84.59817838607118
537
56.55919835259733
538
68.78979969336768
539
67
540
14
541
23
542
36
543
35
544
16
545
0
546
1
547
5.361891254385753
548
18.693487664553977
549
57.316362871827906
550
65.43057167237735
551
46.34981311294359
552
18.589484291875415
553
55
554
0
555
27
556
35
557
25
558
8
559
17.30796026357656
560
57.26594544075044
561
54.9613471621065
562
45.10407883809977
563
92.72636606548784
564
84.32360359015344
565
23
566
38
567
60
568
67
569
95
570
72
571
0
572
1
573
4.085553075170734
574
55.760966501513174
575
53.3906082750979
576
26.50023805888263
577
77.24434711700395
578
78.9095854694466
579
62
580
36
581
39
582
22
583
19
584
56
585
19.11156860374397
586
43.938390674976205
587
47.995653607414155
588
48.94938017827708
589
18.93876111850018
590
85.29203080753778
591
75
592
66
593
77
594
93
595
87
596
38
597
1
598
0
599
58.85066527074765
600
3.8274113975937385
601
12.83741425720325
602
59.59751863730452
603
57.19652992113943
604
24.917397006186505
605
44
606
70
607
56
608
25
609
95
610
27
611
31.456668070741657
612
34.572277200977595
613
39.519492163944015
614
71.77533048510341
615
12.008845043353865
616
23.355030437538883
617
58
618
84
619
92
620
64
621
5
622
86
623
1
624
0
625
56.813402161645065
626
37.11184118679147
627
50.70562862061176
628
96.63577512361779
629
69.90989410296542
630
21.726937260704148
631
36
632
11
633
87
634
84
635
33
636
7
637
97.59073944233451
638
33.93087254648985
639
71.6621677840563
640
74.38066004411756
641
56.209524955960575
642
8.422839563039354
643
32
644
27
645
45
646
21
647
18
648
16
649
0
650
0
651
40.99190187165724
652
68.42027821693094
653
33.41958514176593
654
32.39567930552882
655
54.94152307390488
656
32.23938391258558
657
46
658
63
659
18
660
18
661
66
662
22
663
19.446351872815583
664
60.67021016839706
665
50.90199922377304
666
53.76840219689836
667
60.491419954876235
668
90.29520760216934
669
37
670
92
671
64
672
30
673
22
674
76
675
0
676
0
677
86.54828716911798
678
48.80101289581156
679
47.28033345823122
680
3.333912137758732
681
38.920660443299795
682
66.7608514368404
683
45
684
36
685
60
686
70
687
91
688
75
689
93.7761763085906
690
69.14192048447163
691
26.026162183623303
692
3.155033467981172
693
91.51066942532398
694
26.489620055788787
695
42
696
91
697
50
698
73
699
78
700
89
701
1
702
1
703
68.20145977526252
704
35.735993094740614
705
18.799945240927464
706
99.49165237168086
707
42.56226905471436
708
4.574250979087724
709
21
710
3
711
3
712
53
713
41
714
94
715
19.415970400654047
716
2.168144824308782
717
51.50475937082889
718
87.64252353978009
719
23.59106390962632
720
65.9549207455365
721
6
722
50
723
0
724
17
725
98
726
76
727
1
728
0
729
8.253900270078972
730
6.196870953484446
731
71.58159419584345
732
28.67653691626377
733
36.60632250463285
734
97.15524981192115
735
90
736
97
737
43
738
90
739
94
740
95
741
49.228338243805055
742
87.18421403305774
743
55.66835792790129
744
8.167882718154818
745
64.66910145842228
746
19.808998250677547
747
71
748
0
749
74
750
94
751
76
752
23
753
1
754
1
755
20.878344730049236
756
36.2148063362191
757
80.57798784841694
758
83.36053711206182
759
98.15403772426812
760
61.52707496570966
761
85
762
94
763
67
764
66
765
1
766
16
767
48.12353118998595
768
87.81255714791895
769
19.34095708403293
770
63.47020049613165
771
77.99824854990153
772
26.368640798293054
773
20
774
8
775
73
776
90
777
20
778
95
779
1
780
0
781
11.06225652543602
782
49.66127897540997
783
99.81997856251115
784
23.51117571634571
785
85.96180095333172
786
13.069019031409079
787
27
788
21
789
9
790
1
791
18
792
26
793
68.11571230534538
794
27.90881598417854
795
32.73623034753508
796
37.18973661841439
797
69.87570014769003
798
87.63195412748696
799
72
800
54
801
76
802
41
803
10
804
62
805
1
806
1
807
16.583592673624793
808
95.7876202588645
809
93.00689806917174
810
54.23565132144681
811
39.70301808842105
812
46.566843697724615
813
74
814
47
815
36
816
86
817
36
818
34
819
10.718019219079533
820
6.3324892989103265
821
48.36411584744524
822
22.021766418693023
823
98.88026495847848
824
26.555261733558787
825
38
826
19
827
42
828
74
829
41
830
64
831
1
832
0
833
84.1928318273706
834
77.80911786128665
835
65.46338485496055
836
10.708538921502232
837
50.48916791651504
838
50.391476374849006
839
38
840
41
841
22
842
69
843
91
844
59
845
0.4228450283083829
846
18.159645188800145
847
39.55212813202642
848
14.45298030007811
849
36.81399447027539
850
72.68915162288506
851
1
852
66
853
44
854
33
855
80
856
47
857
1
858
0
859
7.609520926010649
860
71.40439004197736
861
91.23171892837351
862
13.92733000808235
863
7.8501698242228635
864
87.37313899411436
865
89
866
62
867
55
868
72
869
39
870
42
871
37.811641734842794
872
81.53719171140071
873
25.26969317653347
874
99.21983154145101
875
88.20529199883595
876
92.97484462672524
877
52
878
81
879
46
880
44
881
3
882
50
883
0
884
1
885
37.02346259936431
886
67.13257094341449
887
77.69387331190383
888
43.91145144334171
889
85.45125167381485
890
33.489388221171815
891
28
892
26
893
96
894
39
895
25
896
60
897
14.26179190780179
898
64.01747151694988
899
32.6402062365016
900
20.29991283521353
901
17.12901244027031
902
64.12292346783927
903
88
904
66
905
60
906
24
907
49
908
50
909
0
910
0
911
45.105466756612714
912
56.47005822064132
913
44.937276297005226
914
93.51011515690226
915
29.813286482912993
916
39.767829688823966
917
75
918
71
919
89
920
53
921
74
922
34
923
12.705453184871551
924
77.98222155252111
925
18.128531564093496
926
24.288914199771405
927
97.6107983251171
928
48.44883408804079
929
61
930
33
931
2
932
83
933
44
934
97
935
1
936
1
937
80.89131787880864
938
24.138055826714744
939
82.94749698144633
940
54.34236399113792
941
12.101253251512533
942
80.96591409895207
943
78
944
43
945
43
946
12
947
15
948
68
949
3.3723285459792085
950
17.94805651804896
951
98.19148174516262
952
0.26940263536163744
953
46.66775936790868
954
28.739317678072062
955
35
956
34
957
93
958
4
959
9
960
8
961
0
962
1
963
9.633707826839633
964
69.62427581713051
965
65.12829734556288
966
45.2057581926937
967
86.96599879172257
968
24.211670461151236
969
40
970
23
971
25
972
60
973
67
974
27
975
10.25971999500288
976
61.807256397159314
977
94.5070764782254
978
72.08813432594862
979
96.00560629041834
980
74.23043340163348
981
18
982
2
983
94
984
49
985
47
986
85
987
0
988
1
989
28.29008456190527
990
70.25024082913795
991
97.55700507518084
992
8.652956098748588
993
15.988372169089704
994
45.78254269134353
995
64
996
23
997
52
998
15
999
85
1000
57
1001
95.35920125858519
1002
57.07593132930846
1003
79.21217247332457
1004
7.039919989169174
1005
41.80623526834513
1006
29.71354159151256
1007
44
1008
84
1009
43
1010
77
1011
21
1012
9
1013
0
1014
1
1015
28.377280499670388
1016
67.65911112371451
1017
10.472765536700667
1018
17.134790821721758
1019
49.09856088013399
1020
66.16706808181083
1021
39
1022
88
1023
30
1024
77
1025
94
1026
49
1027
54.38821909820683
1028
66.19512369021741
1029
2.032807313327889
1030
53.731857285869644
1031
71.45241226630723
1032
1.3191852194510467
1033
22
1034
49
1035
8
1036
2
1037
27
1038
19
1039
0
1040
1
1041
95.20342247428349
1042
6.757853605904796
1043
48.723317898613004
1044
34.81312330123751
1045
17.078208696406715
1046
63.684258045730914
1047
28
1048
85
1049
24
1050
73
1051
49
1052
5
1053
56.950908789105895
1054
20.672424701252666
1055
80.53322884632121
1056
89.27479817513564
1057
12.13908713616567
1058
48.63449574280355
1059
63
1060
1
1061
10
1062
36
1063
63
1064
10
1065
1
1066
0
1067
62.3854969990368
1068
55.79876605727575
1069
85.28533903546067
1070
45.741793695030665
1071
80.90736981487917
1072
72.88862364251763
1073
66
1074
95
1075
31
1076
84
1077
80
1078
85
1079
13.199747775401182
1080
8.544496639768894
1081
62.687871527143336
1082
64.82545055954125
1083
24.158452949072505
1084
26.872384409060167
1085
68
1086
22
1087
57
1088
33
1089
98
1090
22
1091
1
1092
1
1093
65.64429799224433
1094
30.311032021412633
1095
82.15562830072855
1096
41.761049391901295
1097
10.063453088679786
1098
30.601700541620126
1099
62
1100
1
1101
16
1102
72
1103
96
1104
95
1105
99.12458617136576
1106
37.70603863895342
1107
11.861653485188938
1108
58.775945446347535
1109
37.02297238793067
1110
24.536020058357224
1111
64
1112
62
1113
40
1114
28
1115
31
1116
1
1117
1
1118
1
1119
6.836570867940372
1120
85.46178995707649
1121
50.23657102477046
1122
9.32560094477698
1123
15.016317915666622
1124
14.422361290050956
1125
70
1126
70
1127
42
1128
36
1129
95
1130
37
1131
0.05522980372394404
1132
44.56392820897044
1133
9.416960013331376
1134
22.959006193028376
1135
28.876102427151828
1136
79.97665885669603
1137
90
1138
91
1139
26
1140
25
1141
90
1142
68
1143
0
1144
0
1145
81.2620073753991
1146
75.66769855901902
1147
85.26142856038972
1148
51.522021749770616
1149
80.70685600513282
1150
27.945056364625554
1151
45
1152
99
1153
75
1154
79
1155
6
1156
41
1157
55.313994206399286
1158
17.724621908826798
1159
81.92790172188114
1160
75.52670034723596
1161
38.54653881689304
1162
66.72848668654869
1163
18
1164
90
1165
40
1166
90
1167
27
1168
65
1169
0
1170
1
1171
55.370582818383575
1172
46.32128871692404
1173
59.10880288837595
1174
92.87028782007228
1175
13.499167679384472
1176
6.729402213719949
1177
0
1178
35
1179
41
1180
14
1181
66
1182
18
1183
81.83681080978039
1184
64.19599192379906
1185
96.81108746267942
1186
89.43699175707029
1187
32.88942763338193
1188
45.8442262266097
1189
39
1190
76
1191
31
1192
66
1193
44
1194
89
1195
0
1196
1
1197
51.27804849038786
1198
6.702956151845885
1199
78.19380375353855
1200
92.7392626839078
1201
82.12433053158527
1202
60.253852794148585
1203
50
1204
76
1205
33
1206
28
1207
59
1208
97
1209
76.528013667442
1210
55.129006427637684
1211
2.766352024901153
1212
34.21275253932763
1213
65.49949912362803
1214
27.146338252158852
1215
4
1216
10
1217
16
1218
79
1219
96
1220
45
1221
0
1222
0
1223
11.588283169776592
1224
52.24177993210887
1225
48.681945990994265
1226
90.85789763980034
1227
72.56145881444151
1228
11.795210453309924
1229
10
1230
29
1231
55
1232
16
1233
2
1234
16
1235
20.055862808679827
1236
75.11772860182843
1237
49.50962719651234
1238
31.939352836490464
1239
33.181594524759994
1240
78.86549317300661
1241
85
1242
16
1243
14
1244
17
1245
93
1246
65
1247
0
1248
1
1249
73.10057955934198
1250
87.75396685373552
1251
95.76825650074544
1252
33.47131015664351
1253
3.2883456103462105
1254
81.76286810430312
1255
77
1256
32
1257
22
1258
12
1259
9
1260
97
1261
67.91881646224452
1262
93.70145088851744
1263
44.93345534578837
1264
46.60917501401887
1265
82.31893985666825
1266
33.834940384041126
1267
67
1268
80
1269
7
1270
93
1271
90
1272
60
1273
0
1274
1
1275
10.747896542575186
1276
51.70963079194
1277
25.859964093502242
1278
53.46884332415313
1279
27.303657280786375
1280
1.1730740402019046
1281
21
1282
84
1283
60
1284
46
1285
89
1286
18
1287
79.51686319034715
1288
44.52582511278108
1289
36.31775013907876
1290
90.71052428562572
1291
2.423649760351154
1292
46.49647539010543
1293
75
1294
72
1295
22
1296
30
1297
95
1298
83
1299
0
1300
0
1301
6.764559232948453
1302
72.22384726741858
1303
11.57757604477091
1304
93.56049924656486
1305
91.35492009414878
1306
34.76272273573039
1307
85
1308
79
1309
74
1310
44
1311
87
1312
67
1313
90.45271879320013
1314
36.651360510758145
1315
18.134109801145947
1316
33.70583641608438
1317
82.7283069358187
1318
77.32034212835126
1319
65
1320
77
1321
34
1322
6
1323
83
1324
14
1325
0
1326
0
1327
39.886180292159054
1328
35.83192313616487
1329
46.617766343855884
1330
80.9980757068166
1331
73.3128427192195
1332
64.40996260174859
1333
73
1334
95
1335
60
1336
43
1337
78
1338
46
1339
37.498216025406016
1340
90.42775906633331
1341
24.57289199704317
1342
30.195486230226543
1343
28.117028715338087
1344
99.73636739888276
1345
63
1346
85
1347
47
1348
5
1349
64
1350
12
1351
1
1352
1
1353
37.807675522059405
1354
94.50032550917614
1355
92.82985607444985
1356
6.166676084213996
1357
46.2737176166232
1358
44.28798385061437
1359
32
1360
40
1361
8
1362
5
1363
32
1364
76
1365
0.590944427975848
1366
49.954851950808134
1367
51.841556078415074
1368
47.44517655207897
1369
42.21699020279418
1370
4.0831188369326865
1371
97
1372
89
1373
98
1374
6
1375
59
1376
67
1377
0
1378
0
1379
10.842584393797361
1380
79.93838372132757
1381
68.87141012278678
1382
20.828646914776193
1383
75.64371209876704
1384
56.92131176170192
1385
80
1386
34
1387
75
1388
54
1389
86
1390
15
1391
54.14123967940368
1392
14.586690948541625
1393
38.65600511882176
1394
8.46187268193692
1395
98.5173167855531
1396
37.44609630752904
1397
97
1398
33
1399
67
1400
72
1401
98
1402
5
1403
1
1404
1
1405
85.21564834611551
1406
43.58384621144861
1407
57.71929072085319
1408
50.9278673957721
1409
98.04936722660969
1410
50.206055013776265
1411
24
1412
88
1413
61
1414
66
1415
74
1416
4
1417
80.45793104573568
1418
61.8508992119836
1419
55.04818392787523
1420
73.23487267859038
1421
7.436767828848845
1422
40.274082411308186
1423
3
1424
9
1425
23
1426
5
1427
71
1428
30
1429
0
1430
0
1431
67.21446148050451
1432
8.30177082923933
1433
88.00309353763373
1434
86.24157842944604
1435
93.41461706905393
1436
58.76297469362303
1437
43
1438
57
1439
29
1440
56
1441
38
1442
39
1443
23.224358438804682
1444
33.90913022283824
1445
15.31365711595697
1446
69.37793813479391
1447
29.759618747676274
1448
44.89833803622426
1449
71
1450
19
1451
67
1452
78
1453
76
1454
28
1455
0
1456
0
1457
91.48615124393349
1458
4.728804690344768
1459
84.6557912459235
1460
62.830719130614064
1461
97.44031298290997
1462
72.19563643166961
1463
68
1464
69
1465
45
1466
10
1467
80
1468
11
1469
74.47460590915988
1470
88.40944343041608
1471
29.69977546072694
1472
45.68029647552232
1473
38.253719099411974
1474
39.185176841639255
1475
91
1476
17
1477
75
1478
33
1479
84
1480
94
1481
0
1482
0
1483
60.79282854182245
1484
71.45141316274174
1485
54.994345873179284
1486
22.971251121111315
1487
18.061267201485055
1488
77.97596031551906
1489
71
1490
56
1491
2
1492
26
1493
79
1494
45
1495
98.94797367791543
1496
2.1583973056662153
1497
74.15470744893031
1498
46.908298657971436
1499
33.728738591379994
1500
39.09686469364506
1501
51
1502
85
1503
77
1504
56
1505
69
1506
5
1507
1
1508
1
1509
59.438215177081396
1510
49.68144800855355
1511
78.51033950741375
1512
9.86167158043838
1513
4.2037248593916114
1514
6.819317043804318
1515
80
1516
62
1517
30
1518
92
1519
33
1520
75
1521
47.91418881411753
1522
29.438158762182496
1523
58.507124379149246
1524
76.90256484790805
1525
62.266633253032296
1526
98.78000902662495
1527
59
1528
77
1529
74
1530
73
1531
4
1532
84
1533
0
1534
1
1535
56.635493462165044
1536
38.88654877826965
1537
6.862139983031956
1538
9.945965104032496
1539
36.99810359545109
1540
62.27170391054384
1541
52
1542
62
1543
13
1544
72
1545
76
1546
18
1547
86.91109442511639
1548
74.59969805734022
1549
47.76751630674253
1550
80.03128857153158
1551
89.43945285435723
1552
40.35864547934137
1553
25
1554
55
1555
9
1556
17
1557
27
1558
53
1559
1
1560
0
1561
49.84047668656869
1562
30.98700168480244
1563
78.19744169564102
1564
5.915682921859677
1565
83.55325570135173
1566
33.774664826911305
1567
5
1568
7
1569
49
1570
71
1571
95
1572
42
1573
93.78655266082069
1574
56.91391845398823
1575
42.99751903614697
1576
20.949273593561824
1577
38.198433133864675
1578
22.690044040224468
1579
22
1580
22
1581
2
1582
73
1583
29
1584
72
1585
1
1586
1
1587
58.17802302707397
1588
39.532896206897504
1589
54.716538019093655
1590
18.228543097029558
1591
72.21089273708156
1592
49.23992317789742
1593
12
1594
76
1595
97
1596
69
1597
46
1598
44
1599
30.205662391239695
1600
83.14729962562609
1601
96.76495712107231
1602
32.09927583750597
1603
1.720672481601293
1604
30.65445490861347
1605
54
1606
53
1607
2
1608
51
1609
93
1610
89
1611
0
1612
1
1613
10.891515167853694
1614
34.01244618558149
1615
23.371350539265112
1616
83.75112058822238
1617
22.56043535510961
1618
43.75241020465892
1619
89
1620
53
1621
58
1622
67
1623
19
1624
92
1625
60.80008309012142
1626
21.819604106137213
1627
13.60245409005616
1628
11.686309981495768
1629
18.2366567694646
1630
27.32632036328859
1631
60
1632
48
1633
80
1634
15
1635
97
1636
34
1637
1
1638
1
1639
47.651546276034864
1640
91.79711119436718
1641
22.065611171372257
1642
25.873629012691236
1643
58.756973957539635
1644
67.39195484590941
1645
50
1646
48
1647
10
1648
58
1649
91
1650
4
1651
9.508027729808589
1652
85.84164972274745
1653
61.03683289628342
1654
24.81948435153447
1655
20.476762999307073
1656
21.928400503932455
1657
10
1658
94
1659
59
1660
16
1661
6
1662
81
1663
1
1664
1
1665
96.6409372226576
1666
77.90351787037379
1667
27.653271633563325
1668
44.92311199469894
1669
41.00698006812949
1670
99.87762002237281
1671
6
1672
84
1673
23
1674
42
1675
92
1676
37
1677
54.25037816097279
1678
7.8810045395225625
1679
0.4530921875298133
1680
33.63745736522984
1681
38.13080943014677
1682
17.912238145496794
1683
20
1684
81
1685
34
1686
73
1687
69
1688
66
1689
0
1690
1
1691
23.995411163007564
1692
4.266364131836853
1693
74.22227528011805
1694
16.266484548824145
1695
73.33286665720783
1696
13.531808526244937
1697
6
1698
47
1699
88
1700
42
1701
68
1702
1
1703
90.16643912018364
1704
82.52271993864944
1705
20.842300158093753
1706
67.72880917870225
1707
98.31166514269566
1708
83.17716829568371
1709
93
1710
87
1711
87
1712
72
1713
59
1714
44
1715
0
1716
1
1717
29.11017346067134
1718
48.21550301764843
1719
9.464724127874968
1720
51.96632538786896
1721
93.82907492999585
1722
63.635498140305415
1723
54
1724
46
1725
92
1726
49
1727
1
1728
24
1729
69.3438935124308
1730
71.31460167522724
1731
44.984408519140175
1732
44.90840290364353
1733
84.07417991558577
1734
42.017622625935616
1735
20
1736
26
1737
99
1738
58
1739
25
1740
40
1741
1
1742
0
1743
75.28553359268588
1744
57.61877124247352
1745
46.493938513631605
1746
79.45944665297202
1747
73.47054533025398
1748
52.44471305153564
1749
14
1750
43
1751
51
1752
48
1753
24
1754
15
1755
81.462982631568
1756
47.311080258626305
1757
97.31551869186285
1758
45.809869489728825
1759
91.36638099288558
1760
3.0166523723630156
1761
58
1762
20
1763
15
1764
58
1765
1
1766
20
1767
1
1768
1
1769
36.61443354530416
1770
27.415826461640314
1771
47.98695618693911
1772
53.43267311868289
1773
78.86762631008538
1774
83.10133474990346
1775
84
1776
65
1777
78
1778
71
1779
73
1780
20
1781
71.9200557663405
1782
94.33408761211444
1783
50.483789999591465
1784
33.92519012442431
1785
96.96887430929473
1786
66.21227873030982
1787
49
1788
56
1789
53
1790
74
1791
98
1792
66
1793
0
1794
1
1795
28.746741800549323
1796
94.73684741757127
1797
55.37270849726457
1798
6.971379033651703
1799
87.46972382888517
1800
74.91561884783545
1801
47
1802
11
1803
79
1804
41
1805
46
1806
82
1807
51.30041213422009
1808
90.3233966133872
1809
59.63059545004232
1810
25.92288411965018
1811
51.294799101702516
1812
57.785207686075815
1813
49
1814
86
1815
99
1816
63
1817
65
1818
56
1819
1
1820
0
1821
37.996084936364106
1822
51.27768669718535
1823
85.70506788221228
1824
78.95819497776368
1825
69.17020219911625
1826
83.25464024994716
1827
5
1828
50
1829
74
1830
92
1831
27
1832
13
1833
12.463127835207455
1834
2.77896227294262
1835
39.84806021331567
1836
83.50374676813522
1837
85.89599576720852
1838
31.34076419342894
1839
36
1840
36
1841
86
1842
36
1843
29
1844
7
1845
0
1846
1
1847
85.41770989907491
1848
6.870209754417034
1849
52.74244420058613
1850
73.29443446767544
1851
1.2270168936870496
1852
82.78237479824735
1853
90
1854
45
1855
40
1856
93
1857
75
1858
32
1859
52.29817965102463
1860
96.73521863643263
1861
9.558789482942199
1862
35.62244541385928
1863
19.78128600943425
1864
25.354952684873254
1865
64
1866
42
1867
17
1868
47
1869
8
1870
53
1871
1
1872
1
1873
54.48733741796716
1874
19.23177603466636
1875
26.072461992889473
1876
2.0118604600339762
1877
64.53779124678428
1878
65.64897960087555
1879
30
1880
28
1881
61
1882
79
1883
67
1884
36
1885
86.80868675568759
1886
21.71677928991731
1887
84.96045261016809
1888
48.95385582173532
1889
65.22655324814393
1890
7.168580696937232
1891
4
1892
79
1893
43
1894
30
1895
53
1896
57
1897
1
1898
0
1899
23.66609214627976
1900
52.43208152919063
1901
71.16703200759686
1902
45.73085993644962
1903
16.484720896536732
1904
54.17247326512056
1905
61
1906
90
1907
74
1908
96
1909
54
1910
78
1911
37.38465660888851
1912
95.0991399565408
1913
28.471884034762496
1914
32.740229873183914
1915
61.21806104183216
1916
16.60848681929673
1917
10
1918
39
1919
70
1920
33
1921
90
1922
99
1923
0
1924
1
1925
93.99573199080125
1926
83.31782798952192
1927
46.62899209527461
1928
8.48088950104765
1929
94.26733461191792
1930
16.657403238311772
1931
46
1932
27
1933
63
1934
81
1935
44
1936
28
1937
80.59949502127036
1938
70.06363988610447
1939
41.62915125591662
1940
54.65230853944279
1941
83.98838047304437
1942
56.22054374788297
1943
42
1944
87
1945
1
1946
53
1947
95
1948
56
1949
0
1950
0
1951
74.62235929128823
1952
36.03186544628615
1953
70.04797032715135
1954
57.86731953409914
1955
24.93050364909848
1956
48.28738276005896
1957
86
1958
37
1959
62
1960
53
1961
85
1962
34
1963
60.08874778957445
1964
21.406580717180624
1965
27.95695224628698
1966
21.33287868587459
1967
55.38049923598237
1968
73.28896355845656
1969
23
1970
90
1971
66
1972
21
1973
38
1974
0
1975
1
1976
1
1977
28.956652285171213
1978
15.21795410172302
1979
96.94352618781188
1980
94.32293821069462
1981
29.941039405609448
1982
12.28173002521743
1983
32
1984
72
1985
10
1986
38
1987
87
1988
28
1989
17.320303218858292
1990
89.93504575332295
1991
12.74249179215956
1992
34.87810455333079
1993
35.46362925517113
1994
8.919054616243526
1995
18
1996
6
1997
41
1998
73
1999
41
2000
58
2001
0
2002
1
2003
60.26452002383448
2004
98.97448102750741
2005
62.70194335379807
2006
31.629898456197925
2007
21.71023259513958
2008
93.04219817539787
2009
4
2010
61
2011
13
2012
14
2013
78
2014
58
2015
88.44570030670384
2016
86.85976693843787
2017
85.0047639840897
2018
28.14407726324708
2019
7.371347329051725
2020
9.384913036529884
2021
11
2022
30
2023
99
2024
42
2025
0
2026
14
2027
1
2028
0
2029
51.66765889184817
2030
34.135039037172696
2031
95.48640145913333
2032
33.153485783757
2033
72.42546406000811
2034
63.9031629169903
2035
20
2036
63
2037
61
2038
22
2039
8
2040
82
2041
83.06638748618961
2042
18.287965942564355
2043
39.43098674045557
2044
9.70690758928997
2045
71.58073735109099
2046
62.96577910479133
2047
36
2048
77
2049
52
2050
53
2051
68
2052
47
2053
0
2054
1
2055
91.83053352326608
2056
79.9665618798746
2057
16.511097673490116
2058
85.03163772032018
2059
11.382761094210814
2060
27.434602122357667
2061
91
2062
64
2063
70
2064
37
2065
98
2066
53
2067
94.25853339266912
2068
40.24783501449713
2069
44.04807496638443
2070
55.97489161974764
2071
14.894836974328074
2072
8.543274356073137
2073
54
2074
99
2075
57
2076
99
2077
80
2078
19
2079
1
2080
1
2081
49.291494603371575
2082
73.61519465292669
2083
9.363221006303347
2084
41.26284715106503
2085
35.67426083908861
2086
67.60011740468508
2087
43
2088
85
2089
53
2090
58
2091
77
2092
34
2093
9.939736286159873
2094
98.08979762212385
2095
3.25883748173017
2096
1.3695883582325652
2097
75.97284637950945
2098
25.563880188914645
2099
16
2100
63
2101
56
2102
56
2103
35
2104
97
2105
1
2106
1
2107
51.38671262960241
2108
33.36637042194796
2109
28.97884918595932
2110
24.945555607525925
2111
78.69863518640834
2112
46.53834347267542
2113
54
2114
9
2115
36
2116
60
2117
77
2118
67
2119
79.85514788869152
2120
78.18553993379749
2121
69.72720255022583
2122
97.09714049987596
2123
97.15085355184453
2124
60.82822208868778
2125
24
2126
54
2127
97
2128
20
2129
40
2130
50
2131
1
2132
1
2133
64.50812187938314
2134
74.85435610837362
2135
61.09127513814195
2136
33.034570563264474
2137
47.1226852140616
2138
42.442378453828944
2139
8
2140
72
2141
3
2142
38
2143
92
2144
48
2145
47.42044952694211
2146
90.33258232546306
2147
2.9107906956834406
2148
77.58511554069962
2149
95.52670730295081
2150
79.75693486762593
2151
50
2152
85
2153
63
2154
14
2155
17
2156
41
2157
1
2158
0
2159
95.10187977048916
2160
90.14338125641387
2161
96.95758267261519
2162
89.96681299701068
2163
68.81254494831504
2164
84.26204401839288
2165
41
2166
92
2167
78
2168
45
2169
3
2170
57
2171
51.846372244761305
2172
84.70068677757428
2173
60.855143085327256
2174
65.31959527091684
2175
30.327294839864837
2176
55.510066153510294
2177
19
2178
3
2179
52
2180
97
2181
29
2182
79
2183
0
2184
0
2185
53.067731256888294
2186
43.06351525203137
2187
83.54259061454773
2188
12.3664927395561
2189
42.001784798504296
2190
86.60223372854539
2191
29
2192
94
2193
20
2194
86
2195
99
2196
64
2197
43.96751427245545
2198
44.221076440862184
2199
36.04487862097847
2200
8.813275121162123
2201
90.20602726440336
2202
49.00922198571722
2203
4
2204
37
2205
74
2206
97
2207
6
2208
37
2209
1
2210
1
2211
93.8693947772515
2212
97.85677880117612
2213
93.11538918897656
2214
82.06239571796641
2215
58.067693079370585
2216
17.191027481531318
2217
40
2218
62
2219
79
2220
64
2221
52
2222
59
2223
61.05394247530111
2224
35.61030283559925
2225
23.28784895449355
2226
82.20155598581717
2227
32.77243412590947
2228
92.9663520662527
2229
34
2230
95
2231
63
2232
93
2233
23
2234
42
2235
1
2236
1
2237
83.14128429368512
2238
66.02089885880716
2239
50.02067344039682
2240
17.215514573071044
2241
29.304909117382095
2242
58.75360275127829
2243
24
2244
89
2245
18
2246
96
2247
79
2248
96
2249
54.638373945750196
2250
54.25796711148585
2251
83.93595344863041
2252
59.90739910685867
2253
30.701320787883844
2254
66.25237370729482
2255
94
2256
99
2257
54
2258
83
2259
48
2260
46
2261
0
2262
1
2263
59.62074543112074
2264
25.43906166736669
2265
19.927151076588558
2266
47.57743480036428
2267
82.18253684030172
2268
42.582819839784335
2269
55
2270
32
2271
36
2272
44
2273
52
2274
60
2275
76.00934530457675
2276
41.10664664798923
2277
18.85911534509218
2278
97.31645413941025
2279
90.34315788360527
2280
37.131811996293976
2281
58
2282
4
2283
46
2284
42
2285
7
2286
84
2287
1
2288
0
2289
46.21431519275821
2290
17.375827708046522
2291
64.3255982988117
2292
4.9732620710192466
2293
18.86592074016611
2294
44.04795902125734
2295
1
2296
86
2297
61
2298
80
2299
21
2300
60
2301
13.293800426855428
2302
34.123330014587836
2303
24.664960639885315
2304
2.988206341436772
2305
72.27304803894164
2306
94.99491608226229
2307
67
2308
3
2309
43
2310
73
2311
45
2312
38
2313
0
2314
0
2315
36.66068807069707
2316
97.3387902994845
2317
27.599767720232926
2318
39.543821154243794
2319
6.827098824369138
2320
71.49775132847678
2321
6
2322
72
2323
93
2324
49
2325
9
2326
24
2327
6.431474268166005
2328
3.72053313275319
2329
91.73332283728361
2330
98.95010225523673
2331
36.98124899888538
2332
72.60848422137907
2333
0
2334
90
2335
54
2336
98
2337
65
2338
83
2339
1
2340
1
2341
29.093525405705
2342
97.38854020683979
2343
64.67648436241548
2344
89.64515759370263
2345
1.4518231950686022
2346
75.3865360980268
2347
32
2348
28
2349
23
2350
68
2351
70
2352
74
2353
87.02459450831894
2354
58.53031675093431
2355
24.777609231703135
2356
48.15188227604563
2357
28.69211494974038
2358
56.6910261654087
2359
82
2360
65
2361
13
2362
32
2363
54
2364
72
2365
0
2366
1
2367
82.73860669789647
2368
71.52950692438318
2369
7.297357305197705
2370
1.3257051203217074
2371
82.9358267507169
2372
41.634484885222925
2373
62
2374
9
2375
1
2376
72
2377
69
2378
96
2379
16.017719204567992
2380
68.51702832206993
2381
40.92006081298864
2382
68.16251269053957
2383
96.03817145771963
2384
28.34276565006746
2385
17
2386
44
2387
68
2388
62
2389
55
2390
76
2391
0
2392
1
2393
81.10074005286606
2394
69.83178170511593
2395
95.52097025010909
2396
69.80117582979395
2397
82.26441908980232
2398
11.615387883428074
2399
55
2400
52
2401
80
2402
88
2403
57
2404
81
2405
16.287441626391942
2406
16.904459843545936
2407
12.844505644863558
2408
88.45038929589907
2409
3.5545733007942393
2410
57.28746609337375
2411
62
2412
19
2413
20
2414
81
2415
23
2416
92
2417
1
2418
0
2419
38.90427870343092
2420
74.86237684115868
2421
27.183513919838
2422
54.58280188124992
2423
80.84224753604975
2424
37.16309138659021
2425
94
2426
25
2427
99
2428
23
2429
60
2430
17
2431
69.8115978200334
2432
41.62061202927788
2433
87.67714127437473
2434
82.1744605749812
2435
18.95583092235199
2436
76.93084948254052
2437
91
2438
25
2439
12
2440
83
2441
45
2442
97
2443
0
2444
1
2445
60.35976339843722
2446
53.41858499107269
2447
38.52524204247072
2448
94.48073981285964
2449
59.0555992281759
2450
82.9540028986314
2451
62
2452
99
2453
9
2454
74
2455
4
2456
68
2457
35.79503113613709
2458
23.987230915413694
2459
77.9410613443475
2460
52.95940220912796
2461
47.00679568993996
2462
79.54506111550886
2463
12
2464
21
2465
35
2466
29
2467
61
2468
82
2469
0
2470
1
2471
28.467096733348807
2472
95.99726565153415
2473
86.94472723264445
2474
86.4178627453931
2475
72.05100450673878
2476
59.10024025995588
2477
39
2478
85
2479
50
2480
80
2481
24
2482
28
2483
20.359666207362316
2484
54.01412239259008
2485
44.434322460661804
2486
92.42363053227642
2487
15.261432342559644
2488
57.80343936444717
2489
8
2490
18
2491
43
2492
89
2493
15
2494
73
2495
1
2496
0
2497
54.820736414639335
2498
10.470123724135972
2499
85.29971063125473
2500
26.592630600736168
2501
71.39606432393968
2502
82.1677595581161
2503
22
2504
11
2505
88
2506
3
2507
83
2508
96
2509
40.83320600495826
2510
90.44967561132135
2511
66.90542435616837
2512
50.13620082279326
2513
57.051482248826325
2514
80.1329416346591
2515
60
2516
93
2517
46
2518
86
2519
17
2520
48
2521
1
2522
1
2523
20.011650504289236
2524
35.39825412645007
2525
70.84027028114308
2526
6.4188182250154995
2527
52.23594779691925
2528
9.884036258643947
2529
53
2530
54
2531
32
2532
60
2533
5
2534
21
2535
4.798336227706579
2536
75.49657462976455
2537
53.96928094972389
2538
96.67091172917144
2539
73.03046558822214
2540
19.878431726272495
2541
37
2542
0
2543
10
2544
52
2545
25
2546
60
2547
0
2548
1
2549
4.832951475793346
2550
34.148515666537314
2551
32.50709094467892
2552
77.21690994246443
2553
0.6420807312739973
2554
37.88518413159322
2555
1
2556
36
2557
62
2558
70
2559
65
2560
75
2561
82.17665706723285
2562
55.40152446435338
2563
54.93953310474568
2564
67.46078033461899
2565
47.53948188887881
2566
51.32693570453621
2567
79
2568
21
2569
34
2570
99
2571
22
2572
67
2573
1
2574
0
2575
97.28274810952233
2576
59.26908874995787
2577
72.6149267253571
2578
65.06612405658215
2579
24.356846126481415
2580
91.04969168796548
2581
21
2582
92
2583
55
2584
49
2585
28
2586
47
2587
68.81207134409307
2588
12.644952629173567
2589
46.06649275479363
2590
24.963434991272493
2591
4.53288875052934
2592
49.30690911646278
2593
93
2594
12
2595
95
2596
79
2597
2
2598
51
2599
1
2600
1