zeroscons0zerosU11ttttU21ttttU31ttttU41ttV2U42isNatIListV2U42ttttU51ttV2U52isNatListV2U52ttttU61ttLNU62isNatNLU62ttLslengthLisNat0ttisNatlengthV1U11isNatListV1isNatsV1U21isNatV1isNatIListVU31isNatListVisNatIListzerosttisNatIListconsV1V2U41isNatV1V2isNatListnilttisNatListconsV1V2U51isNatV1V2lengthnil0lengthconsNLU61isNatListLLNzeros0cons2100U1111tt0U2111U3111U4121U4211isNatIList1U5121U5211isNatList1U6131U6221isNat1s11length11nil0FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nokinds-noand.trs