active
first
0
X
mark
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
from
X
mark
cons
X
from
s
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
s
X
active
s
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
from
X
active
from
mark
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
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
from
mark
X
from
X
from
active
X
from
X
2.2
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
mark
cons
X1
X2
mark
X1
cons
active
X1
X2
cons
X1
X2
mark
from
X
active
from
mark
X
mark
s
X
active
s
mark
X
first
X1
mark
X2
first
X1
X2
s
mark
X
s
X
active
from
X
from
s
X
active
from
X
cons
X
from
s
X
from
mark
X
from
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
s
X
s
mark
X
s
active
X
s
X
active
from
X
s
X
from
active
X
from
X
mark
from
X
from
mark
X
first
active
X1
X2
first
X1
X2
mark
first
X1
X2
mark
X1
first
X1
active
X2
first
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
active
from
X
mark
cons
X
from
s
X
mark
first
X1
X2
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
mark
first
X1
X2
first
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
active
first
0
X
mark
nil
cons
mark
X1
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
active
first
s
X
cons
Y
Z
first
X
Z
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
from
X
mark
X
mark
s
X
mark
X
mark
nil
active
nil
cons
X1
mark
X2
cons
X1
X2
true
mark
s
X
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
from
X
mark
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
s
X
active
s
mark
X
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
first
X1
X2
mark
X2
active
from
X
mark
cons
X
from
s
X
mark
first
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
true
cons
2
0
s
1
1
31755
mark
1
1
1
0
0
19306
from
1
1
60388
s
1
0
first
2
0
nil
0
5854
mark
1
1
0
first
2
1
2
8647
from
1
0
active
1
1
0
cons
2
1
60386
active
1
1
0
cons
active
X1
X2
cons
X1
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
s
active
X
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
first
0
X
mark
nil
active
from
X
mark
cons
X
from
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
mark
0
active
0
first
mark
X1
X2
first
X1
X2
mark
s
X
active
s
mark
X
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
mark
from
X
active
from
mark
X
first
X1
active
X2
first
X1
X2
mark
nil
active
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
from
X
from
mark
X
false
mark
s
X
s
mark
X
false
mark
0
active
0
false
active
first
s
X
cons
Y
Z
first
X
Z
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
mark
1
1
1
0
0
53255
from
1
1
41617
s
1
1
0
first
2
0
nil
0
1651
mark
1
1
0
first
2
27230
from
1
0
active
1
1
1
cons
2
2241
active
1
0
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
s
mark
X
s
X
true
cons
2
0
s
1
1
0
mark
1
1
1
0
0
0
from
1
1
s
1
1
0
first
2
0
nil
0
2649
mark
1
1
1
first
2
1
42199
from
1
0
active
1
1
2
cons
2
2
active
1
0
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
active
first
0
X
mark
nil
false
mark
nil
active
nil
false
mark
first
X1
X2
first
mark
X1
mark
X2
false
first
mark
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
first
active
X1
X2
first
X1
X2
true
cons
2
0
s
1
1
0
mark
1
1
1
0
0
0
from
1
1
s
1
0
first
2
1
2
0
nil
0
2
mark
1
1
1
first
2
1
62709
from
1
0
active
1
1
2
cons
2
1
active
1
0
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
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
0
s
1
1
0
mark
1
1
1
0
0
0
from
1
1
s
1
0
first
2
0
nil
0
7453
mark
1
1
1
first
2
1
14661
from
1
0
active
1
1
2
cons
2
1
active
1
0
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
0
mark
1
1
1
0
0
0
from
1
27857
s
1
0
first
2
0
nil
0
2684
mark
1
1
1
first
2
1
21653
from
1
0
active
1
1
2
cons
2
1
active
1
0
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
from
mark
X
from
X
from
active
X
from
X
true
cons
2
0
s
1
1
0
mark
1
1
1
0
0
0
from
1
15261
s
1
0
first
2
0
nil
0
1
mark
1
1
1
first
2
1
21387
from
1
1
0
active
1
1
2
cons
2
1
active
1
0
cons
active
X1
X2
cons
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
from
active
X
from
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
from
mark
X
from
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
NaTT
certifiable-1.6