a__f
X
cons
mark
X
f
g
X
a__g
0
s
0
a__g
s
X
s
s
a__g
mark
X
a__sel
0
cons
X
Y
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
f
X
a__f
mark
X
mark
g
X
a__g
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
s
X
s
mark
X
a__f
X
f
X
a__g
X
g
X
a__sel
X1
X2
sel
X1
X2
2.2
mark
f
X
mark
X
mark
g
X
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__sel
s
X
cons
Y
Z
mark
Z
a__g
s
X
mark
X
a__f
X
mark
X
mark
sel
X1
X2
mark
X1
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__g
s
X
a__g
mark
X
mark
g
X
a__g
mark
X
a__sel
0
cons
X
Y
mark
X
mark
cons
X1
X2
mark
X1
mark
f
X
a__f
mark
X
a__sel
s
X
cons
Y
Z
mark
X
mark
sel
X1
X2
mark
X2
mark
s
X
mark
X
true
mark
s
X
mark
X
mark
sel
X1
X2
mark
X1
mark
sel
X1
X2
mark
X2
a__f
X
mark
X
a__sel
s
X
cons
Y
Z
mark
X
mark
f
X
a__f
mark
X
mark
cons
X1
X2
mark
X1
a__sel
0
cons
X
Y
mark
X
a__g
s
X
mark
X
a__sel
s
X
cons
Y
Z
mark
Z
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
g
X
mark
X
mark
g
X
a__g
mark
X
a__g
s
X
a__g
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
f
X
mark
X
true
a__g
1
1
0
s
1
1
0
a__g
1
1
0
a__f
1
1
2242
f
1
1
2242
mark
1
1
0
0
0
1
sel
2
1
28884
2
1
0
a__sel
2
1
28884
2
1
0
mark
1
1
0
a__sel
2
1
28884
2
1
0
cons
2
1
1
2
0
0
a__f
1
1
2241
g
1
1
0
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
a__g
s
X
a__g
mark
X
mark
g
X
a__g
mark
X
mark
g
X
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__g
s
X
mark
X
mark
s
X
mark
X
a__sel
0
cons
X
Y
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__f
X
cons
mark
X
f
g
X
a__g
s
X
s
s
a__g
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
0
0
mark
g
X
a__g
mark
X
a__sel
X1
X2
sel
X1
X2
a__f
X
f
X
mark
s
X
s
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__g
X
g
X
mark
f
X
a__f
mark
X
a__g
0
s
0
a__g
s
X
mark
X
a__g
s
X
a__g
mark
X
mark
g
X
mark
X
mark
g
X
a__g
mark
X
mark
s
X
mark
X
true
a__g
1
1
mark
1
1
mark
1
1
a__g
1
4
1
s
1
3
1
a__f
1
0
f
1
0
0
0
2
sel
2
0
a__sel
2
0
1
a__sel
2
0
cons
2
0
a__f
1
0
g
1
4
1
a__g
1
1
0
s
1
1
0
a__f
1
1
1
f
1
1
1
0
0
0
sel
2
1
2
18588
a__sel
2
1
1
a__sel
2
1
2
18588
cons
2
1
0
2
0
0
a__f
1
1
g
1
1
0
a__sel
0
cons
X
Y
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__f
X
cons
mark
X
f
g
X
a__g
s
X
s
s
a__g
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
0
0
mark
g
X
a__g
mark
X
a__sel
X1
X2
sel
X1
X2
a__f
X
f
X
mark
s
X
s
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__g
X
g
X
mark
f
X
a__f
mark
X
a__g
0
s
0
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
false
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
true
a__g
1
1
mark
1
1
a__sel
2
1
mark
1
1
a__g
1
4
1
s
1
3
1
a__f
1
2
f
1
2
0
0
2
sel
2
2
a__sel
2
2
cons
2
2
a__f
1
0
g
1
4
1
a__g
1
1
0
s
1
1
0
a__f
1
1
25075
f
1
1
25075
0
0
0
sel
2
2
36069
a__sel
2
2
36069
cons
2
1
12457
2
0
0
a__f
1
1
g
1
1
0
a__sel
0
cons
X
Y
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__f
X
cons
mark
X
f
g
X
a__g
s
X
s
s
a__g
mark
X
a__sel
s
X
cons
Y
Z
a__sel
mark
X
mark
Z
mark
0
0
mark
g
X
a__g
mark
X
a__sel
X1
X2
sel
X1
X2
a__f
X
f
X
mark
s
X
s
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__g
X
g
X
mark
f
X
a__f
mark
X
a__g
0
s
0
NaTT
certifiable-1.6