0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
3
x1
0
1
2
x1
0
2
1
1
3
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
2
x1
0
2
4
1
3
x1
0
3
2
x1
0
2
1
3
x1
0
3
2
x1
0
2
1
1
3
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
2.2
0
1
2
x1
2
1
3
x1
5
0
3
2
x1
0
2
1
4
5
x1
5
0
4
2
2
x1
5
x1
4
5
1
4
2
x1
4
1
5
x1
5
0
1
3
2
x1
3
x1
0
1
5
1
2
x1
2
1
1
5
x1
5
2
0
3
2
x1
2
5
2
3
1
x1
0
3
2
x1
2
1
1
3
x1
0
1
3
2
x1
0
2
1
x1
5
0
4
2
2
x1
4
1
5
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
3
0
3
2
x1
0
2
3
x1
0
3
2
x1
2
1
1
3
x1
5
0
4
2
2
x1
2
4
1
5
x1
0
3
2
x1
2
1
3
x1
0
1
2
x1
3
x1
5
0
3
1
2
x1
4
3
5
x1
3
3
5
2
x1
2
1
5
3
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
3
1
5
2
x1
2
1
5
3
x1
0
1
3
2
x1
3
x1
0
1
3
2
x1
2
1
x1
0
1
2
2
x1
3
2
1
x1
0
1
2
x1
0
2
1
1
x1
0
1
3
2
x1
2
1
4
3
x1
3
0
3
2
x1
0
0
0
2
3
x1
0
3
2
2
x1
2
3
2
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
2
4
2
x1
2
1
x1
0
1
5
5
2
x1
2
1
5
5
1
x1
0
3
2
x1
3
x1
0
1
2
x1
2
4
1
3
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
2
x1
0
2
1
1
3
x1
5
0
2
2
x1
4
1
5
x1
0
3
2
2
x1
4
2
3
2
x1
0
1
2
x1
4
1
3
x1
3
0
3
4
2
x1
0
2
3
x1
5
0
1
2
x1
2
1
3
4
5
x1
0
3
2
x1
3
x1
3
0
3
2
x1
3
x1
5
1
2
2
x1
5
2
1
x1
5
1
0
5
2
x1
0
2
1
5
5
x1
5
1
2
2
x1
2
1
x1
5
1
0
5
2
x1
5
0
2
1
x1
3
3
5
2
x1
3
x1
5
0
2
2
x1
5
x1
0
5
0
3
2
x1
3
x1
0
5
5
2
2
x1
5
2
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
5
2
0
3
2
x1
5
2
3
1
x1
5
0
4
2
2
x1
0
2
4
1
5
x1
3
1
5
2
x1
0
2
1
5
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
3
2
x1
0
0
2
3
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
2
5
2
x1
4
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
0
1
2
5
2
x1
2
1
5
4
x1
5
0
3
1
2
x1
2
1
4
3
5
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
5
0
2
2
x1
2
4
1
5
x1
0
1
5
5
2
x1
5
5
1
x1
0
3
2
2
x1
0
2
3
2
x1
0
5
0
3
2
x1
2
3
x1
0
3
2
x1
0
2
1
1
3
x1
5
1
0
3
2
x1
3
5
1
2
x1
5
1
2
2
x1
5
2
1
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
1
0
3
2
x1
4
3
5
1
2
x1
4
5
2
2
x1
4
1
x1
0
1
3
2
x1
4
1
1
x1
5
1
0
5
2
x1
5
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
3
2
x1
3
0
2
1
x1
0
3
2
x1
3
x1
5
2
0
3
2
x1
3
1
x1
5
0
3
1
2
x1
5
x1
0
1
2
5
2
x1
5
4
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
3
3
5
2
x1
5
3
x1
0
1
3
2
x1
0
2
4
1
1
x1
5
0
2
2
x1
0
2
4
1
5
x1
5
0
3
2
x1
5
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
1
5
1
2
x1
0
2
1
1
5
x1
0
1
2
x1
0
2
4
1
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
2
0
3
2
x1
3
0
2
2
x1
5
0
1
2
x1
3
4
5
x1
4
5
1
4
2
x1
5
x1
0
1
2
2
x1
2
3
2
1
x1
0
1
1
2
x1
2
1
1
3
x1
5
1
0
3
2
x1
5
1
2
x1
0
5
5
2
2
x1
2
1
5
5
2
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
5
0
3
2
x1
0
2
3
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
5
1
0
3
2
x1
3
1
1
0
2
x1
0
1
5
2
x1
5
0
2
1
1
x1
4
5
2
2
x1
0
2
4
1
x1
0
1
2
x1
2
1
1
x1
5
0
3
2
x1
4
5
x1
5
1
0
5
2
x1
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
5
1
2
2
x1
2
1
5
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
1
2
5
2
x1
0
2
1
5
4
x1
3
1
5
2
x1
5
3
x1
0
3
2
x1
0
0
2
1
1
3
x1
5
1
0
5
2
x1
5
x1
3
1
5
2
x1
3
x1
5
0
1
2
x1
5
x1
5
0
1
3
2
x1
0
2
1
3
x1
0
1
3
2
x1
4
3
x1
3
3
5
2
x1
0
2
1
5
3
x1
0
1
2
x1
4
1
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
5
0
2
1
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
3
0
3
2
x1
0
0
2
3
x1
4
5
1
4
2
x1
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
4
5
2
2
x1
2
4
1
x1
0
3
2
2
x1
3
2
x1
5
0
1
3
2
x1
2
1
3
x1
0
1
2
x1
2
1
1
3
x1
0
1
2
x1
2
4
1
1
x1
0
1
5
1
2
x1
5
x1
5
0
3
2
x1
2
1
4
5
x1
3
0
3
4
2
x1
4
0
2
3
x1
4
5
1
4
2
x1
4
4
4
1
5
x1
0
3
2
2
x1
0
4
2
3
2
x1
0
5
0
1
2
x1
0
2
1
x1
0
5
0
1
2
x1
4
5
0
2
1
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
2
0
3
2
x1
2
2
x1
3
0
3
2
x1
2
3
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
1
0
5
2
x1
2
1
5
5
x1
0
1
2
x1
3
x1
3
0
3
1
2
x1
2
3
x1
5
0
1
3
2
x1
5
0
2
1
3
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
0
5
0
1
2
x1
5
0
2
1
x1
4
5
2
2
x1
5
0
2
4
1
x1
2
0
3
2
x1
0
2
2
x1
0
3
2
x1
0
2
1
1
3
x1
5
0
1
2
x1
4
5
x1
5
1
2
2
x1
2
1
1
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
0
3
1
2
x1
3
5
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
2
x1
2
1
1
x1
0
1
2
4
2
x1
0
2
1
x1
5
2
0
3
2
x1
2
3
1
x1
0
5
5
2
2
x1
5
5
2
x1
0
3
2
x1
0
2
1
3
x1
5
1
0
3
2
x1
0
2
x1
3
0
3
1
2
x1
0
2
3
x1
0
1
2
x1
3
x1
3
0
3
4
2
x1
2
3
x1
0
1
5
5
2
x1
5
1
x1
0
1
2
x1
0
2
1
3
x1
0
3
2
2
x1
3
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
2
x1
2
1
x1
3
0
3
4
2
x1
3
x1
5
1
0
5
2
x1
2
1
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
0
3
2
2
x1
2
3
2
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
1
2
4
2
x1
2
1
0
2
1
x1
0
1
5
2
x1
0
2
1
1
x1
3
0
3
1
2
x1
3
0
2
3
x1
0
5
0
1
2
x1
2
1
x1
0
1
2
2
x1
0
2
2
1
1
x1
0
1
2
2
x1
2
2
1
1
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
2
x1
2
1
1
x1
0
1
3
2
x1
2
4
1
1
x1
0
1
1
2
x1
3
x1
3
0
3
1
2
x1
3
x1
0
1
2
x1
0
2
4
1
1
x1
true
3
0
3
1
2
x1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
5
0
3
2
x1
0
2
3
x1
0
1
1
2
x1
3
x1
5
1
0
3
2
x1
5
1
2
x1
2
0
3
2
x1
3
0
2
2
x1
5
0
1
2
x1
3
4
5
x1
4
5
1
4
2
x1
5
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
5
0
3
2
x1
5
x1
3
3
5
2
x1
5
3
x1
0
1
2
5
2
x1
5
4
x1
5
0
3
1
2
x1
5
x1
0
3
2
2
x1
2
3
2
x1
5
2
0
3
2
x1
3
1
x1
3
0
3
4
2
x1
3
x1
0
3
2
x1
3
x1
5
1
0
5
2
x1
5
5
x1
0
3
2
2
x1
3
2
x1
5
1
0
3
2
x1
4
3
5
1
2
x1
0
1
5
5
2
x1
5
1
x1
3
0
3
4
2
x1
2
3
x1
0
1
2
x1
3
x1
5
1
0
3
2
x1
3
5
1
2
x1
3
0
3
1
2
x1
0
2
3
x1
0
5
0
3
2
x1
2
3
x1
5
1
0
3
2
x1
0
2
x1
0
3
2
2
x1
0
2
3
2
x1
0
1
5
5
2
x1
5
5
1
x1
0
5
5
2
2
x1
5
5
2
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
5
2
0
3
2
x1
2
3
1
x1
5
0
3
1
2
x1
3
5
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
5
2
x1
4
x1
5
0
1
2
x1
4
5
x1
2
0
3
2
x1
0
2
2
x1
0
5
0
3
2
x1
0
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
1
2
x1
3
x1
3
0
3
1
2
x1
2
3
x1
5
2
0
3
2
x1
5
2
3
1
x1
0
5
5
2
2
x1
5
2
x1
0
5
0
3
2
x1
3
x1
3
0
3
2
x1
2
3
x1
3
3
5
2
x1
3
x1
5
0
2
2
x1
5
x1
2
0
3
2
x1
2
2
x1
0
3
2
2
x1
0
4
2
3
2
x1
3
0
3
2
x1
3
x1
3
0
3
4
2
x1
4
0
2
3
x1
3
0
3
4
2
x1
0
2
3
x1
0
3
2
x1
3
x1
0
3
2
2
x1
4
2
3
2
x1
0
1
5
1
2
x1
5
x1
0
3
2
x1
3
x1
0
3
2
2
x1
3
2
x1
3
0
3
2
x1
0
0
0
2
3
x1
0
3
2
2
x1
2
3
2
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
3
0
3
2
x1
0
0
2
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
0
1
3
2
x1
3
x1
0
1
2
x1
3
x1
5
0
3
1
2
x1
4
3
5
x1
0
1
3
2
x1
4
3
x1
5
0
1
2
x1
5
x1
5
1
0
5
2
x1
5
x1
3
1
5
2
x1
3
x1
3
0
3
2
x1
0
2
3
x1
3
1
5
2
x1
5
3
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
2
0
3
2
x1
2
5
2
3
1
x1
5
0
3
2
x1
4
5
x1
5
0
1
3
2
x1
3
x1
5
0
4
2
2
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
3
4
1
1
0
0
1
1
0
3
1
1
1
5
1
1
1
2
1
1
2
5
2
0
3
2
x1
2
5
2
3
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
3
0
3
2
x1
0
2
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
3
0
3
2
x1
0
0
2
3
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
0
3
2
2
x1
2
3
2
x1
3
0
3
2
x1
0
0
0
2
3
x1
3
0
3
4
2
x1
0
2
3
x1
0
3
2
2
x1
0
4
2
3
2
x1
2
0
3
2
x1
2
2
x1
3
0
3
2
x1
2
3
x1
3
0
3
1
2
x1
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
3
2
x1
0
0
2
3
x1
2
0
3
2
x1
0
2
2
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
0
3
2
2
x1
0
2
3
2
x1
5
1
0
3
2
x1
0
2
x1
0
5
0
3
2
x1
2
3
x1
3
0
3
1
2
x1
0
2
3
x1
5
1
0
3
2
x1
3
5
1
2
x1
3
0
3
4
2
x1
2
3
x1
0
3
2
2
x1
2
3
2
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
2
0
3
2
x1
3
0
2
2
x1
5
1
0
3
2
x1
5
1
2
x1
0
5
0
3
2
x1
0
2
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
2
0
3
2
x1
2
2
x1
2
0
3
2
x1
0
2
2
x1
2
0
3
2
x1
3
0
2
2
x1
0
3
2
2
x1
2
3
2
x1
0
3
2
2
x1
0
2
3
2
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
0
3
4
2
x1
2
3
x1
3
0
3
4
2
x1
0
2
3
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
3
0
3
2
x1
2
3
x1
3
0
3
2
x1
0
2
3
x1
3
0
3
2
x1
0
0
2
3
x1
3
0
3
2
x1
0
0
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
3
2
2
x1
2
3
2
x1
0
3
2
2
x1
0
4
2
3
2
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
5
0
3
2
x1
2
3
x1
0
5
0
3
2
x1
0
2
3
x1
0
5
0
3
2
x1
0
0
2
3
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
5
2
0
3
2
x1
2
5
2
3
1
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
1
0
3
2
x1
5
1
2
x1
5
1
0
3
2
x1
3
5
1
2
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
0
2
x1
3
0
3
1
2
x1
2
3
x1
3
0
3
1
2
x1
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
true
0
1
53064
1
1
1
4
1
1
5
1
26533
3
1
26533
2
1
1
0
4
1
0
0
1
1
26532
3
1
53064
5
1
53064
2
1
1
3
0
3
1
2
x1
3
3
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
0
2
3
x1
5
1
0
3
2
x1
0
2
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
3
5
1
2
x1
5
1
0
3
2
x1
5
1
2
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
0
5
0
3
2
x1
0
0
2
3
x1
0
5
0
3
2
x1
0
2
3
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
3
2
2
x1
0
4
2
3
2
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
0
3
2
x1
0
0
0
2
3
x1
3
0
3
2
x1
0
0
2
3
x1
3
0
3
2
x1
0
2
3
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
3
0
3
4
2
x1
0
2
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
3
2
2
x1
0
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
3
2
2
x1
0
2
3
2
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
0
3
4
2
x1
0
2
3
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
3
0
3
2
x1
0
2
3
x1
3
0
3
2
x1
0
0
2
3
x1
3
0
3
2
x1
0
0
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
3
2
2
x1
0
4
2
3
2
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
5
0
3
2
x1
0
2
3
x1
0
5
0
3
2
x1
0
0
2
3
x1
0
5
0
3
2
x1
5
0
0
2
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
1
0
3
2
x1
5
1
2
x1
5
1
0
3
2
x1
3
5
1
2
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
0
2
x1
3
0
3
1
2
x1
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
true
0
1
1
53064
1
1
1
0
4
1
1
5
1
28254
3
1
1
2
1
0
4
1
0
0
1
1
0
3
1
53066
5
1
1
53065
2
1
1
3
0
3
1
2
x1
3
3
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
5
1
0
3
2
x1
3
5
1
2
x1
5
1
0
3
2
x1
5
1
2
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
3
2
2
x1
0
4
2
3
2
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
0
3
4
2
x1
3
4
0
2
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
3
2
2
x1
0
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
3
2
2
x1
0
2
3
2
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
3
2
2
x1
0
4
2
3
2
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
true
0
1
1
53064
1
1
1
4
1
1
5
1
28117
3
1
28117
2
1
0
4
1
0
0
1
1
28116
3
1
53066
5
1
1
53065
2
1
1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
3
2
2
x1
0
0
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
true
0
1
1
1
1
1
2
1
1
4
1
1
0
1
1
4
1
1
5
1
1
3
1
2
3
1
0
5
1
0
2
1
2
4
1
1
0
5
1
2
3
1
1
3
1
1
5
1
1
2
1
1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
true
2
1
0
1
1
0
1
0
1
0
0
1
1
0
1
0
0
1
0
1
4
1
0
1
5
1
1
2
3
1
1
2
2
1
0
0
4
1
0
0
0
1
1
1
0
1
1
1
0
3
1
0
0
5
1
0
0
2
1
0
1
0
0
1
0
0
0
5
0
3
2
x1
0
5
0
0
2
3
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
0
1
1
0
1
0
0
4
1
0
1
1
0
1
0
0
5
1
0
1
1
0
1
0
0
3
1
0
1
1
0
1
0
0
2
1
0
0
4
1
0
0
0
1
0
0
1
1
1
0
0
3
1
0
0
5
1
0
0
2
1
1
1
1
1
1
13379
1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
5
1
0
3
2
x1
5
1
2
x1
true
1
1
1
4
1
1
2
1
1
4
1
1
0
1
0
5
1
2
3
1
1
0
1
2
3
1
0
5
1
0
1
2
1
1
0
1
0
5
1
30707
3
1
1
0
0
1
1
0
3
1
1
5
1
1
1
2
1
30706
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
5
1
0
3
2
x1
3
5
1
2
x1
false
3
0
3
4
2
x1
3
4
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
true
0
1
53064
1
1
1
4
1
28084
5
1
28085
3
1
28085
2
1
0
4
1
0
0
1
28085
3
1
1
53066
5
1
53065
2
1
28084
3
0
3
1
2
x1
3
3
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
1
2
x1
3
3
0
2
3
x1
true
1
1
1
4
1
1
2
1
1
4
1
1
0
1
0
5
1
2
3
1
1
0
1
2
3
1
0
1
5
1
0
1
2
1
1
0
1
0
5
1
22335
3
1
1
0
0
1
1
0
3
1
1
1
5
1
1
1
2
1
1
3
0
3
1
2
x1
3
0
2
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
0
1
1
0
1
0
0
4
1
0
1
1
0
1
0
0
5
1
0
1
1
0
1
0
0
3
1
0
1
1
0
1
0
0
2
1
0
0
4
1
0
0
0
1
0
0
1
1
1
0
0
3
1
0
0
1
0
1
0
0
5
1
0
0
2
1
1
1
1
1
1
9589
1
3
0
3
1
2
x1
3
0
2
3
x1
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
3
0
3
1
2
x1
3
0
2
3
x1
true
0
1
53064
1
1
9728
4
1
9728
5
1
9729
3
1
9729
2
1
0
4
1
0
0
1
1
1
3
1
1
53066
5
1
53065
2
1
9728
2
0
3
2
x1
1
3
0
2
2
x1
0
1
2
x1
0
2
4
1
1
x1
0
1
5
2
x1
5
0
2
1
1
x1
0
3
2
x1
0
0
2
1
1
3
x1
0
1
2
x1
0
2
1
1
x1
0
1
2
x1
0
2
1
1
3
x1
0
3
2
2
x1
0
0
2
3
2
x1
3
3
5
2
x1
3
0
2
1
5
3
x1
3
0
3
4
2
x1
1
3
4
0
2
3
x1
5
1
2
2
x1
0
2
1
5
2
1
x1
3
0
3
2
x1
3
0
0
0
2
3
x1
0
5
0
1
2
x1
0
4
5
0
2
1
x1
0
3
2
2
x1
0
0
4
2
3
2
x1
5
1
2
2
x1
2
1
5
2
1
1
x1
0
5
5
2
2
x1
0
2
1
5
5
2
x1
4
5
2
2
x1
2
5
0
2
4
1
x1
0
1
2
4
2
x1
4
2
1
0
2
1
x1
5
1
0
5
2
x1
5
0
2
1
5
5
x1
0
1
2
x1
0
2
4
1
3
x1
0
5
0
3
2
x1
0
5
0
0
2
3
x1
0
1
2
2
x1
0
2
2
1
1
x1
5
0
3
1
2
x1
0
2
1
4
3
5
x1
0
3
2
x1
0
2
1
1
3
x1
3
1
5
2
x1
0
2
1
5
3
x1
5
0
3
2
x1
3
0
2
1
4
5
x1
0
1
5
1
2
x1
1
0
2
1
1
5
x1
0
1
3
2
x1
3
0
2
4
1
1
x1
0
1
5
5
2
x1
0
2
1
5
5
1
x1
0
1
3
2
x1
0
2
1
4
3
x1
5
2
0
3
2
x1
0
2
5
2
3
1
x1
5
0
1
2
x1
0
2
1
3
4
5
x1
5
0
2
2
x1
2
0
2
4
1
5
x1
0
1
2
2
x1
0
2
3
2
1
x1
0
1
1
2
x1
0
2
1
1
3
x1
0
1
3
2
x1
3
3
0
2
1
x1
5
0
4
2
2
x1
2
0
2
4
1
5
x1
0
3
2
x1
0
2
1
3
x1
5
0
1
3
2
x1
3
5
0
2
1
3
x1
4
5
1
4
2
x1
2
4
4
4
1
5
x1
5
1
0
3
2
x1
0
4
3
5
1
2
x1
5
1
0
3
2
x1
5
3
1
1
0
2
x1
3
0
3
1
2
x1
1
3
3
0
2
3
x1
0
1
2
5
2
x1
2
0
2
1
5
4
x1
5
1
0
5
2
x1
3
5
5
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
1
2
x1
0
2
1
3
x1
false
0
1
2
5
2
x1
2
0
2
1
5
4
x1
false
0
1
2
5
2
x1
0
2
1
5
4
x1
false
0
1
2
5
2
x1
2
1
5
4
x1
false
0
3
2
x1
0
2
1
3
x1
false
0
3
2
x1
2
1
3
x1
false
0
1
3
2
x1
3
3
0
2
1
x1
false
0
1
3
2
x1
3
0
2
1
x1
false
0
1
3
2
x1
0
2
1
x1
false
0
1
3
2
x1
2
1
x1
false
0
1
1
2
x1
0
2
1
1
3
x1
false
0
1
1
2
x1
2
1
1
3
x1
false
0
1
2
2
x1
0
2
3
2
1
x1
false
0
1
2
2
x1
2
3
2
1
x1
false
0
1
2
2
x1
3
2
1
x1
false
0
1
2
2
x1
2
1
x1
false
0
1
3
2
x1
0
2
1
4
3
x1
false
0
1
3
2
x1
2
1
4
3
x1
false
0
1
5
5
2
x1
0
2
1
5
5
1
x1
false
0
1
5
5
2
x1
2
1
5
5
1
x1
false
5
1
0
5
2
x1
3
5
5
0
2
1
x1
false
5
1
0
5
2
x1
5
5
0
2
1
x1
false
5
1
0
5
2
x1
5
0
2
1
x1
false
5
1
0
5
2
x1
0
2
1
x1
false
5
1
0
5
2
x1
2
1
x1
false
5
1
0
3
2
x1
5
3
1
1
0
2
x1
false
0
1
3
2
x1
3
0
2
4
1
1
x1
false
0
1
3
2
x1
0
2
4
1
1
x1
false
0
1
3
2
x1
2
4
1
1
x1
false
0
1
3
2
x1
4
1
1
x1
false
0
1
5
1
2
x1
0
2
1
1
5
x1
false
0
1
5
1
2
x1
2
1
1
5
x1
false
0
3
2
x1
0
2
1
1
3
x1
false
0
3
2
x1
2
1
1
3
x1
false
0
1
2
2
x1
0
2
2
1
1
x1
false
0
1
2
2
x1
2
2
1
1
x1
false
0
1
2
2
x1
2
1
1
x1
false
5
0
1
3
2
x1
3
5
0
2
1
3
x1
false
5
0
1
3
2
x1
5
0
2
1
3
x1
false
5
0
1
3
2
x1
0
2
1
3
x1
false
5
0
1
3
2
x1
2
1
3
x1
false
0
1
2
x1
0
2
4
1
3
x1
false
0
1
2
x1
2
4
1
3
x1
false
0
1
2
x1
4
1
3
x1
false
0
1
2
4
2
x1
4
2
1
0
2
1
x1
false
0
1
2
4
2
x1
2
1
0
2
1
x1
false
0
1
2
4
2
x1
0
2
1
x1
false
0
1
2
4
2
x1
2
1
x1
false
0
5
5
2
2
x1
0
2
1
5
5
2
x1
false
0
5
5
2
2
x1
2
1
5
5
2
x1
false
3
1
5
2
x1
0
2
1
5
3
x1
false
3
1
5
2
x1
2
1
5
3
x1
false
5
0
4
2
2
x1
2
0
2
4
1
5
x1
false
5
0
4
2
2
x1
0
2
4
1
5
x1
false
5
0
4
2
2
x1
2
4
1
5
x1
false
5
0
4
2
2
x1
4
1
5
x1
false
5
0
2
2
x1
2
0
2
4
1
5
x1
false
5
0
2
2
x1
0
2
4
1
5
x1
false
5
0
2
2
x1
2
4
1
5
x1
false
5
0
2
2
x1
4
1
5
x1
false
5
0
1
2
x1
0
2
1
3
4
5
x1
false
5
0
1
2
x1
2
1
3
4
5
x1
false
0
5
0
1
2
x1
0
4
5
0
2
1
x1
false
0
5
0
1
2
x1
4
5
0
2
1
x1
false
0
5
0
1
2
x1
5
0
2
1
x1
false
0
5
0
1
2
x1
0
2
1
x1
false
0
5
0
1
2
x1
2
1
x1
false
0
1
2
x1
0
2
1
1
3
x1
false
0
1
2
x1
2
1
1
3
x1
false
0
1
2
x1
0
2
1
1
x1
false
0
1
2
x1
2
1
1
x1
false
0
3
2
x1
0
0
2
1
1
3
x1
false
0
3
2
x1
0
2
1
1
3
x1
false
0
3
2
x1
2
1
1
3
x1
false
0
1
5
2
x1
5
0
2
1
1
x1
false
0
1
5
2
x1
0
2
1
1
x1
false
0
1
5
2
x1
2
1
1
x1
false
0
1
2
x1
0
2
4
1
1
x1
false
0
1
2
x1
2
4
1
1
x1
false
0
1
2
x1
4
1
1
x1
false
3
3
5
2
x1
3
0
2
1
5
3
x1
false
3
3
5
2
x1
0
2
1
5
3
x1
false
3
3
5
2
x1
2
1
5
3
x1
false
5
0
3
2
x1
3
0
2
1
4
5
x1
false
5
0
3
2
x1
0
2
1
4
5
x1
false
5
0
3
2
x1
2
1
4
5
x1
false
4
5
1
4
2
x1
2
4
4
4
1
5
x1
false
4
5
1
4
2
x1
4
4
4
1
5
x1
false
4
5
1
4
2
x1
4
4
1
5
x1
false
4
5
1
4
2
x1
4
1
5
x1
false
5
0
3
1
2
x1
0
2
1
4
3
5
x1
false
5
0
3
1
2
x1
2
1
4
3
5
x1
false
4
5
2
2
x1
2
5
0
2
4
1
x1
false
4
5
2
2
x1
5
0
2
4
1
x1
false
4
5
2
2
x1
0
2
4
1
x1
false
4
5
2
2
x1
2
4
1
x1
false
4
5
2
2
x1
4
1
x1
false
5
1
0
5
2
x1
5
0
2
1
5
5
x1
false
5
1
0
5
2
x1
0
2
1
5
5
x1
false
5
1
0
5
2
x1
2
1
5
5
x1
false
5
1
2
2
x1
2
1
5
2
1
1
x1
false
5
1
2
2
x1
5
2
1
1
x1
false
5
1
2
2
x1
2
1
1
x1
false
5
1
2
2
x1
0
2
1
5
2
1
x1
false
5
1
2
2
x1
2
1
5
2
1
x1
false
5
1
2
2
x1
5
2
1
x1
false
5
1
2
2
x1
2
1
x1
false
0
1
2
x1
2
1
3
x1
false
5
1
0
3
2
x1
3
1
1
0
2
x1
false
NaTT
certifiable-1.6