f
f
0
x
1
f
g
f
x
x
x
f
g
x
y
g
f
x
y
2.2
f
f
0
x
1
f
g
f
x
x
x
f
f
0
x
1
f
x
x
f
g
x
y
f
x
y
true
f
g
x
y
f
x
y
f
f
0
x
1
f
x
x
f
f
0
x
1
f
g
f
x
x
x
true
1
0
0
f
2
1
10451
2
10451
0
0
0
1
f
2
1
36466
0
g
1
1
0
f
f
0
x
1
f
g
f
x
x
x
f
g
x
y
f
x
y
f
f
0
x
1
f
g
f
x
x
x
f
g
x
y
g
f
x
y
f
f
0
x
1
f
g
f
x
x
x
f
g
x
y
f
x
y
true
Failed!
NaTT
certifiable-1.6