zeroscons0zerosU11ttV1U12isNatIListKindV1V1U12ttV1U13isNatListV1U13ttttU21ttV1U22isNatKindV1V1U22ttV1U23isNatV1U23ttttU31ttVU32isNatIListKindVVU32ttVU33isNatListVU33ttttU41ttV1V2U42isNatKindV1V1V2U42ttV1V2U43isNatIListKindV2V1V2U43ttV1V2U44isNatIListKindV2V1V2U44ttV1V2U45isNatV1V2U45ttV2U46isNatIListV2U46ttttU51ttV2U52isNatIListKindV2U52ttttU61ttttU71ttttU81ttV1V2U82isNatKindV1V1V2U82ttV1V2U83isNatIListKindV2V1V2U83ttV1V2U84isNatIListKindV2V1V2U84ttV1V2U85isNatV1V2U85ttV2U86isNatListV2U86ttttU91ttLNU92isNatIListKindLLNU92ttLNU93isNatNLNU93ttLNU94isNatKindNLU94ttLslengthLisNat0ttisNatlengthV1U11isNatIListKindV1V1isNatsV1U21isNatKindV1V1isNatIListVU31isNatIListKindVVisNatIListzerosttisNatIListconsV1V2U41isNatKindV1V1V2isNatIListKindnilttisNatIListKindzerosttisNatIListKindconsV1V2U51isNatKindV1V2isNatKind0ttisNatKindlengthV1U61isNatIListKindV1isNatKindsV1U71isNatKindV1isNatListnilttisNatListconsV1V2U81isNatKindV1V1V2lengthnil0lengthconsNLU91isNatListLLNzeros0cons2100U1121tt0U1221isNatIListKind1U1311isNatList1U2121U2221isNatKind1U2311isNat1U3121U3221U3311U4131U4231U4331U4431U4521U4611isNatIList1U5121U5211U6111U7111U8131U8231U8331U8431U8521U8611U9131U9231U9331U9421s11length11nil0FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_complete-noand.trs