f
a
g
y
g
g
y
f
g
x
a
f
x
g
a
f
g
x
g
y
h
g
y
x
g
y
h
g
x
y
z
f
y
h
x
y
z
h
a
y
z
z
2.2
f
g
x
g
y
h
g
y
x
g
y
h
g
x
y
z
f
y
h
x
y
z
f
g
x
a
f
x
g
a
h
g
x
y
z
h
x
y
z
true
h
g
x
y
z
h
x
y
z
f
g
x
a
f
x
g
a
h
g
x
y
z
f
y
h
x
y
z
f
g
x
g
y
h
g
y
x
g
y
true
a
0
1
h
3
1
3
f
2
1
2
h
3
2
1
f
2
1
0
g
1
1
2
h
g
x
y
z
h
x
y
z
h
g
x
y
z
h
x
y
z
true
a
0
1
h
3
1
1
f
2
1
0
h
3
1
1
f
2
0
g
1
1
1
NaTT
certifiable-1.6