zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthnil0lengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXXzeros0cons200n__zeros0U112tt0U122activate1s1length1nil0INNERMOST./TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs./TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs