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
active
fib
X
fib
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
fib1
X1
X2
fib1
active
X1
X2
active
fib1
X1
X2
fib1
X1
active
X2
active
s
X
s
active
X
active
cons
X1
X2
cons
active
X1
X2
active
add
X1
X2
add
active
X1
X2
active
add
X1
X2
add
X1
active
X2
fib
mark
X
mark
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
s
mark
X
mark
s
X
cons
mark
X1
X2
mark
cons
X1
X2
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
proper
fib
X
fib
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
0
ok
0
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
add
X1
X2
add
proper
X1
proper
X2
fib
ok
X
ok
fib
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
s
ok
X
ok
s
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
add
ok
X1
ok
X2
ok
add
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
fib1
X
Y
fib1
Y
add
X
Y
proper
fib1
X1
X2
proper
X2
fib1
X1
mark
X2
fib1
X1
X2
active
fib1
X1
X2
active
X1
fib1
mark
X1
X2
fib1
X1
X2
proper
fib1
X1
X2
proper
X1
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
active
fib
N
sel
N
fib1
s
0
s
0
proper
sel
X1
X2
proper
X1
active
sel
X1
X2
active
X1
active
add
s
X
Y
s
add
X
Y
proper
s
X
proper
X
top
mark
X
top
proper
X
active
add
X1
X2
add
X1
active
X2
active
fib
N
s
0
fib1
ok
X1
ok
X2
fib1
X1
X2
s
mark
X
s
X
active
fib1
X1
X2
fib1
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
sel
X1
X2
sel
active
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
add
X1
X2
active
X1
fib
ok
X
fib
X
active
sel
X1
X2
active
X2
active
fib
X
active
X
active
fib
N
s
0
active
fib1
X1
X2
active
X2
active
add
s
X
Y
add
X
Y
active
fib
X
fib
active
X
fib
mark
X
fib
X
proper
sel
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
proper
add
X1
X2
proper
X1
top
mark
X
proper
X
cons
mark
X1
X2
cons
X1
X2
active
cons
X1
X2
active
X1
top
ok
X
active
X
add
ok
X1
ok
X2
add
X1
X2
sel
mark
X1
X2
sel
X1
X2
proper
fib
X
proper
X
active
add
X1
X2
add
active
X1
X2
active
fib1
X1
X2
fib1
active
X1
X2
proper
fib
X
fib
proper
X
active
add
X1
X2
active
X2
active
s
X
s
active
X
top
ok
X
top
active
X
proper
add
X1
X2
add
proper
X1
proper
X2
sel
X1
mark
X2
sel
X1
X2
proper
cons
X1
X2
proper
X2
sel
ok
X1
ok
X2
sel
X1
X2
proper
add
X1
X2
proper
X2
add
mark
X1
X2
add
X1
X2
active
fib1
X
Y
add
X
Y
active
fib1
X
Y
cons
X
fib1
Y
add
X
Y
active
fib
N
fib1
s
0
s
0
active
sel
s
N
cons
X
XS
sel
N
XS
add
X1
mark
X2
add
X1
X2
s
ok
X
s
X
cons
ok
X1
ok
X2
cons
X1
X2
active
s
X
active
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
2
top
1
1
proper
1
1
ok
1
1
active
1
1
active
1
1
s
1
4
1
top
1
0
fib1
2
0
fib1
2
3
2
1
fib
1
5
1
0
0
5
sel
2
0
sel
2
3
1
2
s
1
0
mark
1
1
1
proper
1
0
cons
2
2
1
add
2
0
1
2
add
2
5
1
2
fib
1
0
s
1
1
0
top
1
1
fib1
2
1
1
0
fib1
2
1
36413
2
36413
0
fib
1
1
43294
0
0
1
sel
2
2
1
sel
2
1
2
6879
s
1
1
mark
1
1
0
proper
1
1
cons
2
1
36413
2
0
0
add
2
1
1
2
1
0
add
2
1
0
2
0
0
fib
1
1
top
ok
X
top
active
X
sel
X1
mark
X2
mark
sel
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
active
add
X1
X2
add
X1
active
X2
active
sel
X1
X2
sel
active
X1
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
add
0
X
mark
X
fib
mark
X
mark
fib
X
s
mark
X
mark
s
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
s
X
s
proper
X
active
sel
0
cons
X
XS
mark
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
fib1
X1
X2
fib1
active
X1
X2
active
fib
X
fib
active
X
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
fib
X
fib
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
add
X1
X2
add
active
X1
X2
proper
add
X1
X2
add
proper
X1
proper
X2
active
s
X
s
active
X
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
active
fib1
X1
X2
fib1
X1
active
X2
active
sel
X1
X2
sel
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
add
ok
X1
ok
X2
ok
add
X1
X2
s
ok
X
ok
s
X
proper
0
ok
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
1
0
fib1
2
0
fib1
2
1
0
proper
1
3
fib
1
1
0
ok
1
1
2
0
0
1
sel
2
0
sel
2
1
0
s
1
0
mark
1
0
proper
1
0
active
1
1
1
cons
2
1
0
active
1
0
add
2
0
add
2
2
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
active
add
X1
X2
add
X1
active
X2
active
sel
X1
X2
sel
active
X1
X2
active
fib
N
mark
sel
N
fib1
s
0
s
0
active
add
0
X
mark
X
fib
mark
X
mark
fib
X
s
mark
X
mark
s
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
s
X
s
proper
X
active
sel
0
cons
X
XS
mark
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
fib1
X1
X2
fib1
active
X1
X2
active
fib
X
fib
active
X
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
fib
X
fib
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
add
X1
X2
add
active
X1
X2
proper
add
X1
X2
add
proper
X1
proper
X2
active
s
X
s
active
X
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
active
fib1
X1
X2
fib1
X1
active
X2
active
sel
X1
X2
sel
X1
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
sel
s
N
cons
X
XS
mark
sel
N
XS
add
ok
X1
ok
X2
ok
add
X1
X2
s
ok
X
ok
s
X
proper
0
ok
0
active
fib1
X
Y
mark
cons
X
fib1
Y
add
X
Y
top
ok
X
active
X
false
top
mark
X
proper
X
false
active
s
X
active
X
active
fib1
X1
X2
active
X2
active
fib
X
active
X
active
sel
X1
X2
active
X2
active
add
X1
X2
active
X1
active
add
X1
X2
active
X2
active
sel
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
fib1
X1
X2
active
X1
true
cons
2
0
s
1
1
11575
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
1
0
fib
1
1
1
ok
1
621
0
0
4447
sel
2
0
sel
2
1
2
1
s
1
0
mark
1
1
0
proper
1
0
active
1
32044
cons
2
1
2
32042
active
1
1
0
add
2
0
add
2
1
2
1
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
s
mark
X
mark
s
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
s
X
s
proper
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
fib
X
fib
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
add
X1
X2
add
proper
X1
proper
X2
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
add
ok
X1
ok
X2
ok
add
X1
X2
s
ok
X
ok
s
X
proper
0
ok
0
active
fib1
X
Y
cons
X
fib1
Y
add
X
Y
false
active
fib1
X
Y
add
X
Y
false
active
sel
s
N
cons
X
XS
sel
N
XS
false
active
cons
X1
X2
cons
active
X1
X2
false
active
sel
X1
X2
sel
X1
active
X2
false
active
fib1
X1
X2
fib1
X1
active
X2
false
active
s
X
s
active
X
false
active
add
X1
X2
add
active
X1
X2
false
active
fib
X
fib
active
X
false
active
fib1
X1
X2
fib1
active
X1
X2
false
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
active
sel
X1
X2
sel
active
X1
X2
false
active
add
X1
X2
add
X1
active
X2
false
active
add
s
X
Y
s
add
X
Y
false
active
add
s
X
Y
add
X
Y
false
active
fib1
X
Y
fib1
Y
add
X
Y
false
proper
cons
X1
X2
proper
X1
proper
sel
X1
X2
proper
X2
proper
add
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
proper
s
X
proper
X
proper
sel
X1
X2
proper
X1
proper
fib
X
proper
X
proper
fib1
X1
X2
proper
X1
proper
fib1
X1
X2
proper
X2
proper
add
X1
X2
proper
X1
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
1
0
fib
1
1
12831
ok
1
1
0
0
1
sel
2
0
sel
2
1
2
3
s
1
0
mark
1
1
0
proper
1
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
2
1
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
s
mark
X
mark
s
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
s
X
s
proper
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
fib
X
fib
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
add
X1
X2
add
proper
X1
proper
X2
add
mark
X1
X2
mark
add
X1
X2
add
X1
mark
X2
mark
add
X1
X2
add
ok
X1
ok
X2
ok
add
X1
X2
s
ok
X
ok
s
X
proper
0
ok
0
proper
add
X1
X2
add
proper
X1
proper
X2
false
add
X1
mark
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
add
ok
X1
ok
X2
add
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
2
0
add
2
1
0
fib
1
0
add
mark
X1
X2
add
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
add
mark
X1
X2
add
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
36457
s
1
0
mark
1
1
1
proper
1
0
active
1
36459
cons
2
1
2
36457
active
1
0
add
2
1
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
2
0
s
1
33309
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
42356
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
mark
1
1
1
proper
1
0
active
1
36459
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
42356
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
2
s
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
proper
fib
X
fib
proper
X
false
fib
mark
X
fib
X
fib
ok
X
fib
X
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
3020
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
2
s
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
proper
s
X
s
proper
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
proper
fib1
X1
X2
fib1
proper
X1
proper
X2
false
fib1
ok
X1
ok
X2
fib1
X1
X2
fib1
mark
X1
X2
fib1
X1
X2
fib1
X1
mark
X2
fib1
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
1
s
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
fib1
mark
X1
X2
fib1
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
fib1
mark
X1
X2
fib1
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
1
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
0
sel
2
1
2
2
s
1
0
mark
1
1
1
proper
1
0
active
1
3
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
ok
X1
ok
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
34409
proper
1
2
fib
1
1
19098
ok
1
1
1
0
0
1
sel
2
1
0
sel
2
1
2
85326
s
1
0
mark
1
1
1
proper
1
0
active
1
85327
cons
2
1
2
50917
active
1
0
add
2
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
sel
X1
mark
X2
sel
X1
X2
true
cons
2
0
s
1
1
top
1
0
top
1
0
fib1
2
0
fib1
2
1
2
1
proper
1
2
fib
1
1
1
ok
1
1
1
0
0
1
sel
2
2
0
sel
2
1
2
24055
s
1
0
mark
1
1
20948
proper
1
0
active
1
45003
cons
2
1
2
1
active
1
0
add
2
0
add
2
1
0
fib
1
0
sel
X1
mark
X2
mark
sel
X1
X2
fib
mark
X
mark
fib
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
fib1
mark
X1
X2
mark
fib1
X1
X2
fib
ok
X
ok
fib
X
sel
mark
X1
X2
mark
sel
X1
X2
fib1
ok
X1
ok
X2
ok
fib1
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
fib1
X1
mark
X2
mark
fib1
X1
X2
proper
0
ok
0
NaTT
certifiable-1.6