f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
0
0
0
0
0
0
0
0
s
x10
f
x10
x10
x10
x10
x10
x10
x10
x10
x10
x10
f
0
0
0
0
0
0
0
0
0
0
0
2.2
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
0
0
s
x10
f
x10
x10
x10
x10
x10
x10
x10
x10
x10
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
true
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
0
0
s
x10
f
x10
x10
x10
x10
x10
x10
x10
x10
x10
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
10
0
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
0
0
0
0
s
x9
x10
f
x9
x9
x9
x9
x9
x9
x9
x9
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
9
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
0
s
x8
x9
x10
f
x8
x8
x8
x8
x8
x8
x8
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
8
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
0
s
x7
x8
x9
x10
f
x7
x7
x7
x7
x7
x7
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
0
f
10
7
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
0
0
0
s
x6
x7
x8
x9
x10
f
x6
x6
x6
x6
x6
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
6
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
0
s
x5
x6
x7
x8
x9
x10
f
x5
x5
x5
x5
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
5
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
0
0
0
s
x4
x5
x6
x7
x8
x9
x10
f
x4
x4
x4
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
2
f
10
0
0
0
1
f
10
4
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
0
s
x3
x4
x5
x6
x7
x8
x9
x10
f
x3
x3
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
3
0
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
0
s
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x2
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
2
0
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
s
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
f
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
true
s
1
1
1
f
10
0
0
0
1
f
10
1
0
NaTT
certifiable-1.6