active
from
X
mark
cons
X
from
s
X
active
first
0
Z
mark
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
sel
0
cons
X
Z
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
from
mark
X
from
X
from
active
X
from
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
first
mark
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
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
2.2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
cons
active
X1
X2
cons
X1
X2
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
cons
X1
active
X2
cons
X1
X2
mark
s
X
s
mark
X
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
active
from
X
cons
X
from
s
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
from
X
s
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
first
X1
X2
mark
X2
first
X1
active
X2
first
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
0
active
0
active
sel
0
cons
X
Z
mark
X
first
active
X1
X2
first
X1
X2
sel
X1
mark
X2
sel
X1
X2
mark
sel
X1
X2
sel
mark
X1
mark
X2
s
mark
X
s
X
active
sel
s
X
cons
Y
Z
sel
X
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
first
X1
X2
first
mark
X1
mark
X2
active
from
X
from
s
X
mark
nil
active
nil
cons
X1
mark
X2
cons
X1
X2
from
mark
X
from
X
cons
mark
X1
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
mark
cons
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
first
X1
mark
X2
first
X1
X2
from
active
X
from
X
first
mark
X1
X2
first
X1
X2
s
active
X
s
X
sel
X1
active
X2
sel
X1
X2
active
first
s
X
cons
Y
Z
first
X
Z
mark
cons
X1
X2
cons
mark
X1
X2
mark
sel
X1
X2
mark
X2
mark
from
X
from
mark
X
active
first
0
Z
mark
nil
mark
first
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
from
X
mark
X
sel
mark
X1
X2
sel
X1
X2
true
mark
from
X
mark
X
mark
sel
X1
X2
mark
X1
mark
first
X1
X2
mark
X1
active
sel
0
cons
X
Z
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
mark
X2
mark
first
X1
X2
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
cons
X1
X2
mark
X1
active
from
X
mark
cons
X
from
s
X
mark
s
X
active
s
mark
X
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
true
cons
2
0
s
1
1
mark
1
1144
0
0
1146
sel
2
0
from
1
1144
sel
2
1144
s
1
0
first
2
0
nil
0
29246
mark
1
1145
first
2
1144
from
1
0
active
1
1
0
cons
2
1143
active
1
1
0
mark
from
X
active
from
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
mark
cons
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
first
X1
X2
mark
X2
mark
sel
X1
X2
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
sel
0
cons
X
Z
mark
X
mark
first
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
from
X
mark
X
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
sel
X1
mark
X2
sel
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
first
X1
mark
X2
first
X1
X2
sel
X1
active
X2
sel
X1
X2
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
from
active
X
from
X
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
from
mark
X
from
X
active
sel
0
cons
X
Z
mark
X
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
cons
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
first
X1
X2
mark
X2
mark
first
X1
X2
mark
X1
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
from
X
mark
X
mark
from
X
active
from
mark
X
true
cons
2
0
s
1
1
0
mark
1
1
0
0
0
2
sel
2
0
from
1
1
21242
sel
2
1
23680
2
2438
0
s
1
0
first
2
0
nil
0
21241
mark
1
1
0
first
2
1
21239
2
21240
0
from
1
0
active
1
1
0
cons
2
1
21241
2
0
0
active
1
1
0
mark
from
X
active
from
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
from
X
mark
cons
X
from
s
X
mark
s
X
mark
X
cons
X1
active
X2
cons
X1
X2
active
sel
0
cons
X
Z
mark
X
cons
mark
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
sel
X1
mark
X2
sel
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
first
X1
mark
X2
first
X1
X2
sel
X1
active
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
0
active
0
mark
cons
X1
X2
active
cons
mark
X1
X2
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
from
active
X
from
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
mark
nil
active
nil
mark
first
X1
X2
active
first
mark
X1
mark
X2
from
mark
X
from
X
mark
from
X
active
from
mark
X
active
first
0
Z
mark
nil
mark
s
X
mark
X
active
from
X
mark
cons
X
from
s
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
from
X
active
from
mark
X
true
cons
2
0
s
1
1
1
mark
1
1
0
0
0
0
sel
2
0
from
1
21240
sel
2
21239
s
1
0
first
2
0
nil
0
1
mark
1
18588
first
2
1
38147
from
1
0
active
1
18587
cons
2
21238
active
1
21239
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
cons
active
X1
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
true
mark
1
1
active
1
1
active
1
1
cons
2
0
s
1
2
1
mark
1
3
1
0
0
1
sel
2
0
2
1
from
1
6
1
sel
2
5
1
2
s
1
0
first
2
0
nil
0
1
first
2
1
from
1
0
cons
2
1
cons
2
1
1
0
s
1
1
0
mark
1
1
0
0
0
30613
sel
2
1
2
1
from
1
1
32286
sel
2
1
2
10451
s
1
1
first
2
2
1
nil
0
30613
first
2
1
2
0
from
1
1
cons
2
1
0
2
0
0
cons
X1
active
X2
cons
X1
X2
active
sel
0
cons
X
Z
mark
X
cons
mark
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
active
from
X
mark
cons
X
from
s
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
sel
X1
mark
X2
sel
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
sel
active
X1
X2
sel
X1
X2
first
X1
mark
X2
first
X1
X2
sel
X1
active
X2
sel
X1
X2
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
mark
0
active
0
mark
cons
X1
X2
active
cons
mark
X1
X2
s
active
X
s
X
sel
mark
X1
X2
sel
X1
X2
from
active
X
from
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
mark
nil
active
nil
mark
first
X1
X2
active
first
mark
X1
mark
X2
from
mark
X
from
X
mark
from
X
active
from
mark
X
active
first
0
Z
mark
nil
active
first
0
Z
mark
nil
false
mark
from
X
from
mark
X
false
active
sel
s
X
cons
Y
Z
sel
X
Z
false
mark
first
X1
X2
first
mark
X1
mark
X2
false
mark
nil
active
nil
false
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
false
active
first
s
X
cons
Y
Z
first
X
Z
false
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
first
mark
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
true
cons
2
0
s
1
1
mark
1
21239
0
0
2332
sel
2
0
from
1
21241
sel
2
1
s
1
0
first
2
1
0
nil
0
41379
mark
1
1
3
first
2
2
1
from
1
0
active
1
1
1
cons
2
1
21240
active
1
21239
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
true
cons
2
0
s
1
13214
mark
1
21239
0
0
23665
sel
2
0
from
1
27376
sel
2
5506
s
1
0
first
2
2
0
nil
0
43799
mark
1
1
8348
first
2
2
8346
from
1
0
active
1
1
1
cons
2
1
29456
active
1
21239
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
sel
X1
X2
sel
mark
X1
mark
X2
false
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
mark
1
21239
0
0
1
sel
2
1
2
0
from
1
1
sel
2
5450
s
1
0
first
2
0
nil
0
43799
mark
1
1
34497
first
2
2
34495
from
1
0
active
1
1
1
cons
2
1
32968
active
1
21239
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
0
active
0
false
active
from
X
cons
X
from
s
X
false
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
25728
mark
1
21239
0
0
1
sel
2
0
from
1
2
sel
2
1
s
1
0
first
2
0
nil
0
47960
mark
1
1
14925
first
2
2
1
from
1
0
active
1
1
1
cons
2
1
28320
active
1
21239
cons
X1
active
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
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
16335
mark
1
21239
0
0
31160
sel
2
0
from
1
25532
sel
2
17525
s
1
0
first
2
0
nil
0
22325
mark
1
1
41099
first
2
2
41097
from
1
0
active
1
1
1
cons
2
1
28320
active
1
21239
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
active
from
X
from
s
X
false
from
active
X
from
X
from
mark
X
from
X
true
cons
2
0
s
1
436
mark
1
21239
0
0
31160
sel
2
0
from
1
1
sel
2
11668
s
1
0
first
2
0
nil
0
55691
mark
1
1
58951
first
2
2
58949
from
1
1
0
active
1
1
1
cons
2
1
1
active
1
21239
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
active
from
X
s
X
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
cons
2
0
s
1
14022
mark
1
21239
0
0
51902
sel
2
0
from
1
1
sel
2
1
s
1
1
0
first
2
0
nil
0
38541
mark
1
1
3
first
2
2
1
from
1
0
active
1
1
1
cons
2
1
13825
active
1
21239
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
NaTT
certifiable-1.6