a__f
0
cons
0
f
s
0
a__f
s
0
a__f
a__p
s
0
a__p
s
0
0
mark
f
X
a__f
mark
X
mark
p
X
a__p
mark
X
mark
0
0
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
a__f
X
f
X
a__p
X
p
X
2.2
a__f
s
0
a__p
s
0
mark
s
X
mark
X
mark
f
X
a__f
mark
X
mark
p
X
mark
X
mark
cons
X1
X2
mark
X1
a__f
s
0
a__f
a__p
s
0
mark
f
X
mark
X
mark
p
X
a__p
mark
X
true
mark
f
X
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
p
X
mark
X
true
s
1
1
1
a__f
1
0
a__p
1
0
f
1
1
1
p
1
1
1
mark
1
1
0
0
0
0
mark
1
0
a__p
1
0
cons
2
1
1
a__f
1
0
mark
p
X
a__p
mark
X
false
mark
f
X
a__f
mark
X
false
a__f
s
0
a__f
a__p
s
0
true
s
1
1
1
a__f
1
0
a__p
1
8856
f
1
1
p
1
8856
mark
1
0
0
0
8856
mark
1
0
a__p
1
0
cons
2
1
a__f
1
1
0
a__p
s
0
0
a__p
X
p
X
a__f
s
0
a__p
s
0
false
NaTT
certifiable-1.6