Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_comparetozero_test / comparetozero_test_comparetozero_test_input_values @ 0c9457a0

History | View | Annotate | Download (22.5 KB)

1
95.09182788228655
2
8
3
0
4
85.49078837234299
5
12.831667994606267
6
64.25421218561179
7
58
8
78
9
27
10
1
11
1
12
1
13
66.0445095201186
14
28.379594686177633
15
60.348851621854735
16
72.54130275593728
17
32.40311144134799
18
10.614223744505347
19
23
20
53
21
92
22
77
23
66
24
69
25
0
26
1
27
1
28
1
29
0
30
1
31
3.752725574033744
32
13
33
0
34
94.77340145008075
35
17.644713710260728
36
13.768146192464847
37
10
38
87
39
41
40
0
41
0
42
0
43
38.763066389167236
44
69.01302008429204
45
6.304434719072027
46
97.06353040219548
47
46.66965795280805
48
87.34116419617783
49
49
50
57
51
5
52
40
53
23
54
87
55
0
56
0
57
1
58
1
59
0
60
0
61
83.29719365547503
62
54
63
0
64
30.82021070414437
65
86.78254076538771
66
76.45606642932592
67
50
68
87
69
85
70
1
71
0
72
0
73
38.90066542784223
74
20.69415242534497
75
21.688540487629048
76
76.85487034862174
77
63.5876429357013
78
21.536930013394073
79
61
80
40
81
30
82
34
83
29
84
84
85
0
86
0
87
1
88
1
89
1
90
0
91
2.321705077598668
92
28
93
1
94
88.10347682267937
95
5.830123805515209
96
69.24014984734737
97
50
98
44
99
9
100
0
101
1
102
1
103
40.18517462184638
104
76.70682447863824
105
98.80476316179268
106
16.05323760068662
107
38.59754650874022
108
13.3733604166834
109
31
110
66
111
66
112
45
113
27
114
50
115
1
116
0
117
0
118
1
119
1
120
1
121
54.852573222609735
122
12
123
0
124
61.687904218315694
125
24.97539009367975
126
78.86759882980697
127
92
128
14
129
19
130
0
131
0
132
1
133
4.819748562991966
134
18.329150213025713
135
78.26607471259412
136
36.52725576828249
137
69.91268711937074
138
47.75724721295481
139
12
140
59
141
37
142
52
143
58
144
42
145
1
146
1
147
1
148
0
149
1
150
0
151
20.142465718710266
152
31
153
1
154
4.572427500393039
155
43.638061212429676
156
16.474995751336564
157
36
158
72
159
12
160
1
161
1
162
1
163
27.47140453637702
164
13.171746476195878
165
39.11573655740314
166
18.863613243791853
167
48.561076234748036
168
24.598421751029264
169
26
170
55
171
90
172
82
173
21
174
38
175
0
176
1
177
0
178
1
179
1
180
0
181
53.22146293179632
182
61
183
0
184
33.90945332649415
185
53.4493146104409
186
77.16565233632852
187
30
188
82
189
69
190
0
191
0
192
1
193
49.64431854059421
194
88.72319517340216
195
16.225304250151872
196
36.79436801091703
197
25.9219272201217
198
12.39605945309592
199
10
200
5
201
90
202
84
203
30
204
48
205
1
206
0
207
0
208
1
209
1
210
1
211
94.87763624994487
212
27
213
0
214
67.79399187223436
215
50.107817765259725
216
55.091282849340296
217
51
218
71
219
59
220
0
221
1
222
0
223
9.870530011506162
224
59.352856042137624
225
81.54503868153755
226
58.28505344823645
227
32.25601131444237
228
0.36594472504504205
229
33
230
26
231
34
232
77
233
83
234
8
235
1
236
0
237
0
238
0
239
1
240
0
241
30.074038475928553
242
56
243
0
244
34.959809708998115
245
42.313426912644815
246
70.48636288024746
247
12
248
22
249
72
250
0
251
1
252
0
253
66.73286247829367
254
51.13444158040548
255
17.676562108937542
256
85.4301640975566
257
16.93600895002627
258
81.06977296637727
259
7
260
69
261
61
262
43
263
49
264
96
265
1
266
1
267
1
268
1
269
0
270
0
271
92.26618057080157
272
27
273
0
274
38.4890834855985
275
6.780598468575705
276
99.18555727378484
277
80
278
11
279
91
280
1
281
0
282
1
283
31.441840785165244
284
88.09202826467444
285
82.25716110202536
286
7.353421455906551
287
46.415060815806086
288
5.370828652863413
289
58
290
78
291
71
292
92
293
92
294
7
295
0
296
1
297
0
298
1
299
1
300
1
301
7.665931522330038
302
99
303
1
304
71.53670649426509
305
62.259401497452004
306
57.36168461265473
307
30
308
9
309
15
310
1
311
1
312
0
313
74.52046122258292
314
75.8334942765275
315
9.789619042658215
316
45.48600280114088
317
89.42878019427825
318
14.528655479066321
319
11
320
36
321
14
322
92
323
57
324
40
325
1
326
1
327
1
328
1
329
1
330
0
331
98.20494709446255
332
25
333
1
334
78.08986450236951
335
62.542754614580275
336
84.5536140386161
337
16
338
47
339
84
340
0
341
1
342
1
343
27.107637331621646
344
44.024584101989284
345
23.821057832077607
346
78.89664597341554
347
40.50796574445597
348
70.35862781335334
349
19
350
57
351
60
352
95
353
70
354
58
355
1
356
1
357
1
358
0
359
1
360
1
361
14.782696048206423
362
45
363
1
364
24.928027330240997
365
38.61429999515782
366
86.51065051709179
367
29
368
48
369
8
370
1
371
1
372
1
373
81.47327098515558
374
87.7701921669619
375
36.76872116450197
376
48.77340915302527
377
82.58635918309601
378
73.62061094268384
379
67
380
83
381
78
382
54
383
5
384
15
385
0
386
0
387
1
388
0
389
1
390
1
391
53.34119223225752
392
0
393
1
394
2.21807620056651
395
53.392124502015136
396
45.961874120217125
397
99
398
33
399
62
400
0
401
1
402
0
403
7.544829472201709
404
79.70761389359889
405
97.21022920632183
406
55.707549604509765
407
67.31973466154041
408
83.1641592781383
409
73
410
63
411
22
412
68
413
73
414
47
415
0
416
0
417
0
418
1
419
1
420
0
421
15.39057427702042
422
35
423
1
424
99.573763805294
425
68.94930906770124
426
84.12601051620553
427
33
428
51
429
47
430
0
431
1
432
0
433
42.57741277563013
434
9.47989663191403
435
5.100341335987513
436
81.10586311669242
437
97.68971834159944
438
23.846028811246565
439
76
440
91
441
42
442
18
443
62
444
15
445
0
446
0
447
0
448
1
449
1
450
1
451
11.816734270807839
452
10
453
0
454
11.928275066528249
455
65.64307111610665
456
58.609422605967296
457
62
458
63
459
67
460
0
461
1
462
1
463
79.55628791650969
464
45.24563548733758
465
54.14578554955008
466
84.85851796891728
467
31.54771375730716
468
99.84899533185849
469
3
470
96
471
10
472
17
473
45
474
28
475
1
476
1
477
1
478
1
479
1
480
0
481
74.13417248343048
482
94
483
0
484
15.213175677245673
485
95.26001926146719
486
14.296821018402373
487
7
488
88
489
12
490
1
491
1
492
1
493
76.50292199406633
494
2.9948921910543214
495
77.46425171079531
496
55.31526493178765
497
86.96136707694664
498
11.769319109736198
499
21
500
22
501
33
502
88
503
61
504
7
505
1
506
1
507
0
508
1
509
0
510
1
511
30.80433170447936
512
87
513
1
514
15.606569750983933
515
96.08589143814702
516
62.92134611776109
517
73
518
37
519
3
520
0
521
1
522
1
523
33.56254167918392
524
53.67916022953195
525
67.6731876119523
526
14.673644315630751
527
20.558042043337345
528
10.70344148565827
529
18
530
37
531
76
532
40
533
71
534
60
535
0
536
1
537
1
538
0
539
1
540
0
541
27.821697540098288
542
30
543
0
544
18.00778364280189
545
46.73384218320595
546
54.20769284342594
547
28
548
8
549
56
550
0
551
0
552
0
553
37.58335429481168
554
95.52656524114789
555
15.698554988972724
556
13.058649537856759
557
68.51676481826236
558
10.552752362434303
559
96
560
63
561
13
562
74
563
50
564
14
565
1
566
1
567
0
568
1
569
1
570
0
571
22.476923671668068
572
3
573
1
574
79.4155200999959
575
87.61618003863794
576
16.813997659521142
577
8
578
15
579
29
580
1
581
0
582
0
583
54.85446535370833
584
69.40185964775354
585
63.86322849680267
586
77.8739639495186
587
86.44218724023457
588
20.87865361147334
589
22
590
83
591
21
592
21
593
59
594
74
595
1
596
0
597
0
598
0
599
0
600
0
601
57.03836968941284
602
75
603
1
604
11.03080985103465
605
94.1202337758793
606
90.7552245342609
607
79
608
32
609
91
610
0
611
0
612
0
613
61.751720201667204
614
98.683927222642
615
98.20929144780902
616
21.430853989912023
617
99.0611064282305
618
56.878255114729924
619
69
620
50
621
2
622
58
623
33
624
68
625
1
626
0
627
1
628
1
629
0
630
0
631
25.05035859504361
632
47
633
1
634
69.17578831871558
635
43.849788094980994
636
44.5728025091078
637
17
638
79
639
0
640
1
641
0
642
0
643
40.24758420604934
644
91.87189340773122
645
12.527926487222874
646
49.41140508361654
647
73.51413165021688
648
30.414512334434807
649
49
650
45
651
17
652
78
653
93
654
11
655
0
656
1
657
0
658
1
659
0
660
1
661
77.02861547477823
662
55
663
0
664
29.51370110860373
665
81.71930988738636
666
70.22234364050675
667
10
668
77
669
98
670
0
671
1
672
1
673
30.57331105829766
674
55.99417113304376
675
62.21526153994671
676
55.39867972782439
677
60.972092675430986
678
26.52275105977492
679
24
680
51
681
1
682
39
683
12
684
51
685
1
686
1
687
0
688
0
689
0
690
1
691
74.54023451817223
692
0
693
0
694
71.57518783271895
695
51.23901189664768
696
76.48325193011107
697
3
698
64
699
58
700
0
701
0
702
1
703
26.778609032139755
704
31.883063806662292
705
89.8419225552543
706
32.50710694383887
707
10.388874534136082
708
23.42885531184202
709
39
710
5
711
93
712
52
713
28
714
80
715
1
716
1
717
0
718
0
719
1
720
0
721
91.9877121938674
722
17
723
1
724
11.240362646355894
725
28.00450030229498
726
57.65110309719178
727
28
728
70
729
66
730
0
731
0
732
1
733
22.516096989513812
734
78.49082997804389
735
46.21867143927043
736
82.07223349510008
737
45.40930329937778
738
20.852715639929375
739
30
740
62
741
9
742
40
743
30
744
19
745
0
746
0
747
0
748
1
749
1
750
1
751
83.87347500346968
752
1
753
1
754
7.595753432475805
755
62.205625901781225
756
98.35567820735966
757
27
758
15
759
21
760
1
761
0
762
1
763
64.08483395738595
764
2.6614028330457784
765
50.76002588283121
766
51.40968330968754
767
10.782846359404285
768
1.2337294944469446
769
56
770
22
771
13
772
91
773
57
774
73
775
1
776
1
777
0
778
0
779
1
780
0
781
81.90345875122478
782
74
783
0
784
37.47971727842342
785
10.894862447260135
786
87.55459493446816
787
11
788
21
789
27
790
1
791
1
792
1
793
45.59928404426803
794
53.13520596165135
795
33.09222418880464
796
87.82904464839405
797
38.09081739483441
798
61.5035229585011
799
48
800
97
801
12
802
34
803
48
804
59
805
1
806
1
807
1
808
0
809
0
810
0
811
60.99526929931225
812
59
813
0
814
76.04944473810635
815
17.806377271827735
816
55.084470447620305
817
98
818
45
819
41
820
0
821
1
822
0
823
87.10702774867161
824
73.05284289917357
825
74.12153023515077
826
54.38909349356933
827
52.176882811900704
828
19.144258783095612
829
8
830
18
831
34
832
86
833
0
834
70
835
0
836
1
837
1
838
1
839
0
840
0
841
16.088527136284657
842
71
843
0
844
44.84722005863372
845
78.69267784345577
846
12.608621574415768
847
83
848
17
849
53
850
1
851
1
852
0
853
70.5606836288426
854
33.83666508332699
855
19.17331076981875
856
14.306598694893069
857
39.377683001144916
858
15.509241695850628
859
5
860
62
861
22
862
53
863
86
864
30
865
0
866
1
867
1
868
0
869
0
870
1
871
22.611989465385417
872
96
873
0
874
90.11313115689508
875
13.446584515297067
876
77.38232539437962
877
43
878
41
879
15
880
0
881
0
882
1
883
70.75641530918935
884
55.067543748790214
885
68.33191694888427
886
55.48173396002812
887
26.482356173512667
888
11.745772040133984
889
13
890
81
891
56
892
66
893
31
894
8
895
0
896
1
897
0
898
0
899
0
900
1
901
12.544117832961943
902
56
903
0
904
33.48595295110645
905
52.70195177164323
906
81.96368636755777
907
60
908
28
909
41
910
1
911
0
912
1
913
8.683492576942731
914
49.837432415767836
915
59.755894689106846
916
94.27887958351428
917
75.30688732867897
918
98.14849835344307
919
87
920
25
921
27
922
31
923
62
924
58
925
1
926
0
927
1
928
0
929
1
930
0
931
85.21073328066589
932
11
933
1
934
94.75345472449675
935
36.15745642219299
936
25.830181522311058
937
41
938
6
939
76
940
0
941
1
942
0
943
73.18642388499896
944
23.046570604482852
945
50.51258302194432
946
68.50237607965735
947
81.85112611448709
948
16.384804004959175
949
6
950
96
951
88
952
87
953
51
954
16
955
0
956
1
957
0
958
0
959
0
960
1
961
87.29552793834063
962
78
963
0
964
21.95792589455975
965
12.54345188918975
966
5.818018876179432
967
79
968
53
969
99
970
1
971
0
972
0
973
3.4231317497676272
974
91.22752817987217
975
66.37072428707305
976
3.4326149762906155
977
81.21342876307095
978
25.772020561492603
979
26
980
91
981
45
982
31
983
27
984
78
985
1
986
1
987
1
988
0
989
1
990
1
991
39.99609146701361
992
68
993
1
994
77.9322227275943
995
26.952752313529093
996
71.38344779665479
997
34
998
90
999
66
1000
0
1001
0
1002
1
1003
99.30977202719221
1004
86.71647743086017
1005
37.0091929309172
1006
11.838574394870772
1007
99.7698918560271
1008
29.6495924664395
1009
28
1010
5
1011
42
1012
2
1013
85
1014
42
1015
0
1016
0
1017
0
1018
0
1019
0
1020
1
1021
62.84029180446166
1022
93
1023
0
1024
24.236206542027773
1025
80.18190700971832
1026
87.89217495036952
1027
48
1028
83
1029
89
1030
1
1031
1
1032
1
1033
29.97474821829369
1034
56.35544040245992
1035
56.244508831898884
1036
69.05875071572143
1037
64.58212494301647
1038
15.877507831045179
1039
62
1040
12
1041
63
1042
74
1043
38
1044
36
1045
1
1046
0
1047
0
1048
0
1049
1
1050
1
1051
43.384778367014455
1052
69
1053
0
1054
13.482928734117582
1055
46.780413943573194
1056
56.475152266312854
1057
61
1058
0
1059
8
1060
1
1061
1
1062
1
1063
41.201549761530785
1064
65.39748665279184
1065
8.149329170719932
1066
87.54315822630961
1067
76.5796233985293
1068
56.60571776919726
1069
9
1070
40
1071
43
1072
34
1073
77
1074
30
1075
0
1076
0
1077
1
1078
1
1079
1
1080
0
1081
29.84945157172921
1082
45
1083
0
1084
49.188502820336936
1085
43.6809771977863
1086
32.44589208614713
1087
69
1088
47
1089
37
1090
1
1091
1
1092
0
1093
21.92203711648215
1094
70.90018097880079
1095
79.32866205504348
1096
1.6748822420724507
1097
78.76978412933829
1098
56.697423859693906
1099
20
1100
21
1101
49
1102
68
1103
28
1104
67
1105
0
1106
1
1107
0
1108
0
1109
1
1110
0
1111
79.69875366631463
1112
34
1113
0
1114
98.54906212442202
1115
49.58480274522399
1116
5.85665838373245
1117
32
1118
57
1119
54
1120
0
1121
1
1122
1
1123
77.0289045172822
1124
35.630830380638166
1125
35.140006614978546
1126
63.24047197525733
1127
3.560629183980346
1128
37.552477459097034
1129
59
1130
3
1131
11
1132
70
1133
84
1134
66
1135
0
1136
1
1137
1
1138
1
1139
0
1140
0
1141
81.26268222798834
1142
51
1143
0
1144
47.942837727378475
1145
86.70164693665458
1146
57.47779301071525
1147
8
1148
85
1149
70
1150
1
1151
0
1152
0
1153
69.10795319991638
1154
13.370351472905107
1155
73.28827080003653
1156
40.59418333250655
1157
64.23836894567843
1158
93.56537788834031
1159
9
1160
57
1161
22
1162
31
1163
60
1164
45
1165
1
1166
0
1167
1
1168
0
1169
1
1170
1
1171
77.69745567263621
1172
59
1173
1
1174
73.47478910331624
1175
90.99513624831732
1176
81.3165198311415
1177
85
1178
37
1179
16
1180
1
1181
0
1182
1
1183
35.14798052206213
1184
49.490925855289866
1185
81.99572047628094
1186
10.361930012182475
1187
64.72395204401158
1188
62.06565183068824
1189
4
1190
52
1191
71
1192
24
1193
11
1194
36
1195
1
1196
0
1197
1
1198
1
1199
0
1200
0
1201
62.91778907371581
1202
24
1203
0
1204
59.52590698391202
1205
14.759644325906141
1206
70.74859041705587
1207
27
1208
74
1209
47
1210
1
1211
0
1212
1
1213
55.868009176774336
1214
6.795809598275593
1215
21.841869343014963
1216
29.456514467487814
1217
38.93975810184488
1218
4.326669101628077
1219
72
1220
31
1221
4
1222
61
1223
61
1224
57
1225
1
1226
1
1227
1
1228
1
1229
0
1230
0
1231
87.5897610757273
1232
85
1233
0
1234
37.03866007093152
1235
26.15579982957561
1236
99.41817166509924
1237
76
1238
7
1239
42
1240
0
1241
0
1242
1
1243
55.00869566702789
1244
45.84798071232819
1245
20.387630962761584
1246
77.22656566288394
1247
96.44967538904623
1248
5.0922509467705375
1249
24
1250
59
1251
59
1252
47
1253
41
1254
35
1255
0
1256
0
1257
0
1258
0
1259
1
1260
1
1261
9.855295521854668
1262
80
1263
1
1264
30.16478801520217
1265
94.25751348005956
1266
90.2683939885465
1267
71
1268
98
1269
25
1270
1
1271
1
1272
1
1273
33.766718179654454
1274
61.377626042010014
1275
16.8426897229506
1276
62.73730558557881
1277
44.4927582769697
1278
61.05866082440473
1279
35
1280
25
1281
9
1282
65
1283
85
1284
30
1285
1
1286
1
1287
1
1288
1
1289
0
1290
1
1291
50.16632075770112
1292
40
1293
0
1294
94.92096582039943
1295
75.2141000568494
1296
56.39702334351948
1297
25
1298
15
1299
70
1300
0
1301
1
1302
0
1303
1.5080251559148938
1304
1.846665760396471
1305
20.304514922094285
1306
0.482157318694465
1307
78.1127845513803
1308
44.86292049951469
1309
64
1310
16
1311
27
1312
21
1313
43
1314
94
1315
0
1316
1
1317
0
1318
1
1319
0
1320
0
1321
62.43867264034686
1322
60
1323
1
1324
6.6425946045128414
1325
45.30698406312983
1326
15.888749539013347
1327
76
1328
30
1329
4
1330
1
1331
1
1332
1
1333
47.977848387896124
1334
77.86188755722387
1335
49.491979815890176
1336
69.24984859341558
1337
79.79296804821624
1338
0.3665994850309495
1339
94
1340
54
1341
33
1342
82
1343
10
1344
89
1345
1
1346
0
1347
0
1348
0
1349
1
1350
0
1351
14.692866461449771
1352
46
1353
0
1354
4.29534603132411
1355
59.98113057095813
1356
29.357604508471702
1357
30
1358
50
1359
75
1360
1
1361
0
1362
1
1363
14.432382647783392
1364
96.86647396989324
1365
4.416118116730994
1366
83.42259553599744
1367
47.83719727512796
1368
47.38757249639135
1369
96
1370
64
1371
89
1372
93
1373
47
1374
39
1375
0
1376
1
1377
0
1378
1
1379
1
1380
1
1381
81.43088440746902
1382
52
1383
0
1384
29.098710676032947
1385
54.357231602669444
1386
83.6400553673259
1387
98
1388
66
1389
14
1390
1
1391
1
1392
1
1393
61.449109008732115
1394
46.40301587011575
1395
81.07502894377475
1396
23.656618978896514
1397
78.69613337620557
1398
49.52047729760953
1399
17
1400
52
1401
92
1402
21
1403
87
1404
97
1405
1
1406
0
1407
1
1408
0
1409
1
1410
0
1411
87.20514310199295
1412
65
1413
0
1414
2.4353090348608553
1415
40.28135774597257
1416
47.911387948504135
1417
22
1418
34
1419
75
1420
1
1421
1
1422
1
1423
99.62974660028375
1424
86.22939964178761
1425
79.02951085431444
1426
94.69707489657097
1427
62.51859261965373
1428
27.29990100400499
1429
96
1430
83
1431
97
1432
1
1433
11
1434
76
1435
0
1436
0
1437
1
1438
0
1439
0
1440
1
1441
6.1678604377287005
1442
72
1443
0
1444
73.66423405710282
1445
97.64468369411256
1446
59.45494765398783
1447
69
1448
96
1449
5
1450
0
1451
0
1452
1
1453
45.991858885933524
1454
0.6822037751860965
1455
68.61052478965671
1456
2.0052715801241905
1457
13.415610689002877
1458
80.69860653307612
1459
29
1460
9
1461
83
1462
86
1463
83
1464
17
1465
1
1466
1
1467
1
1468
1
1469
0
1470
0
1471
15.846065253738239
1472
56
1473
0
1474
32.2262566336323
1475
3.50654417212356
1476
55.395914536762206
1477
63
1478
52
1479
73
1480
1
1481
0
1482
0
1483
93.55214562010734
1484
6.920551237260608
1485
79.52909924355396
1486
65.92677672918826
1487
46.25666791564124
1488
19.81640183220781
1489
22
1490
74
1491
67
1492
68
1493
86
1494
73
1495
1
1496
1
1497
1
1498
0
1499
0
1500
0
1501
24.969500858026304
1502
58
1503
0
1504
20.323242070631263
1505
91.47998138517491
1506
53.918297763654586
1507
96
1508
82
1509
56
1510
1
1511
0
1512
0
1513
34.43652623468477
1514
12.046620828596556
1515
45.80387023401001
1516
22.304890370059216
1517
30.274565899963022
1518
90.60349464546861
1519
23
1520
61
1521
75
1522
95
1523
80
1524
83
1525
1
1526
1
1527
1
1528
0
1529
0
1530
0
1531
44.885744402874494
1532
65
1533
1
1534
2.473646875261948
1535
85.88965072979228
1536
3.81582147184627
1537
36
1538
4
1539
54
1540
0
1541
0
1542
1
1543
57.80912445039922
1544
62.587334073147524
1545
93.19090001489916
1546
91.74462124858218
1547
96.33744633489809
1548
23.575522863978104
1549
65
1550
58
1551
11
1552
7
1553
42
1554
46
1555
0
1556
1
1557
1
1558
0
1559
0
1560
0
1561
51.928869050265824
1562
33
1563
1
1564
46.39052247355977
1565
10.387726264216168
1566
64.68447065050267
1567
49
1568
30
1569
6
1570
0
1571
0
1572
1
1573
52.9942868129233
1574
33.43497436696138
1575
84.69506674761689
1576
36.15818573819911
1577
49.45354551784366
1578
27.71566204628574
1579
94
1580
49
1581
15
1582
95
1583
68
1584
6
1585
0
1586
1
1587
1
1588
1
1589
0
1590
0
1591
94.0650011440938
1592
55
1593
1
1594
45.89794444211095
1595
29.014330083360317
1596
51.646457477268996
1597
10
1598
56
1599
59
1600
0
1601
0
1602
1
1603
85.3728274985994
1604
60.08281561882674
1605
47.26170360915205
1606
60.77377830900258
1607
40.90624012613129
1608
99.12255124745086
1609
35
1610
62
1611
7
1612
43
1613
10
1614
80
1615
0
1616
0
1617
0
1618
1
1619
1
1620
0
1621
29.220183645642084
1622
42
1623
0
1624
70.99637935708932
1625
39.11462477749149
1626
78.20241048940161
1627
45
1628
64
1629
0
1630
0
1631
1
1632
0
1633
77.96569722352011
1634
27.855089437429193
1635
88.39182499322301
1636
62.465179641164035
1637
85.37401167664001
1638
14.451023830747777
1639
60
1640
44
1641
13
1642
71
1643
79
1644
12
1645
0
1646
1
1647
1
1648
0
1649
1
1650
1
1651
44.902975383251196
1652
65
1653
0
1654
62.70694163710762
1655
0.07565012820049954
1656
58.64062891698574
1657
5
1658
51
1659
52
1660
1
1661
0
1662
0
1663
25.075320789431153
1664
94.81891630505261
1665
75.19375657015243
1666
71.06048180086164
1667
67.47194944726279
1668
32.80590215354617
1669
35
1670
81
1671
27
1672
73
1673
16
1674
17
1675
1
1676
1
1677
0
1678
1
1679
0
1680
1
1681
99.06621705801349
1682
6
1683
1
1684
0.9691388980753168
1685
49.52167445530219
1686
87.3892362574257
1687
1
1688
66
1689
74
1690
0
1691
1
1692
1
1693
85.93686716538103
1694
41.17910603233319
1695
90.27847574383178
1696
79.21409072995392
1697
69.35851673162729
1698
36.48746905323158
1699
77
1700
1
1701
97
1702
79
1703
98
1704
65
1705
0
1706
0
1707
1
1708
0
1709
0
1710
0
1711
40.60949268358321
1712
80
1713
0
1714
62.63610782389436
1715
29.407637122786955
1716
96.77917612907723
1717
39
1718
87
1719
50
1720
1
1721
0
1722
1
1723
56.03876763981892
1724
7.195019953926529
1725
98.9255946501998
1726
8.476849553683131
1727
66.38324000670085
1728
0.8503847682027055
1729
6
1730
44
1731
30
1732
7
1733
47
1734
50
1735
1
1736
1
1737
1
1738
1
1739
0
1740
0
1741
14.50576931105909
1742
85
1743
1
1744
53.505998104918206
1745
18.376019218191473
1746
6.892933505224475
1747
70
1748
95
1749
38
1750
1
1751
0
1752
0
1753
91.60379654732895
1754
4.021932627352543
1755
60.09136039628111
1756
14.374978452210296
1757
81.20808764238056
1758
96.5262402292414
1759
13
1760
19
1761
8
1762
21
1763
40
1764
41
1765
0
1766
0
1767
0
1768
0
1769
0
1770
1
1771
31.242785660990968
1772
56
1773
1
1774
43.34758531891044
1775
43.79332546797918
1776
21.50596193301938
1777
68
1778
34
1779
97
1780
0
1781
1
1782
1
1783
68.67909458667404
1784
57.36767728788411
1785
90.09963158731406
1786
91.6092724003018
1787
58.41730552116887
1788
93.37310351713943
1789
78
1790
86
1791
7
1792
9
1793
34
1794
87
1795
1
1796
0
1797
0
1798
0
1799
0
1800
0
1801
83.10179091901566
1802
28
1803
0
1804
56.022818350555795
1805
27.05805511326025
1806
92.5848019459891
1807
43
1808
60
1809
10
1810
0
1811
0
1812
1
1813
92.36552461278194
1814
72.4685745330304
1815
42.2512972847733
1816
1.911793417196117
1817
21.337493554084297
1818
54.753763797522694
1819
33
1820
10
1821
90
1822
63
1823
68
1824
56
1825
0
1826
1
1827
0
1828
0
1829
0
1830
1
1831
20.753190568048087
1832
90
1833
1
1834
68.07844414509341
1835
99.07287629831049
1836
72.38790679256797
1837
55
1838
92
1839
33
1840
1
1841
1
1842
1
1843
33.923774040201536
1844
90.62697054986049
1845
98.10714911910195
1846
11.64804669838102
1847
0.621787259771811
1848
83.10762905173938
1849
5
1850
39
1851
1
1852
96
1853
29
1854
78
1855
0
1856
0
1857
1
1858
0
1859
0
1860
1
1861
62.7308228306359
1862
74
1863
0
1864
48.573494169897835
1865
9.199487412496577
1866
96.92223690589469
1867
66
1868
52
1869
17
1870
0
1871
1
1872
0
1873
63.826693892287864
1874
42.415964882720466
1875
76.8437412331825
1876
93.92848019362002
1877
80.10897946388835
1878
3.269539435087432
1879
17
1880
27
1881
15
1882
96
1883
20
1884
12
1885
0
1886
1
1887
0
1888
1
1889
1
1890
1
1891
97.55346491089686
1892
78
1893
1
1894
30.42882780092081
1895
40.56542726041956
1896
97.34069803823483
1897
58
1898
22
1899
64
1900
0
1901
0
1902
0
1903
67.28432815616937
1904
90.64521045733747
1905
57.85129691762141
1906
20.793835570878528
1907
89.55049484208267
1908
48.60200982218584
1909
13
1910
44
1911
68
1912
44
1913
54
1914
93
1915
1
1916
1
1917
0
1918
1
1919
1
1920
0
1921
53.59434880284739
1922
33
1923
0
1924
39.22955201343091
1925
37.26788093511689
1926
16.822528850672114
1927
54
1928
58
1929
78
1930
1
1931
0
1932
1
1933
75.35017240664
1934
97.29492794267848
1935
78.6372839598162
1936
44.964728419012054
1937
86.00513118798365
1938
46.74571884218985
1939
51
1940
44
1941
20
1942
74
1943
97
1944
92
1945
1
1946
0
1947
0
1948
0
1949
1
1950
1
1951
55.256349963983254
1952
85
1953
0
1954
19.18063300185552
1955
44.82029003269387
1956
19.56081135667368
1957
53
1958
75
1959
41
1960
1
1961
0
1962
1
1963
19.42421243729042
1964
42.863571520395794
1965
15.118745774836729
1966
47.696607084496144
1967
6.033548988703174
1968
86.65632358649576
1969
74
1970
68
1971
18
1972
38
1973
57
1974
36
1975
1
1976
0
1977
1
1978
0
1979
0
1980
0
1981
55.5927021367207
1982
82
1983
1
1984
87.81054014393483
1985
64.11339931040601
1986
15.688246366202009
1987
21
1988
61
1989
62
1990
1
1991
1
1992
1
1993
19.80033172222765
1994
73.93787798045449
1995
74.53110755804907
1996
9.456989333513011
1997
39.28146122167736
1998
86.58400051647291
1999
94
2000
70
2001
97
2002
25
2003
85
2004
19
2005
1
2006
1
2007
0
2008
0
2009
0
2010
0
2011
35.2199666573234
2012
44
2013
0
2014
21.03730860925851
2015
21.21310804237361
2016
91.3044309727587
2017
13
2018
1
2019
54
2020
1
2021
1
2022
1
2023
49.86267536151967
2024
55.28227212642485
2025
32.45059303730192
2026
43.44267262570448
2027
70.62258368655867
2028
73.76532999582605
2029
8
2030
1
2031
90
2032
65
2033
82
2034
47
2035
1
2036
1
2037
0
2038
1
2039
0
2040
1
2041
85.2021422587944
2042
36
2043
1
2044
18.35591428692843
2045
60.493301120086116
2046
26.22486371098487
2047
91
2048
42
2049
1
2050
1
2051
1
2052
1
2053
76.6176503583788
2054
56.35791690491503
2055
24.82201854993804
2056
18.380433337996806
2057
62.73936506192109
2058
30.835474858614965
2059
42
2060
26
2061
39
2062
22
2063
0
2064
98
2065
1
2066
1
2067
1
2068
1
2069
0
2070
0
2071
47.5417365015359
2072
6
2073
0
2074
24.175441290748424
2075
76.90261999144936
2076
3.653943239519075
2077
62
2078
96
2079
70
2080
1
2081
0
2082
1
2083
65.45522200003643
2084
8.919977692244762
2085
63.40318224611667
2086
86.6054342053014
2087
3.851606860697454
2088
61.33188560673673
2089
9
2090
78
2091
10
2092
64
2093
14
2094
11
2095
1
2096
1
2097
0
2098
0
2099
0
2100
1
2101
70.9957378649589
2102
24
2103
1
2104
85.72897202614753
2105
14.589872990482512
2106
65.69127058901168
2107
52
2108
41
2109
49
2110
1
2111
1
2112
0
2113
52.36521258120014
2114
32.20492124806407
2115
78.68167995164306
2116
26.087418750730308
2117
26.26005919125599
2118
77.14900068015484
2119
45
2120
44
2121
59
2122
36
2123
33
2124
4
2125
0
2126
0
2127
0
2128
0
2129
1
2130
0
2131
52.14137802737141
2132
61
2133
0
2134
10.498730263406975
2135
73.6636483531246
2136
46.4125908067707
2137
81
2138
25
2139
79
2140
0
2141
0
2142
0
2143
30.291338272416912
2144
35.20799230810033
2145
8.089414374108673
2146
0.8754930083595514
2147
10.454169680841707
2148
14.416732379676311
2149
65
2150
9
2151
73
2152
22
2153
37
2154
82
2155
0
2156
0
2157
0
2158
0
2159
0
2160
1
2161
71.94866242419184
2162
66
2163
0
2164
46.74351298752444
2165
84.53736980869063
2166
20.223730638515235
2167
93
2168
91
2169
84
2170
0
2171
0
2172
0
2173
67.88778176942645
2174
71.66425413484365
2175
39.234685984098014
2176
43.3581227755741
2177
26.74013017606046
2178
41.01381078576014
2179
12
2180
4
2181
93
2182
57
2183
54
2184
68
2185
0
2186
0
2187
0
2188
0
2189
1
2190
0
2191
6.573657738986682
2192
37
2193
0
2194
49.48496427457133
2195
30.11191449175078
2196
37.26792706587939
2197
37
2198
16
2199
56
2200
0
2201
1
2202
1
2203
78.65005388287716
2204
42.58489258736542
2205
87.8912267723895
2206
63.78571227430222
2207
31.677456260447222
2208
28.790297917573525
2209
56
2210
58
2211
17
2212
32
2213
31
2214
85
2215
1
2216
1
2217
1
2218
0
2219
0
2220
0
2221
87.66854993521814
2222
24
2223
1
2224
11.203809840468558
2225
19.973622016444338
2226
79.8739836545974
2227
70
2228
76
2229
25
2230
1
2231
1
2232
1
2233
86.2240295626559
2234
13.563733789276199
2235
38.628081221536995
2236
97.67895626493458
2237
30.0693232143998
2238
26.561915034629845
2239
65
2240
48
2241
94
2242
4
2243
63
2244
61
2245
0
2246
1
2247
1
2248
0
2249
1
2250
1
2251
12.211509387629748
2252
18
2253
1
2254
31.51666203119923
2255
47.83634054619932
2256
64.36469901969005
2257
32
2258
38
2259
54
2260
1
2261
1
2262
0
2263
87.65398791910435
2264
39.557238436816846
2265
2.2338149830640197
2266
10.04688905913742
2267
34.833928230299826
2268
86.05209838723341
2269
6
2270
21
2271
77
2272
17
2273
58
2274
32
2275
1
2276
1
2277
0
2278
1
2279
1
2280
0
2281
54.691510027864666
2282
77
2283
1
2284
73.24856045439499
2285
93.63193603524438
2286
31.002067726967187
2287
29
2288
94
2289
79
2290
0
2291
0
2292
1
2293
0.41256644986981117
2294
68.45448602749109
2295
48.48296061568161
2296
86.76439317390339
2297
6.791191390724904
2298
62.19592777278052
2299
54
2300
39
2301
13
2302
24
2303
72
2304
96
2305
0
2306
1
2307
0
2308
0
2309
1
2310
1
2311
15.440114883306578
2312
73
2313
0
2314
3.585964645631945
2315
64.95444643510072
2316
11.42776921779185
2317
51
2318
30
2319
30
2320
0
2321
0
2322
1
2323
91.26253785900134
2324
26.49196454242666
2325
55.31227576541462
2326
58.0096436108086
2327
34.23112923888313
2328
31.58343080619569
2329
56
2330
75
2331
30
2332
76
2333
58
2334
9
2335
1
2336
0
2337
1
2338
0
2339
0
2340
0
2341
47.98446892863426
2342
15
2343
1
2344
48.38938910296494
2345
8.988891897092932
2346
37.66450341166265
2347
20
2348
15
2349
35
2350
1
2351
0
2352
1
2353
25.33240790773643
2354
73.43127726826827
2355
76.11878571580742
2356
16.337822132691304
2357
18.087231737544982
2358
48.3079901138612
2359
68
2360
47
2361
20
2362
27
2363
55
2364
60
2365
1
2366
1
2367
1
2368
1
2369
0
2370
0
2371
45.50261802056649
2372
2
2373
1
2374
95.2644405636828
2375
65.6064626358383
2376
59.57573098318601
2377
93
2378
58
2379
4
2380
1
2381
0
2382
0
2383
42.24476730495316
2384
53.406085050357255
2385
65.66123680658518
2386
12.768142911730473
2387
62.6203039781132
2388
85.09889869909537
2389
0
2390
97
2391
98
2392
15
2393
0
2394
35
2395
1
2396
0
2397
0
2398
1
2399
1
2400
0
2401
31.794395894191897
2402
45
2403
1
2404
66.63457822985627
2405
74.9836738201475
2406
68.63847795781035
2407
25
2408
14
2409
93
2410
1
2411
1
2412
1
2413
62.71847778817149
2414
58.458002450299574
2415
21.941012544301607
2416
38.18706369977989
2417
33.725124145915196
2418
89.35535510065955
2419
87
2420
15
2421
55
2422
43
2423
15
2424
40
2425
0
2426
1
2427
0
2428
0
2429
1
2430
0
2431
95.63807402173121
2432
6
2433
1
2434
47.82837291642483
2435
98.9037797617133
2436
84.96579553302963
2437
7
2438
18
2439
33
2440
1
2441
1
2442
1
2443
53.7726792679726
2444
66.01933833490847
2445
96.45815816960888
2446
24.421315548242728
2447
37.3044330613845
2448
18.56248388321603
2449
4
2450
58
2451
75
2452
53
2453
23
2454
99
2455
0
2456
0
2457
0
2458
1
2459
1
2460
0
2461
28.985112179668093
2462
88
2463
1
2464
97.0886217653274
2465
63.82456537078844
2466
51.72261433882487
2467
53
2468
53
2469
3
2470
0
2471
0
2472
0
2473
33.49278231959667
2474
8.963901290000564
2475
98.38269401507851
2476
29.51017040865255
2477
88.61171934143165
2478
7.558302499654335
2479
79
2480
64
2481
98
2482
3
2483
1
2484
87
2485
0
2486
1
2487
0
2488
0
2489
1
2490
1
2491
79.15224125365405
2492
41
2493
0
2494
84.43022924968263
2495
85.84739656736251
2496
96.41062533608967
2497
9
2498
71
2499
73
2500
1
2501
0
2502
1
2503
77.27546533906245
2504
87.33540209792659
2505
69.45087467509508
2506
5.007146893901693
2507
90.04631823595489
2508
61.233704661985165
2509
50
2510
40
2511
23
2512
0
2513
60
2514
9
2515
1
2516
1
2517
1
2518
0
2519
0
2520
0
2521
3.0022563015755788
2522
29
2523
1
2524
4.418222647806269
2525
92.8982218546136
2526
61.9550070675277
2527
44
2528
95
2529
83
2530
0
2531
1
2532
0
2533
96.5519033600271
2534
34.47616907343488
2535
35.79064862917465
2536
79.56713007372834
2537
9.591388242284438
2538
60.48598776862134
2539
97
2540
39
2541
86
2542
74
2543
33
2544
2
2545
1
2546
0
2547
1
2548
0
2549
1
2550
0
2551
17.0618814512688
2552
68
2553
0
2554
84.20687388684688
2555
17.731931527490573
2556
82.10770348545165
2557
85
2558
84
2559
76
2560
1
2561
1
2562
1
2563
98.19536616114506
2564
7.0172989859021655
2565
50.4000516034322
2566
32.62569164977508
2567
54.917337883065656
2568
16.60955604976675
2569
62
2570
6
2571
79
2572
74
2573
4
2574
83
2575
1
2576
0
2577
1
2578
1
2579
1
2580
1
2581
71.6070572137026
2582
40
2583
0
2584
62.575391849935194
2585
96.79735530314456
2586
75.38909985883318
2587
14
2588
62
2589
12
2590
1
2591
1
2592
0
2593
98.15138987719027
2594
78.05454957228713
2595
25.64683821832203
2596
74.65311107504421
2597
69.13033495763558
2598
9.79585842203532
2599
2
2600
64
2601
76
2602
57
2603
53
2604
4
2605
1
2606
0
2607
1
2608
0
2609
1
2610
1
2611
38.95315766767957
2612
76
2613
1
2614
48.21518190082362
2615
74.55087377510117
2616
59.62189033231705
2617
6
2618
40
2619
44
2620
1
2621
0
2622
0
2623
56.285780477554844
2624
75.82259689223422
2625
18.927147500737917
2626
96.26645754871114
2627
33.22750803288259
2628
1.0278103046614362
2629
13
2630
10
2631
86
2632
27
2633
95
2634
43
2635
1
2636
0
2637
0
2638
0
2639
1
2640
1
2641
96.51951374269493
2642
41
2643
0
2644
76.16822909499348
2645
80.48245289439664
2646
45.06805061163567
2647
80
2648
97
2649
93
2650
1
2651
0
2652
1
2653
21.027711940026883
2654
26.293578512620307
2655
76.51557701820242
2656
97.40884997074139
2657
47.52755801350437
2658
13.3922550002622
2659
25
2660
11
2661
60
2662
24
2663
80
2664
12
2665
0
2666
1
2667
0
2668
0
2669
0
2670
1
2671
3.694779147716043
2672
44
2673
0
2674
70.08565890916225
2675
16.91867952248256
2676
48.261756414376144
2677
2
2678
57
2679
84
2680
1
2681
1
2682
0
2683
22.09221421201898
2684
27.36407703001017
2685
60.65852145768466
2686
59.85572201588324
2687
79.67746065201516
2688
38.697327944127856
2689
43
2690
32
2691
25
2692
97
2693
78
2694
17
2695
1
2696
0
2697
0
2698
0
2699
1
2700
1
2701
18.111653508373603
2702
10
2703
1
2704
84.87005969946432
2705
69.59314554764569
2706
80.83821912324886
2707
66
2708
62
2709
39
2710
1
2711
0
2712
1
2713
27.398391214504713
2714
4.658058480831406
2715
83.10719919596164
2716
81.4838462339334
2717
10.293012145536974
2718
38.269827632109646
2719
72
2720
30
2721
58
2722
65
2723
59
2724
29
2725
1
2726
1
2727
0
2728
1
2729
1
2730
1
2731
71.64649501069194
2732
2
2733
0
2734
49.28472939346427
2735
30.02532791131294
2736
7.990366021390072
2737
68
2738
85
2739
22
2740
0
2741
0
2742
1
2743
86.25673591338588
2744
74.46144786574695
2745
44.55631068192842
2746
49.039479551006806
2747
78.87297815599005
2748
72.9209925378644
2749
25
2750
32
2751
81
2752
49
2753
82
2754
30
2755
1
2756
1
2757
0
2758
0
2759
0
2760
0
2761
29.291431677539492
2762
34
2763
1
2764
51.25749506168068
2765
98.92487360757582
2766
39.64237606937336
2767
73
2768
53
2769
74
2770
0
2771
0
2772
1
2773
14.980923819322257
2774
67.9174284801348
2775
33.84879444769944
2776
87.56794285632783
2777
32.333657481017
2778
16.30739657260143
2779
62
2780
16
2781
23
2782
34
2783
27
2784
64
2785
0
2786
0
2787
0
2788
0
2789
1
2790
0
2791
85.00357476342052
2792
42
2793
1
2794
9.87626571962068
2795
23.13899084391463
2796
14.011084785249361
2797
21
2798
16
2799
57
2800
0
2801
1
2802
0
2803
43.286530765085
2804
52.34974745206195
2805
73.32669561670137
2806
89.2175823695877
2807
6.342692179146225
2808
78.27689337573257
2809
91
2810
35
2811
3
2812
24
2813
54
2814
61
2815
1
2816
1
2817
1
2818
1
2819
1
2820
1
2821
7.717958422530935
2822
62
2823
0
2824
57.46810389830369
2825
5.086444751457497
2826
57.93329026962725
2827
81
2828
34
2829
95
2830
1
2831
0
2832
1
2833
30.171123690536362
2834
20.44461423739341
2835
7.352666357662773
2836
91.80695239977315
2837
25.587977506758186
2838
90.27787652967264
2839
66
2840
27
2841
8
2842
70
2843
24
2844
21
2845
0
2846
0
2847
1
2848
1
2849
0
2850
1
2851
37.917924467882834
2852
40
2853
1
2854
12.673016834689498
2855
13.172395724293938
2856
61.16908489208507
2857
45
2858
51
2859
18
2860
0
2861
0
2862
0
2863
76.42719937600995
2864
6.010078559887022
2865
19.796188112050718
2866
48.34475344214746
2867
93.19959076973382
2868
83.5233909118454
2869
5
2870
62
2871
98
2872
67
2873
0
2874
49
2875
1
2876
1
2877
1
2878
1
2879
1
2880
0
2881
50.48862511904028
2882
15
2883
1
2884
61.06827143432313
2885
14.35414072029495
2886
82.84828159574487
2887
83
2888
33
2889
59
2890
0
2891
1
2892
0
2893
7.521528387722565
2894
26.145029179149624
2895
33.173098547941585
2896
2.6179348052505658
2897
51.74962507808768
2898
22.33988049566409
2899
62
2900
2
2901
36
2902
44
2903
22
2904
65
2905
0
2906
1
2907
0
2908
1
2909
0
2910
1
2911
43.03640133373815
2912
29
2913
1
2914
73.66856767654792
2915
45.82857067872457
2916
17.309123538873628
2917
70
2918
57
2919
51
2920
1
2921
0
2922
1
2923
75.2814106891438
2924
43.888263268839324
2925
87.14655617599423
2926
63.014041174306904
2927
38.586942787742096
2928
39.993686847427526
2929
73
2930
16
2931
51
2932
72
2933
71
2934
59
2935
0
2936
0
2937
1
2938
0
2939
1
2940
1
2941
80.43879803788808
2942
65
2943
0
2944
85.52188670967573
2945
41.737971732882365
2946
83.78540771834943
2947
64
2948
41
2949
57
2950
0
2951
1
2952
0
2953
29.66046494332204
2954
92.78131143161833
2955
17.242101936846467
2956
46.91976642391472
2957
26.720783080967536
2958
62.27665493480979
2959
83
2960
47
2961
29
2962
6
2963
3
2964
47
2965
0
2966
0
2967
1
2968
0
2969
0
2970
0
2971
26.097021008614096
2972
77
2973
0
2974
26.640424942195718
2975
32.84152361736303
2976
69.73027344751802
2977
16
2978
69
2979
98
2980
1
2981
1
2982
1
2983
42.81354404874755
2984
5.267068121884777
2985
55.89902304724917
2986
51.33839412161565
2987
39.049273987484256
2988
95.2455106567706
2989
90
2990
31
2991
11
2992
14
2993
12
2994
95
2995
1
2996
0
2997
1
2998
0
2999
1
3000
0