zeroscons0zerosU11ttLslengthLU21ttnilU31ttILMNconsNtakeMILandttXXisNat0ttisNatlengthV1isNatListV1isNatsV1isNatV1isNatIListVisNatListVisNatIListzerosttisNatIListconsV1V2andisNatV1isNatIListV2isNatListnilttisNatListconsV1V2andisNatV1isNatListV2isNatListtakeV1V2andisNatV1isNatIListV2lengthnil0lengthconsNLU11andisNatListLisNatNLtake0ILU21isNatIListILtakesMconsNILU31andisNatIListILandisNatMisNatNILMNzeros0cons2100U1121tt0s11length11U2111nil0U3141take212and21isNat1isNatList1isNatIList1FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nokinds.trs