f
f
x
y
z
u
f
x
y
v
f
x
y
f
z
u
v
f
x
y
y
y
f
x
y
g
y
x
f
x
x
y
x
f
g
x
x
y
y
2.2
f
f
x
y
z
u
f
x
y
v
f
z
u
v
f
f
x
y
z
u
f
x
y
v
f
x
y
f
z
u
v
true
f
f
x
y
z
u
f
x
y
v
f
x
y
f
z
u
v
f
f
x
y
z
u
f
x
y
v
f
z
u
v
true
f
3
1
2
3
1
f
3
1
2
3
0
g
1
23676
f
x
x
y
x
f
f
x
y
z
u
f
x
y
v
f
x
y
f
z
u
v
f
x
y
g
y
x
f
g
x
x
y
y
f
x
y
y
y
NaTT
certifiable-1.6