f
x
y
g1
x
x
y
f
x
y
g1
y
x
x
f
x
y
g2
x
y
y
f
x
y
g2
y
y
x
g1
x
x
y
h
x
y
g1
y
x
x
h
x
y
g2
x
y
y
h
x
y
g2
y
y
x
h
x
y
h
x
x
x
2.2
g1
y
x
x
h
x
y
f
x
y
g1
x
x
y
g2
y
y
x
h
x
y
f
x
y
g2
x
y
y
g2
x
y
y
h
x
y
f
x
y
g1
y
x
x
f
x
y
g2
y
y
x
g1
x
x
y
h
x
y
true
f
x
y
g2
y
y
x
false
f
x
y
g1
y
x
x
false
f
x
y
g1
x
x
y
false
g1
x
x
y
h
x
y
false
f
x
y
g2
x
y
y
false
g2
x
y
y
h
x
y
false
g2
y
y
x
h
x
y
false
g1
y
x
x
h
x
y
false
NaTT
certifiable-1.6