5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
2.2
5
5
x1
1
1
1
1
4
4
0
4
x1
4
2
5
5
1
5
x1
4
2
1
1
3
4
2
5
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
2
0
3
1
3
3
x1
0
2
5
3
4
x1
1
5
1
1
3
4
x1
5
5
2
x1
2
5
3
x1
5
5
5
x1
1
4
5
0
0
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
1
4
0
2
4
4
x1
4
1
5
5
0
4
x1
2
4
4
3
4
x1
1
2
4
5
2
4
x1
4
0
3
1
3
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
2
5
5
3
4
x1
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
1
1
3
4
x1
4
1
5
5
0
4
x1
4
2
4
4
3
4
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
2
5
5
0
4
x1
5
2
1
4
4
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
5
x1
4
5
5
5
x1
1
2
0
3
2
1
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
0
4
4
5
5
5
x1
1
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
1
2
4
5
2
4
x1
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
3
2
4
4
5
1
0
0
x1
0
4
4
5
5
5
x1
4
4
4
3
3
4
1
3
1
x1
2
5
5
x1
0
0
1
1
2
x1
4
5
5
5
x1
0
3
2
1
0
5
x1
4
1
5
5
0
4
x1
0
3
0
4
2
4
4
3
4
x1
4
5
5
5
x1
2
0
3
2
1
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
4
1
5
5
0
4
x1
0
4
2
4
4
3
4
x1
5
2
4
x1
4
2
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
2
5
3
4
x1
1
3
4
x1
1
2
4
5
2
4
x1
1
3
x1
5
2
4
x1
0
2
3
3
4
2
4
2
x1
4
1
5
5
0
4
x1
4
4
3
4
x1
5
2
4
x1
2
3
3
4
2
4
2
x1
5
5
x1
4
4
0
4
x1
5
2
5
5
0
4
x1
1
4
4
x1
0
1
5
5
5
3
5
x1
1
2
0
5
x1
4
4
5
2
4
2
2
x1
1
x1
5
5
x1
2
5
4
5
2
1
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
5
5
5
x1
4
5
0
0
x1
2
5
5
3
4
x1
5
4
3
1
4
0
2
4
4
x1
4
2
5
5
1
5
x1
4
2
5
x1
2
5
0
4
x1
0
x1
4
4
5
2
4
2
2
x1
1
2
2
1
x1
0
4
4
5
5
5
x1
4
1
3
1
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
3
x1
5
4
4
1
0
1
5
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
2
4
x1
4
2
4
2
x1
0
1
5
5
5
3
5
x1
1
0
1
2
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
4
4
5
2
4
2
2
x1
2
1
x1
5
5
2
4
5
0
x1
1
4
2
4
0
4
2
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
x1
4
5
2
1
x1
5
5
5
x1
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
2
x1
2
3
0
3
2
5
3
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
5
5
5
x1
0
5
x1
2
5
5
3
4
x1
2
4
4
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
5
x1
0
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
4
5
2
4
x1
0
3
1
3
3
x1
5
2
5
5
0
4
x1
2
1
4
4
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
0
1
5
5
5
3
5
x1
5
1
0
1
2
0
5
x1
4
2
5
5
1
5
x1
1
3
4
2
5
x1
5
5
x1
5
4
5
2
1
x1
5
5
2
x1
0
3
2
5
3
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
5
5
3
x1
1
0
1
5
0
x1
4
4
5
2
4
2
2
x1
5
1
2
2
1
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
4
5
2
4
x1
2
0
3
1
3
3
x1
0
4
4
5
5
5
x1
1
3
1
x1
0
4
4
5
5
5
x1
4
4
3
3
4
1
3
1
x1
5
5
5
1
4
x1
0
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
2
5
5
0
4
x1
4
4
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
5
5
1
4
x1
5
0
4
3
4
4
0
x1
2
5
5
x1
1
2
x1
4
2
5
5
1
5
x1
1
1
3
4
2
5
x1
5
5
x1
4
0
4
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
5
2
4
x1
5
0
2
3
3
4
2
4
2
x1
5
5
x1
2
1
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
5
5
2
4
5
0
x1
1
1
4
2
4
0
4
2
0
x1
5
5
5
x1
1
0
1
4
5
0
0
x1
0
2
5
3
4
x1
2
4
3
1
5
1
1
3
4
x1
4
5
5
5
x1
5
1
2
0
3
2
1
0
5
x1
5
2
5
5
0
4
x1
2
3
3
5
2
1
4
4
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
5
5
x1
1
4
4
0
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
5
5
5
x1
0
1
4
5
0
0
x1
1
2
4
5
2
4
x1
0
4
0
3
1
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
4
3
4
4
0
x1
2
5
5
x1
2
x1
0
2
5
3
4
x1
4
3
1
5
1
1
3
4
x1
5
5
2
x1
5
3
x1
4
2
5
5
1
5
x1
2
1
1
3
4
2
5
x1
5
2
4
x1
2
4
2
x1
4
5
2
4
x1
1
5
5
2
0
3
1
3
3
x1
5
5
x1
1
x1
2
5
0
4
x1
1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
5
2
5
5
0
4
x1
4
2
3
3
5
2
1
4
4
x1
1
2
4
5
2
4
x1
0
3
1
3
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
4
1
5
5
0
4
x1
4
3
4
x1
5
5
3
x1
5
0
x1
4
5
2
4
x1
1
3
3
x1
5
5
5
1
4
x1
0
5
0
4
3
4
4
0
x1
2
5
0
4
x1
5
1
0
0
x1
2
5
5
x1
1
1
2
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
5
5
x1
5
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
2
4
5
0
x1
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
2
5
5
x1
4
0
0
1
1
2
x1
5
5
5
x1
5
0
0
x1
5
5
x1
0
2
5
4
5
2
1
x1
0
2
5
3
4
x1
5
1
1
3
4
x1
5
5
5
1
4
x1
0
4
3
4
4
0
x1
5
5
3
x1
1
5
0
x1
5
5
x1
1
1
1
4
4
0
4
x1
5
2
4
x1
2
x1
4
5
5
5
x1
1
0
5
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
5
x1
0
1
1
2
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
5
x1
0
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
5
5
3
x1
0
1
5
0
x1
2
5
0
4
x1
0
0
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
5
5
x1
1
1
4
4
0
4
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
5
5
2
x1
1
3
2
3
0
3
2
5
3
x1
0
4
4
5
5
5
x1
4
3
3
4
1
3
1
x1
5
5
3
x1
0
x1
true
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
5
3
x1
0
x1
5
2
5
5
0
4
x1
4
4
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
5
5
5
1
4
x1
0
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
2
5
0
4
x1
0
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
x1
5
4
5
2
1
x1
0
1
5
5
5
3
5
x1
5
1
0
1
2
0
5
x1
5
2
5
5
0
4
x1
2
1
4
4
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
5
x1
0
0
x1
5
5
x1
0
4
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
2
5
5
3
4
x1
2
4
4
x1
4
5
5
5
x1
0
5
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
5
x1
0
x1
5
2
4
x1
2
x1
5
5
x1
4
5
2
1
x1
5
5
5
1
4
x1
4
0
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
5
5
5
x1
2
1
0
5
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
2
4
x1
4
2
4
2
x1
5
5
5
x1
5
0
0
x1
2
5
5
x1
4
0
0
1
1
2
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
3
x1
5
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
5
2
1
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
5
1
0
0
x1
4
2
5
5
1
5
x1
4
2
5
x1
5
5
3
x1
5
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
x1
2
5
4
5
2
1
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
5
5
x1
4
4
0
4
x1
2
5
0
4
x1
4
5
1
0
0
x1
5
2
4
x1
2
4
2
x1
5
2
4
x1
4
2
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
2
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
5
5
5
x1
0
1
4
5
0
0
x1
2
5
5
3
4
x1
0
2
4
4
x1
4
2
5
5
1
5
x1
2
5
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
2
5
5
0
4
x1
5
2
1
4
4
x1
5
5
2
4
5
0
x1
4
2
0
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
x1
2
1
x1
2
5
5
3
4
x1
4
4
x1
5
5
x1
4
0
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
true
0
1
2
1
1
1
4
1
1
0
5
1
2
3
1
1
2
1
2
4
1
2
0
1
2
5
1
1
0
2
1
2
1
1
0
2
5
5
3
4
x1
4
0
2
4
4
x1
5
5
x1
4
0
4
x1
2
5
5
3
4
x1
4
4
x1
5
5
x1
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
2
5
5
0
4
x1
5
2
1
4
4
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
4
2
5
5
1
5
x1
2
5
x1
2
5
5
3
4
x1
0
2
4
4
x1
5
5
5
x1
0
1
4
5
0
0
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
2
5
5
x1
2
x1
2
5
5
x1
0
0
1
1
2
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
5
2
4
x1
4
2
x1
5
2
4
x1
2
4
2
x1
2
5
0
4
x1
4
5
1
0
0
x1
5
5
x1
4
4
0
4
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
5
x1
4
5
0
0
x1
5
5
3
x1
5
0
x1
4
2
5
5
1
5
x1
4
2
5
x1
2
5
0
4
x1
0
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
x1
5
2
1
x1
5
5
x1
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
2
0
x1
2
5
5
x1
4
0
0
1
1
2
x1
5
5
5
x1
5
0
0
x1
5
2
4
x1
4
2
4
2
x1
5
5
x1
0
2
5
4
5
2
1
x1
4
5
5
5
x1
2
1
0
5
x1
4
4
5
2
4
2
2
x1
2
1
x1
5
5
5
1
4
x1
4
0
x1
5
5
x1
4
5
2
1
x1
5
2
4
x1
2
x1
5
5
5
x1
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
0
1
1
2
x1
4
5
5
5
x1
0
5
x1
2
5
5
3
4
x1
2
4
4
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
x1
0
4
x1
5
5
5
x1
0
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
5
2
5
5
0
4
x1
2
1
4
4
x1
5
5
x1
5
4
5
2
1
x1
5
5
3
x1
0
1
5
0
x1
2
5
0
4
x1
0
0
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
5
5
5
1
4
x1
0
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
5
2
5
5
0
4
x1
4
4
x1
5
5
3
x1
0
x1
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
5
2
5
5
0
4
x1
4
4
x1
5
2
5
5
0
4
x1
2
1
4
4
x1
5
2
5
5
0
4
x1
5
2
1
4
4
x1
5
2
4
x1
2
x1
5
2
4
x1
4
2
x1
5
2
4
x1
2
4
2
x1
5
2
4
x1
4
2
4
2
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
2
1
x1
5
5
x1
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
5
5
5
x1
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
5
5
5
x1
0
x1
5
5
5
x1
0
0
x1
5
5
5
x1
5
0
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
5
x1
0
1
4
5
0
0
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
3
x1
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
0
1
1
1
1
0
4
1
1
0
5
1
1
3
1
0
2
1
1
4
1
1
0
1
1
5
1
1
0
2
1
1
1
1
1
0
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
0
4
x1
5
5
x1
4
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
5
1
4
x1
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
4
4
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
5
5
5
x1
0
1
4
5
0
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
5
x1
5
0
0
x1
5
5
5
x1
0
0
x1
5
5
5
x1
0
x1
4
5
5
5
x1
2
1
0
5
x1
4
5
5
5
x1
0
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
2
5
5
1
5
x1
2
5
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
2
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
2
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
5
4
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
5
2
1
x1
5
5
x1
2
1
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
0
x1
5
2
4
x1
4
2
4
2
x1
5
2
4
x1
2
4
2
x1
5
2
4
x1
4
2
x1
5
2
4
x1
2
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
5
2
4
x1
2
x1
5
2
4
x1
4
2
x1
5
2
4
x1
2
4
2
x1
5
2
4
x1
4
2
4
2
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
2
1
x1
5
5
x1
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
5
4
0
2
5
4
5
2
1
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
5
5
5
x1
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
5
5
5
x1
0
x1
5
5
5
x1
0
0
x1
5
5
5
x1
5
0
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
5
x1
0
1
4
5
0
0
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
3
x1
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
0
1
42513
1
1
0
4
1
21257
5
1
42513
3
1
0
2
1
42513
4
1
42513
0
1
42513
5
1
1
0
2
1
1
21257
1
1
0
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
0
4
x1
5
5
x1
4
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
5
1
4
x1
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
4
4
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
5
5
5
x1
0
1
4
5
0
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
5
x1
5
0
0
x1
5
5
5
x1
0
0
x1
5
5
5
x1
0
x1
4
5
5
5
x1
2
1
0
5
x1
4
5
5
5
x1
0
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
2
5
5
1
5
x1
2
5
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
2
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
2
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
1
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
0
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
5
5
5
x1
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
5
5
5
x1
0
x1
5
5
5
x1
0
0
x1
5
5
5
x1
5
0
0
x1
5
5
5
x1
4
5
0
0
x1
5
5
5
x1
0
1
4
5
0
0
x1
5
5
5
x1
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
0
x1
5
5
5
1
4
x1
4
0
x1
5
5
5
1
4
x1
4
4
0
x1
5
5
3
x1
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
0
1
26551
1
1
0
4
1
0
5
1
1
26551
3
1
0
2
1
26551
4
1
26551
0
1
26551
5
1
1
0
2
1
0
1
1
0
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
0
4
x1
5
5
x1
4
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
4
4
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
4
5
5
5
x1
0
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
2
5
5
1
5
x1
2
5
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
2
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
2
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
1
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
0
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
5
x1
4
2
5
5
1
5
x1
4
2
5
x1
4
5
5
5
x1
0
5
x1
4
5
5
5
x1
2
1
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
3
x1
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
2
1
0
1
0
1
1
1
0
1
0
0
1
0
0
4
1
0
0
5
1
1
0
1
1
1
0
1
3
1
0
0
2
1
0
1
4
1
1
0
0
0
1
0
1
0
1
0
1
5
1
1
0
0
2
1
1
0
0
0
1
0
0
1
1
0
0
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
0
4
x1
5
5
x1
4
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
4
4
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
2
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
2
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
1
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
0
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
2
5
0
4
x1
0
x1
2
5
0
4
x1
0
0
x1
2
5
0
4
x1
4
5
1
0
0
x1
2
5
0
4
x1
4
4
5
1
0
0
x1
2
5
0
4
x1
2
4
4
5
1
0
0
x1
5
5
x1
2
1
x1
5
5
x1
4
5
2
1
x1
5
5
x1
2
5
4
5
2
1
x1
5
5
x1
0
2
5
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
2
x1
2
5
5
x1
0
1
1
2
x1
2
5
5
x1
0
0
1
1
2
x1
2
5
5
x1
4
0
0
1
1
2
x1
2
5
5
x1
4
4
0
0
1
1
2
x1
2
5
5
x1
2
5
4
4
0
0
1
1
2
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
4
5
2
4
2
2
x1
2
1
x1
4
4
5
2
4
2
2
x1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
2
5
1
0
1
2
0
5
x1
2
5
5
3
4
x1
4
4
x1
2
5
5
3
4
x1
2
4
4
x1
2
5
5
3
4
x1
0
2
4
4
x1
2
5
5
3
4
x1
4
0
2
4
4
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
3
x1
0
x1
5
5
3
x1
5
0
x1
5
5
3
x1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
0
1
26550
1
1
5332
4
1
5332
5
1
1
5335
3
1
4900
2
1
1
15882
4
1
26551
0
1
10235
5
1
26551
2
1
5332
1
1
0
5
5
x1
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
5
0
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
0
1
5
5
5
3
5
x1
0
5
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
0
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
5
5
x1
4
5
2
1
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
0
1
5
5
5
3
5
x1
0
5
x1
0
1
5
5
5
3
5
x1
0
1
2
0
5
x1
true
2
1
0
1
0
0
1
0
1
0
1
1
1
0
1
0
0
1
1
0
4
1
1
1
5
1
0
0
1
0
1
0
1
3
1
0
1
0
0
1
0
0
2
1
0
1
4
1
0
1
0
1
0
1
0
0
1
0
0
5
1
0
0
2
1
1
1
0
0
1
0
0
1
1
0
0
0
1
5
5
5
3
5
x1
0
5
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
0
1
5
5
5
3
5
x1
0
5
x1
true
2
1
0
1
0
0
1
0
1
0
1
1
1
13573
19029
4
1
28350
19029
5
1
1
0
1
0
1
42056
19026
3
1
19
1
2
1
0
1
4
1
0
1
0
1
42076
19026
5
1
0
0
2
1
0
1
1
0
1
28349
1
1
1
0
0
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
5
5
x1
4
5
2
1
x1
5
5
x1
4
0
2
5
4
5
2
1
x1
4
4
5
2
4
2
2
x1
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
5
5
4
5
1
2
2
1
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
4
2
0
x1
5
5
2
4
5
0
x1
4
0
4
2
0
x1
5
5
2
4
5
0
x1
4
2
4
0
4
2
0
x1
4
5
2
4
x1
5
5
2
0
3
1
3
3
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
3
x1
5
0
x1
5
5
3
x1
4
1
0
1
5
0
x1
5
5
3
x1
4
4
1
0
1
5
0
x1
5
5
x1
4
x1
5
5
x1
4
0
4
x1
5
5
x1
4
4
0
4
x1
5
5
x1
4
1
1
1
1
4
4
0
4
x1
true
2
1
0
1
0
1
1
1
1
1
4
1
0
0
1
0
1
495
14607
5
1
1
1
0
0
1
5
1
3
1
1
1
2
1
0
1
4
1
1
1
0
0
1
0
0
0
1
10
2
5
1
0
0
1
1
1
15093
15092
2
1
1
0
1
0
1
15086
14607
1
1
0
0
5
5
3
x1
5
0
x1
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
5
5
3
x1
5
0
x1
true
2
1
0
1
0
1
1
1
0
1
0
0
1
0
0
4
1
7167
7167
5
1
1
0
1
1
1
0
7169
3
1
0
0
1
0
1
0
0
2
1
0
1
4
1
0
1
0
0
1
0
0
0
1
0
0
0
1
1
7167
1
5
1
1
0
1
0
1
15093
15092
2
1
0
1
0
0
1
7167
0
1
1
0
0
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
1
2
4
5
2
4
x1
3
3
5
3
0
4
0
3
1
3
x1
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
5
5
x1
0
5
4
0
2
5
4
5
2
1
x1
2
5
5
x1
4
2
5
4
4
0
0
1
1
2
x1
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
4
4
5
2
4
2
2
x1
4
0
5
5
4
5
1
2
2
1
x1
5
5
2
4
5
0
x1
2
1
1
4
2
4
0
4
2
0
x1
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
0
2
5
3
4
x1
3
2
4
3
1
5
1
1
3
4
x1
4
5
2
4
x1
4
1
5
5
2
0
3
1
3
3
x1
5
5
5
1
4
x1
3
3
0
5
0
4
3
4
4
0
x1
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
5
5
x1
3
4
1
1
1
1
4
4
0
4
x1
5
5
x1
1
1
1
4
4
0
4
x1
false
5
5
x1
1
1
4
4
0
4
x1
false
5
5
x1
1
4
4
0
4
x1
false
5
5
3
x1
0
3
5
4
4
1
0
1
5
0
x1
false
5
5
3
x1
1
0
1
5
0
x1
false
5
5
3
x1
1
5
0
x1
false
5
5
5
1
4
x1
0
5
0
4
3
4
4
0
x1
false
5
5
5
1
4
x1
0
4
3
4
4
0
x1
false
5
5
5
1
4
x1
4
3
4
4
0
x1
false
5
5
5
x1
5
3
4
1
0
1
4
5
0
0
x1
false
5
5
5
x1
1
0
1
4
5
0
0
x1
false
5
5
5
x1
1
4
5
0
0
x1
false
5
5
2
x1
0
1
3
2
3
0
3
2
5
3
x1
false
5
5
2
x1
1
3
2
3
0
3
2
5
3
x1
false
5
5
2
x1
2
3
0
3
2
5
3
x1
false
5
5
2
x1
0
3
2
5
3
x1
false
5
5
2
x1
2
5
3
x1
false
5
5
2
x1
5
3
x1
false
5
5
2
4
5
0
x1
1
1
4
2
4
0
4
2
0
x1
false
5
5
2
4
5
0
x1
1
4
2
4
0
4
2
0
x1
false
5
2
4
x1
0
5
0
2
3
3
4
2
4
2
x1
false
5
2
4
x1
5
0
2
3
3
4
2
4
2
x1
false
5
2
4
x1
0
2
3
3
4
2
4
2
x1
false
5
2
4
x1
2
3
3
4
2
4
2
x1
false
2
5
5
3
4
x1
4
5
4
3
1
4
0
2
4
4
x1
false
2
5
5
3
4
x1
5
4
3
1
4
0
2
4
4
x1
false
2
5
5
3
4
x1
4
3
1
4
0
2
4
4
x1
false
2
5
5
3
4
x1
1
4
0
2
4
4
x1
false
4
5
2
4
x1
1
5
5
2
0
3
1
3
3
x1
false
5
5
x1
1
x1
false
4
5
2
4
x1
5
2
0
3
1
3
3
x1
false
4
5
2
4
x1
2
0
3
1
3
3
x1
false
4
5
2
4
x1
0
3
1
3
3
x1
false
4
5
2
4
x1
1
3
3
x1
false
4
5
5
5
x1
1
5
1
2
0
3
2
1
0
5
x1
false
4
5
5
5
x1
5
1
2
0
3
2
1
0
5
x1
false
4
5
5
5
x1
1
2
0
3
2
1
0
5
x1
false
4
5
5
5
x1
2
0
3
2
1
0
5
x1
false
4
5
5
5
x1
0
3
2
1
0
5
x1
false
4
5
5
5
x1
1
0
5
x1
false
4
2
5
5
1
5
x1
2
3
4
2
1
1
3
4
2
5
x1
false
4
2
5
5
1
5
x1
4
2
1
1
3
4
2
5
x1
false
4
2
5
5
1
5
x1
2
1
1
3
4
2
5
x1
false
4
2
5
5
1
5
x1
1
1
3
4
2
5
x1
false
4
2
5
5
1
5
x1
1
3
4
2
5
x1
false
0
2
5
3
4
x1
2
4
3
1
5
1
1
3
4
x1
false
0
2
5
3
4
x1
4
3
1
5
1
1
3
4
x1
false
0
2
5
3
4
x1
1
5
1
1
3
4
x1
false
0
2
5
3
4
x1
5
1
1
3
4
x1
false
0
2
5
3
4
x1
1
1
3
4
x1
false
0
2
5
3
4
x1
1
3
4
x1
false
0
4
4
5
5
5
x1
0
4
4
4
3
3
4
1
3
1
x1
false
0
4
4
5
5
5
x1
4
4
4
3
3
4
1
3
1
x1
false
0
4
4
5
5
5
x1
4
4
3
3
4
1
3
1
x1
false
0
4
4
5
5
5
x1
4
3
3
4
1
3
1
x1
false
0
4
4
5
5
5
x1
4
1
3
1
x1
false
0
4
4
5
5
5
x1
1
3
1
x1
false
0
4
4
5
5
5
x1
1
x1
false
0
1
5
5
5
3
5
x1
5
3
2
5
1
0
1
2
0
5
x1
false
2
5
5
x1
1
1
2
x1
false
2
5
5
x1
1
2
x1
false
2
5
0
4
x1
4
4
3
2
4
4
5
1
0
0
x1
false
2
5
0
4
x1
4
3
2
4
4
5
1
0
0
x1
false
5
2
5
5
0
4
x1
0
4
2
3
3
5
2
1
4
4
x1
false
5
2
5
5
0
4
x1
4
2
3
3
5
2
1
4
4
x1
false
5
2
5
5
0
4
x1
2
3
3
5
2
1
4
4
x1
false
4
4
5
2
4
2
2
x1
1
2
2
1
x1
false
5
2
5
5
0
4
x1
1
4
4
x1
false
2
5
0
4
x1
1
0
0
x1
false
0
1
5
5
5
3
5
x1
1
0
1
2
0
5
x1
false
0
1
5
5
5
3
5
x1
1
2
0
5
x1
false
4
4
5
2
4
2
2
x1
1
x1
false
4
1
5
5
0
4
x1
1
0
3
0
4
2
4
4
3
4
x1
false
4
1
5
5
0
4
x1
0
3
0
4
2
4
4
3
4
x1
false
4
1
5
5
0
4
x1
0
4
2
4
4
3
4
x1
false
4
1
5
5
0
4
x1
4
2
4
4
3
4
x1
false
4
1
5
5
0
4
x1
2
4
4
3
4
x1
false
4
1
5
5
0
4
x1
4
4
3
4
x1
false
4
1
5
5
0
4
x1
4
3
4
x1
false
5
5
x1
1
1
1
1
4
4
0
4
x1
false
1
2
4
5
2
4
x1
5
3
0
4
0
3
1
3
x1
false
1
2
4
5
2
4
x1
0
4
0
3
1
3
x1
false
1
2
4
5
2
4
x1
4
0
3
1
3
x1
false
1
2
4
5
2
4
x1
0
3
1
3
x1
false
1
2
4
5
2
4
x1
1
3
x1
false
5
5
5
1
4
x1
5
0
4
3
4
4
0
x1
false
NaTT
certifiable-1.6