zeroscons0n__zerosandttXactivateXlengthnil0lengthconsNLslengthactivateLzerosn__zerosactivaten__zeroszerosactivateXXzeros0cons200n__zeros0and2tt0activate1length1nil0s1FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs./TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs