a__zeros
cons
0
zeros
a__and
tt
X
mark
X
a__length
nil
0
a__length
cons
N
L
s
a__length
mark
L
mark
zeros
a__zeros
mark
and
X1
X2
a__and
mark
X1
X2
mark
length
X
a__length
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
tt
tt
mark
nil
nil
mark
s
X
s
mark
X
a__zeros
zeros
a__and
X1
X2
and
X1
X2
a__length
X
length
X
a__zeros
0
cons
2
0
0
zeros
0
a__and
2
tt
0
mark
1
a__length
1
nil
0
s
1
and
2
length
1
INNERMOST
./TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs