zeroscons0zerosU11ttV1U12isNatListV1U12ttttU21ttV1U22isNatV1U22ttttU31ttVU32isNatListVU32ttttU41ttV1V2U42isNatV1V2U42ttV2U43isNatIListV2U43ttttU51ttV1V2U52isNatV1V2U52ttV2U53isNatListV2U53ttttU61ttV1V2U62isNatV1V2U62ttV2U63isNatIListV2U63ttttU71ttLslengthLU81ttnilU91ttILMNconsNtakeMILandttXXisNat0ttisNatlengthV1U11isNatIListKindV1V1isNatsV1U21isNatKindV1V1isNatIListVU31isNatIListKindVVisNatIListzerosttisNatIListconsV1V2U41andisNatKindV1isNatIListKindV2V1V2isNatIListKindnilttisNatIListKindzerosttisNatIListKindconsV1V2andisNatKindV1isNatIListKindV2isNatIListKindtakeV1V2andisNatKindV1isNatIListKindV2isNatKind0ttisNatKindlengthV1isNatIListKindV1isNatKindsV1isNatKindV1isNatListnilttisNatListconsV1V2U51andisNatKindV1isNatIListKindV2V1V2isNatListtakeV1V2U61andisNatKindV1isNatIListKindV2V1V2lengthnil0lengthconsNLU71andandisNatListLisNatIListKindLandisNatNisNatKindNLtake0ILU81andisNatIListILisNatIListKindILtakesMconsNILU91andandisNatIListILisNatIListKindILandandisNatMisNatKindMandisNatNisNatKindNILMNzeros0cons2100U1121tt0U1211isNatList1U2121U2211isNat1U3121U3211U4131U4221U4311isNatIList1U5131U5221U5311U6131U6221U6311U7121s11length11U8111nil0U9141take212and21isNatIListKind1isNatKind1FULL./TRS/CSR_Maude/lazy-nat-list/OvConsOS_complete.trs