active
incr
nil
mark
nil
active
incr
cons
X
L
mark
cons
s
X
incr
L
active
adx
nil
mark
nil
active
adx
cons
X
L
mark
incr
cons
X
adx
L
active
nats
mark
adx
zeros
active
zeros
mark
cons
0
zeros
active
head
cons
X
L
mark
X
active
tail
cons
X
L
mark
L
mark
incr
X
active
incr
mark
X
mark
nil
active
nil
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
adx
X
active
adx
mark
X
mark
nats
active
nats
mark
zeros
active
zeros
mark
0
active
0
mark
head
X
active
head
mark
X
mark
tail
X
active
tail
mark
X
incr
mark
X
incr
X
incr
active
X
incr
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
adx
mark
X
adx
X
adx
active
X
adx
X
head
mark
X
head
X
head
active
X
head
X
tail
mark
X
tail
X
tail
active
X
tail
X
2.2
active
incr
cons
X
L
cons
s
X
incr
L
active
incr
nil
mark
nil
active
nats
mark
adx
zeros
mark
head
X
head
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
active
adx
nil
mark
nil
mark
0
active
0
tail
active
X
tail
X
active
adx
cons
X
L
incr
cons
X
adx
L
active
adx
cons
X
L
cons
X
adx
L
incr
mark
X
incr
X
active
zeros
mark
cons
0
zeros
cons
mark
X1
X2
cons
X1
X2
mark
tail
X
tail
mark
X
mark
incr
X
mark
X
mark
adx
X
adx
mark
X
mark
incr
X
active
incr
mark
X
head
active
X
head
X
mark
nats
active
nats
mark
zeros
active
zeros
mark
incr
X
incr
mark
X
adx
active
X
adx
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
nats
adx
zeros
mark
tail
X
mark
X
active
adx
cons
X
L
adx
L
s
mark
X
s
X
mark
s
X
s
mark
X
active
zeros
cons
0
zeros
s
active
X
s
X
mark
adx
X
mark
X
adx
mark
X
adx
X
head
mark
X
head
X
active
tail
cons
X
L
mark
L
mark
nil
active
nil
tail
mark
X
tail
X
mark
head
X
active
head
mark
X
active
head
cons
X
L
mark
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
mark
s
X
active
s
mark
X
incr
active
X
incr
X
mark
head
X
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
active
incr
cons
X
L
s
X
active
incr
cons
X
L
mark
cons
s
X
incr
L
mark
adx
X
active
adx
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
active
incr
cons
X
L
incr
L
mark
tail
X
active
tail
mark
X
cons
active
X1
X2
cons
X1
X2
true
mark
tail
X
active
tail
mark
X
mark
tail
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
adx
X
active
adx
mark
X
mark
zeros
active
zeros
active
incr
cons
X
L
mark
cons
s
X
incr
L
mark
nats
active
nats
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
head
X
mark
X
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
s
X
active
s
mark
X
active
zeros
mark
cons
0
zeros
active
head
cons
X
L
mark
X
mark
head
X
active
head
mark
X
active
tail
cons
X
L
mark
L
mark
adx
X
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
active
nats
mark
adx
zeros
true
adx
1
0
incr
1
1
0
cons
2
0
s
1
1
0
head
1
0
adx
1
1
1
zeros
0
1
tail
1
1
1
mark
1
1
0
0
0
0
s
1
0
nil
0
1
tail
1
0
mark
1
1
0
incr
1
0
nats
0
3
active
1
1
0
head
1
1
1
cons
2
1
2
0
active
1
1
0
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
head
X
active
head
mark
X
active
zeros
mark
cons
0
zeros
mark
s
X
active
s
mark
X
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
nats
active
nats
active
incr
cons
X
L
mark
cons
s
X
incr
L
mark
zeros
active
zeros
mark
adx
X
active
adx
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
tail
X
active
tail
mark
X
mark
tail
X
active
tail
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
zeros
active
zeros
active
tail
cons
X
L
mark
L
active
incr
nil
mark
nil
active
adx
nil
mark
nil
mark
0
active
0
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
mark
head
X
active
head
mark
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
active
nats
mark
adx
zeros
mark
nil
active
nil
active
head
cons
X
L
mark
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
mark
nats
active
nats
tail
mark
X
tail
X
mark
s
X
active
s
mark
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
incr
X
active
incr
mark
X
mark
adx
X
active
adx
mark
X
active
zeros
mark
cons
0
zeros
head
mark
X
head
X
active
incr
cons
X
L
mark
cons
s
X
incr
L
mark
tail
X
active
tail
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
zeros
active
zeros
mark
head
X
active
head
mark
X
mark
s
X
mark
X
mark
s
X
active
s
mark
X
mark
cons
X1
X2
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
adx
X
active
adx
mark
X
active
zeros
mark
cons
0
zeros
active
incr
cons
X
L
mark
cons
s
X
incr
L
true
adx
1
0
incr
1
21035
cons
2
0
s
1
841
head
1
0
adx
1
21035
zeros
0
21035
tail
1
1
mark
1
21035
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
incr
1
0
nats
0
1
active
1
1
head
1
16908
cons
2
18588
active
1
1
0
active
incr
cons
X
L
mark
cons
s
X
incr
L
active
zeros
mark
cons
0
zeros
mark
adx
X
active
adx
mark
X
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
zeros
active
zeros
active
adx
cons
X
L
mark
incr
cons
X
adx
L
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
zeros
active
zeros
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
adx
X
active
adx
mark
X
active
zeros
mark
cons
0
zeros
active
incr
cons
X
L
mark
cons
s
X
incr
L
true
adx
1
0
incr
1
1
0
cons
2
0
s
1
1
0
head
1
0
adx
1
1
18459
zeros
0
16006
tail
1
1
47562
mark
1
1
0
0
0
16004
s
1
0
nil
0
49858
tail
1
0
mark
1
1
0
incr
1
0
nats
0
34465
active
1
1
0
head
1
1
34132
cons
2
1
1
2
0
0
active
1
1
0
active
incr
cons
X
L
mark
cons
s
X
incr
L
active
zeros
mark
cons
0
zeros
mark
adx
X
active
adx
mark
X
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
s
X
mark
X
mark
zeros
active
zeros
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
tail
X
active
tail
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
zeros
active
zeros
active
tail
cons
X
L
mark
L
active
incr
nil
mark
nil
active
adx
nil
mark
nil
mark
0
active
0
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
mark
head
X
active
head
mark
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
active
nats
mark
adx
zeros
mark
nil
active
nil
active
head
cons
X
L
mark
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
mark
nats
active
nats
tail
mark
X
tail
X
mark
s
X
active
s
mark
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
incr
X
active
incr
mark
X
mark
adx
X
active
adx
mark
X
active
zeros
mark
cons
0
zeros
head
mark
X
head
X
active
incr
cons
X
L
mark
cons
s
X
incr
L
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
s
X
mark
X
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
adx
X
active
adx
mark
X
active
incr
cons
X
L
mark
cons
s
X
incr
L
true
adx
1
0
incr
1
1
8405
cons
2
0
s
1
1
26929
head
1
0
adx
1
8406
zeros
0
2685
tail
1
0
mark
1
1
12630
0
0
1103
s
1
0
nil
0
1
tail
1
0
mark
1
1
21654
incr
1
0
nats
0
0
active
1
1
0
head
1
1
0
cons
2
0
active
1
21035
mark
incr
X
active
incr
mark
X
active
adx
cons
X
L
mark
incr
cons
X
adx
L
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
active
adx
cons
X
L
mark
incr
cons
X
adx
L
mark
incr
X
active
incr
mark
X
true
adx
1
0
incr
1
2805
cons
2
0
s
1
2809
head
1
0
adx
1
2807
zeros
0
1
tail
1
3048
mark
1
12630
0
0
2809
s
1
0
nil
0
26313
tail
1
0
mark
1
2808
incr
1
0
nats
0
0
active
1
1
0
head
1
2809
cons
2
2809
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
mark
zeros
active
zeros
false
active
zeros
mark
cons
0
zeros
false
mark
nats
active
nats
false
mark
adx
X
adx
mark
X
false
mark
incr
X
incr
mark
X
false
active
incr
cons
X
L
s
X
false
active
incr
cons
X
L
incr
L
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
adx
nil
mark
nil
false
active
nats
adx
zeros
false
mark
head
X
head
mark
X
false
head
active
X
head
X
head
mark
X
head
X
true
adx
1
0
incr
1
41350
cons
2
0
s
1
37697
head
1
1
0
adx
1
25729
zeros
0
2
tail
1
36467
mark
1
12630
0
0
36868
s
1
0
nil
0
41352
tail
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
2
head
1
36560
cons
2
72601
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
mark
0
active
0
false
active
zeros
cons
0
zeros
false
active
adx
cons
X
L
incr
cons
X
adx
L
false
incr
active
X
incr
X
incr
mark
X
incr
X
true
adx
1
0
incr
1
11940
cons
2
0
s
1
39990
head
1
0
adx
1
5970
zeros
0
3578
tail
1
37145
mark
1
12630
0
0
1
s
1
0
nil
0
17910
tail
1
0
mark
1
1
1
incr
1
1
0
nats
0
0
active
1
1
5970
head
1
31381
cons
2
17910
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
active
adx
cons
X
L
cons
X
adx
L
false
active
adx
cons
X
L
adx
L
false
adx
active
X
adx
X
adx
mark
X
adx
X
true
adx
1
1
0
incr
1
19288
cons
2
0
s
1
39990
head
1
0
adx
1
9644
zeros
0
1
tail
1
12644
mark
1
12630
0
0
61688
s
1
0
nil
0
28932
tail
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
9644
head
1
30638
cons
2
28932
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
mark
tail
X
tail
mark
X
false
tail
mark
X
tail
X
tail
active
X
tail
X
true
adx
1
0
incr
1
15084
cons
2
0
s
1
39990
head
1
0
adx
1
15082
zeros
0
1
tail
1
21691
mark
1
12630
0
0
25011
s
1
0
nil
0
15086
tail
1
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
2
head
1
38969
cons
2
16148
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
active
incr
nil
mark
nil
false
mark
nil
active
nil
false
active
incr
cons
X
L
cons
s
X
incr
L
false
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
adx
1
0
incr
1
16763
cons
2
1
0
s
1
16892
head
1
0
adx
1
16761
zeros
0
1
tail
1
13927
mark
1
12630
0
0
1
s
1
0
nil
0
16765
tail
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
2
head
1
1
cons
2
16765
active
1
1
9824
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
true
adx
1
0
incr
1
32799
cons
2
2
0
s
1
16892
head
1
0
adx
1
8823
zeros
0
1
tail
1
31671
mark
1
12630
0
0
1
s
1
0
nil
0
32801
tail
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
2
head
1
49077
cons
2
61271
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
adx
1
0
incr
1
6440
cons
2
0
s
1
16892
head
1
0
adx
1
6438
zeros
0
1
tail
1
1
mark
1
12630
0
0
20631
s
1
1
0
nil
0
32801
tail
1
0
mark
1
1
1
incr
1
0
nats
0
0
active
1
1
2
head
1
19864
cons
2
6442
active
1
1
9824
cons
mark
X1
X2
cons
X1
X2
s
active
X
s
X
incr
mark
X
incr
X
tail
active
X
tail
X
adx
mark
X
adx
X
cons
X1
mark
X2
cons
X1
X2
adx
active
X
adx
X
incr
active
X
incr
X
s
mark
X
s
X
head
active
X
head
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
NaTT
certifiable-1.6