zeroscons0zerosU11ttLU12ttLU12ttLslengthLlengthnil0lengthconsNLU11ttLzeros0cons2100U1121tt0U1221s11length11nil0FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nosorts-noand.trs