-1
-1
-1
-1
128
3
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
3
-1
32
-1
1
-1
128
-1
-1
-1
32
-1
4
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
128
128
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
3
-1
32
-1
1
-1
128
-1
-1
-1
32
-1
4
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
128
128
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
-1
128
-1
-1
3
-1
32
-1
1
-1
128
-1
-1
-1
32
-1
4
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
128
128
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
3
-1
32
-1
1
-1
128
-1
-1
-1
32
-1
4
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
128
128
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
-1
128
-1
-1
128
128
3
3
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
256
128
1
1
-1
256
-1
-1
1
256
1
1
-1
128
-1
-1
3
-1
32
-1
1
-1
128
-1
-1
-1
32
-1
4
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
1
128
1
1
-1
128
-1
-1
-1
128
-1
-1
256
128
3
3
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
3
-1
32
-1
1
-1
256
-1
-1
-1
32
-1
4
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
256
256
3
3
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
-1
256
-1
-1
3
-1
32
-1
1
-1
256
-1
-1
-1
32
-1
4
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
256
256
3
3
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
3
-1
32
-1
1
-1
256
-1
-1
-1
32
-1
4
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
256
256
3
3
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
-1
256
-1
-1
256
256
3
3
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
512
256
1
1
-1
512
-1
-1
1
512
1
1
-1
256
-1
-1
3
-1
32
-1
1
-1
256
-1
-1
-1
32
-1
4
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
1
256
1
1
-1
256
-1
-1
-1
256
-1
-1
512
256
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
4
1
4
4
1
1
1
1
-1
512
-1
-1
3
-1
512
-1
3
-1
-1
512
3
-1
512
-1
3
-1
32
-1
1
-1
512
-1
-1
32
-1
3
-1
512
-1
1
512
1
-1
512
-1
1
512
1
-1
512
-1
3
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
3
1
3
1
3
1
1
1
1
1
-1
-1
512
4
-1
-1
1
512
4
1
1
1
-1
1
-1
512
3
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
3
1
3
1
3
1
1
1
1
1
-1
-1
512
4
-1
-1
1
512
4
1
1
1
-1
1
-1
512
3
-1
-1
512
3
-1
512
-1
1
1
1
-1
-1
512
-1
512
-1
1
1
1
-1
-1
-1
-1
-1
-1
-1
-1
512
3
2
-1
-1
512
3
1
2
1
3
3
3
3
-1
-1
-1
3
-1
-1
-1
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
3
1
3
1
3
1
1
1
1
1
-1
-1
512
4
-1
-1
1
512
4
1
1
1
-1
1
-1
512
3
-1
-1
-1
-1
-1
512
-1
-1
512
3
1
3
1
3
1
1
1
1
1
-1
-1
512
4
-1
-1
-1
-1
4
1
1
1
-1
-1
-1
-1
3
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
3
-1
-1
512
3
1
1
1
1
1
1
1
-1
512
-1
4
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
512
512
3
3
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
-1
512
-1
-1
3
-1
32
-1
1
-1
512
-1
-1
-1
32
-1
4
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
1
512
1
1
-1
512
-1
-1
-1
512
-1
-1
8
512
3
3
-1
8
-1
-1
1
8
1
1
-1
8
-1
-1
8
8
1
1
-1
8
-1
-1
1
8
1
1
-1
8
-1
-1
4
1
1
1
1
1
1
1
1
-1
8
-1
-1
2
-1
4
-1
-1
-1
4
-1
-1
1
1
1
1
-1
4
-1
-1
-1
4
-1
-1
4
1
1
-1
4
-1
-1
-1
4
-1
-1
1
1
1
1
-1
4
-1
-1
4
1
1
-1
4
-1
-1
1
1
1
1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1
-1
4
-1
-1