active
fib
N
mark
sel
N
fib1
s
0
s
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
active
add
0
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
sel
0
cons
X
XS
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
fib
X
active
fib
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
s
X
active
s
mark
X
mark
0
active
0
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
add
X1
X2
active
add
mark
X1
mark
X2
fib
mark
X
fib
X
fib
active
X
fib
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
fib1
active
X1
X2
fib1
X1
X2
fib1
X1
active
X2
fib1
X1
X2
s
mark
X
s
X
s
active
X
s
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
add
mark
X1
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
2.2
active
fib1
X
Y
cons
X
fib1
Y
add
X
Y
sel
mark
X1
X2
sel
X1
X2
mark
fib
X
mark
X
cons
active
X1
X2
cons
X1
X2
active
fib
N
sel
N
fib1
s
0
s
0
fib1
X1
mark
X2
fib1
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
active
fib
N
fib1
s
0
s
0
mark
sel
X1
X2
mark
X2
active
fib
N
s
0
sel
active
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
add
s
X
Y
mark
s
add
X
Y
sel
X1
active
X2
sel
X1
X2
mark
sel
X1
X2
sel
mark
X1
mark
X2
mark
fib1
X1
X2
fib1
mark
X1
mark
X2
mark
add
X1
X2
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X2
active
add
s
X
Y
add
X
Y
add
mark
X1
X2
add
X1
X2
fib
mark
X
fib
X
active
fib
N
mark
sel
N
fib1
s
0
s
0
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
s
X
s
mark
X
active
add
s
X
Y
s
add
X
Y
mark
fib1
X1
X2
mark
X1
mark
s
X
active
s
mark
X
mark
sel
X1
X2
mark
X1
active
fib
N
s
0
s
active
X
s
X
mark
cons
X1
X2
cons
mark
X1
X2
active
sel
s
N
cons
X
XS
sel
N
XS
add
active
X1
X2
add
X1
X2
mark
add
X1
X2
mark
X1
add
X1
active
X2
add
X1
X2
cons
X1
active
X2
cons
X1
X2
active
add
0
X
mark
X
mark
fib
X
fib
mark
X
add
X1
mark
X2
add
X1
X2
active
sel
0
cons
X
XS
mark
X
mark
fib
X
active
fib
mark
X
s
mark
X
s
X
mark
s
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
fib1
active
X1
X2
fib1
X1
X2
mark
cons
X1
X2
mark
X1
mark
0
active
0
active
fib1
X
Y
fib1
Y
add
X
Y
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
fib
active
X
fib
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
fib1
X1
X2
mark
X2
active
fib1
X
Y
add
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
fib1
X1
active
X2
fib1
X1
X2
true
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
sel
X1
X2
mark
X1
mark
s
X
active
s
mark
X
mark
fib1
X1
X2
mark
X1
mark
fib1
X1
X2
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
mark
cons
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
mark
s
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
fib
X
active
fib
mark
X
active
sel
0
cons
X
XS
mark
X
mark
sel
X1
X2
mark
X2
active
add
0
X
mark
X
mark
add
X1
X2
mark
X1
mark
fib
X
mark
X
true
cons
2
0
s
1
1
fib1
2
0
fib1
2
46917
fib
1
46917
mark
1
46917
0
0
1
sel
2
0
sel
2
46917
s
1
0
mark
1
1
active
1
2
cons
2
36466
active
1
1
0
add
2
0
add
2
46917
fib
1
0
mark
fib
X
mark
X
mark
add
X1
X2
mark
X1
active
add
0
X
mark
X
mark
sel
X1
X2
mark
X2
active
sel
0
cons
X
XS
mark
X
mark
fib
X
active
fib
mark
X
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
add
s
X
Y
mark
s
add
X
Y
mark
s
X
mark
X
mark
add
X1
X2
mark
X2
mark
cons
X1
X2
mark
X1
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
active
fib
N
mark
sel
N
fib1
s
0
s
0
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
fib1
X1
X2
mark
X2
mark
fib1
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
active
X1
X2
sel
X1
X2
fib
active
X
fib
X
sel
mark
X1
X2
sel
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
add
active
X1
X2
add
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
fib1
active
X1
X2
fib1
X1
X2
cons
active
X1
X2
cons
X1
X2
add
X1
active
X2
add
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
s
active
X
s
X
add
mark
X1
X2
add
X1
X2
fib
mark
X
fib
X
add
X1
mark
X2
add
X1
X2
fib1
X1
active
X2
fib1
X1
X2
s
mark
X
s
X
cons
X1
active
X2
cons
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
add
0
X
mark
X
active
sel
0
cons
X
XS
mark
X
mark
s
X
mark
X
mark
fib
X
mark
X
mark
fib
X
active
fib
mark
X
mark
cons
X1
X2
mark
X1
mark
fib1
X1
X2
mark
X2
mark
fib1
X1
X2
mark
X1
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
true
cons
2
0
s
1
1
0
fib1
2
0
fib1
2
1
8946
2
8946
0
fib
1
1
38231
mark
1
1
0
0
0
26286
sel
2
0
sel
2
1
11945
2
2998
0
s
1
0
mark
1
1
0
active
1
1
0
cons
2
1
8946
2
0
0
active
1
1
0
add
2
0
add
2
1
0
2
0
0
fib
1
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
fib
X
active
fib
mark
X
mark
s
X
mark
X
active
add
0
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
add
s
X
Y
mark
s
add
X
Y
sel
active
X1
X2
sel
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
fib
active
X
fib
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
add
0
X
mark
X
sel
mark
X1
X2
sel
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
add
active
X1
X2
add
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
fib1
active
X1
X2
fib1
X1
X2
cons
active
X1
X2
cons
X1
X2
active
sel
0
cons
X
XS
mark
X
add
X1
active
X2
add
X1
X2
mark
s
X
active
s
mark
X
mark
fib
X
active
fib
mark
X
fib1
mark
X1
X2
fib1
X1
X2
s
active
X
s
X
add
mark
X1
X2
add
X1
X2
fib
mark
X
fib
X
add
X1
mark
X2
add
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
fib1
X1
active
X2
fib1
X1
X2
s
mark
X
s
X
mark
0
active
0
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
cons
X1
active
X2
cons
X1
X2
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
active
add
s
X
Y
mark
s
add
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
add
0
X
mark
X
mark
s
X
mark
X
mark
fib
X
active
fib
mark
X
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
true
cons
2
0
s
1
31114
fib1
2
0
fib1
2
3
fib
1
1
mark
1
46917
0
0
0
sel
2
0
sel
2
3
s
1
0
mark
1
2
active
1
1
0
cons
2
36466
active
1
1
46914
add
2
0
add
2
3
fib
1
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
active
sel
s
N
cons
X
XS
mark
sel
N
XS
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
s
X
mark
X
active
add
0
X
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
add
s
X
Y
mark
s
add
X
Y
sel
active
X1
X2
sel
X1
X2
fib
active
X
fib
X
sel
mark
X1
X2
sel
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
add
active
X1
X2
add
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
fib1
active
X1
X2
fib1
X1
X2
cons
active
X1
X2
cons
X1
X2
add
X1
active
X2
add
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
s
active
X
s
X
add
mark
X1
X2
add
X1
X2
fib
mark
X
fib
X
add
X1
mark
X2
add
X1
X2
fib1
X1
active
X2
fib1
X1
X2
s
mark
X
s
X
cons
X1
active
X2
cons
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
add
0
X
mark
X
mark
s
X
mark
X
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
true
s
1
1
mark
1
1
active
1
1
cons
2
0
1
2
s
1
1
1
fib1
2
0
2
fib1
2
5
fib
1
0
1
mark
1
0
1
0
0
5
sel
2
0
sel
2
4
1
cons
2
0
active
1
0
1
add
2
0
1
2
add
2
2
1
2
fib
1
0
cons
2
1
1
2
1
0
s
1
1
0
fib1
2
2
1
0
fib1
2
1
19791
2
19791
0
fib
1
1
87762
mark
1
1
0
0
0
48178
sel
2
2
1
sel
2
1
2
19792
cons
2
1
19791
2
0
0
active
1
1
0
add
2
1
1
2
1
0
add
2
1
0
2
0
0
fib
1
1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
sel
active
X1
X2
sel
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
fib
active
X
fib
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
add
0
X
mark
X
sel
mark
X1
X2
sel
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
cons
mark
X1
X2
cons
X1
X2
sel
X1
active
X2
sel
X1
X2
add
active
X1
X2
add
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
X1
mark
X2
cons
X1
X2
fib1
active
X1
X2
fib1
X1
X2
cons
active
X1
X2
cons
X1
X2
active
sel
0
cons
X
XS
mark
X
add
X1
active
X2
add
X1
X2
mark
s
X
active
s
mark
X
mark
fib
X
active
fib
mark
X
fib1
mark
X1
X2
fib1
X1
X2
s
active
X
s
X
add
mark
X1
X2
add
X1
X2
fib
mark
X
fib
X
add
X1
mark
X2
add
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
fib1
X1
active
X2
fib1
X1
X2
s
mark
X
s
X
mark
0
active
0
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
cons
X1
active
X2
cons
X1
X2
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
false
mark
fib1
X1
X2
active
fib1
mark
X1
mark
X2
false
mark
add
X1
X2
active
add
mark
X1
mark
X2
false
active
fib1
X
Y
fib1
Y
add
X
Y
false
active
fib1
X
Y
add
X
Y
false
mark
add
X1
X2
add
mark
X1
mark
X2
false
active
sel
s
N
cons
X
XS
sel
N
XS
false
mark
fib1
X1
X2
fib1
mark
X1
mark
X2
false
fib1
X1
active
X2
fib1
X1
X2
fib1
active
X1
X2
fib1
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
true
cons
2
0
s
1
3155
fib1
2
2
0
fib1
2
1
fib
1
1
1
mark
1
46917
0
0
0
sel
2
0
sel
2
3
s
1
0
mark
1
1
1
active
1
1
2
cons
2
3
active
1
46917
add
2
0
add
2
1
fib
1
0
fib1
mark
X1
X2
fib1
X1
X2
fib1
active
X1
X2
fib1
X1
X2
fib1
active
X1
X2
fib1
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
true
cons
2
0
s
1
6993
fib1
2
1
0
fib1
2
3024
fib
1
1
52442
mark
1
46917
0
0
0
sel
2
0
sel
2
52444
s
1
0
mark
1
1
1
active
1
1
2
cons
2
3265
active
1
46917
add
2
0
add
2
6991
fib
1
0
mark
0
active
0
false
mark
fib
X
fib
mark
X
false
fib
active
X
fib
X
fib
mark
X
fib
X
true
cons
2
0
s
1
12201
fib1
2
0
fib1
2
13962
fib
1
1
46517
mark
1
46917
0
0
0
sel
2
0
sel
2
46519
s
1
0
mark
1
1
21394
active
1
1
21395
cons
2
29984
active
1
46917
add
2
0
add
2
12199
fib
1
1
0
active
fib
N
sel
N
fib1
s
0
s
0
false
active
fib
N
fib1
s
0
s
0
false
active
fib
N
s
0
false
active
fib
N
s
0
false
mark
s
X
s
mark
X
false
active
add
s
X
Y
s
add
X
Y
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
43488
fib1
2
0
fib1
2
15620
fib
1
1
36467
mark
1
46917
0
0
0
sel
2
0
sel
2
36469
s
1
1
0
mark
1
1
21394
active
1
1
21395
cons
2
39789
active
1
46917
add
2
0
add
2
43486
fib
1
0
active
add
s
X
Y
add
X
Y
false
add
mark
X1
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
true
cons
2
0
s
1
26053
fib1
2
0
fib1
2
35955
fib
1
1
1
mark
1
46917
0
0
0
sel
2
0
sel
2
122
s
1
0
mark
1
1
21394
active
1
1
21395
cons
2
54704
active
1
46917
add
2
2
0
add
2
1
fib
1
0
add
active
X1
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
true
cons
2
0
s
1
59833
fib1
2
0
fib1
2
29161
fib
1
1
43802
mark
1
46917
0
0
0
sel
2
0
sel
2
76385
s
1
0
mark
1
1
21394
active
1
1
53976
cons
2
61744
active
1
46917
add
2
1
0
add
2
27250
fib
1
0
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
X1
active
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
29299
fib1
2
0
fib1
2
1
fib
1
1
1
mark
1
46917
0
0
0
sel
2
1
2
0
sel
2
32583
s
1
0
mark
1
1
1
active
1
1
2
cons
2
30810
active
1
46917
add
2
0
add
2
29297
fib
1
0
active
fib1
X
Y
cons
X
fib1
Y
add
X
Y
false
mark
cons
X1
X2
cons
mark
X1
X2
false
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
2
0
s
1
9050
fib1
2
0
fib1
2
1
fib
1
1
29344
mark
1
46917
0
0
0
sel
2
0
sel
2
29346
s
1
0
mark
1
1
23641
active
1
1
23642
cons
2
1065
active
1
46917
add
2
0
add
2
1
fib
1
0
NaTT
certifiable-1.6