a__from
X
cons
mark
X
from
s
X
a__sel
0
cons
X
Y
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
from
X
a__from
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
0
0
a__from
X
from
X
a__sel
X1
X2
sel
X1
X2
2.2
mark
cons
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
a__sel
s
X
cons
Y
Z
mark
Z
mark
from
X
a__from
mark
X
mark
from
X
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__from
X
mark
X
mark
sel
X1
X2
mark
X1
mark
s
X
mark
X
a__sel
0
cons
X
Y
mark
X
a__sel
s
X
cons
Y
Z
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
true
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
from
X
mark
X
a__sel
s
X
cons
Y
Z
mark
X
a__sel
0
cons
X
Y
mark
X
mark
s
X
mark
X
mark
from
X
a__from
mark
X
a__sel
s
X
cons
Y
Z
mark
Z
mark
sel
X1
X2
mark
X2
mark
sel
X1
X2
mark
X1
a__from
X
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
cons
X1
X2
mark
X1
true
s
1
1
0
a__from
1
1
35231
a__from
1
1
20539
mark
1
1
35230
0
0
1
from
1
1
20539
sel
2
1
4902
2
284
0
a__sel
2
1
40131
2
35231
0
mark
1
1
0
a__sel
2
1
4902
2
284
0
cons
2
1
4618
2
0
0
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
s
X
mark
X
mark
from
X
a__from
mark
X
mark
0
0
a__from
X
cons
mark
X
from
s
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__sel
X1
X2
sel
X1
X2
mark
s
X
s
mark
X
a__from
X
from
X
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
0
cons
X
Y
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
true
a__sel
2
1
mark
1
1
s
1
2
1
a__from
1
0
a__from
1
1
mark
1
0
0
0
0
from
1
1
sel
2
3
1
2
a__sel
2
3
1
2
cons
2
0
s
1
1
0
a__from
1
1
a__from
1
1
8858
mark
1
1
0
0
1
from
1
1
8858
sel
2
1
2
8856
a__sel
2
1
2
8856
cons
2
1
8857
2
0
0
mark
from
X
a__from
mark
X
mark
0
0
a__from
X
cons
mark
X
from
s
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__sel
X1
X2
sel
X1
X2
mark
s
X
s
mark
X
a__from
X
from
X
mark
cons
X1
X2
cons
mark
X1
X2
a__sel
0
cons
X
Y
mark
X
mark
s
X
mark
X
true
s
1
1
1
a__from
1
2
a__from
1
2
mark
1
1
2
0
0
2
from
1
3
sel
2
1
3
a__sel
2
0
mark
1
1
a__sel
2
2
cons
2
3
NaTT
certifiable-1.6