0
0
1
x1
0
0
2
1
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
4
1
x1
0
4
2
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
1
0
1
x1
0
2
1
1
2
x1
1
0
1
x1
1
0
3
2
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
1
4
1
x1
4
2
1
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
4
0
1
x1
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
0
1
x1
0
3
2
1
5
5
x1
5
0
1
x1
3
0
2
3
5
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
5
4
1
x1
2
4
2
5
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
0
1
2
0
x1
2
0
2
1
0
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
0
3
1
x1
0
5
3
2
1
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
5
2
4
1
x1
2
1
4
2
5
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
5
4
3
1
x1
5
4
2
1
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
2.2
0
0
1
x1
0
2
2
3
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
0
1
x1
1
5
3
x1
4
0
0
3
1
x1
1
0
x1
5
4
1
5
x1
5
4
2
5
x1
5
4
3
1
x1
5
4
2
1
3
x1
5
0
1
x1
1
5
5
x1
1
4
1
x1
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
0
2
4
3
1
x1
4
2
x1
5
4
3
1
x1
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
0
0
1
x1
0
x1
1
4
1
5
x1
4
x1
1
4
1
5
x1
5
1
4
x1
1
0
1
x1
0
2
1
1
x1
5
1
0
0
5
x1
0
2
1
5
x1
4
0
1
x1
4
0
2
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
5
4
1
x1
5
2
1
3
3
x1
5
0
1
x1
5
1
x1
4
0
1
x1
0
2
1
x1
5
2
4
1
x1
4
2
5
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
0
0
1
x1
5
1
0
x1
5
1
0
0
5
x1
1
5
x1
0
5
4
1
1
x1
5
1
1
x1
5
0
1
x1
0
2
3
5
1
x1
5
0
0
1
x1
1
0
x1
4
1
0
4
x1
4
4
0
2
1
x1
1
0
1
x1
1
1
2
x1
0
0
4
5
x1
5
0
2
4
2
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
5
0
1
x1
5
0
2
1
x1
5
4
1
x1
1
3
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
0
4
x1
4
4
x1
5
0
1
x1
5
5
x1
5
4
3
1
x1
5
2
4
2
1
x1
5
0
3
1
x1
5
3
2
1
x1
5
4
1
x1
4
5
2
1
3
3
x1
1
3
0
4
x1
1
3
x1
1
0
1
4
x1
4
0
x1
5
0
5
1
x1
0
x1
4
0
5
1
x1
5
x1
5
0
5
1
x1
5
3
1
0
x1
1
4
1
5
x1
1
4
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
1
0
3
1
x1
1
1
0
x1
5
4
1
x1
5
1
3
x1
0
2
4
3
1
x1
1
4
2
x1
5
4
1
5
x1
5
5
2
1
x1
0
0
1
x1
1
3
x1
4
1
0
0
x1
4
0
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
1
0
1
x1
1
0
3
2
1
x1
0
0
4
5
x1
4
2
x1
1
0
3
1
x1
0
x1
1
4
1
x1
4
2
1
1
x1
1
4
1
5
x1
1
2
5
1
4
x1
4
1
0
0
x1
1
4
0
0
x1
0
3
4
0
x1
0
0
3
x1
5
0
5
1
x1
1
0
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
0
1
2
0
x1
0
2
1
0
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
0
0
1
x1
0
2
1
3
x1
1
0
1
x1
0
3
2
1
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
1
3
0
4
x1
0
3
2
1
3
x1
4
1
0
4
x1
4
0
2
1
x1
4
0
0
3
1
x1
0
x1
1
0
1
4
x1
0
x1
1
0
1
4
x1
1
1
4
0
x1
5
4
1
5
x1
5
2
1
x1
0
4
1
x1
0
4
2
2
1
x1
5
4
1
x1
4
2
5
1
3
x1
5
0
5
x1
5
3
5
x1
5
5
0
4
x1
4
2
x1
0
2
0
1
x1
0
2
1
3
x1
1
4
1
x1
1
2
1
x1
4
0
5
1
x1
4
2
1
5
x1
1
0
1
x1
1
2
x1
1
4
0
x1
0
3
2
4
2
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
1
0
1
x1
1
1
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
4
1
0
4
x1
1
x1
4
0
0
3
1
x1
0
1
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
1
2
0
4
x1
4
2
0
3
2
x1
0
0
3
3
1
x1
1
2
3
x1
5
0
1
x1
5
3
x1
5
0
1
x1
0
3
2
1
5
5
x1
5
4
1
x1
1
3
3
x1
4
0
0
3
1
x1
0
3
2
1
0
x1
5
4
3
1
x1
4
3
2
1
x1
0
2
0
1
x1
1
3
x1
5
4
1
5
x1
1
5
4
2
5
x1
5
4
3
1
x1
4
2
1
3
x1
1
4
1
x1
1
1
2
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
1
4
0
x1
4
2
x1
5
4
2
0
1
x1
4
0
2
1
x1
0
4
1
x1
4
2
x1
5
0
1
x1
0
2
1
x1
0
0
4
5
x1
0
2
4
2
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
4
0
0
3
1
x1
0
0
1
x1
5
5
0
4
x1
5
4
2
x1
5
4
2
0
1
x1
5
4
0
2
1
x1
0
2
0
1
x1
0
0
2
1
3
x1
4
1
0
4
x1
0
2
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
4
1
5
x1
1
x1
0
3
4
0
x1
4
0
0
3
x1
5
4
3
1
x1
1
3
x1
5
2
4
1
x1
1
4
2
5
x1
5
0
1
x1
5
x1
0
4
1
x1
4
2
2
1
x1
5
4
1
5
x1
4
2
5
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
1
2
4
3
1
x1
4
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
1
0
3
1
x1
1
0
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
2
4
1
x1
5
x1
0
4
0
4
x1
0
3
2
4
4
x1
4
0
5
1
x1
1
5
x1
0
4
1
x1
1
4
2
x1
1
2
0
4
x1
0
3
2
x1
1
2
4
3
1
x1
1
4
x1
5
4
2
0
1
x1
0
2
1
x1
0
3
4
0
x1
0
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
0
3
3
1
x1
0
1
2
3
x1
5
0
3
1
x1
5
2
2
1
x1
0
1
2
0
x1
1
0
x1
1
0
1
4
x1
1
4
0
x1
5
5
0
4
x1
0
2
5
4
2
x1
true
5
5
0
4
x1
0
2
5
4
2
x1
0
1
2
0
x1
1
0
x1
1
0
1
4
x1
1
4
0
x1
5
4
1
5
x1
5
2
1
x1
1
0
1
4
x1
0
x1
1
0
1
4
x1
1
1
4
0
x1
4
1
0
4
x1
4
0
2
1
x1
4
0
0
3
1
x1
0
x1
0
3
4
0
x1
0
3
x1
5
4
2
0
1
x1
0
2
1
x1
1
2
4
3
1
x1
1
4
x1
0
0
1
x1
0
2
1
3
x1
0
1
2
0
x1
0
2
1
0
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
5
0
5
1
x1
1
0
x1
0
3
4
0
x1
0
0
3
x1
4
1
0
0
x1
1
4
0
0
x1
4
0
5
1
x1
1
5
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
0
3
1
x1
0
x1
5
2
4
1
x1
5
x1
5
4
1
5
x1
4
5
5
2
1
x1
1
0
3
1
x1
1
0
x1
4
1
0
0
x1
4
0
0
x1
5
4
1
5
x1
5
5
2
1
x1
1
2
4
3
1
x1
4
x1
5
4
1
x1
5
1
3
x1
1
0
3
1
x1
1
1
0
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
5
0
1
x1
5
x1
0
3
4
0
x1
4
0
0
3
x1
1
4
1
5
x1
1
4
x1
5
4
1
5
x1
1
x1
4
0
5
1
x1
5
x1
5
0
5
1
x1
0
x1
4
1
0
4
x1
0
2
1
x1
1
0
1
4
x1
4
0
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
4
2
0
1
x1
5
4
0
2
1
x1
4
0
0
3
1
x1
0
0
1
x1
5
5
0
4
x1
5
4
2
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
5
0
1
x1
5
5
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
0
4
x1
4
4
x1
5
0
1
x1
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
5
4
2
0
1
x1
4
0
2
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
1
0
1
x1
1
1
2
x1
1
4
1
x1
1
1
2
1
x1
5
0
0
1
x1
1
0
x1
0
5
4
1
1
x1
5
1
1
x1
5
0
0
1
x1
5
1
0
x1
5
1
0
0
5
x1
1
5
x1
5
4
1
5
x1
1
5
4
2
5
x1
4
0
1
x1
0
2
1
x1
5
0
1
x1
5
1
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
5
1
0
0
5
x1
0
2
1
5
x1
4
0
1
x1
4
0
2
1
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
5
x1
5
1
4
x1
5
0
0
1
x1
0
x1
1
4
1
5
x1
4
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
1
0
1
x1
0
2
1
1
2
x1
4
1
0
4
x1
1
x1
4
0
0
3
1
x1
0
1
x1
1
0
1
x1
1
1
x1
1
4
1
x1
1
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
5
0
1
x1
1
5
5
x1
1
0
1
x1
1
2
x1
1
4
1
x1
1
2
1
x1
5
4
1
5
x1
5
4
2
5
x1
4
0
0
3
1
x1
1
0
x1
0
2
0
1
x1
0
2
1
3
x1
true
0
1
1
31122
1
1
1
0
4
1
1
0
5
1
1
0
3
1
1
0
4
1
1
0
0
1
1
31122
5
1
1
0
2
1
1
0
1
1
1
0
5
4
1
5
x1
5
4
2
5
x1
1
4
1
x1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
4
1
x1
1
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
1
4
1
5
x1
4
x1
1
4
1
5
x1
5
1
4
x1
1
0
1
x1
0
2
1
1
x1
4
0
1
x1
4
0
2
1
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
0
1
x1
0
2
1
x1
5
4
1
5
x1
1
5
4
2
5
x1
1
4
1
x1
1
1
2
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
4
2
0
1
x1
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
5
0
1
x1
0
2
1
x1
0
0
1
x1
0
0
2
1
3
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
4
0
0
3
1
x1
0
0
1
x1
5
4
2
0
1
x1
5
4
0
2
1
x1
0
2
0
1
x1
0
0
2
1
3
x1
1
0
1
4
x1
4
0
x1
4
1
0
4
x1
0
2
1
x1
5
0
5
1
x1
0
x1
5
4
1
5
x1
1
x1
1
4
1
5
x1
1
4
x1
0
3
4
0
x1
4
0
0
3
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
1
0
3
1
x1
1
1
0
x1
5
4
1
x1
5
1
3
x1
1
2
4
3
1
x1
4
x1
5
4
1
5
x1
5
5
2
1
x1
4
1
0
0
x1
4
0
0
x1
1
0
3
1
x1
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
2
4
1
x1
5
x1
1
0
3
1
x1
0
x1
1
4
1
5
x1
1
2
5
1
4
x1
4
1
0
0
x1
1
4
0
0
x1
0
3
4
0
x1
0
0
3
x1
5
0
5
1
x1
1
0
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
1
2
0
x1
0
2
1
0
x1
1
2
4
3
1
x1
1
4
x1
5
4
2
0
1
x1
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
1
0
1
4
x1
1
1
4
0
x1
1
0
1
4
x1
0
x1
5
4
1
5
x1
5
2
1
x1
1
0
1
4
x1
1
4
0
x1
5
5
0
4
x1
0
2
5
4
2
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
5
4
2
0
1
x1
0
2
1
x1
5
4
2
0
1
x1
4
0
2
1
x1
5
4
2
0
1
x1
5
4
0
2
1
x1
0
0
1
x1
0
0
2
1
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
5
x1
5
4
1
x1
5
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
1
4
1
5
x1
4
x1
1
4
1
5
x1
1
4
x1
1
4
1
5
x1
5
1
4
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
x1
1
2
1
x1
1
4
1
x1
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
0
1
2
0
x1
0
2
1
0
x1
1
0
3
1
x1
0
x1
1
0
3
1
x1
1
0
x1
1
0
3
1
x1
1
1
0
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
4
0
0
x1
4
1
0
0
x1
1
4
0
0
x1
4
1
0
4
x1
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
1
0
1
4
x1
0
x1
1
0
1
4
x1
4
0
x1
1
0
1
4
x1
1
4
0
x1
1
0
1
4
x1
1
1
4
0
x1
4
0
1
x1
0
2
1
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
1
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
5
4
2
5
x1
5
4
1
5
x1
1
5
4
2
5
x1
4
0
0
3
1
x1
0
0
1
x1
5
4
1
5
x1
1
x1
5
4
1
5
x1
5
2
1
x1
5
4
1
5
x1
5
5
2
1
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
5
0
4
x1
0
2
5
4
2
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
4
x1
1
2
4
3
1
x1
1
4
x1
5
0
5
1
x1
0
x1
5
0
5
1
x1
1
0
x1
true
2
1
0
1
0
0
1
1
1
0
1
0
1
1
0
4
1
0
1
1
1
1
1
0
5
1
1
0
1
0
1
0
0
3
1
0
0
4
1
0
0
0
1
1
1
0
0
1
0
0
5
1
0
0
1
0
1
0
0
2
1
0
0
0
1
1
0
0
1
1
0
0
1
2
4
3
1
x1
1
4
x1
1
2
4
3
1
x1
4
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
5
5
0
4
x1
0
2
5
4
2
x1
4
0
0
3
1
x1
0
0
1
x1
1
0
1
x1
0
2
1
1
2
x1
1
4
1
x1
1
1
x1
4
0
1
x1
4
0
2
1
x1
4
0
1
x1
0
2
1
x1
1
0
1
4
x1
1
1
4
0
x1
1
0
1
4
x1
1
4
0
x1
1
0
1
4
x1
4
0
x1
1
0
1
4
x1
0
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
4
1
0
4
x1
0
2
1
x1
4
1
0
0
x1
1
4
0
0
x1
4
1
0
0
x1
4
0
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
1
0
3
1
x1
1
1
0
x1
1
0
3
1
x1
1
0
x1
1
0
3
1
x1
0
x1
0
1
2
0
x1
0
2
1
0
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
4
1
x1
1
1
2
1
x1
1
4
1
x1
1
2
1
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
4
1
5
x1
5
1
4
x1
1
4
1
5
x1
1
4
x1
1
4
1
5
x1
4
x1
0
3
4
0
x1
4
0
0
3
x1
0
3
4
0
x1
0
0
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
0
1
x1
0
0
2
1
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
1
4
1
5
x1
4
x1
1
4
1
5
x1
1
4
x1
1
4
1
5
x1
5
1
4
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
x1
1
2
1
x1
1
4
1
x1
1
1
2
1
x1
0
1
2
0
x1
0
2
1
0
x1
1
0
3
1
x1
0
x1
1
0
3
1
x1
1
0
x1
1
0
3
1
x1
1
1
0
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
4
0
0
x1
4
1
0
0
x1
1
4
0
0
x1
4
1
0
4
x1
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
1
0
1
4
x1
0
x1
1
0
1
4
x1
4
0
x1
1
0
1
4
x1
1
4
0
x1
1
0
1
4
x1
1
1
4
0
x1
4
0
1
x1
0
2
1
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
1
1
x1
1
0
1
x1
0
2
1
1
2
x1
4
0
0
3
1
x1
0
0
1
x1
5
5
0
4
x1
0
2
5
4
2
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
4
x1
1
2
4
3
1
x1
1
4
x1
true
0
1
38047
1
1
38047
4
1
26205
5
1
38048
3
1
1
4
1
38047
0
1
26205
5
1
1
0
2
1
1
1
1
38047
1
2
4
3
1
x1
1
4
x1
1
2
4
3
1
x1
4
x1
4
0
0
3
1
x1
0
0
1
x1
1
0
1
x1
0
2
1
1
2
x1
1
4
1
x1
1
1
x1
4
0
1
x1
4
0
2
1
x1
4
0
1
x1
0
2
1
x1
1
0
1
4
x1
1
1
4
0
x1
1
0
1
4
x1
1
4
0
x1
1
0
1
4
x1
4
0
x1
1
0
1
4
x1
0
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
4
1
0
4
x1
0
2
1
x1
4
1
0
0
x1
1
4
0
0
x1
4
1
0
0
x1
4
0
0
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
1
0
3
1
x1
1
1
0
x1
1
0
3
1
x1
1
0
x1
1
0
3
1
x1
0
x1
0
1
2
0
x1
0
2
1
0
x1
1
4
1
x1
1
1
2
1
x1
1
4
1
x1
1
2
1
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
4
1
5
x1
5
1
4
x1
1
4
1
5
x1
1
4
x1
1
4
1
5
x1
4
x1
0
3
4
0
x1
4
0
0
3
x1
0
3
4
0
x1
0
0
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
0
1
x1
0
0
2
1
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
1
4
1
5
x1
4
x1
1
4
1
5
x1
1
4
x1
1
4
1
5
x1
5
1
4
x1
1
4
1
5
x1
1
2
5
1
4
x1
1
0
1
x1
0
2
1
1
x1
1
4
1
x1
1
2
1
x1
1
4
1
x1
1
1
2
1
x1
0
1
2
0
x1
0
2
1
0
x1
1
0
3
1
x1
0
x1
1
0
3
1
x1
1
0
x1
1
0
3
1
x1
1
1
0
x1
5
1
0
0
5
x1
0
0
2
1
5
x1
4
1
0
0
x1
4
0
0
x1
4
1
0
0
x1
1
4
0
0
x1
4
1
0
4
x1
0
2
1
x1
4
1
0
4
x1
4
0
2
1
x1
4
1
0
4
x1
4
4
0
2
1
x1
0
5
4
1
1
x1
0
2
5
1
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
1
0
1
4
x1
0
x1
1
0
1
4
x1
4
0
x1
1
0
1
4
x1
1
4
0
x1
1
0
1
4
x1
1
1
4
0
x1
4
0
1
x1
0
2
1
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
1
1
x1
1
0
1
x1
0
2
1
1
2
x1
4
0
0
3
1
x1
0
0
1
x1
1
2
4
3
1
x1
4
x1
1
2
4
3
1
x1
1
4
x1
true
2
1
0
1
0
0
1
0
1
2
0
1
1
0
0
1
1
1
1
21092
4
1
0
0
1
1
1
1
0
5
1
0
0
0
1
1
21092
0
3
1
0
0
0
1
1
1
0
4
1
0
0
1
0
1
2
0
0
1
0
0
1
0
1
1
21091
5
1
1
0
0
0
1
21091
0
2
1
1
0
0
0
1
0
21091
1
1
1
0
0
0
1
0
0
4
0
0
3
1
x1
0
0
1
x1
1
0
1
x1
0
2
1
1
2
x1
4
0
1
x1
4
0
2
1
x1
4
0
1
x1
0
2
1
x1
1
0
1
4
x1
4
0
x1
1
0
1
x1
0
2
1
1
x1
0
3
4
0
x1
4
0
0
3
x1
0
3
4
0
x1
0
0
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
1
0
1
x1
0
2
1
1
x1
false
1
0
1
4
x1
4
0
x1
false
1
0
1
x1
0
2
1
1
2
x1
false
0
0
1
x1
0
0
2
1
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
4
0
1
x1
0
2
1
x1
4
0
1
x1
4
0
2
1
x1
4
0
0
3
1
x1
0
0
1
x1
true
0
1
1
0
1
1
71600
4
1
71600
5
1
71600
3
1
71600
4
1
71600
0
1
1
0
5
1
0
2
1
43639
1
1
0
4
0
0
3
1
x1
0
0
1
x1
4
0
1
x1
4
0
2
1
x1
0
3
4
0
x1
4
0
0
3
x1
0
3
4
0
x1
0
0
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
4
0
1
x1
4
0
2
1
x1
4
0
0
3
1
x1
0
0
1
x1
true
0
1
1
0
1
1
16457
4
1
16457
5
1
16457
3
1
16457
4
1
1
0
0
1
1
0
5
1
0
2
1
16456
1
1
0
4
0
0
3
1
x1
0
0
1
x1
0
3
4
0
x1
4
0
0
3
x1
0
3
4
0
x1
0
0
3
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
2
0
1
x1
0
0
2
1
3
x1
0
3
4
0
x1
0
0
3
x1
0
3
4
0
x1
4
0
0
3
x1
4
0
0
3
1
x1
0
0
1
x1
true
0
1
1
0
1
1
3
4
1
1
1
5
1
1
2
3
1
1
1
4
1
1
0
0
1
1
0
5
1
0
2
1
1
1
1
0
0
2
0
1
x1
0
0
2
1
3
x1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
0
2
0
1
x1
0
0
2
1
3
x1
true
0
1
1
1
1
1
4
1
2
5
1
4
3
1
0
4
1
1
0
1
2
5
1
0
2
1
3
1
1
1
1
1
24785
4
1
17011
5
1
1
7773
3
1
7774
4
1
1
0
1
1
0
5
1
1
2
1
1464
1
1
1
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
false
5
0
5
1
x1
5
2
5
3
1
0
x1
false
5
0
5
1
x1
5
3
1
0
x1
false
5
4
3
1
x1
5
2
4
3
2
1
x1
false
5
4
3
1
x1
4
3
2
1
x1
false
4
0
5
1
x1
0
2
4
2
1
5
x1
false
4
0
5
1
x1
4
2
1
5
x1
false
5
4
1
5
x1
4
2
5
x1
false
5
4
3
1
x1
5
2
4
2
1
x1
false
5
4
3
1
x1
4
2
1
x1
false
5
0
1
x1
0
2
1
5
3
x1
false
5
0
1
x1
5
3
x1
false
5
0
1
x1
0
3
2
1
5
5
x1
false
5
4
3
1
x1
4
2
1
3
x1
false
5
4
3
1
x1
1
3
x1
false
5
0
3
1
x1
0
5
3
2
1
x1
false
5
0
3
1
x1
5
3
2
1
x1
false
5
0
3
1
x1
0
3
5
2
2
1
x1
false
5
0
3
1
x1
5
2
2
1
x1
false
5
4
1
x1
4
2
5
1
3
x1
false
5
4
1
x1
1
3
x1
false
5
0
0
1
x1
0
3
2
5
1
0
x1
false
1
2
4
3
1
x1
1
2
3
3
1
4
x1
false
1
4
1
x1
4
2
1
1
x1
false
4
0
0
3
1
x1
4
0
3
2
1
0
x1
false
4
0
0
3
1
x1
0
3
2
1
0
x1
false
1
0
3
1
x1
4
2
3
1
1
0
x1
false
0
0
1
x1
0
0
2
2
3
1
x1
false
0
0
3
3
1
x1
0
3
0
1
2
3
x1
false
0
0
3
3
1
x1
0
1
2
3
x1
false
0
0
3
3
1
x1
1
2
3
x1
false
0
4
0
4
x1
0
0
3
2
4
4
x1
false
0
4
0
4
x1
0
3
2
4
4
x1
false
1
0
1
x1
1
0
3
2
1
x1
false
1
0
1
x1
0
3
2
1
x1
false
4
0
0
3
1
x1
4
3
2
0
0
1
x1
false
5
2
4
1
x1
1
4
2
5
x1
false
5
2
4
1
x1
4
2
5
x1
false
5
0
5
x1
0
3
2
5
3
5
x1
false
5
0
5
x1
5
3
5
x1
false
5
0
1
x1
0
2
3
5
1
x1
false
5
4
1
x1
4
5
2
1
3
3
x1
false
5
4
1
x1
5
2
1
3
3
x1
false
5
4
1
x1
1
3
3
x1
false
1
2
0
4
x1
1
4
2
0
3
2
x1
false
1
2
0
4
x1
4
2
0
3
2
x1
false
1
2
0
4
x1
0
3
2
x1
false
1
4
0
x1
1
0
3
2
4
2
x1
false
1
4
0
x1
0
3
2
4
2
x1
false
1
4
0
x1
4
2
x1
false
0
0
4
5
x1
0
5
0
2
4
2
x1
false
0
0
4
5
x1
5
0
2
4
2
x1
false
0
0
4
5
x1
0
2
4
2
x1
false
0
0
4
5
x1
4
2
x1
false
0
4
1
x1
0
4
2
2
1
x1
false
0
4
1
x1
4
2
2
1
x1
false
0
2
4
3
1
x1
0
2
3
1
4
2
x1
false
0
2
4
3
1
x1
1
4
2
x1
false
0
2
4
3
1
x1
4
2
x1
false
0
0
1
x1
1
3
x1
false
0
4
1
x1
0
2
3
1
4
2
x1
false
0
4
1
x1
1
4
2
x1
false
0
4
1
x1
4
2
x1
false
0
2
0
1
x1
1
3
x1
false
1
3
0
4
x1
1
3
x1
true
0
1
0
1
1
3
4
1
1
1
5
1
1
1
3
1
1
1
4
1
0
0
1
1
0
5
1
0
2
1
1
1
1
1
0
5
4
1
x1
4
5
2
1
3
3
x1
5
4
2
0
1
x1
2
5
4
0
2
1
x1
0
4
1
x1
0
2
3
1
4
2
x1
5
0
1
x1
3
0
2
3
5
1
x1
1
4
0
x1
1
0
3
2
4
2
x1
0
0
1
x1
0
0
2
1
3
x1
0
4
1
x1
0
4
2
2
1
x1
5
0
5
x1
0
3
2
5
3
5
x1
0
2
0
1
x1
0
0
2
1
3
x1
5
2
4
1
x1
2
1
4
2
5
x1
1
2
0
4
x1
1
4
2
0
3
2
x1
0
0
4
5
x1
0
5
0
2
4
2
x1
5
0
0
1
x1
0
3
2
5
1
0
x1
5
4
1
x1
2
4
2
5
1
3
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
5
0
3
1
x1
0
3
5
2
2
1
x1
0
3
4
0
x1
3
2
4
0
0
3
x1
1
4
1
5
x1
2
1
2
5
1
4
x1
0
2
4
3
1
x1
0
2
3
1
4
2
x1
1
0
1
x1
0
2
1
1
x1
5
0
3
1
x1
0
5
3
2
1
x1
1
4
1
x1
4
2
1
1
2
1
x1
5
4
3
1
x1
5
4
2
1
3
x1
1
0
1
x1
1
0
3
2
1
x1
0
1
2
0
x1
2
0
2
1
0
x1
1
0
3
1
x1
4
2
3
1
1
0
x1
5
1
0
0
5
x1
5
0
0
2
1
5
x1
4
1
0
0
x1
3
2
1
4
0
0
x1
5
0
1
x1
0
3
2
1
5
5
x1
4
1
0
4
x1
4
4
0
2
1
x1
5
0
1
x1
5
0
2
1
x1
0
5
4
1
1
x1
4
0
2
5
1
1
x1
0
4
0
4
x1
0
0
3
2
4
4
x1
1
0
1
4
x1
2
3
1
1
4
0
x1
4
0
1
x1
4
0
2
1
x1
1
4
1
x1
4
2
1
1
x1
5
0
1
x1
0
2
1
5
3
x1
5
4
3
1
x1
3
5
2
4
2
1
x1
1
0
1
x1
0
2
1
1
2
x1
5
4
1
5
x1
2
1
5
4
2
5
x1
4
0
0
3
1
x1
4
3
2
0
0
1
x1
4
0
0
3
1
x1
4
0
3
2
1
0
x1
5
4
1
5
x1
4
5
5
2
1
x1
5
4
3
1
x1
5
2
4
3
2
1
x1
5
5
0
4
x1
5
0
2
5
4
2
x1
1
2
4
3
1
x1
1
2
3
3
1
4
x1
5
0
5
1
x1
5
2
5
3
1
0
x1
4
0
5
1
x1
0
2
4
2
1
5
x1
0
0
3
3
1
x1
0
3
0
1
2
3
x1
0
0
1
x1
0
0
2
2
3
1
x1
1
3
0
4
x1
4
0
3
2
1
3
x1
false
1
3
0
4
x1
0
3
2
1
3
x1
false
1
4
1
x1
4
2
1
1
2
1
x1
false
5
0
1
x1
1
5
3
x1
false
0
0
1
x1
0
2
2
3
1
x1
false
5
5
0
4
x1
4
2
x1
false
NaTT
certifiable-1.6