andttXlengthconsNslengthLzeroscons0lengthnil0and1tt0length1cons1s1zeros000nil0FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts_L.trs