Marked_a__U43U102U42Marked_a__isNatIListKinda__U133U96a__U46isNatListMarked_a__U122a__U12Marked_a__U71a__U91U136Marked_a__U111markU62a__U32isNatIListMarked_a__U21ttMarked_a__U51a__U96U31Marked_a__U106a__U121U92a__U41U112Marked_a__U134a__U105Marked_a__U93a__U61U132Marked_a__lengtha__U113U46Marked_a__U101takeU104Marked_a__U32a__zerosMarked_a__U45a__takeU33Marked_a__U105a__U132U94a__U44U114Marked_a__U132a__U106Marked_a__U91a__U81U134Marked_a__U113sU52Marked_marka__U21isNatMarked_a__U23a__isNatKindMarked_a__U61a__U94U22Marked_a__U11a__isNatListU81a__U33U12Marked_a__U136a__isNatIListKindMarked_a__U95a__U51U122Marked_a__isNatLista__U112U44Marked_a__isNatKinda__U135U103Marked_a__U410Marked_a__U44U101U41Marked_a__U104a__U131U95a__U45U13Marked_a__U131a__isNatIListMarked_a__U81a__U92U135Marked_a__U112a__lengthU61a__U23U106Marked_a__U22a__U101Marked_a__U52a__U95U23Marked_a__isNatILista__U122U91a__U42U111Marked_a__U135a__U104Marked_a__U94a__U62U131Marked_a__U13a__U111U45Marked_a__U102a__U136isNatIListKindMarked_a__U33zerosMarked_a__U46lengthU32Marked_a__isNatnilU93a__U43U113Marked_a__U133a__isNatMarked_a__U92a__U71U133Marked_a__U114a__U114U51Marked_a__zerosa__U22U105Marked_a__U31a__U102Marked_a__U62a__U93U21Marked_a__U12a__U13U71a__U31U11Marked_a__takea__U103Marked_a__U96a__U52U121Marked_a__U121a__U11U43Marked_a__U103a__U134isNatKindMarked_a__U42consXX4X3X2X1VMILNLV2V1a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U101(tt,V1,V2)Marked_a__U102(a__isNatKind(V1),V1,V2)Marked_a__U101(tt,V1,V2)Marked_a__isNatKind(V1)Marked_a__U102(tt,V1,V2)Marked_a__U103(a__isNatIListKind(V2),V1,V2)Marked_a__U102(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U103(tt,V1,V2)Marked_a__U104(a__isNatIListKind(V2),V1,V2)Marked_a__U103(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U104(tt,V1,V2)Marked_a__U105(a__isNat(V1),V2)Marked_a__U104(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U105(tt,V2)Marked_a__U106(a__isNatIList(V2))Marked_a__U105(tt,V2)Marked_a__isNatIList(V2)Marked_a__U11(tt,V1)Marked_a__U12(a__isNatIListKind(V1),V1)Marked_a__U11(tt,V1)Marked_a__isNatIListKind(V1)Marked_a__U111(tt,L,N)Marked_a__U112(a__isNatIListKind(L),L,N)Marked_a__U111(tt,L,N)Marked_a__isNatIListKind(L)Marked_a__U112(tt,L,N)Marked_a__U113(a__isNat(N),L,N)Marked_a__U112(tt,L,N)Marked_a__isNat(N)Marked_a__U113(tt,L,N)Marked_a__U114(a__isNatKind(N),L)Marked_a__U113(tt,L,N)Marked_a__isNatKind(N)Marked_a__U114(tt,L)Marked_a__length(mark(L))Marked_a__U114(tt,L)Marked_mark(L)Marked_a__U12(tt,V1)Marked_a__U13(a__isNatList(V1))Marked_a__U12(tt,V1)Marked_a__isNatList(V1)Marked_a__U121(tt,IL)Marked_a__U122(a__isNatIListKind(IL))Marked_a__U121(tt,IL)Marked_a__isNatIListKind(IL)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U131(tt,IL,M,N)Marked_a__isNatIListKind(IL)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__isNat(M)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__isNatKind(M)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__isNat(N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__isNatKind(N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__U21(tt,V1)Marked_a__U22(a__isNatKind(V1),V1)Marked_a__U21(tt,V1)Marked_a__isNatKind(V1)Marked_a__U22(tt,V1)Marked_a__U23(a__isNat(V1))Marked_a__U22(tt,V1)Marked_a__isNat(V1)Marked_a__U31(tt,V)Marked_a__U32(a__isNatIListKind(V),V)Marked_a__U31(tt,V)Marked_a__isNatIListKind(V)Marked_a__U32(tt,V)Marked_a__U33(a__isNatList(V))Marked_a__U32(tt,V)Marked_a__isNatList(V)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isNatKind(V1),V1,V2)Marked_a__U41(tt,V1,V2)Marked_a__isNatKind(V1)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isNatIListKind(V2),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isNatIListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isNat(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U45(tt,V2)Marked_a__U46(a__isNatIList(V2))Marked_a__U45(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__U52(a__isNatIListKind(V2))Marked_a__U51(tt,V2)Marked_a__isNatIListKind(V2)Marked_a__U61(tt,V2)Marked_a__U62(a__isNatIListKind(V2))Marked_a__U61(tt,V2)Marked_a__isNatIListKind(V2)Marked_a__U91(tt,V1,V2)Marked_a__U92(a__isNatKind(V1),V1,V2)Marked_a__U91(tt,V1,V2)Marked_a__isNatKind(V1)Marked_a__U92(tt,V1,V2)Marked_a__U93(a__isNatIListKind(V2),V1,V2)Marked_a__U92(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U93(tt,V1,V2)Marked_a__U94(a__isNatIListKind(V2),V1,V2)Marked_a__U93(tt,V1,V2)Marked_a__isNatIListKind(V2)Marked_a__U94(tt,V1,V2)Marked_a__U95(a__isNat(V1),V2)Marked_a__U94(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U95(tt,V2)Marked_a__U96(a__isNatList(V2))Marked_a__U95(tt,V2)Marked_a__isNatList(V2)Marked_a__isNat(length(V1))Marked_a__U11(a__isNatIListKind(V1),V1)Marked_a__isNat(length(V1))Marked_a__isNatIListKind(V1)Marked_a__isNat(s(V1))Marked_a__U21(a__isNatKind(V1),V1)Marked_a__isNat(s(V1))Marked_a__isNatKind(V1)Marked_a__isNatIList(V)Marked_a__U31(a__isNatIListKind(V),V)Marked_a__isNatIList(V)Marked_a__isNatIListKind(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNatKind(V1),V1,V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__U51(a__isNatKind(V1),V2)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatIListKind(take(V1,V2))Marked_a__U61(a__isNatKind(V1),V2)Marked_a__isNatIListKind(take(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatKind(length(V1))Marked_a__U71(a__isNatIListKind(V1))Marked_a__isNatKind(length(V1))Marked_a__isNatIListKind(V1)Marked_a__isNatKind(s(V1))Marked_a__U81(a__isNatKind(V1))Marked_a__isNatKind(s(V1))Marked_a__isNatKind(V1)Marked_a__isNatList(cons(V1,V2))Marked_a__U91(a__isNatKind(V1),V1,V2)Marked_a__isNatList(cons(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatList(take(V1,V2))Marked_a__U101(a__isNatKind(V1),V1,V2)Marked_a__isNatList(take(V1,V2))Marked_a__isNatKind(V1)Marked_a__length(cons(N,L))Marked_a__U111(a__isNatList(L),L,N)Marked_a__length(cons(N,L))Marked_a__isNatList(L)Marked_a__take(0,IL)Marked_a__U121(a__isNatIList(IL),IL)Marked_a__take(0,IL)Marked_a__isNatIList(IL)Marked_a__take(s(M),cons(N,IL))Marked_a__U131(a__isNatIList(IL),IL,M,N)Marked_a__take(s(M),cons(N,IL))Marked_a__isNatIList(IL)Marked_mark(zeros)Marked_a__zerosMarked_mark(U101(X1,X2,X3))Marked_a__U101(mark(X1),X2,X3)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_a__U102(mark(X1),X2,X3)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(isNatKind(X))Marked_a__isNatKind(X)Marked_mark(U103(X1,X2,X3))Marked_a__U103(mark(X1),X2,X3)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(isNatIListKind(X))Marked_a__isNatIListKind(X)Marked_mark(U104(X1,X2,X3))Marked_a__U104(mark(X1),X2,X3)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_a__U105(mark(X1),X2)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(isNat(X))Marked_a__isNat(X)Marked_mark(U106(X))Marked_a__U106(mark(X))Marked_mark(U106(X))Marked_mark(X)Marked_mark(isNatIList(X))Marked_a__isNatIList(X)Marked_mark(U11(X1,X2))Marked_a__U11(mark(X1),X2)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_a__U12(mark(X1),X2)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U111(X1,X2,X3))Marked_a__U111(mark(X1),X2,X3)Marked_mark(U111(X1,X2,X3))Marked_mark(X1)Marked_mark(U112(X1,X2,X3))Marked_a__U112(mark(X1),X2,X3)Marked_mark(U112(X1,X2,X3))Marked_mark(X1)Marked_mark(U113(X1,X2,X3))Marked_a__U113(mark(X1),X2,X3)Marked_mark(U113(X1,X2,X3))Marked_mark(X1)Marked_mark(U114(X1,X2))Marked_a__U114(mark(X1),X2)Marked_mark(U114(X1,X2))Marked_mark(X1)Marked_mark(length(X))Marked_a__length(mark(X))Marked_mark(length(X))Marked_mark(X)Marked_mark(U13(X))Marked_a__U13(mark(X))Marked_mark(U13(X))Marked_mark(X)Marked_mark(isNatList(X))Marked_a__isNatList(X)Marked_mark(U121(X1,X2))Marked_a__U121(mark(X1),X2)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_a__U122(mark(X))Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_a__take(mark(X1),mark(X2))Marked_mark(take(X1,X2))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_mark(X2)Marked_mark(U21(X1,X2))Marked_a__U21(mark(X1),X2)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_a__U22(mark(X1),X2)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_a__U23(mark(X))Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_a__U31(mark(X1),X2)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_a__U32(mark(X1),X2)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_a__U33(mark(X))Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_a__U41(mark(X1),X2,X3)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_a__U42(mark(X1),X2,X3)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_a__U43(mark(X1),X2,X3)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_a__U44(mark(X1),X2,X3)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_a__U45(mark(X1),X2)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_a__U46(mark(X))Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_a__U51(mark(X1),X2)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_a__U52(mark(X))Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_a__U61(mark(X1),X2)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_a__U62(mark(X))Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_a__U71(mark(X))Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_a__U81(mark(X))Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_a__U91(mark(X1),X2,X3)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_a__U92(mark(X1),X2,X3)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_a__U93(mark(X1),X2,X3)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_a__U94(mark(X1),X2,X3)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_a__U95(mark(X1),X2)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_a__U96(mark(X))Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U111(tt,L,N)Marked_a__U112(a__isNatIListKind(L),L,N)Marked_a__U112(tt,L,N)Marked_a__U113(a__isNat(N),L,N)Marked_a__U113(tt,L,N)Marked_a__U114(a__isNatKind(N),L)Marked_a__U114(tt,L)Marked_a__length(mark(L))Marked_a__U114(tt,L)Marked_mark(L)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__length(cons(N,L))Marked_a__U111(a__isNatList(L),L,N)Marked_a__take(s(M),cons(N,IL))Marked_a__U131(a__isNatIList(IL),IL,M,N)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U111(X1,X2,X3))Marked_a__U111(mark(X1),X2,X3)Marked_mark(U111(X1,X2,X3))Marked_mark(X1)Marked_mark(U112(X1,X2,X3))Marked_a__U112(mark(X1),X2,X3)Marked_mark(U112(X1,X2,X3))Marked_mark(X1)Marked_mark(U113(X1,X2,X3))Marked_a__U113(mark(X1),X2,X3)Marked_mark(U113(X1,X2,X3))Marked_mark(X1)Marked_mark(U114(X1,X2))Marked_a__U114(mark(X1),X2)Marked_mark(U114(X1,X2))Marked_mark(X1)Marked_mark(length(X))Marked_a__length(mark(X))Marked_mark(length(X))Marked_mark(X)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_a__take(mark(X1),mark(X2))Marked_mark(take(X1,X2))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_mark(X2)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons110isNatKind0a__U13411210U4310a__U1120U12120a__U5210a__U10310Marked_a__take20U1120a__U3110U7110a__U1310U2110a__U9320a__U10220U10520a__U2220U5110a__U1141210Marked_a__U11420U13311210a__U7110a__isNat0Marked_a__U13320U1131110a__U4310U9320nil0U3220length110zeros0isNatIListKind0a__U13611210U4520a__U1111210U13121210a__U6220a__U10410Marked_a__U13520U1111210a__U4210U9110a__U12210U2320a__U9520a__U10110U10610a__U2320U6120a__length110Marked_a__U11220U13511210a__U9210a__isNatIList0Marked_a__U13120U1310a__U4520U9520a__U13121210U4110U1011000U10310a__U13511210U4410a__U1121210U12210a__U5110a__isNatIListKind0Marked_a__U13620U1220a__U3320U8120a__isNatList0U2220a__U9420a__isNatKind0isNat0a__U2110Marked_mark20U5210s10Marked_a__U11320U13411210a__U8120a__U10610Marked_a__U13220U1141210a__U4410U9420a__U13211210U3320a__take210a__zeros0U10410take210U4620a__U1131110Marked_a__length20U13211210a__U6120a__U10520Marked_a__U13420U1121210a__U4110U9210a__U12120U3110a__U9620tt0isNatIList0a__U3220U6220mark10Marked_a__U11120U13611210a__U9110a__U1220isNatList0a__U4620U9620a__U13311210U4210U10220Marked_mark(U111(X1,X2,X3))Marked_a__U111(mark(X1),X2,X3)Marked_mark(U111(X1,X2,X3))Marked_mark(X1)Marked_mark(U112(X1,X2,X3))Marked_a__U112(mark(X1),X2,X3)Marked_mark(U112(X1,X2,X3))Marked_mark(X1)Marked_mark(U113(X1,X2,X3))Marked_a__U113(mark(X1),X2,X3)Marked_mark(U113(X1,X2,X3))Marked_mark(X1)Marked_mark(U114(X1,X2))Marked_a__U114(mark(X1),X2)Marked_mark(U114(X1,X2))Marked_mark(X1)Marked_mark(length(X))Marked_a__length(mark(X))Marked_mark(length(X))Marked_mark(X)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U111(tt,L,N)Marked_a__U112(a__isNatIListKind(L),L,N)Marked_a__U112(tt,L,N)Marked_a__U113(a__isNat(N),L,N)Marked_a__U113(tt,L,N)Marked_a__U114(a__isNatKind(N),L)Marked_a__U114(tt,L)Marked_a__length(mark(L))Marked_a__U114(tt,L)Marked_mark(L)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__length(cons(N,L))Marked_a__U111(a__isNatList(L),L,N)Marked_a__take(s(M),cons(N,IL))Marked_a__U131(a__isNatIList(IL),IL,M,N)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_a__take(mark(X1),mark(X2))Marked_mark(take(X1,X2))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_mark(X2)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U111(tt,L,N)Marked_a__U112(a__isNatIListKind(L),L,N)Marked_a__U112(tt,L,N)Marked_a__U113(a__isNat(N),L,N)Marked_a__U113(tt,L,N)Marked_a__U114(a__isNatKind(N),L)Marked_a__U114(tt,L)Marked_a__length(mark(L))Marked_a__length(cons(N,L))Marked_a__U111(a__isNatList(L),L,N)cons30isNatKind10a__U13430U4310a__U1120U12120a__U5210a__U10320U1120a__U3110U7110a__U1310U2120a__U9320a__U10220U10510a__U2220U5110a__U11430Marked_a__U11420U13330a__U7110a__isNat20U11330a__U4310U9320nil20U3210length10zeros0isNatIListKind20a__U13630U4510a__U11130U13130a__U6210a__U10420U11130a__U4210U9120a__U12220U2310a__U9520a__U10120U10610a__U2310U6110a__length10Marked_a__U11220U13530a__U9220a__isNatIList10U1310a__U4510U9520a__U13130U4110U10120020U10320a__U13530U4410a__U11230U12220a__U5110a__isNatIListKind20U1220a__U3310U8110a__isNatList20U2220a__U9420a__isNatKind10isNat20a__U2120U5210s30Marked_a__U11320U13430a__U8110a__U10610U11430a__U4410U9420a__U13230U3310a__take10a__zeros0U10420take10U4610a__U11330Marked_a__length20U13230a__U6110a__U10510U11230a__U4110U9220a__U12120U3110a__U9610tt10isNatIList10a__U3210U6210mark10Marked_a__U111220U13630a__U9120a__U1220isNatList20a__U4610U9610a__U13330U4210U10220Marked_a__U111(tt,L,N)Marked_a__U112(a__isNatIListKind(L),L,N)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U112(tt,L,N)Marked_a__U113(a__isNat(N),L,N)Marked_a__U113(tt,L,N)Marked_a__U114(a__isNatKind(N),L)Marked_a__U114(tt,L)Marked_a__length(mark(L))Marked_a__length(cons(N,L))Marked_a__U111(a__isNatList(L),L,N)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U131(a__isNatIList(IL),IL,M,N)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_a__take(mark(X1),mark(X2))Marked_mark(take(X1,X2))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_mark(X2)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons10isNatKind0a__U134120U4310a__U1110U12110a__U5220a__U10310Marked_a__take20U1110a__U3110U7110a__U1320U2110a__U9320a__U10210U10510a__U2210U5120a__U1140U133120a__U7110a__isNat0Marked_a__U13320U1130a__U4310U9320nil0U3220length0zeros0isNatIListKind0a__U136120U4510a__U1110U131110a__U6210a__U10410Marked_a__U13520U1110a__U4210U9110a__U12220U2320a__U9510a__U10110U10610a__U2320U6110a__length0U135120a__U9210a__isNatIList0Marked_a__U13120U1320a__U4510U9510a__U131120U4110U1011000U10310a__U135120U4410a__U1120U12220a__U5120a__isNatIListKind0Marked_a__U13620U1210a__U3320U8110a__isNatList0U2210a__U9410a__isNatKind0isNat0a__U2110Marked_mark20U5220s20U134110a__U8110a__U10610Marked_a__U13220U1140a__U4410U9410a__U132120U3320a__take2120a__zeros0U10410take1120U4610a__U1130U132120a__U6110a__U10510Marked_a__U13420U1120a__U4110U9210a__U12110U3110a__U9610tt0isNatIList0a__U3220U6210mark20U136110a__U9110a__U1210isNatList0a__U4610U9610a__U133120U4210U10210Marked_mark(take(X1,X2))Marked_a__take(mark(X1),mark(X2))Marked_mark(take(X1,X2))Marked_mark(X1)Marked_mark(take(X1,X2))Marked_mark(X2)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U131(a__isNatIList(IL),IL,M,N)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark1Marked_a__U1364Marked_a__U1354Marked_a__U1344Marked_a__U1334Marked_a__U1324Marked_a__U1314Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(U96(X))Marked_mark(X)Marked_mark(U95(X1,X2))Marked_mark(X1)Marked_mark(U94(X1,X2,X3))Marked_mark(X1)Marked_mark(U93(X1,X2,X3))Marked_mark(X1)Marked_mark(U92(X1,X2,X3))Marked_mark(X1)Marked_mark(U91(X1,X2,X3))Marked_mark(X1)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U71(X))Marked_mark(X)Marked_mark(U62(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U23(X))Marked_mark(X)Marked_mark(U22(X1,X2))Marked_mark(X1)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U136(X1,X2,X3,X4))Marked_a__U136(mark(X1),X2,X3,X4)Marked_mark(U135(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U135(X1,X2,X3,X4))Marked_a__U135(mark(X1),X2,X3,X4)Marked_mark(U134(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U134(X1,X2,X3,X4))Marked_a__U134(mark(X1),X2,X3,X4)Marked_mark(U133(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U133(X1,X2,X3,X4))Marked_a__U133(mark(X1),X2,X3,X4)Marked_mark(U132(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U132(X1,X2,X3,X4))Marked_a__U132(mark(X1),X2,X3,X4)Marked_mark(U131(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U131(X1,X2,X3,X4))Marked_a__U131(mark(X1),X2,X3,X4)Marked_mark(U122(X))Marked_mark(X)Marked_mark(U121(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U106(X))Marked_mark(X)Marked_mark(U105(X1,X2))Marked_mark(X1)Marked_mark(U104(X1,X2,X3))Marked_mark(X1)Marked_mark(U103(X1,X2,X3))Marked_mark(X1)Marked_mark(U102(X1,X2,X3))Marked_mark(X1)Marked_mark(U101(X1,X2,X3))Marked_mark(X1)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U136(tt,IL,M,N)Marked_mark(N)Marked_a__U135(tt,IL,M,N)Marked_a__U136(a__isNatKind(N),IL,M,N)Marked_a__U134(tt,IL,M,N)Marked_a__U135(a__isNat(N),IL,M,N)Marked_a__U133(tt,IL,M,N)Marked_a__U134(a__isNatKind(M),IL,M,N)Marked_a__U132(tt,IL,M,N)Marked_a__U133(a__isNat(M),IL,M,N)Marked_a__U131(tt,IL,M,N)Marked_a__U132(a__isNatIListKind(IL),IL,M,N)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U101(tt,V1,V2)Marked_a__U102(a__isNatKind(V1),V1,V2)Marked_a__U102(tt,V1,V2)Marked_a__U103(a__isNatIListKind(V2),V1,V2)Marked_a__U103(tt,V1,V2)Marked_a__U104(a__isNatIListKind(V2),V1,V2)Marked_a__U104(tt,V1,V2)Marked_a__U105(a__isNat(V1),V2)Marked_a__U104(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U105(tt,V2)Marked_a__isNatIList(V2)Marked_a__U11(tt,V1)Marked_a__U12(a__isNatIListKind(V1),V1)Marked_a__U12(tt,V1)Marked_a__isNatList(V1)Marked_a__U21(tt,V1)Marked_a__U22(a__isNatKind(V1),V1)Marked_a__U22(tt,V1)Marked_a__isNat(V1)Marked_a__U31(tt,V)Marked_a__U32(a__isNatIListKind(V),V)Marked_a__U32(tt,V)Marked_a__isNatList(V)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isNatKind(V1),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isNatIListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isNatIListKind(V2),V1,V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isNat(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U45(tt,V2)Marked_a__isNatIList(V2)Marked_a__U91(tt,V1,V2)Marked_a__U92(a__isNatKind(V1),V1,V2)Marked_a__U92(tt,V1,V2)Marked_a__U93(a__isNatIListKind(V2),V1,V2)Marked_a__U93(tt,V1,V2)Marked_a__U94(a__isNatIListKind(V2),V1,V2)Marked_a__U94(tt,V1,V2)Marked_a__U95(a__isNat(V1),V2)Marked_a__U94(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U95(tt,V2)Marked_a__isNatList(V2)Marked_a__isNat(length(V1))Marked_a__U11(a__isNatIListKind(V1),V1)Marked_a__isNat(s(V1))Marked_a__U21(a__isNatKind(V1),V1)Marked_a__isNatIList(V)Marked_a__U31(a__isNatIListKind(V),V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNatKind(V1),V1,V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U91(a__isNatKind(V1),V1,V2)Marked_a__isNatList(take(V1,V2))Marked_a__U101(a__isNatKind(V1),V1,V2)cons210Marked_a__U42220isNatKind20a__U1342120Marked_a__U103220U430a__U110U1210a__U520a__U1030U110a__U310U710a__U130Marked_a__U1220U210a__U930a__U1020Marked_a__U3120U1050a__U220U510a__U114220U1332120a__U710Marked_a__U92220a__isNat0U113220a__U430U930nil0Marked_a__isNat20U320length220zeros0isNatIListKind0a__U1362120Marked_a__U102220U450a__U111220U1312120a__U620Marked_a__U94220a__U1040U111220a__U420U910a__U1220Marked_a__isNatIList20U230a__U950a__U1010Marked_a__U2220U1060a__U230U610a__length220U1352120a__U920a__isNatIList20U130a__U450U950a__U1312120Marked_a__U104220U4120U1010Marked_a__U4422000Marked_a__U41220U1030a__U1352120U440a__U112220Marked_a__isNatList20U1220a__U510Marked_a__U9520a__isNatIListKind0U120a__U330U810a__isNatList0Marked_a__U1120U220a__U940a__isNatKind20isNat0a__U210U520s10U1342120a__U810Marked_a__U911220a__U1060U114220a__U440U940a__U1322120Marked_a__U10520U330a__take120Marked_a__U4520a__zeros0Marked_a__U3220U1040take120Marked_a__U101220U460a__U113220U1322120a__U610Marked_a__U93220a__U1050U112220a__U4120U920a__U1210U310a__U960tt0Marked_a__U2120isNatIList20a__U320U620mark10U1362120a__U910a__U120isNatList0a__U460U960a__U1332120U420U1020Marked_a__U43220Marked_a__isNat(length(V1))Marked_a__U11(a__isNatIListKind(V1),V1)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U101(tt,V1,V2)Marked_a__U102(a__isNatKind(V1),V1,V2)Marked_a__U102(tt,V1,V2)Marked_a__U103(a__isNatIListKind(V2),V1,V2)Marked_a__U103(tt,V1,V2)Marked_a__U104(a__isNatIListKind(V2),V1,V2)Marked_a__U104(tt,V1,V2)Marked_a__U105(a__isNat(V1),V2)Marked_a__U104(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U105(tt,V2)Marked_a__isNatIList(V2)Marked_a__U11(tt,V1)Marked_a__U12(a__isNatIListKind(V1),V1)Marked_a__U12(tt,V1)Marked_a__isNatList(V1)Marked_a__U21(tt,V1)Marked_a__U22(a__isNatKind(V1),V1)Marked_a__U22(tt,V1)Marked_a__isNat(V1)Marked_a__U31(tt,V)Marked_a__U32(a__isNatIListKind(V),V)Marked_a__U32(tt,V)Marked_a__isNatList(V)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isNatKind(V1),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isNatIListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isNatIListKind(V2),V1,V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isNat(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U45(tt,V2)Marked_a__isNatIList(V2)Marked_a__U91(tt,V1,V2)Marked_a__U92(a__isNatKind(V1),V1,V2)Marked_a__U92(tt,V1,V2)Marked_a__U93(a__isNatIListKind(V2),V1,V2)Marked_a__U93(tt,V1,V2)Marked_a__U94(a__isNatIListKind(V2),V1,V2)Marked_a__U94(tt,V1,V2)Marked_a__U95(a__isNat(V1),V2)Marked_a__U94(tt,V1,V2)Marked_a__isNat(V1)Marked_a__U95(tt,V2)Marked_a__isNatList(V2)Marked_a__isNat(s(V1))Marked_a__U21(a__isNatKind(V1),V1)Marked_a__isNatIList(V)Marked_a__U31(a__isNatIListKind(V),V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNatKind(V1),V1,V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U91(a__isNatKind(V1),V1,V2)Marked_a__isNatList(take(V1,V2))Marked_a__U101(a__isNatKind(V1),V1,V2)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U101(tt,V1,V2)Marked_a__U102(a__isNatKind(V1),V1,V2)Marked_a__U102(tt,V1,V2)Marked_a__U103(a__isNatIListKind(V2),V1,V2)Marked_a__U103(tt,V1,V2)Marked_a__U104(a__isNatIListKind(V2),V1,V2)Marked_a__U104(tt,V1,V2)Marked_a__U105(a__isNat(V1),V2)Marked_a__U105(tt,V2)Marked_a__isNatIList(V2)Marked_a__U31(tt,V)Marked_a__U32(a__isNatIListKind(V),V)Marked_a__U32(tt,V)Marked_a__isNatList(V)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isNatKind(V1),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isNatIListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isNatIListKind(V2),V1,V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isNat(V1),V2)Marked_a__U45(tt,V2)Marked_a__isNatIList(V2)Marked_a__U91(tt,V1,V2)Marked_a__U92(a__isNatKind(V1),V1,V2)Marked_a__U92(tt,V1,V2)Marked_a__U93(a__isNatIListKind(V2),V1,V2)Marked_a__U93(tt,V1,V2)Marked_a__U94(a__isNatIListKind(V2),V1,V2)Marked_a__U94(tt,V1,V2)Marked_a__U95(a__isNat(V1),V2)Marked_a__U95(tt,V2)Marked_a__isNatList(V2)Marked_a__isNatIList(V)Marked_a__U31(a__isNatIListKind(V),V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNatKind(V1),V1,V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U91(a__isNatKind(V1),V1,V2)Marked_a__isNatList(take(V1,V2))Marked_a__U101(a__isNatKind(V1),V1,V2)Marked_a__U952Marked_a__U943Marked_a__U933Marked_a__U923Marked_a__U913Marked_a__U452Marked_a__U443Marked_a__U433Marked_a__U423Marked_a__U413Marked_a__isNatList1Marked_a__U322Marked_a__U312Marked_a__isNatIList1Marked_a__U1052Marked_a__U1043Marked_a__U1033Marked_a__U1023Marked_a__U1013Marked_a__isNatList(take(V1,V2))Marked_a__U101(a__isNatKind(V1),V1,V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U91(a__isNatKind(V1),V1,V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNatKind(V1),V1,V2)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__isNatIList(V)Marked_a__U31(a__isNatIListKind(V),V)Marked_a__U95(tt,V2)Marked_a__isNatList(V2)Marked_a__U94(tt,V1,V2)Marked_a__U95(a__isNat(V1),V2)Marked_a__U93(tt,V1,V2)Marked_a__U94(a__isNatIListKind(V2),V1,V2)Marked_a__U92(tt,V1,V2)Marked_a__U93(a__isNatIListKind(V2),V1,V2)Marked_a__U91(tt,V1,V2)Marked_a__U92(a__isNatKind(V1),V1,V2)Marked_a__U45(tt,V2)Marked_a__isNatIList(V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isNat(V1),V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isNatIListKind(V2),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isNatIListKind(V2),V1,V2)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isNatKind(V1),V1,V2)Marked_a__U32(tt,V)Marked_a__isNatList(V)Marked_a__U31(tt,V)Marked_a__U32(a__isNatIListKind(V),V)Marked_a__U105(tt,V2)Marked_a__isNatIList(V2)Marked_a__U104(tt,V1,V2)Marked_a__U105(a__isNat(V1),V2)Marked_a__U103(tt,V1,V2)Marked_a__U104(a__isNatIListKind(V2),V1,V2)Marked_a__U102(tt,V1,V2)Marked_a__U103(a__isNatIListKind(V2),V1,V2)Marked_a__U101(tt,V1,V2)Marked_a__U102(a__isNatKind(V1),V1,V2)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U21(tt,V1)Marked_a__U22(a__isNatKind(V1),V1)Marked_a__U22(tt,V1)Marked_a__isNat(V1)Marked_a__isNat(s(V1))Marked_a__U21(a__isNatKind(V1),V1)Marked_a__isNat1Marked_a__U222Marked_a__U212Marked_a__isNat(s(V1))Marked_a__U21(a__isNatKind(V1),V1)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U22(tt,V1)Marked_a__isNat(V1)Marked_a__U21(tt,V1)Marked_a__U22(a__isNatKind(V1),V1)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U51(tt,V2)Marked_a__isNatIListKind(V2)Marked_a__U61(tt,V2)Marked_a__isNatIListKind(V2)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__U51(a__isNatKind(V1),V2)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatIListKind(take(V1,V2))Marked_a__U61(a__isNatKind(V1),V2)Marked_a__isNatIListKind(take(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatKind(length(V1))Marked_a__isNatIListKind(V1)Marked_a__isNatKind(s(V1))Marked_a__isNatKind(V1)Marked_a__isNatKind1Marked_a__U612Marked_a__isNatIListKind1Marked_a__U512Marked_a__isNatKind(s(V1))Marked_a__isNatKind(V1)Marked_a__isNatKind(length(V1))Marked_a__isNatIListKind(V1)Marked_a__isNatIListKind(take(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatIListKind(take(V1,V2))Marked_a__U61(a__isNatKind(V1),V2)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__isNatKind(V1)Marked_a__isNatIListKind(cons(V1,V2))Marked_a__U51(a__isNatKind(V1),V2)a__zeroscons(0,zeros)a__U101(tt,V1,V2)a__U102(a__isNatKind(V1),V1,V2)a__U102(tt,V1,V2)a__U103(a__isNatIListKind(V2),V1,V2)a__U103(tt,V1,V2)a__U104(a__isNatIListKind(V2),V1,V2)a__U104(tt,V1,V2)a__U105(a__isNat(V1),V2)a__U105(tt,V2)a__U106(a__isNatIList(V2))a__U106(tt)tta__U11(tt,V1)a__U12(a__isNatIListKind(V1),V1)a__U111(tt,L,N)a__U112(a__isNatIListKind(L),L,N)a__U112(tt,L,N)a__U113(a__isNat(N),L,N)a__U113(tt,L,N)a__U114(a__isNatKind(N),L)a__U114(tt,L)s(a__length(mark(L)))a__U12(tt,V1)a__U13(a__isNatList(V1))a__U121(tt,IL)a__U122(a__isNatIListKind(IL))a__U122(tt)nila__U13(tt)tta__U131(tt,IL,M,N)a__U132(a__isNatIListKind(IL),IL,M,N)a__U132(tt,IL,M,N)a__U133(a__isNat(M),IL,M,N)a__U133(tt,IL,M,N)a__U134(a__isNatKind(M),IL,M,N)a__U134(tt,IL,M,N)a__U135(a__isNat(N),IL,M,N)a__U135(tt,IL,M,N)a__U136(a__isNatKind(N),IL,M,N)a__U136(tt,IL,M,N)cons(mark(N),take(M,IL))a__U21(tt,V1)a__U22(a__isNatKind(V1),V1)a__U22(tt,V1)a__U23(a__isNat(V1))a__U23(tt)tta__U31(tt,V)a__U32(a__isNatIListKind(V),V)a__U32(tt,V)a__U33(a__isNatList(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isNatKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isNatIListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isNatIListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isNat(V1),V2)a__U45(tt,V2)a__U46(a__isNatIList(V2))a__U46(tt)tta__U51(tt,V2)a__U52(a__isNatIListKind(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIListKind(V2))a__U62(tt)tta__U71(tt)tta__U81(tt)tta__U91(tt,V1,V2)a__U92(a__isNatKind(V1),V1,V2)a__U92(tt,V1,V2)a__U93(a__isNatIListKind(V2),V1,V2)a__U93(tt,V1,V2)a__U94(a__isNatIListKind(V2),V1,V2)a__U94(tt,V1,V2)a__U95(a__isNat(V1),V2)a__U95(tt,V2)a__U96(a__isNatList(V2))a__U96(tt)tta__isNat(0)tta__isNat(length(V1))a__U11(a__isNatIListKind(V1),V1)a__isNat(s(V1))a__U21(a__isNatKind(V1),V1)a__isNatIList(V)a__U31(a__isNatIListKind(V),V)a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNatKind(V1),V1,V2)a__isNatIListKind(nil)tta__isNatIListKind(zeros)tta__isNatIListKind(cons(V1,V2))a__U51(a__isNatKind(V1),V2)a__isNatIListKind(take(V1,V2))a__U61(a__isNatKind(V1),V2)a__isNatKind(0)tta__isNatKind(length(V1))a__U71(a__isNatIListKind(V1))a__isNatKind(s(V1))a__U81(a__isNatKind(V1))a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U91(a__isNatKind(V1),V1,V2)a__isNatList(take(V1,V2))a__U101(a__isNatKind(V1),V1,V2)a__length(nil)0a__length(cons(N,L))a__U111(a__isNatList(L),L,N)a__take(0,IL)a__U121(a__isNatIList(IL),IL)a__take(s(M),cons(N,IL))a__U131(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U101(X1,X2,X3))a__U101(mark(X1),X2,X3)mark(U102(X1,X2,X3))a__U102(mark(X1),X2,X3)mark(isNatKind(X))a__isNatKind(X)mark(U103(X1,X2,X3))a__U103(mark(X1),X2,X3)mark(isNatIListKind(X))a__isNatIListKind(X)mark(U104(X1,X2,X3))a__U104(mark(X1),X2,X3)mark(U105(X1,X2))a__U105(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(U106(X))a__U106(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(U111(X1,X2,X3))a__U111(mark(X1),X2,X3)mark(U112(X1,X2,X3))a__U112(mark(X1),X2,X3)mark(U113(X1,X2,X3))a__U113(mark(X1),X2,X3)mark(U114(X1,X2))a__U114(mark(X1),X2)mark(length(X))a__length(mark(X))mark(U13(X))a__U13(mark(X))mark(isNatList(X))a__isNatList(X)mark(U121(X1,X2))a__U121(mark(X1),X2)mark(U122(X))a__U122(mark(X))mark(U131(X1,X2,X3,X4))a__U131(mark(X1),X2,X3,X4)mark(U132(X1,X2,X3,X4))a__U132(mark(X1),X2,X3,X4)mark(U133(X1,X2,X3,X4))a__U133(mark(X1),X2,X3,X4)mark(U134(X1,X2,X3,X4))a__U134(mark(X1),X2,X3,X4)mark(U135(X1,X2,X3,X4))a__U135(mark(X1),X2,X3,X4)mark(U136(X1,X2,X3,X4))a__U136(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X1,X2))a__U22(mark(X1),X2)mark(U23(X))a__U23(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X))a__U71(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3))a__U91(mark(X1),X2,X3)mark(U92(X1,X2,X3))a__U92(mark(X1),X2,X3)mark(U93(X1,X2,X3))a__U93(mark(X1),X2,X3)mark(U94(X1,X2,X3))a__U94(mark(X1),X2,X3)mark(U95(X1,X2))a__U95(mark(X1),X2)mark(U96(X))a__U96(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U101(X1,X2,X3)U101(X1,X2,X3)a__U102(X1,X2,X3)U102(X1,X2,X3)a__isNatKind(X)isNatKind(X)a__U103(X1,X2,X3)U103(X1,X2,X3)a__isNatIListKind(X)isNatIListKind(X)a__U104(X1,X2,X3)U104(X1,X2,X3)a__U105(X1,X2)U105(X1,X2)a__isNat(X)isNat(X)a__U106(X)U106(X)a__isNatIList(X)isNatIList(X)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__U111(X1,X2,X3)U111(X1,X2,X3)a__U112(X1,X2,X3)U112(X1,X2,X3)a__U113(X1,X2,X3)U113(X1,X2,X3)a__U114(X1,X2)U114(X1,X2)a__length(X)length(X)a__U13(X)U13(X)a__isNatList(X)isNatList(X)a__U121(X1,X2)U121(X1,X2)a__U122(X)U122(X)a__U131(X1,X2,X3,X4)U131(X1,X2,X3,X4)a__U132(X1,X2,X3,X4)U132(X1,X2,X3,X4)a__U133(X1,X2,X3,X4)U133(X1,X2,X3,X4)a__U134(X1,X2,X3,X4)U134(X1,X2,X3,X4)a__U135(X1,X2,X3,X4)U135(X1,X2,X3,X4)a__U136(X1,X2,X3,X4)U136(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__U21(X1,X2)U21(X1,X2)a__U22(X1,X2)U22(X1,X2)a__U23(X)U23(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X)U71(X)a__U81(X)U81(X)a__U91(X1,X2,X3)U91(X1,X2,X3)a__U92(X1,X2,X3)U92(X1,X2,X3)a__U93(X1,X2,X3)U93(X1,X2,X3)a__U94(X1,X2,X3)U94(X1,X2,X3)a__U95(X1,X2)U95(X1,X2)a__U96(X)U96(X)Marked_a__U61(tt,V2)Marked_a__isNatIListKind(V2)Marked_a__U51(tt,V2)Marked_a__isNatIListKind(V2)