zeroscons0zerosU11ttLU12ttLU12ttLslengthLU21ttILMNU22ttILMNU22ttILMNU23ttILMNU23ttILMNconsNtakeMILlengthnil0lengthconsNLU11ttLtake0ILniltakesMconsNILU21ttILMNzeros0cons2100U1121tt0U1221s11length11U2141U2241U2341take212nil0FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nosorts-noand.trs