f
j
x
y
y
g
f
x
k
y
f
x
h1
y
z
h2
0
x
h1
y
z
g
h2
x
y
h1
z
u
h2
s
x
y
h1
z
u
h2
x
j
y
h1
z
u
h1
z
u
h2
s
x
y
h1
s
z
u
i
f
x
h
y
y
i
h2
s
x
y
h1
x
z
z
k
h
x
h1
0
x
k
h1
x
y
h1
s
x
y
2.2
g
h2
x
y
h1
z
u
h2
s
x
y
h1
z
u
h2
x
j
y
h1
z
u
h1
z
u
h2
s
x
y
h1
s
z
u
f
j
x
y
y
k
y
f
j
x
y
y
g
f
x
k
y
f
x
h1
y
z
h2
0
x
h1
y
z
f
j
x
y
y
f
x
k
y
true
f
j
x
y
y
f
x
k
y
true
h
1
1
s
1
1
k
1
28959
h2
3
0
f
2
0
0
0
28958
k
1
0
f
2
1
2
0
g
1
0
j
2
1
28960
h1
2
1
1
i
1
0
h2
3
0
g
1
0
i
1
0
k
h1
x
y
h1
s
x
y
k
h
x
h1
0
x
f
x
h1
y
z
h2
0
x
h1
y
z
false
f
j
x
y
y
g
f
x
k
y
false
f
j
x
y
y
k
y
false
g
h2
x
y
h1
z
u
h2
s
x
y
h1
z
u
false
h2
x
j
y
h1
z
u
h1
z
u
h2
s
x
y
h1
s
z
u
true
h
1
1
s
1
1
k
1
28959
h2
3
1
2
3
0
f
2
0
0
0
28958
k
1
0
f
2
2
0
g
1
0
j
2
1
2
2
h1
2
1
1
i
1
0
h2
3
0
g
1
0
i
1
0
k
h1
x
y
h1
s
x
y
k
h
x
h1
0
x
NaTT
certifiable-1.6