active
zeros
mark
cons
0
zeros
active
tail
cons
X
XS
mark
XS
mark
zeros
active
zeros
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
mark
tail
X
active
tail
mark
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
tail
mark
X
tail
X
tail
active
X
tail
X
2.2
mark
tail
X
active
tail
mark
X
tail
mark
X
tail
X
active
zeros
cons
0
zeros
cons
X1
active
X2
cons
X1
X2
mark
zeros
active
zeros
active
zeros
mark
cons
0
zeros
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
mark
0
active
0
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
mark
X1
mark
cons
X1
X2
cons
mark
X1
X2
mark
tail
X
tail
mark
X
active
tail
cons
X
XS
mark
XS
cons
mark
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
tail
X
mark
X
true
mark
tail
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
zeros
mark
cons
0
zeros
active
tail
cons
X
XS
mark
XS
mark
zeros
active
zeros
mark
cons
X1
X2
mark
X1
mark
tail
X
active
tail
mark
X
true
cons
2
0
zeros
0
8857
tail
1
8857
mark
1
8857
0
0
1
tail
1
0
mark
1
1
active
1
1
1
cons
2
1
active
1
1
0
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
mark
X1
mark
zeros
active
zeros
active
tail
cons
X
XS
mark
XS
active
zeros
mark
cons
0
zeros
mark
tail
X
mark
X
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
tail
active
X
tail
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
mark
X1
active
zeros
mark
cons
0
zeros
mark
zeros
active
zeros
mark
tail
X
mark
X
mark
tail
X
active
tail
mark
X
active
tail
cons
X
XS
mark
XS
true
cons
2
0
zeros
0
1143
tail
1
1
28101
mark
1
1
8857
0
0
0
tail
1
0
mark
1
1
0
active
1
1
0
cons
2
1
2
0
active
1
1
8857
mark
tail
X
active
tail
mark
X
mark
zeros
active
zeros
active
zeros
mark
cons
0
zeros
mark
cons
X1
X2
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
active
zeros
mark
cons
0
zeros
mark
zeros
active
zeros
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
tail
active
X
tail
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
mark
tail
X
active
tail
mark
X
active
tail
cons
X
XS
mark
XS
mark
cons
X1
X2
mark
X1
active
zeros
mark
cons
0
zeros
mark
zeros
active
zeros
mark
tail
X
active
tail
mark
X
true
cons
2
0
zeros
0
2
tail
1
1
mark
1
8857
0
0
1
tail
1
0
mark
1
1
active
1
1
cons
2
1
active
1
1
8855
mark
zeros
active
zeros
active
zeros
mark
cons
0
zeros
mark
cons
X1
X2
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
cons
X1
mark
X2
cons
X1
X2
active
zeros
mark
cons
0
zeros
mark
zeros
active
zeros
mark
0
active
0
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
tail
active
X
tail
X
tail
mark
X
tail
X
cons
active
X1
X2
cons
X1
X2
mark
tail
X
active
tail
mark
X
active
tail
cons
X
XS
mark
XS
mark
cons
X1
X2
mark
X1
active
zeros
mark
cons
0
zeros
mark
zeros
active
zeros
true
cons
2
0
zeros
0
2322
tail
1
0
mark
1
1
6534
0
0
0
tail
1
0
mark
1
1
4
active
1
1
1
cons
2
1
2320
active
1
8855
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
tail
X
tail
mark
X
false
tail
mark
X
tail
X
tail
active
X
tail
X
true
cons
2
0
zeros
0
1
tail
1
0
mark
1
1
6534
0
0
0
tail
1
1
0
mark
1
1
4
active
1
1
3
cons
2
1
1
active
1
8855
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
0
active
0
false
mark
cons
X1
X2
cons
mark
X1
X2
false
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
2
0
zeros
0
1
tail
1
0
mark
1
1
6534
0
0
0
tail
1
0
mark
1
1
2
active
1
1
1
cons
2
1
1
active
1
8855
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
active
zeros
cons
0
zeros
false
NaTT
certifiable-1.6