U12ttslengthLzeroscons0U11ttU12ttlengthnil0lengthconsNU11ttU121tt0s1length1zeros0cons100U111nil0OUTERMOST./TRS/outermost/TRCSR/LengthOfFiniteLists_nosorts-noand_L.trs