0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
4
x1
0
1
3
0
4
x1
0
1
0
5
x1
0
1
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
1
0
2
x1
3
2
1
3
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
3
3
2
1
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
3
4
2
0
x1
3
3
2
4
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
3
1
0
x1
0
1
3
5
5
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
2.2
0
1
0
4
x1
3
0
4
x1
3
4
0
2
0
x1
0
0
2
1
4
x1
3
4
2
3
2
x1
4
2
x1
5
1
5
2
0
x1
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
1
0
2
x1
3
0
x1
0
5
3
2
0
x1
5
x1
3
1
2
0
x1
3
3
0
x1
3
4
2
3
2
x1
5
4
2
x1
0
2
4
1
2
x1
4
2
x1
0
0
1
2
x1
3
3
0
x1
3
1
3
0
2
x1
0
x1
3
4
2
3
2
x1
3
2
5
4
2
x1
3
3
1
0
0
x1
3
0
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
3
5
0
x1
3
1
2
0
x1
4
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
2
0
x1
3
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
3
1
5
0
x1
5
3
0
x1
0
1
0
5
x1
0
x1
0
1
2
0
5
x1
0
5
1
2
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
0
5
2
x1
5
0
x1
0
2
0
3
4
x1
5
2
3
0
x1
3
1
3
2
0
x1
0
5
2
x1
0
2
0
3
4
x1
4
5
2
3
0
x1
5
1
0
1
2
x1
3
5
0
x1
0
1
2
0
5
x1
3
0
5
1
2
x1
3
1
3
2
0
x1
5
2
x1
3
4
2
0
x1
4
0
x1
3
1
2
0
x1
3
3
2
1
0
x1
3
1
0
2
x1
3
5
0
2
x1
0
0
1
2
x1
0
x1
3
1
0
5
x1
3
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
0
5
x1
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
5
1
0
1
2
x1
5
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
2
3
1
5
x1
5
2
x1
0
1
5
0
4
x1
3
5
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
2
0
x1
0
2
1
4
x1
0
1
0
5
x1
5
0
x1
0
2
5
0
2
x1
5
2
2
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
5
1
1
0
4
x1
4
3
0
x1
0
2
5
5
0
x1
5
x1
3
1
4
1
2
x1
3
2
2
1
x1
0
3
1
0
x1
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
0
1
5
0
4
x1
0
x1
0
2
0
3
4
x1
3
0
x1
0
1
3
1
2
x1
0
2
2
1
1
x1
3
1
3
0
2
x1
3
0
x1
3
1
5
0
2
x1
0
5
x1
3
1
4
2
0
x1
3
0
4
x1
0
3
1
5
0
x1
0
5
3
0
x1
3
1
5
0
2
x1
3
0
5
x1
5
3
1
0
x1
5
x1
0
0
4
1
0
x1
0
0
x1
5
1
0
5
x1
5
5
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
3
1
2
0
x1
5
2
1
0
x1
0
3
1
0
x1
0
1
3
5
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
4
5
5
5
0
x1
5
0
4
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
4
1
0
5
x1
3
5
5
0
x1
0
0
4
1
0
x1
4
1
3
0
0
x1
0
1
5
0
4
x1
5
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
3
1
3
2
0
x1
3
0
5
2
x1
5
1
1
0
4
x1
3
0
x1
0
2
5
0
2
x1
3
5
2
2
x1
3
1
2
0
x1
3
2
1
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
0
1
5
3
5
x1
3
5
3
5
x1
3
1
2
0
x1
0
3
2
1
x1
3
1
5
0
2
x1
5
x1
0
2
3
1
5
x1
3
5
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
4
3
1
0
2
x1
3
0
1
x1
5
3
1
0
x1
3
5
5
x1
3
4
0
2
0
x1
4
x1
0
2
5
5
0
x1
0
2
5
1
5
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
5
x1
5
3
0
x1
3
1
4
2
0
x1
4
x1
3
1
4
1
2
x1
4
3
2
2
1
x1
3
1
3
0
2
x1
3
3
3
0
x1
5
1
0
5
x1
5
0
x1
3
1
3
0
2
x1
3
3
0
x1
0
5
3
2
0
x1
0
2
1
3
5
x1
5
4
1
0
5
x1
5
0
x1
0
3
1
5
0
x1
3
0
x1
5
2
5
0
x1
3
5
0
x1
5
1
0
5
x1
0
x1
4
5
5
1
2
x1
5
2
1
1
x1
3
1
2
0
x1
3
5
2
1
0
x1
0
5
3
2
0
x1
3
5
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
5
1
5
2
0
x1
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
5
3
1
0
x1
5
5
x1
5
4
1
0
5
x1
0
x1
3
1
0
2
x1
0
x1
3
4
0
2
0
x1
0
2
1
4
x1
3
4
2
0
x1
3
2
4
0
x1
5
1
5
2
0
x1
5
0
5
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
0
4
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
0
1
2
x1
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
5
x1
3
5
5
0
x1
4
3
1
2
0
x1
0
1
4
2
x1
5
4
1
0
5
x1
5
5
0
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
0
1
0
x1
4
0
x1
5
3
1
0
x1
0
1
3
5
5
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
4
2
0
x1
0
4
x1
0
2
5
0
2
x1
0
3
5
2
2
x1
5
1
5
2
0
x1
3
5
0
5
x1
4
5
5
5
0
x1
5
1
5
0
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
5
2
x1
3
5
0
x1
3
1
2
2
x1
5
2
2
1
x1
0
2
3
1
5
x1
5
5
2
x1
3
3
1
0
0
x1
3
3
0
0
x1
4
3
1
0
2
x1
0
1
x1
4
3
1
2
0
x1
3
0
1
4
2
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
5
0
x1
0
1
3
5
0
x1
0
2
0
3
4
x1
0
x1
0
1
0
4
x1
0
1
3
0
4
x1
0
1
2
0
5
x1
5
1
2
x1
3
1
0
5
2
x1
0
x1
0
1
5
0
4
x1
4
1
3
5
0
x1
0
1
5
0
x1
3
5
0
x1
0
2
5
5
0
x1
5
1
5
x1
3
1
0
5
x1
3
5
3
0
x1
4
0
1
0
x1
3
0
4
0
x1
3
1
0
5
2
x1
4
1
3
5
0
x1
5
1
1
0
4
x1
0
x1
0
1
0
5
x1
3
5
0
x1
4
5
5
5
0
x1
0
4
x1
4
5
5
5
0
x1
4
x1
4
5
5
1
2
x1
4
5
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
0
0
4
1
0
x1
3
0
0
x1
3
1
2
0
x1
3
2
1
x1
4
3
1
2
0
x1
4
2
x1
true
0
2
3
1
5
x1
0
1
3
5
5
2
x1
0
0
4
1
0
x1
3
0
0
x1
0
2
3
1
5
x1
3
5
5
2
x1
3
1
5
0
2
x1
5
x1
0
1
5
3
5
x1
3
5
3
5
x1
4
5
5
5
0
x1
4
x1
4
5
5
5
0
x1
0
4
x1
3
1
3
2
0
x1
3
0
5
2
x1
5
1
1
0
4
x1
3
0
x1
0
1
0
5
x1
3
5
0
x1
5
1
1
0
4
x1
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
0
1
5
0
4
x1
5
0
x1
5
4
1
0
5
x1
3
5
5
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
4
0
1
0
x1
3
0
4
0
x1
4
5
5
5
0
x1
5
0
4
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
0
1
5
0
x1
3
5
0
x1
0
2
5
5
0
x1
5
1
5
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
0
5
2
x1
0
x1
5
1
0
5
x1
5
5
0
x1
5
3
1
0
x1
5
x1
0
0
4
1
0
x1
0
0
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
5
0
2
x1
3
0
5
x1
0
2
0
3
4
x1
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
5
0
2
x1
0
5
x1
3
1
3
0
2
x1
3
0
x1
4
3
1
0
2
x1
0
1
x1
0
2
0
3
4
x1
3
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
0
2
3
1
5
x1
5
5
2
x1
0
1
5
0
4
x1
0
x1
3
1
0
5
2
x1
3
5
0
x1
4
5
5
5
0
x1
5
1
5
0
4
x1
0
3
1
0
x1
5
0
x1
5
1
5
2
0
x1
3
5
0
5
x1
0
2
5
5
0
x1
5
x1
3
1
4
2
0
x1
0
4
x1
5
1
1
0
4
x1
4
3
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
0
1
0
5
x1
5
0
x1
5
3
1
0
x1
0
1
3
5
5
x1
4
0
1
0
x1
4
0
x1
5
4
1
0
5
x1
5
5
0
x1
0
2
3
1
5
x1
5
2
x1
0
1
5
0
4
x1
3
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
0
1
2
x1
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
1
0
5
x1
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
0
4
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
0
5
x1
3
0
x1
5
1
5
2
0
x1
5
0
5
x1
0
0
1
2
x1
0
x1
3
4
2
0
x1
4
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
1
3
2
0
x1
5
2
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
0
2
x1
0
x1
3
1
3
2
0
x1
0
5
2
x1
0
2
0
3
4
x1
4
5
2
3
0
x1
5
4
1
0
5
x1
0
x1
3
1
0
5
2
x1
5
0
x1
0
2
0
3
4
x1
5
2
3
0
x1
0
1
0
5
x1
0
x1
5
3
1
0
x1
5
5
x1
0
3
1
5
0
x1
5
3
0
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
5
1
5
2
0
x1
0
5
x1
0
5
3
2
0
x1
3
5
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
4
x1
5
1
0
5
x1
0
x1
0
3
1
0
x1
3
5
0
x1
5
2
5
0
x1
3
5
0
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
5
0
x1
3
0
x1
3
3
1
0
0
x1
3
0
0
x1
5
4
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
0
x1
3
1
3
0
2
x1
3
3
0
x1
0
0
1
2
x1
3
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
4
2
0
x1
4
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
2
x1
3
0
x1
0
5
3
2
0
x1
5
x1
3
1
0
2
x1
5
0
2
x1
3
4
0
2
0
x1
4
x1
0
2
5
5
0
x1
0
2
5
1
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
1
5
2
0
x1
5
x1
5
3
1
0
x1
3
5
5
x1
0
1
0
4
x1
3
0
4
x1
4
3
1
0
2
x1
3
0
1
x1
true
0
1
1
1
1
1
1
0
4
1
1
0
5
1
1
0
3
1
1
0
4
1
1
0
0
1
1
1
3
1
1
0
5
1
1
0
2
1
1
0
4
3
1
0
2
x1
3
0
1
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
0
x1
5
1
0
5
x1
5
0
x1
5
4
1
0
5
x1
5
0
x1
3
3
1
0
0
x1
3
0
0
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
1
0
5
x1
0
x1
3
1
2
0
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
5
1
5
2
0
x1
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
3
1
0
5
2
x1
5
0
x1
5
4
1
0
5
x1
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
0
2
x1
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
4
2
0
x1
4
0
x1
5
1
5
2
0
x1
5
0
5
x1
3
1
0
5
x1
3
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
4
0
1
0
x1
0
4
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
3
1
0
5
x1
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
5
1
0
5
x1
3
5
5
0
x1
5
4
1
0
5
x1
5
5
0
x1
5
3
1
0
x1
0
1
3
5
5
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
5
1
1
0
4
x1
4
3
0
x1
3
1
4
2
0
x1
0
4
x1
5
1
5
2
0
x1
3
5
0
5
x1
4
5
5
5
0
x1
5
1
5
0
4
x1
3
1
0
5
2
x1
3
5
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
4
3
1
0
2
x1
0
1
x1
3
1
3
0
2
x1
3
0
x1
3
1
5
0
2
x1
0
5
x1
3
1
4
2
0
x1
3
0
4
x1
0
1
5
0
x1
0
1
3
5
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
3
1
5
0
2
x1
3
0
5
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
1
0
5
x1
5
5
0
x1
3
1
0
5
2
x1
0
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
0
5
x1
3
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
4
5
5
5
0
x1
5
0
4
x1
4
0
1
0
x1
3
0
4
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
4
1
0
5
x1
3
5
5
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
3
1
3
2
0
x1
3
0
5
2
x1
4
5
5
5
0
x1
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
4
2
0
x1
4
0
x1
3
1
0
5
x1
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
4
0
1
0
x1
0
4
0
x1
4
0
1
0
x1
3
0
4
0
x1
3
1
4
2
0
x1
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
5
2
x1
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
3
5
0
x1
5
1
0
5
x1
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
4
5
5
5
0
x1
0
4
x1
4
5
5
5
0
x1
5
0
4
x1
4
5
5
5
0
x1
5
1
5
0
4
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
0
2
x1
0
x1
3
1
0
2
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
5
0
2
x1
3
3
1
0
0
x1
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
0
x1
5
4
1
0
5
x1
5
0
x1
5
4
1
0
5
x1
5
5
0
x1
5
4
1
0
5
x1
3
5
5
0
x1
5
1
5
2
0
x1
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
3
1
5
0
2
x1
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
4
3
1
0
2
x1
3
0
1
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
0
1
42173
1
1
1
4
1
1
9577
5
1
1
26157
3
1
42173
4
1
1
0
0
1
42173
3
1
42173
5
1
42173
2
1
1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
0
x1
4
3
1
0
2
x1
3
0
1
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
0
5
x1
5
4
1
0
5
x1
3
5
5
0
x1
5
4
1
0
5
x1
5
5
0
x1
5
4
1
0
5
x1
5
0
x1
5
4
1
0
5
x1
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
3
0
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
1
0
2
x1
5
0
2
x1
3
1
2
0
x1
3
3
0
x1
3
1
2
0
x1
3
0
x1
5
1
0
1
2
x1
3
5
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
0
2
x1
3
0
x1
3
1
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
0
5
2
x1
5
1
0
5
x1
3
3
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
0
x1
3
1
0
5
2
x1
3
5
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
0
4
x1
4
0
1
0
x1
3
0
4
0
x1
4
0
1
0
x1
0
4
0
x1
3
1
0
5
x1
3
5
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
0
x1
3
4
2
0
x1
4
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
4
2
0
x1
4
0
x1
3
1
0
5
x1
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
4
0
1
0
x1
0
4
0
x1
4
0
1
0
x1
3
0
4
0
x1
3
1
4
2
0
x1
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
5
2
x1
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
3
5
0
x1
5
1
0
5
x1
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
0
2
x1
0
x1
3
1
0
2
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
5
0
2
x1
3
3
1
0
0
x1
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
0
x1
5
4
1
0
5
x1
5
0
x1
5
4
1
0
5
x1
5
5
0
x1
5
4
1
0
5
x1
3
5
5
0
x1
5
1
5
2
0
x1
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
3
1
5
0
2
x1
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
4
3
1
0
2
x1
3
0
1
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
0
1
42173
1
1
4301
4
1
4302
5
1
1
0
3
1
4301
4
1
42173
0
1
4301
3
1
42173
5
1
1
37872
2
1
4301
0
2
5
5
0
x1
0
0
2
5
1
5
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
0
x1
4
3
1
0
2
x1
3
0
1
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
0
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
3
0
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
1
0
2
x1
5
0
2
x1
3
1
2
0
x1
3
3
0
x1
3
1
2
0
x1
3
0
x1
5
1
0
1
2
x1
3
5
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
0
2
x1
3
0
x1
3
1
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
0
5
2
x1
5
1
0
5
x1
3
3
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
0
x1
3
1
0
5
2
x1
3
5
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
0
4
x1
4
0
1
0
x1
3
0
4
0
x1
4
0
1
0
x1
0
4
0
x1
3
1
0
5
x1
3
5
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
0
x1
3
4
2
0
x1
4
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
4
2
0
x1
4
0
x1
3
1
0
5
x1
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
4
0
1
0
x1
0
4
0
x1
4
0
1
0
x1
3
0
4
0
x1
3
1
4
2
0
x1
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
5
2
x1
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
3
5
0
x1
5
1
0
5
x1
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
0
2
x1
0
x1
3
1
0
2
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
5
0
2
x1
3
3
1
0
0
x1
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
1
5
2
0
x1
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
3
1
5
0
2
x1
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
4
3
1
0
2
x1
3
0
1
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
0
1
60299
1
1
18126
4
1
18127
5
1
1
0
3
1
18126
4
1
60299
0
1
18126
3
1
1
42173
5
1
1
42173
2
1
18126
0
2
5
5
0
x1
0
0
2
5
1
5
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
0
x1
4
3
1
0
2
x1
3
0
1
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
0
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
3
0
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
1
0
2
x1
5
0
2
x1
3
1
2
0
x1
3
3
0
x1
3
1
2
0
x1
3
0
x1
5
1
0
1
2
x1
3
5
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
0
2
x1
3
0
x1
3
1
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
0
5
2
x1
5
1
0
5
x1
3
3
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
0
x1
3
1
0
5
2
x1
3
5
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
0
4
x1
4
0
1
0
x1
3
0
4
0
x1
4
0
1
0
x1
0
4
0
x1
3
1
0
5
x1
3
5
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
1
0
5
x1
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
4
0
1
0
x1
0
4
0
x1
4
0
1
0
x1
3
0
4
0
x1
3
1
4
2
0
x1
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
5
2
x1
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
3
5
0
x1
5
1
0
5
x1
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
0
2
x1
0
x1
3
1
0
2
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
5
0
2
x1
3
3
1
0
0
x1
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
1
5
2
0
x1
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
3
1
5
0
2
x1
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
4
3
1
0
2
x1
3
0
1
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
0
1
60300
1
1
13957
4
1
1
1
5
1
1
1
3
1
13958
4
1
1
46342
0
1
13959
3
1
60300
5
1
60300
2
1
329
0
2
5
5
0
x1
0
0
2
5
1
5
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
0
x1
4
3
1
0
2
x1
3
0
1
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
0
5
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
3
0
0
x1
3
1
0
2
x1
3
5
0
2
x1
3
1
0
2
x1
5
0
2
x1
3
1
2
0
x1
3
3
0
x1
3
1
2
0
x1
3
0
x1
5
1
0
1
2
x1
3
5
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
0
2
x1
3
0
x1
3
1
0
2
x1
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
0
5
2
x1
5
1
0
5
x1
3
3
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
0
x1
3
1
0
5
2
x1
3
5
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
0
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
0
4
x1
3
1
0
5
x1
3
5
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
3
1
0
5
x1
0
x1
3
1
0
5
x1
3
0
x1
3
1
0
5
x1
5
3
0
x1
3
1
0
5
x1
3
5
3
0
x1
3
1
4
2
0
x1
0
4
x1
3
1
4
2
0
x1
3
0
4
x1
3
1
4
2
0
x1
3
3
0
4
x1
3
1
0
5
2
x1
0
x1
3
1
0
5
2
x1
5
0
x1
3
1
0
5
2
x1
3
5
0
x1
5
1
0
5
x1
0
x1
5
1
0
5
x1
5
0
x1
5
1
0
5
x1
5
5
0
x1
5
1
0
5
x1
3
5
5
0
x1
5
1
0
5
x1
3
3
5
5
0
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
0
2
x1
0
x1
3
1
0
2
x1
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
5
1
0
1
2
x1
0
x1
5
1
0
1
2
x1
5
0
x1
5
1
0
1
2
x1
3
5
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
3
1
0
2
x1
5
0
2
x1
3
1
0
2
x1
3
5
0
2
x1
3
3
1
0
0
x1
3
0
0
x1
3
3
1
0
0
x1
3
3
0
0
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
1
5
2
0
x1
0
5
x1
5
1
5
2
0
x1
5
0
5
x1
5
1
5
2
0
x1
3
5
0
5
x1
3
1
5
0
2
x1
0
5
x1
3
1
5
0
2
x1
3
0
5
x1
3
1
5
0
2
x1
5
1
3
0
5
x1
4
3
1
0
2
x1
3
0
1
x1
5
1
1
0
4
x1
0
x1
5
1
1
0
4
x1
3
0
x1
5
1
1
0
4
x1
4
3
0
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
2
1
0
1
1
1
1
1
0
0
1
1
1
0
1
4
1
0
0
0
1
1
1
1
5
1
1
3
3
1
1
1
0
0
1
0
0
4
1
1
1
0
0
1
0
0
0
1
1
3
3
1
1
1
0
0
1
0
0
5
1
1
1
0
2
1
1
1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
3
1
2
0
x1
3
3
0
x1
3
1
2
0
x1
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
0
5
2
x1
5
2
5
0
x1
5
2
3
5
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
5
2
5
0
x1
5
2
3
5
0
x1
true
0
1
60301
1
1
1
4
1
1
1
5
1
1
1
3
1
2
4
1
60300
0
1
3
3
1
60300
5
1
1
60300
2
1
1
0
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
3
2
0
x1
0
5
2
x1
3
1
3
2
0
x1
3
0
5
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
3
1
2
0
x1
3
0
x1
3
1
2
0
x1
3
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
2
1
0
1
2
0
1
1
0
0
1
0
1
0
0
4
1
0
0
1
1
1
1
1
5
1
0
1
0
1
1
2
0
3
1
0
1
0
0
1
2
0
4
1
0
0
0
1
2
10312
3
1
1
0
0
0
1
0
0
5
1
1
0
2
1
0
0
1
1
1
0
1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
true
2
1
0
1
0
0
1
0
1
0
0
1
1
0
1
0
0
1
0
0
4
1
0
0
5
1
1
0
0
0
1
0
0
3
1
0
0
1
0
1
0
0
4
1
0
0
0
1
0
0
1
1
1
1
0
3
1
0
0
1
0
1
0
0
5
1
1
0
2
1
0
1
0
1
1
0
0
0
3
1
5
0
x1
3
0
5
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
3
0
2
x1
0
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
0
3
1
5
0
x1
0
5
3
0
x1
0
3
1
5
0
x1
3
0
5
3
0
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
0
1
0
0
1
0
0
4
1
0
1
0
0
1
0
0
5
1
1
0
0
0
1
0
0
3
1
0
0
1
0
1
0
0
4
1
0
0
0
1
1
1
1
1
1
19695
0
3
1
0
0
1
0
1
1
0
5
1
1
0
2
1
0
1
1
0
1
0
0
3
1
3
0
2
x1
3
3
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
3
0
2
x1
3
0
x1
3
1
3
0
2
x1
3
3
0
x1
3
1
3
0
2
x1
3
3
3
0
x1
true
2
1
0
1
0
0
1
1
0
1
1
1
1
0
6714
4
1
1
0
6715
5
1
0
0
0
1
1
1
0
3
1
1
1
0
0
1
0
0
4
1
0
0
0
1
1
6716
3
1
0
0
1
0
1
1
0
5
1
1
0
2
1
1
1
3
1
3
0
2
x1
3
0
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
3
1
3
0
2
x1
3
0
x1
true
2
1
0
1
0
0
1
1
0
1
0
0
1
0
1
4
1
0
14738
5
1
1
0
0
3
1
0
0
1
1
1
0
0
4
1
0
0
0
1
1
1
0
0
1
1
0
3
1
0
0
1
1
1
1
0
5
1
1
0
2
1
1
1
0
0
1
0
0
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
4
3
1
0
2
x1
0
1
x1
false
5
3
1
0
x1
0
1
3
5
5
x1
false
0
3
1
0
x1
0
1
3
5
0
x1
false
0
2
3
1
5
x1
0
1
3
5
5
2
x1
false
0
1
5
0
x1
0
1
3
5
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
0
1
0
4
x1
0
1
3
0
4
x1
true
2
1
0
1
0
0
1
1
1
0
0
1
1
0
1
0
0
1
0
1
4
1
0
2
5
1
1
0
0
3
1
0
0
1
1
1
0
0
4
1
0
0
0
1
1
1
0
0
1
1
0
3
1
0
0
1
1
1
1
0
5
1
1
0
2
1
1
1
0
0
1
0
0
0
1
5
3
5
x1
0
1
3
5
3
5
x1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
0
0
1
1
1
0
0
4
1
1
2
5
1
1
2
3
1
1
1
0
0
1
0
0
4
1
0
0
0
1
0
1
0
0
1
1
1
3
1
1
0
5
1
1
0
2
1
1
1
5
2
5
0
x1
5
2
3
5
0
x1
0
1
5
0
x1
0
1
3
5
0
x1
3
4
2
0
x1
3
3
2
4
0
x1
3
1
0
5
x1
1
3
5
3
0
x1
0
0
1
2
x1
0
2
1
3
3
0
x1
0
1
0
5
x1
0
1
3
5
0
x1
4
0
1
0
x1
1
3
0
4
0
x1
0
1
2
0
5
x1
0
3
0
5
1
2
x1
3
1
4
2
0
x1
2
1
3
3
0
4
x1
0
2
3
1
5
x1
0
1
3
5
5
2
x1
5
3
1
0
x1
0
1
3
5
5
x1
3
1
0
5
2
x1
2
4
1
3
5
0
x1
5
1
0
5
x1
1
3
3
5
5
0
x1
0
2
4
1
2
x1
0
2
1
1
4
2
x1
3
1
3
2
0
x1
3
1
3
0
5
2
x1
0
1
3
1
2
x1
3
0
2
2
1
1
x1
0
2
5
0
2
x1
0
0
3
5
2
2
x1
4
5
5
5
0
x1
5
5
1
5
0
4
x1
0
3
1
0
x1
0
1
3
5
0
x1
3
1
3
0
2
x1
2
1
3
3
3
0
x1
3
1
2
0
x1
3
0
2
1
4
x1
3
4
0
2
0
x1
3
0
0
2
1
4
x1
3
1
0
2
x1
3
2
1
3
0
x1
0
0
4
1
0
x1
0
4
1
3
0
0
x1
0
2
0
3
4
x1
0
4
5
2
3
0
x1
0
3
1
5
0
x1
1
3
0
5
3
0
x1
3
1
2
2
x1
3
5
2
2
1
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
3
1
2
0
x1
3
3
2
1
0
x1
5
1
0
1
2
x1
2
1
1
3
5
0
x1
0
1
5
0
4
x1
0
4
1
3
5
0
x1
0
1
5
3
5
x1
0
1
3
5
3
5
x1
3
1
2
0
x1
3
0
3
2
1
x1
3
1
2
0
x1
2
1
3
3
0
x1
3
1
2
0
x1
3
5
2
1
0
x1
3
4
2
3
2
x1
3
3
2
5
4
2
x1
3
1
0
2
x1
1
3
5
0
2
x1
3
3
1
0
0
x1
5
1
3
3
0
0
x1
5
4
1
0
5
x1
4
1
3
5
5
0
x1
5
1
5
2
0
x1
2
1
3
5
0
5
x1
3
1
5
0
2
x1
2
5
1
3
0
5
x1
4
3
1
0
2
x1
4
2
1
3
0
1
x1
4
3
1
2
0
x1
1
3
0
1
4
2
x1
5
1
1
0
4
x1
5
1
1
4
3
0
x1
3
1
4
1
2
x1
1
4
3
2
2
1
x1
0
2
5
5
0
x1
0
0
2
5
1
5
x1
4
5
5
1
2
x1
5
4
5
2
1
1
x1
0
1
0
4
x1
0
1
3
0
4
x1
0
5
3
2
0
x1
0
0
2
1
3
5
x1
false
0
5
3
2
0
x1
0
2
1
3
5
x1
false
4
5
5
1
2
x1
5
4
5
2
1
1
x1
false
4
5
5
1
2
x1
4
5
2
1
1
x1
false
4
5
5
1
2
x1
5
2
1
1
x1
false
4
3
1
2
0
x1
3
0
1
4
2
x1
false
4
3
1
2
0
x1
0
1
4
2
x1
false
4
3
1
2
0
x1
4
2
x1
false
4
3
1
0
2
x1
4
2
1
3
0
1
x1
false
0
1
5
0
4
x1
0
4
1
3
5
0
x1
false
0
1
5
0
4
x1
4
1
3
5
0
x1
false
3
1
4
1
2
x1
4
3
2
2
1
x1
false
3
1
4
1
2
x1
3
2
2
1
x1
false
5
4
1
0
5
x1
4
1
3
5
5
0
x1
false
0
0
4
1
0
x1
0
4
1
3
0
0
x1
false
0
0
4
1
0
x1
4
1
3
0
0
x1
false
3
4
2
3
2
x1
3
3
2
5
4
2
x1
false
3
4
2
3
2
x1
3
2
5
4
2
x1
false
3
4
2
3
2
x1
5
4
2
x1
false
3
4
2
3
2
x1
4
2
x1
false
3
1
2
0
x1
3
5
2
1
0
x1
false
3
1
2
0
x1
5
2
1
0
x1
false
3
1
2
0
x1
3
0
3
2
1
x1
false
3
1
2
0
x1
0
3
2
1
x1
false
3
1
2
0
x1
3
2
1
x1
false
3
1
2
0
x1
3
3
2
1
0
x1
false
3
1
2
0
x1
3
2
1
0
x1
false
3
1
2
2
x1
3
5
2
2
1
x1
false
3
1
2
2
x1
5
2
2
1
x1
false
3
1
0
2
x1
3
2
1
3
0
x1
false
3
4
0
2
0
x1
3
0
0
2
1
4
x1
false
3
4
0
2
0
x1
0
0
2
1
4
x1
false
3
4
0
2
0
x1
0
2
1
4
x1
false
3
1
2
0
x1
3
0
2
1
4
x1
false
3
1
2
0
x1
0
2
1
4
x1
false
0
2
5
0
2
x1
0
0
3
5
2
2
x1
false
0
2
5
0
2
x1
0
3
5
2
2
x1
false
0
2
5
0
2
x1
3
5
2
2
x1
false
0
2
5
0
2
x1
5
2
2
x1
false
0
2
4
1
2
x1
0
2
1
1
4
2
x1
false
0
2
4
1
2
x1
4
2
x1
false
0
1
3
1
2
x1
3
0
2
2
1
1
x1
false
0
1
3
1
2
x1
0
2
2
1
1
x1
false
0
1
2
0
5
x1
0
3
0
5
1
2
x1
false
0
1
2
0
5
x1
3
0
5
1
2
x1
false
0
1
2
0
5
x1
0
5
1
2
x1
false
0
1
2
0
5
x1
5
1
2
x1
false
3
1
0
5
2
x1
4
1
3
5
0
x1
false
0
0
1
2
x1
0
2
1
3
3
0
x1
false
3
4
2
0
x1
3
3
2
4
0
x1
false
3
4
2
0
x1
3
2
4
0
x1
false
NaTT
certifiable-1.6