and tt X length cons N s length L zeros cons 0 length nil 0 and 1 tt 0 length 1 cons 1 s 1 zeros 0 0 0 nil 0 FULL ./TRS/TRCSR/LengthOfFiniteLists_nosorts_L.trs