zeros cons 0 zeros U101 tt V1 V2 U102 isNatKind V1 V1 V2 U102 tt V1 V2 U103 isNatIListKind V2 V1 V2 U103 tt V1 V2 U104 isNatIListKind V2 V1 V2 U104 tt V1 V2 U105 isNat V1 V2 U105 tt V2 U106 isNatIList V2 U106 tt tt U11 tt V1 U12 isNatIListKind V1 V1 U111 tt L N U112 isNatIListKind L L N U112 tt L N U113 isNat N L N U113 tt L N U114 isNatKind N L U114 tt L s length L U12 tt V1 U13 isNatList V1 U121 tt IL U122 isNatIListKind IL U122 tt nil U13 tt tt U131 tt IL M N U132 isNatIListKind IL IL M N U132 tt IL M N U133 isNat M IL M N U133 tt IL M N U134 isNatKind M IL M N U134 tt IL M N U135 isNat N IL M N U135 tt IL M N U136 isNatKind N IL M N U136 tt IL M N cons N take M IL 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 V2 U62 isNatIListKind V2 U62 tt tt U71 tt tt U81 tt tt U91 tt V1 V2 U92 isNatKind V1 V1 V2 U92 tt V1 V2 U93 isNatIListKind V2 V1 V2 U93 tt V1 V2 U94 isNatIListKind V2 V1 V2 U94 tt V1 V2 U95 isNat V1 V2 U95 tt V2 U96 isNatList V2 U96 tt tt 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 isNatIListKind take V1 V2 U61 isNatKind V1 V2 isNatKind 0 tt isNatKind length V1 U71 isNatIListKind V1 isNatKind s V1 U81 isNatKind V1 isNatList nil tt isNatList cons V1 V2 U91 isNatKind V1 V1 V2 isNatList take V1 V2 U101 isNatKind V1 V1 V2 length nil 0 length cons N L U111 isNatList L L N take 0 IL U121 isNatIList IL IL take s M cons N IL U131 isNatIList IL IL M N zeros 0 cons 2 1 0 0 U101 3 1 tt 0 U102 3 1 isNatKind 1 U103 3 1 isNatIListKind 1 U104 3 1 U105 2 1 isNat 1 U106 1 1 isNatIList 1 U11 2 1 U12 2 1 U111 3 1 U112 3 1 U113 3 1 U114 2 1 s 1 1 length 1 1 U13 1 1 isNatList 1 U121 2 1 U122 1 1 nil 0 U131 4 1 U132 4 1 U133 4 1 U134 4 1 U135 4 1 U136 4 1 take 2 1 2 U21 2 1 U22 2 1 U23 1 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 U51 2 1 U52 1 1 U61 2 1 U62 1 1 U71 1 1 U81 1 1 U91 3 1 U92 3 1 U93 3 1 U94 3 1 U95 2 1 U96 1 1 FULL ./TRS/CSR_Maude/lazy-nat-list/OvConsOS_complete-noand.trs