0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
3
0
2
1
x1
0
3
2
1
0
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
2.2
0
2
3
1
x1
3
2
0
1
x1
5
3
0
2
1
x1
1
5
x1
5
3
1
1
4
x1
1
5
2
1
x1
4
5
3
2
1
x1
1
5
2
4
x1
3
4
3
2
1
x1
4
1
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
3
0
2
1
x1
3
2
1
0
x1
3
0
4
5
1
x1
0
3
4
1
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
4
1
5
2
1
x1
0
5
4
3
1
x1
1
4
5
x1
0
3
3
1
2
x1
1
0
3
2
x1
5
3
0
1
1
x1
5
0
x1
3
0
2
5
1
x1
0
3
2
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
1
2
1
4
5
x1
0
5
4
3
1
x1
4
1
4
5
x1
0
1
2
3
1
x1
3
1
2
2
x1
3
3
1
1
1
x1
1
3
1
1
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
0
1
0
1
2
x1
1
3
x1
3
0
2
1
x1
0
x1
3
5
0
2
1
x1
3
2
0
5
1
x1
0
1
2
3
1
x1
0
3
1
2
x1
3
3
1
1
4
x1
4
3
1
3
1
x1
3
0
1
1
x1
1
1
0
x1
0
1
5
3
1
x1
5
4
1
x1
3
0
2
1
x1
4
2
1
0
x1
5
3
0
1
1
x1
1
1
5
0
x1
3
3
0
1
4
x1
3
1
4
x1
3
5
0
2
1
x1
0
5
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
5
2
3
1
x1
5
0
3
2
1
x1
3
0
4
5
1
x1
3
4
1
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
4
0
1
1
4
x1
3
4
4
1
x1
3
3
0
1
4
x1
0
3
1
4
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
0
3
3
2
1
x1
3
1
4
x1
4
0
1
1
4
x1
1
x1
5
3
1
1
2
x1
1
4
5
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
3
0
2
3
1
x1
3
1
2
x1
0
5
4
3
1
x1
4
5
x1
3
0
2
3
1
x1
1
2
x1
5
0
2
3
1
x1
3
2
1
0
x1
0
2
3
1
x1
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
4
0
1
1
4
x1
4
4
1
x1
3
3
1
1
4
x1
1
3
1
x1
5
4
3
4
1
x1
1
5
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
0
1
1
x1
0
x1
3
0
2
1
x1
1
0
x1
0
1
1
2
x1
0
3
1
2
x1
5
3
1
1
2
x1
5
x1
0
1
0
1
2
x1
1
1
3
x1
5
3
0
1
1
x1
3
1
1
5
0
x1
5
4
3
4
1
x1
3
4
4
1
5
x1
3
0
1
1
x1
3
4
1
1
0
x1
0
1
2
3
1
x1
1
2
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
0
1
2
3
1
x1
0
3
2
1
x1
3
0
2
5
1
x1
5
0
1
x1
3
0
1
2
x1
4
4
1
2
x1
0
1
2
3
1
x1
0
3
1
2
2
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
4
0
1
1
4
x1
0
3
4
4
1
x1
0
3
3
1
2
x1
0
1
0
3
2
x1
0
5
2
3
1
x1
0
3
2
1
x1
3
0
1
0
2
x1
0
4
1
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
5
4
3
4
1
x1
4
1
5
x1
3
0
2
5
1
x1
4
0
3
2
1
x1
5
0
1
1
4
x1
3
1
5
1
4
x1
3
0
2
1
x1
1
4
x1
3
0
2
1
x1
3
4
2
1
0
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
0
5
2
3
1
x1
5
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
5
3
1
1
4
x1
1
x1
3
0
2
5
1
x1
3
2
1
x1
0
1
2
3
1
x1
3
2
1
x1
0
1
2
3
1
x1
1
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
0
1
1
2
x1
1
0
3
1
2
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
3
0
2
5
1
x1
0
1
x1
4
5
3
2
1
x1
4
x1
3
3
1
1
1
x1
3
1
1
x1
0
1
2
3
1
x1
4
0
3
1
2
x1
0
5
2
3
1
x1
3
2
1
5
4
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
3
0
2
1
x1
3
2
1
4
x1
0
5
2
3
1
x1
4
x1
5
4
3
4
1
x1
5
x1
3
3
1
1
2
x1
3
2
1
4
3
x1
0
2
3
1
x1
3
4
2
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
1
4
0
1
2
x1
1
4
0
3
1
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
5
3
2
1
x1
5
2
4
x1
0
3
3
1
2
x1
3
2
x1
3
0
1
1
x1
4
1
1
0
x1
3
5
0
2
1
x1
5
1
x1
5
0
1
1
4
x1
1
5
1
4
x1
3
5
0
2
1
x1
5
2
4
1
x1
3
0
1
0
2
x1
3
2
0
4
1
x1
5
4
3
4
1
x1
4
4
1
5
x1
3
5
0
2
1
x1
3
5
2
4
1
x1
5
3
0
2
1
x1
5
1
2
4
x1
3
0
4
5
1
x1
4
1
x1
3
0
1
2
x1
1
2
4
x1
0
1
5
3
1
x1
4
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
0
2
3
1
x1
1
0
x1
0
2
3
1
x1
4
2
x1
5
3
1
1
2
x1
4
5
x1
3
0
2
3
1
x1
0
3
1
2
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
3
0
2
5
1
x1
3
2
5
0
1
x1
0
1
0
1
2
x1
3
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
2
4
3
1
x1
0
0
3
4
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
1
4
2
x1
3
1
4
2
x1
3
4
3
2
1
x1
0
3
2
4
1
x1
3
0
2
1
x1
1
0
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
0
2
4
3
1
x1
0
x1
0
2
4
3
1
x1
0
3
4
2
x1
5
0
2
3
1
x1
0
3
2
1
0
x1
5
3
1
1
4
x1
5
2
1
x1
3
0
2
1
x1
0
3
2
1
0
x1
5
3
0
1
1
x1
1
5
0
x1
4
5
3
2
1
x1
3
1
5
2
4
x1
0
2
3
1
x1
0
3
2
1
x1
3
0
1
2
x1
4
1
2
x1
5
3
0
2
1
x1
4
x1
3
0
1
2
x1
4
x1
3
0
1
0
2
x1
1
x1
3
4
3
2
1
x1
3
2
4
1
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
0
2
4
3
1
x1
1
2
0
x1
5
3
0
2
1
x1
3
4
2
1
5
x1
5
3
0
2
1
x1
5
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
3
3
1
1
4
x1
3
1
x1
0
3
3
2
1
x1
3
2
3
1
4
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
0
2
3
1
x1
4
x1
0
2
3
1
x1
3
2
1
4
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
1
4
0
1
2
x1
0
3
1
x1
5
3
0
1
1
x1
0
x1
4
0
1
1
4
x1
4
1
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
5
4
3
1
x1
5
x1
0
3
3
1
2
x1
0
3
2
x1
0
2
3
2
1
x1
4
1
2
x1
0
1
5
3
1
x1
1
5
4
1
x1
3
3
1
1
2
x1
3
x1
0
2
3
2
1
x1
1
2
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
5
3
0
2
1
x1
3
5
1
2
4
x1
0
2
3
1
x1
1
4
x1
3
0
1
2
x1
4
1
2
4
x1
0
1
1
2
x1
3
1
2
x1
3
3
1
1
4
x1
3
1
3
1
x1
1
4
0
1
2
x1
4
0
3
1
x1
3
0
4
5
1
x1
0
0
3
4
1
x1
0
1
1
4
2
x1
0
3
1
4
2
x1
3
0
2
1
x1
4
x1
0
2
3
2
1
x1
3
2
4
1
2
x1
3
0
2
5
1
x1
4
x1
5
0
1
1
4
x1
5
1
4
x1
0
1
2
3
1
x1
1
2
2
x1
5
3
0
2
1
x1
4
2
1
5
x1
0
2
4
3
1
x1
3
4
1
2
0
x1
0
2
4
3
1
x1
4
2
x1
3
0
1
2
x1
3
4
4
1
2
x1
3
0
2
1
x1
0
x1
3
5
0
2
1
x1
4
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
5
3
0
2
1
x1
1
2
4
x1
3
3
1
1
2
x1
4
3
x1
0
2
3
1
x1
0
1
x1
0
3
3
2
1
x1
1
4
x1
0
5
2
3
1
x1
3
2
1
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
0
1
2
x1
3
4
1
2
4
x1
3
0
1
1
x1
1
0
x1
3
3
1
1
4
x1
1
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
3
3
2
1
x1
4
x1
5
0
2
3
1
x1
0
x1
0
2
3
1
x1
0
3
4
2
x1
3
0
2
3
1
x1
0
0
3
1
2
x1
3
0
1
0
2
x1
4
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
0
2
3
1
x1
0
3
2
1
4
x1
0
2
4
3
1
x1
3
4
2
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
0
2
3
1
x1
4
0
3
2
1
x1
3
3
1
1
2
x1
1
4
3
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
3
0
2
5
1
x1
3
5
2
1
4
x1
1
4
0
1
2
x1
1
x1
3
0
2
5
1
x1
5
2
1
4
x1
0
1
2
3
1
x1
3
1
2
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
1
4
0
1
2
x1
3
1
x1
3
0
2
5
1
x1
1
4
x1
0
5
2
3
1
x1
1
5
4
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
0
2
4
3
1
x1
4
1
2
0
x1
true
5
4
3
4
1
x1
4
4
1
5
x1
0
5
2
3
1
x1
1
5
4
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
0
2
5
1
x1
1
4
x1
5
0
1
1
4
x1
1
5
1
4
x1
3
0
1
1
x1
4
1
1
0
x1
3
5
0
2
1
x1
5
1
x1
1
4
0
1
2
x1
3
1
x1
1
4
0
1
2
x1
1
4
0
3
1
x1
1
4
0
1
2
x1
1
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
5
4
3
4
1
x1
5
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
5
2
3
1
x1
4
x1
3
3
1
1
2
x1
1
4
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
3
1
1
1
x1
3
1
1
x1
4
5
3
2
1
x1
4
x1
3
0
2
5
1
x1
0
1
x1
3
0
1
0
2
x1
4
1
x1
0
3
3
2
1
x1
4
x1
5
0
2
3
1
x1
0
x1
3
3
1
1
4
x1
1
x1
5
3
1
1
4
x1
1
x1
3
0
1
1
x1
1
0
x1
0
5
2
3
1
x1
5
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
0
3
3
2
1
x1
1
4
x1
3
0
2
1
x1
1
4
x1
0
2
3
1
x1
0
1
x1
5
0
1
1
4
x1
3
1
5
1
4
x1
3
3
1
1
2
x1
4
3
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
5
4
3
4
1
x1
4
1
5
x1
3
0
1
0
2
x1
0
4
1
x1
3
5
0
2
1
x1
4
1
x1
4
0
1
1
4
x1
0
3
4
4
1
x1
3
0
2
1
x1
0
x1
3
0
2
5
1
x1
4
x1
5
0
1
1
4
x1
5
1
4
x1
3
0
2
5
1
x1
5
0
1
x1
3
0
2
1
x1
4
x1
1
4
0
1
2
x1
4
0
3
1
x1
3
0
4
5
1
x1
0
0
3
4
1
x1
5
4
3
4
1
x1
3
4
4
1
5
x1
3
0
1
1
x1
3
4
1
1
0
x1
5
3
0
1
1
x1
3
1
1
5
0
x1
3
3
1
1
4
x1
3
1
3
1
x1
0
2
3
1
x1
1
4
x1
0
1
0
1
2
x1
1
1
3
x1
0
1
5
3
1
x1
1
5
4
1
x1
3
3
1
1
2
x1
3
x1
5
3
1
1
2
x1
5
x1
3
0
2
1
x1
1
0
x1
3
0
1
1
x1
0
x1
0
5
4
3
1
x1
5
x1
3
3
1
1
4
x1
1
3
1
x1
5
4
3
4
1
x1
1
5
x1
5
3
0
1
1
x1
0
x1
4
0
1
1
4
x1
4
1
x1
4
0
1
1
4
x1
4
4
1
x1
1
4
0
1
2
x1
0
3
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
2
3
1
x1
4
x1
0
5
4
3
1
x1
4
5
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
3
3
1
1
4
x1
3
1
x1
0
3
3
2
1
x1
3
1
4
x1
4
0
1
1
4
x1
1
x1
5
3
1
1
2
x1
1
4
5
x1
5
3
0
2
1
x1
5
x1
3
3
0
1
4
x1
0
3
1
4
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
4
0
1
1
4
x1
3
4
4
1
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
3
0
4
5
1
x1
3
4
1
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
3
5
0
2
1
x1
0
5
1
x1
3
0
1
0
2
x1
1
x1
5
3
0
1
1
x1
1
1
5
0
x1
3
3
0
1
4
x1
3
1
4
x1
3
0
1
2
x1
4
x1
5
3
0
2
1
x1
4
x1
0
1
5
3
1
x1
5
4
1
x1
3
0
1
1
x1
1
1
0
x1
5
3
0
1
1
x1
1
5
0
x1
3
3
1
1
4
x1
4
3
1
3
1
x1
3
0
2
1
x1
0
x1
0
1
0
1
2
x1
1
3
x1
0
2
4
3
1
x1
0
x1
3
3
1
1
1
x1
1
3
1
1
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
0
5
4
3
1
x1
4
1
4
5
x1
3
0
2
1
x1
1
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
5
3
0
1
1
x1
5
0
x1
0
5
4
3
1
x1
1
4
5
x1
0
1
0
1
2
x1
3
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
4
5
1
x1
0
3
4
1
x1
5
3
1
1
2
x1
4
5
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
0
2
3
1
x1
1
0
x1
3
4
3
2
1
x1
4
1
x1
0
1
5
3
1
x1
4
1
x1
3
0
4
5
1
x1
4
1
x1
5
3
0
2
1
x1
1
5
x1
true
0
1
1
1
1
1
1
13508
4
1
1
0
5
1
1
24389
3
1
1
0
4
1
1
0
0
1
1
0
3
1
1
1
5
1
1
24390
2
1
1
0
1
1
1
13507
0
1
0
1
2
x1
0
0
2
1
1
3
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
3
3
0
1
4
x1
3
1
4
x1
3
5
0
2
1
x1
0
5
1
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
3
3
0
1
4
x1
0
3
1
4
x1
0
3
3
2
1
x1
3
1
4
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
3
3
1
1
4
x1
3
1
3
1
x1
5
3
0
1
1
x1
3
1
1
5
0
x1
3
0
1
1
x1
3
4
1
1
0
x1
5
4
3
4
1
x1
3
4
4
1
5
x1
3
0
2
5
1
x1
5
0
1
x1
3
0
1
0
2
x1
0
4
1
x1
5
0
1
1
4
x1
3
1
5
1
4
x1
0
2
3
1
x1
0
1
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
1
4
0
1
2
x1
1
4
0
3
1
x1
3
5
0
2
1
x1
5
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
1
4
0
1
2
x1
1
4
0
3
1
x1
true
0
1
1
1
1
1
1
0
4
1
1
0
5
1
0
3
1
0
4
1
1
0
0
1
1
0
3
1
1
1
5
1
1
24390
2
1
1
1
1
1
13507
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
3
3
1
1
4
x1
3
1
3
1
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
4
1
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
3
1
4
x1
5
3
0
1
1
x1
3
1
1
5
0
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
3
3
0
1
4
x1
3
1
4
x1
3
3
0
1
4
x1
0
3
1
4
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
3
4
4
1
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
3
0
1
1
x1
3
4
1
1
0
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
5
1
x1
3
5
0
2
1
x1
0
5
1
x1
5
0
1
1
4
x1
3
1
5
1
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
3
0
2
5
1
x1
5
0
1
x1
0
2
3
1
x1
0
1
x1
true
0
1
1
1
1
1
4
1
1
0
5
1
19505
3
1
1
0
4
1
0
0
1
1
0
3
1
1
0
5
1
19504
2
1
1
0
1
1
13507
0
2
3
1
x1
0
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
0
1
1
x1
3
4
1
1
0
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
3
3
0
1
4
x1
0
3
1
4
x1
3
3
0
1
4
x1
3
1
4
x1
0
3
3
2
1
x1
3
1
4
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
3
0
1
0
2
x1
0
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
3
3
1
1
4
x1
3
1
3
1
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
3
3
1
1
4
x1
3
1
3
1
x1
0
1
5
3
1
x1
3
1
5
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
4
1
x1
3
3
1
1
1
x1
3
1
3
1
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
3
1
4
x1
3
3
0
1
4
x1
3
1
4
x1
3
3
0
1
4
x1
0
3
1
4
x1
3
3
0
1
4
x1
0
0
3
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
0
5
4
3
1
x1
3
4
1
4
5
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
3
0
1
1
x1
3
4
1
1
0
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
0
2
3
1
x1
0
1
x1
true
0
1
56581
1
1
56580
4
1
1
0
5
1
56582
3
1
56582
4
1
0
0
1
56582
3
1
1
0
5
1
19504
2
1
8702
1
1
13507
0
2
3
1
x1
0
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
true
2
1
0
1
0
0
1
1
2
0
4
1
0
0
1
0
1
1
1
5
1
1
0
1
0
1
0
1
3
1
1
0
1
0
1
0
1
4
1
0
0
0
1
1
0
0
0
1
0
1
3
1
1
1
0
0
1
0
0
5
1
0
0
2
1
0
0
1
0
1
1
0
1
1
0
0
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
2
3
1
x1
0
1
x1
true
0
1
1
56581
1
1
1
4
1
1
0
5
1
2
3
1
1
0
4
1
0
0
1
1
0
3
1
0
5
1
19504
2
1
1
0
1
1
13507
0
2
3
1
x1
0
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
2
3
1
x1
0
1
x1
true
2
1
0
1
0
0
1
0
1
0
0
1
1
1
8573
4
1
8573
8573
5
1
0
1
0
0
1
8573
0
3
1
0
1
0
0
1
8573
0
4
1
0
0
0
1
8573
8573
3
1
0
0
5
1
0
0
2
1
0
8573
1
1
0
0
0
2
3
1
x1
0
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
2
3
1
x1
0
1
x1
true
2
1
0
1
0
0
1
0
1
0
0
1
1
1
1
4
1
0
0
1
0
1
0
1
5
1
1
0
0
0
1
0
1
3
1
0
1
0
0
1
27810
0
4
1
0
0
0
1
0
0
1
1
1
0
0
3
1
0
0
5
1
0
0
2
1
0
1
0
0
1
1
0
1
1
0
0
0
1
0
1
2
x1
0
0
2
1
1
3
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
true
0
1
1
4
1
1
0
1
1
1
1
1
1
1
2
5
1
2
3
1
2
4
1
0
3
1
0
5
1
0
2
1
0
1
1
1
0
5
1
0
3
1
0
4
1
1
3
1
1
5
1
1
2
1
1
0
2
3
2
1
x1
0
3
2
4
1
2
x1
0
2
3
1
x1
4
0
3
2
1
x1
0
1
2
3
1
x1
1
4
0
3
1
2
x1
3
0
1
2
x1
0
3
4
4
1
2
x1
0
1
1
2
x1
0
1
0
3
1
2
x1
0
2
3
1
x1
1
0
3
4
2
x1
0
1
2
3
1
x1
2
1
0
3
2
1
x1
0
3
3
1
2
x1
3
0
1
0
3
2
x1
3
3
1
1
4
x1
4
4
3
1
3
1
x1
1
4
0
1
2
x1
2
1
4
0
3
1
x1
0
2
4
3
1
x1
0
3
4
1
2
0
x1
3
0
4
5
1
x1
5
0
0
3
4
1
x1
0
1
5
3
1
x1
0
3
1
5
4
1
x1
3
0
1
0
2
x1
0
3
2
0
4
1
x1
3
3
1
1
1
x1
0
3
1
3
1
1
x1
0
3
3
2
1
x1
0
3
2
3
1
4
x1
3
0
2
3
1
x1
3
0
0
3
1
2
x1
5
3
0
1
1
x1
0
3
1
1
5
0
x1
0
2
3
1
x1
0
0
3
2
1
4
x1
3
3
0
1
4
x1
3
0
0
3
1
4
x1
3
0
2
1
x1
0
3
2
1
4
x1
3
5
0
2
1
x1
0
3
5
2
4
1
x1
3
0
1
2
x1
0
3
4
1
2
4
x1
0
2
4
3
1
x1
1
0
0
3
4
2
x1
0
5
4
3
1
x1
0
3
4
1
4
5
x1
5
4
3
4
1
x1
0
3
4
4
1
5
x1
3
0
2
5
1
x1
0
3
5
2
1
4
x1
0
1
2
3
1
x1
1
0
3
1
2
2
x1
3
0
2
5
1
x1
5
4
0
3
2
1
x1
0
1
0
1
2
x1
0
0
2
1
1
3
x1
5
3
0
2
1
x1
0
3
4
2
1
5
x1
0
5
2
3
1
x1
0
3
2
1
5
4
x1
0
5
2
3
1
x1
0
5
0
3
2
1
x1
3
0
2
1
x1
0
3
4
2
1
0
x1
3
0
2
1
x1
0
3
2
1
0
x1
0
1
1
4
2
x1
1
0
3
1
4
2
x1
4
0
1
1
4
x1
1
0
3
4
4
1
x1
3
0
1
1
x1
0
3
4
1
1
0
x1
3
5
0
2
1
x1
0
3
2
0
5
1
x1
5
3
1
1
4
x1
3
4
1
5
2
1
x1
5
3
1
1
2
x1
3
1
2
1
4
5
x1
3
4
3
2
1
x1
3
0
3
2
4
1
x1
4
5
3
2
1
x1
0
3
1
5
2
4
x1
5
0
1
1
4
x1
0
3
1
5
1
4
x1
5
3
0
2
1
x1
0
3
5
1
2
4
x1
3
3
1
1
2
x1
1
3
2
1
4
3
x1
3
0
2
5
1
x1
0
3
2
5
0
1
x1
5
0
2
3
1
x1
5
0
3
2
1
0
x1
0
2
3
1
x1
0
3
2
0
1
x1
0
1
0
1
2
x1
0
2
1
1
3
x1
false
3
0
2
5
1
x1
0
3
2
5
0
1
x1
false
3
0
2
5
1
x1
3
2
5
0
1
x1
false
5
0
2
3
1
x1
5
0
3
2
1
0
x1
false
5
0
2
3
1
x1
0
3
2
1
0
x1
false
5
0
2
3
1
x1
3
2
1
0
x1
false
5
3
0
2
1
x1
0
3
5
1
2
4
x1
false
5
3
0
2
1
x1
3
5
1
2
4
x1
false
5
3
0
2
1
x1
1
2
4
x1
false
3
3
1
1
2
x1
1
3
2
1
4
3
x1
false
3
3
1
1
2
x1
3
2
1
4
3
x1
false
3
4
3
2
1
x1
3
0
3
2
4
1
x1
false
3
4
3
2
1
x1
0
3
2
4
1
x1
false
3
4
3
2
1
x1
3
2
4
1
x1
false
3
5
0
2
1
x1
0
3
2
0
5
1
x1
false
3
5
0
2
1
x1
3
2
0
5
1
x1
false
5
3
1
1
2
x1
3
1
2
1
4
5
x1
false
5
3
1
1
2
x1
1
2
1
4
5
x1
false
5
3
1
1
4
x1
3
4
1
5
2
1
x1
false
5
3
1
1
4
x1
4
1
5
2
1
x1
false
5
3
1
1
4
x1
5
2
1
x1
false
5
3
0
2
1
x1
0
3
4
2
1
5
x1
false
5
3
0
2
1
x1
3
4
2
1
5
x1
false
5
3
0
2
1
x1
4
2
1
5
x1
false
3
0
2
1
x1
0
3
2
1
0
x1
false
3
0
2
1
x1
3
2
1
0
x1
false
3
0
2
1
x1
0
3
4
2
1
0
x1
false
3
0
2
1
x1
3
4
2
1
0
x1
false
3
0
2
1
x1
4
2
1
0
x1
false
3
0
2
5
1
x1
5
4
0
3
2
1
x1
false
3
0
2
5
1
x1
4
0
3
2
1
x1
false
3
0
2
5
1
x1
0
3
2
1
x1
false
3
0
2
5
1
x1
3
2
1
x1
false
3
0
2
5
1
x1
0
3
5
2
1
4
x1
false
3
0
2
5
1
x1
3
5
2
1
4
x1
false
3
0
2
5
1
x1
5
2
1
4
x1
false
3
0
1
2
x1
0
3
4
1
2
4
x1
false
3
0
1
2
x1
3
4
1
2
4
x1
false
3
0
1
2
x1
4
1
2
4
x1
false
3
0
1
2
x1
1
2
4
x1
false
3
5
0
2
1
x1
0
3
5
2
4
1
x1
false
3
5
0
2
1
x1
3
5
2
4
1
x1
false
3
5
0
2
1
x1
5
2
4
1
x1
false
3
0
2
1
x1
0
3
2
1
4
x1
false
3
0
2
1
x1
3
2
1
4
x1
false
0
2
3
1
x1
0
3
2
0
1
x1
false
0
1
1
4
2
x1
1
0
3
1
4
2
x1
false
0
1
1
4
2
x1
0
3
1
4
2
x1
false
0
1
1
4
2
x1
3
1
4
2
x1
false
0
5
2
3
1
x1
0
5
0
3
2
1
x1
false
0
5
2
3
1
x1
5
0
3
2
1
x1
false
0
5
2
3
1
x1
0
3
2
1
x1
false
0
5
2
3
1
x1
3
2
1
x1
false
0
5
2
3
1
x1
0
3
2
1
5
4
x1
false
0
5
2
3
1
x1
3
2
1
5
4
x1
false
3
0
2
3
1
x1
3
0
0
3
1
2
x1
false
3
0
2
3
1
x1
0
0
3
1
2
x1
false
3
0
2
3
1
x1
0
3
1
2
x1
false
3
0
2
3
1
x1
3
1
2
x1
false
3
0
2
3
1
x1
1
2
x1
false
3
0
1
0
2
x1
0
3
2
0
4
1
x1
false
3
0
1
0
2
x1
3
2
0
4
1
x1
false
0
1
2
3
1
x1
1
0
3
1
2
2
x1
false
0
1
2
3
1
x1
0
3
1
2
2
x1
false
0
1
2
3
1
x1
3
1
2
2
x1
false
0
1
2
3
1
x1
1
2
2
x1
false
0
2
4
3
1
x1
1
0
0
3
4
2
x1
false
0
2
4
3
1
x1
0
0
3
4
2
x1
false
0
2
4
3
1
x1
0
3
4
2
x1
false
0
2
4
3
1
x1
3
4
2
x1
false
0
2
4
3
1
x1
4
2
x1
false
0
2
3
1
x1
0
0
3
2
1
4
x1
false
0
2
3
1
x1
0
3
2
1
4
x1
false
0
2
3
1
x1
3
2
1
4
x1
false
0
3
3
2
1
x1
0
3
2
3
1
4
x1
false
0
3
3
2
1
x1
3
2
3
1
4
x1
false
4
5
3
2
1
x1
0
3
1
5
2
4
x1
false
4
5
3
2
1
x1
3
1
5
2
4
x1
false
4
5
3
2
1
x1
1
5
2
4
x1
false
4
5
3
2
1
x1
5
2
4
x1
false
0
2
4
3
1
x1
0
3
4
1
2
0
x1
false
0
2
4
3
1
x1
3
4
1
2
0
x1
false
0
2
4
3
1
x1
4
1
2
0
x1
false
0
2
4
3
1
x1
1
2
0
x1
false
0
3
3
1
2
x1
3
0
1
0
3
2
x1
false
0
3
3
1
2
x1
0
1
0
3
2
x1
false
0
3
3
1
2
x1
1
0
3
2
x1
false
0
3
3
1
2
x1
0
3
2
x1
false
0
3
3
1
2
x1
3
2
x1
false
0
1
2
3
1
x1
1
0
3
2
1
x1
false
0
1
2
3
1
x1
0
3
2
1
x1
false
0
1
2
3
1
x1
3
2
1
x1
false
0
2
3
1
x1
1
0
3
4
2
x1
false
0
2
3
1
x1
0
3
4
2
x1
false
0
2
3
1
x1
3
4
2
x1
false
0
2
3
1
x1
4
2
x1
false
0
1
1
2
x1
0
1
0
3
1
2
x1
false
0
1
1
2
x1
1
0
3
1
2
x1
false
0
1
1
2
x1
0
3
1
2
x1
false
0
1
1
2
x1
3
1
2
x1
false
0
1
2
3
1
x1
1
4
0
3
1
2
x1
false
0
1
2
3
1
x1
4
0
3
1
2
x1
false
0
1
2
3
1
x1
0
3
1
2
x1
false
0
1
2
3
1
x1
3
1
2
x1
false
0
1
2
3
1
x1
1
2
x1
false
0
2
3
1
x1
4
0
3
2
1
x1
false
0
2
3
1
x1
0
3
2
1
x1
false
0
2
3
1
x1
3
2
1
x1
false
0
2
3
2
1
x1
0
3
2
4
1
2
x1
false
0
2
3
2
1
x1
3
2
4
1
2
x1
false
0
2
3
2
1
x1
4
1
2
x1
false
0
2
3
2
1
x1
1
2
x1
false
3
0
1
2
x1
0
3
4
4
1
2
x1
false
3
0
1
2
x1
3
4
4
1
2
x1
false
3
0
1
2
x1
4
4
1
2
x1
false
3
0
1
2
x1
4
1
2
x1
false
5
3
1
1
4
x1
1
5
2
1
x1
false
0
2
3
1
x1
3
2
0
1
x1
false
5
3
0
2
1
x1
5
1
2
4
x1
false
NaTT
certifiable-1.6