f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
2.2
f
f
s
x
s
y
f
z
w
f
x
y
f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
f
f
s
x
0
f
y
z
f
y
s
z
true
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
x
y
true
s
1
1
0
f
2
1
8856
2
8858
0
0
0
1
f
2
1
14235
2
14235
0
f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
f
f
s
x
0
f
y
z
f
f
y
z
f
y
s
z
f
f
s
x
s
y
f
z
w
f
f
x
y
f
z
w
true
Failed!
NaTT
certifiable-1.6