zeroscons0zerosU11ttttU21ttttU31ttttU41ttV2U42isNatIListV2U42ttttU51ttV2U52isNatListV2U52ttttU61ttV2U62isNatIListV2U62ttttU71ttLNU72isNatNLU72ttLslengthLU81ttnilU91ttILMNU92isNatMILMNU92ttILMNU93isNatNILMNU93ttILMNconsNtakeMILisNat0ttisNatlengthV1U11isNatListV1isNatsV1U21isNatV1isNatIListVU31isNatListVisNatIListzerosttisNatIListconsV1V2U41isNatV1V2isNatListnilttisNatListconsV1V2U51isNatV1V2isNatListtakeV1V2U61isNatV1V2lengthnil0lengthconsNLU71isNatListLLNtake0ILU81isNatIListILtakesMconsNILU91isNatIListILILMNzeros0cons2100U1111tt0U2111U3111U4121U4211isNatIList1U5121U5211isNatList1U6121U6211U7131U7221isNat1s11length11U8111nil0U9141U9241U9341take212FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nokinds-noand.trs