51865
512
51865
1
51865
512
51865
1
51865
512
51865
1
51865
512
-1
-1
2
-1
-1
51865
512
-1
-1
448
512
448
1
448
512
448
1
448
512
448
1
448
512
-1
-1
2
-1
1
-1
448
512
1
-1
-1
-1
512
1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
2
-1
-1
2
-1
-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
2
1
1
1
1
1
1
1
-1
-1
4
-1
-1
512
3
1
-1
1
-1
-1
1
1
1
1
-1
8
-1
-1
-1
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
1
1
1
1
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
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
1
-1
-1
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
64
-1
8
-1
64
-1
8
-1
-1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
-1
512
512
-1
-1
512
1
1
512
-1
-1
512
4
-1
-1
8
64
4
-1
8
-1
-1
-1
8
-1
64
-1
8
-1
64
4
-1
-1
8
64
3
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
512
4
1
512
4
128
2
512
512
-1
-1
512
512
512
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2048
4
1
2048
4
128
2
2048
512
-1
-1
512
2048
512
-1
-1
2048
1
1
2048
-1
-1
2048
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
512
16
1
512
16
128
2
512
2048
-1
-1
2048
512
2048
-1
-1
512
1
1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
-1
-1
512
1
1
512
-1
-1
512
1
1
512
-1
-1
512
51865
512
-1
-1
51865