active
nats
mark
adx
zeros
active
zeros
mark
cons
0
zeros
active
incr
cons
X
Y
mark
cons
s
X
incr
Y
active
adx
cons
X
Y
mark
incr
cons
X
adx
Y
active
hd
cons
X
Y
mark
X
active
tl
cons
X
Y
mark
Y
active
adx
X
adx
active
X
active
incr
X
incr
active
X
active
hd
X
hd
active
X
active
tl
X
tl
active
X
adx
mark
X
mark
adx
X
incr
mark
X
mark
incr
X
hd
mark
X
mark
hd
X
tl
mark
X
mark
tl
X
proper
nats
ok
nats
proper
adx
X
adx
proper
X
proper
zeros
ok
zeros
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
0
ok
0
proper
incr
X
incr
proper
X
proper
s
X
s
proper
X
proper
hd
X
hd
proper
X
proper
tl
X
tl
proper
X
adx
ok
X
ok
adx
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
incr
ok
X
ok
incr
X
s
ok
X
ok
s
X
hd
ok
X
ok
hd
X
tl
ok
X
ok
tl
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
tl
ok
X
tl
X
proper
cons
X1
X2
proper
X2
proper
s
X
proper
X
active
nats
adx
zeros
proper
cons
X1
X2
proper
X1
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
incr
X
active
X
active
adx
cons
X
Y
incr
cons
X
adx
Y
adx
mark
X
adx
X
active
adx
cons
X
Y
adx
Y
tl
mark
X
tl
X
proper
tl
X
proper
X
top
ok
X
top
active
X
proper
hd
X
hd
proper
X
hd
ok
X
hd
X
top
ok
X
active
X
proper
adx
X
proper
X
top
mark
X
top
proper
X
proper
adx
X
adx
proper
X
proper
hd
X
proper
X
active
adx
X
active
X
adx
ok
X
adx
X
active
adx
cons
X
Y
cons
X
adx
Y
incr
mark
X
incr
X
active
incr
cons
X
Y
s
X
active
hd
X
active
X
proper
s
X
s
proper
X
active
tl
X
active
X
active
incr
cons
X
Y
incr
Y
incr
ok
X
incr
X
proper
incr
X
incr
proper
X
active
incr
cons
X
Y
cons
s
X
incr
Y
active
adx
X
adx
active
X
s
ok
X
s
X
active
incr
X
incr
active
X
active
tl
X
tl
active
X
cons
ok
X1
ok
X2
cons
X1
X2
hd
mark
X
hd
X
active
zeros
cons
0
zeros
proper
tl
X
tl
proper
X
top
mark
X
proper
X
active
hd
X
hd
active
X
proper
incr
X
proper
X
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
1
top
1
1
tl
1
1
proper
1
1
ok
1
1
active
1
1
adx
1
0
incr
1
2
1
hd
1
6
1
cons
2
0
s
1
2
adx
1
3
1
zeros
0
4
0
0
4
s
1
0
tl
1
6
1
mark
1
1
1
incr
1
0
proper
1
0
hd
1
0
nats
0
7
cons
2
3
active
1
0
adx
1
1
incr
1
1
0
hd
1
1
1
cons
2
2
1
s
1
0
adx
1
1
1
zeros
0
0
0
0
0
s
1
1
tl
1
1
35495
mark
1
1
0
incr
1
1
proper
1
1
hd
1
1
nats
0
1
cons
2
1
2
0
active
1
1
top
ok
X
top
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
adx
cons
X
Y
mark
incr
cons
X
adx
Y
proper
nats
ok
nats
active
incr
X
incr
active
X
active
nats
mark
adx
zeros
active
incr
cons
X
Y
mark
cons
s
X
incr
Y
proper
adx
X
adx
proper
X
proper
s
X
s
proper
X
incr
ok
X
ok
incr
X
proper
0
ok
0
proper
zeros
ok
zeros
s
ok
X
ok
s
X
proper
hd
X
hd
proper
X
hd
ok
X
ok
hd
X
active
hd
cons
X
Y
mark
X
active
tl
X
tl
active
X
active
adx
X
adx
active
X
proper
incr
X
incr
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
tl
mark
X
mark
tl
X
incr
mark
X
mark
incr
X
proper
tl
X
tl
proper
X
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
hd
X
hd
active
X
hd
mark
X
mark
hd
X
active
tl
cons
X
Y
mark
Y
tl
ok
X
ok
tl
X
active
zeros
mark
cons
0
zeros
top
ok
X
top
active
X
true
adx
1
0
incr
1
1
0
hd
1
1
0
cons
2
0
s
1
2
top
1
0
top
1
1
0
adx
1
1
0
zeros
0
1
tl
1
0
proper
1
2
ok
1
2
0
0
1
s
1
0
tl
1
1
0
mark
1
1
incr
1
0
proper
1
0
hd
1
0
nats
0
1
active
1
1
cons
2
2
active
1
0
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
adx
cons
X
Y
mark
incr
cons
X
adx
Y
proper
nats
ok
nats
active
incr
X
incr
active
X
active
nats
mark
adx
zeros
active
incr
cons
X
Y
mark
cons
s
X
incr
Y
proper
adx
X
adx
proper
X
proper
s
X
s
proper
X
incr
ok
X
ok
incr
X
proper
0
ok
0
proper
zeros
ok
zeros
s
ok
X
ok
s
X
proper
hd
X
hd
proper
X
hd
ok
X
ok
hd
X
active
hd
cons
X
Y
mark
X
active
tl
X
tl
active
X
active
adx
X
adx
active
X
proper
incr
X
incr
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
tl
mark
X
mark
tl
X
incr
mark
X
mark
incr
X
proper
tl
X
tl
proper
X
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
hd
X
hd
active
X
hd
mark
X
mark
hd
X
active
tl
cons
X
Y
mark
Y
tl
ok
X
ok
tl
X
active
zeros
mark
cons
0
zeros
top
ok
X
active
X
false
top
mark
X
proper
X
false
proper
incr
X
proper
X
proper
hd
X
proper
X
proper
adx
X
proper
X
proper
tl
X
proper
X
proper
cons
X1
X2
proper
X1
proper
s
X
proper
X
proper
cons
X1
X2
proper
X2
true
adx
1
0
incr
1
1
1
hd
1
1
1
cons
2
0
s
1
1
1
top
1
0
top
1
0
adx
1
1
1
zeros
0
1
tl
1
0
proper
1
14522
ok
1
14523
0
0
2805
s
1
0
tl
1
1
1
mark
1
49472
incr
1
0
proper
1
1
0
hd
1
0
nats
0
1
active
1
49471
cons
2
1
2
3024
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
proper
tl
X
tl
proper
X
false
proper
incr
X
incr
proper
X
false
proper
hd
X
hd
proper
X
false
proper
s
X
s
proper
X
false
proper
adx
X
adx
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
active
tl
X
active
X
active
hd
X
active
X
active
incr
X
active
X
active
adx
X
active
X
true
adx
1
0
incr
1
1
1
hd
1
1
1
cons
2
0
s
1
1
11575
top
1
0
top
1
0
adx
1
1
1
zeros
0
1
tl
1
0
proper
1
1
ok
1
2
0
0
1
s
1
0
tl
1
1
1
mark
1
2
incr
1
0
proper
1
0
hd
1
0
nats
0
1
active
1
1
cons
2
1
2
1
active
1
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
zeros
cons
0
zeros
false
active
hd
X
hd
active
X
false
hd
ok
X
hd
X
hd
mark
X
hd
X
true
adx
1
0
incr
1
1
1
hd
1
1
1
cons
2
0
s
1
1
16266
top
1
0
top
1
0
adx
1
1
24324
zeros
0
14923
tl
1
0
proper
1
1
ok
1
1
2
0
0
47966
s
1
0
tl
1
1
6812
mark
1
1
12064
incr
1
0
proper
1
0
hd
1
1
0
nats
0
0
active
1
1
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
adx
X
adx
active
X
false
active
tl
X
tl
active
X
false
tl
mark
X
tl
X
tl
ok
X
tl
X
true
adx
1
0
incr
1
1
1
hd
1
1
15047
cons
2
0
s
1
1
25532
top
1
0
top
1
0
adx
1
1
1
zeros
0
47040
tl
1
1
0
proper
1
61407
ok
1
1
61408
0
0
1
s
1
0
tl
1
1
26531
mark
1
1
12064
incr
1
0
proper
1
0
hd
1
0
nats
0
0
active
1
1
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
incr
cons
X
Y
cons
s
X
incr
Y
false
active
incr
cons
X
Y
s
X
false
s
ok
X
s
X
true
adx
1
0
incr
1
1
1
hd
1
1
15047
cons
2
0
s
1
1
9245
top
1
0
top
1
0
adx
1
1
1
zeros
0
13825
tl
1
0
proper
1
1
ok
1
1
3
0
0
40748
s
1
1
0
tl
1
1
1
mark
1
1
72167
incr
1
0
proper
1
0
hd
1
0
nats
0
0
active
1
60104
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
incr
cons
X
Y
incr
Y
false
active
nats
adx
zeros
false
active
incr
X
incr
active
X
false
active
adx
cons
X
Y
incr
cons
X
adx
Y
false
incr
ok
X
incr
X
incr
mark
X
incr
X
true
adx
1
0
incr
1
1
1
hd
1
1
10114
cons
2
0
s
1
9246
top
1
0
top
1
0
adx
1
1
1184
zeros
0
1
tl
1
0
proper
1
1
ok
1
1
2
0
0
29503
s
1
0
tl
1
1
1
mark
1
1
12064
incr
1
1
0
proper
1
0
hd
1
0
nats
0
0
active
1
1
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
adx
cons
X
Y
cons
X
adx
Y
false
cons
ok
X1
ok
X2
cons
X1
X2
true
adx
1
0
incr
1
1
1
hd
1
1
10114
cons
2
1
0
s
1
2
top
1
0
top
1
0
adx
1
1
1
zeros
0
1
tl
1
0
proper
1
1
ok
1
1
2
0
0
57122
s
1
0
tl
1
1
1
mark
1
1
28256
incr
1
0
proper
1
0
hd
1
0
nats
0
0
active
1
1
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
active
adx
cons
X
Y
adx
Y
false
adx
mark
X
adx
X
adx
ok
X
adx
X
true
adx
1
1
0
incr
1
1
1
hd
1
1
32157
cons
2
0
s
1
2
top
1
0
top
1
0
adx
1
1
19912
zeros
0
1
tl
1
0
proper
1
1
ok
1
1
13477
0
0
1
s
1
0
tl
1
1
6437
mark
1
1
28256
incr
1
0
proper
1
0
hd
1
0
nats
0
0
active
1
1
cons
2
1
2
0
active
1
0
cons
ok
X1
ok
X2
ok
cons
X1
X2
adx
ok
X
ok
adx
X
adx
mark
X
mark
adx
X
NaTT
certifiable-1.6