f
x
f
s
s
y
f
z
w
f
s
x
f
y
f
s
z
w
L
f
s
s
y
f
z
w
L
f
s
0
f
y
f
s
z
w
f
x
f
s
s
y
nil
f
s
x
f
y
f
s
0
nil
2.2
L
f
s
s
y
f
z
w
f
s
0
f
y
f
s
z
w
f
x
f
s
s
y
nil
f
y
f
s
0
nil
f
x
f
s
s
y
f
z
w
f
y
f
s
z
w
f
x
f
s
s
y
nil
f
s
0
nil
f
x
f
s
s
y
f
z
w
f
s
z
w
f
x
f
s
s
y
nil
f
s
x
f
y
f
s
0
nil
L
f
s
s
y
f
z
w
f
y
f
s
z
w
L
f
s
s
y
f
z
w
L
f
s
0
f
y
f
s
z
w
f
x
f
s
s
y
f
z
w
f
s
x
f
y
f
s
z
w
L
f
s
s
y
f
z
w
f
s
z
w
true
L
f
s
s
y
f
z
w
L
f
s
0
f
y
f
s
z
w
true
Failed!
NaTT
certifiable-1.6