f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
0
0
s
x4
x5
f
x4
x4
x4
x4
x5
f
0
0
0
0
s
x5
f
x5
x5
x5
x5
x5
f
0
0
0
0
0
0
2.2
f
0
0
0
0
s
x5
f
x5
x5
x5
x5
x5
f
0
0
0
s
x4
x5
f
x4
x4
x4
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
true
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
0
0
s
x4
x5
f
x4
x4
x4
x4
x5
f
0
0
0
0
s
x5
f
x5
x5
x5
x5
x5
true
s
1
1
1
f
5
0
0
0
1
f
5
5
0
f
0
0
0
s
x4
x5
f
x4
x4
x4
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
0
0
s
x4
x5
f
x4
x4
x4
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
true
s
1
1
1
f
5
0
0
0
1
f
5
4
0
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
0
s
x3
x4
x5
f
x3
x3
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
true
s
1
1
1
f
5
0
0
0
1
f
5
3
0
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
0
s
x2
x3
x4
x5
f
x2
x2
x3
x4
x5
true
s
1
1
1
f
5
0
0
0
1
f
5
2
0
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
f
s
x1
x2
x3
x4
x5
f
x1
x2
x3
x4
x5
true
s
1
1
1
f
5
0
0
0
1
f
5
1
0
NaTT
certifiable-1.6