t
N
cs
r
q
N
nt
ns
N
q
0
0
q
s
X
s
p
q
X
d
X
d
0
0
d
s
X
s
s
d
X
p
0
X
X
p
X
0
X
p
s
X
s
Y
s
s
p
X
Y
f
0
X
nil
f
s
X
cs
Y
Z
cs
Y
nf
X
a
Z
t
X
nt
X
s
X
ns
X
f
X1
X2
nf
X1
X2
a
nt
X
t
a
X
a
ns
X
s
a
X
a
nf
X1
X2
f
a
X1
a
X2
a
X
X
2.2
a
nt
X
a
X
d
s
X
d
X
q
s
X
d
X
a
nf
X1
X2
a
X2
q
s
X
p
q
X
d
X
q
s
X
q
X
t
N
q
N
a
nf
X1
X2
f
a
X1
a
X2
q
s
X
s
p
q
X
d
X
d
s
X
s
d
X
p
s
X
s
Y
p
X
Y
a
ns
X
a
X
p
s
X
s
Y
s
p
X
Y
f
s
X
cs
Y
Z
a
Z
a
nt
X
t
a
X
a
nf
X1
X2
a
X1
p
s
X
s
Y
s
s
p
X
Y
d
s
X
s
s
d
X
a
ns
X
s
a
X
true
a
nf
X1
X2
a
X1
f
s
X
cs
Y
Z
a
Z
a
nf
X1
X2
a
X2
a
ns
X
a
X
a
nf
X1
X2
f
a
X1
a
X2
a
nt
X
a
X
true
a
1
1
0
nf
2
1
2
28883
q
1
1
d
1
1
33215
s
1
1
0
r
1
1
0
t
1
1
18458
ns
1
1
0
p
2
0
cs
2
2
0
f
2
1
2
28883
p
2
21657
0
0
25908
s
1
0
nil
0
0
d
1
0
f
2
2
1
nt
1
1
18458
a
1
1
0
q
1
0
t
1
0
a
ns
X
a
X
d
0
0
a
ns
X
s
a
X
t
N
cs
r
q
N
nt
ns
N
a
nf
X1
X2
f
a
X1
a
X2
a
X
X
d
s
X
s
s
d
X
f
s
X
cs
Y
Z
cs
Y
nf
X
a
Z
a
nt
X
t
a
X
s
X
ns
X
t
X
nt
X
f
0
X
nil
f
X1
X2
nf
X1
X2
a
ns
X
a
X
true
a
1
1
2
nf
2
1
25074
q
1
1
d
1
1
s
1
0
r
1
1
0
t
1
1
24480
ns
1
1
1
p
2
0
cs
2
2
24480
f
2
1
2
25073
p
2
21657
0
0
25908
s
1
0
nil
0
50982
d
1
0
f
2
1
nt
1
1
a
1
1
0
q
1
0
t
1
0
a
X
X
a
nt
X
t
a
X
false
t
N
q
N
false
q
s
X
q
X
true
a
1
1
0
nf
2
1
25074
q
1
1
1
d
1
43324
s
1
1
1
r
1
1
0
t
1
1
24480
ns
1
1
2
p
2
0
cs
2
2
24480
f
2
2
25073
p
2
0
0
0
43325
s
1
0
nil
0
25074
d
1
0
f
2
1
nt
1
1
a
1
0
q
1
1
0
t
1
0
a
X
X
q
s
X
s
p
q
X
d
X
false
q
s
X
p
q
X
d
X
false
p
s
X
s
Y
p
X
Y
true
a
1
1
0
nf
2
1
25074
q
1
1
1
d
1
43324
s
1
1
1
r
1
1
0
t
1
1
24480
ns
1
1
2
p
2
1
0
cs
2
2
24480
f
2
2
25073
p
2
0
0
0
43325
s
1
0
nil
0
25074
d
1
0
f
2
1
nt
1
1
a
1
0
q
1
0
t
1
0
a
X
X
p
s
X
s
Y
s
s
p
X
Y
false
p
s
X
s
Y
s
p
X
Y
false
q
s
X
d
X
false
d
s
X
d
X
true
a
1
1
0
nf
2
1
25074
q
1
1
1
d
1
53793
s
1
1
1
r
1
1
0
t
1
1
49765
ns
1
2
p
2
0
cs
2
2
23929
f
2
2
25073
p
2
0
0
0
53794
s
1
0
nil
0
25074
d
1
1
0
f
2
1
nt
1
1
25835
a
1
0
q
1
0
t
1
0
a
X
X
d
s
X
s
s
d
X
false
d
s
X
s
d
X
false
a
ns
X
s
a
X
false
NaTT
certifiable-1.6