0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
2
0
1
2
x1
0
2
4
1
2
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
2.2
0
0
1
2
x1
0
0
2
x1
0
1
0
4
x1
0
x1
0
5
0
4
x1
0
3
5
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
0
3
0
0
5
x1
0
x1
2
0
1
2
x1
0
x1
0
5
0
4
x1
0
3
4
x1
0
1
0
5
x1
0
0
2
x1
0
5
0
4
x1
0
0
3
5
x1
0
0
1
3
2
x1
2
0
4
x1
0
1
0
5
x1
3
1
0
0
x1
0
1
3
0
4
x1
0
x1
0
4
3
2
2
x1
3
5
2
x1
0
1
0
4
x1
0
5
0
x1
0
0
1
3
2
x1
3
1
2
0
4
x1
0
1
0
4
x1
3
1
x1
2
0
1
2
x1
2
4
1
2
x1
0
1
0
4
x1
0
0
3
1
x1
0
1
4
2
x1
3
1
4
0
x1
3
2
0
5
2
x1
0
2
3
4
5
x1
0
1
0
5
x1
0
2
x1
3
0
4
2
x1
3
4
1
1
2
x1
0
1
0
5
2
x1
3
5
x1
0
0
1
2
x1
0
x1
0
5
0
5
x1
0
x1
0
1
0
5
x1
2
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
3
2
0
5
2
x1
3
4
5
x1
0
1
3
4
2
x1
3
4
x1
3
2
0
5
2
x1
2
3
4
5
x1
3
0
0
1
2
x1
3
5
1
0
2
x1
0
5
0
5
x1
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
4
x1
0
x1
0
1
0
5
x1
0
x1
0
5
0
5
x1
0
0
5
x1
0
0
1
3
2
x1
0
4
x1
0
1
0
4
x1
3
1
4
0
0
x1
2
1
0
1
2
x1
2
3
x1
3
0
0
1
2
x1
0
2
x1
0
1
3
4
2
x1
2
1
0
3
4
x1
0
1
4
2
4
x1
2
3
1
4
x1
2
0
5
2
x1
2
1
5
2
2
x1
0
5
0
4
x1
3
4
x1
0
4
3
2
2
x1
0
3
5
2
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
0
1
2
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
2
4
x1
0
1
4
2
2
x1
2
4
2
x1
0
0
5
2
2
x1
0
2
5
2
1
x1
0
0
5
2
2
x1
2
1
x1
0
1
0
4
x1
0
3
1
x1
0
1
0
4
x1
0
0
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
3
0
4
2
x1
3
3
1
0
2
x1
2
0
4
2
x1
2
1
x1
0
1
3
0
4
x1
3
4
4
0
x1
0
1
4
3
2
x1
2
0
4
4
x1
2
0
4
2
x1
0
2
2
1
x1
0
1
0
5
2
x1
0
3
5
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
0
1
2
2
x1
0
2
1
2
1
x1
2
0
1
2
x1
2
2
0
x1
0
5
0
5
x1
0
0
x1
3
0
4
2
x1
0
2
x1
0
1
0
5
x1
3
1
0
0
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
0
5
2
x1
2
1
0
3
5
x1
2
4
0
5
2
x1
2
3
5
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
3
2
0
1
2
x1
0
2
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
2
0
5
2
x1
2
2
x1
0
4
1
0
4
x1
0
x1
0
1
4
2
4
x1
3
1
4
x1
2
0
1
2
x1
2
0
x1
0
1
3
4
2
x1
0
3
4
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
0
1
3
2
x1
0
x1
0
1
0
5
5
x1
3
5
0
0
5
x1
3
2
0
1
2
x1
3
1
0
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
0
3
1
2
4
x1
0
1
4
3
2
x1
0
4
4
x1
0
0
1
2
2
x1
2
1
x1
2
0
4
2
x1
2
1
2
1
x1
0
0
1
2
2
x1
2
1
2
1
x1
0
5
1
0
4
x1
2
4
1
0
0
x1
2
0
1
2
x1
2
1
x1
0
4
1
0
4
x1
2
1
4
0
x1
2
1
0
1
2
x1
3
x1
0
4
3
2
2
x1
2
0
3
5
2
x1
0
5
0
5
x1
2
0
0
5
x1
2
0
4
2
x1
2
1
x1
0
0
5
2
2
x1
2
5
2
1
x1
0
1
4
2
x1
0
x1
0
5
0
5
x1
0
x1
0
1
3
0
4
x1
0
3
4
4
0
x1
0
1
0
5
5
x1
0
5
x1
0
3
0
0
5
x1
0
0
0
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
2
0
1
2
x1
0
2
4
1
2
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
2
1
0
1
2
x1
0
2
3
x1
0
5
0
4
x1
3
5
x1
0
5
0
4
x1
0
0
3
4
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
3
0
5
4
2
x1
2
1
x1
0
5
1
0
4
x1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
3
0
0
5
x1
0
0
x1
0
1
0
4
x1
0
4
3
1
0
x1
0
4
1
0
4
x1
0
2
1
4
0
x1
0
1
0
4
x1
0
x1
3
0
5
4
2
x1
3
5
2
1
x1
0
5
0
5
x1
3
5
4
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
2
3
1
1
x1
3
2
0
5
2
x1
2
2
x1
0
1
0
5
x1
0
0
x1
0
1
4
2
x1
3
1
1
0
2
x1
0
5
0
5
x1
3
4
0
0
x1
3
0
0
5
2
x1
3
5
1
x1
0
3
0
0
5
x1
3
1
0
0
0
x1
0
5
1
4
2
x1
3
5
1
2
x1
0
0
1
2
x1
3
1
1
x1
2
0
1
2
x1
2
2
1
x1
0
1
0
5
5
x1
0
0
5
x1
2
0
4
2
x1
2
2
1
x1
0
0
1
3
2
x1
3
1
0
x1
3
0
5
4
2
x1
0
3
5
2
1
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
1
0
x1
0
1
2
0
5
x1
0
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
1
4
2
4
x1
0
2
3
1
4
x1
0
1
0
4
x1
3
1
0
5
0
x1
0
5
1
0
4
x1
0
0
x1
3
0
0
5
2
x1
0
3
5
1
x1
0
0
1
2
x1
0
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
3
0
4
2
x1
3
1
0
2
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
2
0
1
2
x1
0
2
2
1
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
2
0
5
2
x1
2
2
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
0
1
2
x1
0
2
3
1
1
x1
0
1
2
0
5
x1
2
1
0
x1
3
0
0
5
2
x1
0
0
3
5
1
x1
0
0
1
2
x1
3
1
0
0
x1
2
4
0
5
2
x1
3
5
2
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
3
2
x1
0
3
1
0
x1
2
0
1
2
x1
3
2
2
0
x1
0
1
4
2
x1
3
1
2
4
x1
0
5
1
4
2
x1
0
3
5
1
2
x1
true
0
0
1
2
2
x1
2
1
2
1
x1
2
0
4
2
x1
2
1
2
1
x1
2
0
1
2
x1
3
2
2
0
x1
0
0
1
2
2
x1
2
1
x1
0
0
1
3
2
x1
0
x1
2
0
1
2
x1
2
0
x1
0
4
1
0
4
x1
0
x1
2
0
5
2
x1
2
2
x1
3
2
0
1
2
x1
0
2
x1
0
1
2
0
5
x1
2
1
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
3
2
0
5
2
x1
2
2
2
x1
3
0
4
2
x1
0
2
x1
2
0
1
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
2
x1
0
2
1
2
1
x1
2
0
1
2
x1
2
2
0
x1
3
2
0
5
2
x1
0
2
2
2
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
x1
0
2
x1
2
0
4
2
x1
2
1
x1
0
5
1
0
4
x1
0
0
x1
0
1
0
4
x1
0
0
x1
0
1
2
0
5
x1
0
x1
0
0
5
2
2
x1
2
1
x1
2
0
4
2
x1
2
2
1
x1
0
1
0
5
5
x1
0
0
5
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
0
1
2
x1
0
0
x1
2
0
1
2
x1
2
2
1
x1
0
1
0
5
x1
0
0
x1
3
0
0
1
2
x1
0
2
x1
3
2
0
5
2
x1
2
2
x1
2
1
0
1
2
x1
2
3
x1
0
0
1
3
2
x1
0
4
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
5
x1
0
x1
0
1
0
4
x1
0
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
4
x1
0
x1
0
5
0
5
x1
0
0
x1
0
3
0
0
5
x1
0
0
x1
0
1
0
5
x1
2
x1
0
0
1
2
x1
0
x1
0
5
0
5
x1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
5
1
0
4
x1
0
x1
3
0
5
4
2
x1
2
1
x1
0
1
0
5
x1
0
2
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
2
1
0
1
2
x1
0
2
3
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
5
x1
0
5
x1
0
3
0
0
5
x1
0
0
0
x1
0
5
0
5
x1
0
x1
0
1
3
0
4
x1
0
x1
0
0
1
3
2
x1
2
0
4
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
2
1
x1
0
1
0
5
x1
0
0
2
x1
0
5
0
5
x1
2
0
0
5
x1
2
0
1
2
x1
0
x1
2
1
0
1
2
x1
3
x1
0
3
0
0
5
x1
0
x1
2
0
1
2
x1
2
1
x1
0
1
0
4
x1
0
x1
0
0
1
2
x1
0
0
2
x1
true
0
1
1
38145
1
1
1
0
4
1
1
0
5
1
1
0
3
1
1
0
2
1
1
0
0
1
1
38145
3
1
1
0
2
1
1
0
0
0
1
2
x1
0
0
2
x1
2
0
1
2
x1
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
1
0
4
x1
0
5
0
x1
2
1
0
1
2
x1
0
2
3
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
4
2
x1
0
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
0
5
1
0
4
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
3
2
0
5
2
x1
0
2
2
2
x1
2
0
1
2
x1
2
2
0
x1
0
5
0
5
x1
0
0
x1
2
0
1
2
x1
0
2
2
1
x1
3
0
4
2
x1
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
3
2
0
1
2
x1
0
2
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
3
2
2
0
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
0
2
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
2
0
1
2
x1
0
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
3
2
2
0
x1
3
0
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
3
0
0
5
x1
0
0
0
x1
3
2
0
1
2
x1
0
2
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
2
1
0
1
2
x1
0
2
3
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
7
0
1
1
0
1
0
0
1
0
1
4
1
0
0
0
1
1
1
0
5
1
1
3
3
1
1
1
0
0
1
5
1
2
1
0
0
1
0
1
0
0
0
1
0
0
1
0
1
3
7
3
1
7
0
2
1
0
0
1
0
1
3
7
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
3
2
0
1
2
x1
0
2
x1
0
3
0
0
5
x1
0
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
3
0
4
2
x1
0
2
x1
2
0
1
2
x1
3
2
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
0
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
2
0
1
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
4
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
0
2
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
2
0
1
2
x1
0
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
3
2
2
0
x1
3
0
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
3
0
0
5
x1
0
0
0
x1
3
2
0
1
2
x1
0
2
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
0
0
1
1
1
0
4
1
0
0
5
1
0
0
1
0
1
0
0
3
1
0
0
2
1
0
0
0
1
1
1
0
0
1
0
0
3
1
1
0
0
0
1
0
0
2
1
0
0
1
0
1
0
0
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
3
0
4
2
x1
0
2
x1
2
0
1
2
x1
3
2
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
0
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
2
0
1
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
4
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
0
2
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
2
0
1
2
x1
0
x1
2
0
1
2
x1
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
3
2
2
0
x1
3
0
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
2
0
1
1
0
0
1
0
1
1
1
4
1
2
4
5
1
2
0
3
1
0
0
1
1
1
1
3
2
1
1
0
0
0
1
0
0
0
1
1
0
0
0
1
0
7
3
1
2
0
2
1
0
1
0
1
1
2
1
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
3
0
4
2
x1
0
2
x1
2
0
1
2
x1
3
2
2
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
0
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
2
0
1
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
4
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
2
0
5
2
x1
0
2
2
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
0
2
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
2
0
1
2
x1
0
x1
2
0
1
2
x1
2
2
0
x1
2
0
1
2
x1
3
2
2
0
x1
3
0
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
0
1
1
1
1
19805
4
1
1
5
1
1
3
1
1
2
1
1
0
0
1
1
0
3
1
19804
2
1
1
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
4
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
2
0
5
2
x1
3
0
2
2
2
x1
true
0
1
1
1
1
2247
4
1
33655
5
1
12353
3
1
1
31408
2
1
1
0
0
1
65063
3
1
1
19804
2
1
1
31408
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
3
0
0
5
x1
0
0
0
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
0
0
1
0
1
3
0
1
1
0
0
0
1
1
0
0
4
1
0
0
0
1
1
1
0
5
1
0
1
3
1
1
1
0
0
1
1
0
2
1
1
0
1
0
1
0
0
0
1
0
0
1
0
1
2
1
3
1
2
0
2
1
1
1
0
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
4
2
x1
0
2
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
2
0
0
5
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
2
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
2
1
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
2
0
4
2
x1
0
2
1
2
1
x1
0
1
4
2
x1
0
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
115006
0
1
1
60250
0
4
1
0
0
1
1
1
27891
27890
5
1
32360
1
3
1
0
0
1
1
1
4467
2747
2
1
1
0
1
0
1
0
0
0
1
1
1
0
0
1
2
1
3
1
2
0
2
1
0
0
1
1
1
1
29611
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
5
1
0
4
x1
0
0
x1
0
1
0
4
x1
0
5
0
x1
0
1
0
5
x1
0
0
2
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
x1
0
5
0
5
x1
0
0
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
1
0
5
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
4
x1
0
0
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
1
0
4
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
0
1
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
1
2
0
5
x1
0
5
2
1
0
x1
0
5
0
5
x1
0
0
x1
0
1
4
2
x1
0
x1
0
1
0
5
5
x1
0
0
5
x1
0
1
4
2
x1
0
2
x1
0
1
0
5
x1
0
0
2
x1
0
1
0
4
x1
0
5
0
x1
0
5
1
0
4
x1
0
0
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
1
0
0
0
1
115006
0
1
1
0
0
1
0
1
0
0
4
1
1
1
0
1
1
0
0
5
1
1
0
0
0
1
0
1
3
1
0
0
0
1
1
0
1
2
1
0
0
0
1
1
1
0
0
1
0
13999
3
1
2
0
2
1
0
1
0
1
1
0
0
0
0
1
2
x1
0
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
1
4
2
x1
0
2
x1
0
1
4
2
x1
0
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
5
0
5
x1
0
0
5
x1
0
0
1
2
x1
0
0
x1
0
5
0
5
x1
0
0
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
0
5
0
5
x1
0
0
x1
0
1
4
2
x1
0
x1
0
1
4
2
x1
0
2
x1
0
1
4
2
2
x1
0
2
4
2
x1
0
0
1
2
x1
0
0
2
x1
true
2
1
0
1
1
1
0
0
1
115006
0
1
1
0
0
1
0
1
1
1
4
1
0
0
0
1
1
0
0
5
1
1
0
0
3
1
0
0
0
1
1
0
0
2
1
0
0
0
1
1
1
0
0
1
0
1
3
1
2
0
2
1
0
1
0
0
1
0
1
0
5
0
5
x1
0
0
x1
0
5
0
5
x1
0
0
x1
0
5
0
5
x1
0
0
5
x1
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
0
5
0
5
x1
0
0
5
x1
0
5
0
5
x1
0
0
x1
0
5
0
5
x1
0
0
x1
true
2
1
0
1
1
0
0
0
1
115006
0
1
1
285215
700
4
1
54813
317
5
1
1
0
1
0
1
0
1
3
1
0
0
1
1
1
54496
61396
2
1
0
0
0
1
1
1
0
0
1
0
116527
3
1
2
0
2
1
0
1
0
0
1
55196
174823
2
0
1
2
x1
0
2
4
1
2
x1
3
2
0
5
2
x1
5
3
0
2
2
2
x1
0
1
0
4
x1
3
1
4
0
0
x1
0
5
0
5
x1
3
5
2
0
0
5
x1
0
1
0
5
x1
3
5
3
1
0
0
x1
0
0
1
2
x1
2
3
1
0
0
x1
0
0
1
2
x1
0
0
2
3
1
1
x1
0
5
0
5
x1
5
3
5
4
0
0
x1
2
0
4
2
x1
4
0
2
2
1
x1
0
1
4
2
4
x1
4
0
2
3
1
4
x1
0
0
1
2
2
x1
0
0
2
1
2
1
x1
2
0
1
2
x1
2
5
0
2
2
1
x1
0
1
2
0
5
x1
4
0
5
2
1
0
x1
0
5
0
5
x1
5
5
3
4
0
0
x1
0
0
1
3
2
x1
0
3
1
2
0
4
x1
0
1
3
4
2
x1
4
2
1
0
3
4
x1
2
0
4
2
x1
4
0
2
1
2
1
x1
0
0
1
3
2
x1
2
5
0
3
1
0
x1
2
4
0
5
2
x1
0
4
2
3
5
2
x1
0
1
0
4
x1
3
4
0
0
3
1
x1
0
1
3
0
4
x1
1
0
3
4
4
0
x1
0
1
4
2
x1
2
3
1
4
0
x1
0
4
1
0
4
x1
4
0
2
1
4
0
x1
0
1
0
4
x1
5
0
4
3
1
0
x1
2
0
1
2
x1
3
1
3
2
2
0
x1
3
0
4
2
x1
4
3
3
1
0
2
x1
3
2
0
5
2
x1
2
0
2
3
4
5
x1
0
1
0
5
2
x1
0
2
1
0
3
5
x1
0
5
0
4
x1
5
0
0
3
4
x1
0
1
0
5
5
x1
1
3
5
0
0
5
x1
0
1
4
2
x1
4
3
1
1
0
2
x1
3
0
0
1
2
x1
0
3
5
1
0
2
x1
2
0
5
2
x1
0
2
1
5
2
2
x1
3
0
4
2
x1
0
3
4
1
1
2
x1
0
1
4
2
x1
4
0
3
1
2
4
x1
0
1
0
5
x1
5
3
1
0
0
2
x1
0
5
0
4
x1
4
0
0
3
5
x1
0
4
3
2
2
x1
4
2
0
3
5
2
x1
0
1
0
4
x1
4
3
1
0
5
0
x1
0
3
0
0
5
x1
5
3
1
0
0
0
x1
3
2
0
1
2
x1
2
1
3
1
0
2
x1
3
0
5
4
2
x1
4
0
3
5
2
1
x1
0
1
4
3
2
x1
3
1
2
0
4
4
x1
0
5
1
0
4
x1
5
2
4
1
0
0
x1
0
5
1
4
2
x1
4
0
3
5
1
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
0
1
4
2
2
x1
1
1
0
2
4
2
x1
0
0
5
2
2
x1
0
0
2
5
2
1
x1
2
1
0
1
2
x1
2
1
1
0
2
3
x1
0
0
1
2
x1
3
1
0
0
2
x1
3
0
0
5
2
x1
2
0
0
3
5
1
x1
false
3
0
0
5
2
x1
0
0
3
5
1
x1
false
3
0
0
5
2
x1
0
3
5
1
x1
false
3
0
0
5
2
x1
3
5
1
x1
false
3
0
5
4
2
x1
0
3
5
2
1
x1
false
3
0
5
4
2
x1
3
5
2
1
x1
false
3
2
0
1
2
x1
2
1
3
1
0
2
x1
false
3
2
0
1
2
x1
3
1
0
2
x1
false
3
0
4
2
x1
0
3
4
1
1
2
x1
false
3
0
4
2
x1
3
4
1
1
2
x1
false
3
0
0
1
2
x1
0
3
5
1
0
2
x1
false
3
0
0
1
2
x1
3
5
1
0
2
x1
false
3
2
0
5
2
x1
2
0
2
3
4
5
x1
false
3
2
0
5
2
x1
0
2
3
4
5
x1
false
3
2
0
5
2
x1
2
3
4
5
x1
false
3
2
0
5
2
x1
3
4
5
x1
false
3
0
4
2
x1
3
3
1
0
2
x1
false
3
0
4
2
x1
3
1
0
2
x1
false
2
0
5
2
x1
0
2
1
5
2
2
x1
false
2
0
5
2
x1
2
1
5
2
2
x1
false
2
0
1
2
x1
3
1
3
2
2
0
x1
false
0
0
1
2
x1
3
1
0
0
2
x1
false
0
0
5
2
2
x1
0
0
2
5
2
1
x1
false
0
0
5
2
2
x1
0
2
5
2
1
x1
false
0
0
5
2
2
x1
2
5
2
1
x1
false
0
1
4
2
2
x1
2
4
2
x1
false
0
5
1
4
2
x1
0
3
5
1
2
x1
false
0
5
1
4
2
x1
3
5
1
2
x1
false
0
1
4
3
2
x1
3
1
2
0
4
4
x1
false
0
1
4
3
2
x1
2
0
4
4
x1
false
0
1
4
3
2
x1
0
4
4
x1
false
0
3
0
0
5
x1
3
1
0
0
0
x1
false
0
1
0
4
x1
3
1
0
5
0
x1
false
0
4
3
2
2
x1
2
0
3
5
2
x1
false
0
4
3
2
2
x1
0
3
5
2
x1
false
0
4
3
2
2
x1
3
5
2
x1
false
0
1
0
5
x1
3
1
0
0
2
x1
false
2
0
1
2
x1
2
5
0
2
2
1
x1
false
0
1
4
2
x1
0
3
1
2
4
x1
false
0
1
4
2
x1
3
1
2
4
x1
false
0
1
4
2
x1
2
4
x1
false
2
4
0
5
2
x1
0
4
2
3
5
2
x1
false
2
4
0
5
2
x1
2
3
5
2
x1
false
2
4
0
5
2
x1
3
5
2
x1
false
0
1
4
2
x1
3
1
1
0
2
x1
false
0
1
0
5
5
x1
3
5
0
0
5
x1
false
0
5
0
4
x1
0
0
3
5
x1
false
0
5
0
4
x1
0
3
5
x1
false
0
5
0
4
x1
3
5
x1
false
0
5
0
4
x1
0
0
3
4
x1
false
0
5
0
4
x1
0
3
4
x1
false
0
5
0
4
x1
3
4
x1
false
0
1
0
5
2
x1
0
2
1
0
3
5
x1
false
0
1
0
5
2
x1
2
1
0
3
5
x1
false
0
1
0
5
2
x1
0
3
5
x1
false
0
1
0
5
2
x1
3
5
x1
false
0
1
0
4
x1
0
4
3
1
0
x1
false
0
1
0
4
x1
3
1
0
x1
false
0
4
1
0
4
x1
0
2
1
4
0
x1
false
0
4
1
0
4
x1
2
1
4
0
x1
false
0
1
4
2
x1
2
3
1
4
0
x1
false
0
1
4
2
x1
3
1
4
0
x1
false
0
1
3
0
4
x1
0
3
4
4
0
x1
false
0
1
3
0
4
x1
3
4
4
0
x1
false
0
1
0
4
x1
3
4
0
0
3
1
x1
false
0
1
0
4
x1
0
0
3
1
x1
false
0
1
0
4
x1
0
3
1
x1
false
0
1
0
4
x1
3
1
x1
false
0
0
1
3
2
x1
2
5
0
3
1
0
x1
false
0
0
1
3
2
x1
0
3
1
0
x1
false
0
0
1
3
2
x1
3
1
0
x1
false
0
1
3
4
2
x1
2
1
0
3
4
x1
false
0
1
3
4
2
x1
0
3
4
x1
false
0
1
3
4
2
x1
3
4
x1
false
0
0
1
3
2
x1
0
3
1
2
0
4
x1
false
0
0
1
3
2
x1
3
1
2
0
4
x1
false
0
5
0
5
x1
3
4
0
0
x1
false
2
1
0
1
2
x1
2
1
1
0
2
3
x1
false
0
1
4
2
4
x1
0
2
3
1
4
x1
false
0
1
4
2
4
x1
2
3
1
4
x1
false
0
1
4
2
4
x1
3
1
4
x1
false
0
5
0
5
x1
3
5
4
0
0
x1
false
0
0
1
2
x1
0
0
2
3
1
1
x1
false
0
0
1
2
x1
0
2
3
1
1
x1
false
0
0
1
2
x1
2
3
1
1
x1
false
0
0
1
2
x1
3
1
1
x1
false
0
0
1
2
x1
2
3
1
0
0
x1
false
0
0
1
2
x1
3
1
0
0
x1
false
0
1
0
5
x1
3
5
3
1
0
0
x1
false
0
1
0
5
x1
3
1
0
0
x1
false
0
5
0
5
x1
3
5
2
0
0
5
x1
false
2
0
1
2
x1
0
2
4
1
2
x1
false
2
0
1
2
x1
2
4
1
2
x1
false
0
1
0
4
x1
3
1
4
0
0
x1
false
0
5
1
0
4
x1
2
4
1
0
0
x1
false
NaTT
certifiable-1.6