U12ttslengthLzeroscons0U11ttU12ttlengthnil0lengthconsNU11ttU121tt0s1length1zeros0cons100U111nil0FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L.trs