zeroscons0zerosandttXXlengthnil0lengthconsNLslengthLzeros0cons2100and21tt0length11nil0s11FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nosorts.trs