zeroscons0zerosandttXXlengthnil0lengthconsNLslengthLtake0ILniltakesMconsNILconsNtakeMILzeros0cons2100and21tt0length11nil0s11take212FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nosorts.trs