g
s
x
s
y
if
and
f
s
x
f
s
y
t
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
g
minus
m
x
y
n
x
y
n
s
x
s
y
n
0
y
0
n
x
0
0
n
s
x
s
y
s
n
x
y
m
0
y
y
m
x
0
x
m
s
x
s
y
s
m
x
y
k
0
s
y
0
k
s
x
s
y
s
k
minus
x
y
s
y
t
x
p
x
x
p
s
x
s
y
s
s
p
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
p
s
x
x
p
if
gt
x
x
id
x
id
x
s
x
p
0
y
y
p
id
x
s
y
s
p
x
if
gt
s
y
y
y
s
y
minus
x
0
x
minus
s
x
s
y
minus
x
y
id
x
x
if
true
x
y
x
if
false
x
y
y
not
x
if
x
false
true
and
x
false
false
and
true
true
true
f
0
true
f
s
x
h
x
h
0
false
h
s
x
f
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
2.2
k
s
x
s
y
k
minus
x
y
s
y
n
s
x
s
y
n
x
y
g
s
x
s
y
f
s
y
g
s
x
s
y
n
x
y
g
s
x
s
y
n
s
x
s
y
g
s
x
s
y
n
x
y
g
s
x
s
y
n
s
x
s
y
g
s
x
s
y
g
minus
m
x
y
n
x
y
n
s
x
s
y
p
s
x
s
y
gt
x
y
g
s
x
s
y
m
x
y
p
s
x
x
p
if
gt
x
x
id
x
id
x
s
x
p
s
x
s
y
gt
x
y
p
s
x
s
y
id
y
h
s
x
f
x
t
x
p
x
x
f
s
x
h
x
g
s
x
s
y
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
p
s
x
x
if
gt
x
x
id
x
id
x
g
s
x
s
y
t
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
minus
s
x
s
y
minus
x
y
p
id
x
s
y
gt
s
y
y
p
s
x
s
y
if
not
gt
x
y
id
x
id
y
g
s
x
s
y
minus
m
x
y
n
x
y
p
s
x
s
y
id
x
g
s
x
s
y
minus
m
x
y
n
x
y
p
s
x
s
y
if
gt
x
y
x
y
g
s
x
s
y
f
s
x
m
s
x
s
y
m
x
y
g
s
x
s
y
m
x
y
g
s
x
s
y
and
f
s
x
f
s
y
p
s
x
x
id
x
g
s
x
s
y
k
minus
m
x
y
n
x
y
s
s
0
p
id
x
s
y
if
gt
s
y
y
y
s
y
g
s
x
s
y
if
and
f
s
x
f
s
y
t
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
g
minus
m
x
y
n
x
y
n
s
x
s
y
g
s
x
s
y
k
n
s
x
s
y
s
s
0
not
x
if
x
false
true
p
s
x
x
id
x
k
s
x
s
y
minus
x
y
gt
s
x
s
y
gt
x
y
p
s
x
s
y
not
gt
x
y
p
s
x
x
gt
x
x
p
s
x
s
y
p
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
true
g
s
x
s
y
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
g
s
x
s
y
g
minus
m
x
y
n
x
y
n
s
x
s
y
true
h
1
0
s
1
1
12461
n
2
1
12457
0
gt
2
0
minus
2
1
0
0
and
2
0
k
2
1
1
0
t
1
0
false
0
0
id
1
0
p
2
0
true
0
0
f
1
0
not
1
0
p
2
0
if
3
0
0
0
4620
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
1
20205
2
7746
0
minus
2
0
if
3
0
id
1
0
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
0
m
2
1
3
2
1
0
g
s
x
s
y
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
n
s
x
s
y
s
n
x
y
minus
x
0
x
k
0
s
y
0
n
x
0
0
minus
s
x
s
y
minus
x
y
m
0
y
y
m
s
x
s
y
s
m
x
y
k
s
x
s
y
s
k
minus
x
y
s
y
m
x
0
x
n
0
y
0
g
s
x
s
y
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
true
h
1
0
s
1
1
37900
n
2
1
1
0
gt
2
0
minus
2
1
0
0
and
2
0
k
2
1
1
0
t
1
0
false
0
0
id
1
0
p
2
0
true
0
0
f
1
0
not
1
0
p
2
0
if
3
0
0
0
1
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
1
23982
2
23979
0
minus
2
0
if
3
0
id
1
0
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
0
m
2
1
37895
2
37894
0
n
s
x
s
y
s
n
x
y
minus
x
0
x
k
0
s
y
0
n
x
0
0
minus
s
x
s
y
minus
x
y
m
0
y
y
m
s
x
s
y
s
m
x
y
k
s
x
s
y
s
k
minus
x
y
s
y
m
x
0
x
n
0
y
0
g
s
x
s
y
if
and
f
s
x
f
s
y
t
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
g
minus
m
x
y
n
x
y
n
s
x
s
y
false
g
s
x
s
y
and
f
s
x
f
s
y
false
g
s
x
s
y
t
g
k
minus
m
x
y
n
x
y
s
s
0
k
n
s
x
s
y
s
s
0
false
t
x
p
x
x
false
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
p
s
x
s
y
p
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
p
s
x
x
p
if
gt
x
x
id
x
id
x
s
x
true
h
1
0
s
1
1
3
n
2
1
1
0
gt
2
0
minus
2
1
0
0
and
2
0
k
2
1
1
0
t
1
0
false
0
0
id
1
0
p
2
1
17900
2
17897
0
true
0
0
f
1
0
not
1
0
p
2
0
if
3
1
1
2
1
3
0
0
0
0
1
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
1
23982
2
23979
0
minus
2
0
if
3
0
id
1
1
1
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
1
5
m
2
1
2
2
1
0
p
s
x
s
y
p
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
if
true
x
y
x
n
s
x
s
y
s
n
x
y
minus
x
0
x
k
0
s
y
0
n
x
0
0
minus
s
x
s
y
minus
x
y
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
m
0
y
y
m
s
x
s
y
s
m
x
y
not
x
if
x
false
true
k
s
x
s
y
s
k
minus
x
y
s
y
m
x
0
x
gt
s
x
s
y
gt
x
y
n
0
y
0
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
p
s
x
s
y
p
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
true
h
1
0
s
1
1
4
n
2
1
1
0
gt
2
0
minus
2
1
0
0
and
2
0
k
2
1
1
0
t
1
0
false
0
0
id
1
0
p
2
1
28938
2
28940
0
true
0
0
f
1
0
not
1
0
p
2
0
if
3
1
1
2
1
3
0
0
0
0
1
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
1
23982
2
23979
0
minus
2
0
if
3
0
id
1
1
0
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
1
2
m
2
1
2
2
1
0
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
if
true
x
y
x
n
s
x
s
y
s
n
x
y
minus
x
0
x
k
0
s
y
0
n
x
0
0
minus
s
x
s
y
minus
x
y
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
m
0
y
y
m
s
x
s
y
s
m
x
y
not
x
if
x
false
true
k
s
x
s
y
s
k
minus
x
y
s
y
m
x
0
x
gt
s
x
s
y
gt
x
y
n
0
y
0
p
id
x
s
y
p
x
if
gt
s
y
y
y
s
y
true
h
1
0
s
1
3
n
2
1
gt
2
1
minus
2
1
and
2
0
k
2
2
t
1
0
false
0
1
id
1
0
p
2
1
0
true
0
1
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
2
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
0
m
2
1
if
true
x
y
x
k
0
s
y
0
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
p
s
x
s
y
gt
x
y
false
p
s
x
s
y
not
gt
x
y
false
not
x
if
x
false
true
false
p
s
x
s
y
gt
x
y
false
p
s
x
s
y
id
y
false
p
s
x
x
if
gt
x
x
id
x
id
x
false
p
s
x
x
gt
x
x
false
p
s
x
x
id
x
false
p
s
x
x
id
x
false
p
id
x
s
y
if
gt
s
y
y
y
s
y
false
g
s
x
s
y
k
minus
m
x
y
n
x
y
s
s
0
false
g
s
x
s
y
k
n
s
x
s
y
s
s
0
false
g
s
x
s
y
m
x
y
false
g
s
x
s
y
m
x
y
false
m
s
x
s
y
m
x
y
true
h
1
0
s
1
1
1
n
2
11820
gt
2
23505
minus
2
1
and
2
0
k
2
11821
t
1
0
false
0
23505
id
1
0
p
2
1
0
true
0
2805
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
11821
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
1
0
g
2
0
and
2
0
not
1
26309
m
2
4187
if
true
x
y
x
k
0
s
y
0
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
g
s
x
s
y
f
s
x
false
p
s
x
s
y
if
gt
x
y
x
y
false
g
s
x
s
y
n
s
x
s
y
false
g
s
x
s
y
minus
m
x
y
n
x
y
false
g
s
x
s
y
n
x
y
false
g
s
x
s
y
n
s
x
s
y
false
p
s
x
s
y
id
x
false
g
s
x
s
y
minus
m
x
y
n
x
y
false
p
s
x
s
y
if
not
gt
x
y
id
x
id
y
false
g
s
x
s
y
n
x
y
false
g
s
x
s
y
f
s
y
false
f
s
x
h
x
h
s
x
f
x
true
h
1
0
s
1
1
1
n
2
32968
gt
2
1
minus
2
1
and
2
0
k
2
32969
t
1
0
false
0
1
id
1
0
p
2
1
0
true
0
1
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
32969
h
1
1
0
k
2
0
gt
2
0
f
1
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
1
m
2
42004
if
true
x
y
x
k
0
s
y
0
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
n
s
x
s
y
n
x
y
true
h
1
0
s
1
1
1
n
2
7690
gt
2
1
minus
2
1
and
2
0
k
2
7691
t
1
0
false
0
1
id
1
0
p
2
1
0
true
0
1
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
7691
h
1
0
k
2
0
gt
2
0
f
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
1
0
m
2
0
g
2
0
and
2
0
not
1
1
m
2
42004
if
true
x
y
x
k
0
s
y
0
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
k
s
x
s
y
k
minus
x
y
s
y
true
h
1
0
s
1
1
24169
n
2
1
gt
2
1
minus
2
1
24168
and
2
0
k
2
23638
t
1
0
false
0
1
id
1
0
p
2
1
0
true
0
1
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
23638
h
1
0
k
2
1
0
gt
2
0
f
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
0
m
2
43486
if
true
x
y
x
minus
x
0
x
k
0
s
y
0
minus
s
x
s
y
minus
x
y
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
k
s
x
s
y
minus
x
y
false
minus
s
x
s
y
minus
x
y
true
h
1
0
s
1
1
1
n
2
35475
gt
2
31135
minus
2
1
24168
and
2
0
k
2
35476
t
1
0
false
0
31135
id
1
0
p
2
1
0
true
0
14923
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
35476
h
1
0
k
2
1
0
gt
2
0
f
1
0
g
2
0
minus
2
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
46057
m
2
43486
if
true
x
y
x
minus
x
0
x
k
0
s
y
0
minus
s
x
s
y
minus
x
y
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
p
id
x
s
y
gt
s
y
y
false
gt
s
x
s
y
gt
x
y
true
h
1
0
s
1
1
1
n
2
35475
gt
2
14923
minus
2
1
24168
and
2
0
k
2
35476
t
1
0
false
0
120
id
1
0
p
2
1
0
true
0
14923
f
1
0
not
1
0
p
2
0
if
3
2
3
0
0
0
35476
h
1
0
k
2
1
0
gt
2
2
0
f
1
0
g
2
0
minus
2
0
if
3
0
id
1
1
28872
t
1
0
n
2
0
m
2
0
g
2
0
and
2
0
not
1
15042
m
2
43486
if
true
x
y
x
minus
x
0
x
k
0
s
y
0
minus
s
x
s
y
minus
x
y
if
false
x
y
y
id
x
x
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
NaTT
certifiable-1.6