a__from
X
cons
mark
X
from
s
X
a__after
0
XS
mark
XS
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
mark
from
X
a__from
mark
X
mark
after
X1
X2
a__after
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__after
X1
X2
after
X1
X2
2.2
mark
cons
X1
X2
mark
X1
mark
after
X1
X2
mark
X2
a__after
s
N
cons
X
XS
mark
XS
mark
from
X
a__from
mark
X
mark
from
X
mark
X
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
a__from
X
mark
X
mark
after
X1
X2
mark
X1
mark
s
X
mark
X
a__after
0
XS
mark
XS
a__after
s
N
cons
X
XS
mark
N
mark
after
X1
X2
a__after
mark
X1
mark
X2
true
mark
after
X1
X2
a__after
mark
X1
mark
X2
mark
from
X
mark
X
a__after
s
N
cons
X
XS
mark
N
a__after
0
XS
mark
XS
mark
s
X
mark
X
mark
from
X
a__from
mark
X
a__after
s
N
cons
X
XS
mark
XS
mark
after
X1
X2
mark
X2
mark
after
X1
X2
mark
X1
a__from
X
mark
X
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
mark
cons
X1
X2
mark
X1
true
s
1
1
0
a__from
1
1
5854
a__from
1
1
41065
after
2
1
71680
2
30614
0
a__after
2
1
46918
2
5854
0
a__after
2
1
71680
2
30614
0
mark
1
1
5853
0
0
0
from
1
1
41065
mark
1
1
0
cons
2
1
41065
2
0
0
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
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__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
mark
after
X1
X2
a__after
mark
X1
mark
X2
a__after
X1
X2
after
X1
X2
mark
s
X
s
mark
X
a__from
X
from
X
mark
cons
X1
X2
cons
mark
X1
X2
a__after
0
XS
mark
XS
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
true
s
1
1
9727
a__from
1
0
a__from
1
44245
after
2
2
9726
a__after
2
1
0
a__after
2
2
9726
mark
1
0
0
0
31328
from
1
34519
mark
1
1
9726
cons
2
2
9726
mark
from
X
a__from
mark
X
mark
0
0
a__from
X
cons
mark
X
from
s
X
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
mark
after
X1
X2
a__after
mark
X1
mark
X2
a__after
X1
X2
after
X1
X2
mark
s
X
s
mark
X
a__from
X
from
X
mark
cons
X1
X2
cons
mark
X1
X2
a__after
0
XS
mark
XS
mark
s
X
mark
X
true
s
1
1
9727
a__from
1
0
a__from
1
35496
after
2
2
1
a__after
2
1
0
a__after
2
2
1
mark
1
1
0
0
0
31328
from
1
35495
mark
1
1
1
cons
2
2
1
mark
from
X
a__from
mark
X
mark
0
0
a__from
X
cons
mark
X
from
s
X
a__after
s
N
cons
X
XS
a__after
mark
N
mark
XS
mark
after
X1
X2
a__after
mark
X1
mark
X2
a__after
X1
X2
after
X1
X2
mark
s
X
s
mark
X
a__from
X
from
X
mark
cons
X1
X2
cons
mark
X1
X2
a__after
0
XS
mark
XS
NaTT
certifiable-1.6