a__f
0
cons
0
f
s
0
a__f
s
0
a__f
a__p
s
0
a__p
s
X
mark
X
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
a__p
s
X
mark
X
mark
f
X
mark
X
mark
s
X
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
a__f
mark
X
mark
p
X
a__p
mark
X
true
mark
p
X
a__p
mark
X
mark
f
X
a__f
mark
X
a__f
s
0
a__f
a__p
s
0
mark
cons
X1
X2
mark
X1
mark
f
X
mark
X
a__p
s
X
mark
X
mark
p
X
mark
X
mark
s
X
mark
X
a__f
s
0
a__p
s
0
true
s
1
1
29485
a__f
1
1
4
a__p
1
1
0
f
1
1
4
p
1
1
0
mark
1
1
29484
0
0
1
mark
1
1
29483
a__p
1
1
0
cons
2
1
2
a__f
1
29487
mark
p
X
mark
X
a__f
s
0
a__f
a__p
s
0
mark
f
X
a__f
mark
X
mark
s
X
s
mark
X
a__f
0
cons
0
f
s
0
a__p
s
X
mark
X
mark
p
X
a__p
mark
X
a__p
X
p
X
mark
cons
X1
X2
cons
mark
X1
X2
a__f
X
f
X
mark
0
0
a__f
s
0
a__f
a__p
s
0
mark
p
X
mark
X
true
s
1
1
29480
a__f
1
4
a__p
1
1
1
f
1
4
p
1
1
1
mark
1
1
29484
0
0
3
mark
1
1
2241
a__p
1
1
0
cons
2
1
1
a__f
1
29487
mark
f
X
a__f
mark
X
mark
s
X
s
mark
X
a__f
0
cons
0
f
s
0
a__p
s
X
mark
X
mark
p
X
a__p
mark
X
a__p
X
p
X
mark
cons
X1
X2
cons
mark
X1
X2
a__f
X
f
X
mark
0
0
a__f
s
0
a__f
a__p
s
0
a__f
s
0
a__f
a__p
s
0
true
mark
1
1
a__p
1
1
s
1
2
a__f
1
1
a__p
1
0
f
1
1
p
1
0
mark
1
0
0
0
1
cons
2
1
a__f
1
0
1
s
1
1
1
a__f
1
32286
a__p
1
1
0
f
1
32286
p
1
1
0
mark
1
1
0
0
32287
cons
2
32286
a__f
1
1
1
mark
f
X
a__f
mark
X
mark
s
X
s
mark
X
a__f
0
cons
0
f
s
0
a__p
s
X
mark
X
mark
p
X
a__p
mark
X
a__p
X
p
X
mark
cons
X1
X2
cons
mark
X1
X2
a__f
X
f
X
mark
0
0
a__f
s
0
a__f
a__p
s
0
NaTT
certifiable-1.6