zeroscons0zerosU11ttV1U12isNatListV1U12ttttU21ttV1U22isNatV1U22ttttU31ttVU32isNatListVU32ttttU41ttV1V2U42isNatV1V2U42ttV2U43isNatIListV2U43ttttU51ttV1V2U52isNatV1V2U52ttV2U53isNatListV2U53ttttU61ttLslengthLandttXXisNat0ttisNatlengthV1U11isNatIListKindV1V1isNatsV1U21isNatKindV1V1isNatIListVU31isNatIListKindVVisNatIListzerosttisNatIListconsV1V2U41andisNatKindV1isNatIListKindV2V1V2isNatIListKindnilttisNatIListKindzerosttisNatIListKindconsV1V2andisNatKindV1isNatIListKindV2isNatKind0ttisNatKindlengthV1isNatIListKindV1isNatKindsV1isNatKindV1isNatListnilttisNatListconsV1V2U51andisNatKindV1isNatIListKindV2V1V2lengthnil0lengthconsNLU61andandisNatListLisNatIListKindLandisNatNisNatKindNLzeros0cons2100U1121tt0U1211isNatList1U2121U2211isNat1U3121U3211U4131U4221U4311isNatIList1U5131U5221U5311U6121s11length11and21isNatIListKind1isNatKind1nil0FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_complete.trs