f1
g1
f1
g2
f2
g1
f2
g2
g1
h1
g1
h2
g2
h1
g2
h2
e1
h1
h2
x
y
z
e2
x
x
y
z
z
e2
f1
x
y
z
f2
e3
x
y
x
y
y
z
y
z
x
y
z
e3
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
e4
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
e4
g1
x1
g2
x1
g1
x1
g2
x1
x
y
z
e1
x1
x1
x
y
z
2.2
e1
h1
h2
x
y
z
e2
x
x
y
z
z
f2
g1
f1
g1
e2
f1
x
y
z
f2
e3
x
y
x
y
y
z
y
z
x
y
z
e3
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
e4
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
f1
g2
f2
g2
e4
g1
x1
g2
x1
g1
x1
g2
x1
x
y
z
e1
x1
x1
x
y
z
true
f2
g2
false
f1
g2
false
f2
g1
false
f1
g1
false
e4
g1
x1
g2
x1
g1
x1
g2
x1
x
y
z
e1
x1
x1
x
y
z
e3
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
e4
x1
x1
x2
x2
x3
x3
x4
x4
x
y
z
e2
f1
x
y
z
f2
e3
x
y
x
y
y
z
y
z
x
y
z
e1
h1
h2
x
y
z
e2
x
x
y
z
z
true
Failed!
NaTT
certifiable-1.6