0
1
2
1
x1
3
3
2
x1
1
2
3
2
x1
3
4
4
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
5
5
1
5
2
x1
4
3
5
2
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
2.2
1
2
3
2
x1
4
4
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
1
2
4
5
3
5
3
5
1
3
4
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
x1
0
4
3
3
4
4
1
x1
2
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
1
2
4
4
4
4
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
4
5
5
4
0
3
2
1
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
3
4
4
2
3
4
2
2
1
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
2
3
4
0
5
5
2
4
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
1
4
1
5
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
4
5
1
4
3
4
3
5
4
3
x1
2
0
2
4
3
2
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
0
1
2
1
x1
3
3
2
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
4
0
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
2
3
3
3
5
5
1
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
1
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
5
1
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
4
5
5
2
3
2
3
0
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
4
3
0
0
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
4
5
1
1
4
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
2
1
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
2
2
3
3
3
5
5
1
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
2
3
4
2
2
1
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
2
0
1
0
4
1
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
2
1
3
1
4
0
4
2
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
5
3
2
0
1
0
4
1
2
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
4
4
5
1
1
4
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
4
3
5
5
4
3
x1
4
5
1
4
3
4
3
5
4
3
x1
0
2
4
3
2
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
0
3
5
0
4
1
5
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
4
4
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
0
1
1
5
3
5
4
2
2
4
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
2
0
4
1
2
2
1
3
x1
5
5
1
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
0
3
4
3
5
5
4
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
0
0
4
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
3
1
4
1
5
x1
4
5
1
4
3
4
3
5
4
3
x1
2
4
3
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
0
3
2
1
2
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
5
4
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
3
5
5
1
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
1
4
0
4
5
2
3
0
4
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
5
2
5
1
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
3
5
5
4
3
x1
2
0
4
1
2
2
1
3
x1
3
0
4
5
5
1
1
x1
4
5
1
3
2
2
5
4
3
5
4
x1
5
4
2
2
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
2
5
3
4
1
4
4
5
1
1
4
0
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
5
5
1
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
5
2
5
1
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
2
4
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
3
4
2
2
1
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
4
0
5
5
2
4
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
3
1
1
4
1
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
1
4
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
0
0
4
0
3
5
0
4
1
5
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
0
4
1
5
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
0
5
1
4
1
x1
1
4
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
2
2
4
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
5
2
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
3
2
3
4
0
5
5
2
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
2
3
5
2
5
1
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
3
2
2
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
1
5
3
5
4
2
2
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
2
2
1
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
2
3
x1
1
2
2
1
5
2
1
2
1
x1
0
2
4
4
3
x1
0
5
1
4
1
x1
4
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
5
3
5
1
3
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
1
5
4
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
1
4
3
2
2
3
3
3
5
5
1
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
0
4
3
0
0
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
4
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
3
5
0
4
1
5
4
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
2
3
2
3
5
2
5
1
4
x1
4
5
1
4
3
4
3
5
4
3
x1
2
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
5
5
2
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
1
0
0
2
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
2
1
4
2
4
1
0
2
4
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
2
3
0
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
5
3
2
0
1
0
4
1
2
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
3
1
1
4
1
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
4
3
3
1
4
1
5
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
5
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
3
5
4
2
2
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
1
4
5
5
2
3
2
3
0
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
5
4
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
4
2
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
2
3
5
2
5
1
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
1
3
4
x1
4
3
0
2
2
x1
1
4
5
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
1
0
3
2
3
4
0
5
5
2
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
2
5
0
3
4
3
5
5
4
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
5
1
1
4
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
3
0
5
3
4
3
3
1
4
1
5
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
1
2
4
4
4
4
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
1
5
0
1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
4
1
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
3
x1
4
5
1
4
3
4
3
5
4
3
x1
3
2
0
2
4
3
2
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
2
3
0
2
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
2
4
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
5
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
5
2
3
2
3
0
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
2
2
5
0
3
4
3
5
5
4
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
1
0
4
1
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
3
4
0
5
5
2
4
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
1
3
1
4
0
4
2
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
1
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
5
4
1
0
0
2
5
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
5
3
5
4
2
2
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
5
3
5
1
3
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
4
0
3
2
1
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
5
2
5
1
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
1
4
2
4
1
0
2
4
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
5
1
1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
3
0
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
4
3
3
4
4
1
x1
2
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
4
3
2
2
3
3
3
5
5
1
x1
1
2
2
1
5
2
1
2
1
x1
4
4
3
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
5
5
2
3
2
3
0
2
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
3
x1
0
4
3
3
4
4
1
x1
4
2
5
0
2
2
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
4
0
3
5
0
4
1
5
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
1
3
2
2
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
5
3
4
3
3
1
4
1
5
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
1
4
0
4
2
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
5
0
1
3
2
2
3
x1
4
3
0
2
2
x1
4
5
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
1
0
5
5
3
1
1
4
1
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
4
1
5
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
0
2
4
5
0
x1
4
3
0
2
2
x1
1
1
4
5
x1
1
2
2
1
5
2
1
2
1
x1
2
2
0
2
4
4
3
x1
1
4
1
2
5
3
4
3
3
2
2
x1
1
4
0
4
5
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
3
0
1
5
0
1
3
2
2
3
x1
2
0
4
1
2
2
1
3
x1
5
1
1
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
5
3
5
3
5
1
3
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
3
4
2
2
1
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
3
3
5
5
1
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
3
3
1
4
1
5
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
0
4
0
3
5
0
4
1
5
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
5
1
3
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
3
2
3
4
0
5
5
2
4
0
x1
2
0
4
1
2
2
1
3
x1
1
1
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
1
3
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
3
4
5
5
4
0
3
2
1
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
3
4
3
5
5
4
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
2
1
3
1
4
0
4
2
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
1
5
x1
1
4
1
2
5
3
4
3
3
2
2
x1
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
1
2
1
x1
3
2
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
4
1
4
4
5
1
1
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
4
3
0
0
0
x1
0
4
3
3
4
4
1
x1
0
2
2
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
1
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
4
5
5
4
1
0
0
2
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
5
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
1
5
4
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
5
3
4
3
3
1
4
1
5
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
0
1
5
0
1
3
2
2
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
1
4
4
5
1
1
4
0
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
2
2
1
5
2
1
2
1
x1
2
0
2
4
4
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
4
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
4
1
5
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
3
4
4
2
3
4
2
2
1
x1
2
0
4
1
2
2
1
3
x1
0
4
5
5
1
1
x1
1
4
1
2
5
3
4
3
3
2
2
x1
5
2
3
0
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
2
4
5
3
5
3
5
1
3
4
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
1
2
2
1
5
2
1
2
1
x1
4
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
0
x1
0
4
3
3
4
4
1
x1
5
0
2
2
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
4
5
5
4
0
3
2
1
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
3
4
4
0
0
4
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
2
1
3
1
4
0
4
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
x1
4
3
0
2
2
x1
5
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
3
0
0
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
2
2
4
x1
1
2
2
1
5
2
1
2
1
x1
2
2
2
0
2
4
4
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
1
0
5
5
3
1
1
4
1
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
1
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
5
5
4
0
3
2
1
2
3
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
5
5
2
3
2
3
0
2
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
5
0
4
1
5
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
2
0
4
1
2
2
1
3
x1
4
5
5
1
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
4
1
0
2
4
5
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
0
1
4
3
4
4
2
3
4
2
2
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
0
2
4
5
0
x1
0
1
2
1
x1
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
5
3
4
4
0
0
4
3
0
0
0
x1
0
5
1
4
1
x1
4
1
4
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
5
3
0
1
5
0
1
3
2
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
5
5
3
1
1
4
1
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
0
5
3
4
3
3
1
4
1
5
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
4
x1
2
0
4
1
2
2
1
3
x1
1
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
5
3
4
1
4
4
5
1
1
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
5
5
3
1
1
4
1
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
1
2
x1
0
4
3
3
4
4
1
x1
2
5
0
2
2
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
1
2
4
5
3
5
3
5
1
3
4
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
1
2
4
4
4
4
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
4
5
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
0
5
1
4
1
x1
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
1
3
2
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
4
2
3
4
2
2
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
4
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
4
2
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
4
4
0
2
1
3
1
4
0
4
2
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
2
4
4
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
4
3
x1
1
2
3
2
x1
3
4
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
1
1
5
3
5
4
2
2
4
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
1
2
2
1
5
2
1
2
1
x1
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
4
4
1
2
4
4
4
4
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
0
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
0
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
4
2
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
4
5
5
4
1
0
0
2
5
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
0
4
5
2
3
0
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
0
2
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
4
2
4
1
0
2
4
5
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
4
4
0
0
4
3
0
0
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
1
0
4
1
2
x1
5
5
1
5
2
x1
3
5
2
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
4
1
2
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
4
1
0
0
2
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
5
1
5
2
x1
4
3
5
2
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
4
1
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
4
1
2
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
1
4
1
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
4
5
1
4
3
4
3
5
4
3
x1
3
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
1
0
2
4
5
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
4
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
5
2
3
0
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
4
4
4
4
4
0
x1
true
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
4
4
4
4
4
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
4
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
5
2
3
0
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
1
0
2
4
5
0
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
1
4
1
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
4
5
1
4
3
4
3
5
4
3
x1
3
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
4
1
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
4
1
2
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
5
5
1
5
2
x1
4
3
5
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
4
1
0
0
2
5
0
x1
5
5
1
5
2
x1
3
5
2
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
4
1
2
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
1
0
4
1
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
4
4
0
0
4
3
0
0
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
4
2
4
1
0
2
4
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
0
2
5
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
0
4
5
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
4
5
5
4
1
0
0
2
5
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
4
2
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
0
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
0
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
4
4
1
2
4
4
4
4
4
0
x1
1
2
2
1
5
2
1
2
1
x1
3
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
1
1
5
3
5
4
2
2
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
1
2
3
2
x1
3
4
4
2
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
4
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
2
4
4
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
4
4
0
2
1
3
1
4
0
4
2
x1
1
2
3
2
x1
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
2
4
1
0
2
4
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
4
5
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
4
2
3
4
2
2
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
1
3
2
2
3
x1
0
5
1
4
1
x1
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
1
2
2
5
0
3
4
3
5
5
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
1
2
4
4
4
4
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
4
5
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
1
2
4
5
3
5
3
5
1
3
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
2
0
1
0
4
1
2
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
1
2
x1
0
4
3
3
4
4
1
x1
2
5
0
2
2
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
5
5
3
1
1
4
1
0
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
5
3
4
1
4
4
5
1
1
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
0
5
3
4
3
3
1
4
1
5
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
4
x1
2
0
4
1
2
2
1
3
x1
1
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
5
5
3
1
1
4
1
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
0
5
1
4
1
x1
4
1
4
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
5
3
0
1
5
0
1
3
2
2
3
x1
0
1
2
1
x1
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
5
3
4
4
0
0
4
3
0
0
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
0
1
4
3
4
4
2
3
4
2
2
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
0
2
4
5
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
2
0
4
1
2
2
1
3
x1
4
5
5
1
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
4
1
0
2
4
5
0
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
5
0
4
1
5
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
5
5
4
0
3
2
1
2
3
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
5
5
2
3
2
3
0
2
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
0
1
0
5
5
3
1
1
4
1
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
2
1
2
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
1
2
2
1
5
2
1
2
1
x1
2
2
2
0
2
4
4
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
4
3
0
2
2
x1
5
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
3
0
0
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
2
2
4
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
5
3
4
4
0
0
4
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
4
5
5
4
0
3
2
1
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
0
x1
0
4
3
3
4
4
1
x1
5
0
2
2
x1
1
2
2
1
5
2
1
2
1
x1
4
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
2
4
5
3
5
3
5
1
3
4
x1
1
4
1
2
5
3
4
3
3
2
2
x1
5
2
3
0
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
2
0
4
1
2
2
1
3
x1
0
4
5
5
1
1
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
4
1
5
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
3
4
4
2
3
4
2
2
1
x1
1
2
2
1
5
2
1
2
1
x1
2
0
2
4
4
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
4
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
1
4
4
5
1
1
4
0
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
5
3
4
3
3
1
4
1
5
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
0
1
5
0
1
3
2
2
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
1
5
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
5
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
1
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
4
5
5
4
1
0
0
2
5
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
4
3
0
0
0
x1
0
4
3
3
4
4
1
x1
0
2
2
x1
0
1
2
1
x1
3
2
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
4
1
4
4
5
1
1
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
1
4
1
2
5
3
4
3
3
2
2
x1
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
1
5
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
0
2
1
3
1
4
0
4
2
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
3
4
5
5
4
0
3
2
1
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
3
4
3
5
5
4
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
4
3
4
4
2
3
4
2
2
1
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
3
2
3
4
0
5
5
2
4
0
x1
2
0
4
1
2
2
1
3
x1
1
1
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
1
3
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
0
4
0
3
5
0
4
1
5
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
5
1
3
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
3
3
1
4
1
5
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
3
3
5
5
1
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
3
4
2
2
1
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
5
3
5
3
5
1
3
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
2
0
4
1
2
2
1
3
x1
5
1
1
x1
1
4
1
2
5
3
4
3
3
2
2
x1
1
4
0
4
5
2
3
0
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
3
0
1
5
0
1
3
2
2
3
x1
4
3
0
2
2
x1
1
1
4
5
x1
1
2
2
1
5
2
1
2
1
x1
2
2
0
2
4
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
4
1
5
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
0
2
4
5
0
x1
4
3
0
2
2
x1
4
5
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
1
0
5
5
3
1
1
4
1
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
5
0
1
3
2
2
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
5
3
4
3
3
1
4
1
5
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
1
4
0
4
2
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
2
3
2
3
5
2
5
1
4
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
4
0
3
5
0
4
1
5
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
1
3
2
2
3
x1
0
4
3
3
4
4
1
x1
4
2
5
0
2
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
3
x1
1
2
2
1
5
2
1
2
1
x1
4
4
3
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
5
5
2
3
2
3
0
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
4
3
2
2
3
3
3
5
5
1
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
5
1
1
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
3
0
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
4
3
3
4
4
1
x1
2
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
4
0
3
2
1
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
5
2
5
1
4
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
2
1
4
2
4
1
0
2
4
5
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
5
3
5
1
3
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
5
4
1
0
0
2
5
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
5
3
5
4
2
2
4
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
1
2
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
3
4
0
5
5
2
4
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
1
3
1
4
0
4
2
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
1
0
4
1
2
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
2
2
5
0
3
4
3
5
5
4
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
1
5
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
5
2
3
2
3
0
2
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
2
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
2
3
0
2
3
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
0
x1
4
5
1
4
3
4
3
5
4
3
x1
3
2
0
2
4
3
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
3
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
4
1
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
4
3
0
5
3
4
3
3
1
4
1
5
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
1
2
4
4
4
4
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
0
1
5
0
1
3
2
2
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
5
1
1
4
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
2
5
0
3
4
3
5
5
4
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
1
0
3
2
3
4
0
5
5
2
4
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
2
2
3
x1
4
3
0
2
2
x1
1
4
5
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
2
3
5
2
5
1
4
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
1
3
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
4
2
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
5
4
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
1
4
5
5
2
3
2
3
0
2
3
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
3
5
4
2
2
4
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
4
3
3
1
4
1
5
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
5
1
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
3
1
1
4
1
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
5
3
2
0
1
0
4
1
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
2
3
2
3
0
2
3
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
5
5
2
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
1
0
0
2
5
0
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
0
3
5
0
4
1
5
4
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
3
2
3
2
3
5
2
5
1
4
x1
4
5
1
4
3
4
3
5
4
3
x1
2
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
4
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
0
4
3
0
0
0
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
1
5
4
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
1
4
3
2
2
3
3
3
5
5
1
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
1
0
x1
1
2
2
1
5
2
1
2
1
x1
0
2
4
4
3
x1
0
5
1
4
1
x1
4
3
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
5
3
5
1
3
4
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
2
3
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
2
2
1
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
1
3
2
2
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
1
5
3
5
4
2
2
4
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
5
2
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
3
2
3
4
0
5
5
2
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
2
3
5
2
5
1
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
2
2
4
x1
0
5
1
4
1
x1
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
0
4
1
5
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
5
0
0
4
0
3
5
0
4
1
5
4
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
3
1
1
4
1
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
1
4
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
4
0
5
5
2
4
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
3
0
0
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
1
3
2
2
5
4
3
5
4
x1
2
4
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
3
4
2
2
1
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
5
5
1
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
5
2
5
1
4
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
2
5
3
4
1
4
4
5
1
1
4
0
x1
2
0
4
1
2
2
1
3
x1
3
0
4
5
5
1
1
x1
4
5
1
3
2
2
5
4
3
5
4
x1
5
4
2
2
4
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
3
3
5
5
1
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
1
4
0
4
5
2
3
0
4
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
3
5
2
5
1
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
3
5
5
4
3
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
0
3
2
1
2
3
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
5
4
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
3
1
4
1
5
x1
4
5
1
4
3
4
3
5
4
3
x1
2
4
3
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
0
0
4
3
0
0
0
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
5
0
3
4
3
5
5
4
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
5
3
4
4
1
2
4
4
4
4
4
0
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
2
0
4
1
2
2
1
3
x1
5
5
1
1
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
4
4
4
4
4
0
x1
4
5
1
3
2
2
5
4
3
5
4
x1
0
1
1
5
3
5
4
2
2
4
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
4
0
3
5
0
4
1
5
4
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
4
3
5
5
4
3
x1
4
5
1
4
3
4
3
5
4
3
x1
0
2
4
3
2
3
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
4
4
5
1
1
4
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
5
3
5
1
3
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
0
5
3
2
0
1
0
4
1
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
2
1
3
1
4
0
4
2
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
2
0
1
0
4
1
2
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
4
2
3
4
2
2
1
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
2
2
3
3
3
5
5
1
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
2
1
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
4
5
1
1
4
0
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
1
4
5
5
2
3
2
3
0
2
3
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
0
4
3
0
0
0
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
5
1
4
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
2
3
3
3
5
5
1
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
2
1
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
1
4
0
x1
0
1
2
1
x1
3
3
2
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
4
5
1
4
3
4
3
5
4
3
x1
2
0
2
4
3
2
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
3
1
4
1
5
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
2
3
4
0
5
5
2
4
0
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
4
5
5
4
0
3
2
1
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
3
4
4
2
3
4
2
2
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
1
2
4
4
4
4
4
0
x1
0
4
3
3
4
4
1
x1
2
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
1
2
4
5
3
5
3
5
1
3
4
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
x1
1
2
3
2
x1
4
4
2
x1
true
0
1
1
246577
1
1
1
268990
4
1
1
246574
5
1
1
233124
3
1
1
295889
2
1
1
0
4
1
1
179326
0
1
1
233125
3
1
1
412452
5
1
1
703859
2
1
1
291406
1
1
1
318306
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
0
1
2
1
x1
3
3
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
5
1
5
2
x1
4
3
5
2
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
3
4
4
2
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
true
0
1
1
246577
1
1
98519
4
1
31988
5
1
98519
3
1
22085
2
1
1
0
4
1
1
179326
0
1
98519
3
1
1
412452
5
1
1
703859
2
1
1
38217
1
1
1
318306
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
0
1
2
1
x1
3
3
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
5
1
5
2
x1
4
3
5
2
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
3
4
4
2
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
true
0
1
1
246577
1
1
48340
4
1
17624
5
1
48340
3
1
11008
2
1
1
0
4
1
1
179326
0
1
48340
3
1
1
412452
5
1
1
703859
2
1
1
18666
1
1
1
318306
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
0
1
2
1
x1
3
3
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
5
1
5
2
x1
4
3
5
2
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
3
4
4
2
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
true
0
1
1
246577
1
1
2
4
1
2
5
1
61567
3
1
1
2
1
1
0
4
1
1
179326
0
1
1
0
3
1
1
412452
5
1
1
703859
2
1
1
30783
1
1
1
318306
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
0
1
2
1
x1
3
3
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
5
1
5
2
x1
4
3
5
2
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
3
4
4
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
true
0
1
246577
1
1
27325
4
1
16669
5
1
27325
3
1
1
0
2
1
0
4
1
1
179326
0
1
27325
3
1
412452
5
1
703859
2
1
1
1
1
318306
5
1
2
2
4
0
2
4
2
5
2
1
4
0
5
x1
0
1
4
3
0
5
3
4
3
3
1
4
1
5
x1
4
3
0
2
2
x1
4
1
1
4
5
x1
0
5
3
5
3
3
3
3
4
5
5
5
4
4
x1
0
1
0
3
2
3
4
0
5
5
2
4
0
x1
1
2
2
1
5
2
1
2
1
x1
1
2
2
2
0
2
4
4
3
x1
0
1
2
1
x1
3
3
2
x1
0
5
1
4
1
x1
4
1
4
3
x1
1
5
0
1
0
4
4
2
2
3
4
1
4
1
x1
3
4
5
0
0
4
0
3
5
0
4
1
5
4
x1
5
1
1
0
0
3
2
5
0
3
4
2
1
2
5
1
x1
5
1
3
2
1
0
1
0
5
5
3
1
1
4
1
0
x1
4
5
5
2
5
1
0
2
1
0
1
4
4
4
2
1
5
1
x1
4
3
2
3
0
2
5
3
4
1
4
4
5
1
1
4
0
x1
0
4
0
3
2
0
2
1
2
0
0
2
4
2
3
4
x1
3
2
1
3
3
4
5
5
4
0
3
2
1
2
3
x1
5
1
0
5
2
2
2
3
3
2
5
1
5
1
x1
5
4
0
1
4
3
2
2
3
3
3
5
5
1
x1
0
2
0
2
2
0
1
1
2
4
1
1
0
3
3
2
1
4
1
4
x1
2
2
3
3
0
2
1
3
5
3
4
4
1
2
4
4
4
4
4
0
x1
3
2
1
2
4
2
1
1
3
3
3
5
2
2
0
4
4
x1
3
2
3
1
0
2
0
2
4
5
5
4
1
0
0
2
5
0
x1
3
4
1
1
0
3
4
0
5
5
5
5
3
5
2
3
2
3
1
3
x1
3
4
3
4
3
1
0
1
1
4
5
5
2
3
2
3
0
2
3
x1
5
5
1
5
2
x1
4
3
5
2
x1
1
4
1
2
5
3
4
3
3
2
2
x1
0
0
1
4
0
4
5
2
3
0
4
x1
2
0
4
1
2
2
1
3
x1
2
3
0
4
5
5
1
1
x1
1
5
1
3
3
3
0
4
0
2
3
1
5
1
4
2
x1
3
4
0
5
0
4
4
0
2
1
3
1
4
0
4
2
x1
4
5
5
1
5
3
5
3
2
0
4
4
2
1
0
3
5
3
x1
4
4
0
5
1
3
5
5
3
4
4
0
0
4
3
0
0
0
x1
5
1
4
0
0
3
4
2
3
0
3
5
4
0
4
2
4
0
0
5
0
x1
5
0
3
2
2
0
4
1
1
5
3
0
1
5
0
1
3
2
2
3
x1
5
1
3
3
5
3
1
3
2
1
2
0
4
x1
2
2
3
2
3
2
3
5
2
5
1
4
x1
5
1
4
0
1
5
5
3
3
0
3
2
x1
3
0
5
3
2
0
1
0
4
1
2
x1
4
1
0
3
0
4
3
2
2
1
3
2
2
4
0
2
4
x1
4
2
5
3
3
3
1
2
4
5
3
5
3
5
1
3
4
x1
3
0
0
2
1
1
3
5
1
2
2
2
5
1
0
0
0
1
x1
3
5
1
0
4
0
1
2
2
5
0
3
4
3
5
5
4
3
x1
4
5
1
3
2
2
5
4
3
5
4
x1
4
0
1
1
5
3
5
4
2
2
4
x1
4
5
1
4
3
4
3
5
4
3
x1
4
3
2
0
2
4
3
2
3
x1
0
4
1
1
3
3
2
5
4
2
2
1
3
x1
1
0
1
4
3
4
4
2
3
4
2
2
1
x1
0
4
3
3
4
4
1
x1
4
4
2
5
0
2
2
x1
4
5
2
3
5
4
5
0
5
1
2
3
0
1
1
0
3
5
0
3
0
x1
4
4
3
1
4
4
0
5
3
5
2
1
4
2
4
1
0
2
4
5
0
x1
1
2
3
2
x1
3
4
4
2
x1
NaTT
certifiable-1.6