Unexpected SMT solver response to 'check-sat': ERR 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 2.2 U101 tt V1 V2 isNatKind activate V1 U114 tt L activate L isNatKind n__length V1 isNatIListKind activate V1 U91 tt V1 V2 isNatKind activate V1 U61 tt V2 activate V2 U95 tt V2 activate V2 U111 tt L N activate L U135 tt IL M N activate N isNatList n__cons V1 V2 isNatKind activate V1 isNatKind n__length V1 U71 isNatIListKind activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 U103 tt V1 V2 activate V2 U136 tt IL M N activate M isNatIListKind n__take V1 V2 activate V1 activate n__zeros zeros isNat n__length V1 isNatIListKind activate V1 isNatIList n__cons V1 V2 activate V2 U121 tt IL activate IL U44 tt V1 V2 activate V2 U121 tt IL U122 isNatIListKind activate IL U43 tt V1 V2 activate V2 U22 tt V1 U23 isNat activate V1 isNatList n__cons V1 V2 activate V1 U11 tt V1 activate V1 isNatKind n__s V1 U81 isNatKind activate V1 U31 tt V activate V U113 tt L N activate L U136 tt IL M N cons activate N n__take activate M activate IL U104 tt V1 V2 activate V1 isNatList n__cons V1 V2 activate V1 U134 tt IL M N activate M U22 tt V1 activate V1 U135 tt IL M N activate IL isNatIList n__cons V1 V2 activate V1 U22 tt V1 isNat activate V1 length nil 0 isNatIListKind n__cons V1 V2 activate V1 U104 tt V1 V2 isNat activate V1 isNatIList n__cons V1 V2 activate V1 U131 tt IL M N activate M U12 tt V1 isNatList activate V1 isNat n__length V1 activate V1 U32 tt V U33 isNatList activate V U131 tt IL M N U132 isNatIListKind activate IL activate IL activate M activate N isNat n__s V1 isNatKind activate V1 U131 tt IL M N isNatIListKind activate IL U93 tt V1 V2 U94 isNatIListKind activate V2 activate V1 activate V2 U103 tt V1 V2 activate V2 U133 tt IL M N isNatKind activate M isNatIListKind n__cons V1 V2 activate V2 U122 tt nil isNatIList n__cons V1 V2 U41 isNatKind activate V1 activate V1 activate V2 length cons N L activate L isNatKind n__s V1 activate V1 U111 tt L N activate N activate n__take X1 X2 take X1 X2 U43 tt V1 V2 activate V1 take 0 IL isNatIList IL U42 tt V1 V2 activate V2 U105 tt V2 isNatIList activate V2 U41 tt V1 V2 activate V1 U93 tt V1 V2 activate V1 isNatIList V activate V U41 tt V1 V2 U42 isNatKind activate V1 activate V1 activate V2 U121 tt IL isNatIListKind activate IL U131 tt IL M N activate IL isNatIListKind n__cons V1 V2 isNatKind activate V1 U103 tt V1 V2 activate V1 U21 tt V1 U22 isNatKind activate V1 activate V1 U133 tt IL M N activate IL U11 tt V1 isNatIListKind activate V1 U42 tt V1 V2 activate V2 isNatIListKind n__take V1 V2 isNatKind activate V1 U92 tt V1 V2 isNatIListKind activate V2 U45 tt V2 U46 isNatIList activate V2 U113 tt L N activate N U92 tt V1 V2 U93 isNatIListKind activate V2 activate V1 activate V2 U112 tt L N activate L U95 tt V2 U96 isNatList activate V2 isNat n__s V1 activate V1 U21 tt V1 activate V1 isNatList n__cons V1 V2 U91 isNatKind activate V1 activate V1 activate V2 isNatIListKind n__take V1 V2 activate V2 isNatIList V activate V isNatIList V isNatIListKind activate V U113 tt L N isNatKind activate N U132 tt IL M N activate N isNatList n__take V1 V2 isNatKind activate V1 U41 tt V1 V2 isNatKind activate V1 U91 tt V1 V2 activate V1 U133 tt IL M N U134 isNatKind activate M activate IL activate M activate N U21 tt V1 activate V1 isNatIListKind n__cons V1 V2 U51 isNatKind activate V1 activate V2 U43 tt V1 V2 activate V2 length cons N L activate L U95 tt V2 isNatList activate V2 isNatIList n__cons V1 V2 isNatKind activate V1 U41 tt V1 V2 activate V1 U132 tt IL M N activate M U42 tt V1 V2 isNatIListKind activate V2 U102 tt V1 V2 activate V2 U12 tt V1 activate V1 U91 tt V1 V2 activate V1 isNatIList V U31 isNatIListKind activate V activate V U105 tt V2 activate V2 isNatList n__cons V1 V2 activate V2 U92 tt V1 V2 activate V2 length cons N L U111 isNatList activate L activate L N U133 tt IL M N activate M U42 tt V1 V2 activate V1 U112 tt L N activate N take s M cons N IL isNatIList activate IL U135 tt IL M N activate M U112 tt L N isNat activate N U31 tt V activate V U43 tt V1 V2 isNatIListKind activate V2 U93 tt V1 V2 isNatIListKind activate V2 U132 tt IL M N activate IL isNat n__length V1 activate V1 U32 tt V activate V U45 tt V2 activate V2 U93 tt V1 V2 activate V2 activate n__cons X1 X2 cons X1 X2 U135 tt IL M N U136 isNatKind activate N activate IL activate M activate N U134 tt IL M N U135 isNat activate N activate IL activate M activate N isNatIListKind n__take V1 V2 U61 isNatKind activate V1 activate V2 U111 tt L N isNatIListKind activate L U61 tt V2 U62 isNatIListKind activate V2 activate n__0 0 U44 tt V1 V2 activate V1 U102 tt V1 V2 activate V1 U134 tt IL M N isNat activate N U101 tt V1 V2 activate V2 isNatKind n__length V1 activate V1 U111 tt L N activate L U136 tt IL M N activate N U91 tt V1 V2 U92 isNatKind activate V1 activate V1 activate V2 take s M cons N IL activate IL U112 tt L N activate N U133 tt IL M N activate N U61 tt V2 isNatIListKind activate V2 U31 tt V U32 isNatIListKind activate V activate V U102 tt V1 V2 activate V2 U114 tt L s length activate L U43 tt V1 V2 U44 isNatIListKind activate V2 activate V1 activate V2 U103 tt V1 V2 U104 isNatIListKind activate V2 activate V1 activate V2 U131 tt IL M N activate IL U92 tt V1 V2 activate V2 U104 tt V1 V2 U105 isNat activate V1 activate V2 U94 tt V1 V2 activate V2 U94 tt V1 V2 isNat activate V1 U44 tt V1 V2 isNat activate V1 zeros cons 0 n__zeros U136 tt IL M N activate IL U12 tt V1 U13 isNatList activate V1 U132 tt IL M N activate M isNat n__s V1 activate V1 activate n__nil nil U31 tt V isNatIListKind activate V U51 tt V2 isNatIListKind activate V2 U91 tt V1 V2 activate V2 take s M cons N IL U131 isNatIList activate IL activate IL M N U94 tt V1 V2 activate V1 U112 tt L N U113 isNat activate N activate L activate N U11 tt V1 activate V1 activate n__length X length X U135 tt IL M N isNatKind activate N U111 tt L N U112 isNatIListKind activate L activate L activate N U45 tt V2 isNatIList activate V2 U42 tt V1 V2 U43 isNatIListKind activate V2 activate V1 activate V2 U92 tt V1 V2 activate V1 isNatList n__take V1 V2 U101 isNatKind activate V1 activate V1 activate V2 U114 tt L length activate L U102 tt V1 V2 U103 isNatIListKind activate V2 activate V1 activate V2 U134 tt IL M N activate IL U113 tt L N U114 isNatKind activate N activate L length cons N L isNatList activate L isNat n__length V1 U11 isNatIListKind activate V1 activate V1 take s M cons N IL activate IL U51 tt V2 U52 isNatIListKind activate V2 U101 tt V1 V2 activate V1 U131 tt IL M N activate N U21 tt V1 isNatKind activate V1 U101 tt V1 V2 U102 isNatKind activate V1 activate V1 activate V2 U104 tt V1 V2 activate V2 U134 tt IL M N activate N isNatKind n__s V1 isNatKind activate V1 U103 tt V1 V2 isNatIListKind activate V2 U132 tt IL M N U133 isNat activate M activate IL activate M activate N U44 tt V1 V2 U45 isNat activate V1 activate V2 U93 tt V1 V2 activate V2 U132 tt IL M N isNat activate M U32 tt V isNatList activate V U133 tt IL M N activate M U94 tt V1 V2 U95 isNat activate V1 activate V2 U134 tt IL M N activate N U135 tt IL M N activate N U41 tt V1 V2 activate V2 take 0 IL U121 isNatIList IL IL isNatList n__take V1 V2 activate V1 U11 tt V1 U12 isNatIListKind activate V1 activate V1 isNatList n__take V1 V2 activate V1 U101 tt V1 V2 activate V1 zeros 0 isNatList n__take V1 V2 activate V2 activate n__s X s X U105 tt V2 U106 isNatIList activate V2 U51 tt V2 activate V2 U102 tt V1 V2 isNatIListKind activate V2 true U102 tt V1 V2 isNatIListKind activate V2 U112 tt L N activate N U51 tt V2 activate V2 U133 tt IL M N activate M U42 tt V1 V2 activate V1 length cons N L U111 isNatList activate L activate L N isNatList n__take V1 V2 activate V2 U92 tt V1 V2 activate V2 U105 tt V2 activate V2 isNatList n__cons V1 V2 activate V2 isNatIList V U31 isNatIListKind activate V activate V U101 tt V1 V2 activate V1 U102 tt V1 V2 activate V2 U12 tt V1 activate V1 U91 tt V1 V2 activate V1 U11 tt V1 U12 isNatIListKind activate V1 activate V1 isNatList n__take V1 V2 activate V1 U132 tt IL M N activate M U42 tt V1 V2 isNatIListKind activate V2 isNatList n__take V1 V2 activate V1 isNatIList n__cons V1 V2 isNatKind activate V1 U41 tt V1 V2 activate V1 take 0 IL U121 isNatIList IL IL U95 tt V2 isNatList activate V2 U41 tt V1 V2 activate V2 length cons N L activate L U43 tt V1 V2 activate V2 U135 tt IL M N activate N U21 tt V1 activate V1 isNatIListKind n__cons V1 V2 U51 isNatKind activate V1 activate V2 U133 tt IL M N U134 isNatKind activate M activate IL activate M activate N U91 tt V1 V2 activate V1 U134 tt IL M N activate N U41 tt V1 V2 isNatKind activate V1 U94 tt V1 V2 U95 isNat activate V1 activate V2 U132 tt IL M N activate N isNatList n__take V1 V2 isNatKind activate V1 U133 tt IL M N activate M U113 tt L N isNatKind activate N U132 tt IL M N isNat activate M U32 tt V isNatList activate V isNatIList V isNatIListKind activate V U132 tt IL M N U133 isNat activate M activate IL activate M activate N U44 tt V1 V2 U45 isNat activate V1 activate V2 U93 tt V1 V2 activate V2 isNatIList V activate V isNatIListKind n__take V1 V2 activate V2 U103 tt V1 V2 isNatIListKind activate V2 isNatList n__cons V1 V2 U91 isNatKind activate V1 activate V1 activate V2 isNatKind n__s V1 isNatKind activate V1 U21 tt V1 activate V1 U134 tt IL M N activate N isNat n__s V1 activate V1 U104 tt V1 V2 activate V2 U112 tt L N activate L U101 tt V1 V2 U102 isNatKind activate V1 activate V1 activate V2 U92 tt V1 V2 U93 isNatIListKind activate V2 activate V1 activate V2 U21 tt V1 isNatKind activate V1 U113 tt L N activate N U131 tt IL M N activate N U101 tt V1 V2 activate V1 U92 tt V1 V2 isNatIListKind activate V2 U11 tt V1 isNatIListKind activate V1 U42 tt V1 V2 activate V2 isNatIListKind n__take V1 V2 isNatKind activate V1 take s M cons N IL activate IL U133 tt IL M N activate IL U21 tt V1 U22 isNatKind activate V1 activate V1 isNat n__length V1 U11 isNatIListKind activate V1 activate V1 U103 tt V1 V2 activate V1 length cons N L isNatList activate L U131 tt IL M N activate IL isNatIListKind n__cons V1 V2 isNatKind activate V1 U113 tt L N U114 isNatKind activate N activate L U102 tt V1 V2 U103 isNatIListKind activate V2 activate V1 activate V2 U134 tt IL M N activate IL U114 tt L length activate L isNatList n__take V1 V2 U101 isNatKind activate V1 activate V1 activate V2 U121 tt IL isNatIListKind activate IL U42 tt V1 V2 U43 isNatIListKind activate V2 activate V1 activate V2 U92 tt V1 V2 activate V1 U41 tt V1 V2 U42 isNatKind activate V1 activate V1 activate V2 isNatIList V activate V U93 tt V1 V2 activate V1 U45 tt V2 isNatIList activate V2 U41 tt V1 V2 activate V1 U111 tt L N U112 isNatIListKind activate L activate L activate N activate n__length X length X U135 tt IL M N isNatKind activate N U42 tt V1 V2 activate V2 U105 tt V2 isNatIList activate V2 take 0 IL isNatIList IL U11 tt V1 activate V1 U112 tt L N U113 isNat activate N activate L activate N U94 tt V1 V2 activate V1 U91 tt V1 V2 activate V2 take s M cons N IL U131 isNatIList activate IL activate IL M N U43 tt V1 V2 activate V1 U31 tt V isNatIListKind activate V U51 tt V2 isNatIListKind activate V2 activate n__take X1 X2 take X1 X2 U111 tt L N activate N length cons N L activate L isNatKind n__s V1 activate V1 isNat n__s V1 activate V1 isNatIList n__cons V1 V2 U41 isNatKind activate V1 activate V1 activate V2 U132 tt IL M N activate M U136 tt IL M N activate IL U133 tt IL M N isNatKind activate M isNatIListKind n__cons V1 V2 activate V2 U103 tt V1 V2 activate V2 U44 tt V1 V2 isNat activate V1 U131 tt IL M N isNatIListKind activate IL U93 tt V1 V2 U94 isNatIListKind activate V2 activate V1 activate V2 U94 tt V1 V2 activate V2 U94 tt V1 V2 isNat activate V1 isNat n__s V1 isNatKind activate V1 U104 tt V1 V2 U105 isNat activate V1 activate V2 U131 tt IL M N U132 isNatIListKind activate IL activate IL activate M activate N U92 tt V1 V2 activate V2 U103 tt V1 V2 U104 isNatIListKind activate V2 activate V1 activate V2 U131 tt IL M N activate IL U131 tt IL M N activate M U12 tt V1 isNatList activate V1 isNat n__length V1 activate V1 U43 tt V1 V2 U44 isNatIListKind activate V2 activate V1 activate V2 U104 tt V1 V2 isNat activate V1 isNatIList n__cons V1 V2 activate V1 isNatIListKind n__cons V1 V2 activate V1 U102 tt V1 V2 activate V2 U31 tt V U32 isNatIListKind activate V activate V U135 tt IL M N activate IL isNatIList n__cons V1 V2 activate V1 U22 tt V1 isNat activate V1 U61 tt V2 isNatIListKind activate V2 U134 tt IL M N activate M U22 tt V1 activate V1 isNatList n__cons V1 V2 activate V1 U133 tt IL M N activate N U104 tt V1 V2 activate V1 U112 tt L N activate N U113 tt L N activate L take s M cons N IL activate IL U31 tt V activate V U136 tt IL M N activate N U91 tt V1 V2 U92 isNatKind activate V1 activate V1 activate V2 U11 tt V1 activate V1 U111 tt L N activate L isNatList n__cons V1 V2 activate V1 isNatKind n__length V1 activate V1 U43 tt V1 V2 activate V2 U102 tt V1 V2 activate V1 U134 tt IL M N isNat activate N U101 tt V1 V2 activate V2 U44 tt V1 V2 activate V2 U44 tt V1 V2 activate V1 isNatIList n__cons V1 V2 activate V2 U121 tt IL activate IL isNat n__length V1 isNatIListKind activate V1 U111 tt L N isNatIListKind activate L U135 tt IL M N U136 isNatKind activate N activate IL activate M activate N U134 tt IL M N U135 isNat activate N activate IL activate M activate N isNatIListKind n__take V1 V2 U61 isNatKind activate V1 activate V2 U103 tt V1 V2 activate V2 U136 tt IL M N activate M isNatIListKind n__take V1 V2 activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 U93 tt V1 V2 activate V2 U45 tt V2 activate V2 U135 tt IL M N activate N isNatList n__cons V1 V2 isNatKind activate V1 U32 tt V activate V U95 tt V2 activate V2 U111 tt L N activate L U132 tt IL M N activate IL isNat n__length V1 activate V1 U43 tt V1 V2 isNatIListKind activate V2 U93 tt V1 V2 isNatIListKind activate V2 U61 tt V2 activate V2 U31 tt V activate V U91 tt V1 V2 isNatKind activate V1 U135 tt IL M N activate M U112 tt L N isNat activate N U114 tt L activate L isNatKind n__length V1 isNatIListKind activate V1 U101 tt V1 V2 isNatKind activate V1 take s M cons N IL isNatIList activate IL true 0 0 0 U32 2 2 30052 isNatIListKind 1 1 30052 isNatKind 1 3828 U21 2 30052 U96 1 0 isNatList 1 30051 U11 2 30052 U136 4 2 3 4 0 U94 3 2 3 30052 cons 2 0 s 1 1 0 U105 2 1 26228 isNat 1 1 30052 U106 1 56281 take 2 1 2 30052 U42 3 56274 U91 3 1 2 26224 U101 3 2 3 30052 activate 1 1 0 take 2 1 2 0 U104 3 2 3 30052 U71 1 30051 U81 1 0 U92 3 2 3 30052 U133 4 1 2 3 4 0 U131 4 2 3 4 0 n__zeros 0 1 isNatIList 1 1 30048 U135 4 2 3 4 0 U101 3 30052 U95 2 1 93028 U136 4 2 3 4 30052 U111 3 2 3 14624 U132 4 2 3 4 0 U43 3 3 56275 U93 3 2 3 30052 activate 1 1 30052 U103 3 56278 U23 1 0 U44 3 1 3 46512 U43 3 2 3 30052 U106 1 0 U121 2 2 30052 U23 1 1 0 U93 3 1 3 72738 U114 2 2 30053 U131 4 2 3 4 30052 U13 1 0 U94 3 1 3 93027 zeros 0 1 U95 2 2 30052 n__nil 0 0 U52 1 0 U103 3 2 3 30052 U12 2 30052 U33 1 0 U135 4 2 3 4 30052 U44 3 2 3 30052 n__s 1 1 0 U104 3 56279 U42 3 2 3 30052 U113 3 2 14624 U12 2 2 30053 U62 1 0 0 0 0 zeros 0 0 U134 4 2 3 4 0 n__take 2 1 2 0 isNatList 1 1 30052 U102 3 2 3 30052 s 1 0 U105 2 2 30052 n__cons 2 1 2 0 isNatIListKind 1 1 9764 nil 0 0 U114 2 2 14624 U62 1 1 2 U45 2 1 46513 nil 0 0 U133 4 2 3 4 0 U111 3 2 3 30053 U32 2 30050 U33 1 30051 n__0 0 0 n__length 1 1 14624 U46 1 0 isNat 1 30052 U46 1 1 46518 U52 1 9766 U61 2 9765 U51 2 2 30052 U134 4 2 3 4 30052 U113 3 1 2 3 1 U11 2 2 30054 U96 1 30051 U31 2 30049 U92 3 1 2 52449 U112 3 2 14624 U41 3 2 3 30052 cons 2 1 2 0 U102 3 1 2 3 26225 isNatIList 1 1 30052 U21 2 2 30052 U81 1 3829 U22 2 2 30052 U112 3 2 3 30053 tt 0 30052 U71 1 0 U13 1 30052 U22 2 30052 U45 2 1 2 0 U51 2 9765 isNatKind 1 1 30052 U122 1 0 length 1 1 14624 length 1 1 30053 U41 3 1 26221 U31 2 2 30052 U91 3 2 3 30052 U132 4 2 3 4 30052 U121 2 2 0 U61 2 2 30052 U122 1 0 take s M cons N IL isNatIList activate IL U101 tt V1 V2 isNatKind activate V1 U135 tt IL M N activate M U91 tt V1 V2 isNatKind activate V1 U31 tt V activate V U61 tt V2 activate V2 U93 tt V1 V2 isNatIListKind activate V2 U43 tt V1 V2 isNatIListKind activate V2 U132 tt IL M N activate IL U95 tt V2 activate V2 U32 tt V activate V isNatList n__cons V1 V2 isNatKind activate V1 U135 tt IL M N activate N U45 tt V2 activate V2 U93 tt V1 V2 activate V2 isNat n__s V1 U21 isNatKind activate V1 activate V1 isNatIListKind n__take V1 V2 activate V1 U136 tt IL M N activate M U103 tt V1 V2 activate V2 isNatIListKind n__take V1 V2 U61 isNatKind activate V1 activate V2 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 U121 tt IL activate IL isNatIList n__cons V1 V2 activate V2 U44 tt V1 V2 activate V1 U44 tt V1 V2 activate V2 U101 tt V1 V2 activate V2 U134 tt IL M N isNat activate N U102 tt V1 V2 activate V1 U43 tt V1 V2 activate V2 isNatList n__cons V1 V2 activate V1 U91 tt V1 V2 U92 isNatKind activate V1 activate V1 activate V2 U136 tt IL M N activate N U31 tt V activate V take s M cons N IL activate IL U104 tt V1 V2 activate V1 U133 tt IL M N activate N isNatList n__cons V1 V2 activate V1 U22 tt V1 activate V1 U134 tt IL M N activate M U61 tt V2 isNatIListKind activate V2 U22 tt V1 isNat activate V1 isNatIList n__cons V1 V2 activate V1 U135 tt IL M N activate IL U31 tt V U32 isNatIListKind activate V activate V U102 tt V1 V2 activate V2 isNatIListKind n__cons V1 V2 activate V1 isNatIList n__cons V1 V2 activate V1 U104 tt V1 V2 isNat activate V1 U43 tt V1 V2 U44 isNatIListKind activate V2 activate V1 activate V2 U131 tt IL M N activate M U131 tt IL M N activate IL U103 tt V1 V2 U104 isNatIListKind activate V2 activate V1 activate V2 U92 tt V1 V2 activate V2 U131 tt IL M N U132 isNatIListKind activate IL activate IL activate M activate N U104 tt V1 V2 U105 isNat activate V1 activate V2 isNat n__s V1 isNatKind activate V1 U94 tt V1 V2 isNat activate V1 U94 tt V1 V2 activate V2 U93 tt V1 V2 U94 isNatIListKind activate V2 activate V1 activate V2 U131 tt IL M N isNatIListKind activate IL U44 tt V1 V2 isNat activate V1 U103 tt V1 V2 activate V2 isNatIListKind n__cons V1 V2 activate V2 U133 tt IL M N isNatKind activate M U136 tt IL M N activate IL U132 tt IL M N activate M isNatIList n__cons V1 V2 U41 isNatKind activate V1 activate V1 activate V2 isNat n__s V1 activate V1 isNatKind n__s V1 activate V1 activate n__take X1 X2 take X1 X2 U51 tt V2 isNatIListKind activate V2 U31 tt V isNatIListKind activate V U43 tt V1 V2 activate V1 take s M cons N IL U131 isNatIList activate IL activate IL M N U91 tt V1 V2 activate V2 U94 tt V1 V2 activate V1 U112 tt L N U113 isNat activate N activate L activate N take 0 IL isNatIList IL U105 tt V2 isNatIList activate V2 U42 tt V1 V2 activate V2 U135 tt IL M N isNatKind activate N U111 tt L N U112 isNatIListKind activate L activate L activate N U41 tt V1 V2 activate V1 U45 tt V2 isNatIList activate V2 U93 tt V1 V2 activate V1 isNatIList V activate V U41 tt V1 V2 U42 isNatKind activate V1 activate V1 activate V2 U92 tt V1 V2 activate V1 U42 tt V1 V2 U43 isNatIListKind activate V2 activate V1 activate V2 U121 tt IL isNatIListKind activate IL isNatList n__take V1 V2 U101 isNatKind activate V1 activate V1 activate V2 U114 tt L length activate L U134 tt IL M N activate IL U102 tt V1 V2 U103 isNatIListKind activate V2 activate V1 activate V2 U113 tt L N U114 isNatKind activate N activate L isNatIListKind n__cons V1 V2 isNatKind activate V1 U131 tt IL M N activate IL U103 tt V1 V2 activate V1 U21 tt V1 U22 isNatKind activate V1 activate V1 U133 tt IL M N activate IL take s M cons N IL activate IL isNatIListKind n__take V1 V2 isNatKind activate V1 U42 tt V1 V2 activate V2 U92 tt V1 V2 isNatIListKind activate V2 U101 tt V1 V2 activate V1 U131 tt IL M N activate N U21 tt V1 isNatKind activate V1 U92 tt V1 V2 U93 isNatIListKind activate V2 activate V1 activate V2 U101 tt V1 V2 U102 isNatKind activate V1 activate V1 activate V2 U104 tt V1 V2 activate V2 isNat n__s V1 activate V1 U134 tt IL M N activate N U21 tt V1 activate V1 isNatKind n__s V1 isNatKind activate V1 isNatList n__cons V1 V2 U91 isNatKind activate V1 activate V1 activate V2 U103 tt V1 V2 isNatIListKind activate V2 isNatIListKind n__take V1 V2 activate V2 isNatIList V activate V U93 tt V1 V2 activate V2 U44 tt V1 V2 U45 isNat activate V1 activate V2 U132 tt IL M N U133 isNat activate M activate IL activate M activate N isNatIList V isNatIListKind activate V U32 tt V isNatList activate V U132 tt IL M N isNat activate M U133 tt IL M N activate M isNatList n__take V1 V2 isNatKind activate V1 U132 tt IL M N activate N U94 tt V1 V2 U95 isNat activate V1 activate V2 U41 tt V1 V2 isNatKind activate V1 U134 tt IL M N activate N U91 tt V1 V2 activate V1 U133 tt IL M N U134 isNatKind activate M activate IL activate M activate N isNatIListKind n__cons V1 V2 U51 isNatKind activate V1 activate V2 U21 tt V1 activate V1 U135 tt IL M N activate N U43 tt V1 V2 activate V2 U41 tt V1 V2 activate V2 U95 tt V2 isNatList activate V2 take 0 IL U121 isNatIList IL IL U41 tt V1 V2 activate V1 isNatIList n__cons V1 V2 isNatKind activate V1 isNatList n__take V1 V2 activate V1 U42 tt V1 V2 isNatIListKind activate V2 U132 tt IL M N activate M isNatList n__take V1 V2 activate V1 U91 tt V1 V2 activate V1 U102 tt V1 V2 activate V2 U101 tt V1 V2 activate V1 isNatIList V U31 isNatIListKind activate V activate V isNatList n__cons V1 V2 activate V2 U105 tt V2 activate V2 U92 tt V1 V2 activate V2 isNatList n__take V1 V2 activate V2 length cons N L U111 isNatList activate L activate L N U42 tt V1 V2 activate V1 U133 tt IL M N activate M U51 tt V2 activate V2 U102 tt V1 V2 isNatIListKind activate V2 U132 tt IL M N U133 isNat activate M activate IL activate M activate N activate n__nil nil U122 tt nil U11 tt V1 U12 isNatIListKind activate V1 activate V1 zeros cons 0 n__zeros activate n__length X length X U13 tt tt U135 tt IL M N U136 isNatKind activate N activate IL activate M activate N take X1 X2 n__take X1 X2 length nil 0 U133 tt IL M N U134 isNatKind activate M activate IL activate M activate N U131 tt IL M N U132 isNatIListKind activate IL activate IL activate M activate N U136 tt IL M N cons activate N n__take activate M activate IL take 0 IL U121 isNatIList IL IL cons X1 X2 n__cons X1 X2 length cons N L U111 isNatList activate L activate L N U112 tt L N U113 isNat activate N activate L activate N U134 tt IL M N U135 isNat activate N activate IL activate M activate N U23 tt tt isNat n__s V1 U21 isNatKind activate V1 activate V1 U121 tt IL U122 isNatIListKind activate IL activate n__cons X1 X2 cons X1 X2 U114 tt L s length activate L 0 n__0 activate n__s X s X activate X X U21 tt V1 U22 isNatKind activate V1 activate V1 length X n__length X U22 tt V1 U23 isNat activate V1 activate n__0 0 U113 tt L N U114 isNatKind activate N activate L U111 tt L N U112 isNatIListKind activate L activate L activate N U12 tt V1 U13 isNatList activate V1 zeros n__zeros activate n__zeros zeros activate n__take X1 X2 take X1 X2 isNat n__length V1 U11 isNatIListKind activate V1 activate V1 s X n__s X isNat n__0 tt nil n__nil take s M cons N IL U131 isNatIList activate IL activate IL M N length cons N L U111 isNatList activate L activate L N U112 tt L N U113 isNat activate N activate L activate N U114 tt L length activate L U113 tt L N U114 isNatKind activate N activate L U111 tt L N U112 isNatIListKind activate L activate L activate N true