3380
3742
3879
3895
3816
3702
4002
3524
3365
3301
3299
3309
3050
3200
3010
2784
3058
2910
2844
2862
3026
3120
3094
3045
3448
2803
3282
3059
2807
2754
2795
2976
2663
2673
2955
2336
2585
2462
2522
2002
1827
2364
1904
1892
1837
1335
2030
1463
1703
1232
1283
1182
1120
1196
1146
833
1006
554
697
625
508
734
441
590
656
304
468
262
333
198
231
175
129
159
129
82
318
137
152
92
51
45
33
37
18
14
16
3
6
3
1
3
2
2
2
2
1
0
0
0
0
0
0
0
592
682
695
725
645
714
737
696
665
644
670
636
631
633
621
543
624
551
563
543
583
628
575
597
654
545
609
536
491
510
488
503
458
465
546
408
468
412
416
355
348
431
354
336
340
230
310
224
253
194
166
179
171
157
161
123
149
84
93
65
52
96
51
67
107
45
42
45
56
25
26
22
12
21
10
10
21
14
12
8
4
2
1
5
1
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
64
97
86
90
78
75
93
84
68
96
84
92
77
81
89
83
79
68
70
56
70
92
68
95
87
57
57
70
55
64
54
50
57
46
70
52
50
44
54
41
38
45
42
35
47
33
42
25
31
40
23
20
25
24
16
22
22
10
10
11
6
11
7
12
12
5
3
7
6
4
2
2
1
2
4
1
4
1
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
114
111
133
131
122
146
126
107
104
105
112
103
90
116
84
78
105
99
86
86
91
100
107
78
110
91
114
99
72
85
78
79
82
72
78
48
78
74
68
52
56
73
41
46
46
34
39
42
35
35
35
22
28
23
31
12
15
11
13
10
9
16
4
8
14
3
8
5
4
2
4
1
3
1
1
2
3
1
0
2
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
36
34
37
33
30
43
36
28
34
33
43
41
34
38
29
23
44
36
35
34
32
40
26
44
46
36
31
24
32
32
32
37
35
28
34
36
24
23
23
34
22
24
29
23
28
22
24
18
28
14
6
17
16
9
19
12
12
15
9
7
4
10
6
10
13
4
2
8
5
4
7
2
0
2
2
2
1
1
2
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
105
110
112
118
108
114
130
142
110
121
111
102
86
99
93
90
92
85
100
102
94
95
87
86
110
88
93
82
84
89
96
82
79
73
92
67
74
70
79
60
61
88
65
77
62
32
55
41
44
22
23
28
29
27
33
18
25
14
14
16
8
13
11
5
13
12
8
10
9
5
6
4
4
2
0
3
2
2
2
0
1
2
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
41
63
57
73
47
78
60
69
71
44
55
63
67
66
56
62
53
56
57
52
59
61
68
55
56
53
55
52
44
46
45
46
45
49
59
34
41
42
47
40
38
52
42
42
38
25
37
25
33
24
30
27
23
16
18
17
24
11
11
5
10
11
6
5
14
9
5
6
4
2
2
5
0
4
0
0
2
2
2
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
10
27
24
25
20
19
15
14
15
10
18
21
21
19
12
21
13
19
20
13
9
16
13
17
10
10
11
15
22
11
21
15
14
15
14
13
16
11
12
19
7
13
7
8
13
10
2
9
6
4
9
3
7
4
5
4
5
4
2
1
5
1
3
7
3
3
2
3
0
0
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
8
5
14
13
9
6
10
9
4
9
11
7
7
6
9
9
10
4
12
12
4
7
12
10
10
9
8
9
6
3
8
8
7
13
10
9
7
10
3
4
3
11
8
2
1
3
4
5
2
4
5
5
4
1
2
3
2
4
1
4
2
0
2
3
0
2
1
0
0
0
0
0
2
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
73
87
71
85
74
79
85
76
71
77
75
59
70
64
70
57
55
65
59
59
73
72
73
72
78
71
74
68
64
49
53
57
44
58
63
48
56
49
32
40
32
45
36
36
42
28
27
27
16
21
13
17
16
18
14
12
15
6
7
5
5
9
6
5
8
1
3
1
2
1
0
3
1
1
1
0
2
1
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
53
56
59
56
61
64
79
64
77
62
67
64
66
63
70
44
80
49
67
48
54
64
49
52
63
47
73
62
52
45
51
46
35
40
42
33
53
27
36
27
30
26
29
18
18
13
19
10
14
10
9
9
7
9
5
6
5
4
5
1
0
4
4
2
5
3
2
1
3
1
0
1
0
0
1
0
3
1
2
2
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
10
8
4
5
9
9
10
9
9
9
9
6
5
7
4
8
7
2
2
8
12
8
9
8
10
5
7
8
6
3
7
7
5
4
5
2
6
6
11
2
8
3
4
5
1
6
6
2
2
1
4
6
2
3
1
2
2
0
0
0
2
0
2
2
0
1
0
4
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
33
47
51
45
41
43
47
51
48
43
47
37
56
41
51
47
45
35
39
40
36
43
37
49
34
37
46
30
32
39
28
33
28
36
46
30
35
26
32
19
23
31
24
24
26
14
15
14
16
8
8
12
5
7
9
3
10
1
5
4
1
3
1
4
6
3
2
2
10
2
2
0
2
1
1
1
2
2
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
28
20
27
23
18
22
15
31
13
12
17
28
12
20
10
16
11
15
15
23
15
16
14
14
24
20
12
11
15
19
22
14
21
17
18
19
10
13
7
12
19
8
7
13
6
28
4
10
6
7
4
6
9
5
10
8
2
9
3
4
6
2
7
10
1
3
1
4
3
3
3
0
5
0
1
1
1
1
0
1
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
21
29
25
18
16
25
25
19
22
36
20
23
20
27
24
17
17
10
17
18
21
13
18
21
11
22
11
13
12
15
15
9
16
13
13
14
18
5
9
11
10
11
9
5
8
5
6
10
4
3
5
2
2
3
3
4
1
2
0
0
4
3
2
0
1
0
1
2
1
0
0
0
0
0
0
0
1
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
405
465
478
462
487
473
502
455
424
418
400
401
416
388
380
341
360
373
365
336
384
386
369
381
438
358
399
407
356
327
305
342
329
325
350
283
315
300
305
232
220
259
240
202
189
143
180
144
147
124
100
97
87
100
76
66
74
36
49
48
30
51
38
34
47
15
32
19
16
17
18
13
5
11
3
10
12
9
4
6
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
13
22
22
26
20
21
25
18
17
13
16
20
14
16
14
15
17
16
15
15
14
18
21
14
15
20
16
14
14
19
14
19
14
12
11
13
11
15
15
10
12
9
14
11
9
8
9
12
4
7
5
9
5
3
6
7
3
4
4
2
7
3
2
0
1
3
0
2
4
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
25
23
21
23
24
19
27
25
22
21
27
21
17
13
21
19
16
13
15
27
21
20
17
29
23
16
21
16
15
15
12
16
28
19
17
19
16
21
10
14
12
14
10
19
11
18
12
7
8
2
8
9
12
5
3
6
1
4
4
3
4
5
1
2
1
2
1
0
1
2
1
0
1
0
0
1
2
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
65
69
79
64
63
77
92
60
74
65
50
56
67
49
54
56
48
49
50
47
53
65
59
54
62
52
50
58
53
51
47
49
51
50
59
50
58
53
55
44
33
42
41
33
36
24
29
23
29
34
21
12
13
11
15
12
12
8
7
9
9
9
5
7
7
0
3
7
2
4
5
1
1
4
1
4
1
1
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
30
45
42
50
62
59
53
52
38
51
43
35
34
36
44
31
28
41
35
36
30
33
28
37
33
19
53
32
38
24
27
33
30
32
39
29
40
44
22
29
28
32
31
26
21
18
20
15
17
15
7
9
13
9
8
8
9
3
2
0
1
4
9
6
2
1
5
3
0
4
3
0
1
0
1
1
3
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
16
27
12
26
21
12
17
14
16
20
13
12
14
16
12
14
16
14
18
16
16
11
15
18
21
22
20
18
21
17
14
22
11
15
13
17
4
12
6
15
10
6
13
4
4
7
10
9
7
2
6
5
7
5
5
2
3
2
4
2
3
1
6
5
0
0
0
3
0
2
2
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
51
71
60
52
63
52
55
53
42
53
54
54
41
46
45
38
42
44
52
42
55
52
44
52
53
43
54
53
35
34
45
31
28
33
39
27
22
27
32
15
15
26
33
18
13
18
17
14
12
10
15
17
7
11
13
8
10
2
4
3
4
4
2
3
7
3
3
2
2
1
0
2
1
1
0
0
2
2
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
43
51
62
55
59
46
52
51
42
42
56
51
67
53
52
35
47
58
54
49
48
47
48
42
59
46
50
62
53
52
34
39
37
32
47
32
34
32
43
30
29
33
31
19
24
19
22
15
18
15
14
18
10
13
7
7
9
5
11
5
1
6
3
4
9
3
3
1
2
0
4
1
1
1
0
3
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
109
104
92
104
87
102
114
102
95
85
89
93
90
95
89
78
77
76
77
66
81
75
76
74
101
68
69
89
74
70
63
80
67
65
75
54
65
65
56
51
39
47
46
45
32
13
32
19
27
15
13
14
5
18
12
8
10
6
7
7
5
11
8
3
10
4
6
1
3
0
1
0
0
1
1
1
4
2
2
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
48
59
60
65
65
61
73
57
57
53
48
50
58
49
36
45
59
47
42
33
51
49
58
60
61
63
49
52
40
40
34
57
49
46
35
41
35
42
38
27
31
30
22
20
26
22
24
23
15
13
16
8
11
13
8
6
7
5
6
11
3
2
1
1
4
1
6
3
1
3
1
5
0
1
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
12
11
17
13
11
11
11
19
14
6
6
6
15
15
11
11
9
12
15
8
14
7
9
8
8
16
4
15
6
4
13
10
14
10
9
12
6
11
5
6
15
7
4
3
5
3
4
1
3
3
0
5
1
0
3
2
0
2
1
0
1
1
1
1
1
1
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
214
239
245
251
246
223
284
232
181
212
188
184
188
173
157
149
165
168
160
173
157
173
169
155
179
173
204
185
167
197
193
210
184
209
189
161
162
171
183
138
129
139
123
125
118
92
115
109
125
75
106
92
70
88
84
61
67
42
53
47
44
41
40
40
43
18
45
22
18
11
12
18
11
9
6
6
16
8
16
11
4
6
3
3
2
1
0
0
2
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
9
10
13
10
10
5
10
5
11
10
9
7
11
7
4
3
4
12
5
5
6
4
10
2
9
4
12
7
4
9
8
6
3
7
13
5
5
8
5
4
6
4
6
4
3
6
5
3
9
0
3
6
3
3
2
3
3
2
1
0
2
2
2
0
5
2
2
1
0
3
0
0
0
0
1
0
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
10
11
12
17
5
13
9
9
14
11
7
8
8
5
8
6
10
7
11
9
7
11
9
8
10
10
9
6
9
6
15
8
12
2
8
5
10
8
8
4
4
8
8
4
3
8
6
7
5
6
3
2
2
4
0
4
3
2
1
4
4
1
4
1
3
2
1
3
0
0
1
0
1
0
1
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
11
12
12
9
13
13
17
12
10
9
12
8
9
11
7
10
8
13
9
8
6
7
3
11
11
11
13
12
13
17
8
8
9
11
10
11
9
11
9
9
12
6
2
6
7
5
4
7
3
5
5
5
1
2
2
4
3
2
2
2
0
6
2
5
1
1
2
3
1
1
0
3
1
0
0
2
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
26
40
31
42
46
33
43
25
23
27
28
22
17
16
16
16
31
22
20
22
16
27
35
25
32
20
22
26
29
32
31
28
23
31
31
20
19
28
29
9
16
24
12
15
15
13
13
20
18
9
17
18
10
14
9
15
8
6
7
7
5
6
4
8
3
1
6
2
1
2
4
5
2
3
2
0
5
0
3
2
1
2
1
1
1
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
9
20
15
20
19
12
18
18
14
9
13
10
10
16
13
17
12
13
11
12
15
14
12
16
8
16
15
12
13
19
10
15
18
15
18
10
9
7
14
11
6
10
9
4
12
4
5
9
13
2
5
4
2
4
8
6
3
1
0
3
2
2
1
3
2
0
0
0
0
1
0
0
0
1
0
1
0
0
0
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
1
6
6
6
4
1
4
3
3
1
2
6
4
4
0
0
0
2
2
1
2
1
0
1
2
1
0
1
3
0
1
3
3
1
1
2
1
5
2
1
1
1
5
1
0
0
0
0
1
0
2
0
1
0
1
1
0
0
1
0
2
0
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
22
20
15
27
18
27
33
19
23
11
18
16
19
15
15
16
14
13
14
15
17
13
16
19
11
15
14
15
13
24
18
15
22
11
18
18
22
17
16
15
12
12
12
10
8
12
17
11
6
11
6
3
7
10
6
5
6
4
6
4
5
4
1
4
1
1
2
3
1
0
1
0
0
0
1
2
2
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
25
18
20
14
22
19
20
14
15
14
14
9
19
16
15
19
15
20
17
12
18
10
15
12
19
15
14
12
12
16
12
14
22
18
18
17
15
11
13
17
10
11
16
10
6
11
9
11
12
7
9
14
6
10
6
12
1
6
4
4
4
4
3
3
2
6
1
1
0
2
0
3
2
0
0
1
2
3
2
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
15
6
13
11
7
13
14
10
8
11
7
6
9
8
6
5
7
10
3
11
11
11
15
6
8
7
12
11
14
8
6
7
10
7
15
5
5
6
12
5
3
0
6
10
5
7
9
4
3
2
8
4
4
5
3
6
1
1
4
3
6
4
1
1
2
1
3
3
0
0
0
2
0
0
1
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
10
11
6
5
13
12
7
6
5
8
7
4
5
9
4
6
8
11
11
1
7
5
5
5
7
7
4
8
9
9
6
13
3
5
4
4
5
7
6
6
7
3
6
6
7
5
5
6
3
2
8
3
1
3
1
2
3
3
4
2
3
0
0
2
0
3
1
0
0
2
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
9
9
12
6
15
8
7
4
13
10
8
6
8
8
6
6
6
4
8
4
5
7
6
10
6
9
8
8
4
7
15
5
14
6
9
12
7
13
5
7
10
5
7
3
0
10
4
5
4
6
5
1
4
5
2
5
1
6
6
1
3
2
1
1
0
4
0
1
1
2
1
0
0
0
0
0
3
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
24
15
15
11
9
12
9
14
10
13
13
11
8
12
14
5
6
6
15
16
10
8
12
10
8
11
8
8
8
14
14
12
8
7
12
9
12
10
14
4
4
7
9
9
5
4
5
6
5
4
0
2
10
4
2
2
3
4
1
1
3
2
2
4
1
6
1
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
8
11
8
12
16
12
8
6
9
7
9
10
9
3
1
7
5
5
6
9
4
4
6
3
7
7
8
6
3
6
13
7
8
8
12
5
7
7
4
5
9
4
6
5
2
5
6
3
3
4
5
0
6
5
2
0
2
2
1
0
1
2
2
3
0
0
1
0
0
0
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
7
6
10
8
6
7
2
1
7
7
2
6
5
2
6
6
4
7
4
3
6
2
5
7
4
5
5
3
8
5
5
6
4
3
2
11
6
3
3
7
5
6
2
3
5
3
0
2
4
3
1
2
2
3
2
1
2
1
0
2
0
2
0
0
3
0
2
1
1
0
0
0
0
1
1
0
0
1
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
6
5
6
6
2
15
3
5
5
1
12
12
6
6
4
9
4
8
7
11
10
6
6
7
7
11
6
6
5
9
8
8
6
3
7
4
1
4
3
6
6
6
3
4
2
6
6
2
3
5
4
7
1
3
0
3
3
1
3
2
0
1
3
0
1
4
0
0
0
0
1
0
0
0
0
0
0
0
2
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
8
11
11
11
11
9
19
5
7
9
3
6
11
4
1
6
6
1
4
1
6
3
2
6
4
10
9
3
10
4
9
6
5
13
5
5
6
9
8
1
4
3
2
7
2
2
3
4
4
2
2
2
3
5
1
3
1
1
2
2
1
2
1
4
0
4
2
0
0
0
2
0
0
0
0
0
1
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
9
25
18
13
13
25
17
15
16
15
19
23
9
10
14
7
17
13
6
7
11
14
14
15
19
20
18
9
18
12
11
19
12
13
9
9
14
9
8
6
10
9
7
7
11
6
4
11
7
11
1
7
11
3
1
8
3
4
1
4
1
3
5
3
2
1
2
1
0
0
0
0
1
0
0
0
0
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
7
6
10
6
9
17
13
8
9
6
7
13
3
6
7
6
5
9
7
7
5
3
4
7
6
9
6
5
9
6
12
2
10
2
1
8
4
8
5
5
5
7
3
5
1
4
1
5
1
5
5
2
5
3
3
1
0
5
2
1
0
1
3
0
0
1
1
2
0
0
3
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
6
7
7
13
4
9
6
4
9
9
6
3
3
7
6
2
3
2
2
5
3
3
3
1
5
2
7
5
5
3
7
4
11
9
5
4
3
1
5
5
2
2
4
3
3
2
3
2
1
2
4
1
2
2
2
1
1
0
0
0
0
2
0
0
0
1
0
2
0
1
0
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
327
341
359
356
346
345
328
365
329
294
320
324
254
282
281
284
264
261
242
220
260
267
276
306
280
262
277
295
260
253
277
289
273
241
283
225
259
250
214
202
166
193
172
159
176
141
178
127
146
116
135
108
96
95
103
93
90
48
63
72
54
54
42
56
54
22
42
11
27
24
19
14
17
14
17
6
28
9
11
5
5
3
0
2
1
2
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
7
1
11
4
9
5
6
3
5
9
3
2
2
5
5
2
2
1
5
9
3
4
4
4
9
2
8
3
4
5
4
3
4
4
4
6
4
4
0
2
2
2
1
4
4
5
5
2
3
3
1
0
4
1
0
1
0
1
1
1
0
0
0
0
0
0
0
0
0
2
1
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
20
12
14
13
10
11
17
17
22
14
8
9
14
10
11
6
9
9
12
7
8
12
11
15
9
6
11
10
10
16
12
7
12
21
9
12
11
9
9
10
10
8
12
8
3
9
2
6
11
5
7
4
4
8
5
2
2
6
3
3
3
1
5
2
2
0
1
2
0
1
0
0
2
1
0
1
0
3
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
27
20
28
26
22
23
21
15
21
21
25
15
17
19
19
20
25
17
12
13
15
13
20
15
16
18
15
11
22
17
22
14
15
27
24
21
18
11
17
13
10
16
1
16
7
12
10
16
10
17
9
6
7
5
4
9
4
2
1
5
5
3
7
8
3
7
0
2
2
1
2
1
1
2
2
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
20
15
16
15
13
15
21
10
14
11
15
17
12
7
12
10
7
6
4
12
16
9
13
7
7
18
10
14
11
10
12
17
6
10
14
16
11
8
8
6
8
10
10
5
6
8
0
3
6
7
7
3
1
4
4
4
1
3
1
0
4
2
8
1
1
1
0
2
4
1
0
2
1
1
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
33
35
41
26
36
19
29
35
27
31
28
23
24
26
21
22
25
30
25
16
28
35
30
28
28
24
22
24
28
17
20
24
27
23
27
21
18
23
22
21
13
19
15
16
7
15
13
14
16
14
15
3
12
15
10
15
9
3
4
10
10
4
5
2
2
3
5
0
7
6
2
0
1
2
1
1
0
0
1
1
1
0
0
0
0
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
17
12
23
18
11
24
16
23
18
10
13
16
11
11
9
7
13
7
11
4
9
8
12
13
12
17
13
8
19
13
14
15
14
10
17
6
10
21
4
4
9
10
8
2
6
6
8
1
5
1
5
4
3
3
7
3
7
6
1
3
3
3
0
3
5
1
2
1
1
0
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
35
30
42
40
27
29
32
30
29
29
38
40
23
29
30
32
28
20
23
27
29
22
33
25
31
31
22
38
31
23
27
21
23
21
25
18
23
21
27
17
16
17
19
14
16
10
8
5
15
3
8
8
7
9
8
3
4
1
5
10
2
3
2
2
6
3
1
0
3
0
0
1
2
2
1
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
13
20
20
23
21
25
7
32
14
19
20
17
19
8
15
12
10
14
12
20
12
14
11
19
14
14
14
16
15
15
13
17
20
21
11
9
19
11
12
12
14
11
16
16
7
10
5
7
4
8
11
6
4
5
8
8
1
9
4
6
6
3
4
5
0
4
3
0
3
3
0
3
1
2
0
5
3
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
14
7
7
12
14
8
13
8
9
14
11
6
10
8
9
4
12
9
4
6
12
10
9
12
6
13
12
14
5
9
12
13
5
10
7
8
3
10
3
5
3
7
3
5
3
5
2
5
1
0
2
4
1
4
5
4
2
0
4
0
4
1
2
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
2
0
0
1
1
0
2
1
1
0
0
0
0
0
2
3
1
2
2
0
0
1
3
0
0
1
1
1
0
1
1
1
0
3
0
1
1
0
0
0
0
0
0
1
3
1
0
0
0
1
2
0
0
2
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
4
3
1
2
6
3
2
5
1
6
3
0
3
2
2
2
3
4
1
0
2
5
3
2
4
2
2
3
4
3
4
2
1
1
1
4
0
3
3
2
1
1
3
0
2
0
3
1
0
1
0
2
0
2
1
1
0
1
1
1
0
1
0
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
6
6
8
7
5
4
3
8
7
11
4
5
2
7
5
2
0
5
2
6
4
2
3
6
2
3
8
2
3
6
1
4
4
7
5
8
5
3
5
4
4
4
1
2
0
2
3
1
0
3
1
1
2
0
2
1
1
1
3
0
1
1
0
1
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
1
2
4
5
5
3
5
7
3
6
4
4
3
6
2
2
5
4
1
3
3
4
5
2
3
4
2
4
2
1
1
0
4
3
1
1
0
1
0
3
4
2
3
0
0
4
0
1
0
3
0
2
1
0
0
1
0
0
0
0
1
0
0
0
0
1
0
0
2
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
21
15
23
19
26
15
17
20
14
8
14
25
12
16
11
21
13
16
17
16
14
16
14
27
18
19
15
23
17
11
16
12
15
11
14
6
15
10
9
12
6
13
13
7
11
9
9
5
7
9
3
5
2
5
7
0
6
2
5
3
3
2
4
0
3
1
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
6
7
7
7
5
5
8
8
9
7
8
7
9
5
3
4
4
7
8
2
9
5
3
9
7
4
9
4
6
6
4
7
3
3
3
11
6
3
6
4
7
5
4
6
2
6
4
4
2
1
3
3
2
2
2
2
3
0
6
2
0
0
2
1
1
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
8
8
7
9
9
7
3
6
4
6
12
7
5
9
6
5
5
3
4
3
6
3
12
6
4
8
7
4
9
2
12
4
5
5
5
2
4
2
4
3
4
1
3
3
2
3
5
2
3
3
2
0
2
6
1
4
1
2
1
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
13
10
11
11
13
8
12
12
5
8
8
5
6
12
3
14
5
6
7
8
5
9
7
9
10
15
5
7
7
9
9
5
7
3
7
3
11
5
2
2
4
6
5
2
1
8
1
4
0
12
3
2
5
3
3
2
0
1
1
2
1
2
1
0
1
1
0
0
0
1
1
1
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
2
2
1
3
4
1
1
2
2
1
2
0
0
2
3
4
3
2
4
1
0
0
3
2
1
0
1
1
1
2
3
1
2
5
1
3
3
0
0
1
1
1
1
2
2
0
0
0
0
1
0
1
1
1
1
0
0
1
1
0
0
0
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
2
5
6
1
2
5
5
4
3
5
4
3
1
2
2
5
4
2
6
1
7
4
4
3
2
3
2
1
2
3
0
3
2
3
0
5
2
2
1
2
3
2
2
1
4
2
0
6
1
1
1
0
2
0
0
2
0
0
1
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
36
26
27
28
32
35
38
25
29
19
20
21
14
36
23
22
15
22
15
19
25
21
22
18
16
27
31
16
20
36
27
36
22
22
28
28
26
18
21
20
9
8
18
17
12
16
17
8
16
10
16
14
7
7
14
6
6
8
3
6
7
6
5
7
1
5
3
5
2
3
3
1
2
4
2
2
2
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
8
7
8
15
12
5
12
7
9
11
8
9
9
15
15
11
14
4
11
9
11
11
7
3
6
7
5
6
9
3
11
6
5
8
5
5
3
13
6
4
8
3
3
5
1
6
8
3
2
3
1
0
5
1
4
3
0
1
0
2
0
3
2
2
0
3
1
0
0
1
0
0
0
1
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
3
13
10
5
5
4
9
9
6
8
6
9
9
7
8
8
10
9
6
7
6
3
8
7
1
5
5
8
5
5
5
5
9
8
7
7
4
11
3
5
9
3
1
9
11
0
4
7
3
2
3
1
3
0
1
3
0
0
1
0
0
2
2
1
0
3
0
1
1
0
0
0
1
1
0
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
16
18
12
12
18
18
13
17
7
11
16
13
19
19
10
13
16
12
11
12
12
15
19
14
8
7
14
9
16
11
20
9
7
8
9
12
3
9
9
6
7
8
9
8
6
11
5
6
5
7
2
4
2
4
2
0
1
1
3
1
1
0
3
0
0
2
1
0
1
0
2
1
0
1
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
11
11
4
13
8
11
7
10
9
9
8
5
4
8
5
4
9
0
9
2
6
6
9
5
9
10
7
10
8
3
10
5
4
4
4
7
7
4
2
3
0
3
2
2
1
6
3
2
3
3
3
1
2
3
1
2
0
0
2
1
1
0
1
0
0
1
0
0
1
0
1
0
0
0
0
1
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
11
13
15
5
7
18
15
11
8
8
9
5
16
7
13
13
8
8
5
13
9
10
11
7
11
10
5
7
8
13
10
14
10
4
9
10
18
6
3
7
5
5
6
11
6
2
9
10
5
3
3
9
2
2
3
3
4
6
2
0
2
1
3
2
1
1
0
0
0
1
2
1
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
13
16
17
13
27
13
17
13
18
10
15
6
14
8
24
11
13
6
12
14
12
16
21
15
14
18
15
10
16
15
13
14
18
11
5
7
9
8
16
9
13
6
10
8
11
13
8
8
4
3
5
4
5
6
6
4
2
4
6
2
1
1
3
4
2
0
0
0
0
0
0
1
2
0
0
5
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
3
5
5
4
7
4
6
2
4
7
2
5
3
3
3
7
5
7
6
4
3
2
2
6
2
3
4
3
3
5
3
2
2
5
2
3
2
2
4
0
7
0
2
2
7
0
1
2
2
3
3
2
3
2
2
0
1
2
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
3
2
4
2
4
1
4
2
2
3
2
5
1
4
4
5
0
1
1
1
2
1
2
2
4
2
3
0
2
3
3
3
4
4
3
3
1
2
2
1
0
1
2
2
0
5
1
4
2
1
1
2
0
0
2
1
2
0
1
0
0
0
0
1
0
1
0
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
2
6
10
6
3
3
7
7
4
4
6
7
4
4
1
1
2
2
2
2
0
3
4
4
3
4
5
1
2
3
4
4
3
5
6
4
3
4
8
0
3
3
2
1
4
2
2
1
1
4
2
0
1
1
0
2
1
0
1
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
211
223
252
224
242
211
249
205
201
204
219
198
184
208
188
186
196
184
179
161
187
195
187
165
209
163
190
167
167
159
148
146
151
108
147
121
128
109
138
101
82
101
101
84
80
62
80
79
61
64
69
50
52
50
70
37
40
38
30
32
24
33
12
26
25
15
19
10
8
7
7
5
4
4
3
2
26
6
5
0
0
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
13
12
6
11
8
12
4
12
16
14
8
10
6
11
7
5
7
5
6
5
8
2
5
6
6
9
10
6
2
6
7
4
5
3
6
6
5
8
4
3
4
5
1
3
2
2
5
3
7
3
1
0
4
3
0
1
0
0
1
2
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
6
2
6
6
2
1
10
4
4
4
0
7
5
5
5
1
2
4
2
2
8
4
3
3
6
3
1
3
7
1
4
1
2
4
3
3
2
4
1
3
1
2
1
0
0
0
2
2
1
2
1
0
1
3
0
1
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
2
2
1
1
1
2
0
0
4
4
1
1
2
2
3
1
1
0
1
3
3
1
1
2
0
2
2
0
2
1
0
2
1
1
1
6
2
0
0
1
0
1
1
2
0
3
3
2
0
0
1
0
1
0
1
1
2
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
9
16
11
14
14
18
12
7
16
17
18
18
17
9
12
16
12
15
16
13
11
16
12
18
13
16
9
9
10
13
11
12
7
9
11
10
6
11
9
8
9
7
11
4
9
5
6
2
3
6
1
3
5
4
3
2
3
1
3
0
3
1
2
1
0
0
0
1
0
0
0
1
0
0
0
13
6
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
5
6
2
7
4
8
2
8
5
15
4
2
7
9
4
6
2
7
3
8
4
5
5
6
2
7
2
3
5
4
3
2
1
4
4
3
2
7
1
2
2
7
1
4
3
0
1
2
2
1
0
0
2
1
1
1
2
0
3
1
3
0
0
0
1
0
0
0
0
0
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
3
10
6
10
9
6
6
6
7
2
9
5
4
5
9
1
3
5
2
7
2
4
3
5
8
8
9
5
5
8
1
4
6
7
3
2
1
3
4
2
3
3
1
4
1
3
3
2
2
3
3
5
2
1
3
5
0
3
1
2
1
0
4
2
0
2
1
4
1
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
3
4
11
10
2
7
1
5
3
4
6
2
6
6
1
3
4
5
5
2
5
2
4
1
1
5
3
4
3
3
7
2
2
4
4
5
3
5
3
1
2
0
1
1
1
3
3
3
0
0
1
0
3
2
1
1
1
2
1
1
0
2
1
0
0
2
1
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
14
16
16
13
8
12
11
8
6
8
10
7
12
13
11
6
5
13
8
6
9
12
10
16
10
9
11
7
5
5
4
6
4
2
3
6
4
2
4
5
4
3
4
4
1
0
5
1
3
2
4
5
1
3
2
1
1
0
0
0
1
0
0
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
29
28
34
20
22
24
39
32
31
19
24
21
18
14
20
16
31
22
14
17
20
21
14
11
26
15
20
17
17
17
18
22
25
13
16
14
20
11
14
11
8
10
12
13
7
3
9
5
4
4
7
3
5
1
7
4
5
7
7
2
2
7
1
2
3
5
4
2
0
1
1
1
0
1
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
15
8
11
10
11
13
7
11
7
7
9
6
13
6
7
5
5
7
7
10
13
12
9
6
9
5
12
6
9
6
4
5
9
9
6
7
7
5
4
4
3
11
4
4
5
7
8
3
6
7
6
5
6
8
5
1
6
2
4
3
0
2
2
0
1
1
0
0
0
0
1
0
0
0
1
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
24
30
23
37
29
31
30
22
25
18
21
17
21
23
20
25
21
15
21
18
21
31
15
20
17
20
11
23
14
20
11
14
10
15
11
18
14
21
9
6
11
9
9
10
3
9
12
9
6
5
4
4
3
6
2
7
2
1
4
4
1
0
2
0
2
2
0
0
1
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
8
7
10
8
11
9
8
4
8
6
6
7
5
7
10
8
5
4
8
9
6
3
9
6
11
10
11
7
3
6
11
8
4
7
7
3
4
4
4
3
5
4
2
6
2
7
4
2
3
1
4
5
2
5
1
3
0
3
2
1
0
1
1
3
0
0
0
0
0
1
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
6
10
11
4
17
6
10
13
9
11
9
9
6
2
7
9
6
13
5
8
10
8
7
9
1
7
10
8
8
1
10
9
5
7
8
5
7
9
7
5
7
5
4
2
8
2
1
4
3
3
4
3
4
5
1
1
3
1
1
0
2
2
0
2
1
3
1
0
0
0
0
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
19
20
15
29
23
13
23
12
24
26
24
20
18
21
20
27
17
15
20
21
10
22
15
24
28
14
18
20
17
13
11
13
16
12
9
3
13
8
11
10
8
12
7
6
4
6
8
2
5
5
8
0
7
2
5
3
3
2
1
0
1
1
0
2
2
2
0
1
0
0
0
1
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
11
19
10
16
13
14
11
9
3
10
16
9
9
9
11
11
15
11
8
17
7
9
8
8
9
6
11
11
15
2
7
8
7
10
7
4
9
5
7
7
7
4
7
8
5
6
5
7
4
4
3
3
7
3
5
3
1
3
1
2
3
0
5
1
0
1
2
0
1
0
0
0
1
1
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
2
4
8
7
6
5
11
5
10
11
6
11
8
9
5
7
2
7
4
9
5
2
3
2
8
6
3
6
4
5
7
4
1
4
6
7
4
3
1
2
3
2
2
6
1
1
4
1
3
6
2
1
2
2
0
1
2
0
3
1
2
0
1
0
0
1
1
0
2
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
4
4
4
4
4
5
1
2
5
5
3
1
5
3
2
3
1
4
2
0
2
3
5
2
5
4
3
3
3
2
0
1
0
2
4
4
1
3
1
1
2
3
0
1
1
2
1
1
2
1
0
1
0
0
2
0
0
0
1
0
1
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
18
20
16
21
17
16
13
14
17
15
6
10
22
9
9
17
18
11
11
16
16
16
18
19
10
10
10
16
13
15
7
15
7
13
5
3
8
7
11
5
8
7
4
2
3
5
7
3
4
4
5
2
0
7
0
0
3
3
1
0
5
2
0
2
0
3
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
34
34
22
17
18
23
23
14
18
24
22
23
26
21
21
23
36
18
14
27
24
26
11
27
17
25
14
14
21
22
15
14
13
20
15
8
12
10
8
9
8
9
13
9
7
9
5
4
3
4
8
3
4
5
3
4
3
2
2
4
3
1
1
5
2
0
0
1
0
2
1
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
195
193
233
202
212
212
211
185
187
177
178
174
152
172
155
131
172
165
169
154
151
168
172
158
180
143
175
161
138
153
166
155
159
171
201
134
124
155
134
128
96
161
89
122
113
86
148
100
123
86
93
106
69
91
81
71
78
35
43
52
35
60
43
48
65
31
56
30
31
23
21
13
18
13
15
8
33
7
15
10
1
4
1
4
1
0
1
2
1
2
1
1
0
0
0
1
1
0
0
0
0
0
0
0
3
5
4
3
4
7
3
3
5
4
5
4
2
3
6
3
6
3
2
4
5
3
4
13
1
3
3
3
4
3
2
2
5
2
5
1
3
1
2
2
2
6
3
0
5
0
8
3
5
3
4
2
1
2
2
1
2
1
1
1
1
2
1
3
1
1
3
0
0
1
2
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
33
21
30
26
28
32
27
25
34
20
39
30
27
37
33
16
33
34
26
32
28
27
24
21
28
22
26
22
14
19
27
22
29
29
32
18
18
25
30
13
13
34
25
24
26
12
28
21
18
13
17
22
14
18
22
21
13
7
7
12
8
15
8
7
11
4
9
9
5
3
5
1
5
0
1
5
1
1
1
3
0
1
0
0
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
17
24
8
18
24
16
17
10
18
15
20
14
22
11
13
12
13
16
16
15
13
17
9
19
16
17
19
9
8
17
6
8
11
12
14
12
13
10
10
6
12
7
13
7
5
14
8
10
9
9
5
3
9
4
5
5
1
0
8
2
2
3
3
8
3
1
2
3
0
0
1
1
2
0
0
2
0
0
2
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
4
8
10
11
8
8
7
8
5
6
7
7
4
1
4
5
7
6
5
6
9
4
10
7
11
6
8
4
9
4
4
5
3
5
3
2
10
3
3
4
5
3
1
0
4
2
0
8
4
4
3
1
4
2
1
0
1
4
3
0
0
0
3
2
2
6
0
1
0
1
1
0
0
1
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
16
18
10
12
12
20
17
12
19
13
12
5
17
19
11
16
10
9
9
12
9
12
6
13
10
8
10
13
8
11
13
18
8
18
12
8
5
6
9
5
10
5
6
2
4
4
7
8
2
4
7
1
1
3
3
1
1
3
1
1
6
1
5
3
1
2
0
1
0
0
0
0
0
0
0
2
0
4
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
0
0
8
14
12
14
15
13
14
12
10
12
14
14
6
14
12
12
12
11
13
7
10
14
13
11
13
6
17
15
14
12
12
4
10
14
14
12
8
15
5
11
7
9
3
9
8
11
16
13
14
10
9
8
7
7
7
2
10
2
7
7
4
2
2
1
11
4
3
4
2
1
0
1
3
0
2
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
13
7
12
11
10
15
13
9
7
6
9
18
6
4
9
5
10
8
9
9
12
10
4
8
6
5
8
7
8
9
12
7
12
9
8
8
11
4
7
5
11
4
10
8
5
15
10
9
7
2
8
7
8
3
6
6
4
5
5
2
2
5
3
4
1
3
5
2
2
1
0
1
1
0
0
1
3
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
16
19
19
15
22
13
8
15
22
12
14
8
6
16
10
18
6
11
11
11
13
12
12
7
10
13
10
5
15
12
11
6
10
16
11
11
16
11
13
6
15
7
11
11
9
9
4
10
5
7
6
7
10
6
7
7
2
3
3
4
6
6
2
4
2
9
5
3
2
3
2
3
1
1
1
4
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
9
6
6
9
5
4
6
7
7
3
3
5
6
2
8
3
5
9
5
1
3
3
9
7
3
4
5
6
6
3
4
2
6
6
1
3
3
5
2
3
5
3
3
6
3
4
2
4
1
2
6
4
4
3
1
2
2
0
2
0
0
0
1
1
0
2
0
1
0
2
0
0
0
0
0
0
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
6
9
4
4
6
4
3
2
1
3
4
4
2
3
0
2
4
3
3
4
4
3
7
5
4
2
2
2
1
11
2
5
2
5
3
1
2
3
4
1
5
0
3
3
1
3
3
6
0
3
6
3
1
2
1
2
1
1
0
0
2
0
1
2
0
1
0
0
0
1
0
0
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
11
9
11
11
9
5
9
6
3
6
4
7
8
6
4
9
5
3
2
4
8
8
8
8
4
11
6
8
6
6
9
10
4
8
7
7
3
7
9
13
2
2
5
8
3
5
4
2
4
4
8
2
0
2
4
3
4
2
1
4
4
4
5
5
3
0
1
3
2
1
1
0
3
1
0
6
0
2
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
3
6
10
6
11
5
5
5
4
5
4
5
6
4
5
3
4
8
2
10
9
3
4
6
7
3
5
4
4
7
4
4
4
4
10
3
4
1
3
5
3
4
2
0
1
3
4
2
4
3
2
2
2
3
3
1
3
2
1
1
0
4
1
0
0
0
1
0
1
0
0
0
1
0
0
1
1
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
3
2
0
6
3
1
3
4
7
1
4
4
1
2
2
5
5
4
3
4
2
5
4
0
0
3
2
1
4
6
2
2
3
5
2
1
1
0
0
1
2
1
1
2
0
5
3
0
0
2
2
1
3
1
2
1
1
0
0
0
0
2
1
0
1
1
0
2
1
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
4
4
9
6
11
9
5
6
4
5
3
3
5
6
3
7
5
5
6
3
2
6
8
6
6
5
6
7
7
2
4
11
4
9
4
7
8
6
8
5
14
3
4
3
2
3
1
4
1
2
4
2
4
3
4
4
1
3
2
1
1
2
4
1
1
4
1
1
5
1
2
0
0
1
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
3
3
0
1
3
0
2
1
1
1
2
0
1
0
0
2
0
0
1
0
4
1
6
4
1
1
2
2
3
1
2
0
1
1
1
1
2
0
1
1
1
1
2
0
1
0
1
1
1
2
1
0
1
0
1
0
0
1
0
2
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
11
14
11
7
9
12
10
9
10
11
9
4
5
2
7
10
4
11
5
10
10
10
4
13
5
8
11
8
8
3
7
5
12
8
7
5
9
10
2
5
3
6
7
3
4
6
2
4
4
5
3
2
3
4
1
5
0
1
2
0
4
1
1
2
1
4
0
0
2
1
0
1
2
0
0
3
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
2
4
5
5
4
6
7
5
4
3
0
5
3
4
1
2
2
2
0
1
3
2
0
6
2
1
3
2
2
3
4
2
6
5
4
0
3
8
1
2
2
2
0
2
2
1
1
2
2
2
0
3
2
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
3
1
2
6
1
3
2
5
2
0
3
1
0
1
3
1
6
5
0
3
3
1
1
1
1
5
3
3
1
2
3
1
1
3
1
6
1
2
0
3
2
0
2
1
1
1
1
3
4
2
3
1
1
1
3
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
0
1
0
0
3
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
5
2
2
5
2
4
3
3
3
1
0
1
1
1
4
4
2
4
3
2
2
2
1
6
3
2
3
2
9
4
3
2
2
6
3
2
2
2
3
1
3
3
1
1
2
1
2
2
1
1
1
1
1
0
1
2
1
0
0
0
0
0
1
4
2
2
0
2
0
0
1
0
0
0
0
1
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
10
20
15
10
7
15
4
15
12
8
6
8
10
6
7
4
7
6
6
4
9
8
6
5
7
10
6
12
4
7
11
6
7
6
10
5
7
5
10
3
2
2
3
3
8
5
1
1
1
1
2
4
1
1
0
2
0
0
0
2
2
1
0
0
2
1
1
1
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
11
21
18
13
10
14
21
14
6
18
17
11
12
12
8
9
8
17
14
8
13
14
11
12
13
17
9
6
8
14
22
11
23
11
9
10
11
9
10
6
8
6
15
10
2
12
6
7
7
8
6
0
6
8
5
6
4
2
3
2
5
4
1
3
1
4
1
3
1
1
0
0
2
6
0
2
0
1
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
5
6
8
5
11
10
5
2
5
4
5
4
6
2
3
5
8
7
4
1
6
6
6
2
4
6
5
5
6
4
5
8
8
7
0
2
7
1
6
1
6
1
3
1
5
1
6
1
4
2
0
2
3
3
1
1
0
3
0
4
0
1
0
2
2
0
1
0
1
0
0
3
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
109
108
124
131
118
135
124
85
88
92
104
78
79
95
103
69
105
101
83
102
104
107
115
92
112
85
113
130
102
103
102
107
90
112
107
79
88
97
89
78
65
86
68
79
84
69
110
74
75
61
81
65
60
57
95
46
68
45
47
46
38
50
36
38
52
22
29
13
18
20
20
7
10
8
16
5
53
21
20
11
8
12
6
5
3
2
4
0
0
1
0
1
1
0
1
0
0
0
0
0
0
0
0
0
7
7
14
6
10
6
7
5
4
7
9
5
3
4
9
4
4
12
3
9
6
9
10
11
7
9
7
10
8
9
5
10
5
7
11
6
7
5
6
4
5
9
9
5
5
7
8
2
8
5
6
9
7
5
10
5
8
5
5
3
5
4
5
0
6
3
4
1
1
2
8
0
1
0
3
0
0
3
4
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
4
3
4
5
3
4
6
1
1
2
3
2
4
3
1
0
3
1
1
2
1
2
7
2
2
2
4
4
4
4
1
3
1
2
1
3
3
2
0
1
1
0
0
2
2
2
0
2
2
1
2
0
1
1
2
0
2
2
0
0
0
1
2
0
0
0
0
0
0
0
0
0
0
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
14
10
9
8
18
10
13
7
5
14
10
3
7
6
8
9
12
1
14
11
11
10
9
10
6
9
15
8
4
10
8
13
4
9
2
7
17
13
5
6
4
9
8
3
9
4
7
10
3
3
4
8
7
7
2
7
5
5
2
7
3
4
1
2
2
4
2
2
2
1
1
0
3
1
0
1
0
3
3
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
2
1
0
2
0
1
2
3
2
1
0
0
1
0
1
1
2
1
0
0
0
2
2
3
1
3
0
1
0
0
1
1
1
1
0
3
0
2
1
0
0
1
0
0
1
2
0
0
1
1
0
1
1
0
0
0
1
0
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
3
1
2
1
1
1
1
4
1
3
0
1
0
1
0
0
1
1
1
1
3
0
1
0
0
2
1
0
3
1
1
0
2
2
0
1
2
0
1
0
1
1
1
0
0
1
1
0
0
0
0
0
1
0
0
1
0
0
1
1
1
1
2
0
0
0
0
0
0
1
1
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
6
9
6
5
9
8
4
5
3
3
4
3
3
4
6
8
3
10
3
3
4
6
3
10
6
8
6
6
7
2
7
12
9
8
4
5
4
8
2
8
4
1
3
5
4
5
8
4
4
5
4
7
3
8
3
5
6
1
3
1
4
2
1
2
0
1
0
1
1
3
0
0
0
0
0
3
0
2
0
1
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
11
10
12
19
11
7
11
15
7
7
4
8
10
8
5
6
5
9
6
7
9
13
12
11
7
14
14
9
6
16
16
8
11
16
10
8
4
10
10
6
7
12
8
9
6
9
9
8
7
6
11
8
5
7
5
9
5
3
4
2
2
4
5
8
4
3
3
4
4
2
1
1
0
2
0
9
0
2
2
2
2
2
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
2
8
4
5
3
7
1
7
4
3
4
6
4
7
2
7
5
8
7
4
2
7
7
6
1
5
5
8
4
4
1
2
6
7
3
9
8
3
4
3
3
2
7
10
2
4
5
2
1
6
1
2
1
8
1
2
0
2
0
2
3
1
1
3
0
3
1
0
3
1
0
0
0
1
0
3
0
1
0
0
1
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
7
11
12
6
9
8
5
4
6
4
3
9
5
5
3
10
5
6
5
6
10
6
7
7
7
7
8
4
9
7
8
6
13
3
6
7
4
4
3
4
8
2
5
6
5
11
6
1
1
8
4
1
2
3
4
2
3
2
5
2
5
3
6
6
1
0
0
1
2
0
0
3
1
1
1
3
1
1
1
0
1
1
1
0
2
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
6
8
6
6
7
3
6
0
3
6
4
2
5
2
7
1
4
5
4
13
7
8
8
7
4
10
8
6
7
3
3
5
2
5
5
4
2
7
5
8
5
5
5
3
5
5
5
1
7
3
4
8
1
5
11
5
3
5
4
4
3
4
4
1
2
2
1
0
2
1
0
0
2
1
2
1
6
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
4
1
4
1
7
10
2
3
0
3
3
1
7
4
2
5
5
3
1
6
2
4
1
3
4
2
2
7
2
2
2
5
1
2
2
3
5
3
3
0
3
0
2
4
4
3
1
1
2
1
3
2
4
3
0
2
0
0
0
1
3
0
1
2
0
0
0
0
1
1
1
1
1
1
0
1
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
4
1
2
4
7
2
1
1
1
0
2
1
4
1
3
1
2
1
2
1
2
0
2
1
2
2
9
2
2
2
3
2
3
2
2
1
1
3
2
2
1
2
2
1
1
2
1
1
1
1
1
3
0
1
2
1
1
2
0
0
2
2
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
1
3
2
3
1
4
3
0
6
1
3
3
1
1
3
1
2
1
2
0
2
4
0
2
1
2
3
2
1
1
2
2
3
3
0
1
2
1
1
0
2
2
0
1
0
2
0
1
1
1
0
0
0
1
0
0
0
0
1
0
2
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
3
2
3
2
3
5
2
1
1
5
5
3
2
2
0
2
2
0
4
2
2
1
0
2
1
2
2
0
4
2
2
0
4
3
3
2
3
3
1
1
2
2
2
2
1
1
1
1
2
0
1
0
1
2
1
1
1
0
2
1
0
0
1
0
0
2
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
2
2
4
6
5
1
0
4
1
3
4
1
1
3
1
4
6
2
2
3
4
4
4
6
2
2
2
4
2
2
6
2
0
1
3
2
4
2
2
3
6
0
1
5
5
1
6
3
1
2
2
0
5
6
3
2
2
2
4
0
2
1
4
0
0
1
0
0
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
9
11
10
7
11
4
6
2
8
6
6
6
8
7
4
8
5
4
5
11
10
5
3
7
5
6
9
3
10
5
3
7
11
8
8
5
3
3
3
4
7
5
4
5
2
4
3
5
6
6
3
3
5
4
1
5
0
3
2
1
1
0
2
5
1
3
2
3
0
1
0
1
1
0
0
12
1
0
0
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
1
3
1
3
1
2
1
0
3
1
1
1
2
3
1
1
2
1
3
2
1
1
2
0
2
0
1
1
1
1
0
1
3
1
0
0
1
0
0
0
0
3
1
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
2
1
1
1
1
2
1
0
4
3
0
2
1
1
2
1
1
1
2
5
2
1
0
0
1
1
0
2
2
1
2
0
0
0
0
2
3
4
3
1
1
1
0
0
0
2
0
2
0
3
0
1
1
0
1
0
0
1
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
7
2
7
3
7
5
6
1
3
3
6
2
7
5
0
2
3
2
7
3
3
3
0
4
2
6
6
7
5
3
4
3
2
2
1
1
4
5
4
2
1
1
3
2
3
5
3
1
1
4
1
0
1
4
2
1
0
3
2
0
1
1
0
1
1
1
0
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
3
1
2
3
6
1
1
3
2
3
0
3
3
1
2
2
0
2
4
0
2
5
1
3
0
3
5
1
1
5
1
1
0
5
2
1
1
1
0
0
1
1
1
0
0
0
1
1
0
2
0
0
0
0
0
0
0
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
6
3
9
3
6
6
4
5
3
8
9
4
6
5
7
7
4
5
2
4
4
5
2
6
5
5
7
6
6
8
2
6
9
2
10
5
11
4
6
5
6
3
2
2
4
11
7
4
2
6
5
4
2
2
1
4
4
2
2
4
0
0
1
2
1
2
1
2
0
0
0
0
1
2
1
6
5
5
3
2
6
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
6
9
10
3
7
10
3
4
6
9
2
2
7
8
2
6
7
2
3
5
3
6
2
3
4
7
10
7
7
7
7
5
6
3
4
5
4
1
2
6
4
2
5
4
2
10
4
8
4
4
2
1
4
10
5
5
3
1
4
2
5
4
6
2
3
4
1
2
1
0
0
0
0
0
0
3
2
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
3
3
0
1
0
0
2
2
2
1
0
1
2
3
1
1
4
2
2
1
1
2
0
0
2
2
0
1
2
3
0
1
0
1
1
0
0
1
0
2
2
0
1
0
3
0
2
1
1
0
0
1
0
0
1
0
1
0
0
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
1
2
1
2
2
0
0
1
1
1
4
1
2
1
3
3
2
0
7
3
4
1
2
2
0
1
0
6
4
1
0
2
1
0
2
0
0
0
0
3
1
3
4
1
4
1
1
2
2
1
1
2
0
2
1
0
1
1
0
1
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
1
9
9
13
3
13
8
3
12
5
1
5
7
8
3
11
9
6
6
6
7
8
12
6
7
6
5
5
4
5
7
7
8
9
5
7
2
4
10
4
5
3
11
9
5
11
4
4
11
7
4
8
1
7
1
6
4
7
3
3
5
2
4
7
3
0
2
0
1
1
1
0
0
0
0
4
4
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
167
193
186
200
205
180
205
148
141
166
156
170
148
145
163
162
172
152
154
178
174
176
171
163
193
145
195
158
139
145
156
159
138
132
153
131
129
146
144
117
112
157
114
109
102
77
146
79
117
89
90
69
85
80
83
57
68
43
51
45
38
53
40
38
41
31
41
16
22
18
21
17
9
15
13
9
21
6
14
3
8
4
5
3
0
3
1
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
38
31
44
46
52
33
38
30
33
38
38
33
42
31
50
37
37
28
34
41
34
41
38
34
39
32
41
31
35
28
21
45
23
19
35
25
26
27
31
26
24
30
22
19
17
22
25
16
16
15
14
14
15
15
15
10
5
6
9
8
4
14
8
5
8
8
11
2
7
5
5
4
0
1
5
1
3
0
2
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
11
4
9
8
10
10
11
8
7
11
13
8
6
2
8
3
2
5
8
8
11
10
4
7
4
4
6
2
5
8
4
5
9
8
4
14
9
9
4
7
4
5
6
4
5
11
4
4
2
5
1
4
7
3
4
4
3
4
4
5
1
3
0
0
4
4
0
2
1
2
3
0
1
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
5
5
4
7
10
8
3
7
6
6
4
4
4
1
5
3
5
1
4
3
5
2
7
3
4
5
6
7
8
5
3
4
5
2
7
8
5
7
1
2
6
4
1
2
0
3
3
2
5
1
3
6
3
2
0
2
2
3
1
3
0
2
1
1
0
1
0
1
1
0
0
0
0
0
1
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
7
4
3
7
9
5
5
2
7
5
4
5
4
6
3
6
3
2
8
7
5
4
5
8
4
10
6
5
4
11
8
3
4
4
8
2
6
2
3
2
3
2
3
2
2
5
2
6
5
1
1
4
3
4
1
5
2
2
1
1
1
1
1
0
1
1
1
0
0
1
0
0
0
1
0
1
0
0
0
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
13
11
13
8
11
10
12
5
13
8
12
7
7
8
6
10
20
6
13
12
4
12
8
19
6
18
8
7
10
3
10
7
10
6
9
9
11
5
8
5
10
8
7
6
4
8
6
6
7
10
5
6
3
3
6
6
3
6
3
5
2
6
2
7
0
1
1
2
0
3
1
1
0
2
2
1
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
10
13
15
12
5
19
4
9
5
9
5
4
6
12
11
11
5
13
14
6
13
6
10
9
12
12
7
8
9
9
4
6
4
11
9
7
8
9
6
4
12
3
6
8
5
7
3
7
7
4
4
5
5
6
2
8
4
3
4
2
0
1
5
3
0
3
2
1
0
1
1
0
1
0
0
1
2
0
0
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
29
27
32
28
31
27
34
22
14
20
19
21
22
19
19
17
27
13
18
23
25
20
19
20
25
13
25
25
17
29
23
24
18
22
21
20
16
25
17
17
14
18
19
15
16
9
16
16
23
10
17
8
15
11
15
9
11
6
13
13
6
7
8
6
5
3
3
2
1
3
3
1
2
4
1
2
5
1
2
0
2
0
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
4
7
9
3
6
5
4
1
5
3
2
2
1
1
6
2
6
2
10
5
2
2
4
6
6
3
3
7
4
4
3
8
4
3
4
2
6
5
2
0
4
1
1
1
0
5
3
4
2
3
1
2
2
3
2
3
0
0
4
0
1
1
1
0
0
0
2
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
26
10
15
13
11
17
10
12
22
14
14
11
14
14
10
19
20
17
10
15
17
14
17
14
19
15
11
15
13
12
15
13
10
20
11
7
7
12
9
8
12
9
8
8
1
10
6
10
12
9
8
5
4
5
1
3
6
3
3
2
8
2
7
1
4
7
0
0
2
1
2
3
1
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
6
4
7
5
2
3
4
3
3
6
6
2
2
2
3
2
4
3
1
3
5
8
5
3
5
1
3
0
8
6
4
3
1
7
4
3
5
4
2
4
3
2
4
5
4
7
2
4
0
4
3
2
3
4
1
2
0
2
0
3
1
1
0
2
1
1
1
1
1
1
0
1
3
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
18
12
16
15
15
11
11
15
10
4
14
13
8
13
13
14
10
16
9
19
12
17
19
16
9
8
16
9
8
13
5
14
7
7
9
5
9
9
10
16
17
10
11
7
6
14
5
9
5
8
5
3
4
3
4
3
1
1
2
2
5
3
2
6
2
5
1
4
2
1
0
1
2
0
1
2
0
3
0
0
1
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
2
2
3
2
3
1
5
4
1
3
0
5
4
3
1
4
1
1
4
5
5
3
2
3
1
4
1
1
1
2
1
8
2
0
1
1
1
4
4
3
3
2
3
4
1
3
3
2
1
2
1
0
3
1
7
3
0
1
0
0
2
1
1
1
2
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
3
8
1
7
7
7
0
5
1
7
10
2
8
7
4
7
5
7
10
7
9
3
4
7
6
7
6
3
6
7
5
4
5
6
3
2
1
3
8
2
5
4
2
2
5
3
0
1
2
2
0
2
1
2
2
1
2
0
0
0
1
1
2
0
2
0
1
1
0
0
3
0
0
1
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
4
7
2
7
6
2
3
3
3
6
1
3
4
6
0
3
1
2
2
1
4
4
2
2
8
4
0
1
7
4
0
4
5
3
2
2
2
4
3
3
2
4
3
2
0
1
1
2
2
2
3
4
1
0
1
0
0
0
0
1
0
0
1
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
4
4
3
13
3
3
6
3
5
8
5
4
7
5
7
5
2
7
4
2
3
8
3
6
3
8
4
6
3
7
4
3
4
2
3
5
2
6
3
6
4
6
6
2
2
5
1
5
2
0
2
0
1
5
2
2
0
2
1
0
2
1
1
1
0
0
0
1
0
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
6
2
6
4
5
3
2
6
4
5
5
5
5
9
7
7
4
3
5
3
6
3
9
3
10
5
0
2
6
4
1
5
2
2
4
4
7
2
1
2
3
3
5
2
9
2
6
1
2
2
2
2
1
1
3
3
0
0
4
0
0
1
0
0
0
2
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
12
6
8
7
7
15
7
3
6
1
3
4
3
3
5
6
8
11
6
3
7
8
8
8
9
7
7
6
2
5
10
7
3
6
5
4
9
4
4
4
10
2
4
4
4
7
1
1
6
4
6
3
5
7
1
4
2
0
0
0
4
0
1
2
0
0
0
1
0
0
0
1
1
0
1
4
2
3
2
1
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
3
3
5
4
5
2
3
3
3
1
4
4
3
3
4
5
4
2
2
4
7
4
1
4
4
6
3
4
0
5
1
2
5
3
0
7
3
2
2
1
3
5
1
0
2
6
1
5
2
0
1
1
1
2
2
1
1
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
3
3
4
2
2
2
2
3
2
0
0
2
5
2
4
2
2
2
1
2
3
2
2
3
3
0
2
2
1
2
1
5
5
0
3
3
3
2
2
3
2
1
4
3
0
2
3
0
1
0
1
4
1
0
1
1
1
2
1
0
1
1
0
2
3
1
1
0
1
0
0
0
0
0
0
1
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
4
4
2
1
3
4
4
6
3
6
9
1
5
3
3
2
4
2
5
7
3
1
3
2
0
3
4
5
3
0
4
4
4
5
1
2
3
4
0
3
6
4
1
3
1
0
1
5
2
2
1
3
2
1
1
0
1
0
0
1
1
0
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
149
199
177
184
184
168
185
169
144
156
153
153
151
150
127
120
150
146
124
148
149
155
155
144
157
122
138
118
155
107
139
147
125
133
123
104
143
121
119
98
85
136
116
105
84
57
132
76
97
57
80
62
72
70
52
38
43
22
41
21
17
42
17
40
42
13
19
12
18
4
7
6
1
6
2
2
9
1
3
5
1
1
2
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
8
7
5
13
3
5
7
12
7
6
8
3
7
2
10
7
5
2
8
6
3
8
8
7
6
5
7
6
10
7
9
8
4
6
7
7
7
7
4
5
13
3
4
4
2
8
3
7
7
3
4
4
3
5
1
4
1
4
0
0
2
2
1
3
0
1
0
3
0
1
2
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
17
15
13
16
15
16
15
12
9
11
5
15
18
12
14
6
15
9
17
11
17
13
16
15
12
11
12
15
24
7
13
15
12
22
6
8
13
11
13
4
12
16
7
5
4
3
15
3
10
2
10
5
6
6
3
1
2
1
8
2
3
3
1
2
3
1
4
0
0
0
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
4
4
6
5
7
6
4
1
4
2
5
6
6
8
1
4
1
2
6
7
8
6
2
3
6
3
2
6
1
5
5
3
4
7
4
5
5
6
4
2
4
3
2
3
1
8
3
1
0
4
5
3
3
3
1
0
1
2
2
0
1
1
2
0
2
1
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
7
6
7
2
6
4
8
3
6
5
4
3
7
1
0
2
5
6
1
3
4
4
2
7
3
1
4
7
2
7
0
5
2
6
3
5
2
3
5
0
5
6
7
7
0
4
3
2
2
4
2
1
2
1
1
1
1
1
1
0
1
1
1
3
0
0
1
0
0
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
38
22
29
31
30
32
38
34
27
27
28
35
32
21
24
25
30
26
26
33
27
24
27
21
25
24
21
25
16
18
27
29
23
22
18
26
27
20
28
19
17
29
20
24
13
16
13
15
13
12
15
11
12
13
7
12
8
7
3
2
6
4
5
6
4
3
3
4
3
2
1
0
0
1
1
3
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
4
3
5
1
1
6
4
1
5
2
2
3
4
1
2
1
5
3
2
3
1
2
3
3
2
5
1
0
2
0
4
2
0
6
0
3
1
0
1
2
5
7
2
1
0
7
3
4
1
1
0
1
2
1
0
0
0
0
1
0
1
0
1
4
1
1
0
1
0
0
0
0
2
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
35
36
28
19
42
38
18
19
28
24
26
18
20
23
25
33
25
20
21
28
32
28
23
26
18
28
19
29
16
29
30
20
19
16
18
25
26
24
13
13
24
19
17
13
15
21
11
16
10
19
11
16
15
9
7
9
3
3
5
8
9
4
8
9
1
2
4
2
1
1
2
0
1
0
0
3
0
0
3
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
10
13
4
19
7
8
10
12
9
15
7
15
9
8
19
13
9
9
13
14
10
17
8
11
11
9
10
7
10
5
4
5
7
6
8
9
6
5
5
3
13
8
3
2
3
4
3
6
5
4
2
3
6
0
3
0
0
0
0
0
0
0
0
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
8
4
1
5
7
6
3
6
5
9
3
9
6
3
2
6
5
2
3
1
6
9
3
3
2
2
2
6
7
4
2
7
2
3
3
3
3
1
3
1
5
7
1
0
5
1
5
1
0
1
3
1
0
0
2
0
3
0
0
0
0
1
1
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
13
10
14
12
7
10
13
8
8
11
9
14
10
5
7
9
11
4
14
4
11
9
11
16
5
9
5
12
5
8
14
8
7
14
6
6
8
9
8
4
6
8
7
2
3
5
8
5
2
6
5
1
4
3
6
2
3
4
1
0
1
1
7
1
1
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
10
7
10
9
7
8
6
3
8
6
4
4
5
4
2
5
4
7
5
6
6
4
2
8
8
4
5
4
5
9
8
7
9
3
9
3
5
3
3
2
4
2
5
3
2
7
1
7
2
4
4
1
2
2
1
1
0
2
0
0
6
1
7
2
0
0
0
1
0
0
0
0
0
0
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
6
5
12
3
7
7
7
4
7
7
2
5
4
3
1
5
5
4
6
4
4
3
3
8
6
2
7
2
3
3
3
2
4
8
2
6
4
3
5
2
5
3
9
2
1
5
6
1
1
2
2
2
5
1
2
1
2
1
1
1
3
0
0
3
0
2
0
0
0
1
0
0
2
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
19
16
13
18
23
11
20
12
13
12
16
12
8
11
11
4
9
17
8
12
11
19
10
14
18
3
14
7
19
12
7
9
12
9
6
4
17
12
15
6
7
10
9
6
5
8
10
9
8
6
4
1
8
5
4
3
1
1
4
1
1
5
1
2
3
3
3
2
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
19
22
16
16
11
11
17
15
9
15
11
10
6
11
8
6
7
7
10
4
7
9
12
9
8
10
8
6
8
12
7
5
11
9
8
11
2
5
6
6
8
3
6
11
4
9
6
4
3
5
3
6
2
5
5
6
0
2
3
0
2
1
3
2
0
1
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
8
8
10
15
8
8
7
7
9
7
11
6
8
9
8
14
7
4
11
6
9
9
5
5
7
10
5
6
4
9
8
5
5
6
6
4
2
3
5
5
5
4
5
2
2
8
3
6
2
2
2
6
2
2
0
2
1
0
1
2
2
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
172
184
191
169
187
169
180
143
151
141
129
160
144
148
128
108
132
131
143
139
154
134
146
153
172
134
157
124
132
125
122
144
115
113
117
93
123
89
105
76
65
114
69
101
82
61
102
70
92
50
53
49
48
61
47
34
50
31
40
20
26
34
9
33
22
11
19
10
10
2
3
5
3
7
2
1
5
1
1
1
0
2
1
1
0
2
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
13
11
9
9
10
13
9
10
8
3
11
8
7
6
8
3
11
11
12
6
6
10
2
17
5
7
7
6
6
12
5
9
6
2
9
4
1
8
5
5
1
7
8
8
5
4
5
6
3
4
5
4
0
6
0
2
1
1
4
0
0
3
0
0
2
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
8
15
8
9
15
14
9
11
10
2
15
9
11
12
8
6
8
6
12
13
10
12
9
8
8
10
7
10
7
9
11
7
10
7
7
10
3
5
6
6
10
2
7
9
3
7
4
7
3
4
9
5
7
3
1
5
1
2
1
1
1
0
1
2
0
1
0
1
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
11
15
11
9
12
13
13
15
11
16
12
10
8
3
10
8
11
6
5
14
7
10
11
12
8
10
13
3
6
13
4
8
5
12
5
14
7
2
3
4
10
6
8
7
7
8
8
9
1
6
1
2
7
3
2
1
5
4
1
1
4
0
0
2
0
2
0
1
0
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
3
3
4
0
1
3
1
2
5
1
5
2
4
2
2
5
0
2
3
3
4
2
7
1
1
2
2
2
0
3
4
3
0
2
1
3
0
4
1
3
3
1
2
0
1
2
2
1
0
0
1
2
0
0
0
1
0
1
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
10
9
9
7
6
11
2
6
7
5
8
1
7
7
8
7
4
14
10
6
9
6
8
8
11
6
6
4
4
4
6
3
6
5
5
4
5
4
5
5
5
6
5
0
3
7
4
3
4
1
3
2
1
3
0
2
2
1
3
3
2
0
3
0
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
17
17
24
20
14
25
18
17
13
12
13
15
22
20
10
18
11
15
14
22
18
17
14
21
12
22
14
14
14
10
14
10
11
14
8
13
11
10
3
5
11
6
11
5
6
9
7
4
6
2
2
3
6
5
0
4
0
6
1
1
3
0
1
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
10
11
8
15
8
11
5
11
6
5
13
9
7
2
3
4
3
9
6
2
8
8
4
12
12
8
6
3
8
6
14
12
5
6
3
8
5
8
6
7
5
5
4
4
7
5
4
9
2
2
3
3
3
7
5
6
3
2
2
4
4
2
0
1
2
3
1
0
0
0
0
0
0
0
1
1
1
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
36
35
31
33
44
32
32
27
37
31
31
31
30
25
20
31
36
24
27
28
24
36
28
39
31
35
26
26
30
18
28
22
28
24
18
18
14
24
16
16
17
10
23
16
10
24
14
20
6
10
12
11
12
11
9
13
7
9
5
12
10
0
12
2
4
2
4
1
1
1
2
1
3
1
0
3
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
38
32
32
44
30
34
25
31
24
21
27
18
21
22
21
17
20
25
24
30
22
24
28
29
18
29
17
27
23
25
24
18
20
22
27
26
18
22
16
12
21
15
17
18
11
12
9
19
15
15
3
9
9
9
11
8
10
6
2
2
4
2
7
9
3
4
3
2
1
1
0
0
2
1
0
1
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
19
24
18
13
12
9
13
9
11
9
12
23
20
8
8
13
15
12
15
10
6
11
11
18
11
14
14
23
8
16
9
15
14
8
7
13
6
7
8
4
12
4
10
9
2
11
10
7
3
5
7
6
2
3
3
2
0
2
1
0
1
0
4
3
1
1
0
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
11
13
10
15
8
13
11
6
9
13
10
12
9
14
7
9
8
8
11
13
7
15
7
10
9
8
6
9
9
8
14
8
9
6
6
10
10
11
6
2
5
5
4
4
6
6
1
5
3
1
3
5
7
2
1
6
2
0
2
1
2
4
2
0
1
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
6
10
8
5
12
6
6
4
8
5
3
6
7
3
5
8
3
4
10
6
7
9
3
9
9
6
6
7
5
4
5
7
3
3
2
2
3
2
3
1
0
8
1
2
5
1
6
1
5
3
2
1
0
1
1
0
1
0
3
2
1
0
0
2
0
0
2
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
83
110
112
111
88
93
106
87
88
96
78
73
74
79
64
76
81
68
71
62
82
73
81
80
90
73
104
104
76
63
67
102
66
72
91
71
95
80
96
74
45
86
64
61
54
31
74
34
67
50
51
45
42
45
52
33
35
20
24
27
22
32
20
32
35
10
24
17
21
7
25
4
5
11
7
6
5
3
9
5
2
1
2
3
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
15
17
15
14
9
16
14
17
11
11
16
12
12
14
19
10
18
16
14
10
22
13
15
18
11
21
21
12
12
8
18
11
13
14
7
18
14
18
13
6
16
8
14
4
6
13
7
13
5
10
6
6
3
10
3
5
3
2
5
5
5
4
6
3
2
4
6
5
1
2
0
0
3
0
1
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
11
5
11
6
5
7
3
4
7
6
6
6
5
3
3
5
1
4
3
7
3
5
6
8
6
9
5
4
6
3
5
10
5
7
2
7
3
5
6
2
1
6
5
0
1
10
2
3
4
0
0
2
4
4
1
2
0
1
3
0
3
3
4
3
1
0
1
1
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
5
6
8
3
6
5
9
5
9
5
7
9
6
4
6
9
4
7
2
4
4
5
3
9
2
10
10
5
3
1
4
4
5
7
4
6
7
6
5
3
7
3
5
5
1
4
2
3
1
4
5
2
6
0
3
1
1
4
2
2
1
1
2
1
2
0
2
1
0
1
0
2
0
0
0
1
0
2
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
34
56
53
59
44
48
55
35
43
45
26
24
29
33
27
21
31
23
28
29
31
26
32
39
31
28
39
40
35
29
38
48
27
35
38
39
47
34
39
22
25
40
27
20
27
19
26
16
29
19
18
23
17
20
24
16
15
14
10
12
10
12
7
11
18
1
15
2
9
3
10
3
1
4
2
3
0
1
3
1
1
1
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
14
27
10
16
15
17
18
16
17
24
17
17
16
13
21
18
17
13
11
25
13
18
13
21
21
22
18
10
10
13
21
11
12
18
12
11
19
25
23
8
17
16
14
15
3
19
7
16
19
17
10
10
9
9
7
11
2
6
3
4
10
3
9
9
4
5
5
5
2
6
1
2
4
5
2
3
2
3
1
0
0
2
2
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
2
2
4
2
4
2
5
2
4
3
2
0
3
1
4
3
4
2
2
0
0
5
1
0
2
3
5
4
1
3
3
2
0
2
0
5
2
3
3
0
3
2
2
2
0
0
0
1
0
1
0
1
1
1
0
1
0
1
1
1
1
0
0
0
0
0
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
7
2
4
3
6
4
3
1
3
3
1
1
4
2
2
5
1
1
1
5
5
3
3
3
3
0
5
6
2
1
3
1
2
5
7
1
1
0
2
1
2
2
1
1
1
2
0
2
2
1
1
4
2
4
3
0
0
0
1
0
0
2
0
1
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
180
204
210
224
219
204
249
200
204
207
190
203
163
182
138
158
159
171
148
188
139
167
167
146
200
156
187
164
148
167
180
193
138
158
179
163
170
134
161
123
114
135
106
118
109
88
141
82
117
76
65
63
74
87
58
42
73
27
59
35
40
48
32
34
34
23
22
21
27
11
11
24
11
17
9
7
17
16
7
8
3
2
3
2
3
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
4
6
9
5
7
7
8
6
6
2
7
7
4
9
4
3
2
3
6
4
3
6
1
4
5
11
6
7
0
5
5
2
4
4
6
7
2
4
2
6
3
1
4
3
5
1
2
4
5
2
0
1
2
2
3
1
0
1
0
1
1
3
1
0
0
0
1
1
1
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
7
10
10
12
10
11
11
13
6
13
16
12
7
6
8
7
12
9
9
8
5
5
10
12
7
5
8
10
5
8
9
10
5
9
10
7
5
6
5
2
9
5
4
6
4
4
6
8
2
5
3
1
4
3
3
7
0
3
2
0
1
0
4
1
5
0
0
3
0
0
2
0
1
0
0
1
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
7
6
0
7
1
3
3
3
5
3
3
1
3
1
2
2
1
2
2
2
1
2
0
4
1
3
4
1
1
2
4
1
4
0
2
3
0
2
1
0
2
1
0
2
0
3
0
1
0
1
0
1
0
0
0
1
1
1
0
1
1
0
1
1
0
1
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
3
8
7
5
5
8
7
6
5
8
4
7
2
5
5
5
2
6
8
3
2
4
5
5
5
3
2
4
3
3
7
3
3
3
7
4
3
4
5
3
3
6
4
2
3
8
2
5
3
2
1
1
2
1
1
1
0
2
1
1
3
2
1
0
1
0
1
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
4
3
9
5
6
8
9
3
5
5
6
6
5
2
7
3
4
3
7
7
5
5
4
2
3
7
3
4
3
7
7
2
2
6
3
4
1
9
2
4
5
2
1
8
2
7
4
3
1
1
1
1
1
5
1
2
1
3
0
1
1
1
1
1
1
0
0
0
0
0
1
0
1
0
1
1
1
0
0
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
24
22
26
15
18
34
23
23
32
33
33
18
18
18
14
26
27
9
19
16
32
24
21
21
16
16
22
13
19
15
25
16
16
23
14
10
17
10
6
8
13
4
11
12
9
13
6
11
6
3
4
7
13
0
2
4
3
4
0
1
1
3
3
1
2
4
0
1
1
0
1
0
0
1
1
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
14
22
18
15
13
21
13
11
14
15
20
12
17
8
12
13
15
14
12
10
14
14
10
19
14
13
19
10
15
10
19
15
9
19
8
10
13
11
11
12
12
8
8
9
5
16
1
4
5
5
1
4
3
1
2
4
2
5
2
2
4
1
1
2
0
1
1
1
1
0
3
1
0
2
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
9
14
15
14
16
18
13
16
20
15
14
7
10
12
8
9
14
18
12
10
16
17
10
18
14
17
6
13
20
9
15
15
8
9
7
11
10
15
17
11
14
10
19
4
7
8
6
8
6
6
5
3
3
1
3
4
2
1
1
2
6
0
0
1
1
1
3
3
1
2
3
1
2
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
32
33
29
42
33
36
41
29
34
30
26
29
21
37
20
27
30
31
23
28
24
24
22
25
30
24
27
31
25
26
41
28
27
38
22
30
36
19
36
19
13
21
19
19
17
15
23
18
23
9
13
7
13
13
14
7
9
6
18
7
3
4
4
6
7
4
3
4
6
1
0
6
2
4
2
3
4
1
0
2
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
12
13
7
19
14
13
13
10
11
4
10
10
4
5
8
6
7
6
13
8
7
5
2
9
10
8
8
8
11
13
8
5
9
7
4
7
11
7
6
6
8
6
1
3
5
6
5
3
4
3
8
5
6
3
4
4
1
3
1
3
5
3
2
2
0
1
2
1
2
0
1
0
1
0
0
3
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
16
14
19
9
17
20
11
21
9
12
16
11
16
6
19
10
11
8
14
18
16
10
10
12
13
14
13
7
15
14
16
9
13
15
10
17
12
9
9
12
7
8
9
9
6
10
5
11
9
9
10
6
11
1
5
7
4
5
4
5
6
2
4
2
2
4
1
1
1
1
4
2
0
1
1
0
0
2
2
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
3
0
3
4
2
1
2
0
1
1
2
2
1
0
0
0
0
1
0
0
2
2
0
3
0
0
0
3
1
1
1
1
0
2
1
3
0
0
1
0
1
0
1
1
0
0
1
0
0
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
21
19
19
22
15
20
20
18
17
14
14
8
19
17
16
15
17
19
23
6
20
19
15
14
22
22
13
13
8
16
16
10
18
18
18
16
18
21
13
13
16
17
17
16
11
21
13
11
12
6
7
18
11
6
5
13
2
7
9
10
7
5
6
7
2
3
3
5
0
8
2
0
4
2
1
0
4
2
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
24
21
20
27
23
24
18
17
26
18
16
27
19
18
11
14
8
11
19
12
10
19
12
23
9
16
15
18
20
16
18
14
18
19
25
22
10
12
16
15
12
10
7
8
9
14
8
11
6
2
8
7
9
10
4
10
1
4
3
6
5
4
1
6
3
2
3
1
2
0
1
2
3
0
0
3
4
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
11
10
6
5
8
9
15
9
9
4
5
3
6
4
6
2
10
5
6
3
4
2
5
11
2
7
5
6
12
4
4
1
5
6
6
3
6
5
0
1
4
4
4
0
3
1
2
3
3
0
3
0
4
3
0
1
1
0
2
1
2
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
4
7
9
15
6
5
4
11
4
12
5
6
7
6
8
8
4
2
8
4
4
6
7
9
5
7
6
4
6
9
6
4
4
11
7
8
4
8
4
6
4
1
7
6
3
4
2
3
3
5
1
4
4
5
1
3
0
2
0
2
1
1
1
3
1
1
0
1
1
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
8
6
5
7
7
6
1
3
7
5
3
5
7
1
3
6
6
9
2
4
2
5
9
4
6
11
3
2
2
7
5
3
2
6
5
2
3
2
6
2
1
4
2
3
1
2
1
8
2
1
3
1
1
3
1
2
2
0
3
1
0
2
1
0
1
0
1
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
98
103
104
125
94
86
102
100
81
93
82
91
81
103
85
69
96
70
81
95
105
97
87
101
121
68
105
88
80
69
82
99
72
94
92
55
60
72
74
58
55
85
66
59
68
50
85
64
72
46
44
47
49
70
43
23
40
17
37
26
30
32
11
27
24
9
20
7
19
6
14
5
4
4
8
5
20
12
11
9
5
3
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
7
14
11
10
11
10
15
11
8
10
10
7
11
9
4
7
6
11
4
8
13
15
7
6
10
5
15
13
10
11
7
8
5
8
9
7
6
7
5
4
4
7
9
5
3
6
7
7
7
0
4
4
1
4
2
2
4
1
1
0
1
2
1
2
0
0
1
1
1
0
0
2
1
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
6
1
7
3
1
3
5
3
2
0
3
1
4
6
2
3
5
5
5
4
6
3
0
6
4
2
3
2
2
5
5
4
4
5
0
4
5
5
3
2
4
4
0
1
4
1
2
3
3
5
2
8
7
2
0
0
1
1
0
3
3
0
3
0
1
0
1
0
1
2
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
7
5
13
6
6
5
5
3
6
1
5
3
6
5
4
3
2
7
4
4
0
4
4
4
2
9
4
7
4
4
4
6
4
6
0
5
5
6
2
3
4
4
6
5
4
5
3
2
1
1
3
4
1
5
1
2
0
2
0
1
0
1
0
2
2
1
2
4
0
2
0
0
0
0
1
3
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
9
9
9
4
8
6
6
3
9
9
6
4
12
7
10
7
5
4
3
7
10
1
10
7
4
6
2
5
8
6
9
8
7
17
9
5
5
3
9
2
6
5
4
13
4
8
8
4
7
3
6
3
4
2
2
2
1
5
7
0
5
2
2
5
1
2
0
1
0
0
1
0
0
0
0
1
2
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
7
19
12
8
9
11
11
8
6
6
7
11
6
10
4
3
13
4
7
11
13
8
15
12
12
10
8
7
13
4
7
5
8
7
8
5
5
8
9
7
7
6
6
14
10
5
9
13
8
9
7
4
8
11
3
6
7
1
5
1
4
3
1
1
2
0
2
0
0
0
2
0
0
2
1
0
10
7
3
5
3
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
9
10
10
8
9
5
8
10
7
8
11
5
4
6
6
4
7
3
10
8
10
4
11
12
5
10
6
4
5
11
8
4
10
3
5
5
9
7
10
7
7
8
2
10
5
6
6
10
4
6
4
4
9
5
4
5
2
2
3
9
4
0
2
3
0
4
0
2
1
5
0
1
0
2
0
0
1
4
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
4
4
2
4
4
9
6
4
4
1
2
1
4
1
5
3
1
8
3
6
3
7
1
5
5
1
8
5
6
2
10
3
7
0
1
2
4
4
3
2
4
3
3
2
2
2
0
2
2
1
5
3
3
3
1
2
1
2
3
0
1
0
1
1
1
1
0
3
1
1
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
6
5
7
9
6
7
10
7
9
5
12
4
8
10
7
5
4
9
7
7
6
4
7
8
5
6
9
5
2
5
7
7
4
5
5
3
7
1
3
6
7
6
2
0
0
10
2
3
2
1
1
2
0
4
0
0
0
2
0
1
0
1
3
2
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
2
8
7
5
3
2
6
2
7
4
4
5
5
3
4
8
5
0
5
5
6
9
4
6
1
6
1
2
3
6
4
1
7
3
2
3
4
4
0
3
4
0
3
3
3
6
4
3
0
4
0
4
6
1
1
1
0
2
1
0
0
0
3
2
1
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
3
3
4
2
2
4
2
6
5
2
4
1
2
1
0
2
3
0
3
6
3
3
6
3
2
3
4
1
2
2
3
3
4
4
3
2
2
3
2
4
1
0
3
3
2
6
6
3
0
2
4
3
3
1
0
1
3
1
3
2
3
2
0
2
0
0
0
0
1
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
2
5
4
4
1
3
2
3
5
2
2
4
3
5
3
6
2
0
6
8
1
2
11
1
3
3
2
6
2
4
3
4
7
3
5
2
4
4
0
1
3
6
1
1
1
6
1
1
0
1
0
3
6
2
0
2
0
1
0
1
0
0
1
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
4
4
2
6
4
7
3
1
3
5
4
4
2
5
2
8
4
5
5
1
6
2
2
8
3
3
5
3
4
1
4
0
4
4
0
8
0
2
0
2
3
2
2
1
2
2
2
0
0
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
21
12
20
29
17
14
10
18
15
12
16
12
15
17
16
11
13
8
13
16
15
11
17
17
25
12
25
13
14
10
17
21
11
13
18
8
5
10
14
10
10
22
8
8
10
9
10
8
22
15
6
14
5
14
9
2
8
6
11
8
6
9
3
9
3
2
4
3
6
1
1
2
1
2
0
1
5
1
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
3
2
1
0
2
2
1
0
2
4
2
1
2
1
2
1
3
3
3
2
2
3
0
1
7
3
0
2
0
1
0
0
2
1
1
2
0
0
1
1
0
2
0
1
1
0
0
1
1
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
2
5
6
3
2
8
8
6
4
6
4
9
9
5
4
7
5
7
5
3
4
4
5
3
3
5
6
1
0
3
5
2
3
3
0
2
1
2
3
1
0
3
2
2
2
4
0
2
1
0
0
1
1
1
1
2
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
2
1
7
1
3
6
2
2
0
4
3
6
7
5
0
5
1
6
2
3
5
5
4
4
1
3
3
2
5
2
3
4
4
3
3
3
1
4
1
1
5
2
3
3
1
3
1
1
2
2
0
0
0
2
3
3
1
2
0
2
0
0
0
0
0
1
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
75
80
90
96
86
97
121
77
97
74
83
98
67
78
69
71
62
79
72
68
73
75
79
58
68
59
75
76
74
78
77
57
59
68
84
64
59
72
74
38
53
43
35
44
44
22
35
39
40
21
26
24
18
25
17
22
15
10
8
9
8
15
3
10
13
6
10
6
5
4
6
2
3
2
2
0
5
4
3
1
1
0
0
2
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
10
15
15
11
15
21
12
13
14
16
20
11
11
7
10
10
15
12
7
10
8
7
9
6
11
13
8
7
7
7
10
7
6
13
11
10
9
6
5
9
4
8
8
8
4
6
5
4
3
1
1
7
1
4
3
1
1
1
0
2
3
0
3
0
1
4
0
2
0
1
2
1
1
0
0
1
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
6
8
10
8
8
5
6
12
4
4
8
7
10
5
13
3
11
6
7
2
5
6
6
6
8
6
7
7
6
7
4
5
5
9
2
6
1
7
3
3
3
3
3
2
3
3
7
7
3
3
2
4
1
0
1
3
0
1
1
2
1
0
0
1
1
1
1
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
7
10
7
12
7
11
10
11
6
8
5
6
8
7
7
4
8
9
10
3
13
5
6
9
9
4
7
7
7
8
9
7
9
10
10
4
12
9
4
5
5
8
5
5
3
3
8
5
3
4
6
1
4
2
4
1
2
1
2
2
1
1
2
3
1
1
0
1
0
2
0
1
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
6
3
4
5
5
5
3
4
6
3
4
3
3
5
3
2
1
1
3
0
2
4
1
3
4
5
3
7
7
2
3
2
3
4
3
1
2
2
2
4
2
0
2
2
1
0
2
0
3
1
2
0
1
0
2
0
0
0
0
0
1
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
19
22
17
16
13
24
14
23
13
10
18
12
18
12
10
12
19
12
9
14
12
21
10
9
8
9
13
11
18
17
18
16
19
18
21
11
14
19
5
12
8
2
9
12
6
9
5
7
4
8
8
5
5
5
4
6
4
2
4
2
6
0
2
4
1
2
2
1
2
1
0
0
1
1
0
0
2
3
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
8
5
10
6
9
12
7
10
5
10
9
6
2
8
6
8
5
5
8
9
2
3
5
7
3
6
6
3
6
9
1
6
7
4
2
8
10
5
6
4
4
2
1
2
2
2
2
3
0
2
2
0
5
2
2
2
0
1
1
0
1
1
1
2
0
1
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
24
27
33
28
40
43
25
24
26
32
34
22
26
25
22
23
20
27
24
35
33
33
21
28
16
32
32
32
27
27
12
16
19
26
15
19
24
26
13
16
17
12
16
13
3
12
10
14
5
7
3
1
8
4
6
2
3
2
1
0
2
0
2
3
2
1
2
1
1
1
0
1
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
124
144
147
135
165
132
135
136
146
124
136
132
111
141
144
123
121
105
132
103
125
113
142
139
133
108
121
121
106
91
116
107
117
99
94
80
88
87
101
60
70
74
72
53
61
29
68
43
49
34
36
29
42
38
27
27
29
12
20
17
9
20
11
16
12
9
11
9
5
7
4
4
4
7
6
1
4
1
1
2
0
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
23
20
30
25
33
28
23
16
26
26
27
20
19
26
18
15
25
16
14
26
22
26
25
22
23
27
29
14
14
22
16
24
23
20
17
18
15
21
9
12
24
15
9
9
3
13
7
7
10
5
6
15
6
7
2
3
3
7
5
3
6
2
2
2
1
1
0
1
1
2
3
0
3
3
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
14
16
8
16
14
11
14
10
12
18
7
10
10
12
13
17
12
11
13
5
12
6
7
7
5
15
11
12
14
12
13
7
8
12
4
12
10
10
4
7
7
6
3
5
1
0
3
7
3
2
4
2
3
2
2
0
2
0
0
3
0
0
0
1
2
0
4
0
0
1
0
2
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
9
8
15
13
12
11
10
10
7
10
10
6
7
10
6
11
5
7
7
9
7
4
9
9
8
7
8
7
6
10
6
5
6
4
2
10
3
7
5
4
3
4
1
3
3
6
4
3
0
1
2
3
3
2
1
2
0
0
1
0
1
0
4
0
1
0
1
1
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
17
23
23
24
18
10
26
19
34
18
20
21
21
26
25
24
23
17
28
22
29
14
21
25
26
13
14
14
14
15
14
15
23
14
6
13
8
15
7
10
11
5
6
8
12
4
6
9
9
6
8
4
2
3
3
7
6
1
2
0
0
2
1
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
31
23
20
41
20
22
32
30
30
23
32
25
32
28
26
26
21
23
18
27
22
33
15
18
19
24
20
17
22
20
20
16
15
23
17
15
18
26
10
16
17
12
13
15
5
12
7
10
8
6
3
9
7
6
5
2
1
4
3
0
2
2
1
2
2
2
0
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
7
10
8
7
9
7
7
5
7
6
2
6
7
12
5
8
8
10
5
9
5
11
9
15
4
7
10
8
2
3
5
4
4
4
3
4
5
4
4
8
1
5
1
4
6
7
1
1
0
5
3
4
2
1
1
3
0
0
2
0
0
0
1
2
0
2
0
1
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
5
9
7
6
2
3
4
2
2
3
7
4
8
2
4
2
2
4
3
1
5
3
4
3
1
4
1
4
0
4
3
3
6
4
1
0
6
4
3
0
1
1
5
1
1
5
3
3
2
1
1
3
2
0
2
2
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
18
16
16
15
15
16
15
22
17
19
19
12
17
18
16
13
9
22
14
13
16
23
28
18
23
10
20
18
9
21
12
22
15
14
16
11
11
13
11
9
12
11
9
7
3
13
5
7
2
7
2
3
9
3
3
7
4
5
1
3
5
5
4
4
2
2
3
0
4
0
1
1
2
2
0
0
0
0
2
0
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
14
22
7
24
17
11
12
17
5
11
7
7
15
11
11
6
6
11
7
6
10
15
17
15
12
13
8
12
9
10
17
13
8
7
7
10
4
9
4
3
4
12
4
5
3
6
4
2
3
1
4
1
3
3
4
4
1
1
4
0
4
1
2
1
1
3
0
1
0
1
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
130
147
139
168
134
141
154
125
118
102
111
118
111
114
107
99
99
97
82
101
101
96
91
90
136
101
114
107
106
102
84
100
84
77
91
82
82
74
80
42
57
67
40
57
40
32
48
49
54
32
30
37
37
35
36
23
32
11
12
22
18
21
9
24
14
4
12
2
16
1
2
2
5
6
3
2
6
4
4
1
1
0
0
2
2
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
16
16
13
10
8
10
16
8
11
13
9
6
13
7
7
16
8
10
7
8
12
6
8
13
15
6
11
9
7
10
6
3
8
9
5
5
5
8
8
1
7
5
5
6
2
0
3
8
6
3
4
0
1
2
2
1
2
0
0
3
2
1
0
1
2
0
1
0
1
0
0
0
2
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
2
4
4
6
4
5
3
2
5
1
7
6
3
3
5
3
3
0
1
5
2
2
0
1
2
1
4
4
5
0
1
6
2
0
4
3
4
2
2
3
1
1
2
0
0
3
0
1
5
2
1
1
2
0
3
0
1
0
1
1
2
1
2
1
0
0
1
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
20
22
22
19
19
13
15
19
10
6
13
9
16
15
8
9
14
10
12
16
10
10
7
20
13
16
10
14
15
10
15
16
13
11
10
15
13
10
6
9
9
3
9
6
5
9
5
3
5
3
8
1
4
7
5
3
4
3
1
3
2
2
6
2
1
2
0
2
0
0
0
0
1
0
1
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
11
12
13
2
14
18
8
8
14
12
15
9
13
11
8
10
9
12
11
8
7
8
6
8
7
14
9
15
15
8
2
9
6
9
3
6
5
11
7
9
6
5
5
2
4
2
4
6
4
2
5
2
1
4
2
4
1
0
2
2
1
1
3
1
0
2
1
4
0
1
0
0
2
0
0
1
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
2
8
4
7
9
13
5
3
5
7
5
6
6
3
3
2
4
3
2
2
4
6
3
4
5
4
5
4
3
1
4
7
3
4
3
1
0
2
2
1
2
3
1
3
0
1
0
2
1
0
2
1
2
2
0
2
1
0
0
0
2
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
27
19
36
21
20
26
23
21
18
19
15
19
20
26
17
30
15
6
15
15
13
17
18
28
23
16
24
18
18
13
24
9
9
18
17
13
7
14
6
10
17
4
12
8
5
7
7
4
4
4
7
7
5
1
3
5
0
0
5
4
3
1
6
2
0
1
0
5
0
1
2
0
0
1
0
1
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
12
7
14
14
8
7
8
6
7
7
9
6
7
5
10
9
6
5
4
4
6
8
6
11
3
12
10
6
8
6
9
5
6
8
6
9
10
6
3
2
8
3
6
1
2
4
5
3
3
3
3
6
6
2
0
3
3
2
3
1
4
1
2
2
0
0
0
1
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
7
8
9
10
8
1
8
6
3
6
8
3
5
2
6
2
7
6
6
8
6
6
4
12
6
3
7
5
5
5
4
8
3
3
1
2
5
1
6
2
1
2
0
3
1
3
2
4
0
2
1
3
3
1
0
4
0
0
2
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
8
8
12
11
14
11
11
16
10
11
9
17
17
4
8
6
9
14
9
8
8
6
6
13
6
8
8
9
6
9
8
9
9
10
3
7
7
11
6
8
5
4
4
3
4
2
4
4
2
2
5
4
4
1
1
1
0
2
0
3
1
0
2
2
2
0
0
1
0
0
0
0
0
0
0
0
0
2
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
8
8
13
7
7
10
11
5
4
8
10
6
5
6
6
5
4
3
7
9
10
3
6
6
12
8
6
5
9
5
6
1
10
7
7
5
3
3
0
1
5
0
0
4
1
6
4
9
2
4
0
6
3
7
4
3
0
0
1
1
2
0
2
0
0
0
0
1
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
10
8
7
12
7
15
10
2
5
9
9
8
8
8
6
8
13
9
9
11
6
7
6
8
6
8
6
4
3
6
10
3
3
1
6
4
5
3
0
2
2
4
5
2
3
3
1
2
1
1
2
0
2
1
0
0
1
0
1
0
1
0
0
2
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
22
22
22
19
20
21
16
16
12
10
13
12
7
15
8
7
6
6
13
6
18
12
14
9
13
10
9
14
10
14
9
7
6
11
18
11
9
9
2
5
6
5
9
6
4
8
8
6
5
4
3
4
3
5
7
4
1
4
3
0
2
2
1
1
1
4
0
0
1
0
0
1
1
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
149
127
137
132
158
119
130
116
120
101
102
116
96
109
100
95
100
88
76
91
98
110
112
117
126
108
119
118
110
105
93
116
105
96
108
82
92
93
89
82
65
97
75
78
93
65
78
70
68
57
58
60
48
47
61
37
55
33
27
41
23
52
27
27
26
20
25
12
16
11
15
14
7
4
7
2
37
15
16
6
7
3
5
1
2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
9
12
6
7
10
9
9
8
6
3
9
7
4
10
6
7
6
5
18
7
13
11
10
11
9
8
9
11
8
12
13
7
6
10
8
6
9
6
5
2
2
9
8
12
3
4
5
5
6
8
10
2
5
7
4
3
4
2
8
2
6
5
0
3
1
3
0
0
0
1
0
0
1
0
0
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
8
8
12
9
6
6
12
6
7
7
12
7
6
12
9
7
7
2
5
2
11
7
5
2
6
7
8
6
8
4
3
9
8
7
2
8
8
6
8
7
6
4
1
5
5
4
1
7
2
3
2
9
0
2
2
1
3
1
1
1
4
1
3
1
1
2
1
1
0
1
2
0
0
0
0
2
0
4
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
4
18
9
12
5
6
3
8
9
5
6
3
8
3
6
10
2
4
1
3
1
5
10
8
5
7
11
8
6
6
6
7
4
3
11
8
7
10
3
2
7
3
5
5
7
5
3
1
4
3
2
4
4
1
4
4
3
1
2
1
1
1
1
3
5
2
3
0
1
1
0
2
0
0
0
4
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
7
7
7
4
7
12
5
8
5
8
9
9
9
4
7
7
9
3
9
4
5
3
4
8
7
5
3
5
4
1
3
8
6
5
3
7
2
4
3
4
6
3
5
6
3
8
6
3
5
2
4
0
2
2
2
4
1
0
0
0
4
2
2
2
0
1
0
0
0
1
1
0
0
0
0
1
0
1
2
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
13
8
7
18
8
14
13
11
3
9
12
8
6
8
9
15
7
7
7
13
8
6
15
14
10
14
11
11
9
8
7
7
8
11
4
6
6
10
4
7
7
11
6
7
6
8
7
13
7
8
8
3
4
8
0
7
6
4
7
4
10
2
1
1
1
5
0
1
0
2
2
0
0
0
0
1
0
2
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
16
14
18
23
12
17
16
11
16
13
18
8
14
16
9
8
12
10
9
16
18
16
18
15
12
19
12
12
15
14
16
10
8
11
10
11
10
12
16
7
17
12
14
12
8
12
16
5
6
0
8
6
7
5
2
7
1
3
3
4
6
3
4
2
1
0
2
2
2
0
2
3
0
2
1
2
1
2
0
2
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
4
3
1
7
1
4
0
3
3
6
1
3
3
0
1
1
5
1
3
4
5
6
3
1
3
4
3
2
3
2
3
2
2
1
1
3
0
3
2
2
1
0
1
5
2
2
1
0
0
2
3
0
1
1
1
2
2
2
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
9
8
11
10
16
7
9
7
9
9
11
8
6
13
4
8
11
8
9
7
5
10
15
8
13
7
5
8
9
9
6
12
9
9
6
11
10
13
3
7
11
4
8
8
8
4
3
7
8
5
5
6
3
8
4
4
1
5
2
1
2
3
4
3
1
2
2
1
2
1
0
0
0
1
0
3
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
4
7
7
6
6
3
5
8
4
10
3
3
1
1
4
6
2
3
1
4
3
5
1
5
4
4
6
3
4
8
7
2
2
5
2
4
7
3
4
1
6
1
7
2
3
1
0
3
5
1
0
2
2
5
2
5
1
0
1
2
2
1
1
0
3
0
0
1
1
1
3
0
0
1
0
3
0
1
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
3
3
3
3
1
1
3
1
4
1
1
6
8
3
3
3
3
1
3
1
1
2
3
4
3
3
1
3
1
2
4
3
1
3
0
3
8
1
3
2
3
4
0
3
1
1
1
4
1
1
0
2
2
0
1
3
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
3
1
1
2
1
4
1
3
0
1
0
0
2
3
1
3
1
0
3
1
2
2
2
0
3
0
3
3
0
0
1
2
0
3
2
0
0
0
1
3
4
1
0
1
1
3
4
1
0
1
1
1
1
1
0
0
0
1
1
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
9
6
7
11
7
11
7
6
8
7
5
6
8
3
5
4
4
2
2
3
8
7
6
6
7
6
8
7
6
4
12
4
8
6
4
4
9
3
5
4
5
1
2
3
2
6
6
2
1
9
2
5
3
2
2
6
1
2
3
2
2
2
2
1
2
2
0
0
0
1
1
0
1
0
1
1
3
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
7
2
8
10
6
4
9
6
6
9
5
5
7
7
10
5
2
5
6
5
9
7
9
10
1
6
11
8
8
4
8
6
10
4
5
5
3
5
4
2
7
5
9
7
10
7
9
4
3
5
4
0
3
4
3
5
3
2
3
3
2
2
2
3
1
1
2
1
1
2
0
1
2
0
0
0
2
2
1
2
1
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
8
4
7
8
5
3
6
9
5
1
6
2
3
5
6
5
3
6
4
5
2
7
3
7
2
7
8
4
6
2
2
3
5
4
7
3
2
2
6
1
3
3
3
2
2
1
0
6
2
1
1
0
4
2
1
3
1
1
0
0
0
1
3
1
0
2
1
1
0
0
0
0
0
0
0
3
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
11
13
9
9
7
11
4
7
4
5
6
7
5
4
6
3
6
9
3
3
5
9
5
10
8
9
11
10
5
4
9
8
4
10
8
6
2
2
2
5
3
3
4
4
1
6
2
2
1
2
1
2
0
4
3
0
1
2
2
1
3
1
0
0
0
2
0
1
1
1
0
0
0
0
0
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
2
2
3
3
3
4
2
2
0
1
2
4
2
1
1
0
3
0
2
0
0
1
1
1
1
1
0
2
3
3
3
0
2
2
1
2
2
2
2
1
1
0
0
0
2
1
0
0
0
1
0
1
0
0
0
0
0
1
0
2
1
0
0
0
1
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
12
21
17
16
18
15
10
16
10
8
11
12
15
6
8
7
8
7
8
18
14
9
7
16
14
12
7
9
11
10
13
12
15
14
7
6
8
7
11
7
8
10
5
11
3
4
5
5
6
7
8
6
5
9
6
1
5
1
6
1
8
2
4
5
4
2
0
6
3
2
1
1
0
2
0
6
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3380
3742
3879
3895
3816
3702
4002
3524
3365
3301
3299
3309
3050
3200
3010
2784
3058
2910
2844
2862
3026
3120
3094
3045
3448
2803
3282
3059
2807
2754
2795
2976
2663
2673
2955
2336
2585
2462
2522
2002
1827
2364
1904
1892
1837
1335
2030
1463
1703
1232
1283
1182
1120
1196
1146
833
1006
554
697
625
508
734
441
590
656
304
468
262
333
198
231
175
129
159
129
82
318
137
152
92
51
45
33
37
18
14
16
3
6
3
1
3
2
2
2
2
1
0
0
0
0
0
0
0