zeros cons 0 n__zeros U101 tt V1 V2 U102 isNatKind activate V1 activate V1 activate V2 U102 tt V1 V2 U103 isNatIListKind activate V2 activate V1 activate V2 U103 tt V1 V2 U104 isNatIListKind activate V2 activate V1 activate V2 U104 tt V1 V2 U105 isNat activate V1 activate V2 U105 tt V2 U106 isNatIList activate V2 U106 tt tt U11 tt V1 U12 isNatIListKind activate V1 activate V1 U111 tt L N U112 isNatIListKind activate L activate L activate N U112 tt L N U113 isNat activate N activate L activate N U113 tt L N U114 isNatKind activate N activate L U114 tt L s length activate L U12 tt V1 U13 isNatList activate V1 U121 tt IL U122 isNatIListKind activate IL U122 tt nil U13 tt tt U131 tt IL M N U132 isNatIListKind activate IL activate IL activate M activate N U132 tt IL M N U133 isNat activate M activate IL activate M activate N U133 tt IL M N U134 isNatKind activate M activate IL activate M activate N U134 tt IL M N U135 isNat activate N activate IL activate M activate N U135 tt IL M N U136 isNatKind activate N activate IL activate M activate N U136 tt IL M N cons activate N n__take activate M activate IL U21 tt V1 U22 isNatKind activate V1 activate V1 U22 tt V1 U23 isNat activate V1 U23 tt tt U31 tt V U32 isNatIListKind activate V activate V U32 tt V U33 isNatList activate V U33 tt tt U41 tt V1 V2 U42 isNatKind activate V1 activate V1 activate V2 U42 tt V1 V2 U43 isNatIListKind activate V2 activate V1 activate V2 U43 tt V1 V2 U44 isNatIListKind activate V2 activate V1 activate V2 U44 tt V1 V2 U45 isNat activate V1 activate V2 U45 tt V2 U46 isNatIList activate V2 U46 tt tt U51 tt V2 U52 isNatIListKind activate V2 U52 tt tt U61 tt V2 U62 isNatIListKind activate V2 U62 tt tt U71 tt tt U81 tt tt U91 tt V1 V2 U92 isNatKind activate V1 activate V1 activate V2 U92 tt V1 V2 U93 isNatIListKind activate V2 activate V1 activate V2 U93 tt V1 V2 U94 isNatIListKind activate V2 activate V1 activate V2 U94 tt V1 V2 U95 isNat activate V1 activate V2 U95 tt V2 U96 isNatList activate V2 U96 tt tt isNat n__0 tt isNat n__length V1 U11 isNatIListKind activate V1 activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 isNatIList V U31 isNatIListKind activate V activate V isNatIList n__zeros tt isNatIList n__cons V1 V2 U41 isNatKind activate V1 activate V1 activate V2 isNatIListKind n__nil tt isNatIListKind n__zeros tt isNatIListKind n__cons V1 V2 U51 isNatKind activate V1 activate V2 isNatIListKind n__take V1 V2 U61 isNatKind activate V1 activate V2 isNatKind n__0 tt isNatKind n__length V1 U71 isNatIListKind activate V1 isNatKind n__s V1 U81 isNatKind activate V1 isNatList n__nil tt isNatList n__cons V1 V2 U91 isNatKind activate V1 activate V1 activate V2 isNatList n__take V1 V2 U101 isNatKind activate V1 activate V1 activate V2 length nil 0 length cons N L U111 isNatList activate L activate L N take 0 IL U121 isNatIList IL IL take s M cons N IL U131 isNatIList activate IL activate IL M N zeros n__zeros take X1 X2 n__take X1 X2 0 n__0 length X n__length X s X n__s X cons X1 X2 n__cons X1 X2 nil n__nil activate n__zeros zeros activate n__take X1 X2 take X1 X2 activate n__0 0 activate n__length X length X activate n__s X s X activate n__cons X1 X2 cons X1 X2 activate n__nil nil activate X X zeros 0 cons 2 0 0 n__zeros 0 U101 3 tt 0 U102 3 isNatKind 1 activate 1 U103 3 isNatIListKind 1 U104 3 U105 2 isNat 1 U106 1 isNatIList 1 U11 2 U12 2 U111 3 U112 3 U113 3 U114 2 s 1 length 1 U13 1 isNatList 1 U121 2 U122 1 nil 0 U131 4 U132 4 U133 4 U134 4 U135 4 U136 4 n__take 2 U21 2 U22 2 U23 1 U31 2 U32 2 U33 1 U41 3 U42 3 U43 3 U44 3 U45 2 U46 1 U51 2 U52 1 U61 2 U62 1 U71 1 U81 1 U91 3 U92 3 U93 3 U94 3 U95 2 U96 1 n__0 0 n__length 1 n__s 1 n__cons 2 n__nil 0 take 2 FULL ./TRS/TRCSR/OvConsOS_complete-noand_Z.trs