f
a
g
h
a
h
g
x
g
h
f
x
k
x
h
x
a
h
x
k
f
x
y
x
f
x
2.2
h
g
x
f
x
f
a
h
a
h
g
x
h
f
x
true
h
g
x
h
f
x
true
h
1
2
a
0
0
k
3
0
1
2
3
f
1
1
h
1
0
1
k
3
0
f
1
0
g
1
2
h
1
11798
a
0
11799
k
3
1
2
3
1
f
1
1
0
h
1
1
1
k
3
1
1
f
1
1
g
1
1
0
f
a
g
h
a
h
g
x
g
h
f
x
h
g
x
f
x
false
f
a
h
a
false
NaTT
certifiable-1.6