32128
512
32128
1
32128
512
32128
1
32128
512
32128
1
32128
512
-1
1
2
-1
1
32128
512
-1
1
-1
1
512
1
1
1
-1
1
512
1
-1
1
1
1
1
1
-1
1
1
1
1
1
-1
1
1
-1
1
512
-1
1
1
1
1
512
-1
1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
1
512
512
512
-1
1
512
4
-1
1
8
64
4
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
1
512
512
512
-1
1
512
4
-1
1
8
64
4
-1
8
-1
64
-1
8
1
64
-1
8
1
64
-1
8
-1
64
32
8
32
1
32
8
32
1
32
8
32
1
32
8
-1
8
-1
64
4
-1
1
2
-1
-1
-1
1
1
-1
-1
1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
1
1
-1
-1
1
1
-1
-1
-1
-1
1
1
-1
-1
-1
-1
1
1
-1
-1
1
1
-1
-1
-1
-1
1
1
-1
-1
1
1
-1
-1
-1
-1
-1
-1
-1
-1
32
8
-1
-1
-1
-1
8
3
8
-1
-1
1
1
1
1
8
-1
-1
1
1
1
1
2
1
1
1
1
2
-1
-1
2
-1
-1
-1
2
-1
-1
1
-1
-1
1
1
-1
-1
-1
-1
1
1
1
1
2
2
-1
-1
2
-1
-1
1
-1
-1
1
1
1
1
1
1
-1
-1
4
-1
1
-1
-1
1
-1
1
-1
-1
4
-1
4
-1
1
-1
-1
1
1
1
1
-1
1
-1
-1
2
-1
1
-1
-1
1
1
1
1
-1
-1
-1
1
-1
-1
1
-1
-1
-1
1
1
-1
-1
1
-1
-1
1
1
1
1
-1
1
-1
-1
-1
1
-1
-1
-1
1
-1
-1
-1
1
-1
-1
4
-1
1
-1
-1
1
-1
-1
1
-1
-1
4
1
1
1
-1
1
-1
-1
1
1
1
1
1
8
-1
-1
-1
1
-1
-1
-1
8
1
-1
-1
8
-1
-1
-1
8
-1
-1
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
1
512
512
512
-1
1
512
4
-1
1
8
64
4
-1
8
-1
64
-1
8
1
64
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
-1
-1
1
-1
-1
1
1
-1
-1
1
1
-1
1
1
1
1
1
1
1
1
-1
1
1
-1
-1
1
1
-1
1
1
1
1
-1
8
-1
64
4
1
-1
1
1
-1
1
1
1
1
-1
1
1
-1
-1
-1
512
3
1
1
1
1
1
4
4
-1
1
1
-1
4
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
1
1
1
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
512
512
1
512
512
512
1
512
512
512
1
512
512
-1
-1
512
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
1
1
512
-1
-1
512
2048
512
2048
1
2048
512
2048
1
2048
512
2048
1
2048
512
-1
-1
512
2048
512
-1
-1
2048
512
2048
512
1
512
2048
512
1
512
2048
512
1
512
2048
-1
-1
2048
512
2048
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
-1
-1
512
1
-1
-1
1
1
1
1
-1
-1
1
1
1
1
-1
-1
1
-1
-1
512
-1
-1
1
-1
-1
512
1
1
512
-1
-1
512
32128
512
-1
-1
32128
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64
-1
8
-1
64