a__zeros cons 0 zeros a__U11 tt L a__U12 tt L a__U12 tt L s a__length mark L a__length nil 0 a__length cons N L a__U11 tt L mark zeros a__zeros mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X1 X2 a__U12 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 s X s mark X mark nil nil a__zeros zeros a__U11 X1 X2 U11 X1 X2 a__U12 X1 X2 U12 X1 X2 a__length X length X a__zeros 0 cons 2 0 0 zeros 0 a__U11 2 tt 0 a__U12 2 s 1 a__length 1 mark 1 nil 0 U11 2 U12 2 length 1 INNERMOST ./TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM.trs