zeros cons 0 n__zeros and tt X activate X length nil 0 length cons N L s length activate L zeros n__zeros activate n__zeros zeros activate X X zeros 0 cons 2 0 0 n__zeros 0 and 2 tt 0 activate 1 length 1 nil 0 s 1 FULL ./TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs ./TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs