active
app
nil
YS
mark
YS
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
active
from
X
mark
cons
X
from
s
X
active
zWadr
nil
YS
mark
nil
active
zWadr
XS
nil
mark
nil
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
active
app
X1
X2
app
active
X1
X2
active
app
X1
X2
app
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
from
X
from
active
X
active
s
X
s
active
X
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
X1
X2
zWadr
X1
active
X2
active
prefix
X
prefix
active
X
app
mark
X1
X2
mark
app
X1
X2
app
X1
mark
X2
mark
app
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
from
mark
X
mark
from
X
s
mark
X
mark
s
X
zWadr
mark
X1
X2
mark
zWadr
X1
X2
zWadr
X1
mark
X2
mark
zWadr
X1
X2
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
s
X
s
proper
X
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
proper
prefix
X
prefix
proper
X
app
ok
X1
ok
X2
ok
app
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
ok
X
ok
s
X
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
app
cons
X
XS
YS
app
XS
YS
proper
from
X
proper
X
active
zWadr
X1
X2
active
X2
active
cons
X1
X2
cons
active
X1
X2
from
mark
X
from
X
proper
from
X
from
proper
X
s
ok
X
s
X
from
ok
X
from
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
from
X
cons
X
from
s
X
proper
cons
X1
X2
proper
X1
active
prefix
X
prefix
active
X
proper
s
X
s
proper
X
zWadr
ok
X1
ok
X2
zWadr
X1
X2
active
prefix
X
active
X
active
from
X
s
X
zWadr
X1
mark
X2
zWadr
X1
X2
zWadr
mark
X1
X2
zWadr
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
cons
X
nil
top
ok
X
top
active
X
active
zWadr
cons
X
XS
cons
Y
YS
cons
app
Y
cons
X
nil
zWadr
XS
YS
active
app
X1
X2
active
X1
prefix
mark
X
prefix
X
proper
app
X1
X2
proper
X2
cons
ok
X1
ok
X2
cons
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
app
Y
cons
X
nil
proper
prefix
X
proper
X
active
app
X1
X2
app
active
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
zWadr
XS
YS
proper
prefix
X
prefix
proper
X
app
mark
X1
X2
app
X1
X2
proper
cons
X1
X2
proper
X2
active
s
X
s
active
X
active
from
X
active
X
top
mark
X
top
proper
X
proper
s
X
proper
X
top
ok
X
active
X
active
prefix
L
cons
nil
zWadr
L
prefix
L
proper
zWadr
X1
X2
proper
X2
app
X1
mark
X2
app
X1
X2
active
zWadr
X1
X2
zWadr
X1
active
X2
proper
app
X1
X2
proper
X1
active
prefix
L
zWadr
L
prefix
L
app
ok
X1
ok
X2
app
X1
X2
cons
mark
X1
X2
cons
X1
X2
active
app
X1
X2
app
X1
active
X2
s
mark
X
s
X
active
from
X
from
active
X
active
s
X
active
X
active
cons
X1
X2
active
X1
proper
app
X1
X2
app
proper
X1
proper
X2
active
zWadr
X1
X2
active
X1
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
active
app
cons
X
XS
YS
cons
X
app
XS
YS
active
from
X
from
s
X
top
mark
X
proper
X
active
zWadr
X1
X2
zWadr
active
X1
X2
proper
zWadr
X1
X2
proper
X1
prefix
ok
X
prefix
X
active
app
X1
X2
active
X2
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
1
0
prefix
1
1
64283
zWadr
2
0
zWadr
2
1
2
2
proper
1
1
0
ok
1
1
0
from
1
1
49044
s
1
0
nil
0
15239
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
0
cons
2
1
49043
active
1
0
app
2
1
2
1
top
ok
X
top
active
X
cons
mark
X1
X2
mark
cons
X1
X2
active
zWadr
nil
YS
mark
nil
active
prefix
X
prefix
active
X
active
app
X1
X2
app
active
X1
X2
active
app
nil
YS
mark
YS
active
from
X
mark
cons
X
from
s
X
app
mark
X1
X2
mark
app
X1
X2
zWadr
mark
X1
X2
mark
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
from
mark
X
mark
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
app
X1
mark
X2
mark
app
X1
X2
proper
from
X
from
proper
X
s
ok
X
ok
s
X
zWadr
X1
mark
X2
mark
zWadr
X1
X2
proper
s
X
s
proper
X
active
zWadr
XS
nil
mark
nil
from
ok
X
ok
from
X
active
cons
X1
X2
cons
active
X1
X2
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
s
mark
X
mark
s
X
proper
nil
ok
nil
proper
prefix
X
prefix
proper
X
active
zWadr
X1
X2
zWadr
X1
active
X2
app
ok
X1
ok
X2
ok
app
X1
X2
active
s
X
s
active
X
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
active
from
X
from
active
X
active
app
X1
X2
app
X1
active
X2
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
top
ok
X
top
active
X
true
cons
2
0
s
1
1
6812
top
1
0
top
1
1
0
prefix
1
1
1
zWadr
2
0
zWadr
2
2
24324
proper
1
1
49760
ok
1
1
49760
from
1
1
0
s
1
0
nil
0
15240
mark
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
34837
cons
2
2
1
active
1
0
app
2
1
1
cons
mark
X1
X2
mark
cons
X1
X2
active
zWadr
nil
YS
mark
nil
active
prefix
X
prefix
active
X
active
app
X1
X2
app
active
X1
X2
active
app
nil
YS
mark
YS
active
from
X
mark
cons
X
from
s
X
app
mark
X1
X2
mark
app
X1
X2
zWadr
mark
X1
X2
mark
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
from
mark
X
mark
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
app
X1
mark
X2
mark
app
X1
X2
proper
from
X
from
proper
X
s
ok
X
ok
s
X
zWadr
X1
mark
X2
mark
zWadr
X1
X2
proper
s
X
s
proper
X
active
zWadr
XS
nil
mark
nil
from
ok
X
ok
from
X
active
cons
X1
X2
cons
active
X1
X2
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
s
mark
X
mark
s
X
proper
nil
ok
nil
proper
prefix
X
prefix
proper
X
active
zWadr
X1
X2
zWadr
X1
active
X2
app
ok
X1
ok
X2
ok
app
X1
X2
active
s
X
s
active
X
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
active
from
X
from
active
X
active
app
X1
X2
app
X1
active
X2
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
top
mark
X
proper
X
false
top
ok
X
active
X
false
proper
cons
X1
X2
proper
X2
proper
zWadr
X1
X2
proper
X1
proper
prefix
X
proper
X
proper
app
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
proper
app
X1
X2
proper
X1
proper
zWadr
X1
X2
proper
X2
proper
s
X
proper
X
proper
from
X
proper
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
1
0
prefix
1
1
32582
zWadr
2
0
zWadr
2
1
2
1
proper
1
1
0
ok
1
1
from
1
1
436
s
1
0
nil
0
1
mark
1
26815
prefix
1
0
app
2
0
proper
1
1
0
from
1
0
active
1
1
38803
cons
2
1
2
1
active
1
0
app
2
1
2
1
cons
mark
X1
X2
mark
cons
X1
X2
active
zWadr
nil
YS
mark
nil
active
prefix
X
prefix
active
X
active
app
X1
X2
app
active
X1
X2
active
app
nil
YS
mark
YS
active
from
X
mark
cons
X
from
s
X
app
mark
X1
X2
mark
app
X1
X2
zWadr
mark
X1
X2
mark
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
from
mark
X
mark
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
app
X1
mark
X2
mark
app
X1
X2
proper
from
X
from
proper
X
s
ok
X
ok
s
X
zWadr
X1
mark
X2
mark
zWadr
X1
X2
proper
s
X
s
proper
X
active
zWadr
XS
nil
mark
nil
from
ok
X
ok
from
X
active
cons
X1
X2
cons
active
X1
X2
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
s
mark
X
mark
s
X
proper
nil
ok
nil
proper
prefix
X
prefix
proper
X
active
zWadr
X1
X2
zWadr
X1
active
X2
app
ok
X1
ok
X2
ok
app
X1
X2
active
s
X
s
active
X
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
active
from
X
from
active
X
active
app
X1
X2
app
X1
active
X2
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
false
proper
app
X1
X2
app
proper
X1
proper
X2
false
proper
prefix
X
prefix
proper
X
false
proper
s
X
s
proper
X
false
proper
from
X
from
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
active
app
X1
X2
active
X2
active
zWadr
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
app
X1
X2
active
X1
active
s
X
active
X
active
prefix
X
active
X
active
zWadr
X1
X2
active
X2
active
from
X
active
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
1
0
prefix
1
1
30808
zWadr
2
0
zWadr
2
1
2
1
proper
1
1
0
ok
1
1
from
1
1
1
s
1
0
nil
0
1
mark
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
1
0
app
2
1
2
1
cons
mark
X1
X2
mark
cons
X1
X2
active
zWadr
nil
YS
mark
nil
active
prefix
X
prefix
active
X
active
app
X1
X2
app
active
X1
X2
active
app
nil
YS
mark
YS
active
from
X
mark
cons
X
from
s
X
app
mark
X1
X2
mark
app
X1
X2
zWadr
mark
X1
X2
mark
zWadr
X1
X2
prefix
ok
X
ok
prefix
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
from
mark
X
mark
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
app
X1
mark
X2
mark
app
X1
X2
proper
from
X
from
proper
X
s
ok
X
ok
s
X
zWadr
X1
mark
X2
mark
zWadr
X1
X2
proper
s
X
s
proper
X
active
zWadr
XS
nil
mark
nil
from
ok
X
ok
from
X
active
cons
X1
X2
cons
active
X1
X2
active
prefix
L
mark
cons
nil
zWadr
L
prefix
L
s
mark
X
mark
s
X
proper
nil
ok
nil
proper
prefix
X
prefix
proper
X
active
zWadr
X1
X2
zWadr
X1
active
X2
app
ok
X1
ok
X2
ok
app
X1
X2
active
s
X
s
active
X
prefix
mark
X
mark
prefix
X
proper
app
X1
X2
app
proper
X1
proper
X2
active
from
X
from
active
X
active
app
X1
X2
app
X1
active
X2
active
zWadr
X1
X2
zWadr
active
X1
X2
active
zWadr
cons
X
XS
cons
Y
YS
mark
cons
app
Y
cons
X
nil
zWadr
XS
YS
zWadr
ok
X1
ok
X2
ok
zWadr
X1
X2
proper
zWadr
X1
X2
zWadr
proper
X1
proper
X2
active
app
cons
X
XS
YS
mark
cons
X
app
XS
YS
active
app
cons
X
XS
YS
cons
X
app
XS
YS
false
active
app
cons
X
XS
YS
app
XS
YS
false
active
zWadr
cons
X
XS
cons
Y
YS
cons
app
Y
cons
X
nil
zWadr
XS
YS
false
active
zWadr
cons
X
XS
cons
Y
YS
app
Y
cons
X
nil
false
active
zWadr
cons
X
XS
cons
Y
YS
cons
X
nil
false
active
zWadr
cons
X
XS
cons
Y
YS
zWadr
XS
YS
false
active
zWadr
X1
X2
zWadr
active
X1
X2
false
active
app
X1
X2
app
X1
active
X2
false
active
from
X
from
active
X
false
active
s
X
s
active
X
false
active
zWadr
X1
X2
zWadr
X1
active
X2
false
active
prefix
L
cons
nil
zWadr
L
prefix
L
false
active
prefix
L
zWadr
L
prefix
L
false
zWadr
mark
X1
X2
zWadr
X1
X2
zWadr
X1
mark
X2
zWadr
X1
X2
zWadr
ok
X1
ok
X2
zWadr
X1
X2
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
32797
zWadr
2
1
0
zWadr
2
2
0
proper
1
32798
ok
1
1
4
from
1
1
0
s
1
0
nil
0
32796
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
32796
cons
2
1
0
active
1
0
app
2
1
0
zWadr
X1
mark
X2
zWadr
X1
X2
zWadr
X1
mark
X2
zWadr
X1
X2
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
2
0
zWadr
2
2
0
proper
1
2
ok
1
1
1
from
1
1
0
s
1
0
nil
0
6390
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
active
cons
X1
X2
cons
active
X1
X2
false
active
from
X
cons
X
from
s
X
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
0
zWadr
2
2
0
proper
1
2
ok
1
1
20039
from
1
1
0
s
1
0
nil
0
6168
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
active
from
X
from
s
X
false
from
ok
X
from
X
from
mark
X
from
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
0
zWadr
2
2
0
proper
1
2
ok
1
1
1
from
1
1
0
s
1
0
nil
0
2
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
active
from
X
s
X
false
s
mark
X
s
X
s
ok
X
s
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
0
zWadr
2
2
0
proper
1
2
ok
1
1
5360
from
1
1
0
s
1
1
0
nil
0
570
mark
1
1
1
prefix
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
active
app
X1
X2
app
active
X1
X2
false
app
mark
X1
X2
app
X1
X2
app
ok
X1
ok
X2
app
X1
X2
app
X1
mark
X2
app
X1
X2
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
0
zWadr
2
2
0
proper
1
2
ok
1
1
1
from
1
1
0
s
1
0
nil
0
570
mark
1
1
1
prefix
1
0
app
2
1
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
active
prefix
X
prefix
active
X
false
prefix
ok
X
prefix
X
prefix
mark
X
prefix
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
0
prefix
1
2
zWadr
2
0
zWadr
2
2
0
proper
1
191
ok
1
1
1
from
1
1
0
s
1
0
nil
0
570
mark
1
1
1
prefix
1
1
0
app
2
0
proper
1
0
from
1
0
active
1
1
cons
2
1
0
active
1
0
app
2
1
0
NaTT
certifiable-1.6