result_verify.txt

15
11
5
0
12
15
15
15
11
10
0
10
6
2
15
15
15
15
0
0
10
14
4
9
0
4
0
5
7
15
0
0
15
15
0
0
15
14
7
5
14
7
0
0
0
2
15
15
15
15
0
0
0
2
0
0
0
0
1
0
2
1
0
0
15
15
5
0
12
13
15
10
1
14
0
0
1
1
15
15
15
15
0
0
0
0
0
0
0
0
0
0
6
0
0
0
14
15
0
0
15
15
6
9
8
10
0
4
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
1
0
2
1
0
15
15
7
0
15
14
9
15
0
6
2
1
3
1
15
15
15
15
0
0
3
0
0
0
0
0
0
4
9
3
0
0
15
15
0
0
15
15
6
15
12
6
5
2
0
3
15
15
15
15
0
0
0
4
0
0
0
0
5
0
2
4
0
3
15
15
0
0
11
10
8
6
8
1
0
8
1
2
15
11
15
13
0
0
2
3
0
0
0
0
0
6
10
4
0
0
15
15
0
0
12
15
3
8
8
10
0
2
1
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
3
0
0
0
15
15
0
0
11
11
13
7
8
6
10
3
0
1
15
15
15
15
0
0
6
0
0
0
0
0
8
0
7
15
0
0
15
10
1
0
14
15
6
11
12
6
0
3
0
0
15
15
15
15
0
0
1
8
0
0
0
0
0
0
0
6
0
0
15
15
0
0
14
15
13
7
3
10
5
0
3
0
15
15
15
15
0
0
3
0
0
0
0
0
7
5
4
0
0
0
15
15
0
0
13
10
15
9
5
15
0
4
3
4
15
12
15
15
0
0
3
0
0
10
0
0
8
0
11
7
10
0
15
14
0
0
15
14
13
10
10
11
3
0
0
0
15
15
15
15
0
0
0
3
0
0
0
0
3
0
7
12
0
0
15
15
0
0
15
15
8
15
9
6
1
3
0
3
15
15
15
15
0
0
0
0
0
0
0
0
1
1
6
5
0
0
15
15
0
0
9
15
10
13
6
8
10
8
6
5
5
15
15
15
0
0
4
0
6
0
0
0
10
15
8
10
0
0
14
15
0
0
14
13
15
11
15
2
0
5
0
2
15
15
15
15
0
0
6
5
0
0
0
0
0
3
13
10
0
0
15
15
0
4
14
15
10
13
12
9
4
0
2
0
15
15
15
15
0
0
0
0
3
7
0
0
0
0
4
7
0
0
15
15
0
0
12
12
15
11
11
4
8
4
3
2
15
15
15
15
0
0
3
0
0
0
0
0
1
9
4
7
0
0
15
15
0
0
15
14
14
7
6
10
0
0
4
1
15
15
15
15
0
0
0
1
5
0
0
0
0
0
3
4
0
0
15
15
0
0
15
15
11
12
12
9
0
3
2
4
14
15
15
15
0
0
1
1
0
0
0
0
0
3
2
10
0
0
13
15
0
0
15
12
4
13
5
8
10
0
0
2
15
15
15
15
0
0
2
0
0
1
0
0
8
0
5
1
0
0
15
15
0
0
15
15
15
10
6
4
0
0
3
0
15
14
15
15
0
0
0
5
0
0
0
0
6
0
3
8
0
0
15
15
0
0
14
15
9
11
6
7
0
2
1
2
15
15
15
15
0
0
0
0
0
3
0
0
4
3
7
10
0
0
15
15
0
0
14
13
10
6
14
1
0
10
0
2
15
15
15
13
0
0
7
1
0
1
0
0
1
0
15
7
0
0
15
15
0
0
10
13
12
8
7
8
4
0
1
0
12
15
15
15
0
0
0
0
5
0
0
0
6
0
7
1
0
0
15
15
0
4
15
15
7
8
7
6
0
0
0
2
15
15
15
15
0
0
0
0
8
9
0
0
12
0
0
8
0
0
15
15
0
0
15
15
8
10
7
8
2
0
4
0
15
15
14
15
0
0
0
0
0
7
0
0
0
0
0
10
0
0
15
15
3
0
13
15
15
12
7
10
0
6
0
1
15
15
15
15
0
0
0
0
3
0
0
0
0
1
9
3
4
0
15
15
0
0
14
15
8
10
4
10
2
1
2
0
15
15
15
15
0
0
0
0
0
0
0
0
0
2
14
2
4
0
15
15
0
0
10
12
10
9
13
9
1
0
2
1
15
15
15
15
0
0
0
3
0
0
0
0
3
0
6
4
0
0
15
13
0
7
14
15
15
7
4
10
0
3
0
0
15
15
15
14
0
0
0
3
1
0
0
0
0
4
7
11
0
0
15
15
4
0
15
14
7
15
11
9
1
0
3
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
15
0
0
15
15
0
0
14
15
14
11
3
5
3
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
1
2
6
0
0
15
15
0
0
14
11
9
13
12
8
2
0
0
2
15
15
15
14
0
0
0
0
1
0
0
0
4
0
3
11
0
0
15
15
0
0
15
15
15
0
3
15
2
0
0
0
11
15
15
15
0
0
1
2
0
0
4
0
5
5
2
1
0
0
15
15
3
0
15
15
4
13
13
9
2
0
5
4
15
15
15
15
0
0
0
5
0
0
0
0
5
0
5
3
0
0
15
15
1
0
12
15
10
13
4
1
4
2
2
0
15
15
15
15
0
0
4
0
0
0
0
0
5
0
6
2
3
0
15
15
0
0
15
15
13
13
10
2
6
11
3
2
15
15
15
15
0
0
0
0
0
7
0
0
0
0
3
9
0
0
15
15
0
0
15
15
10
5
13
7
3
0
0
1
15
15
15
14
0
0
3
0
0
0
0
0
5
7
12
1
0
0
15
15
0
0
13
15
9
10
13
12
15
2
10
0
15
15
15
15
0
0
0
0
0
8
0
0
7
3
5
0
0
0
0
0
15
15
0
8
12
15
3
12
0
0
15
14
15
15
11
2
4
6
15
15
15
4
15
13
8
15
0
0
10
14
0
0
15
15
0
0
13
15
0
0
0
0
15
15
15
15
0
11
5
5
15
15
10
0
15
15
15
15
0
0
15
10
2
0
15
15
0
0
8
9
0
3
0
0
15
15
11
15
15
2
14
3
15
11
14
0
15
15
15
15
0
0
0
15
5
0
15
14
0
0
15
15
0
0
0
0
15
15
15
15
6
2
10
5
15
9
8
1
15
13
14
15
0
0
13
14
3
3
15
15
0
0
15
15
1
0
0
0
15
15
15
15
0
6
2
0
10
10
3
15
15
15
15
15
0
0
9
12
4
1
15
15
0
0
6
6
0
0
0
0
15
15
15
15
3
3
3
6
15
15
6
10
15
15
15
14
0
0
15
11
2
10
15
14
0
0
9
8
2
1
0
0
15
15
15
14
8
7
6
4
15
15
4
15
15
15
10
15
0
0
12
10
0
2
15
15
0
0
13
15
1
0
0
0
15
15
15
15
0
0
7
10
15
14
10
15
11
15
12
15
0
0
14
15
0
2
14
15
0
0
1
14
9
3
0
0
15
15
15
15
12
14
0
13
15
8
15
3
15
15
15
15
0
0
15
11
13
8
15
15
0
0
15
15
0
1
0
0
15
10
15
15
0
2
6
11
15
7
6
15
10
14
15
7
0
0
8
12
3
0
15
15
0
0
10
15
6
0
0
0
15
15
15
15
4
0
2
4
15
15
15
15
15
14
15
14
0
0
15
6
2
0
15
14
0
0
11
15
0
3
0
0
12
15
15
15
15
11
8
9
15
15
0
15
15
15
15
10
0
0
2
10
0
15
15
15
0
6
7
13
0
4
0
0
15
15
15
15
10
10
2
6
14
15
15
13
15
15
14
15
0
0
15
15
0
11
15
15
0
0
15
13
5
0
0
0
15
15
15
15
0
15
12
11
15
15
5
11
15
15
15
15
0
0
11
9
0
6
15
15
0
0
5
13
7
0
0
0
15
15
14
14
0
9
8
6
13
9
15
15
15
12
15
15
0
0
15
15
6
0
15
15
0
0
3
15
1
9
0
0
15
14
15
15
15
7
0
11
15
15
4
1
15
15
15
14
0
0
7
9
5
0
15
15
0
0
15
15
5
0
0
0
15
15
13
15
9
5
12
3
5
15
12
7
15
15
15
12
0
0
14
15
0
1
13
15
0
0
8
6
10
0
0
0
15
15
15
15
8
13
0
5
15
15
0
9
15
15
13
15
0
0
15
11
0
0
15
15
0
0
15
8
13
0
0
0
15
15
15
15
0
3
2
11
7
15
12
11
15
15
15
15
0
0
15
15
0
0
15
15
0
0
9
12
0
5
0
0
15
15
15
15
11
4
8
11
15
15
14
5
15
15
14
15
0
0
9
15
2
0
15
15
0
0
12
9
1
5
0
0
14
15
15
15
8
14
7
9
11
6
0
14
14
15
15
12
0
0
6
13
0
0
15
15
0
0
15
8
0
0
0
0
15
15
15
10
10
11
0
13
15
15
9
15
15
15
14
7
0
0
13
8
0
0
15
15
0
0
15
15
5
3
0
0
15
15
15
15
3
7
6
6
15
15
2
5
15
15
14
15
0
0
13
14
2
0
15
14
0
0
11
10
0
10
0
0
15
15
15
5
6
9
0
4
15
4
0
15
15
15
15
15
0
0
14
14
0
0
15
15
0
0
10
12
0
0
0
0
15
15
4
15
10
3
1
5
8
15
13
13
15
15
15
15
0
0
15
15
0
0
15
15
0
0
15
13
0
0
0
0
15
15
15
15
0
0
9
6
15
15
0
10
15
13
15
15
0
0
3
15
7
0
15
15
0
0
12
12
0
8
0
0
15
15
15
15
10
6
0
7
15
12
6
8
15
15
15
15
0
0
5
9
0
4
15
15
0
1
15
11
0
0
0
0
15
15
15
13
15
11
9
1
15
10
12
11
15
15
15
5
0
0
0
3
0
4
14
15
0
0
7
8
0
0
0
0
15
15
7
15
15
10
0
6
14
4
6
15
15
11
15
11
0
0
0
15
3
3
15
15
0
0
15
12
0
2
0
0
15
15
15
15
13
11
9
8
13
15
8
0
15
15
15
8
0
0
14
15
7
0
15
15
0
0
14
13
0
0
0
0
15
15
11
15
12
0
7
7
15
15
12
12
15
13
13
15
0
0
12
15
1
4
15
15
0
0
10
15
0
0
0
0
15
15
15
15
0
15
3
0
15
15
11
5
15
15
15
15
0
0
15
12
2
1
15
15
0
0
8
15
0
0
0
0
15
15
15
15
8
8
0
8
15
15
11
9
15
15
15
14
0
0
6
7
0
3
15
15
0
0
7
14
0
8
0
0
15
15
15
11
7
12
0
4
10
15
2
15
15
15
14
15
0
0
8
15
7
0
15
15
0
0
15
14
0
5
0
0
14
15
15
15
12
3
8
6
7
15
15
7
15
15
15
14
0
0
0
15
0
2
15
15
0
0
15
11
1
0
0
0
15
15
15
15
0
10
2
2
15
15
10
7
15
15
15
8
0
0
15
10
0
2
15
15
0
0
8
14
3
0
0
0
15
15
15
12
4
14
6
2
15
15
4
14
15
15
15
15
0
0
15
3
1
0
12
15
0
0
9
11
0
9
0
0
15
15
15
15
5
12
9
2
13
3
11
6
14
15
15
15
0
0
13
9
4
0
15
15
0
0
12
15
3
0
0
0
14
15
15
15
6
13
0
12
15
14
10
0
15
12
15
13
0
0
9
11
0
0
14
15
0
0
12
12
15
0
0
0
15
15
11
15
5
0
7
9
15
14
15
15
11
15
15
15
0
0
15
15
15
14
12
0
15
12
0
15
4
8
0
9
0
0
15
15
15
15
0
0
0
5
0
0
0
6
5
1
14
15
0
5
15
15
0
0
15
15
6
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
5
3
0
0
0
15
15
0
0
15
13
2
7
2
1
0
0
0
0
15
15
15
15
0
0
0
0
2
9
0
0
1
0
0
1
5
0
15
15
0
0
15
13
0
0
0
7
2
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
15
0
0
15
15
3
11
0
0
0
0
0
0
15
15
15
15
0
0
0
0
3
0
0
0
2
0
0
2
2
8
15
15
0
0
14
15
5
2
0
8
0
0
0
0
15
15
15
15
0
0
0
0
4
0
0
0
0
0
3
0
0
1
15
15
0
0
15
15
0
2
0
0
0
0
0
0
15
15
15
15
0
0
0
0
1
9
0
0
0
0
0
0
0
0
15
15
0
0
15
15
0
7
0
9
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
4
0
10
0
2
15
15
4
0
13
12
8
4
0
9
0
0
0
0
15
15
15
15
0
0
0
0
0
4
0
0
6
11
4
3
0
0
15
15
0
1
15
14
1
9
3
0
0
1
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
6
5
1
1
0
15
15
0
0
15
15
0
3
0
0
0
0
0
0
15
15
15
15
0
0
0
0
2
1
0
0
0
3
1
1
0
0
15
15
0
4
15
15
6
4
0
3
0
0
0
0
15
15
15
15
0
0
0
1
0
0
0
0
0
3
0
0
0
0
15
15
2
0
15
15
0
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
4
9
0
0
0
0
11
15
2
0
15
15
0
0
15
15
15
1
4
0
0
0
0
0
15
15
15
15
8
0
0
0
3
2
0
0
1
0
8
15
0
8
15
15
0
0
15
15
0
0
3
0
0
0
0
0
15
15
15
15
0
0
0
0
0
4
0
0
2
0
5
4
4
5
15
15
0
9
15
15
0
0
5
0
0
0
0
0
15
15
15
15
0
0
0
0
5
3
0
0
0
0
1
0
3
0
15
15
0
0
15
15
7
0
1
5
0
0
0
0
15
15
15
15
0
0
0
0
5
0
0
0
6
0
0
8
0
0
15
15
0
0
14
15
7
0
7
0
0
0
0
0
15
15
15
15
0
0
0
0
0
3
0
0
0
7
3
0
0
0
15
15
0
0
15
15
0
5
5
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
8
3
0
0
15
15
6
0
15
15
2
8
8
0
0
0
0
0
15
15
15
15
0
0
0
0
2
12
0
0
0
1
10
0
0
1
15
15
0
1
15
15
3
0
12
0
0
0
0
0
15
15
15
15
0
0
0
0
0
10
0
0
9
0
15
6
0
0
15
15
0
0
15
15
4
7
3
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
8
0
7
8
7
1
15
15
0
0
15
15
7
0
0
0
3
0
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
0
0
2
0
0
15
15
0
0
15
15
1
3
0
5
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
5
0
5
0
0
15
15
0
0
15
15
0
8
8
0
0
0
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
0
13
0
0
3
15
15
0
0
15
14
0
5
0
2
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
7
4
0
0
15
15
0
0
15
15
1
0
2
2
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
4
3
9
0
0
15
15
0
5
14
14
3
8
1
2
0
0
0
0
15
15
15
15
0
0
0
0
2
0
0
0
3
0
0
5
0
0
15
15
0
0
15
15
5
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
15
0
0
1
12
0
0
9
0
3
15
15
0
0
12
15
0
5
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
11
0
0
0
6
0
0
4
0
15
15
0
0
15
15
6
8
0
4
2
0
0
0
15
15
15
15
0
0
0
0
2
0
0
0
5
3
0
8
0
3
15
15
0
7
15
14
4
3
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
3
0
0
0
2
13
0
2
0
15
15
0
0
14
15
0
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
6
0
0
0
0
8
9
0
0
15
15
0
5
15
15
5
5
2
2
0
0
0
0
15
15
15
15
0
0
0
0
2
12
0
0
0
2
14
0
0
0
15
15
0
0
15
15
0
0
0
0
0
0
0
0
14
15
15
15
0
0
0
0
0
0
0
0
0
0
8
6
3
2
15
15
0
0
15
15
1
1
0
7
0
0
0
0
15
15
15
15
0
0
0
0
9
5
0
0
2
0
10
0
0
3
15
15
0
0
15
14
4
1
1
0
0
0
0
0
15
15
15
15
0
0
0
0
0
6
0
0
0
0
0
0
0
0
15
15
8
7
14
15
5
1
0
0
0
0
0
0
15
15
15
15
0
0
1
0
0
0
0
0
3
3
5
0
5
6
15
15
0
0
15
15
8
1
5
7
0
0
0
0
15
15
15
15
0
0
0
0
7
0
0
0
0
0
0
0
2
1
15
15
4
0
14
15
5
0
7
1
15
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
5
2
13
9
0
0
0
13
15
14
1
6
8
4
5
0
0
0
10
3
6
15
11
15
3
13
5
15
15
0
15
15
0
8
0
0
0
0
0
1
15
15
5
0
0
15
0
0
0
0
7
12
0
15
14
13
0
3
5
0
10
0
15
15
1
3
0
0
0
0
0
4
15
15
0
3
9
4
0
0
0
0
7
9
15
2
11
15
8
0
0
0
15
6
15
15
2
0
0
0
0
0
8
4
15
15
1
0
8
2
0
0
0
0
0
4
15
15
14
11
7
2
0
3
0
15
14
15
0
2
0
0
0
0
0
12
15
15
0
0
10
3
0
0
0
0
3
2
13
15
15
15
3
12
0
0
4
15
15
15
3
0
0
0
0
0
9
5
15
15
0
0
10
8
0
0
0
0
5
0
3
15
12
6
2
0
0
0
5
3
15
15
6
5
0
0
0
0
0
7
15
15
0
0
15
15
0
0
0
0
14
8
15
1
13
14
1
1
1
0
0
11
15
15
0
1
0
0
0
0
4
1
15
15
0
0
7
8
0
0
0
0
3
0
11
15
15
11
0
3
0
0
8
4
15
15
0
6
0
0
0
0
0
2
15
15
0
0
9
7
0
0
0
0
4
1
15
15
6
13
2
5
0
0
12
1
15
15
10
4
0
0
0
0
3
4
15
15
0
0
9
8
0
2
0
0
0
9
15
9
12
10
6
7
0
1
1
5
15
15
7
0
0
0
0
0
5
0
15
15
0
0
9
6
0
0
0
0
7
0
15
15
8
14
4
0
0
5
15
0
15
15
6
0
0
0
0
0
0
0
15
15
0
0
3
13
0
0
0
0
12
10
14
0
15
13
1
12
0
3
0
13
15
15
1
0
0
0
0
0
2
4
15
15
2
0
12
4
0
0
0
0
7
3
9
15
13
11
7
7
0
0
12
7
15
15
7
0
0
0
0
0
4
0
15
15
0
0
15
15
1
0
0
0
5
3
6
15
15
15
3
5
0
3
15
1
15
15
0
6
0
0
0
0
3
15
15
15
0
0
6
13
0
0
0
0
5
6
15
10
7
12
0
11
9
0
8
15
15
15
0
11
0
0
0
0
0
6
15
15
0
4
9
9
0
0
0
0
4
9
15
9
7
11
0
14
0
0
3
8
15
15
0
1
0
0
0
0
0
5
15
15
6
0
15
7
0
0
0
0
3
10
1
4
10
15
0
7
0
4
15
0
15
15
6
0
0
0
0
0
7
0
15
15
0
0
3
15
0
14
0
0
7
10
15
15
11
15
8
10
3
0
0
15
15
15
15
2
0
0
0
2
4
0
15
15
0
0
7
6
3
2
0
0
4
7
9
6
15
7
3
1
0
0
2
11
15
15
3
5
0
0
0
0
4
0
15
15
0
1
14
3
3
0
0
0
0
3
15
12
9
13
7
5
0
0
0
0
15
15
7
0
0
0
0
0
2
0
15
15
0
0
11
15
4
0
0
0
0
3
15
9
15
13
6
0
14
15
0
15
15
15
15
11
0
0
0
0
0
0
15
15
0
0
9
8
0
0
0
0
0
7
15
2
12
15
0
12
3
0
0
13
15
15
0
0
0
0
0
0
10
8
15
15
3
0
7
9
0
0
0
0
4
10
14
0
15
6
0
0
0
4
1
10
15
15
7
0
0
0
0
0
2
0
15
15
0
5
12
13
0
0
0
0
10
8
15
15
8
4
9
0
0
1
0
15
15
14
0
0
0
0
0
0
0
1
15
15
0
0
2
14
0
0
0
0
4
4
15
10
10
13
9
9
4
0
7
10
15
15
7
2
0
0
0
0
3
1
15
15
0
0
5
9
0
0
0
0
8
8
0
15
3
10
2
9
0
0
5
1
13
15
2
0
0
0
0
0
3
11
15
15
0
0
0
5
0
1
0
0
6
5
9
10
4
11
0
4
5
0
10
2
15
13
9
7
0
0
0
0
0
12
15
15
0
1
12
1
1
0
0
0
1
0
0
15
15
12
0
4
0
2
15
0
15
15
0
4
0
0
0
2
0
6
15
15
0
0
15
5
0
0
0
0
10
6
1
15
3
15
4
5
0
2
9
0
15
12
0
0
0
0
0
0
9
0
15
15
0
0
6
8
0
2
0
0
2
9
8
11
13
10
3
0
0
8
14
6
15
15
2
0
0
0
0
0
9
14
15
15
1
0
10
14
0
0
0
0
13
1
0
15
13
13
8
13
5
1
15
0
15
15
1
8
0
0
0
0
5
2
15
15
0
0
8
8
0
4
0
0
0
3
8
14
15
15
5
0
0
7
2
0
15
15
0
1
0
0
0
0
0
0
15
15
0
0
4
7
2
0
0
0
3
0
15
15
15
15
0
7
0
0
15
1
15
15
9
0
0
0
0
0
4
0
15
15
0
0
7
9
0
0
0
0
0
5
8
15
10
13
6
6
3
0
0
0
15
15
7
0
0
0
0
0
6
6
15
15
0
4
5
7
0
0
0
0
1
2
0
0
15
10
2
1
0
0
15
11
15
15
10
0
0
0
0
0
0
6
15
15
11
0
7
8
0
0
0
0
7
9
0
15
13
0
0
1
0
1
6
0
15
15
0
9
0
0
0
0
2
6
15
15
0
0
12
10
0
0
0
0
4
1
11
2
10
15
7
2
0
5
11
10
15
15
0
4
0
0
0
0
9
4
15
15
0
0
5
4
0
6
0
0
5
13
15
14
9
15
4
0
9
0
7
15
15
15
4
12
0
0
0
0
0
0
15
15
0
1
15
10
0
0
0
0
3
12
15
15
15
9
0
11
3
0
0
15
15
15
1
0
0
0
0
0
0
2
10
15
0
0
0
12
15
0
0
0
1
1
0
0
15
7
9
1
0
0
15
5
15
15
15
2
0
0
0
0
15
15
0
0
15
14
0
15
0
11
0
0
0
0
15
15
15
15
0
0
0
2
4
8
0
0
2
5
0
6
0
1
15
15
7
0
15
14
6
5
0
0
0
2
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
5
8
14
7
4
15
15
0
0
15
12
3
4
0
3
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
1
3
0
15
15
0
0
15
15
0
0
3
8
0
0
0
0
15
15
15
15
0
0
0
0
6
1
0
0
0
6
0
0
3
1
15
15
0
0
15
15
8
4
9
1
0
0
0
0
15
15
15
15
0
0
0
0
8
6
0
0
0
0
1
10
0
0
15
15
0
0
15
15
0
1
0
0
0
0
0
0
15
15
15
15
0
0
0
0
8
14
0
0
0
8
12
0
1
0
15
15
0
0
15
15
6
3
0
3
0
0
0
0
15
15
15
15
0
0
0
0
4
6
0
0
0
4
12
0
3
6
15
15
0
0
15
15
4
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
8
0
0
0
0
2
4
11
0
15
15
2
8
15
15
0
1
3
3
0
0
0
0
15
15
15
15
0
0
0
0
8
0
0
0
4
0
0
0
0
0
15
15
0
1
15
14
9
0
3
5
0
4
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
1
7
0
0
0
15
15
0
1
15
15
2
0
1
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
5
0
2
6
0
0
15
15
1
0
15
15
4
6
8
0
0
0
0
0
15
15
15
15
0
0
0
0
13
1
0
0
0
0
0
3
0
5
15
15
0
0
13
15
6
0
4
4
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
6
4
0
0
15
15
0
0
14
15
0
8
2
0
3
0
0
0
15
15
15
15
3
0
0
0
0
0
0
0
0
3
0
6
2
0
15
15
0
0
15
15
1
5
0
7
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
7
0
5
12
0
1
15
15
0
0
15
15
8
5
5
0
0
1
0
0
15
15
15
15
0
0
0
0
0
0
0
0
6
4
3
3
1
0
15
15
0
4
15
15
1
3
2
0
0
0
0
0
15
15
15
15
0
0
0
0
2
0
0
0
4
0
7
7
5
7
15
15
0
5
15
15
0
0
0
0
3
0
0
0
15
15
15
15
0
0
0
0
7
0
0
0
13
0
0
3
5
1
15
15
0
0
14
15
0
11
4
0
0
0
0
0
15
15
15
15
0
1
0
0
0
0
0
0
0
3
4
0
0
0
15
15
0
0
15
15
0
4
1
7
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
8
9
4
9
0
0
15
15
0
0
15
15
0
15
3
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
6
1
0
0
2
15
15
0
9
15
13
5
6
4
0
0
0
0
0
15
15
15
15
0
0
0
0
7
0
0
0
5
0
2
9
0
6
15
15
0
0
15
15
0
9
0
0
2
0
0
0
15
15
15
15
0
0
0
0
5
0
0
0
1
0
0
1
4
2
15
15
2
0
15
15
8
13
0
2
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
7
0
0
15
15
0
0
13
15
4
0
0
7
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
11
9
5
0
0
15
15
0
0
14
15
10
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
6
0
0
0
8
0
4
0
2
0
15
15
0
0
15
15
6
0
0
7
0
0
0
0
15
15
15
14
0
0
0
0
0
0
0
0
4
0
8
4
0
2
15
15
0
0
15
15
1
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
3
0
0
0
1
15
0
7
2
15
15
0
0
15
15
0
2
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
1
2
0
0
15
15
7
0
15
15
5
8
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
6
12
6
0
15
15
0
0
15
15
14
0
0
3
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
12
0
0
2
1
15
15
0
0
15
15
4
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
3
5
0
0
0
2
0
3
0
0
15
15
0
4
15
15
9
2
9
2
0
0
0
0
15
15
15
15
0
0
0
0
3
1
0
0
4
3
0
0
6
9
15
15
0
0
13
15
3
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
1
0
15
7
0
0
15
15
0
0
13
11
3
6
5
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
9
7
1
7
15
15
5
0
11
15
4
0
0
9
0
0
0
0
15
15
15
15
0
0
0
0
0
6
0
0
0
4
6
5
0
0
15
15
0
0
15
15
0
6
0
2
0
0
0
0
15
15
15
15
0
0
0
0
1
0
0
0
8
0
0
7
6
4
15
15
0
5
15
15
13
6
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
1
0
2
0
15
5
9
5
0
15
15
0
0
15
15
0
7
0
1
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
11
0
1
2
15
15
0
0
14
15
4
13
7
10
11
0
2
0
15
15
15
15
0
0
0
0
4
1
0
0
10
5
0
6
0
0
0
0
15
15
0
15
12
11
2
0
0
2
15
4
15
15
7
3
2
13
11
15
5
6
15
15
2
0
0
0
0
0
10
5
15
15
1
0
15
14
0
0
0
0
3
0
15
1
13
15
7
6
0
0
7
15
15
15
0
1
0
0
0
0
8
5
15
15
0
0
9
11
0
0
0
0
3
13
0
15
9
8
5
2
0
0
15
1
15
15
7
0
0
0
0
0
0
0
15
15
0
0
6
15
0
0
0
0
4
3
0
14
6
15
3
9
0
0
15
0
15
15
0
8
0
0
0
0
0
0
15
15
0
3
13
15
0
0
0
0
0
12
9
15
10
13
6
14
0
3
4
0
15
15
8
0
0
0
0
0
0
0
15
15
0
0
4
7
1
0
0
0
5
8
10
3
15
5
11
3
0
0
15
15
15
15
0
13
0
0
0
0
8
0
15
15
0
0
11
12
6
0
0
0
5
9
15
15
8
15
1
11
1
0
0
5
15
15
3
10
0
0
0
0
4
3
15
15
0
0
14
6
0
1
0
0
4
9
15
7
9
11
6
6
0
0
5
15
15
15
4
0
0
0
0
0
15
15
15
15
0
0
12
10
0
0
0
0
3
12
2
15
6
5
5
4
0
2
4
0
15
15
10
4
0
0
0
0
8
1
15
15
0
0
0
2
0
0
0
0
5
2
15
15
12
6
2
1
0
1
0
10
15
15
0
5
0
0
0
0
4
6
15
15
0
0
8
0
1
3
0
0
6
7
0
11
13
3
1
4
0
0
9
0
15
15
8
0
0
0
0
0
0
9
15
15
0
0
14
10
0
0
0
0
10
0
15
9
6
15
8
1
0
1
0
15
15
15
0
8
0
0
0
0
9
0
15
14
0
0
8
8
0
0
0
0
0
4
6
15
15
5
0
3
10
0
0
0
15
15
0
0
0
0
0
0
12
7
15
15
0
0
10
12
1
0
0
0
0
3
15
0
15
15
0
2
0
0
0
15
15
15
8
15
0
0
0
0
0
1
15
15
6
4
10
4
0
0
0
0
1
3
15
8
15
14
10
11
3
4
9
11
15
15
4
0
0
0
0
0
0
3
15
15
0
0
15
9
0
1
0
0
0
7
15
4
10
15
10
11
0
0
7
15
15
15
0
5
0
0
0
0
6
3
15
15
0
0
1
2
0
0
0
0
0
2
12
15
13
15
0
6
0
0
5
11
15
15
4
2
0
0
0
0
0
11
15
15
0
0
11
3
0
0
0
0
4
0
15
4
13
15
2
2
0
0
0
15
15
15
7
1
0
0
0
0
6
15
15
15
0
3
2
5
0
0
0
0
0
0
7
2
13
14
2
0
0
3
0
13
15
11
0
3
0
0
0
0
2
0
15
15
0
0
4
15
0
0
0
0
4
7
7
8
9
12
3
3
12
0
0
6
15
15
0
1
0
0
0
0
3
0
15
15
0
0
8
7
3
0
0
0
0
10
15
0
13
4
2
0
0
0
0
5
15
15
0
5
0
0
0
0
2
13
15
15
0
4
10
5
0
3
0
0
5
0
14
10
13
13
3
4
0
0
0
11
15
15
9
0
0
0
0
0
3
0
15
15
0
3
12
12
0
0
0
0
7
3
0
11
15
15
0
4
0
0
15
7
15
15
15
0
0
0
0
0
8
3
15
15
0
2
15
10
7
0
0
0
3
9
15
15
15
11
7
3
0
7
0
15
15
15
2
0
0
0
0
0
12
0
15
15
0
0
15
10
2
0
0
0
2
2
13
0
13
15
0
1
7
0
1
15
15
15
0
7
0
0
0
0
0
8
15
15
0
0
0
5
0
0
0
0
0
2
11
5
14
15
0
7
1
0
15
2
15
15
10
7
0
0
0
0
4
0
15
15
0
1
7
13
0
1
0
0
9
5
2
15
12
15
3
5
12
0
13
0
15
15
0
0
0
0
0
1
14
12
15
15
1
0
6
10
0
3
0
0
11
10
8
2
8
7
8
5
1
0
14
3
15
15
0
13
0
0
0
0
2
2
15
15
0
0
9
15
0
0
0
0
0
11
2
15
10
5
5
0
6
0
7
0
15
15
0
0
0
0
0
0
7
5
15
15
0
0
4
7
0
0
0
0
7
2
15
0
14
10
0
3
6
0
5
9
15
15
1
0
0
0
0
0
7
0
15
15
0
0
9
15
0
0
0
0
0
4
15
15
15
5
0
10
7
0
8
0
15
15
0
4
0
0
0
0
1
1
15
15
0
0
6
7
0
6
0
0
13
10
8
9
8
8
3
0
0
0
12
9
13
15
2
6
0
0
0
0
0
3
15
15
0
0
9
11
0
0
0
0
5
4
15
9
6
10
0
11
3
6
0
6
15
14
1
2
0
0
0
0
7
11
15
15
0
0
6
6
0
0
0
0
6
0
6
0
14
12
12
6
0
0
7
9
15
15
2
0
0
0
0
0
5
13
15
15
0
0
15
15
0
0
0
0
0
7
15
8
15
15
3
5
3
4
0
10
15
15
7
0
0
0
0
0
3
2
15
15
0
0
8
11
5
3
0
0
10
6
15
15
14
15
4
0
0
0
15
0
15
15
0
15
0
0
3
0
0
0
15
15
0
0
15
12
0
0
0
0
3
9
10
5
15
8
6
15
5
0
4
9
15
15
6
1
0
0
0
1
3
8
15
15
0
2
8
15
0
2
0
0
2
3
13
15
10
7
0
4
2
1
15
2
15
13
0
0
0
0
0
0
8
0
15
15
3
0
13
14
0
0
0
0
1
0
9
15
15
14
0
3
4
0
13
0
14
15
1
4
0
0
0
0
0
0
13
15
0
0
9
6
15
0
0
0
7
7
0
7
6
15
0
9
9
4
15
2
15
15
15
7
0
0
2
0
15
15
0
0
15
15
5
15
0
6
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
4
0
0
4
12
0
5
15
15
0
0
15
15
1
6
13
0
0
0
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
0
0
8
2
3
15
15
0
0
15
15
0
2
2
0
0
0
0
0
15
15
15
15
0
0
0
0
0
1
0
0
5
1
15
0
0
0
15
15
0
2
15
15
13
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
12
0
0
0
12
6
0
2
0
15
15
0
0
15
15
2
1
4
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
4
0
0
15
15
0
0
15
15
10
10
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
2
0
0
0
1
0
12
0
0
15
15
0
0
15
15
0
4
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
5
0
9
0
0
15
15
0
0
15
15
9
3
4
0
0
0
0
0
15
15
15
13
0
0
0
0
1
0
0
0
0
0
13
4
0
0
15
15
0
0
15
15
0
5
0
3
0
0
0
0
15
15
15
15
0
0
0
0
6
13
0
0
0
2
15
0
0
1
15
15
0
0
14
15
0
9
0
3
0
0
0
0
15
15
15
15
0
0
0
0
5
2
0
0
0
0
0
0
0
0
15
15
0
10
15
15
0
0
3
5
0
0
0
0
15
15
15
15
0
1
0
0
0
15
0
5
5
0
5
0
1
0
15
15
0
0
15
15
0
8
3
0
0
3
0
0
15
15
15
15
0
0
0
0
0
0
0
0
4
0
15
13
12
11
15
15
0
0
15
14
4
8
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
0
2
3
0
4
15
15
0
0
15
15
6
0
0
0
0
1
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
3
3
3
5
0
15
15
0
0
15
15
1
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
1
2
0
0
4
0
3
0
0
0
15
15
0
6
15
15
1
15
4
1
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
9
0
0
8
1
0
15
15
0
2
13
15
2
1
6
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
1
0
15
5
0
1
15
15
0
0
15
15
0
2
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
11
0
0
0
15
15
0
0
13
15
0
10
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
1
0
0
0
0
0
15
15
0
0
15
14
2
12
1
9
0
0
0
0
15
15
15
15
0
0
0
0
10
0
0
0
0
3
7
5
0
0
15
15
0
0
15
15
0
9
3
1
0
0
0
0
15
15
15
13
0
0
0
0
0
0
0
0
4
4
8
8
0
5
15
15
0
10
15
15
1
10
0
1
1
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
1
0
15
0
9
5
15
15
11
0
15
14
6
5
0
0
0
0
0
0
15
15
15
15
0
0
0
0
1
0
0
0
2
0
0
14
4
0
15
15
0
0
15
15
5
0
12
0
0
0
0
0
15
15
15
15
0
0
0
0
9
0
0
0
0
1
9
0
6
0
15
15
6
0
15
15
11
1
0
0
0
0
0
0
15
15
15
15
0
0
0
0
8
6
0
0
2
4
0
5
2
0
15
15
0
0
15
13
2
3
9
9
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
5
0
1
0
0
2
15
15
0
4
15
15
1
0
0
4
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
3
0
0
2
2
0
15
15
0
0
15
15
0
7
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
6
3
0
4
0
15
15
0
0
15
15
0
3
6
0
0
0
0
0
15
15
15
15
0
0
0
0
0
7
0
0
15
0
7
6
0
0
15
15
0
4
11
15
5
4
3
0
0
0
0
0
15
15
15
15
0
0
0
0
6
5
0
0
0
10
1
0
7
0
15
15
0
0
15
15
6
0
2
1
0
1
0
0
15
15
15
15
0
0
0
0
2
2
0
0
0
8
7
2
3
0
15
15
0
0
15
13
0
1
6
0
0
0
0
0
15
15
15
15
0
0
0
0
0
8
0
0
4
0
5
0
0
3
15
15
0
1
15
15
0
6
13
0
0
0
0
0
15
15
15
15
0
0
0
0
3
2
0
0
2
3
0
4
0
3
15
15
0
0
15
15
0
2
1
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
4
0
0
4
15
15
0
0
15
15
0
1
5
1
0
0
0
0
15
15
15
15
0
0
0
0
0
8
0
0
0
0
0
0
7
3
15
15
0
0
15
15
11
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
3
1
0
0
0
3
2
0
0
0
15
15
0
0
15
15
8
0
2
0
0
0
0
0
15
15
15
15
0
0
0
0
3
0
0
0
0
3
13
11
0
0
15
15
0
0
15
15
3
8
0
8
0
0
0
0
15
15
15
15
0
0
0
0
9
0
0
0
7
6
6
0
0
2
15
15
0
0
15
15
5
0
2
0
0
0
0
0
15
15
15
15
0
0
0
0
0
4
0
0
4
0
9
5
2
0
15
15
5
0
13
15
0
0
2
2
15
4
0
0
15
15
15
15
0
0
0
0
2
2
0
0
10
1
9
0
0
0
11
10
15
15
0
15
12
7
0
0
0
0
3
2
0
15
15
10
3
13
0
15
5
0
15
15
5
0
0
0
0
0
0
0
15
15
0
0
5
15
0
3
0
0
4
0
15
15
10
14
7
0
5
0
3
15
15
15
5
1
0
0
0
0
5
0
15
15
0
0
6
14
0
0
0
0
6
0
8
15
10
10
4
7
0
0
6
0
15
15
8
0
0
0
0
0
2
3
15
15
2
0
12
11
1
0
0
0
3
9
15
4
10
6
5
0
3
0
1
6
13
15
0
7
0
0
0
0
4
5
15
15
2
0
0
15
0
0
0
0
4
5
7
11
4
10
4
10
0
0
0
10
14
14
5
0
0
0
0
0
2
0
15
15
4
0
9
2
0
0
0
0
8
13
8
0
12
7
12
3
11
0
6
1
13
15
0
2
0
0
0
0
6
11
15
15
0
0
15
9
0
1
0
0
2
4
5
0
8
15
7
4
0
0
6
1
15
15
0
8
0
0
0
0
0
6
15
15
0
0
15
3
0
0
0
0
8
8
9
7
15
11
1
0
0
0
9
8
15
15
4
0
0
0
0
0
0
0
15
15
0
0
13
15
0
0
0
0
10
10
15
14
15
15
4
12
0
0
0
4
15
15
1
2
0
0
0
0
3
7
15
15
0
0
7
9
3
0
0
0
8
12
0
12
7
4
0
7
0
3
15
5
15
15
15
0
0
0
0
0
4
7
15
15
0
0
1
13
0
0
0
0
0
0
15
15
15
13
2
8
0
0
15
4
15
14
6
0
0
0
0
0
0
0
15
15
4
0
11
14
0
11
0
0
6
4
15
15
11
15
2
3
3
0
0
3
15
15
4
0
0
0
0
0
0
15
15
15
0
0
9
5
0
0
0
0
10
3
6
14
11
11
4
3
0
5
7
1
15
15
14
4
0
0
0
0
0
4
15
15
0
0
9
3
0
0
0
0
12
0
15
2
8
13
0
11
3
0
15
2
15
15
0
1
0
0
0
0
11
8
15
15
0
0
15
7
0
0
0
0
7
12
5
13
11
7
9
5
2
0
6
0
15
15
0
0
0
0
0
0
0
9
15
15
3
0
10
3
0
3
0
0
14
5
15
8
14
15
3
2
0
2
9
12
15
15
6
1
0
0
0
0
0
8
15
15
0
4
2
3
0
0
0
0
0
0
12
15
15
12
0
9
0
4
0
6
15
15
0
0
0
0
0
0
11
0
15
15
0
0
9
10
3
2
0
0
1
5
0
7
12
5
1
15
0
2
0
8
15
15
6
0
0
0
0
0
1
7
15
15
0
0
9
15
0
4
0
0
6
1
15
15
4
14
4
2
8
0
9
4
15
15
15
6
0
0
0
0
0
0
15
15
0
0
1
6
3
11
0
0
9
4
0
15
10
15
0
2
0
3
15
6
15
15
0
1
0
0
0
0
10
8
15
15
0
0
8
15
1
0
0
0
0
0
15
15
8
15
5
9
3
6
3
5
15
15
2
0
0
0
0
0
10
5
15
15
4
6
9
5
0
0
0
0
11
6
9
5
15
8
7
7
0
0
2
15
15
15
0
5
0
0
0
0
0
15
15
15
0
0
15
9
0
0
0
0
0
1
15
7
15
12
0
11
0
0
14
0
15
15
7
1
0
0
0
0
0
11
15
15
3
0
8
9
0
0
0
0
2
1
7
15
15
12
0
1
2
0
8
8
15
13
0
0
0
0
0
0
4
5
15
15
0
0
15
15
0
0
0
0
12
0
0
15
15
8
3
6
4
0
15
3
15
15
0
8
0
0
0
0
0
0
15
15
0
0
6
5
0
0
0
0
8
0
10
15
4
13
0
0
0
5
6
0
15
15
1
15
0
0
0
0
0
0
15
15
1
0
8
15
0
0
0
0
3
11
14
15
10
10
1
1
0
1
7
5
15
15
0
0
0
0
0
0
5
5
15
15
0
0
6
15
0
2
0
0
3
8
15
0
12
9
1
9
6
0
0
15
15
15
2
3
0
0
0
0
0
4
15
15
2
0
10
10
0
0
0
0
5
10
15
7
15
15
1
6
2
0
2
2
15
15
5
0
0
0
0
0
4
0
15
15
0
0
12
1
3
0
0
0
4
2
11
0
15
8
11
0
0
0
8
10
15
15
0
4
0
0
0
0
0
0
15
15
0
1
8
7
0
4
0
0
4
0
15
15
5
15
2
11
0
0
10
0
15
15
0
6
0
0
0
0
0
11
15
15
0
0
13
13
0
0
0
0
0
0
15
5
15
15
3
0
0
0
0
15
15
15
2
2
0
0
0
0
0
0
15
15
0
0
15
13
0
0
0
0
7
2
8
8
2
8
0
0
0
0
0
12
14
15
0
0
0
0
0
0
1
0
15
15
0
1
15
7
0
0
0
0
3
8
15
8
9
14
5
0
0
0
0
15
15
15
12
0
0
0
0
0
4
0
15
15
0
0
14
15
1
3
0
0
1
12
15
0
10
12
5
1
4
2
0
15
15
15
3
0
0
0
0
0
0
1
15
15
0
0
9
7
8
0
0
0
9
1
11
0
13
11
2
1
1
8
13
2
15
15
6
4
0
0
0
0
1
9
15
15
0
0
7
4
0
4
0
0
1
0
15
3
15
15
3
2
12
0
11
2
15
15
2
8
0
0
0
0
0
0
15
15
0
0
4
2
0
0
0
0
0
3
13
9
12
7
5
2
1
3
12
10
15
15
5
6
0
0
0
0
0
0
15
15
6
0
4
3
0
6
0
0
5
1
15
0
7
11
6
1
2
0
4
10
15
15
0
6
0
0
0
0
15
15
15
15
0
0
7
15
15
0
0
0
9
5
0
0
13
4
12
6
0
9
15
6
12
15
15
14
0
0
2
0
15
15
0
0
15
11
5
15
3
10
0
0
0
0
15
15
15
15
0
0
0
5
0
3
0
0
0
0
12
8
0
6
15
15
0
0
14
15
0
0
10
0
0
0
0
0
15
15
15
15
0
0
0
0
7
0
0
0
7
0
0
2
0
6
15
15
1
0
13
13
0
13
0
7
0
1
0
0
15
15
15
15
0
0
0
0
0
1
0
0
0
0
7
0
0
0
15
15
1
0
15
15
3
5
0
4
0
0
0
0
15
15
15
15
0
0
0
0
5
0
0
0
10
0
0
2
0
0
15
15
0
1
15
15
2
5
2
0
0
0
0
0
15
15
15
15
0
0
0
0
3
0
0
0
0
0
1
2
1
10
15
15
0
1
15
15
2
0
0
6
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
4
0
0
3
0
15
15
0
0
15
15
8
0
1
0
0
0
0
0
15
15
15
15
0
0
0
0
0
6
0
0
0
4
5
0
8
5
15
15
0
0
15
15
0
0
6
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
2
1
0
1
3
15
15
0
0
15
15
2
2
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
3
2
0
15
15
0
0
15
15
7
15
0
0
0
0
0
0
15
15
15
15
0
0
0
0
4
0
0
0
5
0
0
0
0
1
15
15
0
2
15
14
0
8
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
10
0
2
5
10
0
15
15
7
0
13
14
3
1
3
2
0
0
0
0
14
15
15
15
0
0
0
0
3
0
0
0
4
2
3
1
0
0
15
15
0
0
15
15
12
4
3
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
4
0
13
5
0
8
15
15
0
0
15
15
0
3
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
4
2
1
2
4
3
15
15
4
0
15
13
4
1
4
0
0
0
0
0
15
15
12
15
0
0
0
0
0
0
0
0
6
2
11
0
0
0
15
15
0
0
15
15
15
12
1
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
5
0
0
0
15
15
0
0
15
15
3
1
2
1
0
0
0
0
15
15
15
15
0
0
0
0
0
8
0
0
0
8
1
0
4
0
15
15
0
0
15
15
0
0
1
0
0
0
0
0
15
15
15
15
0
0
0
0
3
0
0
0
0
0
2
0
0
0
15
15
5
0
15
15
1
8
5
0
0
0
0
0
15
15
15
14
0
0
0
0
0
0
0
0
0
0
0
4
0
0
15
15
0
0
15
14
4
0
0
8
0
1
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
7
0
6
0
15
15
0
4
15
15
5
4
6
2
0
0
0
0
15
15
15
15
0
0
0
0
3
0
0
0
3
9
0
2
1
4
15
15
0
3
15
15
3
13
0
1
0
0
0
0
15
15
15
15
0
0
0
0
1
4
0
0
0
3
0
11
0
0
15
15
0
0
15
15
8
0
0
0
0
0
0
0
13
15
15
15
0
0
0
0
0
5
0
0
0
5
3
8
12
0
15
15
0
0
15
15
0
8
12
0
0
0
0
0
15
15
15
15
0
0
0
0
2
0
0
0
0
0
3
1
2
2
15
15
0
0
15
15
7
0
0
4
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
1
1
7
8
0
0
15
15
0
3
15
15
1
12
3
4
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
4
0
4
15
15
0
0
15
15
2
4
0
1
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
3
0
0
15
15
0
2
15
14
1
12
0
0
0
0
0
0
15
14
15
15
0
0
0
0
5
15
0
0
8
0
1
3
2
5
15
15
0
0
15
15
3
1
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
2
2
0
8
15
15
2
0
14
15
0
0
0
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
0
0
4
4
15
15
0
0
15
15
6
2
0
0
4
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
2
0
2
0
0
15
15
0
0
15
15
4
0
7
0
0
0
0
0
15
15
15
15
0
0
0
0
0
8
0
0
2
1
0
0
0
7
15
15
0
2
15
15
7
8
2
1
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
0
0
4
0
0
6
15
15
0
0
15
15
0
5
2
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
3
8
2
0
0
15
15
0
0
15
15
4
7
0
0
0
0
0
0
15
15
15
15
0
0
0
0
2
7
0
0
3
1
2
5
2
1
15
15
0
0
15
15
12
7
3
0
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
0
10
4
0
2
15
15
0
0
15
15
15
0
3
0
0
0
0
0
15
15
15
15
0
0
0
0
12
0
0
0
0
2
1
1
1
0
15
15
1
3
14
15
8
0
5
9
0
0
0
0
15
15
15
15
0
0
0
0
0
0
0
0
2
0
3
11
2
0
15
15
0
0
15
13
0
5
1
1
0
0
0
0
15
15
15
15
0
0
0
0
1
0
0
0
0
4
4
15
0
0
15
15
0
0
15
15
3
0
6
4
15
3
2
0
15
15
15
15
0
0
0
0
12
14
0
0
7
9
10
13
0
0
2
0
15
15
0
15
15
5
2
0
0
1
0
4
15
15
15
15
8
11
1
15
9
0
15
15
0
2
0
0
0
0
4
0
15
15
0
0
7
8
0
0
0
0
4
3
15
12
12
12
4
0
3
0
0
15
15
15
6
0
0
0
0
0
0
3
15
15
2
0
15
9
0
0
0
0
8
4
15
10
15
8
7
1
0
0
7
4
15
15
0
7
0
0
0
0
3
0
15
15
0
0
7
15
7
0
0
0
4
0
2
15
3
13
1
1
0
7
14
0
15
15
8
0
0
0
0
0
8
9
15
15
0
0
11
4
0
0
0
0
6
2
15
0
15
15
10
6
1
0
0
13
13
14
5
6
0
0
0
0
4
0
15
15
3
0
14
10
0
0
0
0
11
2
5
7
15
11
7
3
0
0
10
0
15
15
1
0
0
0
0
0
2
1
15
15
5
0
10
3
0
0
0
0
14
2
15
15
11
13
4
0
11
12
4
10
15
15
0
3
0
0
0
0
0
2
15
15
0
0
10
8
0
0
0
0
5
2
8
2
9
8
4
3
0
0
0
0
15
15
0
2
0
0
0
0
9
10
15
15
0
8
3
3
0
0
0
0
6
10
15
1
6
10
1
9
1
0
4
6
13
15
0
0
0
0
0
0
11
4
15
15
0
0
5
12
0
0
0
0
4
0
0
10
15
9
4
0
0
0
15
6
15
15
7
5
0
0
0
0
0
4
15
15
3
0
3
15
0
0
0
0
11
5
13
15
10
14
5
8
0
9
3
0
15
15
2
0
0
0
0
0
0
6
15
15
0
0
8
2
1
0
0
0
4
5
9
15
9
14
12
0
0
15
10
2
15
15
2
0
0
0
0
0
3
0
15
15
0
2
7
15
2
0
0
0
2
0
6
11
15
9
5
3
0
9
10
4
15
15
5
0
0
0
0
0
1
0
15
15
0
0
12
3
0
0
0
0
9
12
15
15
7
12
0
15
0
11
6
2
14
15
0
0
0
0
0
0
0
3
15
15
0
0
13
6
0
0
0
0
4
1
13
15
15
11
3
0
0
4
1
15
15
15
7
9
0
0
0
0
0
3
15
15
0
4
7
12
0
0
0
0
1
4
12
9
11
11
0
0
0
7
0
1
15
14
8
0
0
0
0
0
0
0
15
15
1
0
14
7
0
0
0
0
4
10
15
15
10
3
5
4
0
0
0
15
15
15
1
5
0
0
0
0
0
6
15
15
0
0
5
8
3
0
0
0
4
4
6
14
15
11
2
7
0
3
9
2
15
15
0
0
0
0
0
0
1
3
15
15
0
0
8
13
0
0
0
0
4
10
15
15
4
15
0
13
4
4
0
5
15
15
13
5
0
0
0
0
10
0
15
15
0
0
5
6
4
5
0
0
6
10
13
0
7
9
0
3
6
0
15
15
15
15
9
0
0
0
0
0
3
12
15
15
0
3
9
4
0
4
0
0
6
9
14
15
12
14
0
3
2
7
2
13
15
15
4
2
0
0
0
0
5
10
15
15
0
10
11
15
0
0
0
0
9
4
0
3
15
10
0
6
0
0
7
8
15
15
0
1
0
0
0
0
9
0
15
15
0
0
10
14
0
0
0
0
8
7
0
15
6
15
5
3
0
10
15
0
15
15
7
3
0
0
0
0
0
8
15
15
0
0
13
15
0
7
0
0
6
6
14
12
9
15
9
0
3
0
1
0
15
15
1
0
0
0
0
0
6
0
15
15
5
0
4
0
0
0
0
0
2
10
0
11
15
12
11
9
0
9
15
2
15
15
0
0
0
0
0
0
3
1
15
15
0
0
11
12
0
0
0
0
4
9
11
15
15
13
9
0
0
12
12
0
15
15
1
6
0
0
0
0
1
13
15
15
0
0
13
4
0
0
0
0
2
0
14
15
6
9
1
0
0
10
4
0
15
15
0
2
0
0
0
0
4
1
15
15
1
0
11
15
0
0
0
0
4
3
15
5
12
15
11
12
5
0
2
15
15
15
0
0
0
0
0
0
3
12
15
15
0
0
14
8
0
0
0
0
9
0
15
15
11
15
4
1
0
0
0
3
15
15
0
1
0
0
0
0
10
7
15
15
1
0
15
15
0
0
0
0
8
7
15
0
5
5
5
11
3
0
0
15
14
14
4
11
0
0
0
0
4
0
15
15
0
0
15
14
5
0
0
0
7
7
0
15
3
2
13
4
0
0
15
0
12
15
7
0
0
0
0
4
10
0
15
15
0
0
10
8
0
0
0
0
9
5
15
15
8
3
8
1
3
4
15
14
15
15
0
0
0
0
0
0
8
15
15
15
0
0
15
14
0
2
0
0
5
4
15
4
14
15
2
1
8
4
0
14
15
15
8
1
0
0
0
0
0
7
15
15
0
0
10
5
0
0
0
0
5
7
15
13
9
6
2
0
0
0
9
15
15
15
0
0
0
0
0
0
4
0
15
15
0
0
14
8
0
0
0
0
10
7
5
14
14
10
2
3
0
0
15
0
15
15
12
8
0
0
0
0
4
9
15
15
0
0
15
6
0
0
0
0
6
0
15
15
11
10
11
0
0
5
15
7
15
13
0
12
0
0
0
0
0
0
15
15
0
0
6
2
0
0
0
0
11
9
15
12
6
8
8
1
10
0
5
0
15
15
0
8
0
0
0
0
6
5
15
15
0
0
0
6
0
5
0
0
1
5
15
5
10
7
3
0
10
0
7
8
15
15
2
11
0
0
0
0
0
0
15
15
0
0
3
15
0
3
0
0
2
2
15
15
12
9
3
15
0
0
6
11
15
15
8
15
0
0
0
0
5
0
15
15
0
0
14
10
15
0
0
0
8
3
15
3
15
15
13
10
3
0
15
15
15
15
15
8
0
0
0
0