zeros cons 0 zeros U11 tt V1 U12 isNatIListKind V1 V1 U12 tt V1 U13 isNatList V1 U13 tt tt U21 tt V1 U22 isNatKind V1 V1 U22 tt V1 U23 isNat V1 U23 tt tt U31 tt V U32 isNatIListKind V V U32 tt V U33 isNatList V U33 tt tt U41 tt V1 V2 U42 isNatKind V1 V1 V2 U42 tt V1 V2 U43 isNatIListKind V2 V1 V2 U43 tt V1 V2 U44 isNatIListKind V2 V1 V2 U44 tt V1 V2 U45 isNat V1 V2 U45 tt V2 U46 isNatIList V2 U46 tt tt U51 tt V2 U52 isNatIListKind V2 U52 tt tt U61 tt tt U71 tt tt U81 tt V1 V2 U82 isNatKind V1 V1 V2 U82 tt V1 V2 U83 isNatIListKind V2 V1 V2 U83 tt V1 V2 U84 isNatIListKind V2 V1 V2 U84 tt V1 V2 U85 isNat V1 V2 U85 tt V2 U86 isNatList V2 U86 tt tt U91 tt L N U92 isNatIListKind L L N U92 tt L N U93 isNat N L N U93 tt L N U94 isNatKind N L U94 tt L s length L isNat 0 tt isNat length V1 U11 isNatIListKind V1 V1 isNat s V1 U21 isNatKind V1 V1 isNatIList V U31 isNatIListKind V V isNatIList zeros tt isNatIList cons V1 V2 U41 isNatKind V1 V1 V2 isNatIListKind nil tt isNatIListKind zeros tt isNatIListKind cons V1 V2 U51 isNatKind V1 V2 isNatKind 0 tt isNatKind length V1 U61 isNatIListKind V1 isNatKind s V1 U71 isNatKind V1 isNatList nil tt isNatList cons V1 V2 U81 isNatKind V1 V1 V2 length nil 0 length cons N L U91 isNatList L L N zeros 0 cons 2 1 0 0 U11 2 1 tt 0 U12 2 1 isNatIListKind 1 U13 1 1 isNatList 1 U21 2 1 U22 2 1 isNatKind 1 U23 1 1 isNat 1 U31 2 1 U32 2 1 U33 1 1 U41 3 1 U42 3 1 U43 3 1 U44 3 1 U45 2 1 U46 1 1 isNatIList 1 U51 2 1 U52 1 1 U61 1 1 U71 1 1 U81 3 1 U82 3 1 U83 3 1 U84 3 1 U85 2 1 U86 1 1 U91 3 1 U92 3 1 U93 3 1 U94 2 1 s 1 1 length 1 1 nil 0 FULL ./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_complete-noand.trs