zeroscons0zerosU11ttLslengthLandttXXisNat0ttisNatlengthV1isNatListV1isNatsV1isNatV1isNatIListVisNatListVisNatIListzerosttisNatIListconsV1V2andisNatV1isNatIListV2isNatListnilttisNatListconsV1V2andisNatV1isNatListV2lengthnil0lengthconsNLU11andisNatListLisNatNLzeros0cons2100U1121tt0s11length11and21isNat1isNatList1isNatIList1nil0FULL./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nokinds.trs