0
1
0
2
x1
0
0
1
3
2
x1
0
1
2
2
x1
0
3
2
2
1
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
2
x1
3
0
0
4
2
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
1
1
x1
0
1
3
1
5
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
2
4
x1
2
2
4
0
0
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
2
0
5
4
x1
2
4
0
3
5
x1
5
1
0
2
x1
2
5
0
3
1
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
2.2
0
1
2
2
x1
3
2
2
1
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
4
x1
3
4
2
1
1
x1
2
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
4
3
5
1
1
x1
5
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
4
3
2
x1
5
x1
2
0
1
2
4
x1
2
1
3
4
0
x1
5
1
4
5
1
x1
0
1
1
5
4
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
4
5
1
x1
5
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
4
1
x1
5
4
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
0
0
5
5
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
0
2
1
3
2
x1
3
1
2
2
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
2
1
5
1
x1
2
1
1
0
x1
5
4
0
2
x1
3
0
4
2
x1
2
0
1
2
4
x1
3
4
0
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
4
0
2
x1
4
2
x1
0
5
4
3
2
x1
0
3
4
2
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
2
1
2
4
x1
2
0
1
2
4
x1
4
0
x1
0
5
1
1
x1
0
1
3
1
5
x1
5
4
0
2
x1
4
2
x1
2
0
5
4
x1
2
4
0
3
5
x1
2
0
5
1
x1
5
2
1
x1
5
4
0
2
x1
0
4
2
x1
0
1
5
1
4
x1
3
1
1
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
2
0
5
1
x1
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
0
5
3
2
x1
5
5
2
x1
5
0
5
0
2
x1
0
5
5
x1
0
1
5
4
1
x1
3
5
x1
2
0
2
4
x1
2
4
0
0
x1
0
4
0
2
x1
0
0
4
2
x1
2
0
2
4
x1
4
0
0
x1
4
1
2
1
1
x1
4
1
1
2
1
x1
0
4
5
1
x1
0
4
1
5
x1
2
0
5
1
x1
3
5
2
1
x1
0
5
3
2
x1
0
3
5
5
2
x1
0
1
0
2
x1
3
2
x1
2
0
5
1
x1
3
0
5
2
1
x1
0
2
4
4
x1
4
2
4
x1
2
5
5
1
1
x1
5
2
1
1
3
x1
0
5
1
4
x1
3
3
4
1
5
x1
5
3
1
5
4
x1
4
1
3
5
x1
5
0
5
0
2
x1
5
x1
0
2
1
5
1
x1
5
2
1
1
0
x1
0
5
0
2
4
x1
4
0
5
2
4
x1
0
0
2
1
1
x1
0
1
2
1
x1
0
4
0
2
x1
0
0
4
2
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
0
5
4
1
x1
5
x1
0
2
0
5
1
x1
0
2
1
x1
2
0
5
1
x1
0
0
5
2
1
x1
0
2
1
3
2
x1
0
3
1
2
2
x1
2
0
2
4
x1
0
0
x1
2
5
5
1
1
x1
3
x1
0
4
5
1
x1
4
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
2
0
5
1
x1
2
1
x1
0
2
1
1
x1
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
5
4
1
x1
3
1
5
4
x1
3
5
0
2
1
x1
3
3
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
5
1
4
x1
5
x1
3
5
0
2
1
x1
0
3
3
x1
0
4
0
4
2
x1
0
4
4
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
0
4
0
2
x1
4
2
x1
5
3
2
4
x1
4
3
5
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
0
5
4
1
x1
4
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
4
1
1
5
x1
0
5
1
4
x1
4
1
5
x1
5
3
1
5
4
x1
3
4
1
3
5
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
0
5
1
x1
2
1
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
2
0
5
1
x1
0
3
5
2
1
x1
2
0
5
1
x1
2
1
x1
5
3
2
4
x1
3
5
x1
2
5
5
1
1
x1
2
1
1
3
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
2
4
4
x1
2
4
x1
4
3
5
1
1
x1
4
1
1
1
5
x1
2
0
5
1
x1
0
5
2
1
x1
0
5
1
3
2
x1
3
4
1
5
2
x1
0
2
3
2
x1
3
2
2
x1
0
0
2
1
1
x1
3
0
1
2
1
x1
0
5
4
4
x1
4
3
5
x1
0
5
3
2
x1
5
2
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
0
5
4
1
x1
0
4
1
1
5
x1
0
4
0
2
x1
0
4
2
x1
2
0
1
2
4
x1
0
x1
3
5
0
2
1
x1
3
x1
0
2
4
4
x1
3
0
4
2
4
x1
2
0
5
1
x1
5
2
1
x1
0
0
2
1
1
x1
2
1
x1
0
4
0
4
2
x1
4
4
2
x1
5
0
1
5
1
x1
5
x1
2
0
5
4
x1
4
0
3
5
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
4
3
2
x1
3
4
2
5
x1
0
5
3
2
x1
5
2
x1
4
1
2
1
1
x1
2
1
x1
0
2
3
2
x1
2
2
x1
5
0
5
0
2
x1
5
5
x1
2
0
2
4
x1
2
2
4
0
0
x1
4
1
2
4
1
x1
4
1
1
2
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
1
5
1
x1
0
x1
0
5
4
3
2
x1
4
2
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
5
1
1
x1
3
5
x1
0
5
5
4
2
x1
5
5
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
0
2
3
5
1
x1
3
x1
0
5
4
4
x1
0
4
3
5
x1
2
0
5
1
1
x1
0
2
3
1
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
5
1
4
5
1
x1
4
x1
0
5
1
1
x1
5
x1
0
5
0
2
4
x1
5
2
4
x1
3
4
2
1
1
x1
3
1
1
2
x1
2
0
5
1
x1
0
5
2
1
x1
3
5
0
2
1
x1
5
0
3
3
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
1
5
1
4
x1
4
3
1
1
5
x1
0
5
5
4
2
x1
5
2
x1
0
1
5
1
4
x1
5
x1
0
5
4
4
x1
4
0
4
3
5
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
0
5
3
2
x1
5
5
2
x1
5
3
1
5
4
x1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
2
0
2
4
x1
0
x1
3
4
2
1
1
x1
4
3
1
1
2
x1
4
1
2
4
1
x1
2
x1
5
1
0
2
x1
3
1
x1
5
1
0
2
x1
5
0
3
1
x1
0
2
3
5
1
x1
0
3
x1
0
5
4
4
x1
5
x1
0
1
5
4
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
5
5
2
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
0
2
x1
0
4
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
5
4
2
x1
3
5
5
2
x1
5
0
1
5
1
x1
3
1
1
5
x1
5
1
0
2
x1
0
3
1
x1
0
5
1
1
x1
5
x1
5
3
1
5
4
x1
3
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
5
4
4
x1
3
5
x1
0
5
4
3
2
x1
2
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
4
1
2
4
1
x1
3
4
1
1
2
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
0
2
1
3
2
x1
2
2
x1
0
5
3
2
x1
3
0
5
5
2
x1
2
0
5
4
x1
3
5
x1
2
0
5
1
1
x1
3
1
1
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
0
5
1
4
x1
3
4
1
5
x1
0
2
4
4
x1
0
4
2
4
x1
5
0
5
0
2
x1
0
0
0
5
5
x1
3
5
0
2
1
x1
2
5
0
3
3
x1
0
5
1
3
2
x1
5
2
x1
0
1
2
2
x1
2
2
1
x1
0
2
3
5
1
x1
2
1
0
0
3
x1
5
3
2
4
x1
3
4
3
5
x1
0
1
2
2
x1
0
3
2
2
1
x1
0
2
0
2
4
x1
2
1
2
4
x1
0
5
1
1
x1
3
1
5
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
2
3
2
x1
3
0
3
2
2
x1
0
2
3
5
1
x1
0
0
3
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
0
2
3
2
x1
0
3
2
2
x1
0
1
5
4
1
x1
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
2
1
x1
5
1
0
2
x1
2
5
0
3
1
x1
2
0
5
1
1
x1
2
3
1
1
x1
2
0
5
4
x1
0
3
5
x1
0
5
1
3
2
x1
4
1
5
2
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
4
5
1
x1
3
4
1
1
5
x1
0
2
1
1
x1
3
2
x1
5
1
4
5
1
x1
4
1
1
5
x1
0
1
2
2
x1
2
1
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
5
1
4
5
1
x1
5
x1
5
3
2
4
x1
5
x1
0
4
0
2
x1
3
0
0
4
2
x1
5
0
1
5
1
x1
0
3
1
1
5
x1
2
0
5
4
x1
5
x1
true
2
0
5
4
x1
5
x1
0
4
0
4
2
x1
4
4
2
x1
5
3
2
4
x1
5
x1
0
4
0
2
x1
3
0
0
4
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
5
1
4
5
1
x1
5
x1
3
5
0
2
1
x1
3
x1
0
4
0
2
x1
0
4
2
x1
2
0
1
2
4
x1
0
x1
0
5
4
4
x1
4
3
5
x1
0
5
3
2
x1
5
2
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
0
2
1
1
x1
3
2
x1
0
2
3
2
x1
3
2
2
x1
0
5
1
3
2
x1
3
4
1
5
2
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
0
5
1
3
2
x1
4
1
5
2
x1
0
2
4
4
x1
2
4
x1
2
0
5
4
x1
0
3
5
x1
5
3
2
4
x1
3
5
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
5
3
1
5
4
x1
3
4
1
3
5
x1
0
5
1
4
x1
4
1
5
x1
0
2
3
2
x1
0
3
2
2
x1
0
1
5
4
1
x1
5
x1
0
2
3
2
x1
3
0
3
2
2
x1
0
2
3
5
1
x1
0
0
3
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
4
x1
0
4
5
1
x1
0
0
4
1
5
x1
5
3
2
4
x1
4
3
5
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
3
5
0
2
1
x1
0
3
3
x1
5
3
2
4
x1
3
4
3
5
x1
0
5
1
4
x1
5
x1
3
5
0
2
1
x1
3
3
x1
0
5
1
3
2
x1
5
2
x1
0
2
1
1
x1
2
x1
3
5
0
2
1
x1
2
5
0
3
3
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
0
5
0
2
x1
0
0
0
5
5
x1
0
4
5
1
x1
4
1
5
x1
0
2
4
4
x1
0
4
2
4
x1
2
0
2
4
x1
0
0
x1
2
5
5
1
1
x1
3
x1
0
5
1
4
x1
3
4
1
5
x1
2
0
5
4
x1
3
5
x1
0
5
3
2
x1
3
0
5
5
2
x1
0
2
1
3
2
x1
2
2
x1
0
2
0
5
1
x1
0
2
1
x1
0
5
4
1
x1
5
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
5
4
4
x1
3
5
x1
0
5
4
3
2
x1
2
5
x1
0
4
0
2
x1
0
0
4
2
x1
0
5
0
2
4
x1
4
0
5
2
4
x1
5
3
1
5
4
x1
3
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
5
1
1
x1
5
x1
0
5
5
4
2
x1
3
5
5
2
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
5
3
1
5
4
x1
4
1
3
5
x1
5
0
5
0
2
x1
5
x1
0
5
1
4
x1
3
3
4
1
5
x1
0
2
4
4
x1
4
2
4
x1
0
4
0
2
x1
0
4
2
x1
0
1
0
2
x1
3
2
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
5
3
2
x1
3
5
5
2
x1
0
5
3
2
x1
0
3
5
5
2
x1
0
5
4
4
x1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
2
3
5
1
x1
0
3
x1
2
0
2
4
x1
4
0
0
x1
0
4
0
2
x1
0
0
4
2
x1
4
1
2
4
1
x1
2
x1
2
0
2
4
x1
2
4
0
0
x1
0
1
5
4
1
x1
3
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
2
0
2
4
x1
0
x1
0
5
3
2
x1
5
5
2
x1
5
0
5
0
2
x1
0
5
5
x1
5
3
1
5
4
x1
5
x1
0
5
3
2
x1
5
5
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
0
1
5
1
4
x1
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
5
4
0
2
x1
0
4
2
x1
0
5
5
4
2
x1
5
2
x1
5
4
0
2
x1
4
2
x1
2
0
1
2
4
x1
4
0
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
2
1
2
4
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
3
5
0
2
1
x1
5
0
3
3
x1
0
5
4
3
2
x1
0
3
4
2
5
x1
0
4
0
2
x1
4
2
x1
0
5
0
2
4
x1
5
2
4
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
1
1
x1
5
x1
5
4
0
2
x1
3
0
4
2
x1
2
0
1
2
4
x1
3
4
0
x1
5
1
4
5
1
x1
4
x1
0
5
4
4
x1
0
4
3
5
x1
0
2
3
5
1
x1
3
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
0
5
0
2
x1
0
0
5
5
x1
0
5
1
1
x1
3
5
x1
0
5
5
4
2
x1
5
5
2
x1
0
5
4
3
2
x1
4
2
5
x1
0
4
5
1
x1
5
x1
0
5
4
1
x1
5
4
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
2
1
5
1
x1
0
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
5
4
3
2
x1
5
x1
2
0
2
4
x1
2
2
4
0
0
x1
4
3
5
1
1
x1
5
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
2
3
2
x1
2
2
x1
5
0
5
0
2
x1
5
5
x1
0
5
3
2
x1
5
2
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
4
3
2
x1
3
4
2
5
x1
3
4
2
1
1
x1
2
x1
2
0
5
4
x1
4
0
3
5
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
true
0
1
1
1
1
1
1
0
4
1
1
0
5
1
1
0
3
1
1
0
2
1
1
2
4
1
1
1
0
1
1
0
3
1
1
0
5
1
1
1
2
1
1
3
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
0
5
3
2
x1
0
5
5
2
x1
0
5
3
2
x1
5
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
4
3
5
1
1
x1
5
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
5
4
1
x1
5
4
x1
0
4
5
1
x1
5
x1
0
5
4
3
2
x1
4
2
5
x1
0
5
5
4
2
x1
5
5
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
0
5
4
4
x1
0
4
3
5
x1
5
1
4
5
1
x1
4
x1
0
5
1
1
x1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
0
2
4
x1
5
2
4
x1
0
4
0
2
x1
4
2
x1
0
5
4
3
2
x1
0
3
4
2
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
2
0
2
4
x1
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
5
4
0
2
x1
4
2
x1
0
5
5
4
2
x1
5
2
x1
5
4
0
2
x1
0
4
2
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
1
5
1
4
x1
5
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
3
2
x1
5
5
2
x1
5
3
1
5
4
x1
5
x1
0
5
3
2
x1
5
5
2
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
5
1
x1
0
4
1
5
x1
0
5
4
4
x1
5
x1
0
5
3
2
x1
0
3
5
5
2
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
0
2
x1
0
4
2
x1
0
2
4
4
x1
4
2
4
x1
5
3
1
5
4
x1
4
1
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
5
1
1
x1
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
5
0
2
4
x1
4
0
5
2
4
x1
0
4
0
2
x1
0
0
4
2
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
0
5
4
1
x1
5
x1
0
2
0
5
1
x1
0
2
1
x1
0
2
4
4
x1
0
4
2
4
x1
0
4
5
1
x1
4
1
5
x1
0
5
1
3
2
x1
5
2
x1
0
5
1
4
x1
5
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
5
4
1
x1
4
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
0
1
5
4
1
x1
5
x1
0
2
3
2
x1
0
3
2
2
x1
0
5
1
4
x1
4
1
5
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
0
5
1
3
2
x1
4
1
5
2
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
0
5
3
2
x1
5
2
x1
0
5
4
4
x1
4
3
5
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
4
2
x1
4
4
2
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
2
0
5
4
x1
2
4
0
3
5
x1
2
0
2
4
x1
2
2
4
0
0
x1
true
0
1
1
1
1
1
0
4
1
0
5
1
1
3
1
0
2
1
1
2
4
1
1
1
0
1
1
3
1
1
0
5
1
1
1
2
1
1
0
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
2
2
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
5
x1
0
4
5
1
x1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
4
4
x1
5
x1
0
5
4
4
x1
4
3
5
x1
0
5
4
4
x1
0
4
3
5
x1
0
5
4
4
x1
4
0
4
3
5
x1
0
5
4
3
2
x1
4
2
5
x1
0
5
4
3
2
x1
0
3
4
2
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
5
x1
0
1
5
4
1
x1
5
x1
0
5
0
2
4
x1
5
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
5
0
2
4
x1
4
0
5
2
4
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
2
4
4
x1
4
2
4
x1
0
2
4
4
x1
0
4
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
5
1
1
x1
5
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
0
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
4
1
x1
4
x1
0
5
4
1
x1
5
4
x1
0
5
3
2
x1
5
2
x1
0
5
3
2
x1
5
5
2
x1
0
5
3
2
x1
0
5
5
2
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
5
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
5
x1
0
5
3
2
x1
5
2
x1
0
5
3
2
x1
5
5
2
x1
0
5
3
2
x1
0
3
5
5
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
0
5
5
4
2
x1
5
2
x1
0
5
5
4
2
x1
5
5
2
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
5
0
1
5
1
x1
5
x1
0
5
1
3
2
x1
5
2
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
true
0
1
1
0
1
1
2
4
1
1
5
1
2
3
1
1
0
2
1
2
4
1
1
0
1
1
0
3
1
0
5
1
1
2
1
2
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
5
3
2
x1
0
3
5
5
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
1
0
2
x1
0
1
3
2
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
4
5
1
x1
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
2
3
2
x1
0
3
2
2
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
2
2
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
4
5
1
x1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
0
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
3
2
x1
0
3
5
5
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
0
5
5
4
2
x1
0
3
5
5
2
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
0
1
1
0
1
1
1
4
1
1
5
1
26954
3
1
1
2
1
2
4
1
1
0
1
1
0
3
1
0
5
1
1
2
1
26954
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
1
0
2
x1
0
1
3
2
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
4
5
1
x1
0
4
1
5
x1
0
4
5
1
x1
0
0
4
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
0
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
0
3
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
0
1
1
0
1
1
1
4
1
1
0
5
1
26325
3
1
1
2
1
2
4
1
26325
0
1
1
0
3
1
0
5
1
26325
2
1
26325
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
1
0
2
x1
0
1
3
2
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
1
0
2
x1
0
1
3
2
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
0
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
0
1
1
4
1
1
1
1
2
5
1
0
3
1
2
2
1
0
4
1
0
0
1
0
3
1
0
5
1
0
2
1
0
1
1
10113
5
1
10114
3
1
10113
2
1
1
4
1
10114
0
1
1
0
3
1
1
5
1
10114
2
1
10114
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
0
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
1
0
2
x1
0
1
3
2
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
0
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
0
4
0
2
x1
0
0
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
0
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
0
1
1
3
1
1
1
1
0
4
1
2
5
1
1
2
1
0
4
1
2
0
1
1
3
1
0
5
1
2
2
1
1
1
1
2
4
1
1
5
1
2
2
1
0
4
1
1
0
1
1
0
3
1
1
5
1
1
2
1
2
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
4
2
x1
0
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
1
1
4
1
0
0
1
0
1
1
1
5
1
12052
12051
3
1
1
0
0
0
1
0
1
2
1
0
0
4
1
12052
0
0
1
12052
12051
3
1
0
0
5
1
12052
0
2
1
0
0
1
0
1
1
12051
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
5
0
2
4
x1
0
5
2
4
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
2
1
0
1
0
0
1
0
1
11634
0
1
1
0
0
1
0
1
0
418
4
1
1
418
5
1
0
0
0
1
1
418
0
3
1
1
0
0
2
1
0
0
4
1
12052
0
0
1
418
418
3
1
0
0
5
1
12052
0
2
1
0
1
0
0
1
418
0
0
2
0
5
1
x1
0
0
0
2
1
x1
0
2
0
5
1
x1
0
0
2
1
x1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
0
2
0
5
1
x1
0
0
2
1
x1
0
2
0
5
1
x1
0
0
0
2
1
x1
true
2
1
0
1
1
0
0
0
1
11635
0
1
1
0
1
4
1
0
0
0
1
1
0
0
5
1
0
0
1
0
1
0
1
3
1
0
1
2
1
0
0
4
1
11635
0
0
1
1
0
0
0
1
0
1
3
1
0
0
5
1
11635
0
2
1
1
1
0
0
1
0
0
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
true
0
1
1
0
1
1
2
1
1
1
1
2
4
1
3
5
1
2
3
1
2
2
1
0
4
1
3
3
1
0
5
1
3
1
1
1
0
4
1
6694
5
1
6695
3
1
1
0
2
1
0
4
1
6694
3
1
1
5
1
6694
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
0
2
x1
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
0
4
0
4
2
x1
4
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
4
0
2
x1
4
2
x1
0
4
0
2
x1
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
true
2
1
0
1
0
1
1
1
1
2456
0
1
1
0
9178
4
1
1
1
0
1
1
0
0
5
1
0
0
1
0
1
0
1
3
1
0
1
0
0
1
0
0
2
1
0
0
4
1
11635
18357
0
1
1
1
0
0
1
0
0
3
1
0
0
5
1
11635
18357
2
1
9178
1
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
5
1
4
5
1
x1
5
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
5
1
4
5
1
x1
5
x1
0
5
3
2
x1
0
5
5
2
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
true
2
1
0
1
1
0
0
0
1
0
18357
1
1
0
1
0
1
1
1
1
4
1
0
1
0
1
1
0
0
5
1
0
0
1
0
1
0
0
3
1
1
1
0
0
1
0
0
2
1
0
0
4
1
0
18357
0
1
0
1
0
0
1
0
0
3
1
0
0
5
1
0
18357
2
1
0
0
1
0
1
1
0
5
0
1
5
1
x1
5
x1
5
1
4
5
1
x1
5
4
x1
5
1
4
5
1
x1
4
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
4
2
x1
4
3
5
1
1
x1
5
x1
5
1
4
5
1
x1
5
x1
0
4
5
1
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
4
5
1
x1
5
x1
5
1
4
5
1
x1
5
x1
4
3
5
1
1
x1
5
x1
5
4
0
2
x1
4
2
x1
5
4
0
2
x1
0
4
2
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
5
1
4
5
1
x1
4
x1
5
1
4
5
1
x1
5
4
x1
5
0
1
5
1
x1
5
x1
true
2
1
0
1
1
0
0
0
1
0
18357
1
1
1
1
0
1
1
0
11166
4
1
1
0
0
5
1
0
0
1
0
1
0
0
3
1
0
1
0
0
1
0
0
2
1
0
0
4
1
0
0
1
0
1
11165
18357
0
1
0
1
0
0
1
0
0
3
1
0
0
5
1
0
0
1
0
1
11165
18357
2
1
0
0
1
0
1
0
0
5
4
0
2
x1
5
0
3
0
4
2
x1
5
4
0
2
x1
4
2
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
3
1
5
4
x1
5
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
3
1
5
4
x1
5
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
true
2
1
0
1
0
18357
1
1
1
0
0
4
1
0
1
0
0
1
0
8637
5
1
1
0
1
1
1
0
0
3
1
1
0
0
0
1
0
0
2
1
0
0
4
1
11165
18357
0
1
0
1
0
0
1
0
0
3
1
0
0
5
1
1
0
0
0
1
11165
18357
2
1
0
0
5
4
0
2
x1
5
0
3
0
4
2
x1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
true
0
1
0
1
1
1
0
4
1
1
5
1
1
0
3
1
0
2
1
2
4
1
0
0
1
1
0
3
1
0
5
1
1
0
2
1
1
0
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
5
4
0
2
x1
4
2
x1
false
0
1
0
2
x1
0
1
3
2
x1
true
2
1
0
1
0
0
1
0
1
0
18357
1
1
0
1
0
0
1
0
0
4
1
0
0
5
1
0
0
1
0
1
0
1
3
1
0
1
0
0
1
0
0
2
1
0
0
4
1
11165
18357
0
1
1
0
0
3
1
0
0
5
1
11165
18357
2
1
1
1
2
0
5
1
x1
0
0
0
5
2
1
x1
5
3
1
5
4
x1
5
3
4
1
3
5
x1
0
2
3
2
x1
0
3
0
3
2
2
x1
0
5
4
1
x1
0
0
4
1
1
5
x1
0
4
5
1
x1
0
0
0
4
1
5
x1
0
1
0
2
x1
0
0
1
3
2
x1
0
2
1
1
x1
0
1
1
1
3
2
x1
0
5
4
4
x1
4
0
4
3
5
x1
2
0
5
4
x1
2
4
0
3
5
x1
0
5
4
3
2
x1
0
0
3
4
2
5
x1
0
1
5
1
4
x1
0
4
3
1
1
5
x1
2
0
5
1
x1
5
0
3
5
2
1
x1
0
2
3
5
1
x1
5
2
1
0
0
3
x1
2
0
2
4
x1
2
2
4
0
0
x1
0
1
5
4
1
x1
4
0
1
1
3
5
x1
0
5
0
2
4
x1
0
4
0
5
2
4
x1
5
1
0
2
x1
2
5
0
3
1
x1
0
2
0
2
4
x1
0
0
2
1
2
4
x1
4
1
2
4
1
x1
4
3
4
1
1
2
x1
0
2
4
4
x1
3
0
4
2
4
x1
0
4
0
4
2
x1
3
0
0
4
4
2
x1
0
5
1
1
x1
0
1
3
1
5
x1
2
0
5
1
1
x1
5
0
2
3
1
1
x1
0
4
0
2
x1
3
0
0
0
4
2
x1
2
0
5
1
x1
5
3
0
5
2
1
x1
0
0
2
1
1
x1
0
3
0
1
2
1
x1
5
1
4
5
1
x1
5
3
4
1
1
5
x1
0
2
1
3
2
x1
3
0
3
1
2
2
x1
0
5
4
1
x1
0
3
1
5
4
x1
0
2
1
5
1
x1
0
5
2
1
1
0
x1
0
5
3
2
x1
0
3
0
5
5
2
x1
4
3
5
1
1
x1
3
4
1
1
1
5
x1
5
3
2
4
x1
2
3
4
3
5
x1
5
4
0
2
x1
5
0
3
0
4
2
x1
0
5
1
4
x1
0
3
3
4
1
5
x1
0
5
1
1
x1
0
1
1
3
5
x1
0
5
3
2
x1
3
0
3
5
5
2
x1
2
5
5
1
1
x1
5
5
2
1
1
3
x1
0
4
0
2
x1
3
0
0
4
2
x1
2
0
1
2
4
x1
2
2
1
3
4
0
x1
5
1
4
5
1
x1
5
0
1
1
5
4
x1
5
0
5
0
2
x1
2
0
0
0
5
5
x1
0
5
5
4
2
x1
4
0
3
5
5
2
x1
3
4
2
1
1
x1
3
4
3
1
1
2
x1
3
5
0
2
1
x1
1
2
5
0
3
3
x1
5
0
1
5
1
x1
5
0
3
1
1
5
x1
0
5
1
3
2
x1
0
3
4
1
5
2
x1
0
2
0
5
1
x1
5
0
0
0
2
1
x1
4
1
2
1
1
x1
3
4
1
1
2
1
x1
0
1
2
2
x1
0
3
2
2
1
x1
0
2
0
5
1
x1
0
2
1
x1
false
0
5
1
3
2
x1
4
1
5
2
x1
false
0
5
1
4
x1
4
1
5
x1
false
0
2
0
2
4
x1
0
2
1
2
4
x1
false
0
4
5
1
x1
4
1
5
x1
false
5
3
1
5
4
x1
4
1
3
5
x1
false
0
1
2
2
x1
0
3
2
2
1
x1
false
0
1
2
2
x1
3
2
2
1
x1
false
0
1
2
2
x1
2
2
1
x1
false
0
1
2
2
x1
2
1
x1
false
0
2
0
5
1
x1
2
1
x1
false
0
5
1
1
x1
0
1
1
3
5
x1
false
0
2
1
5
1
x1
0
5
2
1
1
0
x1
false
0
2
1
5
1
x1
5
2
1
1
0
x1
false
0
2
1
5
1
x1
2
1
1
0
x1
false
0
5
4
1
x1
0
3
1
5
4
x1
false
0
5
4
1
x1
3
1
5
4
x1
false
0
0
2
1
1
x1
0
3
0
1
2
1
x1
false
0
0
2
1
1
x1
3
0
1
2
1
x1
false
0
0
2
1
1
x1
0
1
2
1
x1
false
0
0
2
1
1
x1
2
1
x1
false
0
5
1
1
x1
0
1
3
1
5
x1
false
0
5
1
1
x1
3
1
5
x1
false
0
2
1
3
2
x1
3
0
3
1
2
2
x1
false
0
2
1
3
2
x1
0
3
1
2
2
x1
false
0
2
1
3
2
x1
3
1
2
2
x1
false
0
2
0
2
4
x1
2
1
2
4
x1
false
0
1
5
4
1
x1
4
0
1
1
3
5
x1
false
0
1
5
4
1
x1
0
1
1
3
5
x1
false
5
0
1
5
1
x1
5
0
3
1
1
5
x1
false
5
0
1
5
1
x1
0
3
1
1
5
x1
false
5
0
1
5
1
x1
3
1
1
5
x1
false
2
0
1
2
4
x1
2
2
1
3
4
0
x1
false
2
0
1
2
4
x1
2
1
3
4
0
x1
false
0
2
3
5
1
x1
5
2
1
0
0
3
x1
false
0
2
3
5
1
x1
2
1
0
0
3
x1
false
0
1
5
1
4
x1
0
4
3
1
1
5
x1
false
0
1
5
1
4
x1
4
3
1
1
5
x1
false
0
1
5
1
4
x1
3
1
1
5
x1
false
2
5
5
1
1
x1
5
5
2
1
1
3
x1
false
2
5
5
1
1
x1
5
2
1
1
3
x1
false
2
5
5
1
1
x1
2
1
1
3
x1
false
2
0
5
1
x1
5
3
0
5
2
1
x1
false
2
0
5
1
x1
3
0
5
2
1
x1
false
2
0
5
1
x1
0
5
2
1
x1
false
2
0
5
1
x1
5
2
1
x1
false
2
0
5
1
x1
2
1
x1
false
2
0
5
1
1
x1
5
0
2
3
1
1
x1
false
2
0
5
1
1
x1
0
2
3
1
1
x1
false
2
0
5
1
1
x1
2
3
1
1
x1
false
2
0
5
1
1
x1
3
1
1
x1
false
5
1
4
5
1
x1
5
0
1
1
5
4
x1
false
5
1
4
5
1
x1
0
1
1
5
4
x1
false
0
2
1
1
x1
0
1
1
1
3
2
x1
false
0
5
4
1
x1
0
0
4
1
1
5
x1
false
0
5
4
1
x1
0
4
1
1
5
x1
false
0
5
4
1
x1
4
1
1
5
x1
false
2
0
5
1
x1
5
0
3
5
2
1
x1
false
2
0
5
1
x1
0
3
5
2
1
x1
false
2
0
5
1
x1
3
5
2
1
x1
false
2
0
5
1
x1
5
2
1
x1
false
2
0
5
1
x1
2
1
x1
false
4
1
2
1
1
x1
3
4
1
1
2
1
x1
false
4
1
2
1
1
x1
4
1
1
2
1
x1
false
4
1
2
1
1
x1
2
1
x1
false
4
3
5
1
1
x1
3
4
1
1
1
5
x1
false
4
3
5
1
1
x1
4
1
1
1
5
x1
false
5
1
4
5
1
x1
5
3
4
1
1
5
x1
false
5
1
4
5
1
x1
3
4
1
1
5
x1
false
5
1
4
5
1
x1
4
1
1
5
x1
false
5
1
0
2
x1
2
5
0
3
1
x1
false
5
1
0
2
x1
5
0
3
1
x1
false
5
1
0
2
x1
0
3
1
x1
false
5
1
0
2
x1
3
1
x1
false
4
1
2
4
1
x1
4
3
4
1
1
2
x1
false
4
1
2
4
1
x1
3
4
1
1
2
x1
false
4
1
2
4
1
x1
4
1
1
2
x1
false
3
4
2
1
1
x1
3
4
3
1
1
2
x1
false
3
4
2
1
1
x1
4
3
1
1
2
x1
false
3
4
2
1
1
x1
3
1
1
2
x1
false
2
0
5
1
x1
0
0
0
5
2
1
x1
false
2
0
5
1
x1
0
0
5
2
1
x1
false
2
0
5
1
x1
0
5
2
1
x1
false
2
0
5
1
x1
5
2
1
x1
false
2
0
5
1
x1
2
1
x1
false
NaTT
certifiable-1.6