1
4
x1
3
1
1
2
2
4
x1
5
4
x1
4
2
3
1
1
1
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
5
4
x1
0
2
5
2
0
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
4
1
4
x1
3
3
2
2
3
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
5
1
5
2
1
0
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
5
4
x1
3
4
4
1
2
2
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
2.2
5
4
x1
2
3
1
1
1
x1
1
4
5
5
x1
3
4
1
x1
4
1
4
x1
2
3
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
2
5
4
0
x1
4
1
2
4
0
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
2
2
3
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
4
1
4
x1
3
2
2
3
1
x1
1
4
5
4
x1
0
2
1
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
0
5
5
x1
1
3
4
2
x1
0
3
0
x1
2
0
x1
5
4
4
x1
1
1
3
2
4
x1
1
5
4
x1
5
2
0
4
x1
0
3
0
x1
1
0
2
0
x1
5
4
4
x1
1
3
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
4
3
0
5
x1
2
3
5
5
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
1
4
5
4
x1
2
1
x1
5
4
x1
1
x1
4
3
0
5
x1
3
5
5
x1
1
5
4
x1
0
4
x1
2
5
4
0
x1
1
2
4
0
x1
4
1
4
x1
3
3
2
2
3
1
x1
0
5
5
x1
0
1
3
4
2
x1
1
5
4
x1
0
2
5
2
0
4
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
2
3
x1
5
4
0
0
x1
0
2
2
x1
4
3
0
5
x1
3
2
3
5
5
x1
1
4
x1
1
2
2
4
x1
0
5
5
x1
2
x1
5
5
4
x1
4
4
1
2
2
x1
0
3
0
x1
1
1
0
2
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
0
4
4
0
x1
1
4
x1
2
4
x1
4
1
4
x1
1
x1
5
4
0
0
x1
0
4
0
2
2
x1
0
3
0
x1
2
1
1
0
2
0
x1
3
5
4
x1
3
x1
0
5
5
0
x1
0
0
3
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
0
5
5
x1
1
0
1
3
4
2
x1
5
4
0
x1
4
4
0
x1
0
5
5
4
x1
1
3
4
3
4
x1
5
4
0
2
x1
0
4
5
0
2
x1
0
5
5
0
x1
2
0
0
3
0
x1
1
5
4
x1
2
5
2
0
4
x1
5
4
4
x1
3
2
4
x1
5
5
4
x1
4
1
2
2
x1
5
4
0
x1
5
2
1
0
x1
1
4
5
5
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
1
4
5
4
x1
1
x1
3
5
4
x1
4
2
3
x1
0
5
5
x1
3
4
2
x1
0
5
5
x1
4
2
x1
5
4
0
2
x1
5
0
2
x1
0
5
5
0
x1
3
0
x1
0
3
0
x1
0
2
0
x1
5
4
x1
1
1
x1
4
1
4
x1
3
1
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
5
4
x1
2
x1
5
4
0
x1
1
0
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
4
1
x1
5
5
4
x1
2
2
x1
4
3
0
5
x1
5
5
x1
0
5
5
4
x1
3
4
x1
0
5
5
0
x1
0
3
0
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
2
x1
4
5
0
2
x1
5
5
4
x1
1
2
2
x1
5
4
0
0
x1
2
x1
1
4
5
5
x1
1
3
4
1
x1
2
5
4
0
x1
2
4
0
x1
1
4
5
4
x1
5
0
2
1
x1
5
4
0
x1
2
1
0
x1
0
5
5
4
x1
4
3
4
x1
5
4
x1
3
1
1
1
x1
1
4
x1
2
2
4
x1
5
4
x1
4
2
3
1
1
1
x1
1
5
4
x1
2
0
4
x1
3
5
4
x1
1
3
4
2
3
x1
0
5
5
4
x1
3
4
3
4
x1
5
4
x1
1
1
1
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
4
x1
2
4
x1
5
4
0
x1
5
1
5
2
1
0
x1
true
5
4
0
x1
5
1
5
2
1
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
4
x1
2
4
x1
5
5
4
x1
4
1
2
2
x1
1
5
4
x1
2
5
2
0
4
x1
5
4
4
x1
3
2
4
x1
5
4
x1
1
1
1
x1
5
4
0
2
x1
0
4
5
0
2
x1
0
5
5
0
x1
2
0
0
3
0
x1
0
5
5
4
x1
1
3
4
3
4
x1
5
4
0
x1
4
4
0
x1
0
5
5
4
x1
3
4
3
4
x1
0
5
5
x1
1
0
1
3
4
2
x1
5
4
0
x1
2
4
0
4
4
0
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
0
5
5
0
x1
0
0
3
0
x1
3
5
4
x1
3
x1
0
3
0
x1
2
1
1
0
2
0
x1
3
5
4
x1
1
3
4
2
3
x1
5
4
0
0
x1
0
4
0
2
2
x1
4
1
4
x1
1
x1
1
5
4
x1
2
0
4
x1
1
4
x1
2
4
x1
5
4
0
x1
0
4
4
0
x1
5
4
x1
4
2
3
1
1
1
x1
5
5
4
x1
3
4
4
1
2
2
x1
1
4
x1
2
2
4
x1
0
3
0
x1
1
1
0
2
0
x1
5
4
x1
3
1
1
1
x1
5
5
4
x1
4
4
1
2
2
x1
0
5
5
4
x1
4
3
4
x1
0
5
5
x1
2
x1
5
4
0
x1
2
1
0
x1
1
4
x1
1
2
2
4
x1
1
4
5
4
x1
5
0
2
1
x1
4
3
0
5
x1
3
2
3
5
5
x1
2
5
4
0
x1
2
4
0
x1
1
4
5
5
x1
1
3
4
1
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
0
2
2
x1
5
5
4
x1
1
2
2
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
4
2
3
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
5
4
0
2
x1
4
5
0
2
x1
1
5
4
x1
0
2
5
2
0
4
x1
0
5
5
0
x1
0
3
0
x1
5
4
0
x1
1
5
2
1
0
x1
0
5
5
x1
0
1
3
4
2
x1
0
5
5
4
x1
3
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
2
5
4
0
x1
1
2
4
0
x1
1
5
4
x1
0
4
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
5
4
x1
1
x1
5
5
4
x1
2
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
1
4
5
4
x1
2
1
x1
1
4
5
5
x1
4
1
x1
4
3
0
5
x1
2
3
5
5
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
x1
1
1
2
2
4
x1
5
4
4
x1
1
3
2
4
x1
0
3
0
x1
1
0
2
0
x1
5
4
0
x1
1
0
x1
1
5
4
x1
5
2
0
4
x1
5
5
4
x1
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
0
3
0
x1
2
0
x1
5
4
4
x1
1
1
3
2
4
x1
4
1
4
x1
3
1
x1
0
5
5
x1
1
3
4
2
x1
5
4
x1
1
1
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
2
2
x1
0
3
0
x1
0
2
0
x1
1
4
5
4
x1
0
2
1
x1
5
4
0
2
x1
5
0
2
x1
0
5
5
0
x1
3
0
x1
0
5
5
x1
4
2
x1
4
1
4
x1
3
2
2
3
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
3
4
2
x1
4
1
4
x1
2
2
3
1
x1
3
5
4
x1
4
2
3
x1
5
4
4
x1
4
1
1
3
2
4
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
2
5
4
0
x1
4
1
2
4
0
x1
1
4
5
4
x1
1
x1
1
4
5
5
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
1
4
5
4
x1
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
1
4
5
5
x1
3
4
1
x1
4
1
4
x1
2
3
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
0
x1
5
2
1
0
x1
true
0
1
1
0
1
1
24389
4
1
24389
5
1
24390
3
1
24389
2
1
24389
4
1
24389
0
1
24389
3
1
24389
5
1
24389
2
1
24389
1
1
24389
5
4
0
x1
5
2
1
0
x1
5
4
x1
2
3
1
1
1
x1
4
1
4
x1
2
3
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
1
4
5
5
x1
1
x1
1
4
5
4
x1
1
x1
2
5
4
0
x1
4
1
2
4
0
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
3
5
4
x1
4
2
3
x1
4
1
4
x1
2
2
3
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
4
1
4
x1
3
2
2
3
1
x1
5
4
0
2
x1
5
0
2
x1
1
4
5
4
x1
0
2
1
x1
0
3
0
x1
0
2
0
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
x1
1
1
x1
4
1
4
x1
3
1
x1
5
4
4
x1
1
1
3
2
4
x1
0
3
0
x1
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
5
4
x1
2
x1
1
5
4
x1
5
2
0
4
x1
5
4
0
x1
1
0
x1
0
3
0
x1
1
0
2
0
x1
5
4
4
x1
1
3
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
5
5
x1
0
1
3
4
1
x1
4
3
0
5
x1
2
3
5
5
x1
1
4
5
5
x1
4
1
x1
1
4
5
4
x1
2
1
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
5
4
x1
2
2
x1
5
4
x1
1
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
5
5
x1
1
5
4
x1
0
4
x1
2
5
4
0
x1
1
2
4
0
x1
4
1
4
x1
3
3
2
2
3
1
x1
5
4
0
x1
1
5
2
1
0
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
0
2
x1
4
5
0
2
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
2
3
x1
5
5
4
x1
1
2
2
x1
5
4
0
0
x1
0
2
2
x1
5
4
0
0
x1
2
x1
1
4
5
5
x1
1
3
4
1
x1
2
5
4
0
x1
2
4
0
x1
4
3
0
5
x1
3
2
3
5
5
x1
1
4
5
4
x1
5
0
2
1
x1
1
4
x1
1
2
2
4
x1
5
4
0
x1
2
1
0
x1
5
5
4
x1
4
4
1
2
2
x1
5
4
x1
3
1
1
1
x1
0
3
0
x1
1
1
0
2
0
x1
1
4
x1
2
2
4
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
x1
4
2
3
1
1
1
x1
5
4
0
x1
0
4
4
0
x1
1
4
x1
2
4
x1
1
5
4
x1
2
0
4
x1
4
1
4
x1
1
x1
5
4
0
0
x1
0
4
0
2
2
x1
3
5
4
x1
1
3
4
2
3
x1
0
3
0
x1
2
1
1
0
2
0
x1
3
5
4
x1
3
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
4
4
0
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
x1
1
1
1
x1
5
4
4
x1
3
2
4
x1
1
5
4
x1
2
5
2
0
4
x1
5
5
4
x1
4
1
2
2
x1
5
4
4
x1
2
4
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
0
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
5
0
2
x1
5
4
0
2
x1
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
5
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
0
2
1
x1
1
4
5
4
x1
5
0
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
5
5
4
x1
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
4
4
1
2
2
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
5
2
1
0
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
5
1
5
2
1
0
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
x1
4
2
3
1
1
1
x1
true
0
1
2
1
1
1
4
1
2
5
1
2
3
1
1
0
2
1
2
4
1
2
0
1
1
3
1
2
5
1
1
0
2
1
1
1
1
2
5
4
x1
4
2
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
4
2
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
5
4
x1
4
4
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
2
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
0
2
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
2
4
x1
1
5
4
x1
0
2
5
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
0
4
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
5
5
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
4
5
0
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
2
4
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
0
2
0
x1
0
3
0
x1
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
2
4
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
4
4
0
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
0
2
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
0
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
0
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
5
5
4
x1
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
4
4
1
2
2
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
5
2
1
0
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
x1
4
2
3
1
1
1
x1
true
0
1
1
0
1
1
1
0
4
1
36237
5
1
1
26954
3
1
36237
2
1
36237
4
1
36237
0
1
36236
3
1
36237
5
1
36237
2
1
36236
1
1
36237
5
4
x1
4
2
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
4
2
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
5
4
x1
4
4
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
2
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
2
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
0
4
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
5
5
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
4
5
0
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
2
4
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
2
4
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
4
4
0
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
5
4
0
x1
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
4
0
4
4
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
5
4
4
x1
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
5
5
4
x1
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
4
4
1
2
2
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
5
2
1
0
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
5
4
x1
4
2
3
1
1
1
x1
true
0
1
1
1
1
1
4
1
0
5
1
1
3
1
1
0
2
1
1
4
1
1
0
0
1
1
0
3
1
1
5
1
1
2
1
0
1
1
1
5
4
x1
2
3
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
2
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
2
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
0
4
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
5
5
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
4
5
0
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
2
4
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
2
4
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
5
4
4
x1
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
4
5
0
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
5
5
4
x1
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
5
2
1
0
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
true
3
1
1
4
1
1
0
1
3
1
1
3
4
1
1
5
1
2
2
1
3
0
1
3
3
1
3
5
1
3
2
1
3
1
1
3
0
1
36004
1
1
36004
4
1
36005
5
1
1
0
2
1
36004
0
1
36004
3
1
36004
5
1
36004
2
1
36004
1
1
36004
5
4
x1
2
3
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
2
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
2
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
0
4
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
5
5
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
2
4
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
2
4
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
5
4
0
x1
0
4
4
0
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
0
4
5
0
2
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
5
5
x1
4
3
0
5
x1
3
5
5
x1
4
3
0
5
x1
2
3
5
5
x1
4
3
0
5
x1
3
2
3
5
5
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
5
4
4
x1
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
5
5
4
x1
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
5
2
1
0
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
2
3
1
1
1
x1
true
0
1
1
1
1
1
4
1
0
5
1
2
3
1
1
0
2
1
1
4
1
1
0
0
1
1
0
3
1
1
5
1
1
2
1
0
1
1
1
5
4
x1
2
3
1
1
1
x1
5
4
x1
3
1
1
1
x1
5
4
x1
1
1
1
x1
5
4
x1
1
1
x1
5
4
x1
1
x1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
x1
5
4
0
x1
1
5
2
1
0
x1
5
4
0
x1
2
1
0
x1
5
4
0
x1
1
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
5
4
x1
4
1
2
2
x1
5
5
4
x1
1
2
2
x1
5
5
4
x1
2
2
x1
5
5
4
x1
2
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
5
4
4
x1
4
1
1
3
2
4
x1
5
4
4
x1
1
1
3
2
4
x1
5
4
4
x1
1
3
2
4
x1
5
4
4
x1
3
2
4
x1
5
4
4
x1
2
4
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
0
4
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
5
4
0
2
x1
0
4
5
0
2
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
2
4
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
2
4
x1
5
4
0
x1
2
4
0
4
4
0
x1
5
4
0
x1
0
4
4
0
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
5
4
0
0
x1
0
4
0
2
2
x1
5
4
0
0
x1
2
2
x1
5
4
0
0
x1
2
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
5
4
0
0
x1
2
x1
false
5
4
0
0
x1
2
2
x1
false
5
4
0
0
x1
0
4
0
2
2
x1
false
5
4
0
0
x1
1
0
4
0
2
2
x1
false
5
4
0
x1
0
4
4
0
x1
false
5
4
0
x1
2
4
0
4
4
0
x1
false
5
4
0
2
x1
0
4
5
0
2
x1
false
5
4
0
2
x1
3
0
4
5
0
2
x1
false
5
4
4
x1
2
4
x1
false
5
4
4
x1
3
2
4
x1
false
5
4
4
x1
1
3
2
4
x1
false
5
4
4
x1
1
1
3
2
4
x1
false
5
4
4
x1
4
1
1
3
2
4
x1
false
5
5
4
x1
2
x1
false
5
5
4
x1
2
2
x1
false
5
5
4
x1
1
2
2
x1
false
5
5
4
x1
4
1
2
2
x1
false
5
5
4
x1
3
4
4
1
2
2
x1
false
5
4
0
x1
1
0
x1
false
5
4
0
x1
2
1
0
x1
false
5
4
0
x1
1
5
2
1
0
x1
false
5
4
x1
1
x1
false
5
4
x1
1
1
x1
false
5
4
x1
1
1
1
x1
false
5
4
x1
3
1
1
1
x1
false
5
4
x1
2
3
1
1
1
x1
false
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
x1
2
4
x1
1
4
x1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
0
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
2
3
1
x1
4
1
4
x1
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
2
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
3
5
4
x1
3
x1
3
5
4
x1
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
true
0
1
1
1
1
0
4
1
0
5
1
1
3
1
0
2
1
1
0
4
1
1
0
1
0
3
1
1
5
1
1
2
1
0
1
1
1
3
5
4
x1
4
1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
3
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
1
4
5
4
x1
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
1
x1
1
5
4
x1
2
5
2
0
4
x1
1
5
4
x1
0
4
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
1
2
4
0
x1
0
3
0
x1
1
1
0
2
0
x1
0
3
0
x1
1
0
2
0
x1
1
4
x1
3
1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
1
2
2
4
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
1
x1
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
1
4
5
5
x1
1
x1
1
4
5
5
x1
4
1
x1
1
4
5
5
x1
3
4
1
x1
1
4
5
5
x1
1
3
4
1
x1
1
4
5
5
x1
0
1
3
4
1
x1
1
4
x1
1
2
2
4
x1
1
4
x1
1
1
2
2
4
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
1
0
2
0
x1
0
3
0
x1
1
1
0
2
0
x1
2
5
4
0
x1
1
2
4
0
x1
2
5
4
0
x1
4
1
2
4
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
1
5
4
x1
0
4
x1
1
5
4
x1
2
5
2
0
4
x1
4
1
4
x1
1
x1
4
1
4
x1
3
1
x1
4
1
4
x1
3
2
2
3
1
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
3
5
4
x1
3
x1
3
5
4
x1
3
4
2
3
x1
3
5
4
x1
1
3
4
2
3
x1
3
5
4
x1
4
1
3
4
2
3
x1
true
0
1
1
1
1
1
0
4
1
1
31223
5
1
1
31223
3
1
1
31222
2
1
2
4
1
1
0
0
1
0
3
1
1
0
5
1
1
2
1
0
1
1
1
0
5
4
0
0
x1
1
0
4
0
2
2
x1
0
5
5
x1
1
0
1
3
4
2
x1
1
4
5
5
x1
0
0
1
3
4
1
x1
5
4
0
x1
2
4
0
4
4
0
x1
1
4
x1
3
1
1
2
2
4
x1
0
3
0
x1
2
1
1
0
2
0
x1
2
5
4
0
x1
0
4
1
2
4
0
x1
5
4
0
2
x1
3
0
4
5
0
2
x1
4
3
0
5
x1
3
3
2
3
5
5
x1
1
5
4
x1
0
2
5
2
0
4
x1
5
4
4
x1
4
1
1
3
2
4
x1
4
1
4
x1
3
3
2
2
3
1
x1
1
4
5
4
x1
0
4
5
0
2
1
x1
0
5
5
0
x1
0
2
0
0
3
0
x1
5
5
4
x1
3
4
4
1
2
2
x1
5
4
0
x1
5
1
5
2
1
0
x1
0
5
5
4
x1
0
1
3
4
3
4
x1
3
5
4
x1
4
1
3
4
2
3
x1
5
4
x1
4
2
3
1
1
1
x1
NaTT
certifiable-1.6