a__zeros
cons
0
zeros
a__tail
cons
X
XS
mark
XS
mark
zeros
a__zeros
mark
tail
X
a__tail
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
a__zeros
zeros
a__tail
X
tail
X
2.2
mark
cons
X1
X2
mark
X1
mark
tail
X
mark
X
mark
zeros
a__zeros
a__tail
cons
X
XS
mark
XS
mark
tail
X
a__tail
mark
X
true
mark
tail
X
a__tail
mark
X
a__tail
cons
X
XS
mark
XS
mark
tail
X
mark
X
mark
cons
X1
X2
mark
X1
true
zeros
0
1
tail
1
1
17223
mark
1
1
11797
0
0
17221
a__zeros
0
0
mark
1
1
29019
cons
2
1
2
11798
a__tail
1
1
17223
a__tail
1
1
0
a__zeros
0
29020
mark
tail
X
a__tail
mark
X
a__tail
X
tail
X
a__zeros
cons
0
zeros
mark
zeros
a__zeros
mark
cons
X1
X2
cons
mark
X1
X2
a__zeros
zeros
mark
0
0
a__tail
cons
X
XS
mark
XS
mark
zeros
a__zeros
false
NaTT
certifiable-1.6