andttXlengthconsNslengthLzeroscons0lengthnil0and1tt0length1cons1s1zeros000nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_nosorts_L.trs