Marked_a__U42U21U93a__U61Marked_a__U72a__U81U61a__U31Marked_a__isNatListtakeisNata__U52Marked_a__U91sisNatIListMarked_a__U11a__zerosMarked_a__U51a__takeU91a__U51Marked_a__lengthmarkU52Marked_marka__U11Marked_a__U62a__U91U71a__isNatIListMarked_a__U93a__isNatU41Marked_a__U310Marked_a__isNatIListU11U92a__U62Marked_a__isNatnilisNatLista__U21Marked_a__U61a__U93U72a__U41Marked_a__U92a__U71U42Marked_a__U21zerosMarked_a__U52lengthU81a__isNatListMarked_a__U81a__lengthU51Marked_a__zerosttMarked_a__U71a__U92U62a__U42Marked_a__takea__U72U31Marked_a__U41consXX4X3X2X1VV1MILNLV2a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__U42(a__isNatIList(V2))Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__U52(a__isNatList(V2))Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__U61(tt,V2)Marked_a__U62(a__isNatIList(V2))Marked_a__U61(tt,V2)Marked_a__isNatIList(V2)Marked_a__U71(tt,L,N)Marked_a__U72(a__isNat(N),L)Marked_a__U71(tt,L,N)Marked_a__isNat(N)Marked_a__U72(tt,L)Marked_a__length(mark(L))Marked_a__U72(tt,L)Marked_mark(L)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U91(tt,IL,M,N)Marked_a__isNat(M)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__isNat(N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__isNat(length(V1))Marked_a__U11(a__isNatList(V1))Marked_a__isNat(length(V1))Marked_a__isNatList(V1)Marked_a__isNat(s(V1))Marked_a__U21(a__isNat(V1))Marked_a__isNat(s(V1))Marked_a__isNat(V1)Marked_a__isNatIList(V)Marked_a__U31(a__isNatList(V))Marked_a__isNatIList(V)Marked_a__isNatList(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)Marked_a__isNatList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(take(V1,V2))Marked_a__U61(a__isNat(V1),V2)Marked_a__isNatList(take(V1,V2))Marked_a__isNat(V1)Marked_a__length(cons(N,L))Marked_a__U71(a__isNatList(L),L,N)Marked_a__length(cons(N,L))Marked_a__isNatList(L)Marked_a__take(0,IL)Marked_a__U81(a__isNatIList(IL))Marked_a__take(0,IL)Marked_a__isNatIList(IL)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(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(U11(X))Marked_a__U11(mark(X))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_a__U21(mark(X))Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_a__U31(mark(X))Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_a__U41(mark(X1),X2)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_a__U42(mark(X))Marked_mark(U42(X))Marked_mark(X)Marked_mark(isNatIList(X))Marked_a__isNatIList(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(isNatList(X))Marked_a__isNatList(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(X1,X2,X3))Marked_a__U71(mark(X1),X2,X3)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_a__U72(mark(X1),X2)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(isNat(X))Marked_a__isNat(X)Marked_mark(length(X))Marked_a__length(mark(X))Marked_mark(length(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,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U71(tt,L,N)Marked_a__U72(a__isNat(N),L)Marked_a__U72(tt,L)Marked_a__length(mark(L))Marked_a__U72(tt,L)Marked_mark(L)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__length(cons(N,L))Marked_a__U71(a__isNatList(L),L,N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(X1,X2,X3))Marked_a__U71(mark(X1),X2,X3)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_a__U72(mark(X1),X2)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(length(X))Marked_a__length(mark(X))Marked_mark(length(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons210U3120a__U722110Marked_a__take20a__U4210U6220a__U9221120Marked_a__U7120tt0U5120a__length210a__isNatList0U8120length210zeros0U4210a__U712210Marked_a__U9220a__U4110U722110a__U9311120a__U2120isNatList0nil0a__U6220U9221120U112000U4110a__isNat0Marked_a__U9320a__isNatIList0U712210a__U9121120a__U1120Marked_mark20U5210mark10Marked_a__length20a__U5120U9121120a__take110a__zeros0isNatIList0s10Marked_a__U9120a__U5210isNat0take110a__U3120U6110a__U8120Marked_a__U7220a__U6110U9311120U2120Marked_mark(U71(X1,X2,X3))Marked_a__U71(mark(X1),X2,X3)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_a__U72(mark(X1),X2)Marked_mark(U72(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__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U71(tt,L,N)Marked_a__U72(a__isNat(N),L)Marked_a__U72(tt,L)Marked_a__length(mark(L))Marked_a__U72(tt,L)Marked_mark(L)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__length(cons(N,L))Marked_a__U71(a__isNatList(L),L,N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U71(tt,L,N)Marked_a__U72(a__isNat(N),L)Marked_a__U72(tt,L)Marked_a__length(mark(L))Marked_a__length(cons(N,L))Marked_a__U71(a__isNatList(L),L,N)cons20U3120a__U7220a__U4220U6210a__U9220Marked_a__U71220tt20U5120a__length10a__isNatList10U8110length10zeros0U4220a__U7120a__U4120U7220a__U9320a__U2110isNatList10nil20a__U6210U9220U1110020U4120a__isNat10a__isNatIList20U7120a__U9120a__U1110U5220mark10Marked_a__length20a__U5120U9120a__take10a__zeros0isNatIList20s20a__U5220isNat10take10a__U3120U6110a__U8110Marked_a__U7220a__U6110U9320U2110Marked_a__U71(tt,L,N)Marked_a__U72(a__isNat(N),L)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U72(tt,L)Marked_a__length(mark(L))Marked_a__length(cons(N,L))Marked_a__U71(a__isNatList(L),L,N)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U81(X))Marked_mark(X)Marked_mark(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons10U3120a__U7220Marked_a__take10a__U4210U6210a__U92120tt0U5120a__length20a__isNatList0U81110length10zeros20U4210a__U7120Marked_a__U9210a__U4110U7220a__U93220a__U2120isNatList0nil0a__U6210U92110U1110020U4110a__isNat0Marked_a__U9310a__isNatIList0U7110a__U91220a__U1110Marked_mark10U5220mark20a__U5120U91220a__take220a__zeros20isNatIList0s10Marked_a__U9110a__U5220isNat0take220a__U3120U6120a__U81210a__U6120U93210U2120Marked_mark(U81(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(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(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons10U3120a__U720Marked_a__take10a__U4220U6210a__U92120tt0U5120a__length0a__isNatList0U8120length0zeros0U4220a__U710Marked_a__U9210a__U4110U720a__U93120a__U2110isNatList0nil0a__U6210U92110U112000U4110a__isNat0Marked_a__U9310a__isNatIList0U710a__U91120a__U1120Marked_mark10U5220mark20a__U5120U91120a__take2130a__zeros0isNatIList0s10Marked_a__U9110a__U5220isNat0take1130a__U3120U6110a__U8120a__U6110U93120U2110Marked_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__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_a__take(s(M),cons(N,IL))Marked_a__U91(a__isNatIList(IL),IL,M,N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons10U3110a__U720a__U4210U6220a__U92220tt0U5110a__length0a__isNatList0U810length0zeros0U4210a__U710Marked_a__U9220a__U4120U720a__U93120a__U2110isNatList0nil0a__U6220U92220U111000U4120a__isNat0Marked_a__U9320a__isNatIList0U710a__U911120a__U1110Marked_mark20U5210mark10a__U5110U911120a__take120a__zeros0isNatIList0s20Marked_a__U9130a__U5210isNat0take120a__U3110U6120a__U810a__U6120U93120U2110Marked_mark(U91(X1,X2,X3,X4))Marked_a__U91(mark(X1),X2,X3,X4)Marked_mark(U91(X1,X2,X3,X4))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U91(tt,IL,M,N)Marked_a__U92(a__isNat(M),IL,M,N)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons10U3110a__U720a__U4210U6210a__U921120tt0U5110a__length0a__isNatList0U810length0zeros0U4210a__U710Marked_a__U92110a__U4120U720a__U93220a__U2120isNatList0nil0a__U6210U921120U112000U4120a__isNat0Marked_a__U9310a__isNatIList0U710a__U91120a__U1120Marked_mark10U5210mark20a__U5110U91120a__take120a__zeros0isNatIList0s10a__U5210isNat0take120a__U3110U6110a__U810a__U6110U93220U2120Marked_a__U92(tt,IL,M,N)Marked_a__U93(a__isNat(N),IL,M,N)Marked_mark(U92(X1,X2,X3,X4))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U92(X1,X2,X3,X4))Marked_a__U92(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons210U3110a__U720a__U4210U6210a__U92320tt0U5120a__length0a__isNatList0U810length0zeros20U4210a__U710a__U4110U720a__U932220a__U2110isNatList0nil0a__U6210U92210U112000U4110a__isNat0Marked_a__U93330a__isNatIList0U710a__U91320a__U1120Marked_mark230U5210mark20a__U5120U91210a__take20a__zeros20isNatIList0s10a__U5210isNat0take20a__U3110U6120a__U810a__U6120U932210U2110Marked_a__U93(tt,IL,M,N)Marked_mark(N)Marked_mark(U93(X1,X2,X3,X4))Marked_a__U93(mark(X1),X2,X3,X4)Marked_mark(U93(X1,X2,X3,X4))Marked_mark(X1)Marked_mark(cons(X1,X2))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(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(s(X))Marked_mark(X)cons210U3110a__U7220a__U4210U6220a__U9222320tt0U51110a__length20a__isNatList10U810length20zeros0U4210a__U7120a__U41110U7220a__U9322320a__U2110isNatList10nil0a__U6220U9222320U111000U41110a__isNat20a__isNatIList10U7120a__U9122320a__U1110Marked_mark30U5210mark10a__U51110U9122320a__take2320a__zeros0isNatIList10s10a__U5210isNat20take2320a__U3110U612120a__U810a__U612120U9322320U2110Marked_mark(U61(X1,X2))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U62(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U62(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons110U3110a__U7220a__U4210U62110a__U921220tt0U51110a__length20a__isNatList10U810length20zeros0U4210a__U7120a__U41220U7220a__U931210a__U2110isNatList10nil0a__U62110U921220U112000U41220a__isNat10a__isNatIList20U7120a__U911220a__U1120Marked_mark30U5210mark10a__U51110U911220a__take120a__zeros0isNatIList20s10a__U5210isNat10take120a__U3110U61120a__U810a__U61120U931210U2110Marked_mark(U62(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons120U3110a__U720a__U4220U620a__U9230tt0U5120a__length0a__isNatList0U810length0zeros10U4220a__U710a__U411220U720a__U9330a__U2120isNatList0nil0a__U620U9220U111000U411210a__isNat0a__isNatIList10U710a__U9130a__U1110Marked_mark30U5210mark30a__U5120U9130a__take30a__zeros30isNatIList10s20a__U5210isNat0take10a__U3110U610a__U810a__U610U9320U2120Marked_mark(U41(X1,X2))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons0U31110a__U720a__U4210U620a__U920tt0U5120a__length0a__isNatList0U810length0zeros0U4210a__U710a__U4110U720a__U930a__U2110isNatList0nil0a__U620U920U111000U4110a__isNat0a__isNatIList10U710a__U910a__U1110Marked_mark30U5210mark10a__U5120U910a__take0a__zeros0isNatIList10s20a__U5210isNat0take0a__U31110U610a__U810a__U610U930U2110Marked_mark(U31(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons110U310a__U720a__U42210U620a__U9220tt0U5120a__length0a__isNatList0U8120length0zeros10U42210a__U710a__U41230U720a__U9320a__U2110isNatList0nil0a__U620U9220U112000U41120a__isNat0a__isNatIList30U710a__U9120a__U1120Marked_mark30U5220mark20a__U5120U9120a__take20a__zeros20isNatIList20s20a__U5220isNat0take10a__U310U610a__U8120a__U610U9320U2110Marked_mark(U42(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons210U310a__U72210a__U420U620a__U92120tt0U51220a__length210a__isNatList20U810length210zeros0U420a__U71210a__U410U72210a__U93120a__U2110isNatList20nil0a__U620U92120U1111000U410a__isNat20a__isNatIList0U71210a__U91120a__U11110Marked_mark30U5210mark10a__U51220U91120a__take10a__zeros0isNatIList0s10a__U5210isNat20take10a__U310U610a__U810a__U610U93120U2110Marked_mark(U11(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons110U310a__U720a__U420U620a__U92120tt0U511210a__length0a__isNatList10U810length0zeros20U420a__U710a__U410U720a__U93120a__U2110isNatList10nil0a__U620U92110U11000U410a__isNat0a__isNatIList0U710a__U91120a__U110Marked_mark30U5210mark20a__U511210U91120a__take20a__zeros30isNatIList0s20a__U5210isNat0take20a__U310U610a__U810a__U610U93110U2110Marked_mark(U51(X1,X2))Marked_mark(X1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(U52(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons210U310a__U720a__U420U620a__U92210tt0U51120a__length0a__isNatList20U810length0zeros10U420a__U710a__U410U720a__U93210a__U2110isNatList10nil0a__U620U92110U11000U410a__isNat0a__isNatIList0U710a__U91210a__U110Marked_mark30U52110mark120a__U51220U91210a__take10a__zeros30isNatIList0s10a__U52110isNat0take10a__U310U610a__U810a__U610U93210U2110Marked_mark(U52(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)cons000000000000000000101000001000000000U31000000000000000001000000000a__U72100000000000000000000000100000000000a__U42000000000000000001000000000U62001000000000000000000000000a__U92101000000000000000000000000001000000000000000000000000tt001000000000000000U51000000000000000000001000000000000000a__length000000001001000100000000000a__isNatList000100000001000000000000000U81100000000000000000000000000length000000001001000100000000000zeros001000000000000000U42000000000000000001000000000a__U71000000000000000100000000100000000000000000000a__U41000000000000000000001000001000000000U72100000000000000000000000100000000000a__U93101000000000000000000000000001000000000000000000000000a__U21001000000100000000000000000isNatList000100000001000000000000000nil100000000000000000a__U62001000000000000000000000000U92101000000000000000000000000001000000000000000000000000U110000000000000000010000000000001000000000000000U41000000000000000000001000001000000000a__isNat000100000001000001000000000a__isNatIList000000000001000001000000000U71000000000000000100000000100000000000000000000a__U91101000000000000000000000000001000000000000000000000000a__U11000000000000000001000000000Marked_mark000000000100000000000000000U52000000000000000001000000000mark000000000100000001000000000a__U51000000000000000000001000000000000000U91101000000000000000000000000001000000000000000000000000a__take100000000001000000000000000000000000a__zeros001000000000000000isNatIList000000000001000001000000000s100000000100000000000000000a__U52000000000000000001000000000isNat000100000001000001000000000take100000000001000000000000000000000000a__U31000000000000000001000000000U61001000000000000000000000000000000000a__U81100000000000000000000000000a__U61001000000000000000000000000000000000U93101000000000000000000000000001000000000000000000000000U21001000000100000000000000000Marked_mark(s(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_mark(U21(X))Marked_mark(X)cons000000000000000000000011001000000000U31010000000000000000000000000a__U72011000000000000000000000001000000000a__U42010000000000000000000000000U62000000000000010000000000000a__U92011000000000000000000000000000000001000000000000000000tt010000000000000000U51000000000000000000000010000000000000a__length010000000000010001000000000a__isNatList000000001000010000000000000U81000000000000010000000000000length010000000000010001000000000zeros000000000000000000U42010000000000000000000000000a__U71000000000000011000000000001000000000000000000a__U41010000000000000000000000000000000000U72011000000000000000000000001000000000a__U93011000000000000000000000000000000001000000000000000000a__U21011000000000000001000000000isNatList000000001000010000000000000nil010000000000000000a__U62000000000000010000000000000U92011000000000000000000000000000000001000000000000000000U110100000000000000000000000000010000000000000000U41010000000000000000000000000000000000a__isNat000000000000010001000000000a__isNatIList010000000000000000000000000U71000000000000011000000000001000000000000000000a__U91001000000000010000000000000000000001000000000000000000a__U11010000000000000000000000000Marked_mark000000000000000100000000000U52000000000000010000000000000mark000000000000010001000000000a__U51000000000000000000000010000000000000U91001000000000010000000000000000000001000000000000000000a__take010000000000000001000000000000000000a__zeros000000000000000000isNatIList010000000000000000000000000s011000000000000001000000000a__U52000000000000010000000000000isNat000000000000010001000000000take010000000000000001000000000000000000a__U31010000000000000000000000000U61010000000000000000000000000000000000a__U81000000000000010000000000000a__U61010000000000000000000000000000000000U93011000000000000000000000000000000001000000000000000000U21011000000000000001000000000a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__U61(tt,V2)Marked_a__isNatIList(V2)Marked_a__isNat(length(V1))Marked_a__isNatList(V1)Marked_a__isNat(s(V1))Marked_a__isNat(V1)Marked_a__isNatIList(V)Marked_a__isNatList(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)Marked_a__isNatList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(take(V1,V2))Marked_a__U61(a__isNat(V1),V2)Marked_a__isNatList(take(V1,V2))Marked_a__isNat(V1)cons210Marked_a__U4120U310a__U72120a__U420U620a__U922120tt0U510a__length120a__isNatList20U810length120zeros0U420a__U71120a__U410U72120a__U932120Marked_a__U6130a__U210isNatList20nil0Marked_a__isNat10a__U620U922120U110Marked_a__isNatIList2000U410a__isNat0a__isNatIList0U71120a__U912120a__U110U520mark10a__U510U912120a__take120Marked_a__U5120a__zeros0isNatIList0s10a__U520isNat0take120Marked_a__isNatList20a__U310U610a__U810a__U610U932120U210Marked_a__isNat(length(V1))Marked_a__isNatList(V1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__U61(tt,V2)Marked_a__isNatIList(V2)Marked_a__isNat(s(V1))Marked_a__isNat(V1)Marked_a__isNatIList(V)Marked_a__isNatList(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)Marked_a__isNatList(cons(V1,V2))Marked_a__isNat(V1)Marked_a__isNatList(take(V1,V2))Marked_a__U61(a__isNat(V1),V2)Marked_a__isNatList(take(V1,V2))Marked_a__isNat(V1)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__U61(tt,V2)Marked_a__isNatIList(V2)Marked_a__isNatIList(V)Marked_a__isNatList(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)Marked_a__isNatList(take(V1,V2))Marked_a__U61(a__isNat(V1),V2)cons10Marked_a__U4120U310a__U720a__U420U620a__U92220tt0U5110a__length0a__isNatList10U810length0zeros0U420a__U710a__U410U720a__U93220Marked_a__U6120a__U210isNatList10nil0a__U620U92220U110Marked_a__isNatIList2000U410a__isNat0a__isNatIList0U710a__U91220a__U110U520mark10a__U5110U91220a__take220Marked_a__U5110a__zeros0isNatIList0s0a__U520isNat0take220Marked_a__isNatList10a__U310U610a__U810a__U610U93220U210Marked_a__isNatList(take(V1,V2))Marked_a__U61(a__isNat(V1),V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__U61(tt,V2)Marked_a__isNatIList(V2)Marked_a__isNatIList(V)Marked_a__isNatList(V)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)cons110Marked_a__U4110U310a__U7210a__U4210U620a__U92220tt0U510a__length10a__isNatList0U810length10zeros10U4210a__U7110a__U4110U7210a__U93220a__U210isNatList0nil0a__U620U92120U110Marked_a__isNatIList1000U4110a__isNat0a__isNatIList10U7110a__U91220a__U110U520mark20a__U510U91120a__take20a__zeros20isNatIList10s0a__U520isNat0take20a__U310U610a__U810a__U610U93220U210Marked_a__isNatIList(cons(V1,V2))Marked_a__U41(a__isNat(V1),V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U41(tt,V2)Marked_a__isNatIList(V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)cons220U310a__U720a__U420U620a__U92220tt0U510a__length0a__isNatList0U810length0zeros0U420a__U710a__U4120U720a__U93220a__U210isNatList0nil0a__U620U9220U11000U410a__isNat0a__isNatIList20U710a__U91220a__U110U520mark210a__U510U91220a__take10Marked_a__U51230a__zeros20isNatIList0s0a__U520isNat0take10Marked_a__isNatList230a__U310U610a__U810a__U610U9320U210Marked_a__isNatList(cons(V1,V2))Marked_a__U51(a__isNat(V1),V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__U51(tt,V2)Marked_a__isNatList(V2)a__zeroscons(0,zeros)a__U11(tt)tta__U21(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNatIList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isNatList(V2))a__U52(tt)tta__U61(tt,V2)a__U62(a__isNatIList(V2))a__U62(tt)tta__U71(tt,L,N)a__U72(a__isNat(N),L)a__U72(tt,L)s(a__length(mark(L)))a__U81(tt)nila__U91(tt,IL,M,N)a__U92(a__isNat(M),IL,M,N)a__U92(tt,IL,M,N)a__U93(a__isNat(N),IL,M,N)a__U93(tt,IL,M,N)cons(mark(N),take(M,IL))a__isNat(0)tta__isNat(length(V1))a__U11(a__isNatList(V1))a__isNat(s(V1))a__U21(a__isNat(V1))a__isNatIList(V)a__U31(a__isNatList(V))a__isNatIList(zeros)tta__isNatIList(cons(V1,V2))a__U41(a__isNat(V1),V2)a__isNatList(nil)tta__isNatList(cons(V1,V2))a__U51(a__isNat(V1),V2)a__isNatList(take(V1,V2))a__U61(a__isNat(V1),V2)a__length(nil)0a__length(cons(N,L))a__U71(a__isNatList(L),L,N)a__take(0,IL)a__U81(a__isNatIList(IL))a__take(s(M),cons(N,IL))a__U91(a__isNatIList(IL),IL,M,N)mark(zeros)a__zerosmark(U11(X))a__U11(mark(X))mark(U21(X))a__U21(mark(X))mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNatIList(X))a__isNatIList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(isNatList(X))a__isNatList(X)mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X))a__U62(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(isNat(X))a__isNat(X)mark(length(X))a__length(mark(X))mark(U81(X))a__U81(mark(X))mark(U91(X1,X2,X3,X4))a__U91(mark(X1),X2,X3,X4)mark(U92(X1,X2,X3,X4))a__U92(mark(X1),X2,X3,X4)mark(U93(X1,X2,X3,X4))a__U93(mark(X1),X2,X3,X4)mark(take(X1,X2))a__take(mark(X1),mark(X2))mark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(tt)ttmark(s(X))s(mark(X))mark(nil)nila__zeroszerosa__U11(X)U11(X)a__U21(X)U21(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNatIList(X)isNatIList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__isNatList(X)isNatList(X)a__U61(X1,X2)U61(X1,X2)a__U62(X)U62(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__isNat(X)isNat(X)a__length(X)length(X)a__U81(X)U81(X)a__U91(X1,X2,X3,X4)U91(X1,X2,X3,X4)a__U92(X1,X2,X3,X4)U92(X1,X2,X3,X4)a__U93(X1,X2,X3,X4)U93(X1,X2,X3,X4)a__take(X1,X2)take(X1,X2)Marked_a__isNat(s(V1))Marked_a__isNat(V1)cons001000000000000000000010010000000000U31010000000000000000000000000a__U72000000000000010000000010000000000000a__U42010000000000000000000000000U62000000000000010000000000000a__U92011000000000000000000000000000010000000000000000000000tt010000000000000000U51010000000000000000000000000000000000a__length000000000000010000000000000a__isNatList000000000000000010000000000U81000000000000000000000000000length000000000000010000000000000zeros000000000000000000U42010000000000000000000000000a__U71000000000000010000000010000000000000000000000a__U41010000000000000000000000000000000000U72000000000000010000000010000000000000a__U93001000000000010000000000000000010000000000000000000000a__U21010000000000000000000000000isNatList000000000000000010000000000nil001000000000000000Marked_a__isNat000000000000100000000000000a__U62000000000000010000000000000U92010000000000000000000000000000010000000000000000000000U110100000000000000000000000000000000000000000000U41010000000000000000000000000000000000a__isNat010000000000000000000000000a__isNatIList010000000000000000000000000U71000000000000010000000010000000000000000000000a__U91001000000000010000000000000000010000000000000000000000a__U11010000000000000000000000000U52010000000000000000000000000mark001000000000010000000000000a__U51010000000000000000000000000000000000U91000000000000010000000000000000010000000000000000000000a__take001000000000010000000000000000000000a__zeros001000000000000000isNatIList010000000000000000000000000s010000000000010000000000000a__U52010000000000000000000000000isNat010000000000000000000000000take001000000000010000000000000000000000a__U31010000000000000000000000000U61000000000000010000000000000000000000a__U81001000000000000000000000000a__U61000000000000010000000000000000000000U93000000000000010000000000000000010000000000000000000000U21010000000000000000000000000