f
x
0
0
s
x
f
0
y
0
s
y
f
0
0
z
s
z
f
s
0
y
z
f
0
s
y
s
z
f
s
x
s
y
0
f
x
y
s
0
f
s
x
0
s
z
f
x
s
0
z
f
0
s
0
s
0
s
s
0
f
s
x
s
y
s
z
f
x
y
f
s
x
s
y
z
f
0
s
s
y
s
0
f
0
y
s
0
f
0
s
0
s
s
z
f
0
s
0
z
f
0
s
s
y
s
s
z
f
0
y
f
0
s
s
y
s
z
2.2
f
0
s
s
y
s
0
f
0
y
s
0
f
s
x
s
y
0
f
x
y
s
0
f
s
0
y
z
f
0
s
y
s
z
f
s
x
s
y
s
z
f
x
y
f
s
x
s
y
z
f
0
s
0
s
s
z
f
0
s
0
z
f
0
s
s
y
s
s
z
f
0
y
f
0
s
s
y
s
z
f
s
x
0
s
z
f
x
s
0
z
f
s
x
s
y
s
z
f
s
x
s
y
z
f
0
s
s
y
s
s
z
f
0
s
s
y
s
z
true
f
s
x
s
y
s
z
f
s
x
s
y
z
f
s
x
0
s
z
f
x
s
0
z
f
s
x
s
y
0
f
x
y
s
0
f
s
x
s
y
s
z
f
x
y
f
s
x
s
y
z
true
s
1
1
2
f
3
1
0
0
1
f
3
1
0
f
s
x
s
y
s
z
f
s
x
s
y
z
f
s
x
s
y
s
z
f
s
x
s
y
z
true
s
1
1
1
f
3
0
0
0
0
f
3
3
1
0
f
s
0
y
z
f
0
s
y
s
z
false
f
0
s
s
y
s
s
z
f
0
s
s
y
s
z
f
0
s
s
y
s
s
z
f
0
y
f
0
s
s
y
s
z
true
s
1
1
2
f
3
2
0
0
0
1
f
3
2
0
f
0
s
s
y
s
s
z
f
0
s
s
y
s
z
f
0
s
s
y
s
s
z
f
0
s
s
y
s
z
true
s
1
1
10452
f
3
0
0
0
0
f
3
1
20903
3
0
0
f
0
s
0
s
s
z
f
0
s
0
z
true
s
1
1
4
f
3
0
0
0
1
f
3
1
28106
2
28100
3
28101
0
f
0
s
s
y
s
0
f
0
y
s
0
true
s
1
1
2
f
3
2
0
0
0
1
f
3
2
0
NaTT
certifiable-1.6