f
0
1
x
f
g
x
g
x
x
f
g
x
y
z
g
f
x
y
z
f
x
g
y
z
g
f
x
y
z
f
x
y
g
z
g
f
x
y
z
2.2
f
x
g
y
z
f
x
y
z
f
0
1
x
f
g
x
g
x
x
f
g
x
y
z
f
x
y
z
f
x
y
g
z
f
x
y
z
true
f
x
y
g
z
f
x
y
z
f
g
x
y
z
f
x
y
z
f
0
1
x
f
g
x
g
x
x
f
x
g
y
z
f
x
y
z
true
1
0
1
f
3
0
0
0
1
f
3
3
0
g
1
1
1
f
x
g
y
z
f
x
y
z
f
0
1
x
f
g
x
g
x
x
f
g
x
y
z
f
x
y
z
f
0
1
x
f
g
x
g
x
x
f
x
g
y
z
f
x
y
z
f
g
x
y
z
f
x
y
z
true
Failed!
NaTT
certifiable-1.6