f
g
x
g
f
f
x
f
h
x
h
g
x
f'
s
x
y
y
f'
y
x
s
x
2.2
f
g
x
f
f
x
f
g
x
f
x
f'
s
x
y
y
f'
y
x
s
x
true
f'
s
x
y
y
f'
y
x
s
x
true
h
1
0
s
1
1
1
f'
3
1
2
0
f
1
0
f
1
0
f'
3
0
g
1
0
f
g
x
f
x
f
g
x
f
f
x
true
h
1
1
s
1
1
f'
3
0
f
1
1
0
f
1
1
0
f'
3
0
g
1
1
8856
f
g
x
g
f
f
x
f
h
x
h
g
x
NaTT
certifiable-1.6