h
X
Z
f
X
s
X
Z
f
X
Y
g
X
Y
h
0
g
X
Y
g
0
Y
0
g
X
s
Y
g
X
Y
2.2
h
X
Z
f
X
s
X
Z
g
X
s
Y
g
X
Y
f
X
Y
g
X
Y
h
0
g
X
Y
true
g
X
s
Y
g
X
Y
true
h
2
0
s
1
1
1
f
3
0
0
0
0
h
2
0
f
3
0
g
2
2
0
g
2
0
f
X
Y
g
X
Y
h
0
g
X
Y
h
X
Z
f
X
s
X
Z
true
Failed!
NaTT
certifiable-1.6