zeroscons0zerosU101ttV1V2U102isNatKindV1V1V2U102ttV1V2U103isNatIListKindV2V1V2U103ttV1V2U104isNatIListKindV2V1V2U104ttV1V2U105isNatV1V2U105ttV2U106isNatIListV2U106ttttU11ttV1U12isNatIListKindV1V1U111ttLNU112isNatIListKindLLNU112ttLNU113isNatNLNU113ttLNU114isNatKindNLU114ttLslengthLU12ttV1U13isNatListV1U121ttILU122isNatIListKindILU122ttnilU13ttttU131ttILMNU132isNatIListKindILILMNU132ttILMNU133isNatMILMNU133ttILMNU134isNatKindMILMNU134ttILMNU135isNatNILMNU135ttILMNU136isNatKindNILMNU136ttILMNconsNtakeMILU21ttV1U22isNatKindV1V1U22ttV1U23isNatV1U23ttttU31ttVU32isNatIListKindVVU32ttVU33isNatListVU33ttttU41ttV1V2U42isNatKindV1V1V2U42ttV1V2U43isNatIListKindV2V1V2U43ttV1V2U44isNatIListKindV2V1V2U44ttV1V2U45isNatV1V2U45ttV2U46isNatIListV2U46ttttU51ttV2U52isNatIListKindV2U52ttttU61ttV2U62isNatIListKindV2U62ttttU71ttttU81ttttU91ttV1V2U92isNatKindV1V1V2U92ttV1V2U93isNatIListKindV2V1V2U93ttV1V2U94isNatIListKindV2V1V2U94ttV1V2U95isNatV1V2U95ttV2U96isNatListV2U96ttttisNat0ttisNatlengthV1U11isNatIListKindV1V1isNatsV1U21isNatKindV1V1isNatIListVU31isNatIListKindVVisNatIListzerosttisNatIListconsV1V2U41isNatKindV1V1V2isNatIListKindnilttisNatIListKindzerosttisNatIListKindconsV1V2U51isNatKindV1V2isNatIListKindtakeV1V2U61isNatKindV1V2isNatKind0ttisNatKindlengthV1U71isNatIListKindV1isNatKindsV1U81isNatKindV1isNatListnilttisNatListconsV1V2U91isNatKindV1V1V2isNatListtakeV1V2U101isNatKindV1V1V2lengthnil0lengthconsNLU111isNatListLLNtake0ILU121isNatIListILILtakesMconsNILU131isNatIListILILMNzeros0cons2100U10131tt0U10231isNatKind1U10331isNatIListKind1U10431U10521isNat1U10611isNatIList1U1121U1221U11131U11231U11331U11421s11length11U1311isNatList1U12121U12211nil0U13141U13241U13341U13441U13541U13641take212U2121U2221U2311U3121U3221U3311U4131U4231U4331U4431U4521U4611U5121U5211U6121U6211U7111U8111U9131U9231U9331U9431U9521U9611FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_complete-noand.trs