a__2nd
cons
X
cons
Y
Z
mark
Y
a__from
X
cons
mark
X
from
s
X
mark
2nd
X
a__2nd
mark
X
mark
from
X
a__from
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
a__2nd
X
2nd
X
a__from
X
from
X
2.2
mark
s
X
mark
X
a__2nd
cons
X
cons
Y
Z
mark
Y
mark
from
X
a__from
mark
X
mark
2nd
X
mark
X
mark
cons
X1
X2
mark
X1
a__from
X
mark
X
mark
from
X
mark
X
mark
2nd
X
a__2nd
mark
X
true
mark
2nd
X
a__2nd
mark
X
mark
from
X
mark
X
a__from
X
mark
X
mark
cons
X1
X2
mark
X1
a__2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
mark
X
mark
from
X
a__from
mark
X
mark
s
X
mark
X
true
s
1
1
0
a__from
1
1
1
a__from
1
1
11800
2nd
1
1
3
a__2nd
1
1
3
a__2nd
1
1
1
mark
1
1
0
from
1
1
11800
mark
1
1
1
cons
2
1
8366
2
0
0
mark
s
X
mark
X
mark
from
X
a__from
mark
X
a__from
X
from
X
a__2nd
cons
X
cons
Y
Z
mark
Y
mark
2nd
X
a__2nd
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__2nd
X
2nd
X
mark
s
X
s
mark
X
a__from
X
cons
mark
X
from
s
X
mark
s
X
mark
X
true
s
1
1
1
a__from
1
2
a__from
1
7
2nd
1
1
a__2nd
1
1
0
a__2nd
1
0
mark
1
1
2
from
1
1
mark
1
1
5
cons
2
1
2
2
NaTT
certifiable-1.6