30522
128
-1
-1
-1
-1
128
1
1
1
1
6
6
2
3
2
1
1
1
1
3
2
2
2
3
1
6
6
-1
-1
128
3
3
-1
-1
128
1
1
1
1
6
6
2
3
2
1
1
1
1
3
2
2
2
3
1
6
6
-1
-1
128
3
3
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
384
384
512
512
-1
-1
512
-1
-1
2
1
1
512
1
1
1
1
512
512
1
-1
-1
-1
512
1
-1
512
2
512
-1
-1
-1
-1
512
-1
-1
512
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-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
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
32
-1
4
32
-1
-1
4
-1
-1
-1
4
-1
-1
-1
1
1
-1
-1
4
-1
-1
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
3
1
-1
-1
128
3
1
1
1
1
1
-1
-1
128
4
-1
-1
4
32
4
-1
4
-1
-1
-1
4
-1
32
-1
4
-1
32
1
1
1
1
-1
4
-1
32
4
-1
-1
4
32
4
1
-1
-1
4
32
4
1
1
1
1
-1
-1
4
32
3
128
128
128
128
128
1
128
128
2
-1
-1
128
128
128
128
-1
-1
128
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
128
-1
-1
128
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
128
512
128
512
128
1
128
512
2
-1
-1
512
512
128
128
-1
-1
128
-1
-1
128
-1
-1
128
-1
-1
128
1
1
1
1
-1
-1
128
128
-1
-1
128
128
-1
-1
128
1
1
1
1
512
128
512
128
512
1
512
128
2
-1
-1
128
128
512
512
-1
-1
512
-1
-1
512
-1
-1
512
-1
-1
512
1
1
1
1
-1
-1
512
512
-1
-1
512
512
-1
-1
512
1
1
1
1
2
512
2
512
2
1
2
512
2
-1
-1
512
512
2
2
-1
-1
2
-1
-1
2
2
-1
-1
1
3
1
1
1
1
-1
-1
1
-1
-1
1
-1
-1
1
1
-1
-1
-1
-1
1
-1
-1
1
3
1
1
1
1
-1
-1
1
-1
-1
1
-1
-1
1
1
-1
-1
-1
-1
1
-1
-1
-1
-1