0
4
x1
0
1
4
2
3
3
x1
0
4
x1
0
2
1
4
3
4
x1
0
0
4
x1
1
1
5
2
3
4
x1
0
1
1
x1
0
2
2
1
1
1
x1
0
1
3
x1
0
2
4
3
4
4
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
0
x1
0
1
2
1
0
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
3
3
x1
0
2
1
1
0
5
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
5
x1
1
1
4
3
3
2
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
2
4
1
4
3
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
4
2
1
4
3
5
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
2.2
0
4
x1
2
1
4
3
4
x1
4
0
0
x1
1
x1
2
0
1
x1
2
4
3
5
2
3
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
2
4
4
x1
4
0
0
x1
2
1
1
1
x1
0
1
3
x1
0
2
4
3
4
4
x1
2
0
1
x1
5
2
3
x1
2
0
0
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
4
3
1
x1
2
0
0
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
1
2
3
x1
4
x1
0
0
4
x1
1
5
2
3
4
x1
2
0
4
x1
1
x1
4
0
5
x1
3
5
x1
5
0
2
x1
5
2
1
0
2
x1
2
0
1
x1
2
3
x1
4
0
5
x1
1
4
x1
0
1
3
x1
4
x1
2
0
1
x1
3
x1
0
1
1
x1
2
1
1
1
x1
5
0
2
x1
1
0
2
x1
1
2
3
x1
1
4
4
x1
5
0
2
x1
2
1
0
2
x1
0
4
0
x1
1
0
3
x1
1
2
3
x1
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
4
x1
0
2
1
4
3
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
0
x1
0
3
x1
1
2
3
x1
1
4
1
4
4
x1
0
4
0
x1
0
1
2
1
0
3
x1
0
1
3
x1
2
4
3
4
4
x1
2
0
0
x1
4
4
4
x1
4
0
5
x1
4
3
5
x1
0
4
x1
3
3
x1
4
0
5
x1
4
5
1
4
x1
2
0
1
x1
5
1
0
1
x1
0
2
4
x1
3
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
0
4
x1
1
1
5
2
3
4
x1
0
4
0
x1
2
1
0
3
x1
3
0
1
x1
3
1
4
3
4
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
4
3
1
x1
1
3
5
x1
3
3
2
x1
0
1
3
x1
4
4
x1
1
3
5
x1
4
3
3
2
x1
3
0
5
x1
2
3
2
x1
4
0
0
x1
2
5
2
1
1
1
x1
2
0
4
x1
1
4
3
x1
3
0
1
x1
4
3
4
1
x1
2
0
1
x1
3
5
2
3
x1
2
0
4
x1
3
1
x1
0
1
3
x1
3
4
4
x1
0
0
4
x1
2
3
4
x1
2
0
1
x1
1
5
1
0
1
x1
5
0
4
x1
3
4
x1
3
0
1
x1
3
4
1
x1
0
4
0
x1
1
2
1
0
3
x1
4
0
5
x1
1
4
3
5
x1
4
0
0
x1
5
2
1
1
1
x1
1
2
3
x1
4
1
4
4
x1
2
0
1
x1
1
0
1
x1
0
4
x1
2
3
3
x1
1
3
3
x1
4
0
3
2
3
x1
5
0
4
x1
0
3
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
1
3
5
x1
3
2
x1
3
0
5
x1
2
x1
0
4
x1
3
x1
3
0
5
x1
3
2
x1
1
3
3
x1
5
x1
3
0
5
x1
1
0
2
3
2
x1
4
0
5
x1
2
1
4
3
5
x1
0
2
4
x1
5
4
3
4
4
x1
2
0
0
x1
3
4
4
4
x1
0
2
4
x1
4
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
3
x1
2
0
4
x1
4
1
4
3
1
x1
1
3
3
x1
3
2
3
x1
5
0
4
x1
0
3
2
4
4
x1
5
0
2
x1
1
5
2
1
0
2
x1
2
0
4
x1
3
x1
0
4
x1
3
4
x1
2
0
1
x1
4
3
5
2
3
x1
1
3
3
x1
2
3
x1
5
0
4
x1
5
1
0
3
4
x1
1
3
5
x1
1
4
3
3
2
x1
3
0
5
x1
0
2
3
2
x1
5
0
4
x1
3
2
4
4
x1
4
0
0
x1
1
1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
5
0
4
x1
1
5
1
0
3
4
x1
0
4
0
x1
3
x1
2
0
4
x1
2
1
4
3
x1
1
3
3
x1
1
1
0
5
x1
5
0
4
x1
1
0
3
2
4
4
x1
1
3
3
x1
0
5
x1
3
0
5
x1
3
1
0
2
3
2
x1
1
3
3
x1
0
3
2
3
x1
0
4
x1
4
2
3
3
x1
1
3
5
x1
2
x1
0
0
4
x1
5
2
3
4
x1
4
0
0
x1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
3
x1
4
3
4
4
x1
5
0
4
x1
4
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
2
1
1
0
5
x1
0
4
x1
1
4
3
4
x1
3
0
1
x1
1
4
3
4
1
x1
0
4
x1
0
2
1
4
3
4
x1
0
1
1
x1
1
1
1
x1
4
0
5
x1
4
x1
0
2
4
x1
4
3
4
4
x1
0
1
1
x1
0
2
2
1
1
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
0
0
4
x1
3
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
4
x1
4
3
4
x1
0
4
x1
1
4
2
3
3
x1
3
0
1
x1
4
1
x1
4
0
5
x1
1
4
5
1
4
x1
1
3
3
x1
1
0
5
x1
true
3
0
5
x1
3
2
x1
1
3
3
x1
1
0
5
x1
0
4
x1
3
x1
3
0
1
x1
4
1
x1
4
0
5
x1
1
4
5
1
4
x1
3
0
5
x1
2
x1
0
4
x1
1
4
2
3
3
x1
1
3
5
x1
3
2
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
0
4
x1
4
3
4
x1
1
3
3
x1
4
0
3
2
3
x1
5
0
4
x1
0
3
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
4
x1
2
3
3
x1
0
0
4
x1
3
4
x1
1
2
3
x1
4
1
4
4
x1
2
0
1
x1
1
0
1
x1
4
0
0
x1
5
2
1
1
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
4
0
5
x1
1
4
3
5
x1
3
0
1
x1
3
4
1
x1
0
4
0
x1
1
2
1
0
3
x1
5
0
4
x1
3
4
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
1
x1
1
5
1
0
1
x1
0
0
4
x1
2
3
4
x1
0
1
3
x1
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
2
0
4
x1
3
1
x1
2
0
1
x1
3
5
2
3
x1
4
0
5
x1
4
x1
3
0
1
x1
4
3
4
1
x1
0
1
1
x1
1
1
1
x1
2
0
4
x1
1
4
3
x1
3
0
5
x1
2
3
2
x1
4
0
0
x1
2
5
2
1
1
1
x1
0
4
x1
0
2
1
4
3
4
x1
1
3
5
x1
4
3
3
2
x1
3
0
1
x1
1
4
3
4
1
x1
0
1
3
x1
4
4
x1
0
4
x1
1
4
3
4
x1
1
3
5
x1
3
3
2
x1
1
3
3
x1
2
1
1
0
5
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
4
3
1
x1
1
3
5
x1
1
1
4
3
3
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
4
x1
4
4
x1
0
4
0
x1
2
1
0
3
x1
0
1
3
x1
4
3
4
4
x1
0
1
1
x1
2
2
1
1
1
x1
4
0
0
x1
1
1
x1
0
0
4
x1
5
2
3
4
x1
0
0
4
x1
1
1
5
2
3
4
x1
0
4
x1
4
2
3
3
x1
1
3
5
x1
2
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
3
4
4
x1
2
0
1
x1
5
1
0
1
x1
1
3
3
x1
0
3
2
3
x1
0
4
x1
3
3
x1
4
0
5
x1
4
5
1
4
x1
3
0
5
x1
3
1
0
2
3
2
x1
5
0
4
x1
1
0
3
2
4
4
x1
1
3
3
x1
0
5
x1
4
0
5
x1
4
3
5
x1
1
3
3
x1
1
1
0
5
x1
2
0
0
x1
4
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
4
0
x1
0
1
2
1
0
3
x1
2
0
4
x1
2
1
4
3
x1
1
2
3
x1
1
4
1
4
4
x1
0
4
0
x1
3
x1
0
4
0
x1
0
3
x1
0
2
4
x1
1
5
4
3
4
4
x1
2
0
4
x1
0
2
1
4
3
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
2
0
0
x1
4
3
4
4
4
x1
4
0
5
x1
4
2
1
4
3
5
x1
1
2
3
x1
4
4
x1
0
4
0
x1
1
0
3
x1
4
0
0
x1
1
1
1
x1
1
2
3
x1
1
4
4
x1
5
0
2
x1
2
1
0
2
x1
5
0
4
x1
3
2
4
4
x1
0
1
1
x1
2
1
1
1
x1
5
0
2
x1
1
0
2
x1
2
0
1
x1
3
x1
3
0
5
x1
0
2
3
2
x1
0
1
3
x1
4
x1
1
3
5
x1
1
4
3
3
2
x1
4
0
5
x1
1
4
x1
5
0
4
x1
5
1
0
3
4
x1
1
3
3
x1
2
3
x1
5
0
2
x1
5
2
1
0
2
x1
2
0
1
x1
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
4
0
5
x1
3
5
x1
2
0
4
x1
3
x1
0
4
x1
3
4
x1
2
0
4
x1
1
x1
1
2
3
x1
4
x1
0
0
4
x1
1
5
2
3
4
x1
5
0
2
x1
1
5
2
1
0
2
x1
2
0
0
x1
2
4
3
4
4
4
x1
1
3
3
x1
3
2
3
x1
5
0
4
x1
0
3
2
4
4
x1
2
0
4
x1
4
3
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
0
x1
4
4
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
0
x1
4
x1
0
2
4
x1
4
4
x1
2
0
1
x1
5
2
3
x1
4
0
0
x1
2
1
1
1
x1
0
1
3
x1
0
2
4
3
4
4
x1
2
0
0
x1
3
4
4
4
x1
4
0
5
x1
2
1
4
3
5
x1
0
2
4
x1
5
4
3
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
1
0
3
4
x1
3
0
5
x1
1
0
2
3
2
x1
4
0
0
x1
1
x1
2
0
1
x1
2
4
3
5
2
3
x1
0
4
x1
2
1
4
3
4
x1
1
3
3
x1
5
x1
true
0
1
1
0
1
1
842
4
1
843
5
1
842
3
1
1
2
1
842
4
1
842
0
1
842
3
1
842
5
1
842
2
1
842
1
1
842
1
3
3
x1
5
x1
2
0
1
x1
2
4
3
5
2
3
x1
4
0
0
x1
1
x1
3
0
5
x1
1
0
2
3
2
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
2
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
4
0
5
x1
2
1
4
3
5
x1
2
0
0
x1
3
4
4
4
x1
0
1
3
x1
0
2
4
3
4
4
x1
4
0
0
x1
2
1
1
1
x1
2
0
1
x1
5
2
3
x1
0
2
4
x1
4
4
x1
2
0
0
x1
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
4
3
1
x1
2
0
0
x1
4
4
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
4
3
x1
1
3
3
x1
3
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
0
4
x1
1
5
2
3
4
x1
1
2
3
x1
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
x1
4
0
5
x1
3
5
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
3
x1
5
0
2
x1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
5
0
4
x1
5
1
0
3
4
x1
4
0
5
x1
1
4
x1
1
3
5
x1
1
4
3
3
2
x1
0
1
3
x1
4
x1
3
0
5
x1
0
2
3
2
x1
2
0
1
x1
3
x1
5
0
2
x1
1
0
2
x1
0
1
1
x1
2
1
1
1
x1
5
0
4
x1
3
2
4
4
x1
5
0
2
x1
2
1
0
2
x1
1
2
3
x1
1
4
4
x1
4
0
0
x1
1
1
1
x1
1
2
3
x1
4
4
x1
4
0
5
x1
4
2
1
4
3
5
x1
2
0
0
x1
4
3
4
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
5
0
4
x1
1
5
1
0
3
4
x1
2
0
4
x1
0
2
1
4
3
x1
0
2
4
x1
1
5
4
3
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
2
0
4
x1
2
1
4
3
x1
0
1
3
x1
2
4
3
4
4
x1
2
0
0
x1
4
4
4
x1
1
3
3
x1
1
1
0
5
x1
4
0
5
x1
4
3
5
x1
1
3
3
x1
0
5
x1
5
0
4
x1
1
0
3
2
4
4
x1
3
0
5
x1
3
1
0
2
3
2
x1
4
0
5
x1
4
5
1
4
x1
2
0
1
x1
5
1
0
1
x1
0
2
4
x1
3
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
1
3
5
x1
2
x1
0
0
4
x1
1
1
5
2
3
4
x1
0
0
4
x1
5
2
3
4
x1
4
0
0
x1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
3
x1
4
3
4
4
x1
5
0
4
x1
4
4
x1
3
0
1
x1
3
1
4
3
4
1
x1
1
3
5
x1
1
1
4
3
3
2
x1
2
0
4
x1
1
4
3
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
5
x1
3
3
2
x1
0
1
3
x1
4
4
x1
3
0
1
x1
1
4
3
4
1
x1
1
3
5
x1
4
3
3
2
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
5
x1
2
3
2
x1
2
0
4
x1
1
4
3
x1
0
1
1
x1
1
1
1
x1
3
0
1
x1
4
3
4
1
x1
4
0
5
x1
4
x1
2
0
1
x1
3
5
2
3
x1
2
0
4
x1
3
1
x1
0
2
4
x1
4
3
4
4
x1
0
1
3
x1
3
4
4
x1
0
0
4
x1
2
3
4
x1
2
0
1
x1
1
5
1
0
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
5
0
4
x1
3
4
x1
3
0
1
x1
3
4
1
x1
4
0
5
x1
1
4
3
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
4
0
0
x1
5
2
1
1
1
x1
2
0
1
x1
1
0
1
x1
1
2
3
x1
4
1
4
4
x1
0
0
4
x1
3
4
x1
1
3
3
x1
4
0
3
2
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
1
3
5
x1
3
2
x1
3
0
5
x1
2
x1
4
0
5
x1
1
4
5
1
4
x1
3
0
1
x1
4
1
x1
1
3
3
x1
1
0
5
x1
3
0
5
x1
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
0
4
x1
3
4
x1
0
0
4
x1
2
3
4
x1
0
0
4
x1
5
2
3
4
x1
0
0
4
x1
1
5
2
3
4
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
4
x1
0
1
3
x1
4
4
x1
0
1
3
x1
3
4
4
x1
0
1
3
x1
4
3
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
1
5
4
3
4
4
x1
true
0
1
1
628
1
1
214
4
1
214
5
1
214
3
1
213
2
1
842
4
1
842
0
1
214
3
1
842
5
1
842
2
1
1
0
1
1
842
0
2
4
x1
1
5
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
5
0
4
x1
1
5
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
0
1
3
x1
0
2
4
3
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
1
3
x1
4
3
4
4
x1
0
1
3
x1
3
4
4
x1
0
1
3
x1
4
4
x1
0
1
3
x1
4
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
1
x1
0
0
4
x1
1
1
5
2
3
4
x1
0
0
4
x1
1
5
2
3
4
x1
0
0
4
x1
5
2
3
4
x1
0
0
4
x1
2
3
4
x1
0
0
4
x1
3
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
3
x1
0
1
1
x1
0
2
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
0
4
x1
3
4
x1
0
0
4
x1
2
3
4
x1
0
0
4
x1
5
2
3
4
x1
0
0
4
x1
1
5
2
3
4
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
4
x1
0
1
3
x1
4
4
x1
0
1
3
x1
3
4
4
x1
0
1
3
x1
4
3
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
1
5
4
3
4
4
x1
true
0
1
1
841
1
1
1
4
1
2
5
1
1
3
1
1
2
1
842
4
1
842
0
1
1
0
3
1
842
5
1
842
2
1
1
1
1
842
0
2
4
x1
1
5
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
5
0
4
x1
1
5
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
0
1
3
x1
0
2
4
3
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
1
3
x1
4
3
4
4
x1
0
1
3
x1
3
4
4
x1
0
1
3
x1
4
4
x1
0
1
3
x1
4
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
3
x1
0
1
1
x1
0
2
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
4
x1
0
1
3
x1
4
4
x1
0
1
3
x1
3
4
4
x1
0
1
3
x1
4
3
4
4
x1
0
1
3
x1
2
4
3
4
4
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
1
5
4
3
4
4
x1
true
0
1
1
842
1
1
1
0
4
1
1066
5
1
0
3
1
12063
2
1
842
4
1
842
0
1
0
3
1
842
5
1
842
2
1
0
1
1
842
0
2
4
x1
1
5
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
4
x1
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
5
0
4
x1
1
5
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
3
x1
0
1
1
x1
0
2
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
4
4
x1
0
2
4
x1
3
4
4
x1
0
2
4
x1
4
3
4
4
x1
0
2
4
x1
5
4
3
4
4
x1
0
2
4
x1
1
5
4
3
4
4
x1
true
0
1
1
2
1
1
1
1
1
4
1
3
5
1
1
3
1
1
2
1
1
4
1
1
0
1
3
3
1
1
5
1
1
1
1
1
1
1
1
0
4
1
0
5
1
0
3
1
19912
2
1
0
4
1
0
0
1
0
3
1
0
5
1
0
1
1
0
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
0
2
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
5
0
4
x1
1
5
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
3
x1
0
1
1
x1
0
2
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
0
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
true
0
1
1
0
1
1
34923
4
1
1
5
1
34923
3
1
1
2
1
34923
4
1
34923
0
1
34923
3
1
34923
5
1
34923
2
1
5745
1
1
34923
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
5
0
4
x1
1
5
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
2
0
4
x1
2
4
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
1
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
2
0
4
x1
2
0
2
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
3
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
2
0
4
x1
3
x1
2
0
4
x1
4
3
x1
2
0
4
x1
1
4
3
x1
2
0
4
x1
2
1
4
3
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
2
0
4
x1
1
x1
2
0
4
x1
3
1
x1
2
0
4
x1
4
3
1
x1
2
0
4
x1
1
4
3
1
x1
2
0
4
x1
4
1
4
3
1
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
4
4
x1
5
0
4
x1
2
4
4
x1
5
0
4
x1
3
2
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
3
4
x1
5
0
4
x1
1
0
3
4
x1
5
0
4
x1
5
1
0
3
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
1
0
0
0
1
0
0
4
1
1
1
0
0
1
0
9560
5
1
1
0
0
0
1
0
0
3
1
1
0
0
0
1
0
0
2
1
1
0
0
0
1
0
0
4
1
1
0
0
0
1
0
0
0
1
1
0
1
0
1
0
0
3
1
1
0
0
0
1
0
0
5
1
1
0
0
0
1
0
0
2
1
1
0
0
0
1
0
0
1
1
1
0
0
0
1
0
0
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
0
1
1
x1
2
2
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
1
1
1
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
1
1
1
x1
0
1
1
x1
2
1
1
1
x1
0
1
1
x1
2
2
1
1
1
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
true
2
1
0
1
1
0
0
0
1
0
0
1
1
0
0
1
0
1
1
10620
4
1
5313
5312
5
1
0
1
0
0
1
5313
1
3
1
0
1
0
1
1
1
8848
2
1
5314
0
4
1
5314
0
0
1
0
1
0
0
1
10623
5309
3
1
5314
0
5
1
5314
0
2
1
5311
5312
1
1
5314
0
2
0
1
x1
2
1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
0
1
x1
1
3
3
x1
2
1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
5
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
2
x1
2
0
0
x1
2
4
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
2
3
x1
5
0
2
x1
1
5
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
1
0
2
x1
3
0
1
x1
3
1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
3
5
x1
1
2
3
x1
5
1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
4
x1
3
0
5
x1
3
1
0
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
3
0
5
x1
2
x1
3
0
5
x1
3
2
x1
3
0
5
x1
2
3
2
x1
3
0
5
x1
1
0
2
3
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
1
2
3
x1
4
x1
1
2
3
x1
4
4
x1
1
2
3
x1
1
4
4
x1
1
2
3
x1
4
1
4
4
x1
1
2
3
x1
1
4
1
4
4
x1
1
2
3
x1
5
1
4
1
4
4
x1
4
0
5
x1
3
5
x1
4
0
5
x1
4
3
5
x1
4
0
5
x1
1
4
3
5
x1
4
0
5
x1
2
1
4
3
5
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
1
x1
4
0
0
x1
1
1
x1
4
0
0
x1
1
1
1
x1
4
0
0
x1
2
1
1
1
x1
4
0
0
x1
5
2
1
1
1
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
4
1
x1
3
0
1
x1
3
4
1
x1
3
0
1
x1
4
3
4
1
x1
3
0
1
x1
1
4
3
4
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
0
2
x1
5
0
2
x1
2
1
0
2
x1
5
0
2
x1
5
2
1
0
2
x1
5
0
2
x1
1
5
2
1
0
2
x1
1
3
3
x1
2
3
x1
1
3
3
x1
3
2
3
x1
1
3
3
x1
4
0
3
2
3
x1
1
3
3
x1
5
4
0
3
2
3
x1
4
0
5
x1
4
x1
4
0
5
x1
1
4
x1
4
0
5
x1
5
1
4
x1
4
0
5
x1
4
5
1
4
x1
4
0
5
x1
1
4
5
1
4
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
3
x1
2
0
1
x1
2
3
x1
2
0
1
x1
5
2
3
x1
2
0
1
x1
3
5
2
3
x1
2
0
1
x1
4
3
5
2
3
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
4
x1
2
0
0
x1
4
4
x1
2
0
0
x1
4
4
4
x1
2
0
0
x1
3
4
4
4
x1
2
0
0
x1
4
3
4
4
4
x1
2
0
0
x1
2
4
3
4
4
4
x1
1
3
5
x1
2
x1
1
3
5
x1
3
2
x1
1
3
5
x1
3
3
2
x1
1
3
5
x1
4
3
3
2
x1
1
3
5
x1
1
4
3
3
2
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
5
x1
1
3
3
x1
1
0
5
x1
1
3
3
x1
1
1
0
5
x1
1
3
3
x1
2
1
1
0
5
x1
2
0
1
x1
1
0
1
x1
2
0
1
x1
5
1
0
1
x1
2
0
1
x1
1
5
1
0
1
x1
2
0
1
x1
2
1
5
1
0
1
x1
true
2
1
0
1
0
0
1
1
0
0
1
0
1
7940
0
4
1
7947
0
5
1
0
0
1
1
1
15874
0
3
1
1
0
1
1
1
7943
7938
2
1
0
0
1
0
1
21184
0
4
1
0
0
1
0
1
5314
0
0
1
0
1
0
1
1
15872
0
3
1
0
0
1
0
1
21185
0
5
1
0
0
1
0
1
21185
0
2
1
0
0
1
1
1
0
0
1
1
1
0
1
0
1
5310
0
5
0
2
x1
5
2
1
0
2
x1
3
0
5
x1
3
1
0
2
3
2
x1
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
3
0
1
x1
3
1
4
3
4
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
5
0
2
x1
5
2
1
0
2
x1
true
0
1
34923
1
1
58290
4
1
53208
5
1
1
0
3
1
1
2
1
34923
4
1
34923
0
1
58290
3
1
34923
5
1
1
34923
2
1
53208
1
1
34923
0
1
1
x1
0
2
2
1
1
1
x1
2
0
4
x1
2
0
2
1
4
3
x1
1
2
3
x1
5
1
4
1
4
4
x1
0
4
x1
0
1
4
2
3
3
x1
0
0
4
x1
1
1
5
2
3
4
x1
2
0
4
x1
2
4
1
4
3
1
x1
4
0
5
x1
4
2
1
4
3
5
x1
4
0
0
x1
2
5
2
1
1
1
x1
5
0
2
x1
1
5
2
1
0
2
x1
0
1
3
x1
0
2
4
3
4
4
x1
1
3
3
x1
5
4
0
3
2
3
x1
0
4
0
x1
0
1
2
1
0
3
x1
4
0
5
x1
4
1
4
5
1
4
x1
2
0
1
x1
2
4
3
5
2
3
x1
2
0
0
x1
2
4
3
4
4
4
x1
5
0
4
x1
1
0
3
2
4
4
x1
5
0
4
x1
1
5
1
0
3
4
x1
1
3
5
x1
1
1
4
3
3
2
x1
1
3
3
x1
0
2
1
1
0
5
x1
2
0
1
x1
2
1
5
1
0
1
x1
0
2
4
x1
1
5
4
3
4
4
x1
0
4
x1
0
2
1
4
3
4
x1
NaTT
certifiable-1.6