a__2nd
cons1
X
cons
Y
Z
mark
Y
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
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
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
a__2nd
X
2nd
X
a__from
X
from
X
2.2
a__2nd
cons
X
X1
mark
X
mark
from
X
a__from
mark
X
mark
2nd
X
mark
X
a__2nd
cons1
X
cons
Y
Z
mark
Y
mark
cons1
X1
X2
mark
X2
mark
2nd
X
a__2nd
mark
X
mark
from
X
mark
X
mark
cons1
X1
X2
mark
X1
mark
s
X
mark
X
a__2nd
cons
X
X1
mark
X1
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
a__from
X
mark
X
mark
cons
X1
X2
mark
X1
true
mark
cons
X1
X2
mark
X1
mark
2nd
X
a__2nd
mark
X
a__from
X
mark
X
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
a__2nd
cons
X
X1
mark
X1
mark
cons1
X1
X2
mark
X2
a__2nd
cons1
X
cons
Y
Z
mark
Y
mark
2nd
X
mark
X
mark
from
X
a__from
mark
X
mark
s
X
mark
X
mark
cons1
X1
X2
mark
X1
mark
from
X
mark
X
a__2nd
cons
X
X1
mark
X
true
s
1
1
0
a__from
1
1
30614
a__from
1
1
30614
2nd
1
1
2
a__2nd
1
1
2
a__2nd
1
1
2
cons1
2
1
5854
2
0
0
mark
1
1
1
from
1
1
30614
mark
1
1
0
cons
2
1
5855
2
0
0
mark
s
X
mark
X
mark
cons1
X1
X2
mark
X2
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
mark
2nd
X
a__2nd
mark
X
mark
cons1
X1
X2
cons1
mark
X1
mark
X2
a__2nd
cons1
X
cons
Y
Z
mark
Y
a__from
X
cons
mark
X
from
s
X
mark
from
X
a__from
mark
X
a__from
X
from
X
mark
s
X
s
mark
X
a__2nd
X
2nd
X
mark
cons
X1
X2
cons
mark
X1
X2
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
mark
cons1
X1
X2
mark
X2
mark
s
X
mark
X
true
s
1
1
0
a__from
1
0
a__from
1
2
2nd
1
3
a__2nd
1
2
a__2nd
1
0
cons1
2
2
1
mark
1
1
0
from
1
1
3
mark
1
1
cons
2
2
2
mark
s
X
mark
X
mark
s
X
mark
X
true
s
1
1
1
a__from
1
0
a__from
1
19782
2nd
1
19783
a__2nd
1
19782
a__2nd
1
0
cons1
2
2
1
mark
1
1
0
from
1
1
19783
mark
1
19781
cons
2
2
19782
a__2nd
cons
X
X1
a__2nd
cons1
mark
X
mark
X1
false
NaTT
certifiable-1.6