f
g
x
x
a
f
g
x
y
h
y
f
g
x
f
yz
k
f
g
x
y
f
g
x
z
h
x
a
f
g
x
y
a
k
a
a
a
2.1
true
f
g
x
y
h
y
f
g
x
y
f
g
x
y
h
y
h
y
f
g
x
x
a
f
g
x
x
f
g
x
x
a
a
h
x
a
h
x
f
g
x
y
h
y
f
g
x
x
f
g
x
x
a
a
f
g
x
y
a
f
g
x
y
f
g
x
y
h
y
h
y
h
x
a
a
f
g
x
f
yz
k
f
g
x
y
f
g
x
z
f
g
x
f
yz
f
g
x
f
yz
k
f
g
x
y
f
g
x
z
k
f
g
x
y
f
g
x
z
h
f
yz
k
f
g
x
y
f
g
x
z
h
f
yz
f
g
x
y
h
y
f
g
x
f
yz
f
g
x
f
yz
k
f
g
x
y
f
g
x
z
k
f
g
x
y
f
g
x
z
h
f
yz
k
h
y
f
g
x
z
h
f
yz
h
f
yz
k
f
g
x
y
f
g
x
z
k
f
g
x
y
f
g
x
z
1
f
g
x
y
h
y
k
h
y
f
g
x
z
h
f
yz
k
h
y
h
z
h
f
yz
h
f
yz
k
h
y
f
g
x
z
k
h
y
f
g
x
z
2
f
g
x
y
h
y
k
h
y
h
z
a
k
h
y
h
z
a
h
x
a
h
f
yz
h
f
yz
k
h
y
h
z
k
h
y
h
z
a
k
a
h
z
a
a
k
h
y
h
z
k
h
y
h
z
1
h
x
a
k
a
h
z
k
a
a
a
k
a
a
2
h
x
a
k
a
h
z
a
k
a
h
z
a
kbcv2.0.0.0