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