10
6
0
0
0
7
12
18
15
20
0
6
6
0
3
3
10
13
5
13
11
19
3
4
2
3
6
7
4
7
15
3
3
4
13
6
15
7
0
3
0
0
0
1
3
15
9
13
20
15
0
4
3
0
6
13
6
13
3
3
13
0
0
12
3
11
13
13
6
6
6
6
5
3
4
19
3
3
3
18
3
3
3
3
4
3
0
7
3
0
3
6
0
7
0
4
4
13
0
6
0
13
3
5
13
3
3
6
12
6
7
19
13
2
12
10
15
4
6
6
0
10
0
3
5
3
5
3
13
4
4
13
0
3
13
19
4
6
10
3
3
0
10
6
13
10
3
3
20
0
9
3
0
6
4
3
3
13
10
3
5
13
18
3
3
11
6
2
3
13
6
15
7
6
12
4
6
0
4
3
3
10
4
4
3
13
10
3
20
6
0
3
19
3
13
3
4
5
3
3
3
4
10
10
3
10
12
12
6
13
10
4
4
18
7
3
1
3
0
6
15
2
3
3
3
15
13
3
6
0
10
3
0
3
0
6
2
12
3
10
4
13
15
3
13
0
0
0
4
3
7
4
12
0
0
6
3
0
3
4
13
6
20
3
12
8
3
7
10
3
0
4
2
3
3
6
3
0
6
10
4
0
14
6
13
0
0
13
13
18
4
0
3
6
3
13
13
3
13
6
13
3
4
0
3
3
13
0
13
12
3
14
3
10
6
6
18
6
0
4
4
6
3
7
19
13
13
3
10
11
10
3
7
6
4
4
10
2
3
3
7
4
6
3
13
18
4
0
3
7
3
6
5
3
3
13
10
3
9
13
6
14
11
0
3
0
0
3
0
6
6
19
13
6
4
0
6
18
4
4
0
4
3
7
13
6
13
9
4
0
7
13
13
4
20
6
0
3
4
13
4
11
13
0
3
9
0
0
5
0
0
3
19
13
7
3
3
3
6
6
4
5
5
13
13
3
7
13
4
10
15
0
2
3
3
13
0
3
4
3
13
4
3
4
4
13
0
6
0
0
4
13
10
4
3
3
6
7
6
6
13
3
3
10
0
18
6
3
3
12
6
12
0
13
3
13
6
7
3
13
9
5
0
13
0
3
15
12
6
4
12
13
5
12
6
6
13
0
13
3
4
4
9
6
13
11
6
4
0
0
7
10
2
3
4
3
0
3
13
18
3
3
0
3
15
10
3
3
6
12
4
13
13
0
3
13
3
1
9
9
3
5
2
3
0
3
19
3
13
5
10
3
3
3
3
7
3
10
6
3
6
13
13
4
18
13
1
3
9
10
18
8
0
0
3
3
0
18
13
3
3
3
13
4
6
5
6
12
6
0
3
13
4
18
19
13
13
4
4
13
3
13
3
3
10
2
0
18
4
6
15
13
6
5
3
6
15
8
3
5
4
2
10
10
12
6
3
4
6
3
14
0
3
13
13
6
6
6
6
4
13
3
13
4
0
13
4
3
2
5
1
3
19
3
13
5
15
3
4
5
13
13
18
13
6
13
18
3
3
3
3
4
4
3
4
0
0
3
3
6
10
13
3
19
0
3
0
3
13
0
6
7
3
9
20
4
6
0
10
15
3
0
0
9
6
3
3
13
13
14
3
18
18
8
13
20
5
13
15
3
2
11
3
4
0
13
7
13
3
3
5
4
6
0
4
3
7
0
3
4
12
13
3
6
12
4
13
0
2
17
10
6
13
4
4
0
3
3
4
2
3
7
4
0
3
3
0
7
4
3
15
4
14
18
7
13
3
3
10
3
10
3
13
10
13
4
5
0
4
6
3
13
12
2
4
0
7
11
0
13
18
3
13
13
13
6
0
7
3
13
7
13
19
3
13
18
0
15
6
0
13
14
13
11
3
4
6
7
5
13
4
0
7
3
12
6
4
6
3
6
7
6
7
11
0
0
6
8
3
11
13
3
4
5
12
4
13
12
3
13
3
15
12
3
3
4
4
0
18
6
15
4
6
7
6
0
0
13
3
12
3
13
0
3
6
0
3
11
3
5
4
4
4
3
5
3
3
3
0
9
3
3
3
13
2
3
3
11
13
3
5
3
3
5
3
0
10
4
15
12
7
6
15
0
3
5
5
3
13
13
4
6
3
13
0
4
20
13
4
0
7
3
18
12
4
20
13
6
3
0
3
12
13
19
3
3
5
3
13
18
2
0
13
2
4
12
0
6
14
0
4
0
0
4
5
17
0
7
4
6
6
13
15
6
3
13
19
0
4
13
13
4
13
13
13
18
3
10
10
3
4
3
4
4
13
13
13
8
3
3
6
6
4
3
13
6
3
0
4
20
15
14
4
3
4
3
4
10
3
13
2
13
6
11
0
0
3
7
6
13
8
0
13
3
18
13
4
12
3
18
18
13
6
6
18
0
0
3
6
17
10
13
4
18
9
3
0
13
13
20
13
8
3
9
7
4
15
3
13
6
7
0
4
3
3
6
5
0
3
15
0
0
15
0
20
10
6
13
0
7
0
12
4
13
5
10
3
3
6
7
0
0
13
5
0
3
3
3
10
10
13
3
0
3
3
10
6
11
10
0
10
0
9
3
13
7
3
5
0
6
3
3
6
15
3
7
4
0
3
13
4
3
4
13
13
13
12
6
3
15
3
10
15
3
13
7
3
3
3
4
4
3
12
3
13
3
13
4
12
3
3
13
4
3
3
5
0
3
13
6
6
20
3
15
0
15
5
20
6
10
12
13
3
3
3
3
3
4
15
13
6
4
3
11
3
13
6
0
0
7
14
6
3
6
14
12
3
13
18
6
0
3
10
3
6
18
13
0
6
4
3
15
7
0
6
9
7
0
0
3
3
0
3
0
9
2
14
12
13
3
13
0
3
3
4
9
0
4
15
15
3
4
2
2
5
4
3
4
10
4
12
3
4
5
13
0
3
3
3
15
4
4
4
18
0
13
6
7
9
3
18
12
4
4
13
13
0
9
3
6
6
6
6
3
0
5
13
14
3
4
3
3
3
13
12
13
0
7
3
3
6
4
10
0
0
4
3
11
4
0
0
13
13
3
3
13
20
11
3
13
3
15
3
3
6
20
6
0
13
0
3
4
12
20
20
3
7
3
19
3
6
4
3
3
10
13
7
3
13
2
4
3
3
15
20
3
13
13
5
4
6
4
4
0
3
6
0
3
9
0
14
5
13
0
15
4
3
3
20
7
0
9
4
6
9
0
3
4
0
3
4
13
13
3
0
6
9
4
18
10
12
7
3
13
7
20
13
4
9
18
13
3
15
3
10
0
13
6
20
0
8
13
0
3
13
4
4
3
5
13
3
15
10
5
13
3
0
12
18
3
4
0
8
4
4
6
3
3
0
8
4
0
12
19
0
3
10
3
13
2
7
3
3
11
13
4
4
0
3
3
14
7
6
3
15
13
3
0
0
3
3
6
10
3
4
13
4
6
4
3
13
10
10
13
13
18
0
3
15
3
6
13
11
12
3
19
6
3
6
3
4
18
4
13
6
10
3
15
13
0
3
3
0
10
10
3
10
3
3
3
15
13
10
3
13
13
15
6
6
20
13
6
4
6
13
13
6
9
3
13
3
6
6
4
5
0
3
6
4
6
3
3
4
3
13
4
18
3
4
13
20
10
19
20
15
0
3
20
14
6
5
4
3
15
12
5
4
13
13
11
3
0
4
15
4
6
2
6
6
3
10
4
13
11
7
0
3
0
10
3
6
18
10
0
0
6
6
13
6
4
13
3
19
4
0
4
7
4
3
20
6
6
0
13
8
13
3
10
13
3
3
3
3
18
13
13
12
3
3
0
6
4
3
0
7
17
13
3
0
3
0
13
0
20
7
15
3
10
3
4
10
12
6
3
6
4
3
0
13
0
13
3
6
0
6
11
10
13
0
13
20
3
3
2
4
13
12
11
3
3
7
13
5
9
5
15
3
3
3
0
2
4
3
3
3
13
4
4
6
3
3
5
0
3
13
6
13
13
4
6
4
3
3
4
6
18
18
6
10
3
4
20
3
3
3
13
0
13
3
6
2
3
0
12
0
7
7
3
11
6
18
3
13
3
6
9
7
15
7
13
13
12
9
2
6
12
3
10
3
4
6
4
15
2
4
13
2
10
15
3
13
0
3
13
3
13
18
3
0
10
3
17
0
6
6
19
6
5
3
4
0
4
13
3
0
18
6
6
2
20
0
6
3
4
2
3
15
4
15
6
6
3
13
0
12
3
15
3
10
2
3
5
3
5
10
2
12
4
0
7
0
4
15
12
18
0
18
3
5
13
0
18
0
5
18
10
3
3
0
3
10
13
12
3
20
13
3
4
13
3
3
10
0
9
0
4
18
0
3
3
13
4
2
3
5
2
13
13
4
3
6
13
13
4
6
13
13
4
3
6
10
6
4
4
4
10
6
13
19
13
5
6
13
7
15
3
4
6
13
4
4
3
11
19
0
6
12
6
3
6
0
9
3
6
6
10
13
0
4
18
3
0
20
6
3
10
7
3
0
3
3
15
15
12
13
5
13
6
3
2
9
0
6
4
3
3
13
13
11
6
13
3
3
0
13
11
0
18
3
7
12
13
3
0
20
6
3
0
13
13
4
14
8
13
4
13
3
5
4
0
3
0
4
4
3
3
6
18
0
3
0
15
6
0
6
3
9
6
3
14
10
13
3
8
13
13
2
0
10
3
18
6
6
3
0
13
3
4
15
4
0
4
0
13
3
0
18
3
6
5
13
4
20
10
10
12
13
4
13
3
14
3
3
0
10
14
4
20
3
6
5
7
11
4
13
15
6
15
0
5
20
11
0
19
2
0
15
3
13
3
13
13
6
3
10
13
4
9
15
11
4
7
15
3
7
13
3
6
10
9
12
4
8
15
4
4
0
6
3
5
6
13
3
2
3
13
19
13
10
6
13
3
3
3
13
6
6
2
4
4
10
0
6
15
6
8
0
13
3
3
12
3
5
0
2
3
6
13
13
13
4
13
7
6
7
3
0
10
4
3
6
8
3
0
0
12
3
13
13
0
7
13
13
9
13
18
20
5
6
3
6
4
4
13
3
3
5
6
3
2
3
3
6
13
3
0
12
18
3
3
10
4
3
13
7
10
0
0
3
4
3
15
3
12
2
3
3
15
0
3
6
4
3
0
13
4
15
6
12
9
3
10
13
6
13
6
4
3
14
3
3
3
6
3
6
0
3
4
0
10
4
4
0
3
13
8
3
4
0
3
7
18
12
10
13
3
7
0
0
3
6
0
7
3
8
7
12
4
0
10
3
3
1
6
3
13
6
5
13
3
5
6
3
6
13
3
7
13
3
3
0
14
18
13
6
3
4
6
18
13
2
3
0
10
10
3
15
3
15
3
3
18
0
5
7
10
4
11
13
4
13
4
4
13
5
12
4
5
8
4
10
0
0
3
3
3
3
3
5
13
17
0
6
3
15
20
3
13
7
4
0
20
3
10
13
10
3
6
13
4
12
5
15
3
7
6
15
6
6
13
0
9
3
9
8
7
13
3
3
0
0
7
4
18
3
10
3
3
12
6
3
6
2
0
6
4
3
6
6
4
4
8
4
3
15
20
6
12
4
3
3
13
0
3
4
10
10
3
14
3
9
18
11
0
12
13
3
3
13
4
19
10
13
12
4
3
2
3
4
3
6
13
15
3
6
6
3
3
13
13
4
3
4
4
10
6
2
6
13
15
6
3
3
12
13
3
4
0
13
4
0
0
15
4
4
20
0
12
10
3
6
3
12
6
4
3
0
13
3
10
10
3
13
4
10
6
3
6
8
5
12
6
2
3
4
3
13
3
13
3
12
6
0
7
3
10
3
4
6
3
5
3
3
19
18
11
3
7
0
6
6
1
0
18
4
12
13
20
3
5
13
12
13
10
13
3
3
7
0
4
3
0
13
10
4
15
18
0
6
6
3
3
18
13
13
0
4
19
3
0
3
13
2
3
3
10
0
3
15
15
15
3
0
3
9
3
13
3
0
3
11
11
10
7
3
10
13
13
13
4
13
4
13
5
14
6
4
10
13
4
3
5
18
4
12
0
4
6
6
6
4
6
6
15
3
19
6
3
0
3
10
3
15
3
0
6
6
10
13
3
7
4
13
15
7
12
3
3
12
4
11
13
19
6
3
0
6
12
6
6
13
13
0
3
3
12
0
0
13
12
13
10
3
0
0
13
4
3
15
4
0
6
10
3
15
0
5
0
6
6
3
0
4
13
12
5
15
10
3
3
4
4
0
0
4
12
0
10
13
8
3
10
0
13
13
3
3
0
3
3
6
6
0
0
9
0
3
6
3
15
13
9
3
18
4
13
19
13
13
13
6
9
4
3
0
3
12
13
2
13
3
15
5
0
8
3
4
3
0
6
8
13
0
11
4
7
4
7
3
4
13
13
19
19
3
11
0
0
0
20
0
12
13
4
0
6
3
12
3
0
6
6
4
10
15
3
6
18
0
0
3
10
3
15
0
6
3
19
19
19
3
6
4
13
10
10
4
13
6
13
3
0
18
3
15
7
13
4
6
3
3
4
3
3
10
0
3
13
4
4
10
5
5
18
13
5
4
3
13
3
0
6
13
5
3
20
4
12
4
6
3
13
0
12
13
11
3
0
4
0
4
10
11
3
6
13
13
4
0
7
4
3
0
6
18
13
3
13
4
3
10
4
10
13
15
0
6
4
3
15
17
4
13
4
4
13
6
0
6
4
4
10
8
15
2
13
12
6
3
3
3
3
10
13
13
13
3
3
4
3
0
8
3
13
13
3
18
13
3
0
9
6
3
0
4
13
4
6
4
15
0
0
0
9
3
0
7
3
0
13
3
6
11
3
6
6
6
4
13
13
3
3
13
13
13
5
13
11
6
15
11
9
0
10
6
4
6
6
7
19
13
12
4
4
3
6
3
6
4
0
5
3
6
6
15
0
3
10
3
3
3
4
12
6
0
10
4
13
10
3
18
0
13
10
3
11
6
10
19
3
3
3
3
10
15
7
0
3
3
4
6
14
2
11
0
3
13
13
18
11
13
3
13
3
13
0
3
3
3
6
4
10
11
3
3
6
0
3
3
6
5
6
3
3
0
7
12
6
6
3
4
3
7
13
3
0
9
13
6
5
9
11
18
3
6
6
4
13
0
3
4
3
13
0
4
4
15
0
2
6
3
6
3
0
6
13
7
3
4
6
0
7
3
12
7
3
10
3
13
4
5
3
3
13
17
6
4
4
4
6
7
13
3
4
10
7
4
13
4
20
6
19
11
13
13
3
3
10
0
6
3
13
13
4
3
6
4
3
3
2
9
4
15
2
0
20
6
6
3
3
0
10
15
12
3
7
3
0
10
13
13
13
6
3
3
5
15
7
18
3
6
13
3
0
3
13
3
4
6
0
6
4
0
0
4
7
5
13
3
4
6
3
10
17
11
0
5
4
13
9
19
0
3
3
3
5
7
15
3
13
0
6
4
3
15
3
13
7
19
13
12
5
5
12
13
12
20
4
3
10
10
10
19
13
13
13
14
3
0
7
18
3
3
7
6
6
10
3
0
2
6
0
6
4
3
3
3
3
3
3
8
13
3
7
19
13
3
13
15
0
3
10
13
13
11
9
13
18
9
4
3
13
5
7
6
18
18
13
4
8
6
15
3
5
3
13
4
3
6
2
3
13
10
4
11
10
13
13
8
13
13
3
13
13
4
6
3
5
3
6
2
5
3
6
3
4
6
7
6
3
10
3
3
3
10
4
5
2
0
15
17
0
0
12
7
15
4
10
13
13
0
12
20
13
3
6
4
9
13
3
5
18
0
15
3
14
4
3
3
4
6
13
3
18
0
6
5
13
0
3
3
15
6
3
13
13
4
19
3
13
15
3
3
10
3
12
20
13
5
10
6
7
7
3
0
13
10
2
11
4
13
6
3
13
0
13
7
2
0
3
13
3
20
6
4
13
4
0
10
0
4
3
18
13
11
10
12
6
4
13
14
13
4
3
13
4
13
4
3
0
11
3
6
3
3
13
0
6
6
5
0
6
14
13
5
15
3
4
3
13
4
0
0
0
4
0
0
4
13
4
3
6
13
8
3
12
10
18
15
0
3
18
7
6
13
8
4
0
10
10
3
6
4
0
13
0
7
9
13
13
15
13
3
6
10
4
3
3
3
13
0
7
0
13
4
3
13
3
13
3
8
13
13
3
4
3
9
13
13
3
6
13
6
7
0
3
0
4
0
5
3
12
3
13
3
5
15
6
3
3
13
3
6
3
6
0
7
3
5
3
5
3
10
3
7
18
3
3
3
0
11
4
18
14
3
4
6
0
5
3
3
3
13
13
4
6
0
0
0
2
0
6
3
8
4
3
2
10
4
10
3
4
6
4
0
18
3
15
3
20
10
11
3
10
7
15
12
3
3
3
0
15
0
0
5
3
3
15
15
13
0
20
3
6
4
10
10
13
3
7
11
0
20
4
13
4
0
4
0
3
6
13
3
0
6
13
10
0
12
18
15
13
13
6
4
3
6
4
0
4
10
19
4
13
17
0
0
13
7
4
6
3
3
13
3
13
3
4
3
7
3
3
13
13
12
9
6
5
0
13
4
5
0
3
3
4
0
4
3
3
13
13
2
3
0
0
4
3
3
12
15
3
4
10
20
0
13
3
13
3
20
3
3
0
7
4
3
10
13
4
13
5
4
4
10
7
15
6
18
0
0
3
3
6
6
13
13
0
13
3
10
10
4
20
4
19
0
13
13
13
3
6
3
18
3
13
6
6
13
6
3
3
3
5
4
2
13
6
4
0
3
6
7
6
3
20
3
3
0
0
3
13
6
4
13
13
3
3
8
4
6
3
3
6
10
0
3
0
6
3
10
9
4
13
19
0
4
10
3
4
13
4
8
0
6
6
3
3
20
6
13
2
0
4
13
7
2
3
13
12
3
3
2
4
15
13
3
0
12
3
6
4
10
2
13
3
3
0
0
6
12
7
0
5
0
3
10
13
13
20
13
13
12
4
7
3
6
3
3
15
13
3
11
4
4
13
3
13
5
13
6
16
4
4
3
4
13
0
5
12
12
2
3
3
18
10
13
13
15
6
20
10
9
3
20
4
4
3
3
6
4
6
6
11
4
0
15
7
3
0
4
13
13
7
13
3
15
3
3
0
12
13
13
10
6
18
3
3
3
15
6
20
6
10
7
3
13
19
12
4
13
6
2
13
0
7
6
14
6
5
10
13
6
2
0
0
3
3
6
6
0
3
0
10
15
18
6
0
3
3
12
20
9
6
13
6
6
3
7
13
3
0
7
3
11
4
0
0
0
13
15
13
4
4
4
13
6
3
9
6
12
3
7
3
13
3
10
13
0
18
5
3
4
13
13
9
2
13
18
3
3
15
4
13
3
3
6
3
13
9
0
6
12
3
3
13
19
4
13
4
0
18
4
3
6
9
3
13
12
6
10
0
18
13
3
13
0
3
6
4
3
3
3
4
5
3
15
6
13
13
13
3
15
0
6
4
13
13
5
13
13
4
13
12
13
3
13
12
0
4
3
4
6
3
3
6
3
12
3
12
0
0
0
15
0
4
13
6
0
3
18
0
20
3
6
2
13
3
13
6
4
11
10
12
3
3
13
3
13
13
6
3
3
6
10
6
2
20
3
0
3
6
4
6
3
3
11
4
12
5
10
14
0
4
5
3
20
6
11
0
13
6
14
3
3
3
15
13
0
0
13
0
6
13
0
4
13
18
3
4
0
15
13
18
3
0
13
3
5
11
3
14
0
2
18
20
7
0
7
10
3
3
3
10
6
0
13
5
6
3
3
13
11
18
13
4
3
13
3
6
3
4
3
2
3
17
3
2
3
10
10
0
11
0
3
3
3
4
10
13
10
9
4
6
11
2
2
10
13
6
9
18
0
0
18
3
6
9
7
6
13
13
3
3
10
0
5
3
3
0
7
2
3
2
6
7
8
3
14
6
12
3
3
11
0
0
6
10
8
5
0
4
10
2
4
12
3
15
3
6
5
4
12
0
4
7
4
4
0
12
7
13
11
0
4
13
6
3
2
3
3
0
0
4
14
4
3
9
3
14
19
9
13
3
13
4
3
13
11
8
3
4
6
3
0
6
3
3
17
13
6
11
13
3
13
3
7
6
3
6
13
3
3
7
15
3
13
2
4
6
13
3
3
14
3
3
0
9
12
10
20
3
10
6
10
3
3
3
4
13
3
4
3
6
3
6
2
10
0
3
6
3
10
20
13
3
13
6
4
6
15
3
3
3
4
2
0
0
6
10
2
2
9
10
17
4
13
4
12
12
0
5
6
3
6
7
15
9
20
4
3
6
3
13
3
13
10
6
11
12
3
3
4
2
4
5
3
9
5
18
3
3
13
3
0
3
3
7
3
6
5
0
12
13
6
10
4
6
4
0
13
12
11
15
0
0
3
0
4
14
10
6
18
7
13
0
0
0
3
6
11
3
4
11
4
20
3
6
13
3
3
4
19
13
0
11
13
0
4
0
0
10
17
6
0
3
4
6
6
3
13
0
10
0
13
5
5
18
4
0
11
13
5
13
15
6
13
3
6
15
3
4
3
3
19
3
3
13
0
20
3
13
6
12
3
20
13
3
13
10
15
3
3
13
4
3
3
0
13
4
6
13
3
3
3
4
3
3
2
13
4
11
3
4
4
10
20
6
20
0
0
4
12
18
13
7
3
20
6
12
13
10
13
11
3
6
3
15
0
13
7
3
12
20
11
3
11
10
3
6
13
15
13
11
0
0
13
7
11
4
3
0
3
0
5
13
19
15
13
4
3
13
3
6
4
6
13
4
7
6
13
15
19
12
4
13
4
4
19
20
13
6
4
6
8
15
14
4
3
7
10
0
0
20
4
13
13
4
20
0
20
3
6
12
13
10
18
2
4
3
7
10
3
0
13
4
3
0
6
3
3
3
10
18
20
3
6
4
6
3
0
18
6
0
3
10
13
0
0
2
4
3
3
4
13
15
3
3
19
20
10
12
3
12
3
3
6
4
6
11
15
3
3
10
13
3
13
13
4
8
8
6
3
4
13
11
10
5
12
13
10
11
3
3
7
4
3
4
6
10
19
10
15
3
4
3
13
13
3
13
7
3
6
13
6
6
6
19
5
0
11
13
5
15
3
3
3
0
0
13
18
13
6
13
12
6
7
4
4
4
3
13
15
0
13
0
13
13
3
0
19
7
12
3
6
6
6
15
13
4
4
11
0
20
7
6
2
12
3
13
13
10
4
3
2
5
8
0
3
3
0
15
3
4
18
12
3
10
0
7
4
0
3
3
5
0
6
19
4
6
4
4
13
3
3
18
15
3
7
10
5
3
3
13
6
19
13
7
0
6
13
2
7
4
13
0
3
0
4
3
3
3
3
0
4
13
19
3
13
4
4
3
10
6
4
10
5
5
3
0
5
6
0
4
6
6
3
20
10
3
5
15
0
3
6
6
13
3
0
6
4
9
3
3
11
14
3
10
4
7
18
13
0
4
4
13
10
4
10
3
13
19
6
3
4
7
8
0
13
3
4
14
6
10
12
13
7
20
3
3
3
3
3
13
8
13
10
20
13
6
5
6
0
2
4
3
3
6
2
4
3
4
6
6
4
3
3
18
0
13
3
3
3
14
3
4
12
3
7
0
3
3
7
11
3
3
7
7
10
3
19
13
20
3
0
2
4
13
15
3
3
3
0
3
6
8
3
15
4
4
3
3
13
5
13
13
0
0
3
0
3
13
17
3
18
18
6
0
6
13
3
18
3
11
14
13
13
13
4
3
5
13
3
3
18
15
4
14
4
15
0
13
6
6
13
11
12
3
15
4
13
3
17
13
13
0
3
3
10
3
3
6
0
12
0
5
3
3
10
0
13
4
20
3
3
20
0
6
0
18
3
16
13
0
10
8
13
10
11
3
9
6
3
6
11
3
3
13
13
3
3
19
3
3
13
4
13
20
11
7
13
13
6
3
13
3
3
0
6
12
0
8
6
3
4
3
3
4
15
13
6
6
8
13
13
3
0
6
3
12
3
3
0
0
13
3
3
4
3
12
15
5
3
3
3
0
3
4
3
10
10
7
0
13
11
18
0
3
3
19
3
0
3
13
3
6
6
5
3
5
8
4
0
7
15
13
2
3
17
6
20
13
0
6
0
3
3
3
6
10
3
3
6
9
6
3
4
6
13
6
5
6
14
13
4
13
9
20
0
3
3
3
3
13
11
10
13
6
13
0
6
6
3
3
0
13
0
4
0
6
13
0
3
12
10
3
3
3
0
5
11
6
3
6
10
4
6
3
3
4
3
7
13
0
3
18
8
13
0
6
13
15
6
3
12
13
6
13
13
3
3
3
4
3
15
4
14
0
6
15
4
0
3
6
11
0
3
3
6
6
6
12
3
4
7
13
13
3
6
0
6
13
6
13
15
0
0
13
4
3
0
13
3
4
13
6
6
0
3
10
4
4
13
13
15
20
0
3
3
3
0
20
11
13
3
0
4
0
6
13
6
15
4
3
12
13
15
18
13
12
3
4
4
6
3
0
13
13
0
13
3
18
10
3
8
13
0
0
13
11
3
6
2
3
3
13
18
6
3
3
19
10
7
3
13
6
4
4
6
6
0
13
7
3
3
0
3
3
3
7
5
4
3
3
3
2
4
3
0
3
18
13
4
4
3
6
3
7
4
0
3
12
0
13
6
0
6
5
13
13
14
12
6
3
0
4
4
20
13
10
3
0
4
3
7
13
0
3
4
13
3
6
13
6
0
18
10
13
0
6
15
7
7
13
4
3
6
0
0
10
20
13
10
3
3
5
12
3
3
0
3
0
13
0
13
7
4
13
3
2
13
4
14
3
3
10
4
0
7
6
4
12
13
6
13
6
0
4
0
13
0
3
6
13
6
0
4
3
3
3
13
15
14
19
13
9
12
12
4
3
8
2
5
6
4
2
6
13
10
18
3
10
10
0
3
19
13
3
7
6
13
3
3
4
3
3
4
3
3
13
10
5
3
4
0
7
6
4
0
0
15
3
8
4
10
9
13
3
13
3
4
4
4
7
5
14
0
13
0
12
4
3
0
12
3
3
3
18
3
3
0
2
0
15
3
3
0
3
3
15
0
13
3
3
0
5
11
13
3
3
7
3
4
11
6
3
3
13
6
3
0
10
4
3
0
0
4
18
13
6
3
3
6
18
3
5
13
3
17
10
6
13
18
3
3
0
7
4
11
6
15
3
7
13
19
0
15
3
6
3
12
4
13
3
3
0
0
12
5
3
14
6
15
3
0
3
4
13
3
6
4
9
4
10
3
3
3
20
0
4
6
3
3
12
10
13
6
13
7
4
3
2
3
0
13
0
3
13
3
6
13
6
3
10
6
12
15
5
7
3
13
19
0
4
10
3
0
4
3
4
20
13
19
3
0
7
18
3
6
3
0
4
13
13
0
9
6
15
0
4
8
3
3
13
7
15
3
19
6
6
3
6
6
6
20
13
13
3
4
3
3
19
3
3
17
3
10
13
4
20
0
4
0
13
5
6
0
4
13
3
6
13
6
0
6
3
0
0
11
3
13
13
13
6
8
13
10
0
3
15
3
3
6
11
0
3
3
0
14
6
6
3
3
0
3
13
8
6
6
4
0
3
13
4
7
4
3
3
13
3
3
13
4
7
4
3
3
2
13
13
18
0
2
15
5
0
6
11
11
0
3
15
13
13
13
3
15
13
12
6
13
6
18
4
0
3
6
11
12
0
11
0
4
3
7
4
3
4
0
4
15
4
3
13
4
2
4
0
5
4
3
14
3
3
11
4
3
13
13
19
7
0
0
20
13
0
0
6
3
0
4
3
4
2
4
18
6
12
4
4
6
13
3
6
13
19
6
3
3
4
3
7
18
13
3
5
3
0
3
13
4
0
15
2
13
3
13
13
4
18
6
0
3
15
0
15
0
10
13
2
2
10
0
3
13
0
3
11
3
0
3
13
10
0
4
7
7
6
0
13
0
3
3
0
10
13
3
6
10
4
0
4
3
3
3
20
0
13
0
0
13
20
10
4
0
6
13
4
13
13
0
19
9
13
4
10
13
4
0
4
0
9
13
3
4
6
13
12
0
4
5
0
3
3
4
3
4
4
3
6
4
2
6
4
4
13
10
20
0
4
3
0
13
0
4
3
13
3
3
13
3
12
0
7
0
11
13
20
15
3
3
15
7
12
18
4
4
15
13
3
0
10
6
3
4
4
0
15
18
15
3
20
3
9
3
4
3
10
6
0
3
3
3
18
13
7
6
18
0
12
13
3
3
3
4
4
3
15
10
4
13
0
6
6
6
6
15
13
9
13
12
3
3
13
13
13
12
13
13
6
3
3
12
13
3
6
15
0
13
3
4
13
3
0
6
10
3
5
10
7
4
8
3
0
6
12
7
4
7
18
4
3
7
3
4
3
10
6
4
13
3
13
3
3
4
3
3
0
0
3
0
0
2
0
3
4
3
11
10
20
3
4
0
15
0
6
13
15
10
4
11
6
0
3
3
3
3
2
4
0
10
13
3
20
17
4
3
3
3
0
12
4
15
3
4
12
0
4
15
0
3
13
13
0
3
6
3
6
0
3
4
0
10
11
15
7
17
13
3
0
6
3
0
13
3
2
6
6
2
0
5
4
6
4
10
13
4
6
7
13
6
0
3
4
3
7
3
3
19
3
15
0
3
15
10
13
12
19
0
13
13
0
4
0
6
4
4
4
5
3
12
0
3
12
15
15
4
3
18
4
6
0
3
13
4
0
13
13
13
0
6
9
4
12
3
4
2
19
6
10
13
3
0
3
0
9
17
0
4
4
0
11
0
7
4
10
3
10
0
18
6
0
3
0
4
4
3
3
11
20
20
4
3
3
10
15
3
4
4
6
5
8
0
6
9
0
15
6
13
3
18
2
3
11
6
3
14
4
13
3
3
3
4
3
4
13
13
18
6
6
10
13
3
3
14
4
15
5
0
5
10
4
20
13
19
3
0
3
3
10
0
3
3
13
6
13
5
3
15
3
6
3
7
10
10
6
10
13
3
10
10
3
13
3
3
3
10
10
15
13
0
20
6
3
12
13
3
10
3
13
4
0
13
6
3
13
6
6
7
8
0
0
18
5
13
3
18
12
4
3
13
6
10
6
6
3
3
13
12
3
11
4
15
13
0
0
3
13
0
8
9
10
3
3
12
13
2
12
0
3
20
4
10
4
19
13
0
7
0
0
7
4
20
12
7
5
4
3
2
13
13
0
13
3
15
3
3
15
20
12
3
10
0
13
3
7
15
0
0
5
4
5
13
3
12
3
2
0
6
0
10
4
3
6
9
5
6
0
13
20
4
11
10
10
3
6
6
6
11
3
6
3
15
13
6
4
13
3
19
0
4
4
5
3
3
2
3
3
0
12
19
6
6
13
6
12
0
18
13
7
3
10
3
11
6
5
13
15
18
13
6
9
4
6
0
9
5
3
4
3
3
19
3
0
20
3
13
13
6
15
10
6
7
3
0
3
0
0
7
6
3
3
7
4
10
3
3
0
13
0
3
0
0
12
6
20
4
13
12
4
8
3
0
4
0
3
6
6
12
4
3
3
4
17
3
6
10
0
3
3
3
18
0
6
13
3
10
0
6
6
13
13
11
4
3
13
13
3
4
3
10
15
11
0
0
10
13
13
3
4
10
0
3
18
12
13
15
3
0
3
3
11
20
13
11
3
4
13
13
13
2
3
13
6
6
4
6
10
15
3
18
7
0
3
15
3
7
5
19
4
6
3
6
6
0
0
6
4
13
4
3
6
3
10
10
4
10
3
13
3
3
6
13
3
3
8
0
6
4
0
4
3
6
6
14
6
0
4
3
3
9
3
3
20
5
7
3
7
3
11
4
0
4
3
4
0
3
15
0
0
3
13
13
13
13
3
3
3
13
4
19
4
0
19
15
3
0
3
13
4
6
3
4
15
4
3
3
3
13
10
13
20
13
6
3
0
3
4
3
9
0
3
3
10
10
4
6
7
3
3
12
3
10
4
0
12
3
0
4
3
13
18
0
12
8
3
10
6
6
15
0
7
5
5
3
13
13
3
6
0
3
13
5
13
7
13
0
6
3
18
11
10
6
11
7
4
0
0
0
0
4
13
18
13
10
0
3
3
3
6
13
4
0
3
10
0
6
4
3
3
4
3
3
6
10
9
18
4
0
18
0
3
0
6
0
11
3
3
4
6
6
13
13
10
3
6
10
6
6
3
13
5
7
4
7
3
0
3
5
0
13
17
0
7
6
9
13
6
0
7
3
2
15
15
13
3
4
0
12
13
4
11
18
6
0
12
13
14
15
3
3
13
0
13
3
4
6
3
3
13
3
10
20
0
3
10
13
3
4
18
6
5
13
4
13
11
3
13
13
4
4
3
7
12
2
13
6
0
6
12
3
0
4
6
3
3
3
3
3
13
10
11
0
3
3
2
10
3
3
3
13
15
12
6
3
0
5
4
3
10
3
6
6
6
6
2
4
4
3
10
3
3
5
4
0
15
12
3
12
13
0
4
11
0
20
3
4
13
13
10
10
3
3
3
3
3
3
19
13
8
4
0
12
10
4
6
0
0
5
3
18
19
15
3
3
6
15
3
18
3
12
0
6
0
4
13
3
18
13
8
3
7
3
15
3
3
10
3
4
13
15
6
13
2
3
13
3
3
3
3
0
3
3
3
20
11
6
5
3
0
7
13
6
9
7
6
3
0
2
10
13
14
3
13
3
3
15
3
13
13
3
3
13
13
13
3
11
12
13
15
13
18
13
3
10
15
0
4
18
15
3
19
4
4
19
3
13
4
9
7
2
0
6
4
15
7
4
13
11
6
3
0
6
0
3
12
3
6
0
5
3
15
0
6
13
10
12
3
4
0
2
3
6
0
13
6
12
3
13
6
20
3
5
3
5
3
3
11
3
3
3
15
17
3
6
6
19
13
4
0
0
11
3
10
0
0
4
13
13
10
3
18
11
13
6
3
10
4
13
4
13
9
4
3
4
0
3
0
12
3
0
12
0
20
4
3
4
10
10
18
0
7
3
18
6
4
3
0
7
13
4
10
7
15
3
3
6
15
10
8
0
6
0
19
13
7
15
6
5
0
5
10
10
3
4
3
0
10
6
3
6
3
12
19
7
13
3
5
12
10
0
0
10
20
4
10
3
6
3
4
0
0
7
3
0
13
11
3
3
4
15
19
3
3
4
0
7
13
4
3
0
6
8
4
13
10
6
3
7
10
7
4
3
3
4
6
7
3
20
12
12
3
3
18
12
4
3
3
3
12
3
7
0
3
6
3
17
6
7
18
3
4
3
0
6
4
11
3
3
3
0
15
3
4
5
6
3
7
5
4
6
0
4
0
7
13
2
12
5
0
0
5
9
12
6
19
2
13
6
0
8
0
13
0
15
3
4
13
0
7
6
0
7
3
3
12
0
3
0
3
0
0
13
10
17
13
3
4
7
4
0
12
4
6
13
2
15
3
12
11
0
10
3
3
6
6
3
11
0
5
5
4
15
0
3
3
0
4
10
13
14
4
12
18
3
3
13
12
3
3
13
0
3
0
4
4
3
13
3
3
13
6
0
0
3
18
6
20
12
4
3
15
7
3
20
7
13
3
3
19
13
2
3
12
7
3
7
5
10
11
4
2
19
2
3
4
10
0
3
3
4
12
6
3
4
0
5
6
11
18
12
3
3
5
4
13
3
3
2
3
4
4
4
3
0
4
6
4
3
10
3
13
4
12
20
13
9
13
6
3
0
15
0
6
3
10
15
7
13
3
0
5
10
6
0
10
13
20
4
6
3
11
3
4
18
15
10
9
3
13
20
15
3
0
20
0
4
4
4
0
3
3
13
6
4
2
3
7
13
3
2
5
19
6
3
4
4
6
10
18
0
13
0
0
11
3
7
10
11
5
4
3
6
15
0
0
3
13
12
6
6
0
3
13
3
3
13
6
3
7
3
13
4
4
20
3
0
3
3
13
15
3
12
13
3
4
11
8
13
3
12
6
0
6
3
13
3
3
12
10
4
4
0
3
11
13
10
15
5
4
3
2
10
6
14
3
13
3
4
3
0
4
4
11
4
3
18
7
0
6
9
19
13
0
6
4
14
13
13
3
4
4
4
3
3
13
4
3
6
20
3
12
11
15
5
13
3
3
4
13
3
10
6
0
6
4
6
0
15
6
13
3
8
3
7
6
13
0
4
10
3
18
0
4
10
13
0
3
0
3
18
6
15
13
3
3
3
0
0
10
13
4
6
7
3
5
13
6
6
10
3
4
13
9
10
0
3
3
2
3
15
6
3
5
4
13
3
3
6
15
3
10
2
0
0
6
6
6
0
3
11
0
12
13
3
3
3
0
4
2
5
0
9
4
13
3
6
3
19
6
3
0
6
3
13
0
4
0
3
3
3
13
4
3
3
3
3
13
13
4
0
13
15
3
3
19
3
3
4
0
13
7
10
4
13
3
4
15
13
15
4
20
13
0
19
15
5
6
3
17
3
3
0
11
7
13
20
19
0
0
3
3
15
14
7
14
13
3
13
6
3
3
6
10
4
4
0
6
3
12
9
4
0
9
13
3
10
4
0
3
10
11
11
3
0
6
13
3
3
10
6
13
3
15
10
7
0
4
12
13
0
0
3
13
0
18
6
3
13
15
0
7
4
3
3
10
7
13
3
3
3
7
6
6
20
5
3
3
2
4
13
0
12
6
3
4
17
3
3
11
15
12
7
4
4
3
4
0
5
0
0
0
13
4
13
15
3
6
7
6
6
13
6
0
13
10
6
3
12
11
0
3
10
3
3
3
18
13
4
6
10
18
14
13
3
15
3
3
11
10
9
0
3
15
3
20
4
13
11
0
13
19
3
4
13
17
12
6
0
11
13
13
13
5
0
18
13
7
3
3
5
20
0
6
15
9
10
18
4
13
3
4
11
3
18
4
6
5
7
13
3
0
3
13
15
5
6
6
13
10
6
12
6
0
13
3
3
4
3
9
3
13
7
7
0
9
4
13
15
3
12
10
0
3
17
3
4
19
13
4
3
3
3
6
6
4
0
0
4
15
13
10
9
15
4
5
4
12
10
6
3
2
18
7
3
0
10
3
13
6
10
6
4
5
3
3
3
4
2
0
13
3
15
6
10
0
10
3
3
6
18
5
0
3
3
6
3
13
0
0
13
6
15
13
18
12
13
9
7
0
3
15
12
3
10
4
13
5
0
3
6
15
3
10
3
0
3
20
9
3
3
3
3
5
3
2
4
18
13
0
2
3
4
11
9
3
3
10
3
13
3
0
13
13
17
10
3
6
3
3
20
5
13
10
6
3
13
9
6
13
13
3
5
13
6
5
8
6
13
18
13
19
8
3
13
4
13
3
6
3
13
3
3
13
4
4
4
18
13
13
15
7
18
12
3
3
0
6
13
3
14
5
7
0
6
13
0
3
13
15
4
9
3
12
10
3
4
18
2
6
3
10
3
13
0
19
0
13
6
12
2
0
3
13
0
13
3
3
6
4
13
13
0
12
10
7
13
20
13
3
14
10
5
18
3
5
13
3
3
3
3
3
0
15
13
7
11
13
10
6
19
0
13
17
3
19
5
4
3
4
13
3
3
3
15
4
13
5
3
6
8
6
6
4
3
0
3
3
6
8
5
3
2
12
3
0
3
9
9
10
15
0
11
6
3
10
3
0
4
0
7
5
6
12
15
18
3
3
15
3
12
3
5
13
9
2
0
13
10
13
4
12
4
3
13
0
0
13
19
3
3
4
20
6
4
0
13
7
4
3
3
20
0
3
4
0
20
9
5
2
6
4
4
15
3
15
3
18
4
3
2
7
3
0
15
3
7
2
10
3
0
4
0
10
2
7
10
11
13
7
6
8
15
15
3
13
11
3
7
3
10
6
3
13
13
0
6
10
4
4
6
20
14
2
10
13
13
4
0
10
3
3
18
10
6
2
3
20
4
3
3
0
3
13
20
4
4
3
0
13
15
3
15
15
4
3
13
4
13
6
0
10
3
6
20
0
3
2
4
10
3
3
0
6
3
3
9
3
13
3
3
3
6
10
4
3
0
3
18
13
4
13
3
12
13
13
13
13
0
5
3
3
19
13
3
11
13
9
6
0
4
5
6
18
3
0
15
10
18
0
12
19
3
4
18
2
13
5
3
19
3
6
18
6
0
3
6
0
0
6
4
5
3
15
19
4
12
3
13
6
4
6
0
0
3
13
0
11
3
3
3
4
4
3
6
15
6
15
0
15
3
4
10
7
4
3
5
13
13
4
6
4
13
0
0
7
3
13
13
13
3
15
0
3
13
0
13
4
3
0
3
0
3
10
5
13
15
6
3
3
0
3
0
0
3
13
3
5
10
3
13
3
13
20
0
11
5
7
20
13
13
3
6
3
6
13
3
6
6
0
3
7
0
9
18
4
13
7
0
0
11
4
3
0
13
12
4
20
0
3
4
4
6
3
3
3
6
6
3
4
7
19
15
13
13
18
9
10
4
0
0
6
6
7
11
3
13
3
0
0
3
3
13
3
0
4
3
15
6
10
3
0
10
3
0
3
3
3
3
0
3
13
3
12
6
10
18
10
20
6
3
10
8
10
13
4
2
2
13
3
3
4
4
3
7
3
13
3
19
5
13
0
6
10
6
4
6
13
17
3
4
7
10
12
7
3
13
10
17
3
19
3
6
13
3
13
6
4
0
18
10
6
13
3
5
3
10
13
11
15
9
10
0
3
3
3
3
13
0
0
3
13
3
3
3
12
10
3
8
13
13
2
10
0
3
0
7
3
0
7
3
13
12
6
4
4
13
13
3
10
6
3
4
4
4
19
15
15
3
15
3
13
12
3
12
6
13
13
2
0
3
10
13
13
11
9
3
0
13
4
13
4
3
3
18
13
13
7
4
12
3
3
11
7
3
13
15
13
0
13
4
13
13
4
6
5
13
3
13
0
6
13
5
10
3
14
5
15
0
3
6
3
6
3
6
17
6
10
12
0
4
10
4
18
13
13
13
9
4
13
4
3
0
10
0
6
19
14
0
6
3
2
3
6
0
3
4
0
3
13
3
0
6
12
13
0
19
12
0
4
11
13
3
3
4
3
14
4
6
3
3
8
13
13
3
2
3
3
10
10
3
6
15
13
3
12
6
6
13
15
0
3
3
2
3
0
11
10
6
4
14
15
18
0
2
4
15
4
3
4
3
8
3
6
3
0
13
2
17
3
4
15
19
15
3
6
3
12
0
11
13
3
3
3
3
0
4
3
7
11
10
10
13
3
7
5
18
10
0
0
10
3
3
19
3
4
10
3
15
13
13
4
6
3
3
11
4
19
19
11
3
3
15
7
13
6
6
7
13
10
0
6
0
3
4
4
13
6
4
3
15
7
13
6
3
6
4
3
13
0
13
7
10
3
5
13
13
3
3
3
8
13
15
0
9
5
4
10
11
4
15
12
2
0
13
3
13
10
6
10
13
10
13
17
6
20
13
18
13
3
13
5
3
3
3
13
3
3
13
3
14
6
0
0
5
0
3
4
13
13
12
0
4
3
0
3
0
10
20
3
14
3
13
0
10
3
12
3
13
13
13
4
13
4
7
3
13
3
3
2
4
4
7
6
0
0
3
13
3
3
0
3
4
3
13
7
13
0
13
7
11
6
0
3
20
11
0
18
3
13
2
0
13
7
15
2
3
0
12
4
15
5
6
20
13
13
0
13
0
6
15
4
18
20
13
3
13
15
3
6
0
4
4
7
4
0
3
3
13
10
10
8
3
15
0
3
10
3
13
0
6
4
6
12
3
4
10
4
2
13
18
3
7
4
13
0
0
3
2
3
6
7
13
0
13
13
0
3
3
10
4
10
18
11
4
3
13
13
6
0
17
13
7
6
13
0
3
4
13
4
0
3
4
13
0
11
19
6
4
18
3
13
0
6
3
0
3
15
3
13
3
4
13
2
0
3
0
3
3
19
5
9
15
6
3
3
13
4
3
20
4
13
4
13
7
3
12
9
4
7
4
6
12
3
3
3
13
6
5
10
11
4
6
20
14
0
4
4
3
6
3
14
2
4
0
6
12
4
15
3
18
3
6
5
18
13
3
3
3
13
20
3
4
4
3
6
4
20
3
13
3
13
1
3
13
4
0
4
6
3
10
13
13
6
6
13
6
4
3
0
3
10
2
3
0
20
0
13
0
13
3
6
3
3
10
15
10
13
6
3
4
15
3
0
3
3
13
10
13
3
18
0
0
13
15
4
11
4
3
7
0
6
5
4
0
0
6
12
13
3
6
6
18
0
3
4
13
3
9
3
3
4
3
12
13
15
6
4
13
13
20
0
6
6
3
3
0
3
4
9
13
13
0
5
15
3
0
14
4
4
7
12
0
3
4
13
0
13
0
13
4
10
3
13
13
10
20
19
10
19
0
3
3
13
2
12
12
20
7
15
3
19
18
6
0
4
5
0
13
10
3
4
11
3
11
4
3
6
20
18
4
13
3
7
4
3
4
19
4
13
15
0
13
14
3
3
4
6
7
0
4
4
5
6
0
4
4
13
10
3
3
11
0
6
0
3
3
6
10
13
3
4
0
3
0
0
0
0
3
9
12
15
20
4
3
7
3
0
5
3
3
12
20
7
6
12
7
18
3
7
3
10
8
13
20
6
14
4
3
0
3
0
4
4
13
4
3
3
7
4
4
4
4
3
13
13
18
0
15
4
6
4
1
10
4
3
13
0
8
15
0
4
4
3
6
4
10
6
3
6
6
4
4
7
4
20
2
4
0
6
13
3
3
7
0
3
15
13
3
3
3
4
0
6
3
13
15
3
13
3
0
3
13
3
10
3
6
0
13
15
3
3
10
4
4
4
7
4
3
6
12
13
12
6
13
13
19
13
10
18
3
7
4
4
4
4
3
4
13
10
3
4
3
3
4
3
0
0
3
13
0
3
18
7
13
12
3
3
3
0
12
3
6
0
3
3
4
0
0
0
0
0
3
3
4
4
13
3
0
0
3
3
0
6
10
17
4
2
0
3
13
3
3
0
18
4
7
0
3
10
3
3
12
6
0
17
3
5
15
13
6
7
4
4
4
16
3
7
0
7
20
0
0
0
4
4
3
13
3
3
4
5
6
12
4
7
12
13
0
13
13
13
15
3
3
4
3
4
0
0
3
0
10
11
5
6
15
6
3
8
12
18
10
2
10
10
0
13
19
3
13
3
3
13
0
20
4
10
2
6
10
0
11
0
13
12
0
3
19
4
5
15
4
3
0
4
19
0
20
4
4
13
18
13
2
3
4
2
3
13
3
3
3
0
15
20
3
13
3
4
3
13
3
13
13
11
3
6
4
9
6
0
2
3
7
4
3
3
9
3
4
4
3
6
13
0
0
0
10
13
19
6
3
3
10
3
13
4
6
4
4
3
15
5
4
2
4
10
4
2
18
13
12
13
4
5
3
2
4
14
13
6
7
12
3
0
13
6
18
3
4
14
7
3
0
7
6
15
0
3
19
2
3
10
3
3
3
0
3
6
3
0
14
18
4
18
3
13
13
5
2
13
0
0
0
0
6
13
4
3
3
13
11
9
7
15
20
0
12
3
10
4
0
5
2
0
19
20
3
4
18
7
10
13
7
7
0
7
6
3
13
3
4
3
13
10
4
3
9
6
3
0
13
3
20
6
2
7
12
4
20
8
6
4
12
4
15
15
14
13
0
3
0
0
0
3
6
4
3
11
12
18
15
3
5
3
13
18
3
3
2
10
12
4
8
3
2
13
6
4
6
0
3
13
13
18
4
4
3
7
2
19
3
6
7
15
11
13
5
11
4
3
7
13
6
3
4
4
4
14
15
9
3
11
20
6
0
5
3
6
15
9
15
5
3
10
3
3
5
15
7
13
4
3
7
4
6
0
10
12
6
6
10
4
3
19
3
4
4
3
0
13
13
6
0
4
3
4
3
13
4
19
3
3
3
4
6
3
4
3
3
0
13
13
10
3
14
13
13
11
9
15
15
3
10
0
6
0
5
0
13
6
9
4
3
3
0
0
20
10
3
4
5
6
6
4
19
3
3
13
6
0
10
13
13
4
10
4
3
5
4
3
4
15
9
13
12
11
6
15
3
4
10
4
3
0
13
4
5
4
0
13
13
4
3
4
15
6
6
8
4
13
18
0
18
13
3
3
13
12
4
4
6
6
3
9
0
3
13
3
4
4
4
3
11
9
4
15
13
15
0
0
6
4
0
18
5
3
17
2
4
6
10
3
3
13
3
2
0
0
2
4
3
2
7
3
5
3
13
0
3
6
13
13
9
15
4
3
7
0
0
13
0
6
12
3
4
3
13
13
0
6
18
3
0
3
4
13
3
0
13
6
13
13
3
4
4
13
10
3
6
3
3
3
6
6
0
13
4
6
0
3
3
0
3
6
3
13
13
15
4
3
3
6
13
5
4
4
0
11
12
4
3
6
6
3
13
13
5
7
6
4
3
11
19
13
15
3
13
3
11
12
15
4
4
6
3
13
3
13
6
5
3
6
4
3
3
7
6
13
13
3
0
10
6
0
2
0
0
10
0
13
0
6
4
14
7
13
9
0
15
0
4
13
6
6
4
19
3
13
4
2
3
18
14
6
3
6
18
4
13
6
10
3
6
0
5
6
13
2
18
2
20
3
3
11
5
19
6
4
13
3
4
4
0
15
13
13
5
3
13
13
3
3
6
20
6
7
7
0
3
3
4
11
4
3
6
4
5
6
4
13
0
0
13
7
4
7
3
6
0
7
13
0
3
3
4
10
6
4
0
6
13
0
13
9
13
6
13
10
6
6
13
0
0
5
12
10
9
3
6
0
9
10
4
12
11
13
13
20
13
3
0
0
4
4
0
4
10
4
13
3
3
4
6
13
10
0
3
6
4
15
4
3
13
3
3
13
9
4
4
4
12
13
13
3
0
3
15
3
11
10
11
11
0
18
2
8
3
10
13
13
3
6
6
15
14
0
4
3
9
3
0
13
4
9
2
7
13
0
3
10
3
13
6
18
13
4
3
3
18
13
10
0
3
3
4
3
0
3
4
3
4
13
13
6
0
14
4
6
12
3
3
15
13
19
19
3
20
3
4
4
3
6
13
15
5
8
13
13
10
0
19
12
6
4
6
4
13
0
0
3
7
12
6
6
3
13
10
4
18
6
20
10
0
15
13
6
20
3
13
2
10
12
6
0
11
4
3
4
3
6
4
20
6
7
4
13
3
4
3
20
3
11
15
6
3
3
3
18
13
10
13
6
6
5
7
13
3
8
3
13
13
7
13
3
4
10
0
3
0
12
6
4
11
3
13
13
3
3
6
0
3
6
0
3
6
11
18
3
4
3
2
11
0
3
4
3
6
4
3
6
3
15
3
11
9
0
3
2
4
15
13
10
3
3
0
4
3
4
2
19
4
15
3
20
0
3
4
0
3
4
6
3
17
0
9
4
5
3
13
13
3
13
4
3
3
20
3
13
7
18
13
2
13
0
3
0
3
3
0
13
0
4
18
3
15
4
11
3
6
6
3
3
3
0
13
0
0
8
13
3
13
7
13
6
3
0
10
6
3
3
4
13
9
0
3
0
6
18
13
0
9
10
3
3
7
6
13
0
4
6
10
6
4
2
13
13
19
4
6
13
11
13
11
2
13
5
3
4
0
11
19
6
13
6
15
7
19
6
18
12
3
0
6
4
13
3
3
4
10
3
12
3
3
4
0
3
0
0
6
3
0
3
4
3
3
4
0
3
0
3
3
4
13
0
10
6
13
13
4
4
0
3
12
3
11
2
3
6
0
20
3
6
15
6
19
4
0
13
6
7
0
15
0
3
3
6
15
3
13
6
3
6
6
13
4
4
3
10
17
9
3
6
0
19
19
0
0
6
4
10
3
15
6
7
11
3
3
15
10
10
13
3
12
3
18
0
11
15
4
11
3
13
0
2
7
0
13
3
3
4
13
13
3
18
13
13
18
13
9
0
3
13
6
13
6
20
8
3
13
9
6
4
3
13
3
13
13
6
6
10
18
13
13
6
0
15
14
6
6
4
3
3
18
11
3
0
13
14
6
11
0
6
20
0
6
10
6
3
3
10
6
13
0
6
3
9
12
0
4
10
3
3
3
3
10
7
3
3
0
3
4
13
0
3
13
20
0
0
13
7
5
4
7
3
18
18
9
3
9
5
3
15
3
0
6
4
3
3
0
13
3
13
12
13
3
3
10
0
3
12
20
4
2
12
0
0
3
9
7
4
4
15
4
3
6
3
13
0
7
12
3
6
4
7
4
13
4
3
5
12
13
12
4
2
3
4
7
6
4
13
11
3
3
7
13
3
3
3
3
3
4
7
6
13
13
14
13
6
6
3
6
3
12
3
13
18
6
13
3
4
9
13
0
4
13
4
0
10
3
3
13
0
0
0
13
4
0
13
4
4
4
3
3
4
4
3
3
6
0
0
12
4
3
0
5
3
3
0
7
13
9
6
6
12
4
3
15
14
4
18
0
9
3
0
14
12
0
4
12
3
15
0
10
6
0
15
13
5
3
0
3
13
19
3
0
3
13
18
13
11
13
3
3
3
13
3
7
6
4
4
0
15
6
0
0
15
0
6
18
6
3
12
3
3
3
0
4
6
3
2
2
3
7
0
0
4
13
10
0
4
13
10
0
18
0
10
15
3
6
0
3
10
0
9
13
13
3
20
15
0
14
0
6
13
4
18
13
0
3
4
6
13
6
3
14
0
2
3
14
10
13
13
13
1
4
13
3
4
10
4
7
3
19
3
6
6
10
9
14
0
6
3
4
0
0
12
6
10
11
3
3
15
3
15
14
2
0
13
15
3
11
13
12
4
3
0
13
3
13
4
13
0
3
18
13
5
3
12
13
14
6
6
17
7
3
11
4
6
7
4
6
13
3
0
3
6
6
10
3
4
11
4
7
4
12
13
13
4
13
13
11
5
14
20
0
13
3
18
18
15
13
10
13
0
10
3
7
0
6
10
3
3
0
3
11
3
5
3
15
0
12
10
6
5
9
3
0
11
13
3
7
0
10
13
13
2
5
3
11
6
13
6
0
3
4
7
4
7
2
6
3
3
0
20
13
2
4
13
6
14
6
19
4
4
14
13
3
3
3
0
10
3
10
0
11
7
3
0
6
0
3
4
13
11
7
3
3
13
0
13
13
3
17
4
14
3
5
13
3
3
4
6
0
12
6
4
0
6
0
0
6
4
7
3
3
0
4
6
3
13
4
4
0
3
3
3
19
3
7
2
13
3
3
0
2
0
13
3
15
13
15
19
6
15
13
3
3
20
15
3
3
15
18
4
3
13
4
0
0
0
13
13
4
12
3
10
3
3
6
3
3
3
12
15
13
3
13
3
6
15
0
13
3
12
3
5
13
18
4
3
14
6
3
4
3
3
6
4
3
11
6
3
12
4
4
2
8
3
14
3
12
0
11
3
3
5
4
6
8
3
3
3
13
4
18
4
8
3
7
0
12
0
0
4
3
8
13
4
0
4
6
13
18
3
18
7
10
18
19
4
3
3
3
3
10
14
3
7
12
7
15
13
3
6
6
13
3
6
0
4
11
5
6
3
3
2
6
3
0
0
13
4
4
0
13
15
11
3
0
18
15
4
10
7
3
12
0
13
13
0
15
3
0
11
0
4
13
3
12
3
13
4
0
7
4
11
0
11
0
4
19
12
0
3
2
8
11
0
13
13
3
18
15
6
0
5
15
6
0
3
0
0
13
4
20
0
6
10
15
18
3
10
15
11
0
3
11
3
12
6
13
11
2
0
2
13
15
9
0
3
0
3
3
12
5
0
4
5
7
5
3
13
13
6
3
20
0
15
4
18
3
13
0
14
0
0
2
5
13
6
11
3
6
0
4
4
4
15
13
11
0
13
0
6
4
15
2
0
13
4
13
6
3
4
5
6
6
6
3
3
0
3
7
3
4
10
3
13
4
13
3
0
4
10
11
9
5
3
3
5
3
13
14
0
4
3
0
9
0
0
3
6
3
0
4
0
0
0
3
3
18
6
3
2
3
0
13
3
3
0
2
11
20
17
4
0
18
13
3
0
19
4
6
15
12
13
0
13
10
3
6
6
13
3
5
18
0
0
13
7
3
6
7
7
6
3
3
3
0
2
4
7
3
3
15
13
3
3
3
3
13
19
0
0
5
3
4
3
13
3
6
6
0
3
14
3
0
15
4
0
4
0
3
6
14
0
13
3
3
0
3
3
15
18
3
0
4
6
10
2
13
3
6
7
3
4
20
0
3
9
3
3
4
12
4
6
12
4
3
4
3
3
5
4
6
18
6
3
14
13
13
3
0
13
5
0
2
6
18
4
4
20
10
14
3
3
13
0
19
0
4
3
4
9
20
3
6
15
0
3
13
3
0
5
0
13
0
3
3
7
3
3
4
7
4
13
6
6
9
18
13
13
15
4
5
6
0
6
0
10
13
6
13
3
6
3
6
5
0
4
0
4
8
13
3
7
13
12
3
3
3
0
13
0
0
6
13
6
3
4
7
3
3
7
0
4
4
3
11
13
13
6
0
13
0
5
15
4
3
13
0
6
17
0
8
3
0
13
6
15
3
6
3
13
4
4
3
10
3
13
15
3
5
4
9
9
0
4
10
12
7
0
0
13
13
6
10
4
6
5
0
4
13
15
5
13
0
7
4
0
4
4
13
3
3
13
3
7
3
3
15
3
4
13
12
7
15
4
0
0
20
3
13
3
19
0
2
3
10
10
3
0
3
11
7
13
4
5
5
4
4
0
3
13
0
19
3
5
20
20
10
15
3
3
13
13
10
6
0
3
0
5
4
13
0
3
3
3
13
10
7
3
13
12
3
7
8
13
4
3
13
13
4
13
3
15
6
3
10
18
10
9
13
3
3
6
2
6
10
3
4
0
9
0
0
0
8
13
0
7
4
3
3
3
3
3
6
4
4
3
15
13
5
3
4
0
0
11
0
0
11
7
6
3
7
13
13
6
10
13
3
3
3
3
13
0
3
18
12
12
10
4
6
3
6
3
13
0
3
3
0
10
13
3
3
3
0
3
11
9
15
6
3
13
5
6
3
4
3
7
3
3
11
19
15
4
0
5
4
4
12
10
3
0
3
4
0
0
13
10
11
13
6
4
3
0
4
3
7
3
3
0
3
13
0
7
13
12
12
0
10
4
4
13
13
13
3
0
3
13
3
20
6
11
13
0
3
4
0
12
3
2
0
13
3
18
9
4
4
3
5
3
12
13
20
3
0
0
3
4
3
13
13
19
4
13
4
6
3
3
10
13
7
3
15
12
3
0
0
7
13
0
20
15
2
6
13
3
18
6
2
15
4
3
18
4
3
15
6
4
13
13
13
13
3
10
4
0
6
7
0
0
4
0
13
0
4
4
3
6
0
3
0
13
3
4
15
3
19
0
15
4
6
3
3
19
13
10
12
4
13
13
0
10
0
3
3
13
3
6
5
3
3
6
3
2
5
4
10
3
0
3
18
4
3
10
14
15
10
4
4
4
3
13
6
3
3
3
13
15
11
18
3
4
4
5
6
2
3
3
3
10
13
6
3
3
3
0
13
0
10
4
3
3
12
13
10
4
18
8
8
3
3
13
18
14
19
4
6
17
4
4
0
12
0
11
13
6
13
19
13
5
15
13
6
4
9
6
13
9
12
3
19
3
10
19
18
3
3
13
13
10
2
6
3
13
10
3
3
13
3
13
4
3
0
6
3
19
19
6
12
4
6
12
5
18
13
6
3
3
0
0
3
6
19
2
3
8
0
12
4
5
6
11
13
6
3
18
3
19
3
0
4
13
13
13
0
15
3
0
13
3
6
3
2
3
2
18
8
13
13
13
0
7
11
3
10
0
12
3
4
0
0
7
13
13
7
0
3
4
6
4
3
3
6
3
0
3
0
8
0
0
14
0
18
3
4
0
4
15
15
0
13
9
10
4
3
13
0
3
0
3
10
6
3
4
3
3
10
3
0
6
3
0
3
4
5
13
4
3
10
4
3
7
6
3
0
13
7
13
3
4
4
3
3
4
13
13
15
13
3
3
6
11
3
3
8
6
4
13
5
10
3
13
18
12
6
4
3
3
0
19
3
3
13
0
6
6
15
0
3
18
6
13
3
13
0
6
3
7
13
0
6
3
4
15
3
18
0
19
3
3
19
3
0
4
3
4
3
2
4
0
12
13
4
13
3
3
12
13
13
3
10
3
15
13
13
6
13
13
4
13
3
4
13
18
18
6
0
4
3
6
12
6
3
4
5
0
10
3
18
3
3
3
15
3
14
8
3
10
12
0
6
4
18
10
0
10
4
15
3
18
3
13
15
0
3
13
10
13
4
10
6
15
9
0
9
13
0
3
13
7
3
6
0
3
13
4
6
10
19
13
3
4
0
3
3
14
2
6
4
10
13
3
3
4
13
13
12
11
11
3
3
13
13
13
8
4
13
6
15
13
13
6
18
4
10
5
0
6
7
13
3
13
12
6
0
0
0
3
0
0
10
19
0
5
15
13
4
5
6
10
10
0
10
19
13
3
5
20
7
3
10
0
13
19
3
3
9
4
15
3
18
17
3
15
20
6
13
5
13
15
19
4
3
13
3
18
3
13
6
3
5
3
10
4
3
3
18
3
13
0
3
5
7
0
4
10
3
4
11
4
13
13
0
2
9
13
3
6
3
13
0
10
0
0
0
3
10
4
13
15
12
3
3
0
0
3
8
0
10
0
6
6
3
15
10
4
0
19
10
3
0
0
8
3
4
5
3
3
6
9
11
6
0
10
13
3
7
0
6
3
15
3
6
6
0
2
3
3
0
5
4
4
10
3
3
4
4
13
13
13
10
3
13
11
13
0
6
4
6
0
0
0
18
10
6
6
3
0
9
13
0
15
10
3
0
18
3
4
13
4
7
2
15
13
19
7
4
3
13
9
5
13
10
7
11
3
0
9
10
0
6
13
3
0
6
20
10
18
0
13
13
15
3
12
3
12
0
0
3
3
3
0
0
13
11
3
0
0
3
13
6
13
10
5
9
5
0
15
20
6
10
11
10
19
3
15
6
6
3
4
3
13
17
10
13
0
3
13
4
10
4
4
6
12
13
6
15
6
7
3
10
3
18
3
13
12
6
3
13
3
13
3
18
0
0
13
4
3
20
0
3
2
3
11
6
3
13
4
4
4
10
0
0
0
9
4
12
13
0
0
13
13
3
13
4
3
6
3
0
13
20
6
13
15
18
3
10
6
6
0
3
6
11
3
2
6
3
7
0
5
6
4
20
3
3
3
3
3
13
7
5
3
13
3
3
6
15
3
15
0
20
0
0
11
0
13
3
3
4
4
0
4
15
6
4
7
3
3
10
4
3
7
13
4
0
7
13
2
6
15
4
3
4
0
4
3
13
7
3
14
4
13
6
12
5
3
0
0
5
3
3
3
10
3
7
10
6
4
15
3
3
3
9
0
0
5
10
18
4
6
6
9
13
4
3
3
0
11
10
0
8
3
3
10
15
0
3
12
3
3
18
13
6
0
0
12
18
12
6
3
3
3
3
13
3
4
0
10
0
3
13
13
4
0
0
3
13
5
12
13
0
19
15
6
2
13
20
11
19
13
0
6
15
0
4
13
3
6
13
13
18
3
10
13
6
9
4
13
6
13
13
5
10
3
0
12
13
0
13
7
3
13
4
5
13
3
19
18
6
3
10
3
10
3
3
6
14
10
0
20
18
6
3
13
8
6
15
4
3
3
0
3
6
13
0
13
3
19
13
3
3
13
3
3
3
3
6
3
3
13
3
18
0
0
9
3
10
4
4
10
0
3
3
3
4
13
12
13
3
6
13
6
4
3
4
12
9
2
0
3
15
10
13
5
6
6
4
3
3
13
11
10
10
15
4
3
0
8
3
3
3
19
13
3
3
3
0
13
4
3
0
1
19
13
3
10
3
3
13
0
0
6
3
4
0
7
15
3
7
6
3
4
11
19
6
5
5
18
12
5
13
3
3
13
13
4
4
15
4
5
15
4
11
13
3
10
0
3
3
15
13
6
6
4
3
3
13
3
3
3
3
4
6
2
3
7
4
18
7
6
3
19
6
3
7
3
3
20
4
13
0
0
3
3
3
5
5
18
6
10
0
6
13
12
3
13
4
13
3
3
0
3
13
9
10
7
6
0
13
3
15
10
15
5
0
13
12
0
0
6
3
0
6
11
20
4
10
4
10
6
0
5
5
6
6
3
13
0
3
6
3
4
20
7
6
3
13
10
4
3
4
9
4
0
13
4
5
0
13
4
4
4
3
10
3
0
13
4
20
4
3
2
3
3
2
3
4
3
3
3
6
0
13
18
0
4
3
3
3
6
6
13
13
3
13
11
10
0
3
9
0
4
15
4
0
12
4
15
0
18
3
5
3
10
4
4
0
6
3
13
0
6
13
4
6
0
4
13
3
3
12
3
1
3
0
0
6
3
0
0
3
2
13
3
8
4
6
15
13
0
5
13
13
0
5
5
0
13
3
0
19
10
3
6
7
15
5
3
11
6
3
12
4
4
3
7
7
3
0
13
6
13
3
0
4
10
3
13
18
0
8
7
13
6
4
10
6
3
7
6
0
13
3
12
3
0
0
11
3
4
3
19
6
13
3
6
11
18
4
13
3
7
0
5
6
6
3
13
3
4
18
6
13
15
3
15
13
0
6
13
4
4
20
6
4
6
4
4
0
3
13
3
6
13
5
3
4
0
13
6
12
0
4
4
14
19
15
3
3
0
3
3
3
15
3
12
13
10
10
13
9
6
3
0
4
2
3
15
10
0
3
13
6
3
3
3
4
6
0
13
4
4
5
0
10
13
3
10
3
0
13
3
7
0
2
4
10
3
6
3
6
13
8
6
15
13
3
1
13
18
9
13
13
3
6
13
3
7
13
10
2
4
10
4
0
0
6
15
10
10
4
3
13
2
3
13
14
6
20
15
0
4
4
3
0
4
13
15
6
3
5
13
13
13
3
3
4
6
9
3
6
13
3
6
10
18
10
4
3
3
13
5
10
4
7
5
13
3
5
13
15
3
3
3
7
10
4
13
4
3
17
0
13
4
4
13
13
4
6
6
0
5
11
10
12
12
3
18
3
4
2
9
0
3
4
0
6
3
8
0
3
4
14
3
13
11
6
3
19
4
10
12
15
6
13
4
6
6
9
3
14
4
0
3
0
15
11
10
13
13
13
15
10
13
3
0
4
3
0
2
10
0
0
13
11
6
0
3
3
15
18
11
4
0
6
0
12
3
4
0
0
5
10
20
19
9
0
0
9
4
13
7
19
3
13
6
13
8
3
10
10
6
12
13
13
20
3
17
12
7
5
3
3
15
13
6
5
0
4
3
4
0
0
4
3
0
0
11
3
8
12
13
0
6
19
20
4
5
15
6
0
4
5
13
13
6
0
13
7
3
13
4
13
13
3
8
4
3
3
4
4
4
4
13
0
3
6
6
0
6
4
4
3
3
15
7
0
3
10
15
4
3
4
6
0
6
0
3
13
6
7
13
13
13
13
0
12
6
8
4
6
13
18
7
13
3
19
7
13
3
19
13
3
3
0
7
3
4
10
0
0
3
4
10
3
6
3
15
0
10
13
6
4
6
15
3
0
10
20
13
8
0
3
3
3
3
10
3
13
0
3
19
12
8
7
10
0
12
13
10
0
0
0
0
8
6
3
3
4
7
3
6
15
4
3
13
5
6
6
3
9
6
3
14
4
4
13
3
6
4
13
0
3
6
2
5
14
20
14
18
4
3
0
15
19
7
6
5
2
3
10
4
4
6
7
6
6
3
13
0
20
13
0
0
7
10
3
3
3
6
15
20
3
4
3
3
4
3
0
0
3
4
3
0
0
4
18
0
5
5
13
5
13
6
3
10
3
6
13
0
15
10
13
20
3
3
3
3
3
0
4
3
7
2
3
7
3
6
3
3
4
2
13
4
13
3
9
0
12
11
13
3
3
10
3
13
4
6
0
2
3
4
0
13
10
5
13
3
4
4
5
0
6
3
6
3
6
17
15
13
13
15
4
0
9
3
18
4
10
10
0
6
0
7
7
0
3
8
3
19
0
13
5
3
4
15
15
0
3
11
0
3
6
10
13
0
13
0
12
17
3
12
15
4
11
4
13
3
20
3
3
13
6
13
4
4
11
14
6
4
10
4
12
3
13
13
13
3
13
6
4
0
4
3
2
4
3
4
15
6
4
3
9
5
3
3
3
13
7
11
3
0
3
4
0
9
10
6
12
19
3
13
15
3
13
0
13
0
13
3
10
6
10
6
3
3
10
10
15
3
3
5
13
10
13
13
12
4
12
0
4
6
3
1
3
10
6
4
3
0
4
4
3
3
3
3
4
6
18
18
3
3
3
13
12
10
3
18
6
19
3
3
3
6
3
4
3
12
5
20
1
5
6
3
0
11
4
6
0
4
4
19
3
2
3
4
6
13
6
3
12
6
0
7
18
17
20
3
4
0
3
3
0
0
3
13
4
13
15
0
20
3
3
5
18
0
12
18
13
12
3
8
6
3
0
6
3
4
13
4
3
6
5
3
6
13
3
3
7
12
3
0
10
4
13
3
3
3
13
15
6
4
13
10
13
3
4
13
13
3
7
13
14
10
13
14
7
0
4
13
13
13
6
6
13
13
17
18
20
4
3
10
6
5
0
19
4
13
12
0
0
13
5
20
0
3
0
2
6
3
19
4
4
0
3
3
6
3
9
6
12
4
18
6
0
6
3
0
4
13
11
6
10
4
3
0
13
0
4
0
20
4
7
10
6
9
0
3
13
4
3
5
15
3
0
3
12
3
15
3
3
13
4
0
3
10
6
20
3
18
3
18
3
4
3
4
0
3
4
5
0
15
8
15
2
6
10
3
6
4
3
13
18
15
18
0
4
12
0
0
3
13
3
6
4
7
3
4
13
12
3
0
3
6
15
0
13
4
8
4
3
13
3
0
13
0
4
7
4
3
10
13
20
18
7
13
13
6
3
2
15
15
18
6
3
3
8
19
13
19
4
9
7
4
2
13
3
3
12
0
10
19
3
13
15
15
0
4
13
3
10
15
13
11
4
3
7
8
4
4
13
6
3
5
10
13
2
20
3
4
3
4
6
6
6
12
3
2
10
13
13
6
10
8
6
6
0
13
4
10
7
19
3
8
0
15
3
9
15
2
18
15
13
12
3
0
10
10
3
19
0
0
18
13
6
3
13
3
3
4
0
10
3
3
4
0
7
13
0
3
3
10
6
4
15
3
3
3
6
3
10
6
12
3
3
13
6
10
10
6
3
0
0
3
18
0
3
4
0
3
3
10
4
3
0
3
6
3
10
3
4
7
10
15
3
4
13
0
3
6
20
0
4
0
5
10
3
3
10
6
4
5
0
9
10
13
4
15
18
13
13
3
3
6
2
4
6
3
3
3
3
15
3
4
3
3
4
18
0
19
19
0
0
4
0
13
13
3
4
3
3
3
3
0
6
0
13
6
20
12
13
11
13
7
4
13
3
18
3
0
2
7
10
3
4
12
6
6
4
4
10
15
3
10
4
0
10
13
0
0
6
3
3
13
6
4
6
3
13
13
3
0
3
13
3
4
6
13
0
0
15
3
3
5
6
4
4
14
7
9
0
15
3
3
3
3
0
10
3
0
5
13
3
3
13
19
10
0
6
12
10
3
0
0
3
3
4
6
4
10
4
14
0
18
18
2
13
5
6
0
15
6
12
7
3
15
19
6
18
17
3
11
4
13
3
6
13
10
4
3
13
5
6
3
4
6
6
4
13
13
2
3
5
17
0
5
13
0
19
3
3
6
15
3
7
3
15
5
3
0
10
13
2
2
15
11
12
4
18
4
4
0
11
6
13
6
3
3
12
3
10
13
12
3
17
13
4
13
10
19
20
3
3
3
3
3
3
13
4
5
4
18
3
3
4
3
13
13
3
7
10
5
0
11
6
0
6
5
3
0
13
3
2
6
3
20
3
12
0
10
6
12
6
0
3
4
3
18
20
3
18
0
3
4
3
15
20
0
3
2
13
0
10
6
3
6
13
3
13
5
3
13
3
3
3
6
15
3
6
4
3
0
13
4
13
13
2
13
10
3
4
13
5
3
13
13
4
0
0
5
13
4
3
13
6
0
10
10
0
4
3
0
13
13
13
3
4
3
3
6
13
7
13
3
3
10
4
9
3
4
10
3
4
6
13
13
4
4
3
3
0
13
9
3
13
13
10
11
6
3
0
4
12
3
13
6
13
10
7
15
3
3
3
6
3
13
3
3
13
3
0
1
4
3
4
3
11
3
10
4
9
4
3
13
4
3
6
3
15
6
0
10
8
10
13
7
3
6
4
0
0
3
3
0
3
3
3
10
0
6
3
7
4
4
3
3
13
6
9
3
13
13
15
4
11
7
3
3
18
4
4
7
12
3
15
13
13
2
3
3
15
12
4
4
3
8
10
0
9
3
13
7
3
13
3
10
3
0
6
6
3
9
3
4
6
3
13
13
2
4
3
3
6
0
4
3
20
12
6
5
13
3
4
13
3
12
10
6
15
5
13
0
6
3
7
0
3
20
20
8
4
10
10
15
2
3
3
13
10
4
6
3
4
13
4
4
13
19
0
0
4
13
3
3
3
3
12
11
0
6
17
3
3
3
13
0
18
4
19
7
0
6
3
12
3
4
3
20
7
10
13
3
20
3
11
13
6
19
13
3
15
6
13
17
4
3
13
13
13
13
3
19
0
4
12
4
3
3
13
9
10
0
6
19
3
3
4
5
13
13
3
3
13
15
0
7
8
3
6
10
3
0
13
4
4
13
4
3
20
4
5
4
12
3
6
0
13
3
0
12
4
3
15
13
4
4
3
3
4
6
3
12
0
12
3
0
12
13
3
7
7
3
3
11
8
3
19
4
6
13
4
4
6
10
7
3
6
13
4
3
4
10
0
0
3
3
0
13
0
0
3
0
4
12
5
6
0
3
2
20
6
18
15
0
6
4
5
4
6
4
3
13
13
15
4
3
0
4
3
13
0
7
4
3
3
7
7
7
5
8
3
15
4
10
4
11
5
6
3
0
3
0
14
6
0
3
10
3
3
0
6
10
15
10
3
5
0
13
0
3
19
11
10
0
4
4
15
0
6
0
3
13
4
3
18
9
5
0
3
4
3
13
4
3
14
3
0
13
3
13
0
4
7
3
10
3
13
20
0
0
13
3
18
13
6
13
10
18
3
0
0
20
13
6
18
6
13
8
15
4
6
15
3
4
3
0
3
18
3
11
3
4
3
0
6
13
13
6
3
3
13
15
15
13
6
6
4
10
3
3
3
18
3
12
0
0
7
4
3
0
4
20
4
3
13
4
6
4
18
4
3
3
15
5
4
0
20
0
13
13
10
3
3
11
2
3
3
9
9
5
4
0
13
10
0
0
3
3
20
3
