zeros cons 0 zeros U11 tt tt U21 tt tt U31 tt tt U41 tt V2 U42 isNatIList V2 U42 tt tt U51 tt V2 U52 isNatList V2 U52 tt tt U61 tt V2 U62 isNatIList V2 U62 tt tt U71 tt L N U72 isNat N L U72 tt L s length L U81 tt nil U91 tt IL M N U92 isNat M IL M N U92 tt IL M N U93 isNat N IL M N U93 tt IL M N cons N take M IL isNat 0 tt isNat length V1 U11 isNatList V1 isNat s V1 U21 isNat V1 isNatIList V U31 isNatList V isNatIList zeros tt isNatIList cons V1 V2 U41 isNat V1 V2 isNatList nil tt isNatList cons V1 V2 U51 isNat V1 V2 isNatList take V1 V2 U61 isNat V1 V2 length nil 0 length cons N L U71 isNatList L L N take 0 IL U81 isNatIList IL take s M cons N IL U91 isNatIList IL IL M N zeros 0 cons 2 1 0 0 U11 1 1 tt 0 U21 1 1 U31 1 1 U41 2 1 U42 1 1 isNatIList 1 U51 2 1 U52 1 1 isNatList 1 U61 2 1 U62 1 1 U71 3 1 U72 2 1 isNat 1 s 1 1 length 1 1 U81 1 1 nil 0 U91 4 1 U92 4 1 U93 4 1 take 2 1 2 FULL ./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nokinds-noand.trs