zeros cons 0 n__zeros U11 tt L U12 tt activate L U12 tt L s length activate L length nil 0 length cons N L U11 tt activate L zeros n__zeros activate n__zeros zeros activate X X zeros 0 cons 2 0 0 n__zeros 0 U11 2 tt 0 U12 2 activate 1 s 1 length 1 nil 0 FULL ./TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs ./TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs