WORST_CASE(Omega(n^1),?)
* Step 1: Sum.  WORST_CASE(Omega(n^1),?)
    + Considered Problem:
        - Strict TRS:
            A__AFTERNTH(z0,z1) -> c227(A__U11(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__AFTERNTH(z0,z1) -> c228()
            A__FST(z0) -> c230()
            A__FST(pair(z0,z1)) -> c229(A__U21(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__HEAD(z0) -> c232()
            A__HEAD(cons(z0,z1)) -> c231(A__U31(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__ISLNAT(z0) -> c241()
            A__ISLNAT(afterNth(z0,z1)) -> c234(A__U41(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(cons(z0,z1)) -> c235(A__U51(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(fst(z0)) -> c236(A__U61(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(natsFrom(z0)) -> c237(A__U71(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISLNAT(nil()) -> c233()
            A__ISLNAT(snd(z0)) -> c238(A__U81(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(tail(z0)) -> c239(A__U91(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISLNAT(take(z0,z1)) -> c240(A__U101(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(z0) -> c250()
            A__ISLNATKIND(afterNth(z0,z1)) -> c243(A__U111(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(cons(z0,z1)) -> c244(A__U121(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(fst(z0)) -> c245(A__U131(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(natsFrom(z0)) -> c246(A__U141(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISLNATKIND(nil()) -> c242()
            A__ISLNATKIND(snd(z0)) -> c247(A__U151(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(tail(z0)) -> c248(A__U161(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISLNATKIND(take(z0,z1)) -> c249(A__U171(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISNATURAL(z0) -> c255()
            A__ISNATURAL(0()) -> c251()
            A__ISNATURAL(head(z0)) -> c252(A__U181(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISNATURAL(s(z0)) -> c253(A__U191(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISNATURAL(sel(z0,z1)) -> c254(A__U201(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(z0) -> c260()
            A__ISNATURALKIND(0()) -> c256()
            A__ISNATURALKIND(head(z0)) -> c257(A__U211(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISNATURALKIND(s(z0)) -> c258(A__U221(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(sel(z0,z1)) -> c259(A__U231(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISPLNAT(z0) -> c263()
            A__ISPLNAT(pair(z0,z1)) -> c261(A__U241(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__ISPLNAT(splitAt(z0,z1)) -> c262(A__U251(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISPLNATKIND(z0) -> c266()
            A__ISPLNATKIND(pair(z0,z1)) -> c264(A__U261(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__ISPLNATKIND(splitAt(z0,z1)) -> c265(A__U271(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__NATSFROM(z0) -> c267(A__U281(a__isNatural(z0),z0),A__ISNATURAL(z0))
            A__NATSFROM(z0) -> c268()
            A__SEL(z0,z1) -> c269(A__U291(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__SEL(z0,z1) -> c270()
            A__SND(z0) -> c272()
            A__SND(pair(z0,z1)) -> c271(A__U301(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__SPLITAT(z0,z1) -> c275()
            A__SPLITAT(0(),z0) -> c273(A__U311(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__SPLITAT(s(z0),cons(z1,z2)) -> c274(A__U321(a__isNatural(z0),z0,z1,z2),A__ISNATURAL(z0))
            A__TAIL(z0) -> c277()
            A__TAIL(cons(z0,z1)) -> c276(A__U331(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c278(A__U341(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c279()
            A__U101(z0,z1,z2) -> c1()
            A__U101(tt(),z0,z1) -> c(A__U102(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U102(z0,z1,z2) -> c3()
            A__U102(tt(),z0,z1) -> c2(A__U103(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U103(z0,z1,z2) -> c5()
            A__U103(tt(),z0,z1) -> c4(A__U104(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U104(z0,z1,z2) -> c7()
            A__U104(tt(),z0,z1) -> c6(A__U105(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U105(z0,z1) -> c9()
            A__U105(tt(),z0) -> c8(A__U106(a__isLNat(z0)),A__ISLNAT(z0))
            A__U106(z0) -> c11()
            A__U106(tt()) -> c10()
            A__U11(z0,z1,z2) -> c13()
            A__U11(tt(),z0,z1) -> c12(A__U12(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U111(z0,z1) -> c15()
            A__U111(tt(),z0) -> c14(A__U112(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U112(z0) -> c17()
            A__U112(tt()) -> c16()
            A__U12(z0,z1,z2) -> c19()
            A__U12(tt(),z0,z1) -> c18(A__U13(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U121(z0,z1) -> c21()
            A__U121(tt(),z0) -> c20(A__U122(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U122(z0) -> c23()
            A__U122(tt()) -> c22()
            A__U13(z0,z1,z2) -> c25()
            A__U13(tt(),z0,z1) -> c24(A__U14(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U131(z0) -> c27()
            A__U131(tt()) -> c26()
            A__U14(z0,z1,z2) -> c30()
            A__U14(tt(),z0,z1) -> c28(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U14(tt(),z0,z1) -> c29(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U141(z0) -> c32()
            A__U141(tt()) -> c31()
            A__U151(z0) -> c34()
            A__U151(tt()) -> c33()
            A__U161(z0) -> c36()
            A__U161(tt()) -> c35()
            A__U171(z0,z1) -> c38()
            A__U171(tt(),z0) -> c37(A__U172(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U172(z0) -> c40()
            A__U172(tt()) -> c39()
            A__U181(z0,z1) -> c42()
            A__U181(tt(),z0) -> c41(A__U182(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U182(z0,z1) -> c44()
            A__U182(tt(),z0) -> c43(A__U183(a__isLNat(z0)),A__ISLNAT(z0))
            A__U183(z0) -> c46()
            A__U183(tt()) -> c45()
            A__U191(z0,z1) -> c48()
            A__U191(tt(),z0) -> c47(A__U192(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U192(z0,z1) -> c50()
            A__U192(tt(),z0) -> c49(A__U193(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U193(z0) -> c52()
            A__U193(tt()) -> c51()
            A__U201(z0,z1,z2) -> c54()
            A__U201(tt(),z0,z1) -> c53(A__U202(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U202(z0,z1,z2) -> c56()
            A__U202(tt(),z0,z1) -> c55(A__U203(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U203(z0,z1,z2) -> c58()
            A__U203(tt(),z0,z1) -> c57(A__U204(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U204(z0,z1,z2) -> c60()
            A__U204(tt(),z0,z1) -> c59(A__U205(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U205(z0,z1) -> c62()
            A__U205(tt(),z0) -> c61(A__U206(a__isLNat(z0)),A__ISLNAT(z0))
            A__U206(z0) -> c64()
            A__U206(tt()) -> c63()
            A__U21(z0,z1,z2) -> c66()
            A__U21(tt(),z0,z1) -> c65(A__U22(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U211(z0) -> c68()
            A__U211(tt()) -> c67()
            A__U22(z0,z1,z2) -> c70()
            A__U22(tt(),z0,z1) -> c69(A__U23(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U221(z0) -> c72()
            A__U221(tt()) -> c71()
            A__U23(z0,z1,z2) -> c74()
            A__U23(tt(),z0,z1) -> c73(A__U24(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U231(z0,z1) -> c76()
            A__U231(tt(),z0) -> c75(A__U232(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U232(z0) -> c78()
            A__U232(tt()) -> c77()
            A__U24(z0,z1) -> c80()
            A__U24(tt(),z0) -> c79(MARK(z0))
            A__U241(z0,z1,z2) -> c82()
            A__U241(tt(),z0,z1) -> c81(A__U242(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U242(z0,z1,z2) -> c84()
            A__U242(tt(),z0,z1) -> c83(A__U243(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U243(z0,z1,z2) -> c86()
            A__U243(tt(),z0,z1) -> c85(A__U244(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U244(z0,z1,z2) -> c88()
            A__U244(tt(),z0,z1) -> c87(A__U245(a__isLNat(z0),z1),A__ISLNAT(z0))
            A__U245(z0,z1) -> c90()
            A__U245(tt(),z0) -> c89(A__U246(a__isLNat(z0)),A__ISLNAT(z0))
            A__U246(z0) -> c92()
            A__U246(tt()) -> c91()
            A__U251(z0,z1,z2) -> c94()
            A__U251(tt(),z0,z1) -> c93(A__U252(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U252(z0,z1,z2) -> c96()
            A__U252(tt(),z0,z1) -> c95(A__U253(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U253(z0,z1,z2) -> c98()
            A__U253(tt(),z0,z1) -> c97(A__U254(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U254(z0,z1,z2) -> c100()
            A__U254(tt(),z0,z1) -> c99(A__U255(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U255(z0,z1) -> c102()
            A__U255(tt(),z0) -> c101(A__U256(a__isLNat(z0)),A__ISLNAT(z0))
            A__U256(z0) -> c104()
            A__U256(tt()) -> c103()
            A__U261(z0,z1) -> c106()
            A__U261(tt(),z0) -> c105(A__U262(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U262(z0) -> c108()
            A__U262(tt()) -> c107()
            A__U271(z0,z1) -> c110()
            A__U271(tt(),z0) -> c109(A__U272(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U272(z0) -> c112()
            A__U272(tt()) -> c111()
            A__U281(z0,z1) -> c114()
            A__U281(tt(),z0) -> c113(A__U282(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U282(z0,z1) -> c116()
            A__U282(tt(),z0) -> c115(MARK(z0))
            A__U291(z0,z1,z2) -> c118()
            A__U291(tt(),z0,z1) -> c117(A__U292(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U292(z0,z1,z2) -> c120()
            A__U292(tt(),z0,z1) -> c119(A__U293(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U293(z0,z1,z2) -> c122()
            A__U293(tt(),z0,z1) -> c121(A__U294(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U294(z0,z1,z2) -> c125()
            A__U294(tt(),z0,z1) -> c123(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            A__U294(tt(),z0,z1) -> c124(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            A__U301(z0,z1,z2) -> c127()
            A__U301(tt(),z0,z1) -> c126(A__U302(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__U302(z0,z1) -> c129()
            A__U302(tt(),z0) -> c128(A__U303(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U303(z0,z1) -> c131()
            A__U303(tt(),z0) -> c130(A__U304(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U304(z0,z1) -> c133()
            A__U304(tt(),z0) -> c132(MARK(z0))
            A__U31(z0,z1,z2) -> c135()
            A__U31(tt(),z0,z1) -> c134(A__U32(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U311(z0,z1) -> c137()
            A__U311(tt(),z0) -> c136(A__U312(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U312(z0,z1) -> c139()
            A__U312(tt(),z0) -> c138(MARK(z0))
            A__U32(z0,z1,z2) -> c141()
            A__U32(tt(),z0,z1) -> c140(A__U33(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U321(z0,z1,z2,z3) -> c143()
            A__U321(tt(),z0,z1,z2) -> c142(A__U322(a__isNaturalKind(z0),z0,z1,z2),A__ISNATURALKIND(z0))
            A__U322(z0,z1,z2,z3) -> c145()
            A__U322(tt(),z0,z1,z2) -> c144(A__U323(a__isNatural(z1),z0,z1,z2),A__ISNATURAL(z1))
            A__U323(z0,z1,z2,z3) -> c147()
            A__U323(tt(),z0,z1,z2) -> c146(A__U324(a__isNaturalKind(z1),z0,z1,z2),A__ISNATURALKIND(z1))
            A__U324(z0,z1,z2,z3) -> c149()
            A__U324(tt(),z0,z1,z2) -> c148(A__U325(a__isLNat(z2),z0,z1,z2),A__ISLNAT(z2))
            A__U325(z0,z1,z2,z3) -> c151()
            A__U325(tt(),z0,z1,z2) -> c150(A__U326(a__isLNatKind(z2),z0,z1,z2),A__ISLNATKIND(z2))
            A__U326(z0,z1,z2,z3) -> c154()
            A__U326(tt(),z0,z1,z2) -> c152(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z0))
            A__U326(tt(),z0,z1,z2) -> c153(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z2))
            A__U327(z0,z1) -> c157()
            A__U327(pair(z0,z1),z2) -> c155(MARK(z2))
            A__U327(pair(z0,z1),z2) -> c156(MARK(z1))
            A__U33(z0,z1,z2) -> c159()
            A__U33(tt(),z0,z1) -> c158(A__U34(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U331(z0,z1,z2) -> c161()
            A__U331(tt(),z0,z1) -> c160(A__U332(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__U332(z0,z1) -> c163()
            A__U332(tt(),z0) -> c162(A__U333(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U333(z0,z1) -> c165()
            A__U333(tt(),z0) -> c164(A__U334(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U334(z0,z1) -> c167()
            A__U334(tt(),z0) -> c166(MARK(z0))
            A__U34(z0,z1) -> c169()
            A__U34(tt(),z0) -> c168(MARK(z0))
            A__U341(z0,z1,z2) -> c171()
            A__U341(tt(),z0,z1) -> c170(A__U342(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U342(z0,z1,z2) -> c173()
            A__U342(tt(),z0,z1) -> c172(A__U343(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U343(z0,z1,z2) -> c175()
            A__U343(tt(),z0,z1) -> c174(A__U344(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U344(z0,z1,z2) -> c178()
            A__U344(tt(),z0,z1) -> c176(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U344(tt(),z0,z1) -> c177(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U41(z0,z1,z2) -> c180()
            A__U41(tt(),z0,z1) -> c179(A__U42(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U42(z0,z1,z2) -> c182()
            A__U42(tt(),z0,z1) -> c181(A__U43(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U43(z0,z1,z2) -> c184()
            A__U43(tt(),z0,z1) -> c183(A__U44(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U44(z0,z1,z2) -> c186()
            A__U44(tt(),z0,z1) -> c185(A__U45(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U45(z0,z1) -> c188()
            A__U45(tt(),z0) -> c187(A__U46(a__isLNat(z0)),A__ISLNAT(z0))
            A__U46(z0) -> c190()
            A__U46(tt()) -> c189()
            A__U51(z0,z1,z2) -> c192()
            A__U51(tt(),z0,z1) -> c191(A__U52(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U52(z0,z1,z2) -> c194()
            A__U52(tt(),z0,z1) -> c193(A__U53(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U53(z0,z1,z2) -> c196()
            A__U53(tt(),z0,z1) -> c195(A__U54(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U54(z0,z1,z2) -> c198()
            A__U54(tt(),z0,z1) -> c197(A__U55(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U55(z0,z1) -> c200()
            A__U55(tt(),z0) -> c199(A__U56(a__isLNat(z0)),A__ISLNAT(z0))
            A__U56(z0) -> c202()
            A__U56(tt()) -> c201()
            A__U61(z0,z1) -> c204()
            A__U61(tt(),z0) -> c203(A__U62(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U62(z0,z1) -> c206()
            A__U62(tt(),z0) -> c205(A__U63(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U63(z0) -> c208()
            A__U63(tt()) -> c207()
            A__U71(z0,z1) -> c210()
            A__U71(tt(),z0) -> c209(A__U72(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U72(z0,z1) -> c212()
            A__U72(tt(),z0) -> c211(A__U73(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U73(z0) -> c214()
            A__U73(tt()) -> c213()
            A__U81(z0,z1) -> c216()
            A__U81(tt(),z0) -> c215(A__U82(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U82(z0,z1) -> c218()
            A__U82(tt(),z0) -> c217(A__U83(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U83(z0) -> c220()
            A__U83(tt()) -> c219()
            A__U91(z0,z1) -> c222()
            A__U91(tt(),z0) -> c221(A__U92(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U92(z0,z1) -> c224()
            A__U92(tt(),z0) -> c223(A__U93(a__isLNat(z0)),A__ISLNAT(z0))
            A__U93(z0) -> c226()
            A__U93(tt()) -> c225()
            MARK(0()) -> c416()
            MARK(U101(z0,z1,z2)) -> c280(A__U101(mark(z0),z1,z2),MARK(z0))
            MARK(U102(z0,z1,z2)) -> c281(A__U102(mark(z0),z1,z2),MARK(z0))
            MARK(U103(z0,z1,z2)) -> c283(A__U103(mark(z0),z1,z2),MARK(z0))
            MARK(U104(z0,z1,z2)) -> c285(A__U104(mark(z0),z1,z2),MARK(z0))
            MARK(U105(z0,z1)) -> c286(A__U105(mark(z0),z1),MARK(z0))
            MARK(U106(z0)) -> c288(A__U106(mark(z0)),MARK(z0))
            MARK(U11(z0,z1,z2)) -> c290(A__U11(mark(z0),z1,z2),MARK(z0))
            MARK(U111(z0,z1)) -> c292(A__U111(mark(z0),z1),MARK(z0))
            MARK(U112(z0)) -> c293(A__U112(mark(z0)),MARK(z0))
            MARK(U12(z0,z1,z2)) -> c291(A__U12(mark(z0),z1,z2),MARK(z0))
            MARK(U121(z0,z1)) -> c295(A__U121(mark(z0),z1),MARK(z0))
            MARK(U122(z0)) -> c296(A__U122(mark(z0)),MARK(z0))
            MARK(U13(z0,z1,z2)) -> c294(A__U13(mark(z0),z1,z2),MARK(z0))
            MARK(U131(z0)) -> c298(A__U131(mark(z0)),MARK(z0))
            MARK(U14(z0,z1,z2)) -> c297(A__U14(mark(z0),z1,z2),MARK(z0))
            MARK(U141(z0)) -> c302(A__U141(mark(z0)),MARK(z0))
            MARK(U151(z0)) -> c303(A__U151(mark(z0)),MARK(z0))
            MARK(U161(z0)) -> c304(A__U161(mark(z0)),MARK(z0))
            MARK(U171(z0,z1)) -> c305(A__U171(mark(z0),z1),MARK(z0))
            MARK(U172(z0)) -> c306(A__U172(mark(z0)),MARK(z0))
            MARK(U181(z0,z1)) -> c307(A__U181(mark(z0),z1),MARK(z0))
            MARK(U182(z0,z1)) -> c308(A__U182(mark(z0),z1),MARK(z0))
            MARK(U183(z0)) -> c309(A__U183(mark(z0)),MARK(z0))
            MARK(U191(z0,z1)) -> c310(A__U191(mark(z0),z1),MARK(z0))
            MARK(U192(z0,z1)) -> c311(A__U192(mark(z0),z1),MARK(z0))
            MARK(U193(z0)) -> c312(A__U193(mark(z0)),MARK(z0))
            MARK(U201(z0,z1,z2)) -> c313(A__U201(mark(z0),z1,z2),MARK(z0))
            MARK(U202(z0,z1,z2)) -> c314(A__U202(mark(z0),z1,z2),MARK(z0))
            MARK(U203(z0,z1,z2)) -> c315(A__U203(mark(z0),z1,z2),MARK(z0))
            MARK(U204(z0,z1,z2)) -> c316(A__U204(mark(z0),z1,z2),MARK(z0))
            MARK(U205(z0,z1)) -> c317(A__U205(mark(z0),z1),MARK(z0))
            MARK(U206(z0)) -> c318(A__U206(mark(z0)),MARK(z0))
            MARK(U21(z0,z1,z2)) -> c319(A__U21(mark(z0),z1,z2),MARK(z0))
            MARK(U211(z0)) -> c321(A__U211(mark(z0)),MARK(z0))
            MARK(U22(z0,z1,z2)) -> c320(A__U22(mark(z0),z1,z2),MARK(z0))
            MARK(U221(z0)) -> c323(A__U221(mark(z0)),MARK(z0))
            MARK(U23(z0,z1,z2)) -> c322(A__U23(mark(z0),z1,z2),MARK(z0))
            MARK(U231(z0,z1)) -> c325(A__U231(mark(z0),z1),MARK(z0))
            MARK(U232(z0)) -> c326(A__U232(mark(z0)),MARK(z0))
            MARK(U24(z0,z1)) -> c324(A__U24(mark(z0),z1),MARK(z0))
            MARK(U241(z0,z1,z2)) -> c327(A__U241(mark(z0),z1,z2),MARK(z0))
            MARK(U242(z0,z1,z2)) -> c328(A__U242(mark(z0),z1,z2),MARK(z0))
            MARK(U243(z0,z1,z2)) -> c329(A__U243(mark(z0),z1,z2),MARK(z0))
            MARK(U244(z0,z1,z2)) -> c330(A__U244(mark(z0),z1,z2),MARK(z0))
            MARK(U245(z0,z1)) -> c331(A__U245(mark(z0),z1),MARK(z0))
            MARK(U246(z0)) -> c332(A__U246(mark(z0)),MARK(z0))
            MARK(U251(z0,z1,z2)) -> c333(A__U251(mark(z0),z1,z2),MARK(z0))
            MARK(U252(z0,z1,z2)) -> c334(A__U252(mark(z0),z1,z2),MARK(z0))
            MARK(U253(z0,z1,z2)) -> c335(A__U253(mark(z0),z1,z2),MARK(z0))
            MARK(U254(z0,z1,z2)) -> c336(A__U254(mark(z0),z1,z2),MARK(z0))
            MARK(U255(z0,z1)) -> c337(A__U255(mark(z0),z1),MARK(z0))
            MARK(U256(z0)) -> c338(A__U256(mark(z0)),MARK(z0))
            MARK(U261(z0,z1)) -> c339(A__U261(mark(z0),z1),MARK(z0))
            MARK(U262(z0)) -> c340(A__U262(mark(z0)),MARK(z0))
            MARK(U271(z0,z1)) -> c341(A__U271(mark(z0),z1),MARK(z0))
            MARK(U272(z0)) -> c342(A__U272(mark(z0)),MARK(z0))
            MARK(U281(z0,z1)) -> c343(A__U281(mark(z0),z1),MARK(z0))
            MARK(U282(z0,z1)) -> c344(A__U282(mark(z0),z1),MARK(z0))
            MARK(U291(z0,z1,z2)) -> c346(A__U291(mark(z0),z1,z2),MARK(z0))
            MARK(U292(z0,z1,z2)) -> c347(A__U292(mark(z0),z1,z2),MARK(z0))
            MARK(U293(z0,z1,z2)) -> c348(A__U293(mark(z0),z1,z2),MARK(z0))
            MARK(U294(z0,z1,z2)) -> c349(A__U294(mark(z0),z1,z2),MARK(z0))
            MARK(U301(z0,z1,z2)) -> c353(A__U301(mark(z0),z1,z2),MARK(z0))
            MARK(U302(z0,z1)) -> c354(A__U302(mark(z0),z1),MARK(z0))
            MARK(U303(z0,z1)) -> c355(A__U303(mark(z0),z1),MARK(z0))
            MARK(U304(z0,z1)) -> c356(A__U304(mark(z0),z1),MARK(z0))
            MARK(U31(z0,z1,z2)) -> c357(A__U31(mark(z0),z1,z2),MARK(z0))
            MARK(U311(z0,z1)) -> c359(A__U311(mark(z0),z1),MARK(z0))
            MARK(U312(z0,z1)) -> c360(A__U312(mark(z0),z1),MARK(z0))
            MARK(U32(z0,z1,z2)) -> c358(A__U32(mark(z0),z1,z2),MARK(z0))
            MARK(U321(z0,z1,z2,z3)) -> c362(A__U321(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U322(z0,z1,z2,z3)) -> c363(A__U322(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U323(z0,z1,z2,z3)) -> c364(A__U323(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U324(z0,z1,z2,z3)) -> c365(A__U324(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U325(z0,z1,z2,z3)) -> c366(A__U325(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U326(z0,z1,z2,z3)) -> c367(A__U326(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U327(z0,z1)) -> c368(A__U327(mark(z0),z1),MARK(z0))
            MARK(U33(z0,z1,z2)) -> c361(A__U33(mark(z0),z1,z2),MARK(z0))
            MARK(U331(z0,z1,z2)) -> c370(A__U331(mark(z0),z1,z2),MARK(z0))
            MARK(U332(z0,z1)) -> c371(A__U332(mark(z0),z1),MARK(z0))
            MARK(U333(z0,z1)) -> c372(A__U333(mark(z0),z1),MARK(z0))
            MARK(U334(z0,z1)) -> c373(A__U334(mark(z0),z1),MARK(z0))
            MARK(U34(z0,z1)) -> c369(A__U34(mark(z0),z1),MARK(z0))
            MARK(U341(z0,z1,z2)) -> c374(A__U341(mark(z0),z1,z2),MARK(z0))
            MARK(U342(z0,z1,z2)) -> c375(A__U342(mark(z0),z1,z2),MARK(z0))
            MARK(U343(z0,z1,z2)) -> c376(A__U343(mark(z0),z1,z2),MARK(z0))
            MARK(U344(z0,z1,z2)) -> c377(A__U344(mark(z0),z1,z2),MARK(z0))
            MARK(U41(z0,z1,z2)) -> c379(A__U41(mark(z0),z1,z2),MARK(z0))
            MARK(U42(z0,z1,z2)) -> c380(A__U42(mark(z0),z1,z2),MARK(z0))
            MARK(U43(z0,z1,z2)) -> c381(A__U43(mark(z0),z1,z2),MARK(z0))
            MARK(U44(z0,z1,z2)) -> c382(A__U44(mark(z0),z1,z2),MARK(z0))
            MARK(U45(z0,z1)) -> c383(A__U45(mark(z0),z1),MARK(z0))
            MARK(U46(z0)) -> c384(A__U46(mark(z0)),MARK(z0))
            MARK(U51(z0,z1,z2)) -> c385(A__U51(mark(z0),z1,z2),MARK(z0))
            MARK(U52(z0,z1,z2)) -> c386(A__U52(mark(z0),z1,z2),MARK(z0))
            MARK(U53(z0,z1,z2)) -> c387(A__U53(mark(z0),z1,z2),MARK(z0))
            MARK(U54(z0,z1,z2)) -> c388(A__U54(mark(z0),z1,z2),MARK(z0))
            MARK(U55(z0,z1)) -> c389(A__U55(mark(z0),z1),MARK(z0))
            MARK(U56(z0)) -> c390(A__U56(mark(z0)),MARK(z0))
            MARK(U61(z0,z1)) -> c391(A__U61(mark(z0),z1),MARK(z0))
            MARK(U62(z0,z1)) -> c392(A__U62(mark(z0),z1),MARK(z0))
            MARK(U63(z0)) -> c394(A__U63(mark(z0)),MARK(z0))
            MARK(U71(z0,z1)) -> c396(A__U71(mark(z0),z1),MARK(z0))
            MARK(U72(z0,z1)) -> c397(A__U72(mark(z0),z1),MARK(z0))
            MARK(U73(z0)) -> c398(A__U73(mark(z0)),MARK(z0))
            MARK(U81(z0,z1)) -> c399(A__U81(mark(z0),z1),MARK(z0))
            MARK(U82(z0,z1)) -> c400(A__U82(mark(z0),z1),MARK(z0))
            MARK(U83(z0)) -> c401(A__U83(mark(z0)),MARK(z0))
            MARK(U91(z0,z1)) -> c402(A__U91(mark(z0),z1),MARK(z0))
            MARK(U92(z0,z1)) -> c403(A__U92(mark(z0),z1),MARK(z0))
            MARK(U93(z0)) -> c404(A__U93(mark(z0)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c351(A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c352(A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            MARK(cons(z0,z1)) -> c411(MARK(z0))
            MARK(fst(z0)) -> c378(A__FST(mark(z0)),MARK(z0))
            MARK(head(z0)) -> c350(A__HEAD(mark(z0)),MARK(z0))
            MARK(isLNat(z0)) -> c289(A__ISLNAT(z0))
            MARK(isLNatKind(z0)) -> c284(A__ISLNATKIND(z0))
            MARK(isNatural(z0)) -> c287(A__ISNATURAL(z0))
            MARK(isNaturalKind(z0)) -> c282(A__ISNATURALKIND(z0))
            MARK(isPLNat(z0)) -> c395(A__ISPLNAT(z0))
            MARK(isPLNatKind(z0)) -> c393(A__ISPLNATKIND(z0))
            MARK(natsFrom(z0)) -> c345(A__NATSFROM(mark(z0)),MARK(z0))
            MARK(nil()) -> c415()
            MARK(pair(z0,z1)) -> c413(MARK(z0))
            MARK(pair(z0,z1)) -> c414(MARK(z1))
            MARK(s(z0)) -> c412(MARK(z0))
            MARK(sel(z0,z1)) -> c408(A__SEL(mark(z0),mark(z1)),MARK(z0))
            MARK(sel(z0,z1)) -> c409(A__SEL(mark(z0),mark(z1)),MARK(z1))
            MARK(snd(z0)) -> c299(A__SND(mark(z0)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c300(A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c301(A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            MARK(tail(z0)) -> c405(A__TAIL(mark(z0)),MARK(z0))
            MARK(take(z0,z1)) -> c406(A__TAKE(mark(z0),mark(z1)),MARK(z0))
            MARK(take(z0,z1)) -> c407(A__TAKE(mark(z0),mark(z1)),MARK(z1))
            MARK(tt()) -> c410()
        - Weak TRS:
            a__U101(z0,z1,z2) -> U101(z0,z1,z2)
            a__U101(tt(),z0,z1) -> a__U102(a__isNaturalKind(z0),z0,z1)
            a__U102(z0,z1,z2) -> U102(z0,z1,z2)
            a__U102(tt(),z0,z1) -> a__U103(a__isLNatKind(z1),z0,z1)
            a__U103(z0,z1,z2) -> U103(z0,z1,z2)
            a__U103(tt(),z0,z1) -> a__U104(a__isLNatKind(z1),z0,z1)
            a__U104(z0,z1,z2) -> U104(z0,z1,z2)
            a__U104(tt(),z0,z1) -> a__U105(a__isNatural(z0),z1)
            a__U105(z0,z1) -> U105(z0,z1)
            a__U105(tt(),z0) -> a__U106(a__isLNat(z0))
            a__U106(z0) -> U106(z0)
            a__U106(tt()) -> tt()
            a__U11(z0,z1,z2) -> U11(z0,z1,z2)
            a__U11(tt(),z0,z1) -> a__U12(a__isNaturalKind(z0),z0,z1)
            a__U111(z0,z1) -> U111(z0,z1)
            a__U111(tt(),z0) -> a__U112(a__isLNatKind(z0))
            a__U112(z0) -> U112(z0)
            a__U112(tt()) -> tt()
            a__U12(z0,z1,z2) -> U12(z0,z1,z2)
            a__U12(tt(),z0,z1) -> a__U13(a__isLNat(z1),z0,z1)
            a__U121(z0,z1) -> U121(z0,z1)
            a__U121(tt(),z0) -> a__U122(a__isLNatKind(z0))
            a__U122(z0) -> U122(z0)
            a__U122(tt()) -> tt()
            a__U13(z0,z1,z2) -> U13(z0,z1,z2)
            a__U13(tt(),z0,z1) -> a__U14(a__isLNatKind(z1),z0,z1)
            a__U131(z0) -> U131(z0)
            a__U131(tt()) -> tt()
            a__U14(z0,z1,z2) -> U14(z0,z1,z2)
            a__U14(tt(),z0,z1) -> a__snd(a__splitAt(mark(z0),mark(z1)))
            a__U141(z0) -> U141(z0)
            a__U141(tt()) -> tt()
            a__U151(z0) -> U151(z0)
            a__U151(tt()) -> tt()
            a__U161(z0) -> U161(z0)
            a__U161(tt()) -> tt()
            a__U171(z0,z1) -> U171(z0,z1)
            a__U171(tt(),z0) -> a__U172(a__isLNatKind(z0))
            a__U172(z0) -> U172(z0)
            a__U172(tt()) -> tt()
            a__U181(z0,z1) -> U181(z0,z1)
            a__U181(tt(),z0) -> a__U182(a__isLNatKind(z0),z0)
            a__U182(z0,z1) -> U182(z0,z1)
            a__U182(tt(),z0) -> a__U183(a__isLNat(z0))
            a__U183(z0) -> U183(z0)
            a__U183(tt()) -> tt()
            a__U191(z0,z1) -> U191(z0,z1)
            a__U191(tt(),z0) -> a__U192(a__isNaturalKind(z0),z0)
            a__U192(z0,z1) -> U192(z0,z1)
            a__U192(tt(),z0) -> a__U193(a__isNatural(z0))
            a__U193(z0) -> U193(z0)
            a__U193(tt()) -> tt()
            a__U201(z0,z1,z2) -> U201(z0,z1,z2)
            a__U201(tt(),z0,z1) -> a__U202(a__isNaturalKind(z0),z0,z1)
            a__U202(z0,z1,z2) -> U202(z0,z1,z2)
            a__U202(tt(),z0,z1) -> a__U203(a__isLNatKind(z1),z0,z1)
            a__U203(z0,z1,z2) -> U203(z0,z1,z2)
            a__U203(tt(),z0,z1) -> a__U204(a__isLNatKind(z1),z0,z1)
            a__U204(z0,z1,z2) -> U204(z0,z1,z2)
            a__U204(tt(),z0,z1) -> a__U205(a__isNatural(z0),z1)
            a__U205(z0,z1) -> U205(z0,z1)
            a__U205(tt(),z0) -> a__U206(a__isLNat(z0))
            a__U206(z0) -> U206(z0)
            a__U206(tt()) -> tt()
            a__U21(z0,z1,z2) -> U21(z0,z1,z2)
            a__U21(tt(),z0,z1) -> a__U22(a__isLNatKind(z0),z0,z1)
            a__U211(z0) -> U211(z0)
            a__U211(tt()) -> tt()
            a__U22(z0,z1,z2) -> U22(z0,z1,z2)
            a__U22(tt(),z0,z1) -> a__U23(a__isLNat(z1),z0,z1)
            a__U221(z0) -> U221(z0)
            a__U221(tt()) -> tt()
            a__U23(z0,z1,z2) -> U23(z0,z1,z2)
            a__U23(tt(),z0,z1) -> a__U24(a__isLNatKind(z1),z0)
            a__U231(z0,z1) -> U231(z0,z1)
            a__U231(tt(),z0) -> a__U232(a__isLNatKind(z0))
            a__U232(z0) -> U232(z0)
            a__U232(tt()) -> tt()
            a__U24(z0,z1) -> U24(z0,z1)
            a__U24(tt(),z0) -> mark(z0)
            a__U241(z0,z1,z2) -> U241(z0,z1,z2)
            a__U241(tt(),z0,z1) -> a__U242(a__isLNatKind(z0),z0,z1)
            a__U242(z0,z1,z2) -> U242(z0,z1,z2)
            a__U242(tt(),z0,z1) -> a__U243(a__isLNatKind(z1),z0,z1)
            a__U243(z0,z1,z2) -> U243(z0,z1,z2)
            a__U243(tt(),z0,z1) -> a__U244(a__isLNatKind(z1),z0,z1)
            a__U244(z0,z1,z2) -> U244(z0,z1,z2)
            a__U244(tt(),z0,z1) -> a__U245(a__isLNat(z0),z1)
            a__U245(z0,z1) -> U245(z0,z1)
            a__U245(tt(),z0) -> a__U246(a__isLNat(z0))
            a__U246(z0) -> U246(z0)
            a__U246(tt()) -> tt()
            a__U251(z0,z1,z2) -> U251(z0,z1,z2)
            a__U251(tt(),z0,z1) -> a__U252(a__isNaturalKind(z0),z0,z1)
            a__U252(z0,z1,z2) -> U252(z0,z1,z2)
            a__U252(tt(),z0,z1) -> a__U253(a__isLNatKind(z1),z0,z1)
            a__U253(z0,z1,z2) -> U253(z0,z1,z2)
            a__U253(tt(),z0,z1) -> a__U254(a__isLNatKind(z1),z0,z1)
            a__U254(z0,z1,z2) -> U254(z0,z1,z2)
            a__U254(tt(),z0,z1) -> a__U255(a__isNatural(z0),z1)
            a__U255(z0,z1) -> U255(z0,z1)
            a__U255(tt(),z0) -> a__U256(a__isLNat(z0))
            a__U256(z0) -> U256(z0)
            a__U256(tt()) -> tt()
            a__U261(z0,z1) -> U261(z0,z1)
            a__U261(tt(),z0) -> a__U262(a__isLNatKind(z0))
            a__U262(z0) -> U262(z0)
            a__U262(tt()) -> tt()
            a__U271(z0,z1) -> U271(z0,z1)
            a__U271(tt(),z0) -> a__U272(a__isLNatKind(z0))
            a__U272(z0) -> U272(z0)
            a__U272(tt()) -> tt()
            a__U281(z0,z1) -> U281(z0,z1)
            a__U281(tt(),z0) -> a__U282(a__isNaturalKind(z0),z0)
            a__U282(z0,z1) -> U282(z0,z1)
            a__U282(tt(),z0) -> cons(mark(z0),natsFrom(s(z0)))
            a__U291(z0,z1,z2) -> U291(z0,z1,z2)
            a__U291(tt(),z0,z1) -> a__U292(a__isNaturalKind(z0),z0,z1)
            a__U292(z0,z1,z2) -> U292(z0,z1,z2)
            a__U292(tt(),z0,z1) -> a__U293(a__isLNat(z1),z0,z1)
            a__U293(z0,z1,z2) -> U293(z0,z1,z2)
            a__U293(tt(),z0,z1) -> a__U294(a__isLNatKind(z1),z0,z1)
            a__U294(z0,z1,z2) -> U294(z0,z1,z2)
            a__U294(tt(),z0,z1) -> a__head(a__afterNth(mark(z0),mark(z1)))
            a__U301(z0,z1,z2) -> U301(z0,z1,z2)
            a__U301(tt(),z0,z1) -> a__U302(a__isLNatKind(z0),z1)
            a__U302(z0,z1) -> U302(z0,z1)
            a__U302(tt(),z0) -> a__U303(a__isLNat(z0),z0)
            a__U303(z0,z1) -> U303(z0,z1)
            a__U303(tt(),z0) -> a__U304(a__isLNatKind(z0),z0)
            a__U304(z0,z1) -> U304(z0,z1)
            a__U304(tt(),z0) -> mark(z0)
            a__U31(z0,z1,z2) -> U31(z0,z1,z2)
            a__U31(tt(),z0,z1) -> a__U32(a__isNaturalKind(z0),z0,z1)
            a__U311(z0,z1) -> U311(z0,z1)
            a__U311(tt(),z0) -> a__U312(a__isLNatKind(z0),z0)
            a__U312(z0,z1) -> U312(z0,z1)
            a__U312(tt(),z0) -> pair(nil(),mark(z0))
            a__U32(z0,z1,z2) -> U32(z0,z1,z2)
            a__U32(tt(),z0,z1) -> a__U33(a__isLNat(z1),z0,z1)
            a__U321(z0,z1,z2,z3) -> U321(z0,z1,z2,z3)
            a__U321(tt(),z0,z1,z2) -> a__U322(a__isNaturalKind(z0),z0,z1,z2)
            a__U322(z0,z1,z2,z3) -> U322(z0,z1,z2,z3)
            a__U322(tt(),z0,z1,z2) -> a__U323(a__isNatural(z1),z0,z1,z2)
            a__U323(z0,z1,z2,z3) -> U323(z0,z1,z2,z3)
            a__U323(tt(),z0,z1,z2) -> a__U324(a__isNaturalKind(z1),z0,z1,z2)
            a__U324(z0,z1,z2,z3) -> U324(z0,z1,z2,z3)
            a__U324(tt(),z0,z1,z2) -> a__U325(a__isLNat(z2),z0,z1,z2)
            a__U325(z0,z1,z2,z3) -> U325(z0,z1,z2,z3)
            a__U325(tt(),z0,z1,z2) -> a__U326(a__isLNatKind(z2),z0,z1,z2)
            a__U326(z0,z1,z2,z3) -> U326(z0,z1,z2,z3)
            a__U326(tt(),z0,z1,z2) -> a__U327(a__splitAt(mark(z0),mark(z2)),z1)
            a__U327(z0,z1) -> U327(z0,z1)
            a__U327(pair(z0,z1),z2) -> pair(cons(mark(z2),z0),mark(z1))
            a__U33(z0,z1,z2) -> U33(z0,z1,z2)
            a__U33(tt(),z0,z1) -> a__U34(a__isLNatKind(z1),z0)
            a__U331(z0,z1,z2) -> U331(z0,z1,z2)
            a__U331(tt(),z0,z1) -> a__U332(a__isNaturalKind(z0),z1)
            a__U332(z0,z1) -> U332(z0,z1)
            a__U332(tt(),z0) -> a__U333(a__isLNat(z0),z0)
            a__U333(z0,z1) -> U333(z0,z1)
            a__U333(tt(),z0) -> a__U334(a__isLNatKind(z0),z0)
            a__U334(z0,z1) -> U334(z0,z1)
            a__U334(tt(),z0) -> mark(z0)
            a__U34(z0,z1) -> U34(z0,z1)
            a__U34(tt(),z0) -> mark(z0)
            a__U341(z0,z1,z2) -> U341(z0,z1,z2)
            a__U341(tt(),z0,z1) -> a__U342(a__isNaturalKind(z0),z0,z1)
            a__U342(z0,z1,z2) -> U342(z0,z1,z2)
            a__U342(tt(),z0,z1) -> a__U343(a__isLNat(z1),z0,z1)
            a__U343(z0,z1,z2) -> U343(z0,z1,z2)
            a__U343(tt(),z0,z1) -> a__U344(a__isLNatKind(z1),z0,z1)
            a__U344(z0,z1,z2) -> U344(z0,z1,z2)
            a__U344(tt(),z0,z1) -> a__fst(a__splitAt(mark(z0),mark(z1)))
            a__U41(z0,z1,z2) -> U41(z0,z1,z2)
            a__U41(tt(),z0,z1) -> a__U42(a__isNaturalKind(z0),z0,z1)
            a__U42(z0,z1,z2) -> U42(z0,z1,z2)
            a__U42(tt(),z0,z1) -> a__U43(a__isLNatKind(z1),z0,z1)
            a__U43(z0,z1,z2) -> U43(z0,z1,z2)
            a__U43(tt(),z0,z1) -> a__U44(a__isLNatKind(z1),z0,z1)
            a__U44(z0,z1,z2) -> U44(z0,z1,z2)
            a__U44(tt(),z0,z1) -> a__U45(a__isNatural(z0),z1)
            a__U45(z0,z1) -> U45(z0,z1)
            a__U45(tt(),z0) -> a__U46(a__isLNat(z0))
            a__U46(z0) -> U46(z0)
            a__U46(tt()) -> tt()
            a__U51(z0,z1,z2) -> U51(z0,z1,z2)
            a__U51(tt(),z0,z1) -> a__U52(a__isNaturalKind(z0),z0,z1)
            a__U52(z0,z1,z2) -> U52(z0,z1,z2)
            a__U52(tt(),z0,z1) -> a__U53(a__isLNatKind(z1),z0,z1)
            a__U53(z0,z1,z2) -> U53(z0,z1,z2)
            a__U53(tt(),z0,z1) -> a__U54(a__isLNatKind(z1),z0,z1)
            a__U54(z0,z1,z2) -> U54(z0,z1,z2)
            a__U54(tt(),z0,z1) -> a__U55(a__isNatural(z0),z1)
            a__U55(z0,z1) -> U55(z0,z1)
            a__U55(tt(),z0) -> a__U56(a__isLNat(z0))
            a__U56(z0) -> U56(z0)
            a__U56(tt()) -> tt()
            a__U61(z0,z1) -> U61(z0,z1)
            a__U61(tt(),z0) -> a__U62(a__isPLNatKind(z0),z0)
            a__U62(z0,z1) -> U62(z0,z1)
            a__U62(tt(),z0) -> a__U63(a__isPLNat(z0))
            a__U63(z0) -> U63(z0)
            a__U63(tt()) -> tt()
            a__U71(z0,z1) -> U71(z0,z1)
            a__U71(tt(),z0) -> a__U72(a__isNaturalKind(z0),z0)
            a__U72(z0,z1) -> U72(z0,z1)
            a__U72(tt(),z0) -> a__U73(a__isNatural(z0))
            a__U73(z0) -> U73(z0)
            a__U73(tt()) -> tt()
            a__U81(z0,z1) -> U81(z0,z1)
            a__U81(tt(),z0) -> a__U82(a__isPLNatKind(z0),z0)
            a__U82(z0,z1) -> U82(z0,z1)
            a__U82(tt(),z0) -> a__U83(a__isPLNat(z0))
            a__U83(z0) -> U83(z0)
            a__U83(tt()) -> tt()
            a__U91(z0,z1) -> U91(z0,z1)
            a__U91(tt(),z0) -> a__U92(a__isLNatKind(z0),z0)
            a__U92(z0,z1) -> U92(z0,z1)
            a__U92(tt(),z0) -> a__U93(a__isLNat(z0))
            a__U93(z0) -> U93(z0)
            a__U93(tt()) -> tt()
            a__afterNth(z0,z1) -> a__U11(a__isNatural(z0),z0,z1)
            a__afterNth(z0,z1) -> afterNth(z0,z1)
            a__fst(z0) -> fst(z0)
            a__fst(pair(z0,z1)) -> a__U21(a__isLNat(z0),z0,z1)
            a__head(z0) -> head(z0)
            a__head(cons(z0,z1)) -> a__U31(a__isNatural(z0),z0,z1)
            a__isLNat(z0) -> isLNat(z0)
            a__isLNat(afterNth(z0,z1)) -> a__U41(a__isNaturalKind(z0),z0,z1)
            a__isLNat(cons(z0,z1)) -> a__U51(a__isNaturalKind(z0),z0,z1)
            a__isLNat(fst(z0)) -> a__U61(a__isPLNatKind(z0),z0)
            a__isLNat(natsFrom(z0)) -> a__U71(a__isNaturalKind(z0),z0)
            a__isLNat(nil()) -> tt()
            a__isLNat(snd(z0)) -> a__U81(a__isPLNatKind(z0),z0)
            a__isLNat(tail(z0)) -> a__U91(a__isLNatKind(z0),z0)
            a__isLNat(take(z0,z1)) -> a__U101(a__isNaturalKind(z0),z0,z1)
            a__isLNatKind(z0) -> isLNatKind(z0)
            a__isLNatKind(afterNth(z0,z1)) -> a__U111(a__isNaturalKind(z0),z1)
            a__isLNatKind(cons(z0,z1)) -> a__U121(a__isNaturalKind(z0),z1)
            a__isLNatKind(fst(z0)) -> a__U131(a__isPLNatKind(z0))
            a__isLNatKind(natsFrom(z0)) -> a__U141(a__isNaturalKind(z0))
            a__isLNatKind(nil()) -> tt()
            a__isLNatKind(snd(z0)) -> a__U151(a__isPLNatKind(z0))
            a__isLNatKind(tail(z0)) -> a__U161(a__isLNatKind(z0))
            a__isLNatKind(take(z0,z1)) -> a__U171(a__isNaturalKind(z0),z1)
            a__isNatural(z0) -> isNatural(z0)
            a__isNatural(0()) -> tt()
            a__isNatural(head(z0)) -> a__U181(a__isLNatKind(z0),z0)
            a__isNatural(s(z0)) -> a__U191(a__isNaturalKind(z0),z0)
            a__isNatural(sel(z0,z1)) -> a__U201(a__isNaturalKind(z0),z0,z1)
            a__isNaturalKind(z0) -> isNaturalKind(z0)
            a__isNaturalKind(0()) -> tt()
            a__isNaturalKind(head(z0)) -> a__U211(a__isLNatKind(z0))
            a__isNaturalKind(s(z0)) -> a__U221(a__isNaturalKind(z0))
            a__isNaturalKind(sel(z0,z1)) -> a__U231(a__isNaturalKind(z0),z1)
            a__isPLNat(z0) -> isPLNat(z0)
            a__isPLNat(pair(z0,z1)) -> a__U241(a__isLNatKind(z0),z0,z1)
            a__isPLNat(splitAt(z0,z1)) -> a__U251(a__isNaturalKind(z0),z0,z1)
            a__isPLNatKind(z0) -> isPLNatKind(z0)
            a__isPLNatKind(pair(z0,z1)) -> a__U261(a__isLNatKind(z0),z1)
            a__isPLNatKind(splitAt(z0,z1)) -> a__U271(a__isNaturalKind(z0),z1)
            a__natsFrom(z0) -> a__U281(a__isNatural(z0),z0)
            a__natsFrom(z0) -> natsFrom(z0)
            a__sel(z0,z1) -> a__U291(a__isNatural(z0),z0,z1)
            a__sel(z0,z1) -> sel(z0,z1)
            a__snd(z0) -> snd(z0)
            a__snd(pair(z0,z1)) -> a__U301(a__isLNat(z0),z0,z1)
            a__splitAt(z0,z1) -> splitAt(z0,z1)
            a__splitAt(0(),z0) -> a__U311(a__isLNat(z0),z0)
            a__splitAt(s(z0),cons(z1,z2)) -> a__U321(a__isNatural(z0),z0,z1,z2)
            a__tail(z0) -> tail(z0)
            a__tail(cons(z0,z1)) -> a__U331(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> a__U341(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> take(z0,z1)
            mark(0()) -> 0()
            mark(U101(z0,z1,z2)) -> a__U101(mark(z0),z1,z2)
            mark(U102(z0,z1,z2)) -> a__U102(mark(z0),z1,z2)
            mark(U103(z0,z1,z2)) -> a__U103(mark(z0),z1,z2)
            mark(U104(z0,z1,z2)) -> a__U104(mark(z0),z1,z2)
            mark(U105(z0,z1)) -> a__U105(mark(z0),z1)
            mark(U106(z0)) -> a__U106(mark(z0))
            mark(U11(z0,z1,z2)) -> a__U11(mark(z0),z1,z2)
            mark(U111(z0,z1)) -> a__U111(mark(z0),z1)
            mark(U112(z0)) -> a__U112(mark(z0))
            mark(U12(z0,z1,z2)) -> a__U12(mark(z0),z1,z2)
            mark(U121(z0,z1)) -> a__U121(mark(z0),z1)
            mark(U122(z0)) -> a__U122(mark(z0))
            mark(U13(z0,z1,z2)) -> a__U13(mark(z0),z1,z2)
            mark(U131(z0)) -> a__U131(mark(z0))
            mark(U14(z0,z1,z2)) -> a__U14(mark(z0),z1,z2)
            mark(U141(z0)) -> a__U141(mark(z0))
            mark(U151(z0)) -> a__U151(mark(z0))
            mark(U161(z0)) -> a__U161(mark(z0))
            mark(U171(z0,z1)) -> a__U171(mark(z0),z1)
            mark(U172(z0)) -> a__U172(mark(z0))
            mark(U181(z0,z1)) -> a__U181(mark(z0),z1)
            mark(U182(z0,z1)) -> a__U182(mark(z0),z1)
            mark(U183(z0)) -> a__U183(mark(z0))
            mark(U191(z0,z1)) -> a__U191(mark(z0),z1)
            mark(U192(z0,z1)) -> a__U192(mark(z0),z1)
            mark(U193(z0)) -> a__U193(mark(z0))
            mark(U201(z0,z1,z2)) -> a__U201(mark(z0),z1,z2)
            mark(U202(z0,z1,z2)) -> a__U202(mark(z0),z1,z2)
            mark(U203(z0,z1,z2)) -> a__U203(mark(z0),z1,z2)
            mark(U204(z0,z1,z2)) -> a__U204(mark(z0),z1,z2)
            mark(U205(z0,z1)) -> a__U205(mark(z0),z1)
            mark(U206(z0)) -> a__U206(mark(z0))
            mark(U21(z0,z1,z2)) -> a__U21(mark(z0),z1,z2)
            mark(U211(z0)) -> a__U211(mark(z0))
            mark(U22(z0,z1,z2)) -> a__U22(mark(z0),z1,z2)
            mark(U221(z0)) -> a__U221(mark(z0))
            mark(U23(z0,z1,z2)) -> a__U23(mark(z0),z1,z2)
            mark(U231(z0,z1)) -> a__U231(mark(z0),z1)
            mark(U232(z0)) -> a__U232(mark(z0))
            mark(U24(z0,z1)) -> a__U24(mark(z0),z1)
            mark(U241(z0,z1,z2)) -> a__U241(mark(z0),z1,z2)
            mark(U242(z0,z1,z2)) -> a__U242(mark(z0),z1,z2)
            mark(U243(z0,z1,z2)) -> a__U243(mark(z0),z1,z2)
            mark(U244(z0,z1,z2)) -> a__U244(mark(z0),z1,z2)
            mark(U245(z0,z1)) -> a__U245(mark(z0),z1)
            mark(U246(z0)) -> a__U246(mark(z0))
            mark(U251(z0,z1,z2)) -> a__U251(mark(z0),z1,z2)
            mark(U252(z0,z1,z2)) -> a__U252(mark(z0),z1,z2)
            mark(U253(z0,z1,z2)) -> a__U253(mark(z0),z1,z2)
            mark(U254(z0,z1,z2)) -> a__U254(mark(z0),z1,z2)
            mark(U255(z0,z1)) -> a__U255(mark(z0),z1)
            mark(U256(z0)) -> a__U256(mark(z0))
            mark(U261(z0,z1)) -> a__U261(mark(z0),z1)
            mark(U262(z0)) -> a__U262(mark(z0))
            mark(U271(z0,z1)) -> a__U271(mark(z0),z1)
            mark(U272(z0)) -> a__U272(mark(z0))
            mark(U281(z0,z1)) -> a__U281(mark(z0),z1)
            mark(U282(z0,z1)) -> a__U282(mark(z0),z1)
            mark(U291(z0,z1,z2)) -> a__U291(mark(z0),z1,z2)
            mark(U292(z0,z1,z2)) -> a__U292(mark(z0),z1,z2)
            mark(U293(z0,z1,z2)) -> a__U293(mark(z0),z1,z2)
            mark(U294(z0,z1,z2)) -> a__U294(mark(z0),z1,z2)
            mark(U301(z0,z1,z2)) -> a__U301(mark(z0),z1,z2)
            mark(U302(z0,z1)) -> a__U302(mark(z0),z1)
            mark(U303(z0,z1)) -> a__U303(mark(z0),z1)
            mark(U304(z0,z1)) -> a__U304(mark(z0),z1)
            mark(U31(z0,z1,z2)) -> a__U31(mark(z0),z1,z2)
            mark(U311(z0,z1)) -> a__U311(mark(z0),z1)
            mark(U312(z0,z1)) -> a__U312(mark(z0),z1)
            mark(U32(z0,z1,z2)) -> a__U32(mark(z0),z1,z2)
            mark(U321(z0,z1,z2,z3)) -> a__U321(mark(z0),z1,z2,z3)
            mark(U322(z0,z1,z2,z3)) -> a__U322(mark(z0),z1,z2,z3)
            mark(U323(z0,z1,z2,z3)) -> a__U323(mark(z0),z1,z2,z3)
            mark(U324(z0,z1,z2,z3)) -> a__U324(mark(z0),z1,z2,z3)
            mark(U325(z0,z1,z2,z3)) -> a__U325(mark(z0),z1,z2,z3)
            mark(U326(z0,z1,z2,z3)) -> a__U326(mark(z0),z1,z2,z3)
            mark(U327(z0,z1)) -> a__U327(mark(z0),z1)
            mark(U33(z0,z1,z2)) -> a__U33(mark(z0),z1,z2)
            mark(U331(z0,z1,z2)) -> a__U331(mark(z0),z1,z2)
            mark(U332(z0,z1)) -> a__U332(mark(z0),z1)
            mark(U333(z0,z1)) -> a__U333(mark(z0),z1)
            mark(U334(z0,z1)) -> a__U334(mark(z0),z1)
            mark(U34(z0,z1)) -> a__U34(mark(z0),z1)
            mark(U341(z0,z1,z2)) -> a__U341(mark(z0),z1,z2)
            mark(U342(z0,z1,z2)) -> a__U342(mark(z0),z1,z2)
            mark(U343(z0,z1,z2)) -> a__U343(mark(z0),z1,z2)
            mark(U344(z0,z1,z2)) -> a__U344(mark(z0),z1,z2)
            mark(U41(z0,z1,z2)) -> a__U41(mark(z0),z1,z2)
            mark(U42(z0,z1,z2)) -> a__U42(mark(z0),z1,z2)
            mark(U43(z0,z1,z2)) -> a__U43(mark(z0),z1,z2)
            mark(U44(z0,z1,z2)) -> a__U44(mark(z0),z1,z2)
            mark(U45(z0,z1)) -> a__U45(mark(z0),z1)
            mark(U46(z0)) -> a__U46(mark(z0))
            mark(U51(z0,z1,z2)) -> a__U51(mark(z0),z1,z2)
            mark(U52(z0,z1,z2)) -> a__U52(mark(z0),z1,z2)
            mark(U53(z0,z1,z2)) -> a__U53(mark(z0),z1,z2)
            mark(U54(z0,z1,z2)) -> a__U54(mark(z0),z1,z2)
            mark(U55(z0,z1)) -> a__U55(mark(z0),z1)
            mark(U56(z0)) -> a__U56(mark(z0))
            mark(U61(z0,z1)) -> a__U61(mark(z0),z1)
            mark(U62(z0,z1)) -> a__U62(mark(z0),z1)
            mark(U63(z0)) -> a__U63(mark(z0))
            mark(U71(z0,z1)) -> a__U71(mark(z0),z1)
            mark(U72(z0,z1)) -> a__U72(mark(z0),z1)
            mark(U73(z0)) -> a__U73(mark(z0))
            mark(U81(z0,z1)) -> a__U81(mark(z0),z1)
            mark(U82(z0,z1)) -> a__U82(mark(z0),z1)
            mark(U83(z0)) -> a__U83(mark(z0))
            mark(U91(z0,z1)) -> a__U91(mark(z0),z1)
            mark(U92(z0,z1)) -> a__U92(mark(z0),z1)
            mark(U93(z0)) -> a__U93(mark(z0))
            mark(afterNth(z0,z1)) -> a__afterNth(mark(z0),mark(z1))
            mark(cons(z0,z1)) -> cons(mark(z0),z1)
            mark(fst(z0)) -> a__fst(mark(z0))
            mark(head(z0)) -> a__head(mark(z0))
            mark(isLNat(z0)) -> a__isLNat(z0)
            mark(isLNatKind(z0)) -> a__isLNatKind(z0)
            mark(isNatural(z0)) -> a__isNatural(z0)
            mark(isNaturalKind(z0)) -> a__isNaturalKind(z0)
            mark(isPLNat(z0)) -> a__isPLNat(z0)
            mark(isPLNatKind(z0)) -> a__isPLNatKind(z0)
            mark(natsFrom(z0)) -> a__natsFrom(mark(z0))
            mark(nil()) -> nil()
            mark(pair(z0,z1)) -> pair(mark(z0),mark(z1))
            mark(s(z0)) -> s(mark(z0))
            mark(sel(z0,z1)) -> a__sel(mark(z0),mark(z1))
            mark(snd(z0)) -> a__snd(mark(z0))
            mark(splitAt(z0,z1)) -> a__splitAt(mark(z0),mark(z1))
            mark(tail(z0)) -> a__tail(mark(z0))
            mark(take(z0,z1)) -> a__take(mark(z0),mark(z1))
            mark(tt()) -> tt()
        - Signature:
            {A__AFTERNTH/2,A__FST/1,A__HEAD/1,A__ISLNAT/1,A__ISLNATKIND/1,A__ISNATURAL/1,A__ISNATURALKIND/1,A__ISPLNAT/1
            ,A__ISPLNATKIND/1,A__NATSFROM/1,A__SEL/2,A__SND/1,A__SPLITAT/2,A__TAIL/1,A__TAKE/2,A__U101/3,A__U102/3
            ,A__U103/3,A__U104/3,A__U105/2,A__U106/1,A__U11/3,A__U111/2,A__U112/1,A__U12/3,A__U121/2,A__U122/1,A__U13/3
            ,A__U131/1,A__U14/3,A__U141/1,A__U151/1,A__U161/1,A__U171/2,A__U172/1,A__U181/2,A__U182/2,A__U183/1
            ,A__U191/2,A__U192/2,A__U193/1,A__U201/3,A__U202/3,A__U203/3,A__U204/3,A__U205/2,A__U206/1,A__U21/3
            ,A__U211/1,A__U22/3,A__U221/1,A__U23/3,A__U231/2,A__U232/1,A__U24/2,A__U241/3,A__U242/3,A__U243/3,A__U244/3
            ,A__U245/2,A__U246/1,A__U251/3,A__U252/3,A__U253/3,A__U254/3,A__U255/2,A__U256/1,A__U261/2,A__U262/1
            ,A__U271/2,A__U272/1,A__U281/2,A__U282/2,A__U291/3,A__U292/3,A__U293/3,A__U294/3,A__U301/3,A__U302/2
            ,A__U303/2,A__U304/2,A__U31/3,A__U311/2,A__U312/2,A__U32/3,A__U321/4,A__U322/4,A__U323/4,A__U324/4,A__U325/4
            ,A__U326/4,A__U327/2,A__U33/3,A__U331/3,A__U332/2,A__U333/2,A__U334/2,A__U34/2,A__U341/3,A__U342/3,A__U343/3
            ,A__U344/3,A__U41/3,A__U42/3,A__U43/3,A__U44/3,A__U45/2,A__U46/1,A__U51/3,A__U52/3,A__U53/3,A__U54/3
            ,A__U55/2,A__U56/1,A__U61/2,A__U62/2,A__U63/1,A__U71/2,A__U72/2,A__U73/1,A__U81/2,A__U82/2,A__U83/1,A__U91/2
            ,A__U92/2,A__U93/1,MARK/1,a__U101/3,a__U102/3,a__U103/3,a__U104/3,a__U105/2,a__U106/1,a__U11/3,a__U111/2
            ,a__U112/1,a__U12/3,a__U121/2,a__U122/1,a__U13/3,a__U131/1,a__U14/3,a__U141/1,a__U151/1,a__U161/1,a__U171/2
            ,a__U172/1,a__U181/2,a__U182/2,a__U183/1,a__U191/2,a__U192/2,a__U193/1,a__U201/3,a__U202/3,a__U203/3
            ,a__U204/3,a__U205/2,a__U206/1,a__U21/3,a__U211/1,a__U22/3,a__U221/1,a__U23/3,a__U231/2,a__U232/1,a__U24/2
            ,a__U241/3,a__U242/3,a__U243/3,a__U244/3,a__U245/2,a__U246/1,a__U251/3,a__U252/3,a__U253/3,a__U254/3
            ,a__U255/2,a__U256/1,a__U261/2,a__U262/1,a__U271/2,a__U272/1,a__U281/2,a__U282/2,a__U291/3,a__U292/3
            ,a__U293/3,a__U294/3,a__U301/3,a__U302/2,a__U303/2,a__U304/2,a__U31/3,a__U311/2,a__U312/2,a__U32/3,a__U321/4
            ,a__U322/4,a__U323/4,a__U324/4,a__U325/4,a__U326/4,a__U327/2,a__U33/3,a__U331/3,a__U332/2,a__U333/2
            ,a__U334/2,a__U34/2,a__U341/3,a__U342/3,a__U343/3,a__U344/3,a__U41/3,a__U42/3,a__U43/3,a__U44/3,a__U45/2
            ,a__U46/1,a__U51/3,a__U52/3,a__U53/3,a__U54/3,a__U55/2,a__U56/1,a__U61/2,a__U62/2,a__U63/1,a__U71/2,a__U72/2
            ,a__U73/1,a__U81/2,a__U82/2,a__U83/1,a__U91/2,a__U92/2,a__U93/1,a__afterNth/2,a__fst/1,a__head/1,a__isLNat/1
            ,a__isLNatKind/1,a__isNatural/1,a__isNaturalKind/1,a__isPLNat/1,a__isPLNatKind/1,a__natsFrom/1,a__sel/2
            ,a__snd/1,a__splitAt/2,a__tail/1,a__take/2,mark/1} / {0/0,U101/3,U102/3,U103/3,U104/3,U105/2,U106/1,U11/3
            ,U111/2,U112/1,U12/3,U121/2,U122/1,U13/3,U131/1,U14/3,U141/1,U151/1,U161/1,U171/2,U172/1,U181/2,U182/2
            ,U183/1,U191/2,U192/2,U193/1,U201/3,U202/3,U203/3,U204/3,U205/2,U206/1,U21/3,U211/1,U22/3,U221/1,U23/3
            ,U231/2,U232/1,U24/2,U241/3,U242/3,U243/3,U244/3,U245/2,U246/1,U251/3,U252/3,U253/3,U254/3,U255/2,U256/1
            ,U261/2,U262/1,U271/2,U272/1,U281/2,U282/2,U291/3,U292/3,U293/3,U294/3,U301/3,U302/2,U303/2,U304/2,U31/3
            ,U311/2,U312/2,U32/3,U321/4,U322/4,U323/4,U324/4,U325/4,U326/4,U327/2,U33/3,U331/3,U332/2,U333/2,U334/2
            ,U34/2,U341/3,U342/3,U343/3,U344/3,U41/3,U42/3,U43/3,U44/3,U45/2,U46/1,U51/3,U52/3,U53/3,U54/3,U55/2,U56/1
            ,U61/2,U62/2,U63/1,U71/2,U72/2,U73/1,U81/2,U82/2,U83/1,U91/2,U92/2,U93/1,afterNth/2,c/2,c1/0,c10/0,c100/0
            ,c101/2,c102/0,c103/0,c104/0,c105/2,c106/0,c107/0,c108/0,c109/2,c11/0,c110/0,c111/0,c112/0,c113/2,c114/0
            ,c115/1,c116/0,c117/2,c118/0,c119/2,c12/2,c120/0,c121/2,c122/0,c123/3,c124/3,c125/0,c126/2,c127/0,c128/2
            ,c129/0,c13/0,c130/2,c131/0,c132/1,c133/0,c134/2,c135/0,c136/2,c137/0,c138/1,c139/0,c14/2,c140/2,c141/0
            ,c142/2,c143/0,c144/2,c145/0,c146/2,c147/0,c148/2,c149/0,c15/0,c150/2,c151/0,c152/3,c153/3,c154/0,c155/1
            ,c156/1,c157/0,c158/2,c159/0,c16/0,c160/2,c161/0,c162/2,c163/0,c164/2,c165/0,c166/1,c167/0,c168/1,c169/0
            ,c17/0,c170/2,c171/0,c172/2,c173/0,c174/2,c175/0,c176/3,c177/3,c178/0,c179/2,c18/2,c180/0,c181/2,c182/0
            ,c183/2,c184/0,c185/2,c186/0,c187/2,c188/0,c189/0,c19/0,c190/0,c191/2,c192/0,c193/2,c194/0,c195/2,c196/0
            ,c197/2,c198/0,c199/2,c2/2,c20/2,c200/0,c201/0,c202/0,c203/2,c204/0,c205/2,c206/0,c207/0,c208/0,c209/2,c21/0
            ,c210/0,c211/2,c212/0,c213/0,c214/0,c215/2,c216/0,c217/2,c218/0,c219/0,c22/0,c220/0,c221/2,c222/0,c223/2
            ,c224/0,c225/0,c226/0,c227/2,c228/0,c229/2,c23/0,c230/0,c231/2,c232/0,c233/0,c234/2,c235/2,c236/2,c237/2
            ,c238/2,c239/2,c24/2,c240/2,c241/0,c242/0,c243/2,c244/2,c245/2,c246/2,c247/2,c248/2,c249/2,c25/0,c250/0
            ,c251/0,c252/2,c253/2,c254/2,c255/0,c256/0,c257/2,c258/2,c259/2,c26/0,c260/0,c261/2,c262/2,c263/0,c264/2
            ,c265/2,c266/0,c267/2,c268/0,c269/2,c27/0,c270/0,c271/2,c272/0,c273/2,c274/2,c275/0,c276/2,c277/0,c278/2
            ,c279/0,c28/3,c280/2,c281/2,c282/1,c283/2,c284/1,c285/2,c286/2,c287/1,c288/2,c289/1,c29/3,c290/2,c291/2
            ,c292/2,c293/2,c294/2,c295/2,c296/2,c297/2,c298/2,c299/2,c3/0,c30/0,c300/2,c301/2,c302/2,c303/2,c304/2
            ,c305/2,c306/2,c307/2,c308/2,c309/2,c31/0,c310/2,c311/2,c312/2,c313/2,c314/2,c315/2,c316/2,c317/2,c318/2
            ,c319/2,c32/0,c320/2,c321/2,c322/2,c323/2,c324/2,c325/2,c326/2,c327/2,c328/2,c329/2,c33/0,c330/2,c331/2
            ,c332/2,c333/2,c334/2,c335/2,c336/2,c337/2,c338/2,c339/2,c34/0,c340/2,c341/2,c342/2,c343/2,c344/2,c345/2
            ,c346/2,c347/2,c348/2,c349/2,c35/0,c350/2,c351/2,c352/2,c353/2,c354/2,c355/2,c356/2,c357/2,c358/2,c359/2
            ,c36/0,c360/2,c361/2,c362/2,c363/2,c364/2,c365/2,c366/2,c367/2,c368/2,c369/2,c37/2,c370/2,c371/2,c372/2
            ,c373/2,c374/2,c375/2,c376/2,c377/2,c378/2,c379/2,c38/0,c380/2,c381/2,c382/2,c383/2,c384/2,c385/2,c386/2
            ,c387/2,c388/2,c389/2,c39/0,c390/2,c391/2,c392/2,c393/1,c394/2,c395/1,c396/2,c397/2,c398/2,c399/2,c4/2,c40/0
            ,c400/2,c401/2,c402/2,c403/2,c404/2,c405/2,c406/2,c407/2,c408/2,c409/2,c41/2,c410/0,c411/1,c412/1,c413/1
            ,c414/1,c415/0,c416/0,c42/0,c43/2,c44/0,c45/0,c46/0,c47/2,c48/0,c49/2,c5/0,c50/0,c51/0,c52/0,c53/2,c54/0
            ,c55/2,c56/0,c57/2,c58/0,c59/2,c6/2,c60/0,c61/2,c62/0,c63/0,c64/0,c65/2,c66/0,c67/0,c68/0,c69/2,c7/0,c70/0
            ,c71/0,c72/0,c73/2,c74/0,c75/2,c76/0,c77/0,c78/0,c79/1,c8/2,c80/0,c81/2,c82/0,c83/2,c84/0,c85/2,c86/0,c87/2
            ,c88/0,c89/2,c9/0,c90/0,c91/0,c92/0,c93/2,c94/0,c95/2,c96/0,c97/2,c98/0,c99/2,cons/2,fst/1,head/1,isLNat/1
            ,isLNatKind/1,isNatural/1,isNaturalKind/1,isPLNat/1,isPLNatKind/1,natsFrom/1,nil/0,pair/2,s/1,sel/2,snd/1
            ,splitAt/2,tail/1,take/2,tt/0}
        - Obligation:
            innermost runtime complexity wrt. defined symbols {A__AFTERNTH,A__FST,A__HEAD,A__ISLNAT,A__ISLNATKIND
            ,A__ISNATURAL,A__ISNATURALKIND,A__ISPLNAT,A__ISPLNATKIND,A__NATSFROM,A__SEL,A__SND,A__SPLITAT,A__TAIL
            ,A__TAKE,A__U101,A__U102,A__U103,A__U104,A__U105,A__U106,A__U11,A__U111,A__U112,A__U12,A__U121,A__U122
            ,A__U13,A__U131,A__U14,A__U141,A__U151,A__U161,A__U171,A__U172,A__U181,A__U182,A__U183,A__U191,A__U192
            ,A__U193,A__U201,A__U202,A__U203,A__U204,A__U205,A__U206,A__U21,A__U211,A__U22,A__U221,A__U23,A__U231
            ,A__U232,A__U24,A__U241,A__U242,A__U243,A__U244,A__U245,A__U246,A__U251,A__U252,A__U253,A__U254,A__U255
            ,A__U256,A__U261,A__U262,A__U271,A__U272,A__U281,A__U282,A__U291,A__U292,A__U293,A__U294,A__U301,A__U302
            ,A__U303,A__U304,A__U31,A__U311,A__U312,A__U32,A__U321,A__U322,A__U323,A__U324,A__U325,A__U326,A__U327
            ,A__U33,A__U331,A__U332,A__U333,A__U334,A__U34,A__U341,A__U342,A__U343,A__U344,A__U41,A__U42,A__U43,A__U44
            ,A__U45,A__U46,A__U51,A__U52,A__U53,A__U54,A__U55,A__U56,A__U61,A__U62,A__U63,A__U71,A__U72,A__U73,A__U81
            ,A__U82,A__U83,A__U91,A__U92,A__U93,MARK,a__U101,a__U102,a__U103,a__U104,a__U105,a__U106,a__U11,a__U111
            ,a__U112,a__U12,a__U121,a__U122,a__U13,a__U131,a__U14,a__U141,a__U151,a__U161,a__U171,a__U172,a__U181
            ,a__U182,a__U183,a__U191,a__U192,a__U193,a__U201,a__U202,a__U203,a__U204,a__U205,a__U206,a__U21,a__U211
            ,a__U22,a__U221,a__U23,a__U231,a__U232,a__U24,a__U241,a__U242,a__U243,a__U244,a__U245,a__U246,a__U251
            ,a__U252,a__U253,a__U254,a__U255,a__U256,a__U261,a__U262,a__U271,a__U272,a__U281,a__U282,a__U291,a__U292
            ,a__U293,a__U294,a__U301,a__U302,a__U303,a__U304,a__U31,a__U311,a__U312,a__U32,a__U321,a__U322,a__U323
            ,a__U324,a__U325,a__U326,a__U327,a__U33,a__U331,a__U332,a__U333,a__U334,a__U34,a__U341,a__U342,a__U343
            ,a__U344,a__U41,a__U42,a__U43,a__U44,a__U45,a__U46,a__U51,a__U52,a__U53,a__U54,a__U55,a__U56,a__U61,a__U62
            ,a__U63,a__U71,a__U72,a__U73,a__U81,a__U82,a__U83,a__U91,a__U92,a__U93,a__afterNth,a__fst,a__head,a__isLNat
            ,a__isLNatKind,a__isNatural,a__isNaturalKind,a__isPLNat,a__isPLNatKind,a__natsFrom,a__sel,a__snd,a__splitAt
            ,a__tail,a__take,mark} and constructors {0,U101,U102,U103,U104,U105,U106,U11,U111,U112,U12,U121,U122,U13
            ,U131,U14,U141,U151,U161,U171,U172,U181,U182,U183,U191,U192,U193,U201,U202,U203,U204,U205,U206,U21,U211,U22
            ,U221,U23,U231,U232,U24,U241,U242,U243,U244,U245,U246,U251,U252,U253,U254,U255,U256,U261,U262,U271,U272,U281
            ,U282,U291,U292,U293,U294,U301,U302,U303,U304,U31,U311,U312,U32,U321,U322,U323,U324,U325,U326,U327,U33,U331
            ,U332,U333,U334,U34,U341,U342,U343,U344,U41,U42,U43,U44,U45,U46,U51,U52,U53,U54,U55,U56,U61,U62,U63,U71,U72
            ,U73,U81,U82,U83,U91,U92,U93,afterNth,c,c1,c10,c100,c101,c102,c103,c104,c105,c106,c107,c108,c109,c11,c110
            ,c111,c112,c113,c114,c115,c116,c117,c118,c119,c12,c120,c121,c122,c123,c124,c125,c126,c127,c128,c129,c13,c130
            ,c131,c132,c133,c134,c135,c136,c137,c138,c139,c14,c140,c141,c142,c143,c144,c145,c146,c147,c148,c149,c15,c150
            ,c151,c152,c153,c154,c155,c156,c157,c158,c159,c16,c160,c161,c162,c163,c164,c165,c166,c167,c168,c169,c17,c170
            ,c171,c172,c173,c174,c175,c176,c177,c178,c179,c18,c180,c181,c182,c183,c184,c185,c186,c187,c188,c189,c19,c190
            ,c191,c192,c193,c194,c195,c196,c197,c198,c199,c2,c20,c200,c201,c202,c203,c204,c205,c206,c207,c208,c209,c21
            ,c210,c211,c212,c213,c214,c215,c216,c217,c218,c219,c22,c220,c221,c222,c223,c224,c225,c226,c227,c228,c229,c23
            ,c230,c231,c232,c233,c234,c235,c236,c237,c238,c239,c24,c240,c241,c242,c243,c244,c245,c246,c247,c248,c249,c25
            ,c250,c251,c252,c253,c254,c255,c256,c257,c258,c259,c26,c260,c261,c262,c263,c264,c265,c266,c267,c268,c269,c27
            ,c270,c271,c272,c273,c274,c275,c276,c277,c278,c279,c28,c280,c281,c282,c283,c284,c285,c286,c287,c288,c289,c29
            ,c290,c291,c292,c293,c294,c295,c296,c297,c298,c299,c3,c30,c300,c301,c302,c303,c304,c305,c306,c307,c308,c309
            ,c31,c310,c311,c312,c313,c314,c315,c316,c317,c318,c319,c32,c320,c321,c322,c323,c324,c325,c326,c327,c328,c329
            ,c33,c330,c331,c332,c333,c334,c335,c336,c337,c338,c339,c34,c340,c341,c342,c343,c344,c345,c346,c347,c348,c349
            ,c35,c350,c351,c352,c353,c354,c355,c356,c357,c358,c359,c36,c360,c361,c362,c363,c364,c365,c366,c367,c368,c369
            ,c37,c370,c371,c372,c373,c374,c375,c376,c377,c378,c379,c38,c380,c381,c382,c383,c384,c385,c386,c387,c388,c389
            ,c39,c390,c391,c392,c393,c394,c395,c396,c397,c398,c399,c4,c40,c400,c401,c402,c403,c404,c405,c406,c407,c408
            ,c409,c41,c410,c411,c412,c413,c414,c415,c416,c42,c43,c44,c45,c46,c47,c48,c49,c5,c50,c51,c52,c53,c54,c55,c56
            ,c57,c58,c59,c6,c60,c61,c62,c63,c64,c65,c66,c67,c68,c69,c7,c70,c71,c72,c73,c74,c75,c76,c77,c78,c79,c8,c80
            ,c81,c82,c83,c84,c85,c86,c87,c88,c89,c9,c90,c91,c92,c93,c94,c95,c96,c97,c98,c99,cons,fst,head,isLNat
            ,isLNatKind,isNatural,isNaturalKind,isPLNat,isPLNatKind,natsFrom,nil,pair,s,sel,snd,splitAt,tail,take,tt}
    + Applied Processor:
        Sum {left = someStrategy, right = someStrategy}
    + Details:
        ()
* Step 2: Sum.  WORST_CASE(Omega(n^1),?)
    + Considered Problem:
        - Strict TRS:
            A__AFTERNTH(z0,z1) -> c227(A__U11(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__AFTERNTH(z0,z1) -> c228()
            A__FST(z0) -> c230()
            A__FST(pair(z0,z1)) -> c229(A__U21(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__HEAD(z0) -> c232()
            A__HEAD(cons(z0,z1)) -> c231(A__U31(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__ISLNAT(z0) -> c241()
            A__ISLNAT(afterNth(z0,z1)) -> c234(A__U41(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(cons(z0,z1)) -> c235(A__U51(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(fst(z0)) -> c236(A__U61(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(natsFrom(z0)) -> c237(A__U71(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISLNAT(nil()) -> c233()
            A__ISLNAT(snd(z0)) -> c238(A__U81(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(tail(z0)) -> c239(A__U91(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISLNAT(take(z0,z1)) -> c240(A__U101(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(z0) -> c250()
            A__ISLNATKIND(afterNth(z0,z1)) -> c243(A__U111(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(cons(z0,z1)) -> c244(A__U121(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(fst(z0)) -> c245(A__U131(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(natsFrom(z0)) -> c246(A__U141(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISLNATKIND(nil()) -> c242()
            A__ISLNATKIND(snd(z0)) -> c247(A__U151(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(tail(z0)) -> c248(A__U161(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISLNATKIND(take(z0,z1)) -> c249(A__U171(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISNATURAL(z0) -> c255()
            A__ISNATURAL(0()) -> c251()
            A__ISNATURAL(head(z0)) -> c252(A__U181(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISNATURAL(s(z0)) -> c253(A__U191(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISNATURAL(sel(z0,z1)) -> c254(A__U201(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(z0) -> c260()
            A__ISNATURALKIND(0()) -> c256()
            A__ISNATURALKIND(head(z0)) -> c257(A__U211(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISNATURALKIND(s(z0)) -> c258(A__U221(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(sel(z0,z1)) -> c259(A__U231(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISPLNAT(z0) -> c263()
            A__ISPLNAT(pair(z0,z1)) -> c261(A__U241(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__ISPLNAT(splitAt(z0,z1)) -> c262(A__U251(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISPLNATKIND(z0) -> c266()
            A__ISPLNATKIND(pair(z0,z1)) -> c264(A__U261(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__ISPLNATKIND(splitAt(z0,z1)) -> c265(A__U271(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__NATSFROM(z0) -> c267(A__U281(a__isNatural(z0),z0),A__ISNATURAL(z0))
            A__NATSFROM(z0) -> c268()
            A__SEL(z0,z1) -> c269(A__U291(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__SEL(z0,z1) -> c270()
            A__SND(z0) -> c272()
            A__SND(pair(z0,z1)) -> c271(A__U301(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__SPLITAT(z0,z1) -> c275()
            A__SPLITAT(0(),z0) -> c273(A__U311(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__SPLITAT(s(z0),cons(z1,z2)) -> c274(A__U321(a__isNatural(z0),z0,z1,z2),A__ISNATURAL(z0))
            A__TAIL(z0) -> c277()
            A__TAIL(cons(z0,z1)) -> c276(A__U331(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c278(A__U341(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c279()
            A__U101(z0,z1,z2) -> c1()
            A__U101(tt(),z0,z1) -> c(A__U102(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U102(z0,z1,z2) -> c3()
            A__U102(tt(),z0,z1) -> c2(A__U103(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U103(z0,z1,z2) -> c5()
            A__U103(tt(),z0,z1) -> c4(A__U104(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U104(z0,z1,z2) -> c7()
            A__U104(tt(),z0,z1) -> c6(A__U105(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U105(z0,z1) -> c9()
            A__U105(tt(),z0) -> c8(A__U106(a__isLNat(z0)),A__ISLNAT(z0))
            A__U106(z0) -> c11()
            A__U106(tt()) -> c10()
            A__U11(z0,z1,z2) -> c13()
            A__U11(tt(),z0,z1) -> c12(A__U12(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U111(z0,z1) -> c15()
            A__U111(tt(),z0) -> c14(A__U112(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U112(z0) -> c17()
            A__U112(tt()) -> c16()
            A__U12(z0,z1,z2) -> c19()
            A__U12(tt(),z0,z1) -> c18(A__U13(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U121(z0,z1) -> c21()
            A__U121(tt(),z0) -> c20(A__U122(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U122(z0) -> c23()
            A__U122(tt()) -> c22()
            A__U13(z0,z1,z2) -> c25()
            A__U13(tt(),z0,z1) -> c24(A__U14(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U131(z0) -> c27()
            A__U131(tt()) -> c26()
            A__U14(z0,z1,z2) -> c30()
            A__U14(tt(),z0,z1) -> c28(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U14(tt(),z0,z1) -> c29(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U141(z0) -> c32()
            A__U141(tt()) -> c31()
            A__U151(z0) -> c34()
            A__U151(tt()) -> c33()
            A__U161(z0) -> c36()
            A__U161(tt()) -> c35()
            A__U171(z0,z1) -> c38()
            A__U171(tt(),z0) -> c37(A__U172(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U172(z0) -> c40()
            A__U172(tt()) -> c39()
            A__U181(z0,z1) -> c42()
            A__U181(tt(),z0) -> c41(A__U182(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U182(z0,z1) -> c44()
            A__U182(tt(),z0) -> c43(A__U183(a__isLNat(z0)),A__ISLNAT(z0))
            A__U183(z0) -> c46()
            A__U183(tt()) -> c45()
            A__U191(z0,z1) -> c48()
            A__U191(tt(),z0) -> c47(A__U192(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U192(z0,z1) -> c50()
            A__U192(tt(),z0) -> c49(A__U193(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U193(z0) -> c52()
            A__U193(tt()) -> c51()
            A__U201(z0,z1,z2) -> c54()
            A__U201(tt(),z0,z1) -> c53(A__U202(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U202(z0,z1,z2) -> c56()
            A__U202(tt(),z0,z1) -> c55(A__U203(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U203(z0,z1,z2) -> c58()
            A__U203(tt(),z0,z1) -> c57(A__U204(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U204(z0,z1,z2) -> c60()
            A__U204(tt(),z0,z1) -> c59(A__U205(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U205(z0,z1) -> c62()
            A__U205(tt(),z0) -> c61(A__U206(a__isLNat(z0)),A__ISLNAT(z0))
            A__U206(z0) -> c64()
            A__U206(tt()) -> c63()
            A__U21(z0,z1,z2) -> c66()
            A__U21(tt(),z0,z1) -> c65(A__U22(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U211(z0) -> c68()
            A__U211(tt()) -> c67()
            A__U22(z0,z1,z2) -> c70()
            A__U22(tt(),z0,z1) -> c69(A__U23(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U221(z0) -> c72()
            A__U221(tt()) -> c71()
            A__U23(z0,z1,z2) -> c74()
            A__U23(tt(),z0,z1) -> c73(A__U24(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U231(z0,z1) -> c76()
            A__U231(tt(),z0) -> c75(A__U232(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U232(z0) -> c78()
            A__U232(tt()) -> c77()
            A__U24(z0,z1) -> c80()
            A__U24(tt(),z0) -> c79(MARK(z0))
            A__U241(z0,z1,z2) -> c82()
            A__U241(tt(),z0,z1) -> c81(A__U242(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U242(z0,z1,z2) -> c84()
            A__U242(tt(),z0,z1) -> c83(A__U243(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U243(z0,z1,z2) -> c86()
            A__U243(tt(),z0,z1) -> c85(A__U244(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U244(z0,z1,z2) -> c88()
            A__U244(tt(),z0,z1) -> c87(A__U245(a__isLNat(z0),z1),A__ISLNAT(z0))
            A__U245(z0,z1) -> c90()
            A__U245(tt(),z0) -> c89(A__U246(a__isLNat(z0)),A__ISLNAT(z0))
            A__U246(z0) -> c92()
            A__U246(tt()) -> c91()
            A__U251(z0,z1,z2) -> c94()
            A__U251(tt(),z0,z1) -> c93(A__U252(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U252(z0,z1,z2) -> c96()
            A__U252(tt(),z0,z1) -> c95(A__U253(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U253(z0,z1,z2) -> c98()
            A__U253(tt(),z0,z1) -> c97(A__U254(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U254(z0,z1,z2) -> c100()
            A__U254(tt(),z0,z1) -> c99(A__U255(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U255(z0,z1) -> c102()
            A__U255(tt(),z0) -> c101(A__U256(a__isLNat(z0)),A__ISLNAT(z0))
            A__U256(z0) -> c104()
            A__U256(tt()) -> c103()
            A__U261(z0,z1) -> c106()
            A__U261(tt(),z0) -> c105(A__U262(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U262(z0) -> c108()
            A__U262(tt()) -> c107()
            A__U271(z0,z1) -> c110()
            A__U271(tt(),z0) -> c109(A__U272(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U272(z0) -> c112()
            A__U272(tt()) -> c111()
            A__U281(z0,z1) -> c114()
            A__U281(tt(),z0) -> c113(A__U282(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U282(z0,z1) -> c116()
            A__U282(tt(),z0) -> c115(MARK(z0))
            A__U291(z0,z1,z2) -> c118()
            A__U291(tt(),z0,z1) -> c117(A__U292(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U292(z0,z1,z2) -> c120()
            A__U292(tt(),z0,z1) -> c119(A__U293(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U293(z0,z1,z2) -> c122()
            A__U293(tt(),z0,z1) -> c121(A__U294(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U294(z0,z1,z2) -> c125()
            A__U294(tt(),z0,z1) -> c123(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            A__U294(tt(),z0,z1) -> c124(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            A__U301(z0,z1,z2) -> c127()
            A__U301(tt(),z0,z1) -> c126(A__U302(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__U302(z0,z1) -> c129()
            A__U302(tt(),z0) -> c128(A__U303(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U303(z0,z1) -> c131()
            A__U303(tt(),z0) -> c130(A__U304(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U304(z0,z1) -> c133()
            A__U304(tt(),z0) -> c132(MARK(z0))
            A__U31(z0,z1,z2) -> c135()
            A__U31(tt(),z0,z1) -> c134(A__U32(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U311(z0,z1) -> c137()
            A__U311(tt(),z0) -> c136(A__U312(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U312(z0,z1) -> c139()
            A__U312(tt(),z0) -> c138(MARK(z0))
            A__U32(z0,z1,z2) -> c141()
            A__U32(tt(),z0,z1) -> c140(A__U33(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U321(z0,z1,z2,z3) -> c143()
            A__U321(tt(),z0,z1,z2) -> c142(A__U322(a__isNaturalKind(z0),z0,z1,z2),A__ISNATURALKIND(z0))
            A__U322(z0,z1,z2,z3) -> c145()
            A__U322(tt(),z0,z1,z2) -> c144(A__U323(a__isNatural(z1),z0,z1,z2),A__ISNATURAL(z1))
            A__U323(z0,z1,z2,z3) -> c147()
            A__U323(tt(),z0,z1,z2) -> c146(A__U324(a__isNaturalKind(z1),z0,z1,z2),A__ISNATURALKIND(z1))
            A__U324(z0,z1,z2,z3) -> c149()
            A__U324(tt(),z0,z1,z2) -> c148(A__U325(a__isLNat(z2),z0,z1,z2),A__ISLNAT(z2))
            A__U325(z0,z1,z2,z3) -> c151()
            A__U325(tt(),z0,z1,z2) -> c150(A__U326(a__isLNatKind(z2),z0,z1,z2),A__ISLNATKIND(z2))
            A__U326(z0,z1,z2,z3) -> c154()
            A__U326(tt(),z0,z1,z2) -> c152(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z0))
            A__U326(tt(),z0,z1,z2) -> c153(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z2))
            A__U327(z0,z1) -> c157()
            A__U327(pair(z0,z1),z2) -> c155(MARK(z2))
            A__U327(pair(z0,z1),z2) -> c156(MARK(z1))
            A__U33(z0,z1,z2) -> c159()
            A__U33(tt(),z0,z1) -> c158(A__U34(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U331(z0,z1,z2) -> c161()
            A__U331(tt(),z0,z1) -> c160(A__U332(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__U332(z0,z1) -> c163()
            A__U332(tt(),z0) -> c162(A__U333(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U333(z0,z1) -> c165()
            A__U333(tt(),z0) -> c164(A__U334(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U334(z0,z1) -> c167()
            A__U334(tt(),z0) -> c166(MARK(z0))
            A__U34(z0,z1) -> c169()
            A__U34(tt(),z0) -> c168(MARK(z0))
            A__U341(z0,z1,z2) -> c171()
            A__U341(tt(),z0,z1) -> c170(A__U342(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U342(z0,z1,z2) -> c173()
            A__U342(tt(),z0,z1) -> c172(A__U343(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U343(z0,z1,z2) -> c175()
            A__U343(tt(),z0,z1) -> c174(A__U344(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U344(z0,z1,z2) -> c178()
            A__U344(tt(),z0,z1) -> c176(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U344(tt(),z0,z1) -> c177(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U41(z0,z1,z2) -> c180()
            A__U41(tt(),z0,z1) -> c179(A__U42(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U42(z0,z1,z2) -> c182()
            A__U42(tt(),z0,z1) -> c181(A__U43(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U43(z0,z1,z2) -> c184()
            A__U43(tt(),z0,z1) -> c183(A__U44(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U44(z0,z1,z2) -> c186()
            A__U44(tt(),z0,z1) -> c185(A__U45(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U45(z0,z1) -> c188()
            A__U45(tt(),z0) -> c187(A__U46(a__isLNat(z0)),A__ISLNAT(z0))
            A__U46(z0) -> c190()
            A__U46(tt()) -> c189()
            A__U51(z0,z1,z2) -> c192()
            A__U51(tt(),z0,z1) -> c191(A__U52(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U52(z0,z1,z2) -> c194()
            A__U52(tt(),z0,z1) -> c193(A__U53(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U53(z0,z1,z2) -> c196()
            A__U53(tt(),z0,z1) -> c195(A__U54(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U54(z0,z1,z2) -> c198()
            A__U54(tt(),z0,z1) -> c197(A__U55(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U55(z0,z1) -> c200()
            A__U55(tt(),z0) -> c199(A__U56(a__isLNat(z0)),A__ISLNAT(z0))
            A__U56(z0) -> c202()
            A__U56(tt()) -> c201()
            A__U61(z0,z1) -> c204()
            A__U61(tt(),z0) -> c203(A__U62(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U62(z0,z1) -> c206()
            A__U62(tt(),z0) -> c205(A__U63(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U63(z0) -> c208()
            A__U63(tt()) -> c207()
            A__U71(z0,z1) -> c210()
            A__U71(tt(),z0) -> c209(A__U72(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U72(z0,z1) -> c212()
            A__U72(tt(),z0) -> c211(A__U73(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U73(z0) -> c214()
            A__U73(tt()) -> c213()
            A__U81(z0,z1) -> c216()
            A__U81(tt(),z0) -> c215(A__U82(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U82(z0,z1) -> c218()
            A__U82(tt(),z0) -> c217(A__U83(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U83(z0) -> c220()
            A__U83(tt()) -> c219()
            A__U91(z0,z1) -> c222()
            A__U91(tt(),z0) -> c221(A__U92(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U92(z0,z1) -> c224()
            A__U92(tt(),z0) -> c223(A__U93(a__isLNat(z0)),A__ISLNAT(z0))
            A__U93(z0) -> c226()
            A__U93(tt()) -> c225()
            MARK(0()) -> c416()
            MARK(U101(z0,z1,z2)) -> c280(A__U101(mark(z0),z1,z2),MARK(z0))
            MARK(U102(z0,z1,z2)) -> c281(A__U102(mark(z0),z1,z2),MARK(z0))
            MARK(U103(z0,z1,z2)) -> c283(A__U103(mark(z0),z1,z2),MARK(z0))
            MARK(U104(z0,z1,z2)) -> c285(A__U104(mark(z0),z1,z2),MARK(z0))
            MARK(U105(z0,z1)) -> c286(A__U105(mark(z0),z1),MARK(z0))
            MARK(U106(z0)) -> c288(A__U106(mark(z0)),MARK(z0))
            MARK(U11(z0,z1,z2)) -> c290(A__U11(mark(z0),z1,z2),MARK(z0))
            MARK(U111(z0,z1)) -> c292(A__U111(mark(z0),z1),MARK(z0))
            MARK(U112(z0)) -> c293(A__U112(mark(z0)),MARK(z0))
            MARK(U12(z0,z1,z2)) -> c291(A__U12(mark(z0),z1,z2),MARK(z0))
            MARK(U121(z0,z1)) -> c295(A__U121(mark(z0),z1),MARK(z0))
            MARK(U122(z0)) -> c296(A__U122(mark(z0)),MARK(z0))
            MARK(U13(z0,z1,z2)) -> c294(A__U13(mark(z0),z1,z2),MARK(z0))
            MARK(U131(z0)) -> c298(A__U131(mark(z0)),MARK(z0))
            MARK(U14(z0,z1,z2)) -> c297(A__U14(mark(z0),z1,z2),MARK(z0))
            MARK(U141(z0)) -> c302(A__U141(mark(z0)),MARK(z0))
            MARK(U151(z0)) -> c303(A__U151(mark(z0)),MARK(z0))
            MARK(U161(z0)) -> c304(A__U161(mark(z0)),MARK(z0))
            MARK(U171(z0,z1)) -> c305(A__U171(mark(z0),z1),MARK(z0))
            MARK(U172(z0)) -> c306(A__U172(mark(z0)),MARK(z0))
            MARK(U181(z0,z1)) -> c307(A__U181(mark(z0),z1),MARK(z0))
            MARK(U182(z0,z1)) -> c308(A__U182(mark(z0),z1),MARK(z0))
            MARK(U183(z0)) -> c309(A__U183(mark(z0)),MARK(z0))
            MARK(U191(z0,z1)) -> c310(A__U191(mark(z0),z1),MARK(z0))
            MARK(U192(z0,z1)) -> c311(A__U192(mark(z0),z1),MARK(z0))
            MARK(U193(z0)) -> c312(A__U193(mark(z0)),MARK(z0))
            MARK(U201(z0,z1,z2)) -> c313(A__U201(mark(z0),z1,z2),MARK(z0))
            MARK(U202(z0,z1,z2)) -> c314(A__U202(mark(z0),z1,z2),MARK(z0))
            MARK(U203(z0,z1,z2)) -> c315(A__U203(mark(z0),z1,z2),MARK(z0))
            MARK(U204(z0,z1,z2)) -> c316(A__U204(mark(z0),z1,z2),MARK(z0))
            MARK(U205(z0,z1)) -> c317(A__U205(mark(z0),z1),MARK(z0))
            MARK(U206(z0)) -> c318(A__U206(mark(z0)),MARK(z0))
            MARK(U21(z0,z1,z2)) -> c319(A__U21(mark(z0),z1,z2),MARK(z0))
            MARK(U211(z0)) -> c321(A__U211(mark(z0)),MARK(z0))
            MARK(U22(z0,z1,z2)) -> c320(A__U22(mark(z0),z1,z2),MARK(z0))
            MARK(U221(z0)) -> c323(A__U221(mark(z0)),MARK(z0))
            MARK(U23(z0,z1,z2)) -> c322(A__U23(mark(z0),z1,z2),MARK(z0))
            MARK(U231(z0,z1)) -> c325(A__U231(mark(z0),z1),MARK(z0))
            MARK(U232(z0)) -> c326(A__U232(mark(z0)),MARK(z0))
            MARK(U24(z0,z1)) -> c324(A__U24(mark(z0),z1),MARK(z0))
            MARK(U241(z0,z1,z2)) -> c327(A__U241(mark(z0),z1,z2),MARK(z0))
            MARK(U242(z0,z1,z2)) -> c328(A__U242(mark(z0),z1,z2),MARK(z0))
            MARK(U243(z0,z1,z2)) -> c329(A__U243(mark(z0),z1,z2),MARK(z0))
            MARK(U244(z0,z1,z2)) -> c330(A__U244(mark(z0),z1,z2),MARK(z0))
            MARK(U245(z0,z1)) -> c331(A__U245(mark(z0),z1),MARK(z0))
            MARK(U246(z0)) -> c332(A__U246(mark(z0)),MARK(z0))
            MARK(U251(z0,z1,z2)) -> c333(A__U251(mark(z0),z1,z2),MARK(z0))
            MARK(U252(z0,z1,z2)) -> c334(A__U252(mark(z0),z1,z2),MARK(z0))
            MARK(U253(z0,z1,z2)) -> c335(A__U253(mark(z0),z1,z2),MARK(z0))
            MARK(U254(z0,z1,z2)) -> c336(A__U254(mark(z0),z1,z2),MARK(z0))
            MARK(U255(z0,z1)) -> c337(A__U255(mark(z0),z1),MARK(z0))
            MARK(U256(z0)) -> c338(A__U256(mark(z0)),MARK(z0))
            MARK(U261(z0,z1)) -> c339(A__U261(mark(z0),z1),MARK(z0))
            MARK(U262(z0)) -> c340(A__U262(mark(z0)),MARK(z0))
            MARK(U271(z0,z1)) -> c341(A__U271(mark(z0),z1),MARK(z0))
            MARK(U272(z0)) -> c342(A__U272(mark(z0)),MARK(z0))
            MARK(U281(z0,z1)) -> c343(A__U281(mark(z0),z1),MARK(z0))
            MARK(U282(z0,z1)) -> c344(A__U282(mark(z0),z1),MARK(z0))
            MARK(U291(z0,z1,z2)) -> c346(A__U291(mark(z0),z1,z2),MARK(z0))
            MARK(U292(z0,z1,z2)) -> c347(A__U292(mark(z0),z1,z2),MARK(z0))
            MARK(U293(z0,z1,z2)) -> c348(A__U293(mark(z0),z1,z2),MARK(z0))
            MARK(U294(z0,z1,z2)) -> c349(A__U294(mark(z0),z1,z2),MARK(z0))
            MARK(U301(z0,z1,z2)) -> c353(A__U301(mark(z0),z1,z2),MARK(z0))
            MARK(U302(z0,z1)) -> c354(A__U302(mark(z0),z1),MARK(z0))
            MARK(U303(z0,z1)) -> c355(A__U303(mark(z0),z1),MARK(z0))
            MARK(U304(z0,z1)) -> c356(A__U304(mark(z0),z1),MARK(z0))
            MARK(U31(z0,z1,z2)) -> c357(A__U31(mark(z0),z1,z2),MARK(z0))
            MARK(U311(z0,z1)) -> c359(A__U311(mark(z0),z1),MARK(z0))
            MARK(U312(z0,z1)) -> c360(A__U312(mark(z0),z1),MARK(z0))
            MARK(U32(z0,z1,z2)) -> c358(A__U32(mark(z0),z1,z2),MARK(z0))
            MARK(U321(z0,z1,z2,z3)) -> c362(A__U321(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U322(z0,z1,z2,z3)) -> c363(A__U322(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U323(z0,z1,z2,z3)) -> c364(A__U323(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U324(z0,z1,z2,z3)) -> c365(A__U324(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U325(z0,z1,z2,z3)) -> c366(A__U325(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U326(z0,z1,z2,z3)) -> c367(A__U326(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U327(z0,z1)) -> c368(A__U327(mark(z0),z1),MARK(z0))
            MARK(U33(z0,z1,z2)) -> c361(A__U33(mark(z0),z1,z2),MARK(z0))
            MARK(U331(z0,z1,z2)) -> c370(A__U331(mark(z0),z1,z2),MARK(z0))
            MARK(U332(z0,z1)) -> c371(A__U332(mark(z0),z1),MARK(z0))
            MARK(U333(z0,z1)) -> c372(A__U333(mark(z0),z1),MARK(z0))
            MARK(U334(z0,z1)) -> c373(A__U334(mark(z0),z1),MARK(z0))
            MARK(U34(z0,z1)) -> c369(A__U34(mark(z0),z1),MARK(z0))
            MARK(U341(z0,z1,z2)) -> c374(A__U341(mark(z0),z1,z2),MARK(z0))
            MARK(U342(z0,z1,z2)) -> c375(A__U342(mark(z0),z1,z2),MARK(z0))
            MARK(U343(z0,z1,z2)) -> c376(A__U343(mark(z0),z1,z2),MARK(z0))
            MARK(U344(z0,z1,z2)) -> c377(A__U344(mark(z0),z1,z2),MARK(z0))
            MARK(U41(z0,z1,z2)) -> c379(A__U41(mark(z0),z1,z2),MARK(z0))
            MARK(U42(z0,z1,z2)) -> c380(A__U42(mark(z0),z1,z2),MARK(z0))
            MARK(U43(z0,z1,z2)) -> c381(A__U43(mark(z0),z1,z2),MARK(z0))
            MARK(U44(z0,z1,z2)) -> c382(A__U44(mark(z0),z1,z2),MARK(z0))
            MARK(U45(z0,z1)) -> c383(A__U45(mark(z0),z1),MARK(z0))
            MARK(U46(z0)) -> c384(A__U46(mark(z0)),MARK(z0))
            MARK(U51(z0,z1,z2)) -> c385(A__U51(mark(z0),z1,z2),MARK(z0))
            MARK(U52(z0,z1,z2)) -> c386(A__U52(mark(z0),z1,z2),MARK(z0))
            MARK(U53(z0,z1,z2)) -> c387(A__U53(mark(z0),z1,z2),MARK(z0))
            MARK(U54(z0,z1,z2)) -> c388(A__U54(mark(z0),z1,z2),MARK(z0))
            MARK(U55(z0,z1)) -> c389(A__U55(mark(z0),z1),MARK(z0))
            MARK(U56(z0)) -> c390(A__U56(mark(z0)),MARK(z0))
            MARK(U61(z0,z1)) -> c391(A__U61(mark(z0),z1),MARK(z0))
            MARK(U62(z0,z1)) -> c392(A__U62(mark(z0),z1),MARK(z0))
            MARK(U63(z0)) -> c394(A__U63(mark(z0)),MARK(z0))
            MARK(U71(z0,z1)) -> c396(A__U71(mark(z0),z1),MARK(z0))
            MARK(U72(z0,z1)) -> c397(A__U72(mark(z0),z1),MARK(z0))
            MARK(U73(z0)) -> c398(A__U73(mark(z0)),MARK(z0))
            MARK(U81(z0,z1)) -> c399(A__U81(mark(z0),z1),MARK(z0))
            MARK(U82(z0,z1)) -> c400(A__U82(mark(z0),z1),MARK(z0))
            MARK(U83(z0)) -> c401(A__U83(mark(z0)),MARK(z0))
            MARK(U91(z0,z1)) -> c402(A__U91(mark(z0),z1),MARK(z0))
            MARK(U92(z0,z1)) -> c403(A__U92(mark(z0),z1),MARK(z0))
            MARK(U93(z0)) -> c404(A__U93(mark(z0)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c351(A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c352(A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            MARK(cons(z0,z1)) -> c411(MARK(z0))
            MARK(fst(z0)) -> c378(A__FST(mark(z0)),MARK(z0))
            MARK(head(z0)) -> c350(A__HEAD(mark(z0)),MARK(z0))
            MARK(isLNat(z0)) -> c289(A__ISLNAT(z0))
            MARK(isLNatKind(z0)) -> c284(A__ISLNATKIND(z0))
            MARK(isNatural(z0)) -> c287(A__ISNATURAL(z0))
            MARK(isNaturalKind(z0)) -> c282(A__ISNATURALKIND(z0))
            MARK(isPLNat(z0)) -> c395(A__ISPLNAT(z0))
            MARK(isPLNatKind(z0)) -> c393(A__ISPLNATKIND(z0))
            MARK(natsFrom(z0)) -> c345(A__NATSFROM(mark(z0)),MARK(z0))
            MARK(nil()) -> c415()
            MARK(pair(z0,z1)) -> c413(MARK(z0))
            MARK(pair(z0,z1)) -> c414(MARK(z1))
            MARK(s(z0)) -> c412(MARK(z0))
            MARK(sel(z0,z1)) -> c408(A__SEL(mark(z0),mark(z1)),MARK(z0))
            MARK(sel(z0,z1)) -> c409(A__SEL(mark(z0),mark(z1)),MARK(z1))
            MARK(snd(z0)) -> c299(A__SND(mark(z0)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c300(A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c301(A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            MARK(tail(z0)) -> c405(A__TAIL(mark(z0)),MARK(z0))
            MARK(take(z0,z1)) -> c406(A__TAKE(mark(z0),mark(z1)),MARK(z0))
            MARK(take(z0,z1)) -> c407(A__TAKE(mark(z0),mark(z1)),MARK(z1))
            MARK(tt()) -> c410()
        - Weak TRS:
            a__U101(z0,z1,z2) -> U101(z0,z1,z2)
            a__U101(tt(),z0,z1) -> a__U102(a__isNaturalKind(z0),z0,z1)
            a__U102(z0,z1,z2) -> U102(z0,z1,z2)
            a__U102(tt(),z0,z1) -> a__U103(a__isLNatKind(z1),z0,z1)
            a__U103(z0,z1,z2) -> U103(z0,z1,z2)
            a__U103(tt(),z0,z1) -> a__U104(a__isLNatKind(z1),z0,z1)
            a__U104(z0,z1,z2) -> U104(z0,z1,z2)
            a__U104(tt(),z0,z1) -> a__U105(a__isNatural(z0),z1)
            a__U105(z0,z1) -> U105(z0,z1)
            a__U105(tt(),z0) -> a__U106(a__isLNat(z0))
            a__U106(z0) -> U106(z0)
            a__U106(tt()) -> tt()
            a__U11(z0,z1,z2) -> U11(z0,z1,z2)
            a__U11(tt(),z0,z1) -> a__U12(a__isNaturalKind(z0),z0,z1)
            a__U111(z0,z1) -> U111(z0,z1)
            a__U111(tt(),z0) -> a__U112(a__isLNatKind(z0))
            a__U112(z0) -> U112(z0)
            a__U112(tt()) -> tt()
            a__U12(z0,z1,z2) -> U12(z0,z1,z2)
            a__U12(tt(),z0,z1) -> a__U13(a__isLNat(z1),z0,z1)
            a__U121(z0,z1) -> U121(z0,z1)
            a__U121(tt(),z0) -> a__U122(a__isLNatKind(z0))
            a__U122(z0) -> U122(z0)
            a__U122(tt()) -> tt()
            a__U13(z0,z1,z2) -> U13(z0,z1,z2)
            a__U13(tt(),z0,z1) -> a__U14(a__isLNatKind(z1),z0,z1)
            a__U131(z0) -> U131(z0)
            a__U131(tt()) -> tt()
            a__U14(z0,z1,z2) -> U14(z0,z1,z2)
            a__U14(tt(),z0,z1) -> a__snd(a__splitAt(mark(z0),mark(z1)))
            a__U141(z0) -> U141(z0)
            a__U141(tt()) -> tt()
            a__U151(z0) -> U151(z0)
            a__U151(tt()) -> tt()
            a__U161(z0) -> U161(z0)
            a__U161(tt()) -> tt()
            a__U171(z0,z1) -> U171(z0,z1)
            a__U171(tt(),z0) -> a__U172(a__isLNatKind(z0))
            a__U172(z0) -> U172(z0)
            a__U172(tt()) -> tt()
            a__U181(z0,z1) -> U181(z0,z1)
            a__U181(tt(),z0) -> a__U182(a__isLNatKind(z0),z0)
            a__U182(z0,z1) -> U182(z0,z1)
            a__U182(tt(),z0) -> a__U183(a__isLNat(z0))
            a__U183(z0) -> U183(z0)
            a__U183(tt()) -> tt()
            a__U191(z0,z1) -> U191(z0,z1)
            a__U191(tt(),z0) -> a__U192(a__isNaturalKind(z0),z0)
            a__U192(z0,z1) -> U192(z0,z1)
            a__U192(tt(),z0) -> a__U193(a__isNatural(z0))
            a__U193(z0) -> U193(z0)
            a__U193(tt()) -> tt()
            a__U201(z0,z1,z2) -> U201(z0,z1,z2)
            a__U201(tt(),z0,z1) -> a__U202(a__isNaturalKind(z0),z0,z1)
            a__U202(z0,z1,z2) -> U202(z0,z1,z2)
            a__U202(tt(),z0,z1) -> a__U203(a__isLNatKind(z1),z0,z1)
            a__U203(z0,z1,z2) -> U203(z0,z1,z2)
            a__U203(tt(),z0,z1) -> a__U204(a__isLNatKind(z1),z0,z1)
            a__U204(z0,z1,z2) -> U204(z0,z1,z2)
            a__U204(tt(),z0,z1) -> a__U205(a__isNatural(z0),z1)
            a__U205(z0,z1) -> U205(z0,z1)
            a__U205(tt(),z0) -> a__U206(a__isLNat(z0))
            a__U206(z0) -> U206(z0)
            a__U206(tt()) -> tt()
            a__U21(z0,z1,z2) -> U21(z0,z1,z2)
            a__U21(tt(),z0,z1) -> a__U22(a__isLNatKind(z0),z0,z1)
            a__U211(z0) -> U211(z0)
            a__U211(tt()) -> tt()
            a__U22(z0,z1,z2) -> U22(z0,z1,z2)
            a__U22(tt(),z0,z1) -> a__U23(a__isLNat(z1),z0,z1)
            a__U221(z0) -> U221(z0)
            a__U221(tt()) -> tt()
            a__U23(z0,z1,z2) -> U23(z0,z1,z2)
            a__U23(tt(),z0,z1) -> a__U24(a__isLNatKind(z1),z0)
            a__U231(z0,z1) -> U231(z0,z1)
            a__U231(tt(),z0) -> a__U232(a__isLNatKind(z0))
            a__U232(z0) -> U232(z0)
            a__U232(tt()) -> tt()
            a__U24(z0,z1) -> U24(z0,z1)
            a__U24(tt(),z0) -> mark(z0)
            a__U241(z0,z1,z2) -> U241(z0,z1,z2)
            a__U241(tt(),z0,z1) -> a__U242(a__isLNatKind(z0),z0,z1)
            a__U242(z0,z1,z2) -> U242(z0,z1,z2)
            a__U242(tt(),z0,z1) -> a__U243(a__isLNatKind(z1),z0,z1)
            a__U243(z0,z1,z2) -> U243(z0,z1,z2)
            a__U243(tt(),z0,z1) -> a__U244(a__isLNatKind(z1),z0,z1)
            a__U244(z0,z1,z2) -> U244(z0,z1,z2)
            a__U244(tt(),z0,z1) -> a__U245(a__isLNat(z0),z1)
            a__U245(z0,z1) -> U245(z0,z1)
            a__U245(tt(),z0) -> a__U246(a__isLNat(z0))
            a__U246(z0) -> U246(z0)
            a__U246(tt()) -> tt()
            a__U251(z0,z1,z2) -> U251(z0,z1,z2)
            a__U251(tt(),z0,z1) -> a__U252(a__isNaturalKind(z0),z0,z1)
            a__U252(z0,z1,z2) -> U252(z0,z1,z2)
            a__U252(tt(),z0,z1) -> a__U253(a__isLNatKind(z1),z0,z1)
            a__U253(z0,z1,z2) -> U253(z0,z1,z2)
            a__U253(tt(),z0,z1) -> a__U254(a__isLNatKind(z1),z0,z1)
            a__U254(z0,z1,z2) -> U254(z0,z1,z2)
            a__U254(tt(),z0,z1) -> a__U255(a__isNatural(z0),z1)
            a__U255(z0,z1) -> U255(z0,z1)
            a__U255(tt(),z0) -> a__U256(a__isLNat(z0))
            a__U256(z0) -> U256(z0)
            a__U256(tt()) -> tt()
            a__U261(z0,z1) -> U261(z0,z1)
            a__U261(tt(),z0) -> a__U262(a__isLNatKind(z0))
            a__U262(z0) -> U262(z0)
            a__U262(tt()) -> tt()
            a__U271(z0,z1) -> U271(z0,z1)
            a__U271(tt(),z0) -> a__U272(a__isLNatKind(z0))
            a__U272(z0) -> U272(z0)
            a__U272(tt()) -> tt()
            a__U281(z0,z1) -> U281(z0,z1)
            a__U281(tt(),z0) -> a__U282(a__isNaturalKind(z0),z0)
            a__U282(z0,z1) -> U282(z0,z1)
            a__U282(tt(),z0) -> cons(mark(z0),natsFrom(s(z0)))
            a__U291(z0,z1,z2) -> U291(z0,z1,z2)
            a__U291(tt(),z0,z1) -> a__U292(a__isNaturalKind(z0),z0,z1)
            a__U292(z0,z1,z2) -> U292(z0,z1,z2)
            a__U292(tt(),z0,z1) -> a__U293(a__isLNat(z1),z0,z1)
            a__U293(z0,z1,z2) -> U293(z0,z1,z2)
            a__U293(tt(),z0,z1) -> a__U294(a__isLNatKind(z1),z0,z1)
            a__U294(z0,z1,z2) -> U294(z0,z1,z2)
            a__U294(tt(),z0,z1) -> a__head(a__afterNth(mark(z0),mark(z1)))
            a__U301(z0,z1,z2) -> U301(z0,z1,z2)
            a__U301(tt(),z0,z1) -> a__U302(a__isLNatKind(z0),z1)
            a__U302(z0,z1) -> U302(z0,z1)
            a__U302(tt(),z0) -> a__U303(a__isLNat(z0),z0)
            a__U303(z0,z1) -> U303(z0,z1)
            a__U303(tt(),z0) -> a__U304(a__isLNatKind(z0),z0)
            a__U304(z0,z1) -> U304(z0,z1)
            a__U304(tt(),z0) -> mark(z0)
            a__U31(z0,z1,z2) -> U31(z0,z1,z2)
            a__U31(tt(),z0,z1) -> a__U32(a__isNaturalKind(z0),z0,z1)
            a__U311(z0,z1) -> U311(z0,z1)
            a__U311(tt(),z0) -> a__U312(a__isLNatKind(z0),z0)
            a__U312(z0,z1) -> U312(z0,z1)
            a__U312(tt(),z0) -> pair(nil(),mark(z0))
            a__U32(z0,z1,z2) -> U32(z0,z1,z2)
            a__U32(tt(),z0,z1) -> a__U33(a__isLNat(z1),z0,z1)
            a__U321(z0,z1,z2,z3) -> U321(z0,z1,z2,z3)
            a__U321(tt(),z0,z1,z2) -> a__U322(a__isNaturalKind(z0),z0,z1,z2)
            a__U322(z0,z1,z2,z3) -> U322(z0,z1,z2,z3)
            a__U322(tt(),z0,z1,z2) -> a__U323(a__isNatural(z1),z0,z1,z2)
            a__U323(z0,z1,z2,z3) -> U323(z0,z1,z2,z3)
            a__U323(tt(),z0,z1,z2) -> a__U324(a__isNaturalKind(z1),z0,z1,z2)
            a__U324(z0,z1,z2,z3) -> U324(z0,z1,z2,z3)
            a__U324(tt(),z0,z1,z2) -> a__U325(a__isLNat(z2),z0,z1,z2)
            a__U325(z0,z1,z2,z3) -> U325(z0,z1,z2,z3)
            a__U325(tt(),z0,z1,z2) -> a__U326(a__isLNatKind(z2),z0,z1,z2)
            a__U326(z0,z1,z2,z3) -> U326(z0,z1,z2,z3)
            a__U326(tt(),z0,z1,z2) -> a__U327(a__splitAt(mark(z0),mark(z2)),z1)
            a__U327(z0,z1) -> U327(z0,z1)
            a__U327(pair(z0,z1),z2) -> pair(cons(mark(z2),z0),mark(z1))
            a__U33(z0,z1,z2) -> U33(z0,z1,z2)
            a__U33(tt(),z0,z1) -> a__U34(a__isLNatKind(z1),z0)
            a__U331(z0,z1,z2) -> U331(z0,z1,z2)
            a__U331(tt(),z0,z1) -> a__U332(a__isNaturalKind(z0),z1)
            a__U332(z0,z1) -> U332(z0,z1)
            a__U332(tt(),z0) -> a__U333(a__isLNat(z0),z0)
            a__U333(z0,z1) -> U333(z0,z1)
            a__U333(tt(),z0) -> a__U334(a__isLNatKind(z0),z0)
            a__U334(z0,z1) -> U334(z0,z1)
            a__U334(tt(),z0) -> mark(z0)
            a__U34(z0,z1) -> U34(z0,z1)
            a__U34(tt(),z0) -> mark(z0)
            a__U341(z0,z1,z2) -> U341(z0,z1,z2)
            a__U341(tt(),z0,z1) -> a__U342(a__isNaturalKind(z0),z0,z1)
            a__U342(z0,z1,z2) -> U342(z0,z1,z2)
            a__U342(tt(),z0,z1) -> a__U343(a__isLNat(z1),z0,z1)
            a__U343(z0,z1,z2) -> U343(z0,z1,z2)
            a__U343(tt(),z0,z1) -> a__U344(a__isLNatKind(z1),z0,z1)
            a__U344(z0,z1,z2) -> U344(z0,z1,z2)
            a__U344(tt(),z0,z1) -> a__fst(a__splitAt(mark(z0),mark(z1)))
            a__U41(z0,z1,z2) -> U41(z0,z1,z2)
            a__U41(tt(),z0,z1) -> a__U42(a__isNaturalKind(z0),z0,z1)
            a__U42(z0,z1,z2) -> U42(z0,z1,z2)
            a__U42(tt(),z0,z1) -> a__U43(a__isLNatKind(z1),z0,z1)
            a__U43(z0,z1,z2) -> U43(z0,z1,z2)
            a__U43(tt(),z0,z1) -> a__U44(a__isLNatKind(z1),z0,z1)
            a__U44(z0,z1,z2) -> U44(z0,z1,z2)
            a__U44(tt(),z0,z1) -> a__U45(a__isNatural(z0),z1)
            a__U45(z0,z1) -> U45(z0,z1)
            a__U45(tt(),z0) -> a__U46(a__isLNat(z0))
            a__U46(z0) -> U46(z0)
            a__U46(tt()) -> tt()
            a__U51(z0,z1,z2) -> U51(z0,z1,z2)
            a__U51(tt(),z0,z1) -> a__U52(a__isNaturalKind(z0),z0,z1)
            a__U52(z0,z1,z2) -> U52(z0,z1,z2)
            a__U52(tt(),z0,z1) -> a__U53(a__isLNatKind(z1),z0,z1)
            a__U53(z0,z1,z2) -> U53(z0,z1,z2)
            a__U53(tt(),z0,z1) -> a__U54(a__isLNatKind(z1),z0,z1)
            a__U54(z0,z1,z2) -> U54(z0,z1,z2)
            a__U54(tt(),z0,z1) -> a__U55(a__isNatural(z0),z1)
            a__U55(z0,z1) -> U55(z0,z1)
            a__U55(tt(),z0) -> a__U56(a__isLNat(z0))
            a__U56(z0) -> U56(z0)
            a__U56(tt()) -> tt()
            a__U61(z0,z1) -> U61(z0,z1)
            a__U61(tt(),z0) -> a__U62(a__isPLNatKind(z0),z0)
            a__U62(z0,z1) -> U62(z0,z1)
            a__U62(tt(),z0) -> a__U63(a__isPLNat(z0))
            a__U63(z0) -> U63(z0)
            a__U63(tt()) -> tt()
            a__U71(z0,z1) -> U71(z0,z1)
            a__U71(tt(),z0) -> a__U72(a__isNaturalKind(z0),z0)
            a__U72(z0,z1) -> U72(z0,z1)
            a__U72(tt(),z0) -> a__U73(a__isNatural(z0))
            a__U73(z0) -> U73(z0)
            a__U73(tt()) -> tt()
            a__U81(z0,z1) -> U81(z0,z1)
            a__U81(tt(),z0) -> a__U82(a__isPLNatKind(z0),z0)
            a__U82(z0,z1) -> U82(z0,z1)
            a__U82(tt(),z0) -> a__U83(a__isPLNat(z0))
            a__U83(z0) -> U83(z0)
            a__U83(tt()) -> tt()
            a__U91(z0,z1) -> U91(z0,z1)
            a__U91(tt(),z0) -> a__U92(a__isLNatKind(z0),z0)
            a__U92(z0,z1) -> U92(z0,z1)
            a__U92(tt(),z0) -> a__U93(a__isLNat(z0))
            a__U93(z0) -> U93(z0)
            a__U93(tt()) -> tt()
            a__afterNth(z0,z1) -> a__U11(a__isNatural(z0),z0,z1)
            a__afterNth(z0,z1) -> afterNth(z0,z1)
            a__fst(z0) -> fst(z0)
            a__fst(pair(z0,z1)) -> a__U21(a__isLNat(z0),z0,z1)
            a__head(z0) -> head(z0)
            a__head(cons(z0,z1)) -> a__U31(a__isNatural(z0),z0,z1)
            a__isLNat(z0) -> isLNat(z0)
            a__isLNat(afterNth(z0,z1)) -> a__U41(a__isNaturalKind(z0),z0,z1)
            a__isLNat(cons(z0,z1)) -> a__U51(a__isNaturalKind(z0),z0,z1)
            a__isLNat(fst(z0)) -> a__U61(a__isPLNatKind(z0),z0)
            a__isLNat(natsFrom(z0)) -> a__U71(a__isNaturalKind(z0),z0)
            a__isLNat(nil()) -> tt()
            a__isLNat(snd(z0)) -> a__U81(a__isPLNatKind(z0),z0)
            a__isLNat(tail(z0)) -> a__U91(a__isLNatKind(z0),z0)
            a__isLNat(take(z0,z1)) -> a__U101(a__isNaturalKind(z0),z0,z1)
            a__isLNatKind(z0) -> isLNatKind(z0)
            a__isLNatKind(afterNth(z0,z1)) -> a__U111(a__isNaturalKind(z0),z1)
            a__isLNatKind(cons(z0,z1)) -> a__U121(a__isNaturalKind(z0),z1)
            a__isLNatKind(fst(z0)) -> a__U131(a__isPLNatKind(z0))
            a__isLNatKind(natsFrom(z0)) -> a__U141(a__isNaturalKind(z0))
            a__isLNatKind(nil()) -> tt()
            a__isLNatKind(snd(z0)) -> a__U151(a__isPLNatKind(z0))
            a__isLNatKind(tail(z0)) -> a__U161(a__isLNatKind(z0))
            a__isLNatKind(take(z0,z1)) -> a__U171(a__isNaturalKind(z0),z1)
            a__isNatural(z0) -> isNatural(z0)
            a__isNatural(0()) -> tt()
            a__isNatural(head(z0)) -> a__U181(a__isLNatKind(z0),z0)
            a__isNatural(s(z0)) -> a__U191(a__isNaturalKind(z0),z0)
            a__isNatural(sel(z0,z1)) -> a__U201(a__isNaturalKind(z0),z0,z1)
            a__isNaturalKind(z0) -> isNaturalKind(z0)
            a__isNaturalKind(0()) -> tt()
            a__isNaturalKind(head(z0)) -> a__U211(a__isLNatKind(z0))
            a__isNaturalKind(s(z0)) -> a__U221(a__isNaturalKind(z0))
            a__isNaturalKind(sel(z0,z1)) -> a__U231(a__isNaturalKind(z0),z1)
            a__isPLNat(z0) -> isPLNat(z0)
            a__isPLNat(pair(z0,z1)) -> a__U241(a__isLNatKind(z0),z0,z1)
            a__isPLNat(splitAt(z0,z1)) -> a__U251(a__isNaturalKind(z0),z0,z1)
            a__isPLNatKind(z0) -> isPLNatKind(z0)
            a__isPLNatKind(pair(z0,z1)) -> a__U261(a__isLNatKind(z0),z1)
            a__isPLNatKind(splitAt(z0,z1)) -> a__U271(a__isNaturalKind(z0),z1)
            a__natsFrom(z0) -> a__U281(a__isNatural(z0),z0)
            a__natsFrom(z0) -> natsFrom(z0)
            a__sel(z0,z1) -> a__U291(a__isNatural(z0),z0,z1)
            a__sel(z0,z1) -> sel(z0,z1)
            a__snd(z0) -> snd(z0)
            a__snd(pair(z0,z1)) -> a__U301(a__isLNat(z0),z0,z1)
            a__splitAt(z0,z1) -> splitAt(z0,z1)
            a__splitAt(0(),z0) -> a__U311(a__isLNat(z0),z0)
            a__splitAt(s(z0),cons(z1,z2)) -> a__U321(a__isNatural(z0),z0,z1,z2)
            a__tail(z0) -> tail(z0)
            a__tail(cons(z0,z1)) -> a__U331(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> a__U341(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> take(z0,z1)
            mark(0()) -> 0()
            mark(U101(z0,z1,z2)) -> a__U101(mark(z0),z1,z2)
            mark(U102(z0,z1,z2)) -> a__U102(mark(z0),z1,z2)
            mark(U103(z0,z1,z2)) -> a__U103(mark(z0),z1,z2)
            mark(U104(z0,z1,z2)) -> a__U104(mark(z0),z1,z2)
            mark(U105(z0,z1)) -> a__U105(mark(z0),z1)
            mark(U106(z0)) -> a__U106(mark(z0))
            mark(U11(z0,z1,z2)) -> a__U11(mark(z0),z1,z2)
            mark(U111(z0,z1)) -> a__U111(mark(z0),z1)
            mark(U112(z0)) -> a__U112(mark(z0))
            mark(U12(z0,z1,z2)) -> a__U12(mark(z0),z1,z2)
            mark(U121(z0,z1)) -> a__U121(mark(z0),z1)
            mark(U122(z0)) -> a__U122(mark(z0))
            mark(U13(z0,z1,z2)) -> a__U13(mark(z0),z1,z2)
            mark(U131(z0)) -> a__U131(mark(z0))
            mark(U14(z0,z1,z2)) -> a__U14(mark(z0),z1,z2)
            mark(U141(z0)) -> a__U141(mark(z0))
            mark(U151(z0)) -> a__U151(mark(z0))
            mark(U161(z0)) -> a__U161(mark(z0))
            mark(U171(z0,z1)) -> a__U171(mark(z0),z1)
            mark(U172(z0)) -> a__U172(mark(z0))
            mark(U181(z0,z1)) -> a__U181(mark(z0),z1)
            mark(U182(z0,z1)) -> a__U182(mark(z0),z1)
            mark(U183(z0)) -> a__U183(mark(z0))
            mark(U191(z0,z1)) -> a__U191(mark(z0),z1)
            mark(U192(z0,z1)) -> a__U192(mark(z0),z1)
            mark(U193(z0)) -> a__U193(mark(z0))
            mark(U201(z0,z1,z2)) -> a__U201(mark(z0),z1,z2)
            mark(U202(z0,z1,z2)) -> a__U202(mark(z0),z1,z2)
            mark(U203(z0,z1,z2)) -> a__U203(mark(z0),z1,z2)
            mark(U204(z0,z1,z2)) -> a__U204(mark(z0),z1,z2)
            mark(U205(z0,z1)) -> a__U205(mark(z0),z1)
            mark(U206(z0)) -> a__U206(mark(z0))
            mark(U21(z0,z1,z2)) -> a__U21(mark(z0),z1,z2)
            mark(U211(z0)) -> a__U211(mark(z0))
            mark(U22(z0,z1,z2)) -> a__U22(mark(z0),z1,z2)
            mark(U221(z0)) -> a__U221(mark(z0))
            mark(U23(z0,z1,z2)) -> a__U23(mark(z0),z1,z2)
            mark(U231(z0,z1)) -> a__U231(mark(z0),z1)
            mark(U232(z0)) -> a__U232(mark(z0))
            mark(U24(z0,z1)) -> a__U24(mark(z0),z1)
            mark(U241(z0,z1,z2)) -> a__U241(mark(z0),z1,z2)
            mark(U242(z0,z1,z2)) -> a__U242(mark(z0),z1,z2)
            mark(U243(z0,z1,z2)) -> a__U243(mark(z0),z1,z2)
            mark(U244(z0,z1,z2)) -> a__U244(mark(z0),z1,z2)
            mark(U245(z0,z1)) -> a__U245(mark(z0),z1)
            mark(U246(z0)) -> a__U246(mark(z0))
            mark(U251(z0,z1,z2)) -> a__U251(mark(z0),z1,z2)
            mark(U252(z0,z1,z2)) -> a__U252(mark(z0),z1,z2)
            mark(U253(z0,z1,z2)) -> a__U253(mark(z0),z1,z2)
            mark(U254(z0,z1,z2)) -> a__U254(mark(z0),z1,z2)
            mark(U255(z0,z1)) -> a__U255(mark(z0),z1)
            mark(U256(z0)) -> a__U256(mark(z0))
            mark(U261(z0,z1)) -> a__U261(mark(z0),z1)
            mark(U262(z0)) -> a__U262(mark(z0))
            mark(U271(z0,z1)) -> a__U271(mark(z0),z1)
            mark(U272(z0)) -> a__U272(mark(z0))
            mark(U281(z0,z1)) -> a__U281(mark(z0),z1)
            mark(U282(z0,z1)) -> a__U282(mark(z0),z1)
            mark(U291(z0,z1,z2)) -> a__U291(mark(z0),z1,z2)
            mark(U292(z0,z1,z2)) -> a__U292(mark(z0),z1,z2)
            mark(U293(z0,z1,z2)) -> a__U293(mark(z0),z1,z2)
            mark(U294(z0,z1,z2)) -> a__U294(mark(z0),z1,z2)
            mark(U301(z0,z1,z2)) -> a__U301(mark(z0),z1,z2)
            mark(U302(z0,z1)) -> a__U302(mark(z0),z1)
            mark(U303(z0,z1)) -> a__U303(mark(z0),z1)
            mark(U304(z0,z1)) -> a__U304(mark(z0),z1)
            mark(U31(z0,z1,z2)) -> a__U31(mark(z0),z1,z2)
            mark(U311(z0,z1)) -> a__U311(mark(z0),z1)
            mark(U312(z0,z1)) -> a__U312(mark(z0),z1)
            mark(U32(z0,z1,z2)) -> a__U32(mark(z0),z1,z2)
            mark(U321(z0,z1,z2,z3)) -> a__U321(mark(z0),z1,z2,z3)
            mark(U322(z0,z1,z2,z3)) -> a__U322(mark(z0),z1,z2,z3)
            mark(U323(z0,z1,z2,z3)) -> a__U323(mark(z0),z1,z2,z3)
            mark(U324(z0,z1,z2,z3)) -> a__U324(mark(z0),z1,z2,z3)
            mark(U325(z0,z1,z2,z3)) -> a__U325(mark(z0),z1,z2,z3)
            mark(U326(z0,z1,z2,z3)) -> a__U326(mark(z0),z1,z2,z3)
            mark(U327(z0,z1)) -> a__U327(mark(z0),z1)
            mark(U33(z0,z1,z2)) -> a__U33(mark(z0),z1,z2)
            mark(U331(z0,z1,z2)) -> a__U331(mark(z0),z1,z2)
            mark(U332(z0,z1)) -> a__U332(mark(z0),z1)
            mark(U333(z0,z1)) -> a__U333(mark(z0),z1)
            mark(U334(z0,z1)) -> a__U334(mark(z0),z1)
            mark(U34(z0,z1)) -> a__U34(mark(z0),z1)
            mark(U341(z0,z1,z2)) -> a__U341(mark(z0),z1,z2)
            mark(U342(z0,z1,z2)) -> a__U342(mark(z0),z1,z2)
            mark(U343(z0,z1,z2)) -> a__U343(mark(z0),z1,z2)
            mark(U344(z0,z1,z2)) -> a__U344(mark(z0),z1,z2)
            mark(U41(z0,z1,z2)) -> a__U41(mark(z0),z1,z2)
            mark(U42(z0,z1,z2)) -> a__U42(mark(z0),z1,z2)
            mark(U43(z0,z1,z2)) -> a__U43(mark(z0),z1,z2)
            mark(U44(z0,z1,z2)) -> a__U44(mark(z0),z1,z2)
            mark(U45(z0,z1)) -> a__U45(mark(z0),z1)
            mark(U46(z0)) -> a__U46(mark(z0))
            mark(U51(z0,z1,z2)) -> a__U51(mark(z0),z1,z2)
            mark(U52(z0,z1,z2)) -> a__U52(mark(z0),z1,z2)
            mark(U53(z0,z1,z2)) -> a__U53(mark(z0),z1,z2)
            mark(U54(z0,z1,z2)) -> a__U54(mark(z0),z1,z2)
            mark(U55(z0,z1)) -> a__U55(mark(z0),z1)
            mark(U56(z0)) -> a__U56(mark(z0))
            mark(U61(z0,z1)) -> a__U61(mark(z0),z1)
            mark(U62(z0,z1)) -> a__U62(mark(z0),z1)
            mark(U63(z0)) -> a__U63(mark(z0))
            mark(U71(z0,z1)) -> a__U71(mark(z0),z1)
            mark(U72(z0,z1)) -> a__U72(mark(z0),z1)
            mark(U73(z0)) -> a__U73(mark(z0))
            mark(U81(z0,z1)) -> a__U81(mark(z0),z1)
            mark(U82(z0,z1)) -> a__U82(mark(z0),z1)
            mark(U83(z0)) -> a__U83(mark(z0))
            mark(U91(z0,z1)) -> a__U91(mark(z0),z1)
            mark(U92(z0,z1)) -> a__U92(mark(z0),z1)
            mark(U93(z0)) -> a__U93(mark(z0))
            mark(afterNth(z0,z1)) -> a__afterNth(mark(z0),mark(z1))
            mark(cons(z0,z1)) -> cons(mark(z0),z1)
            mark(fst(z0)) -> a__fst(mark(z0))
            mark(head(z0)) -> a__head(mark(z0))
            mark(isLNat(z0)) -> a__isLNat(z0)
            mark(isLNatKind(z0)) -> a__isLNatKind(z0)
            mark(isNatural(z0)) -> a__isNatural(z0)
            mark(isNaturalKind(z0)) -> a__isNaturalKind(z0)
            mark(isPLNat(z0)) -> a__isPLNat(z0)
            mark(isPLNatKind(z0)) -> a__isPLNatKind(z0)
            mark(natsFrom(z0)) -> a__natsFrom(mark(z0))
            mark(nil()) -> nil()
            mark(pair(z0,z1)) -> pair(mark(z0),mark(z1))
            mark(s(z0)) -> s(mark(z0))
            mark(sel(z0,z1)) -> a__sel(mark(z0),mark(z1))
            mark(snd(z0)) -> a__snd(mark(z0))
            mark(splitAt(z0,z1)) -> a__splitAt(mark(z0),mark(z1))
            mark(tail(z0)) -> a__tail(mark(z0))
            mark(take(z0,z1)) -> a__take(mark(z0),mark(z1))
            mark(tt()) -> tt()
        - Signature:
            {A__AFTERNTH/2,A__FST/1,A__HEAD/1,A__ISLNAT/1,A__ISLNATKIND/1,A__ISNATURAL/1,A__ISNATURALKIND/1,A__ISPLNAT/1
            ,A__ISPLNATKIND/1,A__NATSFROM/1,A__SEL/2,A__SND/1,A__SPLITAT/2,A__TAIL/1,A__TAKE/2,A__U101/3,A__U102/3
            ,A__U103/3,A__U104/3,A__U105/2,A__U106/1,A__U11/3,A__U111/2,A__U112/1,A__U12/3,A__U121/2,A__U122/1,A__U13/3
            ,A__U131/1,A__U14/3,A__U141/1,A__U151/1,A__U161/1,A__U171/2,A__U172/1,A__U181/2,A__U182/2,A__U183/1
            ,A__U191/2,A__U192/2,A__U193/1,A__U201/3,A__U202/3,A__U203/3,A__U204/3,A__U205/2,A__U206/1,A__U21/3
            ,A__U211/1,A__U22/3,A__U221/1,A__U23/3,A__U231/2,A__U232/1,A__U24/2,A__U241/3,A__U242/3,A__U243/3,A__U244/3
            ,A__U245/2,A__U246/1,A__U251/3,A__U252/3,A__U253/3,A__U254/3,A__U255/2,A__U256/1,A__U261/2,A__U262/1
            ,A__U271/2,A__U272/1,A__U281/2,A__U282/2,A__U291/3,A__U292/3,A__U293/3,A__U294/3,A__U301/3,A__U302/2
            ,A__U303/2,A__U304/2,A__U31/3,A__U311/2,A__U312/2,A__U32/3,A__U321/4,A__U322/4,A__U323/4,A__U324/4,A__U325/4
            ,A__U326/4,A__U327/2,A__U33/3,A__U331/3,A__U332/2,A__U333/2,A__U334/2,A__U34/2,A__U341/3,A__U342/3,A__U343/3
            ,A__U344/3,A__U41/3,A__U42/3,A__U43/3,A__U44/3,A__U45/2,A__U46/1,A__U51/3,A__U52/3,A__U53/3,A__U54/3
            ,A__U55/2,A__U56/1,A__U61/2,A__U62/2,A__U63/1,A__U71/2,A__U72/2,A__U73/1,A__U81/2,A__U82/2,A__U83/1,A__U91/2
            ,A__U92/2,A__U93/1,MARK/1,a__U101/3,a__U102/3,a__U103/3,a__U104/3,a__U105/2,a__U106/1,a__U11/3,a__U111/2
            ,a__U112/1,a__U12/3,a__U121/2,a__U122/1,a__U13/3,a__U131/1,a__U14/3,a__U141/1,a__U151/1,a__U161/1,a__U171/2
            ,a__U172/1,a__U181/2,a__U182/2,a__U183/1,a__U191/2,a__U192/2,a__U193/1,a__U201/3,a__U202/3,a__U203/3
            ,a__U204/3,a__U205/2,a__U206/1,a__U21/3,a__U211/1,a__U22/3,a__U221/1,a__U23/3,a__U231/2,a__U232/1,a__U24/2
            ,a__U241/3,a__U242/3,a__U243/3,a__U244/3,a__U245/2,a__U246/1,a__U251/3,a__U252/3,a__U253/3,a__U254/3
            ,a__U255/2,a__U256/1,a__U261/2,a__U262/1,a__U271/2,a__U272/1,a__U281/2,a__U282/2,a__U291/3,a__U292/3
            ,a__U293/3,a__U294/3,a__U301/3,a__U302/2,a__U303/2,a__U304/2,a__U31/3,a__U311/2,a__U312/2,a__U32/3,a__U321/4
            ,a__U322/4,a__U323/4,a__U324/4,a__U325/4,a__U326/4,a__U327/2,a__U33/3,a__U331/3,a__U332/2,a__U333/2
            ,a__U334/2,a__U34/2,a__U341/3,a__U342/3,a__U343/3,a__U344/3,a__U41/3,a__U42/3,a__U43/3,a__U44/3,a__U45/2
            ,a__U46/1,a__U51/3,a__U52/3,a__U53/3,a__U54/3,a__U55/2,a__U56/1,a__U61/2,a__U62/2,a__U63/1,a__U71/2,a__U72/2
            ,a__U73/1,a__U81/2,a__U82/2,a__U83/1,a__U91/2,a__U92/2,a__U93/1,a__afterNth/2,a__fst/1,a__head/1,a__isLNat/1
            ,a__isLNatKind/1,a__isNatural/1,a__isNaturalKind/1,a__isPLNat/1,a__isPLNatKind/1,a__natsFrom/1,a__sel/2
            ,a__snd/1,a__splitAt/2,a__tail/1,a__take/2,mark/1} / {0/0,U101/3,U102/3,U103/3,U104/3,U105/2,U106/1,U11/3
            ,U111/2,U112/1,U12/3,U121/2,U122/1,U13/3,U131/1,U14/3,U141/1,U151/1,U161/1,U171/2,U172/1,U181/2,U182/2
            ,U183/1,U191/2,U192/2,U193/1,U201/3,U202/3,U203/3,U204/3,U205/2,U206/1,U21/3,U211/1,U22/3,U221/1,U23/3
            ,U231/2,U232/1,U24/2,U241/3,U242/3,U243/3,U244/3,U245/2,U246/1,U251/3,U252/3,U253/3,U254/3,U255/2,U256/1
            ,U261/2,U262/1,U271/2,U272/1,U281/2,U282/2,U291/3,U292/3,U293/3,U294/3,U301/3,U302/2,U303/2,U304/2,U31/3
            ,U311/2,U312/2,U32/3,U321/4,U322/4,U323/4,U324/4,U325/4,U326/4,U327/2,U33/3,U331/3,U332/2,U333/2,U334/2
            ,U34/2,U341/3,U342/3,U343/3,U344/3,U41/3,U42/3,U43/3,U44/3,U45/2,U46/1,U51/3,U52/3,U53/3,U54/3,U55/2,U56/1
            ,U61/2,U62/2,U63/1,U71/2,U72/2,U73/1,U81/2,U82/2,U83/1,U91/2,U92/2,U93/1,afterNth/2,c/2,c1/0,c10/0,c100/0
            ,c101/2,c102/0,c103/0,c104/0,c105/2,c106/0,c107/0,c108/0,c109/2,c11/0,c110/0,c111/0,c112/0,c113/2,c114/0
            ,c115/1,c116/0,c117/2,c118/0,c119/2,c12/2,c120/0,c121/2,c122/0,c123/3,c124/3,c125/0,c126/2,c127/0,c128/2
            ,c129/0,c13/0,c130/2,c131/0,c132/1,c133/0,c134/2,c135/0,c136/2,c137/0,c138/1,c139/0,c14/2,c140/2,c141/0
            ,c142/2,c143/0,c144/2,c145/0,c146/2,c147/0,c148/2,c149/0,c15/0,c150/2,c151/0,c152/3,c153/3,c154/0,c155/1
            ,c156/1,c157/0,c158/2,c159/0,c16/0,c160/2,c161/0,c162/2,c163/0,c164/2,c165/0,c166/1,c167/0,c168/1,c169/0
            ,c17/0,c170/2,c171/0,c172/2,c173/0,c174/2,c175/0,c176/3,c177/3,c178/0,c179/2,c18/2,c180/0,c181/2,c182/0
            ,c183/2,c184/0,c185/2,c186/0,c187/2,c188/0,c189/0,c19/0,c190/0,c191/2,c192/0,c193/2,c194/0,c195/2,c196/0
            ,c197/2,c198/0,c199/2,c2/2,c20/2,c200/0,c201/0,c202/0,c203/2,c204/0,c205/2,c206/0,c207/0,c208/0,c209/2,c21/0
            ,c210/0,c211/2,c212/0,c213/0,c214/0,c215/2,c216/0,c217/2,c218/0,c219/0,c22/0,c220/0,c221/2,c222/0,c223/2
            ,c224/0,c225/0,c226/0,c227/2,c228/0,c229/2,c23/0,c230/0,c231/2,c232/0,c233/0,c234/2,c235/2,c236/2,c237/2
            ,c238/2,c239/2,c24/2,c240/2,c241/0,c242/0,c243/2,c244/2,c245/2,c246/2,c247/2,c248/2,c249/2,c25/0,c250/0
            ,c251/0,c252/2,c253/2,c254/2,c255/0,c256/0,c257/2,c258/2,c259/2,c26/0,c260/0,c261/2,c262/2,c263/0,c264/2
            ,c265/2,c266/0,c267/2,c268/0,c269/2,c27/0,c270/0,c271/2,c272/0,c273/2,c274/2,c275/0,c276/2,c277/0,c278/2
            ,c279/0,c28/3,c280/2,c281/2,c282/1,c283/2,c284/1,c285/2,c286/2,c287/1,c288/2,c289/1,c29/3,c290/2,c291/2
            ,c292/2,c293/2,c294/2,c295/2,c296/2,c297/2,c298/2,c299/2,c3/0,c30/0,c300/2,c301/2,c302/2,c303/2,c304/2
            ,c305/2,c306/2,c307/2,c308/2,c309/2,c31/0,c310/2,c311/2,c312/2,c313/2,c314/2,c315/2,c316/2,c317/2,c318/2
            ,c319/2,c32/0,c320/2,c321/2,c322/2,c323/2,c324/2,c325/2,c326/2,c327/2,c328/2,c329/2,c33/0,c330/2,c331/2
            ,c332/2,c333/2,c334/2,c335/2,c336/2,c337/2,c338/2,c339/2,c34/0,c340/2,c341/2,c342/2,c343/2,c344/2,c345/2
            ,c346/2,c347/2,c348/2,c349/2,c35/0,c350/2,c351/2,c352/2,c353/2,c354/2,c355/2,c356/2,c357/2,c358/2,c359/2
            ,c36/0,c360/2,c361/2,c362/2,c363/2,c364/2,c365/2,c366/2,c367/2,c368/2,c369/2,c37/2,c370/2,c371/2,c372/2
            ,c373/2,c374/2,c375/2,c376/2,c377/2,c378/2,c379/2,c38/0,c380/2,c381/2,c382/2,c383/2,c384/2,c385/2,c386/2
            ,c387/2,c388/2,c389/2,c39/0,c390/2,c391/2,c392/2,c393/1,c394/2,c395/1,c396/2,c397/2,c398/2,c399/2,c4/2,c40/0
            ,c400/2,c401/2,c402/2,c403/2,c404/2,c405/2,c406/2,c407/2,c408/2,c409/2,c41/2,c410/0,c411/1,c412/1,c413/1
            ,c414/1,c415/0,c416/0,c42/0,c43/2,c44/0,c45/0,c46/0,c47/2,c48/0,c49/2,c5/0,c50/0,c51/0,c52/0,c53/2,c54/0
            ,c55/2,c56/0,c57/2,c58/0,c59/2,c6/2,c60/0,c61/2,c62/0,c63/0,c64/0,c65/2,c66/0,c67/0,c68/0,c69/2,c7/0,c70/0
            ,c71/0,c72/0,c73/2,c74/0,c75/2,c76/0,c77/0,c78/0,c79/1,c8/2,c80/0,c81/2,c82/0,c83/2,c84/0,c85/2,c86/0,c87/2
            ,c88/0,c89/2,c9/0,c90/0,c91/0,c92/0,c93/2,c94/0,c95/2,c96/0,c97/2,c98/0,c99/2,cons/2,fst/1,head/1,isLNat/1
            ,isLNatKind/1,isNatural/1,isNaturalKind/1,isPLNat/1,isPLNatKind/1,natsFrom/1,nil/0,pair/2,s/1,sel/2,snd/1
            ,splitAt/2,tail/1,take/2,tt/0}
        - Obligation:
            innermost runtime complexity wrt. defined symbols {A__AFTERNTH,A__FST,A__HEAD,A__ISLNAT,A__ISLNATKIND
            ,A__ISNATURAL,A__ISNATURALKIND,A__ISPLNAT,A__ISPLNATKIND,A__NATSFROM,A__SEL,A__SND,A__SPLITAT,A__TAIL
            ,A__TAKE,A__U101,A__U102,A__U103,A__U104,A__U105,A__U106,A__U11,A__U111,A__U112,A__U12,A__U121,A__U122
            ,A__U13,A__U131,A__U14,A__U141,A__U151,A__U161,A__U171,A__U172,A__U181,A__U182,A__U183,A__U191,A__U192
            ,A__U193,A__U201,A__U202,A__U203,A__U204,A__U205,A__U206,A__U21,A__U211,A__U22,A__U221,A__U23,A__U231
            ,A__U232,A__U24,A__U241,A__U242,A__U243,A__U244,A__U245,A__U246,A__U251,A__U252,A__U253,A__U254,A__U255
            ,A__U256,A__U261,A__U262,A__U271,A__U272,A__U281,A__U282,A__U291,A__U292,A__U293,A__U294,A__U301,A__U302
            ,A__U303,A__U304,A__U31,A__U311,A__U312,A__U32,A__U321,A__U322,A__U323,A__U324,A__U325,A__U326,A__U327
            ,A__U33,A__U331,A__U332,A__U333,A__U334,A__U34,A__U341,A__U342,A__U343,A__U344,A__U41,A__U42,A__U43,A__U44
            ,A__U45,A__U46,A__U51,A__U52,A__U53,A__U54,A__U55,A__U56,A__U61,A__U62,A__U63,A__U71,A__U72,A__U73,A__U81
            ,A__U82,A__U83,A__U91,A__U92,A__U93,MARK,a__U101,a__U102,a__U103,a__U104,a__U105,a__U106,a__U11,a__U111
            ,a__U112,a__U12,a__U121,a__U122,a__U13,a__U131,a__U14,a__U141,a__U151,a__U161,a__U171,a__U172,a__U181
            ,a__U182,a__U183,a__U191,a__U192,a__U193,a__U201,a__U202,a__U203,a__U204,a__U205,a__U206,a__U21,a__U211
            ,a__U22,a__U221,a__U23,a__U231,a__U232,a__U24,a__U241,a__U242,a__U243,a__U244,a__U245,a__U246,a__U251
            ,a__U252,a__U253,a__U254,a__U255,a__U256,a__U261,a__U262,a__U271,a__U272,a__U281,a__U282,a__U291,a__U292
            ,a__U293,a__U294,a__U301,a__U302,a__U303,a__U304,a__U31,a__U311,a__U312,a__U32,a__U321,a__U322,a__U323
            ,a__U324,a__U325,a__U326,a__U327,a__U33,a__U331,a__U332,a__U333,a__U334,a__U34,a__U341,a__U342,a__U343
            ,a__U344,a__U41,a__U42,a__U43,a__U44,a__U45,a__U46,a__U51,a__U52,a__U53,a__U54,a__U55,a__U56,a__U61,a__U62
            ,a__U63,a__U71,a__U72,a__U73,a__U81,a__U82,a__U83,a__U91,a__U92,a__U93,a__afterNth,a__fst,a__head,a__isLNat
            ,a__isLNatKind,a__isNatural,a__isNaturalKind,a__isPLNat,a__isPLNatKind,a__natsFrom,a__sel,a__snd,a__splitAt
            ,a__tail,a__take,mark} and constructors {0,U101,U102,U103,U104,U105,U106,U11,U111,U112,U12,U121,U122,U13
            ,U131,U14,U141,U151,U161,U171,U172,U181,U182,U183,U191,U192,U193,U201,U202,U203,U204,U205,U206,U21,U211,U22
            ,U221,U23,U231,U232,U24,U241,U242,U243,U244,U245,U246,U251,U252,U253,U254,U255,U256,U261,U262,U271,U272,U281
            ,U282,U291,U292,U293,U294,U301,U302,U303,U304,U31,U311,U312,U32,U321,U322,U323,U324,U325,U326,U327,U33,U331
            ,U332,U333,U334,U34,U341,U342,U343,U344,U41,U42,U43,U44,U45,U46,U51,U52,U53,U54,U55,U56,U61,U62,U63,U71,U72
            ,U73,U81,U82,U83,U91,U92,U93,afterNth,c,c1,c10,c100,c101,c102,c103,c104,c105,c106,c107,c108,c109,c11,c110
            ,c111,c112,c113,c114,c115,c116,c117,c118,c119,c12,c120,c121,c122,c123,c124,c125,c126,c127,c128,c129,c13,c130
            ,c131,c132,c133,c134,c135,c136,c137,c138,c139,c14,c140,c141,c142,c143,c144,c145,c146,c147,c148,c149,c15,c150
            ,c151,c152,c153,c154,c155,c156,c157,c158,c159,c16,c160,c161,c162,c163,c164,c165,c166,c167,c168,c169,c17,c170
            ,c171,c172,c173,c174,c175,c176,c177,c178,c179,c18,c180,c181,c182,c183,c184,c185,c186,c187,c188,c189,c19,c190
            ,c191,c192,c193,c194,c195,c196,c197,c198,c199,c2,c20,c200,c201,c202,c203,c204,c205,c206,c207,c208,c209,c21
            ,c210,c211,c212,c213,c214,c215,c216,c217,c218,c219,c22,c220,c221,c222,c223,c224,c225,c226,c227,c228,c229,c23
            ,c230,c231,c232,c233,c234,c235,c236,c237,c238,c239,c24,c240,c241,c242,c243,c244,c245,c246,c247,c248,c249,c25
            ,c250,c251,c252,c253,c254,c255,c256,c257,c258,c259,c26,c260,c261,c262,c263,c264,c265,c266,c267,c268,c269,c27
            ,c270,c271,c272,c273,c274,c275,c276,c277,c278,c279,c28,c280,c281,c282,c283,c284,c285,c286,c287,c288,c289,c29
            ,c290,c291,c292,c293,c294,c295,c296,c297,c298,c299,c3,c30,c300,c301,c302,c303,c304,c305,c306,c307,c308,c309
            ,c31,c310,c311,c312,c313,c314,c315,c316,c317,c318,c319,c32,c320,c321,c322,c323,c324,c325,c326,c327,c328,c329
            ,c33,c330,c331,c332,c333,c334,c335,c336,c337,c338,c339,c34,c340,c341,c342,c343,c344,c345,c346,c347,c348,c349
            ,c35,c350,c351,c352,c353,c354,c355,c356,c357,c358,c359,c36,c360,c361,c362,c363,c364,c365,c366,c367,c368,c369
            ,c37,c370,c371,c372,c373,c374,c375,c376,c377,c378,c379,c38,c380,c381,c382,c383,c384,c385,c386,c387,c388,c389
            ,c39,c390,c391,c392,c393,c394,c395,c396,c397,c398,c399,c4,c40,c400,c401,c402,c403,c404,c405,c406,c407,c408
            ,c409,c41,c410,c411,c412,c413,c414,c415,c416,c42,c43,c44,c45,c46,c47,c48,c49,c5,c50,c51,c52,c53,c54,c55,c56
            ,c57,c58,c59,c6,c60,c61,c62,c63,c64,c65,c66,c67,c68,c69,c7,c70,c71,c72,c73,c74,c75,c76,c77,c78,c79,c8,c80
            ,c81,c82,c83,c84,c85,c86,c87,c88,c89,c9,c90,c91,c92,c93,c94,c95,c96,c97,c98,c99,cons,fst,head,isLNat
            ,isLNatKind,isNatural,isNaturalKind,isPLNat,isPLNatKind,natsFrom,nil,pair,s,sel,snd,splitAt,tail,take,tt}
    + Applied Processor:
        Sum {left = someStrategy, right = someStrategy}
    + Details:
        ()
* Step 3: DecreasingLoops.  WORST_CASE(Omega(n^1),?)
    + Considered Problem:
        - Strict TRS:
            A__AFTERNTH(z0,z1) -> c227(A__U11(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__AFTERNTH(z0,z1) -> c228()
            A__FST(z0) -> c230()
            A__FST(pair(z0,z1)) -> c229(A__U21(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__HEAD(z0) -> c232()
            A__HEAD(cons(z0,z1)) -> c231(A__U31(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__ISLNAT(z0) -> c241()
            A__ISLNAT(afterNth(z0,z1)) -> c234(A__U41(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(cons(z0,z1)) -> c235(A__U51(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNAT(fst(z0)) -> c236(A__U61(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(natsFrom(z0)) -> c237(A__U71(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISLNAT(nil()) -> c233()
            A__ISLNAT(snd(z0)) -> c238(A__U81(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__ISLNAT(tail(z0)) -> c239(A__U91(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISLNAT(take(z0,z1)) -> c240(A__U101(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(z0) -> c250()
            A__ISLNATKIND(afterNth(z0,z1)) -> c243(A__U111(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(cons(z0,z1)) -> c244(A__U121(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISLNATKIND(fst(z0)) -> c245(A__U131(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(natsFrom(z0)) -> c246(A__U141(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISLNATKIND(nil()) -> c242()
            A__ISLNATKIND(snd(z0)) -> c247(A__U151(a__isPLNatKind(z0)),A__ISPLNATKIND(z0))
            A__ISLNATKIND(tail(z0)) -> c248(A__U161(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISLNATKIND(take(z0,z1)) -> c249(A__U171(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISNATURAL(z0) -> c255()
            A__ISNATURAL(0()) -> c251()
            A__ISNATURAL(head(z0)) -> c252(A__U181(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__ISNATURAL(s(z0)) -> c253(A__U191(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__ISNATURAL(sel(z0,z1)) -> c254(A__U201(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(z0) -> c260()
            A__ISNATURALKIND(0()) -> c256()
            A__ISNATURALKIND(head(z0)) -> c257(A__U211(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__ISNATURALKIND(s(z0)) -> c258(A__U221(a__isNaturalKind(z0)),A__ISNATURALKIND(z0))
            A__ISNATURALKIND(sel(z0,z1)) -> c259(A__U231(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__ISPLNAT(z0) -> c263()
            A__ISPLNAT(pair(z0,z1)) -> c261(A__U241(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__ISPLNAT(splitAt(z0,z1)) -> c262(A__U251(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__ISPLNATKIND(z0) -> c266()
            A__ISPLNATKIND(pair(z0,z1)) -> c264(A__U261(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__ISPLNATKIND(splitAt(z0,z1)) -> c265(A__U271(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__NATSFROM(z0) -> c267(A__U281(a__isNatural(z0),z0),A__ISNATURAL(z0))
            A__NATSFROM(z0) -> c268()
            A__SEL(z0,z1) -> c269(A__U291(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__SEL(z0,z1) -> c270()
            A__SND(z0) -> c272()
            A__SND(pair(z0,z1)) -> c271(A__U301(a__isLNat(z0),z0,z1),A__ISLNAT(z0))
            A__SPLITAT(z0,z1) -> c275()
            A__SPLITAT(0(),z0) -> c273(A__U311(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__SPLITAT(s(z0),cons(z1,z2)) -> c274(A__U321(a__isNatural(z0),z0,z1,z2),A__ISNATURAL(z0))
            A__TAIL(z0) -> c277()
            A__TAIL(cons(z0,z1)) -> c276(A__U331(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c278(A__U341(a__isNatural(z0),z0,z1),A__ISNATURAL(z0))
            A__TAKE(z0,z1) -> c279()
            A__U101(z0,z1,z2) -> c1()
            A__U101(tt(),z0,z1) -> c(A__U102(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U102(z0,z1,z2) -> c3()
            A__U102(tt(),z0,z1) -> c2(A__U103(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U103(z0,z1,z2) -> c5()
            A__U103(tt(),z0,z1) -> c4(A__U104(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U104(z0,z1,z2) -> c7()
            A__U104(tt(),z0,z1) -> c6(A__U105(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U105(z0,z1) -> c9()
            A__U105(tt(),z0) -> c8(A__U106(a__isLNat(z0)),A__ISLNAT(z0))
            A__U106(z0) -> c11()
            A__U106(tt()) -> c10()
            A__U11(z0,z1,z2) -> c13()
            A__U11(tt(),z0,z1) -> c12(A__U12(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U111(z0,z1) -> c15()
            A__U111(tt(),z0) -> c14(A__U112(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U112(z0) -> c17()
            A__U112(tt()) -> c16()
            A__U12(z0,z1,z2) -> c19()
            A__U12(tt(),z0,z1) -> c18(A__U13(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U121(z0,z1) -> c21()
            A__U121(tt(),z0) -> c20(A__U122(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U122(z0) -> c23()
            A__U122(tt()) -> c22()
            A__U13(z0,z1,z2) -> c25()
            A__U13(tt(),z0,z1) -> c24(A__U14(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U131(z0) -> c27()
            A__U131(tt()) -> c26()
            A__U14(z0,z1,z2) -> c30()
            A__U14(tt(),z0,z1) -> c28(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U14(tt(),z0,z1) -> c29(A__SND(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U141(z0) -> c32()
            A__U141(tt()) -> c31()
            A__U151(z0) -> c34()
            A__U151(tt()) -> c33()
            A__U161(z0) -> c36()
            A__U161(tt()) -> c35()
            A__U171(z0,z1) -> c38()
            A__U171(tt(),z0) -> c37(A__U172(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U172(z0) -> c40()
            A__U172(tt()) -> c39()
            A__U181(z0,z1) -> c42()
            A__U181(tt(),z0) -> c41(A__U182(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U182(z0,z1) -> c44()
            A__U182(tt(),z0) -> c43(A__U183(a__isLNat(z0)),A__ISLNAT(z0))
            A__U183(z0) -> c46()
            A__U183(tt()) -> c45()
            A__U191(z0,z1) -> c48()
            A__U191(tt(),z0) -> c47(A__U192(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U192(z0,z1) -> c50()
            A__U192(tt(),z0) -> c49(A__U193(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U193(z0) -> c52()
            A__U193(tt()) -> c51()
            A__U201(z0,z1,z2) -> c54()
            A__U201(tt(),z0,z1) -> c53(A__U202(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U202(z0,z1,z2) -> c56()
            A__U202(tt(),z0,z1) -> c55(A__U203(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U203(z0,z1,z2) -> c58()
            A__U203(tt(),z0,z1) -> c57(A__U204(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U204(z0,z1,z2) -> c60()
            A__U204(tt(),z0,z1) -> c59(A__U205(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U205(z0,z1) -> c62()
            A__U205(tt(),z0) -> c61(A__U206(a__isLNat(z0)),A__ISLNAT(z0))
            A__U206(z0) -> c64()
            A__U206(tt()) -> c63()
            A__U21(z0,z1,z2) -> c66()
            A__U21(tt(),z0,z1) -> c65(A__U22(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U211(z0) -> c68()
            A__U211(tt()) -> c67()
            A__U22(z0,z1,z2) -> c70()
            A__U22(tt(),z0,z1) -> c69(A__U23(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U221(z0) -> c72()
            A__U221(tt()) -> c71()
            A__U23(z0,z1,z2) -> c74()
            A__U23(tt(),z0,z1) -> c73(A__U24(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U231(z0,z1) -> c76()
            A__U231(tt(),z0) -> c75(A__U232(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U232(z0) -> c78()
            A__U232(tt()) -> c77()
            A__U24(z0,z1) -> c80()
            A__U24(tt(),z0) -> c79(MARK(z0))
            A__U241(z0,z1,z2) -> c82()
            A__U241(tt(),z0,z1) -> c81(A__U242(a__isLNatKind(z0),z0,z1),A__ISLNATKIND(z0))
            A__U242(z0,z1,z2) -> c84()
            A__U242(tt(),z0,z1) -> c83(A__U243(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U243(z0,z1,z2) -> c86()
            A__U243(tt(),z0,z1) -> c85(A__U244(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U244(z0,z1,z2) -> c88()
            A__U244(tt(),z0,z1) -> c87(A__U245(a__isLNat(z0),z1),A__ISLNAT(z0))
            A__U245(z0,z1) -> c90()
            A__U245(tt(),z0) -> c89(A__U246(a__isLNat(z0)),A__ISLNAT(z0))
            A__U246(z0) -> c92()
            A__U246(tt()) -> c91()
            A__U251(z0,z1,z2) -> c94()
            A__U251(tt(),z0,z1) -> c93(A__U252(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U252(z0,z1,z2) -> c96()
            A__U252(tt(),z0,z1) -> c95(A__U253(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U253(z0,z1,z2) -> c98()
            A__U253(tt(),z0,z1) -> c97(A__U254(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U254(z0,z1,z2) -> c100()
            A__U254(tt(),z0,z1) -> c99(A__U255(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U255(z0,z1) -> c102()
            A__U255(tt(),z0) -> c101(A__U256(a__isLNat(z0)),A__ISLNAT(z0))
            A__U256(z0) -> c104()
            A__U256(tt()) -> c103()
            A__U261(z0,z1) -> c106()
            A__U261(tt(),z0) -> c105(A__U262(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U262(z0) -> c108()
            A__U262(tt()) -> c107()
            A__U271(z0,z1) -> c110()
            A__U271(tt(),z0) -> c109(A__U272(a__isLNatKind(z0)),A__ISLNATKIND(z0))
            A__U272(z0) -> c112()
            A__U272(tt()) -> c111()
            A__U281(z0,z1) -> c114()
            A__U281(tt(),z0) -> c113(A__U282(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U282(z0,z1) -> c116()
            A__U282(tt(),z0) -> c115(MARK(z0))
            A__U291(z0,z1,z2) -> c118()
            A__U291(tt(),z0,z1) -> c117(A__U292(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U292(z0,z1,z2) -> c120()
            A__U292(tt(),z0,z1) -> c119(A__U293(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U293(z0,z1,z2) -> c122()
            A__U293(tt(),z0,z1) -> c121(A__U294(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U294(z0,z1,z2) -> c125()
            A__U294(tt(),z0,z1) -> c123(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            A__U294(tt(),z0,z1) -> c124(A__HEAD(a__afterNth(mark(z0),mark(z1))),A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            A__U301(z0,z1,z2) -> c127()
            A__U301(tt(),z0,z1) -> c126(A__U302(a__isLNatKind(z0),z1),A__ISLNATKIND(z0))
            A__U302(z0,z1) -> c129()
            A__U302(tt(),z0) -> c128(A__U303(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U303(z0,z1) -> c131()
            A__U303(tt(),z0) -> c130(A__U304(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U304(z0,z1) -> c133()
            A__U304(tt(),z0) -> c132(MARK(z0))
            A__U31(z0,z1,z2) -> c135()
            A__U31(tt(),z0,z1) -> c134(A__U32(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U311(z0,z1) -> c137()
            A__U311(tt(),z0) -> c136(A__U312(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U312(z0,z1) -> c139()
            A__U312(tt(),z0) -> c138(MARK(z0))
            A__U32(z0,z1,z2) -> c141()
            A__U32(tt(),z0,z1) -> c140(A__U33(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U321(z0,z1,z2,z3) -> c143()
            A__U321(tt(),z0,z1,z2) -> c142(A__U322(a__isNaturalKind(z0),z0,z1,z2),A__ISNATURALKIND(z0))
            A__U322(z0,z1,z2,z3) -> c145()
            A__U322(tt(),z0,z1,z2) -> c144(A__U323(a__isNatural(z1),z0,z1,z2),A__ISNATURAL(z1))
            A__U323(z0,z1,z2,z3) -> c147()
            A__U323(tt(),z0,z1,z2) -> c146(A__U324(a__isNaturalKind(z1),z0,z1,z2),A__ISNATURALKIND(z1))
            A__U324(z0,z1,z2,z3) -> c149()
            A__U324(tt(),z0,z1,z2) -> c148(A__U325(a__isLNat(z2),z0,z1,z2),A__ISLNAT(z2))
            A__U325(z0,z1,z2,z3) -> c151()
            A__U325(tt(),z0,z1,z2) -> c150(A__U326(a__isLNatKind(z2),z0,z1,z2),A__ISLNATKIND(z2))
            A__U326(z0,z1,z2,z3) -> c154()
            A__U326(tt(),z0,z1,z2) -> c152(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z0))
            A__U326(tt(),z0,z1,z2) -> c153(A__U327(a__splitAt(mark(z0),mark(z2)),z1)
                                          ,A__SPLITAT(mark(z0),mark(z2))
                                          ,MARK(z2))
            A__U327(z0,z1) -> c157()
            A__U327(pair(z0,z1),z2) -> c155(MARK(z2))
            A__U327(pair(z0,z1),z2) -> c156(MARK(z1))
            A__U33(z0,z1,z2) -> c159()
            A__U33(tt(),z0,z1) -> c158(A__U34(a__isLNatKind(z1),z0),A__ISLNATKIND(z1))
            A__U331(z0,z1,z2) -> c161()
            A__U331(tt(),z0,z1) -> c160(A__U332(a__isNaturalKind(z0),z1),A__ISNATURALKIND(z0))
            A__U332(z0,z1) -> c163()
            A__U332(tt(),z0) -> c162(A__U333(a__isLNat(z0),z0),A__ISLNAT(z0))
            A__U333(z0,z1) -> c165()
            A__U333(tt(),z0) -> c164(A__U334(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U334(z0,z1) -> c167()
            A__U334(tt(),z0) -> c166(MARK(z0))
            A__U34(z0,z1) -> c169()
            A__U34(tt(),z0) -> c168(MARK(z0))
            A__U341(z0,z1,z2) -> c171()
            A__U341(tt(),z0,z1) -> c170(A__U342(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U342(z0,z1,z2) -> c173()
            A__U342(tt(),z0,z1) -> c172(A__U343(a__isLNat(z1),z0,z1),A__ISLNAT(z1))
            A__U343(z0,z1,z2) -> c175()
            A__U343(tt(),z0,z1) -> c174(A__U344(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U344(z0,z1,z2) -> c178()
            A__U344(tt(),z0,z1) -> c176(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            A__U344(tt(),z0,z1) -> c177(A__FST(a__splitAt(mark(z0),mark(z1))),A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            A__U41(z0,z1,z2) -> c180()
            A__U41(tt(),z0,z1) -> c179(A__U42(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U42(z0,z1,z2) -> c182()
            A__U42(tt(),z0,z1) -> c181(A__U43(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U43(z0,z1,z2) -> c184()
            A__U43(tt(),z0,z1) -> c183(A__U44(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U44(z0,z1,z2) -> c186()
            A__U44(tt(),z0,z1) -> c185(A__U45(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U45(z0,z1) -> c188()
            A__U45(tt(),z0) -> c187(A__U46(a__isLNat(z0)),A__ISLNAT(z0))
            A__U46(z0) -> c190()
            A__U46(tt()) -> c189()
            A__U51(z0,z1,z2) -> c192()
            A__U51(tt(),z0,z1) -> c191(A__U52(a__isNaturalKind(z0),z0,z1),A__ISNATURALKIND(z0))
            A__U52(z0,z1,z2) -> c194()
            A__U52(tt(),z0,z1) -> c193(A__U53(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U53(z0,z1,z2) -> c196()
            A__U53(tt(),z0,z1) -> c195(A__U54(a__isLNatKind(z1),z0,z1),A__ISLNATKIND(z1))
            A__U54(z0,z1,z2) -> c198()
            A__U54(tt(),z0,z1) -> c197(A__U55(a__isNatural(z0),z1),A__ISNATURAL(z0))
            A__U55(z0,z1) -> c200()
            A__U55(tt(),z0) -> c199(A__U56(a__isLNat(z0)),A__ISLNAT(z0))
            A__U56(z0) -> c202()
            A__U56(tt()) -> c201()
            A__U61(z0,z1) -> c204()
            A__U61(tt(),z0) -> c203(A__U62(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U62(z0,z1) -> c206()
            A__U62(tt(),z0) -> c205(A__U63(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U63(z0) -> c208()
            A__U63(tt()) -> c207()
            A__U71(z0,z1) -> c210()
            A__U71(tt(),z0) -> c209(A__U72(a__isNaturalKind(z0),z0),A__ISNATURALKIND(z0))
            A__U72(z0,z1) -> c212()
            A__U72(tt(),z0) -> c211(A__U73(a__isNatural(z0)),A__ISNATURAL(z0))
            A__U73(z0) -> c214()
            A__U73(tt()) -> c213()
            A__U81(z0,z1) -> c216()
            A__U81(tt(),z0) -> c215(A__U82(a__isPLNatKind(z0),z0),A__ISPLNATKIND(z0))
            A__U82(z0,z1) -> c218()
            A__U82(tt(),z0) -> c217(A__U83(a__isPLNat(z0)),A__ISPLNAT(z0))
            A__U83(z0) -> c220()
            A__U83(tt()) -> c219()
            A__U91(z0,z1) -> c222()
            A__U91(tt(),z0) -> c221(A__U92(a__isLNatKind(z0),z0),A__ISLNATKIND(z0))
            A__U92(z0,z1) -> c224()
            A__U92(tt(),z0) -> c223(A__U93(a__isLNat(z0)),A__ISLNAT(z0))
            A__U93(z0) -> c226()
            A__U93(tt()) -> c225()
            MARK(0()) -> c416()
            MARK(U101(z0,z1,z2)) -> c280(A__U101(mark(z0),z1,z2),MARK(z0))
            MARK(U102(z0,z1,z2)) -> c281(A__U102(mark(z0),z1,z2),MARK(z0))
            MARK(U103(z0,z1,z2)) -> c283(A__U103(mark(z0),z1,z2),MARK(z0))
            MARK(U104(z0,z1,z2)) -> c285(A__U104(mark(z0),z1,z2),MARK(z0))
            MARK(U105(z0,z1)) -> c286(A__U105(mark(z0),z1),MARK(z0))
            MARK(U106(z0)) -> c288(A__U106(mark(z0)),MARK(z0))
            MARK(U11(z0,z1,z2)) -> c290(A__U11(mark(z0),z1,z2),MARK(z0))
            MARK(U111(z0,z1)) -> c292(A__U111(mark(z0),z1),MARK(z0))
            MARK(U112(z0)) -> c293(A__U112(mark(z0)),MARK(z0))
            MARK(U12(z0,z1,z2)) -> c291(A__U12(mark(z0),z1,z2),MARK(z0))
            MARK(U121(z0,z1)) -> c295(A__U121(mark(z0),z1),MARK(z0))
            MARK(U122(z0)) -> c296(A__U122(mark(z0)),MARK(z0))
            MARK(U13(z0,z1,z2)) -> c294(A__U13(mark(z0),z1,z2),MARK(z0))
            MARK(U131(z0)) -> c298(A__U131(mark(z0)),MARK(z0))
            MARK(U14(z0,z1,z2)) -> c297(A__U14(mark(z0),z1,z2),MARK(z0))
            MARK(U141(z0)) -> c302(A__U141(mark(z0)),MARK(z0))
            MARK(U151(z0)) -> c303(A__U151(mark(z0)),MARK(z0))
            MARK(U161(z0)) -> c304(A__U161(mark(z0)),MARK(z0))
            MARK(U171(z0,z1)) -> c305(A__U171(mark(z0),z1),MARK(z0))
            MARK(U172(z0)) -> c306(A__U172(mark(z0)),MARK(z0))
            MARK(U181(z0,z1)) -> c307(A__U181(mark(z0),z1),MARK(z0))
            MARK(U182(z0,z1)) -> c308(A__U182(mark(z0),z1),MARK(z0))
            MARK(U183(z0)) -> c309(A__U183(mark(z0)),MARK(z0))
            MARK(U191(z0,z1)) -> c310(A__U191(mark(z0),z1),MARK(z0))
            MARK(U192(z0,z1)) -> c311(A__U192(mark(z0),z1),MARK(z0))
            MARK(U193(z0)) -> c312(A__U193(mark(z0)),MARK(z0))
            MARK(U201(z0,z1,z2)) -> c313(A__U201(mark(z0),z1,z2),MARK(z0))
            MARK(U202(z0,z1,z2)) -> c314(A__U202(mark(z0),z1,z2),MARK(z0))
            MARK(U203(z0,z1,z2)) -> c315(A__U203(mark(z0),z1,z2),MARK(z0))
            MARK(U204(z0,z1,z2)) -> c316(A__U204(mark(z0),z1,z2),MARK(z0))
            MARK(U205(z0,z1)) -> c317(A__U205(mark(z0),z1),MARK(z0))
            MARK(U206(z0)) -> c318(A__U206(mark(z0)),MARK(z0))
            MARK(U21(z0,z1,z2)) -> c319(A__U21(mark(z0),z1,z2),MARK(z0))
            MARK(U211(z0)) -> c321(A__U211(mark(z0)),MARK(z0))
            MARK(U22(z0,z1,z2)) -> c320(A__U22(mark(z0),z1,z2),MARK(z0))
            MARK(U221(z0)) -> c323(A__U221(mark(z0)),MARK(z0))
            MARK(U23(z0,z1,z2)) -> c322(A__U23(mark(z0),z1,z2),MARK(z0))
            MARK(U231(z0,z1)) -> c325(A__U231(mark(z0),z1),MARK(z0))
            MARK(U232(z0)) -> c326(A__U232(mark(z0)),MARK(z0))
            MARK(U24(z0,z1)) -> c324(A__U24(mark(z0),z1),MARK(z0))
            MARK(U241(z0,z1,z2)) -> c327(A__U241(mark(z0),z1,z2),MARK(z0))
            MARK(U242(z0,z1,z2)) -> c328(A__U242(mark(z0),z1,z2),MARK(z0))
            MARK(U243(z0,z1,z2)) -> c329(A__U243(mark(z0),z1,z2),MARK(z0))
            MARK(U244(z0,z1,z2)) -> c330(A__U244(mark(z0),z1,z2),MARK(z0))
            MARK(U245(z0,z1)) -> c331(A__U245(mark(z0),z1),MARK(z0))
            MARK(U246(z0)) -> c332(A__U246(mark(z0)),MARK(z0))
            MARK(U251(z0,z1,z2)) -> c333(A__U251(mark(z0),z1,z2),MARK(z0))
            MARK(U252(z0,z1,z2)) -> c334(A__U252(mark(z0),z1,z2),MARK(z0))
            MARK(U253(z0,z1,z2)) -> c335(A__U253(mark(z0),z1,z2),MARK(z0))
            MARK(U254(z0,z1,z2)) -> c336(A__U254(mark(z0),z1,z2),MARK(z0))
            MARK(U255(z0,z1)) -> c337(A__U255(mark(z0),z1),MARK(z0))
            MARK(U256(z0)) -> c338(A__U256(mark(z0)),MARK(z0))
            MARK(U261(z0,z1)) -> c339(A__U261(mark(z0),z1),MARK(z0))
            MARK(U262(z0)) -> c340(A__U262(mark(z0)),MARK(z0))
            MARK(U271(z0,z1)) -> c341(A__U271(mark(z0),z1),MARK(z0))
            MARK(U272(z0)) -> c342(A__U272(mark(z0)),MARK(z0))
            MARK(U281(z0,z1)) -> c343(A__U281(mark(z0),z1),MARK(z0))
            MARK(U282(z0,z1)) -> c344(A__U282(mark(z0),z1),MARK(z0))
            MARK(U291(z0,z1,z2)) -> c346(A__U291(mark(z0),z1,z2),MARK(z0))
            MARK(U292(z0,z1,z2)) -> c347(A__U292(mark(z0),z1,z2),MARK(z0))
            MARK(U293(z0,z1,z2)) -> c348(A__U293(mark(z0),z1,z2),MARK(z0))
            MARK(U294(z0,z1,z2)) -> c349(A__U294(mark(z0),z1,z2),MARK(z0))
            MARK(U301(z0,z1,z2)) -> c353(A__U301(mark(z0),z1,z2),MARK(z0))
            MARK(U302(z0,z1)) -> c354(A__U302(mark(z0),z1),MARK(z0))
            MARK(U303(z0,z1)) -> c355(A__U303(mark(z0),z1),MARK(z0))
            MARK(U304(z0,z1)) -> c356(A__U304(mark(z0),z1),MARK(z0))
            MARK(U31(z0,z1,z2)) -> c357(A__U31(mark(z0),z1,z2),MARK(z0))
            MARK(U311(z0,z1)) -> c359(A__U311(mark(z0),z1),MARK(z0))
            MARK(U312(z0,z1)) -> c360(A__U312(mark(z0),z1),MARK(z0))
            MARK(U32(z0,z1,z2)) -> c358(A__U32(mark(z0),z1,z2),MARK(z0))
            MARK(U321(z0,z1,z2,z3)) -> c362(A__U321(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U322(z0,z1,z2,z3)) -> c363(A__U322(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U323(z0,z1,z2,z3)) -> c364(A__U323(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U324(z0,z1,z2,z3)) -> c365(A__U324(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U325(z0,z1,z2,z3)) -> c366(A__U325(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U326(z0,z1,z2,z3)) -> c367(A__U326(mark(z0),z1,z2,z3),MARK(z0))
            MARK(U327(z0,z1)) -> c368(A__U327(mark(z0),z1),MARK(z0))
            MARK(U33(z0,z1,z2)) -> c361(A__U33(mark(z0),z1,z2),MARK(z0))
            MARK(U331(z0,z1,z2)) -> c370(A__U331(mark(z0),z1,z2),MARK(z0))
            MARK(U332(z0,z1)) -> c371(A__U332(mark(z0),z1),MARK(z0))
            MARK(U333(z0,z1)) -> c372(A__U333(mark(z0),z1),MARK(z0))
            MARK(U334(z0,z1)) -> c373(A__U334(mark(z0),z1),MARK(z0))
            MARK(U34(z0,z1)) -> c369(A__U34(mark(z0),z1),MARK(z0))
            MARK(U341(z0,z1,z2)) -> c374(A__U341(mark(z0),z1,z2),MARK(z0))
            MARK(U342(z0,z1,z2)) -> c375(A__U342(mark(z0),z1,z2),MARK(z0))
            MARK(U343(z0,z1,z2)) -> c376(A__U343(mark(z0),z1,z2),MARK(z0))
            MARK(U344(z0,z1,z2)) -> c377(A__U344(mark(z0),z1,z2),MARK(z0))
            MARK(U41(z0,z1,z2)) -> c379(A__U41(mark(z0),z1,z2),MARK(z0))
            MARK(U42(z0,z1,z2)) -> c380(A__U42(mark(z0),z1,z2),MARK(z0))
            MARK(U43(z0,z1,z2)) -> c381(A__U43(mark(z0),z1,z2),MARK(z0))
            MARK(U44(z0,z1,z2)) -> c382(A__U44(mark(z0),z1,z2),MARK(z0))
            MARK(U45(z0,z1)) -> c383(A__U45(mark(z0),z1),MARK(z0))
            MARK(U46(z0)) -> c384(A__U46(mark(z0)),MARK(z0))
            MARK(U51(z0,z1,z2)) -> c385(A__U51(mark(z0),z1,z2),MARK(z0))
            MARK(U52(z0,z1,z2)) -> c386(A__U52(mark(z0),z1,z2),MARK(z0))
            MARK(U53(z0,z1,z2)) -> c387(A__U53(mark(z0),z1,z2),MARK(z0))
            MARK(U54(z0,z1,z2)) -> c388(A__U54(mark(z0),z1,z2),MARK(z0))
            MARK(U55(z0,z1)) -> c389(A__U55(mark(z0),z1),MARK(z0))
            MARK(U56(z0)) -> c390(A__U56(mark(z0)),MARK(z0))
            MARK(U61(z0,z1)) -> c391(A__U61(mark(z0),z1),MARK(z0))
            MARK(U62(z0,z1)) -> c392(A__U62(mark(z0),z1),MARK(z0))
            MARK(U63(z0)) -> c394(A__U63(mark(z0)),MARK(z0))
            MARK(U71(z0,z1)) -> c396(A__U71(mark(z0),z1),MARK(z0))
            MARK(U72(z0,z1)) -> c397(A__U72(mark(z0),z1),MARK(z0))
            MARK(U73(z0)) -> c398(A__U73(mark(z0)),MARK(z0))
            MARK(U81(z0,z1)) -> c399(A__U81(mark(z0),z1),MARK(z0))
            MARK(U82(z0,z1)) -> c400(A__U82(mark(z0),z1),MARK(z0))
            MARK(U83(z0)) -> c401(A__U83(mark(z0)),MARK(z0))
            MARK(U91(z0,z1)) -> c402(A__U91(mark(z0),z1),MARK(z0))
            MARK(U92(z0,z1)) -> c403(A__U92(mark(z0),z1),MARK(z0))
            MARK(U93(z0)) -> c404(A__U93(mark(z0)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c351(A__AFTERNTH(mark(z0),mark(z1)),MARK(z0))
            MARK(afterNth(z0,z1)) -> c352(A__AFTERNTH(mark(z0),mark(z1)),MARK(z1))
            MARK(cons(z0,z1)) -> c411(MARK(z0))
            MARK(fst(z0)) -> c378(A__FST(mark(z0)),MARK(z0))
            MARK(head(z0)) -> c350(A__HEAD(mark(z0)),MARK(z0))
            MARK(isLNat(z0)) -> c289(A__ISLNAT(z0))
            MARK(isLNatKind(z0)) -> c284(A__ISLNATKIND(z0))
            MARK(isNatural(z0)) -> c287(A__ISNATURAL(z0))
            MARK(isNaturalKind(z0)) -> c282(A__ISNATURALKIND(z0))
            MARK(isPLNat(z0)) -> c395(A__ISPLNAT(z0))
            MARK(isPLNatKind(z0)) -> c393(A__ISPLNATKIND(z0))
            MARK(natsFrom(z0)) -> c345(A__NATSFROM(mark(z0)),MARK(z0))
            MARK(nil()) -> c415()
            MARK(pair(z0,z1)) -> c413(MARK(z0))
            MARK(pair(z0,z1)) -> c414(MARK(z1))
            MARK(s(z0)) -> c412(MARK(z0))
            MARK(sel(z0,z1)) -> c408(A__SEL(mark(z0),mark(z1)),MARK(z0))
            MARK(sel(z0,z1)) -> c409(A__SEL(mark(z0),mark(z1)),MARK(z1))
            MARK(snd(z0)) -> c299(A__SND(mark(z0)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c300(A__SPLITAT(mark(z0),mark(z1)),MARK(z0))
            MARK(splitAt(z0,z1)) -> c301(A__SPLITAT(mark(z0),mark(z1)),MARK(z1))
            MARK(tail(z0)) -> c405(A__TAIL(mark(z0)),MARK(z0))
            MARK(take(z0,z1)) -> c406(A__TAKE(mark(z0),mark(z1)),MARK(z0))
            MARK(take(z0,z1)) -> c407(A__TAKE(mark(z0),mark(z1)),MARK(z1))
            MARK(tt()) -> c410()
        - Weak TRS:
            a__U101(z0,z1,z2) -> U101(z0,z1,z2)
            a__U101(tt(),z0,z1) -> a__U102(a__isNaturalKind(z0),z0,z1)
            a__U102(z0,z1,z2) -> U102(z0,z1,z2)
            a__U102(tt(),z0,z1) -> a__U103(a__isLNatKind(z1),z0,z1)
            a__U103(z0,z1,z2) -> U103(z0,z1,z2)
            a__U103(tt(),z0,z1) -> a__U104(a__isLNatKind(z1),z0,z1)
            a__U104(z0,z1,z2) -> U104(z0,z1,z2)
            a__U104(tt(),z0,z1) -> a__U105(a__isNatural(z0),z1)
            a__U105(z0,z1) -> U105(z0,z1)
            a__U105(tt(),z0) -> a__U106(a__isLNat(z0))
            a__U106(z0) -> U106(z0)
            a__U106(tt()) -> tt()
            a__U11(z0,z1,z2) -> U11(z0,z1,z2)
            a__U11(tt(),z0,z1) -> a__U12(a__isNaturalKind(z0),z0,z1)
            a__U111(z0,z1) -> U111(z0,z1)
            a__U111(tt(),z0) -> a__U112(a__isLNatKind(z0))
            a__U112(z0) -> U112(z0)
            a__U112(tt()) -> tt()
            a__U12(z0,z1,z2) -> U12(z0,z1,z2)
            a__U12(tt(),z0,z1) -> a__U13(a__isLNat(z1),z0,z1)
            a__U121(z0,z1) -> U121(z0,z1)
            a__U121(tt(),z0) -> a__U122(a__isLNatKind(z0))
            a__U122(z0) -> U122(z0)
            a__U122(tt()) -> tt()
            a__U13(z0,z1,z2) -> U13(z0,z1,z2)
            a__U13(tt(),z0,z1) -> a__U14(a__isLNatKind(z1),z0,z1)
            a__U131(z0) -> U131(z0)
            a__U131(tt()) -> tt()
            a__U14(z0,z1,z2) -> U14(z0,z1,z2)
            a__U14(tt(),z0,z1) -> a__snd(a__splitAt(mark(z0),mark(z1)))
            a__U141(z0) -> U141(z0)
            a__U141(tt()) -> tt()
            a__U151(z0) -> U151(z0)
            a__U151(tt()) -> tt()
            a__U161(z0) -> U161(z0)
            a__U161(tt()) -> tt()
            a__U171(z0,z1) -> U171(z0,z1)
            a__U171(tt(),z0) -> a__U172(a__isLNatKind(z0))
            a__U172(z0) -> U172(z0)
            a__U172(tt()) -> tt()
            a__U181(z0,z1) -> U181(z0,z1)
            a__U181(tt(),z0) -> a__U182(a__isLNatKind(z0),z0)
            a__U182(z0,z1) -> U182(z0,z1)
            a__U182(tt(),z0) -> a__U183(a__isLNat(z0))
            a__U183(z0) -> U183(z0)
            a__U183(tt()) -> tt()
            a__U191(z0,z1) -> U191(z0,z1)
            a__U191(tt(),z0) -> a__U192(a__isNaturalKind(z0),z0)
            a__U192(z0,z1) -> U192(z0,z1)
            a__U192(tt(),z0) -> a__U193(a__isNatural(z0))
            a__U193(z0) -> U193(z0)
            a__U193(tt()) -> tt()
            a__U201(z0,z1,z2) -> U201(z0,z1,z2)
            a__U201(tt(),z0,z1) -> a__U202(a__isNaturalKind(z0),z0,z1)
            a__U202(z0,z1,z2) -> U202(z0,z1,z2)
            a__U202(tt(),z0,z1) -> a__U203(a__isLNatKind(z1),z0,z1)
            a__U203(z0,z1,z2) -> U203(z0,z1,z2)
            a__U203(tt(),z0,z1) -> a__U204(a__isLNatKind(z1),z0,z1)
            a__U204(z0,z1,z2) -> U204(z0,z1,z2)
            a__U204(tt(),z0,z1) -> a__U205(a__isNatural(z0),z1)
            a__U205(z0,z1) -> U205(z0,z1)
            a__U205(tt(),z0) -> a__U206(a__isLNat(z0))
            a__U206(z0) -> U206(z0)
            a__U206(tt()) -> tt()
            a__U21(z0,z1,z2) -> U21(z0,z1,z2)
            a__U21(tt(),z0,z1) -> a__U22(a__isLNatKind(z0),z0,z1)
            a__U211(z0) -> U211(z0)
            a__U211(tt()) -> tt()
            a__U22(z0,z1,z2) -> U22(z0,z1,z2)
            a__U22(tt(),z0,z1) -> a__U23(a__isLNat(z1),z0,z1)
            a__U221(z0) -> U221(z0)
            a__U221(tt()) -> tt()
            a__U23(z0,z1,z2) -> U23(z0,z1,z2)
            a__U23(tt(),z0,z1) -> a__U24(a__isLNatKind(z1),z0)
            a__U231(z0,z1) -> U231(z0,z1)
            a__U231(tt(),z0) -> a__U232(a__isLNatKind(z0))
            a__U232(z0) -> U232(z0)
            a__U232(tt()) -> tt()
            a__U24(z0,z1) -> U24(z0,z1)
            a__U24(tt(),z0) -> mark(z0)
            a__U241(z0,z1,z2) -> U241(z0,z1,z2)
            a__U241(tt(),z0,z1) -> a__U242(a__isLNatKind(z0),z0,z1)
            a__U242(z0,z1,z2) -> U242(z0,z1,z2)
            a__U242(tt(),z0,z1) -> a__U243(a__isLNatKind(z1),z0,z1)
            a__U243(z0,z1,z2) -> U243(z0,z1,z2)
            a__U243(tt(),z0,z1) -> a__U244(a__isLNatKind(z1),z0,z1)
            a__U244(z0,z1,z2) -> U244(z0,z1,z2)
            a__U244(tt(),z0,z1) -> a__U245(a__isLNat(z0),z1)
            a__U245(z0,z1) -> U245(z0,z1)
            a__U245(tt(),z0) -> a__U246(a__isLNat(z0))
            a__U246(z0) -> U246(z0)
            a__U246(tt()) -> tt()
            a__U251(z0,z1,z2) -> U251(z0,z1,z2)
            a__U251(tt(),z0,z1) -> a__U252(a__isNaturalKind(z0),z0,z1)
            a__U252(z0,z1,z2) -> U252(z0,z1,z2)
            a__U252(tt(),z0,z1) -> a__U253(a__isLNatKind(z1),z0,z1)
            a__U253(z0,z1,z2) -> U253(z0,z1,z2)
            a__U253(tt(),z0,z1) -> a__U254(a__isLNatKind(z1),z0,z1)
            a__U254(z0,z1,z2) -> U254(z0,z1,z2)
            a__U254(tt(),z0,z1) -> a__U255(a__isNatural(z0),z1)
            a__U255(z0,z1) -> U255(z0,z1)
            a__U255(tt(),z0) -> a__U256(a__isLNat(z0))
            a__U256(z0) -> U256(z0)
            a__U256(tt()) -> tt()
            a__U261(z0,z1) -> U261(z0,z1)
            a__U261(tt(),z0) -> a__U262(a__isLNatKind(z0))
            a__U262(z0) -> U262(z0)
            a__U262(tt()) -> tt()
            a__U271(z0,z1) -> U271(z0,z1)
            a__U271(tt(),z0) -> a__U272(a__isLNatKind(z0))
            a__U272(z0) -> U272(z0)
            a__U272(tt()) -> tt()
            a__U281(z0,z1) -> U281(z0,z1)
            a__U281(tt(),z0) -> a__U282(a__isNaturalKind(z0),z0)
            a__U282(z0,z1) -> U282(z0,z1)
            a__U282(tt(),z0) -> cons(mark(z0),natsFrom(s(z0)))
            a__U291(z0,z1,z2) -> U291(z0,z1,z2)
            a__U291(tt(),z0,z1) -> a__U292(a__isNaturalKind(z0),z0,z1)
            a__U292(z0,z1,z2) -> U292(z0,z1,z2)
            a__U292(tt(),z0,z1) -> a__U293(a__isLNat(z1),z0,z1)
            a__U293(z0,z1,z2) -> U293(z0,z1,z2)
            a__U293(tt(),z0,z1) -> a__U294(a__isLNatKind(z1),z0,z1)
            a__U294(z0,z1,z2) -> U294(z0,z1,z2)
            a__U294(tt(),z0,z1) -> a__head(a__afterNth(mark(z0),mark(z1)))
            a__U301(z0,z1,z2) -> U301(z0,z1,z2)
            a__U301(tt(),z0,z1) -> a__U302(a__isLNatKind(z0),z1)
            a__U302(z0,z1) -> U302(z0,z1)
            a__U302(tt(),z0) -> a__U303(a__isLNat(z0),z0)
            a__U303(z0,z1) -> U303(z0,z1)
            a__U303(tt(),z0) -> a__U304(a__isLNatKind(z0),z0)
            a__U304(z0,z1) -> U304(z0,z1)
            a__U304(tt(),z0) -> mark(z0)
            a__U31(z0,z1,z2) -> U31(z0,z1,z2)
            a__U31(tt(),z0,z1) -> a__U32(a__isNaturalKind(z0),z0,z1)
            a__U311(z0,z1) -> U311(z0,z1)
            a__U311(tt(),z0) -> a__U312(a__isLNatKind(z0),z0)
            a__U312(z0,z1) -> U312(z0,z1)
            a__U312(tt(),z0) -> pair(nil(),mark(z0))
            a__U32(z0,z1,z2) -> U32(z0,z1,z2)
            a__U32(tt(),z0,z1) -> a__U33(a__isLNat(z1),z0,z1)
            a__U321(z0,z1,z2,z3) -> U321(z0,z1,z2,z3)
            a__U321(tt(),z0,z1,z2) -> a__U322(a__isNaturalKind(z0),z0,z1,z2)
            a__U322(z0,z1,z2,z3) -> U322(z0,z1,z2,z3)
            a__U322(tt(),z0,z1,z2) -> a__U323(a__isNatural(z1),z0,z1,z2)
            a__U323(z0,z1,z2,z3) -> U323(z0,z1,z2,z3)
            a__U323(tt(),z0,z1,z2) -> a__U324(a__isNaturalKind(z1),z0,z1,z2)
            a__U324(z0,z1,z2,z3) -> U324(z0,z1,z2,z3)
            a__U324(tt(),z0,z1,z2) -> a__U325(a__isLNat(z2),z0,z1,z2)
            a__U325(z0,z1,z2,z3) -> U325(z0,z1,z2,z3)
            a__U325(tt(),z0,z1,z2) -> a__U326(a__isLNatKind(z2),z0,z1,z2)
            a__U326(z0,z1,z2,z3) -> U326(z0,z1,z2,z3)
            a__U326(tt(),z0,z1,z2) -> a__U327(a__splitAt(mark(z0),mark(z2)),z1)
            a__U327(z0,z1) -> U327(z0,z1)
            a__U327(pair(z0,z1),z2) -> pair(cons(mark(z2),z0),mark(z1))
            a__U33(z0,z1,z2) -> U33(z0,z1,z2)
            a__U33(tt(),z0,z1) -> a__U34(a__isLNatKind(z1),z0)
            a__U331(z0,z1,z2) -> U331(z0,z1,z2)
            a__U331(tt(),z0,z1) -> a__U332(a__isNaturalKind(z0),z1)
            a__U332(z0,z1) -> U332(z0,z1)
            a__U332(tt(),z0) -> a__U333(a__isLNat(z0),z0)
            a__U333(z0,z1) -> U333(z0,z1)
            a__U333(tt(),z0) -> a__U334(a__isLNatKind(z0),z0)
            a__U334(z0,z1) -> U334(z0,z1)
            a__U334(tt(),z0) -> mark(z0)
            a__U34(z0,z1) -> U34(z0,z1)
            a__U34(tt(),z0) -> mark(z0)
            a__U341(z0,z1,z2) -> U341(z0,z1,z2)
            a__U341(tt(),z0,z1) -> a__U342(a__isNaturalKind(z0),z0,z1)
            a__U342(z0,z1,z2) -> U342(z0,z1,z2)
            a__U342(tt(),z0,z1) -> a__U343(a__isLNat(z1),z0,z1)
            a__U343(z0,z1,z2) -> U343(z0,z1,z2)
            a__U343(tt(),z0,z1) -> a__U344(a__isLNatKind(z1),z0,z1)
            a__U344(z0,z1,z2) -> U344(z0,z1,z2)
            a__U344(tt(),z0,z1) -> a__fst(a__splitAt(mark(z0),mark(z1)))
            a__U41(z0,z1,z2) -> U41(z0,z1,z2)
            a__U41(tt(),z0,z1) -> a__U42(a__isNaturalKind(z0),z0,z1)
            a__U42(z0,z1,z2) -> U42(z0,z1,z2)
            a__U42(tt(),z0,z1) -> a__U43(a__isLNatKind(z1),z0,z1)
            a__U43(z0,z1,z2) -> U43(z0,z1,z2)
            a__U43(tt(),z0,z1) -> a__U44(a__isLNatKind(z1),z0,z1)
            a__U44(z0,z1,z2) -> U44(z0,z1,z2)
            a__U44(tt(),z0,z1) -> a__U45(a__isNatural(z0),z1)
            a__U45(z0,z1) -> U45(z0,z1)
            a__U45(tt(),z0) -> a__U46(a__isLNat(z0))
            a__U46(z0) -> U46(z0)
            a__U46(tt()) -> tt()
            a__U51(z0,z1,z2) -> U51(z0,z1,z2)
            a__U51(tt(),z0,z1) -> a__U52(a__isNaturalKind(z0),z0,z1)
            a__U52(z0,z1,z2) -> U52(z0,z1,z2)
            a__U52(tt(),z0,z1) -> a__U53(a__isLNatKind(z1),z0,z1)
            a__U53(z0,z1,z2) -> U53(z0,z1,z2)
            a__U53(tt(),z0,z1) -> a__U54(a__isLNatKind(z1),z0,z1)
            a__U54(z0,z1,z2) -> U54(z0,z1,z2)
            a__U54(tt(),z0,z1) -> a__U55(a__isNatural(z0),z1)
            a__U55(z0,z1) -> U55(z0,z1)
            a__U55(tt(),z0) -> a__U56(a__isLNat(z0))
            a__U56(z0) -> U56(z0)
            a__U56(tt()) -> tt()
            a__U61(z0,z1) -> U61(z0,z1)
            a__U61(tt(),z0) -> a__U62(a__isPLNatKind(z0),z0)
            a__U62(z0,z1) -> U62(z0,z1)
            a__U62(tt(),z0) -> a__U63(a__isPLNat(z0))
            a__U63(z0) -> U63(z0)
            a__U63(tt()) -> tt()
            a__U71(z0,z1) -> U71(z0,z1)
            a__U71(tt(),z0) -> a__U72(a__isNaturalKind(z0),z0)
            a__U72(z0,z1) -> U72(z0,z1)
            a__U72(tt(),z0) -> a__U73(a__isNatural(z0))
            a__U73(z0) -> U73(z0)
            a__U73(tt()) -> tt()
            a__U81(z0,z1) -> U81(z0,z1)
            a__U81(tt(),z0) -> a__U82(a__isPLNatKind(z0),z0)
            a__U82(z0,z1) -> U82(z0,z1)
            a__U82(tt(),z0) -> a__U83(a__isPLNat(z0))
            a__U83(z0) -> U83(z0)
            a__U83(tt()) -> tt()
            a__U91(z0,z1) -> U91(z0,z1)
            a__U91(tt(),z0) -> a__U92(a__isLNatKind(z0),z0)
            a__U92(z0,z1) -> U92(z0,z1)
            a__U92(tt(),z0) -> a__U93(a__isLNat(z0))
            a__U93(z0) -> U93(z0)
            a__U93(tt()) -> tt()
            a__afterNth(z0,z1) -> a__U11(a__isNatural(z0),z0,z1)
            a__afterNth(z0,z1) -> afterNth(z0,z1)
            a__fst(z0) -> fst(z0)
            a__fst(pair(z0,z1)) -> a__U21(a__isLNat(z0),z0,z1)
            a__head(z0) -> head(z0)
            a__head(cons(z0,z1)) -> a__U31(a__isNatural(z0),z0,z1)
            a__isLNat(z0) -> isLNat(z0)
            a__isLNat(afterNth(z0,z1)) -> a__U41(a__isNaturalKind(z0),z0,z1)
            a__isLNat(cons(z0,z1)) -> a__U51(a__isNaturalKind(z0),z0,z1)
            a__isLNat(fst(z0)) -> a__U61(a__isPLNatKind(z0),z0)
            a__isLNat(natsFrom(z0)) -> a__U71(a__isNaturalKind(z0),z0)
            a__isLNat(nil()) -> tt()
            a__isLNat(snd(z0)) -> a__U81(a__isPLNatKind(z0),z0)
            a__isLNat(tail(z0)) -> a__U91(a__isLNatKind(z0),z0)
            a__isLNat(take(z0,z1)) -> a__U101(a__isNaturalKind(z0),z0,z1)
            a__isLNatKind(z0) -> isLNatKind(z0)
            a__isLNatKind(afterNth(z0,z1)) -> a__U111(a__isNaturalKind(z0),z1)
            a__isLNatKind(cons(z0,z1)) -> a__U121(a__isNaturalKind(z0),z1)
            a__isLNatKind(fst(z0)) -> a__U131(a__isPLNatKind(z0))
            a__isLNatKind(natsFrom(z0)) -> a__U141(a__isNaturalKind(z0))
            a__isLNatKind(nil()) -> tt()
            a__isLNatKind(snd(z0)) -> a__U151(a__isPLNatKind(z0))
            a__isLNatKind(tail(z0)) -> a__U161(a__isLNatKind(z0))
            a__isLNatKind(take(z0,z1)) -> a__U171(a__isNaturalKind(z0),z1)
            a__isNatural(z0) -> isNatural(z0)
            a__isNatural(0()) -> tt()
            a__isNatural(head(z0)) -> a__U181(a__isLNatKind(z0),z0)
            a__isNatural(s(z0)) -> a__U191(a__isNaturalKind(z0),z0)
            a__isNatural(sel(z0,z1)) -> a__U201(a__isNaturalKind(z0),z0,z1)
            a__isNaturalKind(z0) -> isNaturalKind(z0)
            a__isNaturalKind(0()) -> tt()
            a__isNaturalKind(head(z0)) -> a__U211(a__isLNatKind(z0))
            a__isNaturalKind(s(z0)) -> a__U221(a__isNaturalKind(z0))
            a__isNaturalKind(sel(z0,z1)) -> a__U231(a__isNaturalKind(z0),z1)
            a__isPLNat(z0) -> isPLNat(z0)
            a__isPLNat(pair(z0,z1)) -> a__U241(a__isLNatKind(z0),z0,z1)
            a__isPLNat(splitAt(z0,z1)) -> a__U251(a__isNaturalKind(z0),z0,z1)
            a__isPLNatKind(z0) -> isPLNatKind(z0)
            a__isPLNatKind(pair(z0,z1)) -> a__U261(a__isLNatKind(z0),z1)
            a__isPLNatKind(splitAt(z0,z1)) -> a__U271(a__isNaturalKind(z0),z1)
            a__natsFrom(z0) -> a__U281(a__isNatural(z0),z0)
            a__natsFrom(z0) -> natsFrom(z0)
            a__sel(z0,z1) -> a__U291(a__isNatural(z0),z0,z1)
            a__sel(z0,z1) -> sel(z0,z1)
            a__snd(z0) -> snd(z0)
            a__snd(pair(z0,z1)) -> a__U301(a__isLNat(z0),z0,z1)
            a__splitAt(z0,z1) -> splitAt(z0,z1)
            a__splitAt(0(),z0) -> a__U311(a__isLNat(z0),z0)
            a__splitAt(s(z0),cons(z1,z2)) -> a__U321(a__isNatural(z0),z0,z1,z2)
            a__tail(z0) -> tail(z0)
            a__tail(cons(z0,z1)) -> a__U331(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> a__U341(a__isNatural(z0),z0,z1)
            a__take(z0,z1) -> take(z0,z1)
            mark(0()) -> 0()
            mark(U101(z0,z1,z2)) -> a__U101(mark(z0),z1,z2)
            mark(U102(z0,z1,z2)) -> a__U102(mark(z0),z1,z2)
            mark(U103(z0,z1,z2)) -> a__U103(mark(z0),z1,z2)
            mark(U104(z0,z1,z2)) -> a__U104(mark(z0),z1,z2)
            mark(U105(z0,z1)) -> a__U105(mark(z0),z1)
            mark(U106(z0)) -> a__U106(mark(z0))
            mark(U11(z0,z1,z2)) -> a__U11(mark(z0),z1,z2)
            mark(U111(z0,z1)) -> a__U111(mark(z0),z1)
            mark(U112(z0)) -> a__U112(mark(z0))
            mark(U12(z0,z1,z2)) -> a__U12(mark(z0),z1,z2)
            mark(U121(z0,z1)) -> a__U121(mark(z0),z1)
            mark(U122(z0)) -> a__U122(mark(z0))
            mark(U13(z0,z1,z2)) -> a__U13(mark(z0),z1,z2)
            mark(U131(z0)) -> a__U131(mark(z0))
            mark(U14(z0,z1,z2)) -> a__U14(mark(z0),z1,z2)
            mark(U141(z0)) -> a__U141(mark(z0))
            mark(U151(z0)) -> a__U151(mark(z0))
            mark(U161(z0)) -> a__U161(mark(z0))
            mark(U171(z0,z1)) -> a__U171(mark(z0),z1)
            mark(U172(z0)) -> a__U172(mark(z0))
            mark(U181(z0,z1)) -> a__U181(mark(z0),z1)
            mark(U182(z0,z1)) -> a__U182(mark(z0),z1)
            mark(U183(z0)) -> a__U183(mark(z0))
            mark(U191(z0,z1)) -> a__U191(mark(z0),z1)
            mark(U192(z0,z1)) -> a__U192(mark(z0),z1)
            mark(U193(z0)) -> a__U193(mark(z0))
            mark(U201(z0,z1,z2)) -> a__U201(mark(z0),z1,z2)
            mark(U202(z0,z1,z2)) -> a__U202(mark(z0),z1,z2)
            mark(U203(z0,z1,z2)) -> a__U203(mark(z0),z1,z2)
            mark(U204(z0,z1,z2)) -> a__U204(mark(z0),z1,z2)
            mark(U205(z0,z1)) -> a__U205(mark(z0),z1)
            mark(U206(z0)) -> a__U206(mark(z0))
            mark(U21(z0,z1,z2)) -> a__U21(mark(z0),z1,z2)
            mark(U211(z0)) -> a__U211(mark(z0))
            mark(U22(z0,z1,z2)) -> a__U22(mark(z0),z1,z2)
            mark(U221(z0)) -> a__U221(mark(z0))
            mark(U23(z0,z1,z2)) -> a__U23(mark(z0),z1,z2)
            mark(U231(z0,z1)) -> a__U231(mark(z0),z1)
            mark(U232(z0)) -> a__U232(mark(z0))
            mark(U24(z0,z1)) -> a__U24(mark(z0),z1)
            mark(U241(z0,z1,z2)) -> a__U241(mark(z0),z1,z2)
            mark(U242(z0,z1,z2)) -> a__U242(mark(z0),z1,z2)
            mark(U243(z0,z1,z2)) -> a__U243(mark(z0),z1,z2)
            mark(U244(z0,z1,z2)) -> a__U244(mark(z0),z1,z2)
            mark(U245(z0,z1)) -> a__U245(mark(z0),z1)
            mark(U246(z0)) -> a__U246(mark(z0))
            mark(U251(z0,z1,z2)) -> a__U251(mark(z0),z1,z2)
            mark(U252(z0,z1,z2)) -> a__U252(mark(z0),z1,z2)
            mark(U253(z0,z1,z2)) -> a__U253(mark(z0),z1,z2)
            mark(U254(z0,z1,z2)) -> a__U254(mark(z0),z1,z2)
            mark(U255(z0,z1)) -> a__U255(mark(z0),z1)
            mark(U256(z0)) -> a__U256(mark(z0))
            mark(U261(z0,z1)) -> a__U261(mark(z0),z1)
            mark(U262(z0)) -> a__U262(mark(z0))
            mark(U271(z0,z1)) -> a__U271(mark(z0),z1)
            mark(U272(z0)) -> a__U272(mark(z0))
            mark(U281(z0,z1)) -> a__U281(mark(z0),z1)
            mark(U282(z0,z1)) -> a__U282(mark(z0),z1)
            mark(U291(z0,z1,z2)) -> a__U291(mark(z0),z1,z2)
            mark(U292(z0,z1,z2)) -> a__U292(mark(z0),z1,z2)
            mark(U293(z0,z1,z2)) -> a__U293(mark(z0),z1,z2)
            mark(U294(z0,z1,z2)) -> a__U294(mark(z0),z1,z2)
            mark(U301(z0,z1,z2)) -> a__U301(mark(z0),z1,z2)
            mark(U302(z0,z1)) -> a__U302(mark(z0),z1)
            mark(U303(z0,z1)) -> a__U303(mark(z0),z1)
            mark(U304(z0,z1)) -> a__U304(mark(z0),z1)
            mark(U31(z0,z1,z2)) -> a__U31(mark(z0),z1,z2)
            mark(U311(z0,z1)) -> a__U311(mark(z0),z1)
            mark(U312(z0,z1)) -> a__U312(mark(z0),z1)
            mark(U32(z0,z1,z2)) -> a__U32(mark(z0),z1,z2)
            mark(U321(z0,z1,z2,z3)) -> a__U321(mark(z0),z1,z2,z3)
            mark(U322(z0,z1,z2,z3)) -> a__U322(mark(z0),z1,z2,z3)
            mark(U323(z0,z1,z2,z3)) -> a__U323(mark(z0),z1,z2,z3)
            mark(U324(z0,z1,z2,z3)) -> a__U324(mark(z0),z1,z2,z3)
            mark(U325(z0,z1,z2,z3)) -> a__U325(mark(z0),z1,z2,z3)
            mark(U326(z0,z1,z2,z3)) -> a__U326(mark(z0),z1,z2,z3)
            mark(U327(z0,z1)) -> a__U327(mark(z0),z1)
            mark(U33(z0,z1,z2)) -> a__U33(mark(z0),z1,z2)
            mark(U331(z0,z1,z2)) -> a__U331(mark(z0),z1,z2)
            mark(U332(z0,z1)) -> a__U332(mark(z0),z1)
            mark(U333(z0,z1)) -> a__U333(mark(z0),z1)
            mark(U334(z0,z1)) -> a__U334(mark(z0),z1)
            mark(U34(z0,z1)) -> a__U34(mark(z0),z1)
            mark(U341(z0,z1,z2)) -> a__U341(mark(z0),z1,z2)
            mark(U342(z0,z1,z2)) -> a__U342(mark(z0),z1,z2)
            mark(U343(z0,z1,z2)) -> a__U343(mark(z0),z1,z2)
            mark(U344(z0,z1,z2)) -> a__U344(mark(z0),z1,z2)
            mark(U41(z0,z1,z2)) -> a__U41(mark(z0),z1,z2)
            mark(U42(z0,z1,z2)) -> a__U42(mark(z0),z1,z2)
            mark(U43(z0,z1,z2)) -> a__U43(mark(z0),z1,z2)
            mark(U44(z0,z1,z2)) -> a__U44(mark(z0),z1,z2)
            mark(U45(z0,z1)) -> a__U45(mark(z0),z1)
            mark(U46(z0)) -> a__U46(mark(z0))
            mark(U51(z0,z1,z2)) -> a__U51(mark(z0),z1,z2)
            mark(U52(z0,z1,z2)) -> a__U52(mark(z0),z1,z2)
            mark(U53(z0,z1,z2)) -> a__U53(mark(z0),z1,z2)
            mark(U54(z0,z1,z2)) -> a__U54(mark(z0),z1,z2)
            mark(U55(z0,z1)) -> a__U55(mark(z0),z1)
            mark(U56(z0)) -> a__U56(mark(z0))
            mark(U61(z0,z1)) -> a__U61(mark(z0),z1)
            mark(U62(z0,z1)) -> a__U62(mark(z0),z1)
            mark(U63(z0)) -> a__U63(mark(z0))
            mark(U71(z0,z1)) -> a__U71(mark(z0),z1)
            mark(U72(z0,z1)) -> a__U72(mark(z0),z1)
            mark(U73(z0)) -> a__U73(mark(z0))
            mark(U81(z0,z1)) -> a__U81(mark(z0),z1)
            mark(U82(z0,z1)) -> a__U82(mark(z0),z1)
            mark(U83(z0)) -> a__U83(mark(z0))
            mark(U91(z0,z1)) -> a__U91(mark(z0),z1)
            mark(U92(z0,z1)) -> a__U92(mark(z0),z1)
            mark(U93(z0)) -> a__U93(mark(z0))
            mark(afterNth(z0,z1)) -> a__afterNth(mark(z0),mark(z1))
            mark(cons(z0,z1)) -> cons(mark(z0),z1)
            mark(fst(z0)) -> a__fst(mark(z0))
            mark(head(z0)) -> a__head(mark(z0))
            mark(isLNat(z0)) -> a__isLNat(z0)
            mark(isLNatKind(z0)) -> a__isLNatKind(z0)
            mark(isNatural(z0)) -> a__isNatural(z0)
            mark(isNaturalKind(z0)) -> a__isNaturalKind(z0)
            mark(isPLNat(z0)) -> a__isPLNat(z0)
            mark(isPLNatKind(z0)) -> a__isPLNatKind(z0)
            mark(natsFrom(z0)) -> a__natsFrom(mark(z0))
            mark(nil()) -> nil()
            mark(pair(z0,z1)) -> pair(mark(z0),mark(z1))
            mark(s(z0)) -> s(mark(z0))
            mark(sel(z0,z1)) -> a__sel(mark(z0),mark(z1))
            mark(snd(z0)) -> a__snd(mark(z0))
            mark(splitAt(z0,z1)) -> a__splitAt(mark(z0),mark(z1))
            mark(tail(z0)) -> a__tail(mark(z0))
            mark(take(z0,z1)) -> a__take(mark(z0),mark(z1))
            mark(tt()) -> tt()
        - Signature:
            {A__AFTERNTH/2,A__FST/1,A__HEAD/1,A__ISLNAT/1,A__ISLNATKIND/1,A__ISNATURAL/1,A__ISNATURALKIND/1,A__ISPLNAT/1
            ,A__ISPLNATKIND/1,A__NATSFROM/1,A__SEL/2,A__SND/1,A__SPLITAT/2,A__TAIL/1,A__TAKE/2,A__U101/3,A__U102/3
            ,A__U103/3,A__U104/3,A__U105/2,A__U106/1,A__U11/3,A__U111/2,A__U112/1,A__U12/3,A__U121/2,A__U122/1,A__U13/3
            ,A__U131/1,A__U14/3,A__U141/1,A__U151/1,A__U161/1,A__U171/2,A__U172/1,A__U181/2,A__U182/2,A__U183/1
            ,A__U191/2,A__U192/2,A__U193/1,A__U201/3,A__U202/3,A__U203/3,A__U204/3,A__U205/2,A__U206/1,A__U21/3
            ,A__U211/1,A__U22/3,A__U221/1,A__U23/3,A__U231/2,A__U232/1,A__U24/2,A__U241/3,A__U242/3,A__U243/3,A__U244/3
            ,A__U245/2,A__U246/1,A__U251/3,A__U252/3,A__U253/3,A__U254/3,A__U255/2,A__U256/1,A__U261/2,A__U262/1
            ,A__U271/2,A__U272/1,A__U281/2,A__U282/2,A__U291/3,A__U292/3,A__U293/3,A__U294/3,A__U301/3,A__U302/2
            ,A__U303/2,A__U304/2,A__U31/3,A__U311/2,A__U312/2,A__U32/3,A__U321/4,A__U322/4,A__U323/4,A__U324/4,A__U325/4
            ,A__U326/4,A__U327/2,A__U33/3,A__U331/3,A__U332/2,A__U333/2,A__U334/2,A__U34/2,A__U341/3,A__U342/3,A__U343/3
            ,A__U344/3,A__U41/3,A__U42/3,A__U43/3,A__U44/3,A__U45/2,A__U46/1,A__U51/3,A__U52/3,A__U53/3,A__U54/3
            ,A__U55/2,A__U56/1,A__U61/2,A__U62/2,A__U63/1,A__U71/2,A__U72/2,A__U73/1,A__U81/2,A__U82/2,A__U83/1,A__U91/2
            ,A__U92/2,A__U93/1,MARK/1,a__U101/3,a__U102/3,a__U103/3,a__U104/3,a__U105/2,a__U106/1,a__U11/3,a__U111/2
            ,a__U112/1,a__U12/3,a__U121/2,a__U122/1,a__U13/3,a__U131/1,a__U14/3,a__U141/1,a__U151/1,a__U161/1,a__U171/2
            ,a__U172/1,a__U181/2,a__U182/2,a__U183/1,a__U191/2,a__U192/2,a__U193/1,a__U201/3,a__U202/3,a__U203/3
            ,a__U204/3,a__U205/2,a__U206/1,a__U21/3,a__U211/1,a__U22/3,a__U221/1,a__U23/3,a__U231/2,a__U232/1,a__U24/2
            ,a__U241/3,a__U242/3,a__U243/3,a__U244/3,a__U245/2,a__U246/1,a__U251/3,a__U252/3,a__U253/3,a__U254/3
            ,a__U255/2,a__U256/1,a__U261/2,a__U262/1,a__U271/2,a__U272/1,a__U281/2,a__U282/2,a__U291/3,a__U292/3
            ,a__U293/3,a__U294/3,a__U301/3,a__U302/2,a__U303/2,a__U304/2,a__U31/3,a__U311/2,a__U312/2,a__U32/3,a__U321/4
            ,a__U322/4,a__U323/4,a__U324/4,a__U325/4,a__U326/4,a__U327/2,a__U33/3,a__U331/3,a__U332/2,a__U333/2
            ,a__U334/2,a__U34/2,a__U341/3,a__U342/3,a__U343/3,a__U344/3,a__U41/3,a__U42/3,a__U43/3,a__U44/3,a__U45/2
            ,a__U46/1,a__U51/3,a__U52/3,a__U53/3,a__U54/3,a__U55/2,a__U56/1,a__U61/2,a__U62/2,a__U63/1,a__U71/2,a__U72/2
            ,a__U73/1,a__U81/2,a__U82/2,a__U83/1,a__U91/2,a__U92/2,a__U93/1,a__afterNth/2,a__fst/1,a__head/1,a__isLNat/1
            ,a__isLNatKind/1,a__isNatural/1,a__isNaturalKind/1,a__isPLNat/1,a__isPLNatKind/1,a__natsFrom/1,a__sel/2
            ,a__snd/1,a__splitAt/2,a__tail/1,a__take/2,mark/1} / {0/0,U101/3,U102/3,U103/3,U104/3,U105/2,U106/1,U11/3
            ,U111/2,U112/1,U12/3,U121/2,U122/1,U13/3,U131/1,U14/3,U141/1,U151/1,U161/1,U171/2,U172/1,U181/2,U182/2
            ,U183/1,U191/2,U192/2,U193/1,U201/3,U202/3,U203/3,U204/3,U205/2,U206/1,U21/3,U211/1,U22/3,U221/1,U23/3
            ,U231/2,U232/1,U24/2,U241/3,U242/3,U243/3,U244/3,U245/2,U246/1,U251/3,U252/3,U253/3,U254/3,U255/2,U256/1
            ,U261/2,U262/1,U271/2,U272/1,U281/2,U282/2,U291/3,U292/3,U293/3,U294/3,U301/3,U302/2,U303/2,U304/2,U31/3
            ,U311/2,U312/2,U32/3,U321/4,U322/4,U323/4,U324/4,U325/4,U326/4,U327/2,U33/3,U331/3,U332/2,U333/2,U334/2
            ,U34/2,U341/3,U342/3,U343/3,U344/3,U41/3,U42/3,U43/3,U44/3,U45/2,U46/1,U51/3,U52/3,U53/3,U54/3,U55/2,U56/1
            ,U61/2,U62/2,U63/1,U71/2,U72/2,U73/1,U81/2,U82/2,U83/1,U91/2,U92/2,U93/1,afterNth/2,c/2,c1/0,c10/0,c100/0
            ,c101/2,c102/0,c103/0,c104/0,c105/2,c106/0,c107/0,c108/0,c109/2,c11/0,c110/0,c111/0,c112/0,c113/2,c114/0
            ,c115/1,c116/0,c117/2,c118/0,c119/2,c12/2,c120/0,c121/2,c122/0,c123/3,c124/3,c125/0,c126/2,c127/0,c128/2
            ,c129/0,c13/0,c130/2,c131/0,c132/1,c133/0,c134/2,c135/0,c136/2,c137/0,c138/1,c139/0,c14/2,c140/2,c141/0
            ,c142/2,c143/0,c144/2,c145/0,c146/2,c147/0,c148/2,c149/0,c15/0,c150/2,c151/0,c152/3,c153/3,c154/0,c155/1
            ,c156/1,c157/0,c158/2,c159/0,c16/0,c160/2,c161/0,c162/2,c163/0,c164/2,c165/0,c166/1,c167/0,c168/1,c169/0
            ,c17/0,c170/2,c171/0,c172/2,c173/0,c174/2,c175/0,c176/3,c177/3,c178/0,c179/2,c18/2,c180/0,c181/2,c182/0
            ,c183/2,c184/0,c185/2,c186/0,c187/2,c188/0,c189/0,c19/0,c190/0,c191/2,c192/0,c193/2,c194/0,c195/2,c196/0
            ,c197/2,c198/0,c199/2,c2/2,c20/2,c200/0,c201/0,c202/0,c203/2,c204/0,c205/2,c206/0,c207/0,c208/0,c209/2,c21/0
            ,c210/0,c211/2,c212/0,c213/0,c214/0,c215/2,c216/0,c217/2,c218/0,c219/0,c22/0,c220/0,c221/2,c222/0,c223/2
            ,c224/0,c225/0,c226/0,c227/2,c228/0,c229/2,c23/0,c230/0,c231/2,c232/0,c233/0,c234/2,c235/2,c236/2,c237/2
            ,c238/2,c239/2,c24/2,c240/2,c241/0,c242/0,c243/2,c244/2,c245/2,c246/2,c247/2,c248/2,c249/2,c25/0,c250/0
            ,c251/0,c252/2,c253/2,c254/2,c255/0,c256/0,c257/2,c258/2,c259/2,c26/0,c260/0,c261/2,c262/2,c263/0,c264/2
            ,c265/2,c266/0,c267/2,c268/0,c269/2,c27/0,c270/0,c271/2,c272/0,c273/2,c274/2,c275/0,c276/2,c277/0,c278/2
            ,c279/0,c28/3,c280/2,c281/2,c282/1,c283/2,c284/1,c285/2,c286/2,c287/1,c288/2,c289/1,c29/3,c290/2,c291/2
            ,c292/2,c293/2,c294/2,c295/2,c296/2,c297/2,c298/2,c299/2,c3/0,c30/0,c300/2,c301/2,c302/2,c303/2,c304/2
            ,c305/2,c306/2,c307/2,c308/2,c309/2,c31/0,c310/2,c311/2,c312/2,c313/2,c314/2,c315/2,c316/2,c317/2,c318/2
            ,c319/2,c32/0,c320/2,c321/2,c322/2,c323/2,c324/2,c325/2,c326/2,c327/2,c328/2,c329/2,c33/0,c330/2,c331/2
            ,c332/2,c333/2,c334/2,c335/2,c336/2,c337/2,c338/2,c339/2,c34/0,c340/2,c341/2,c342/2,c343/2,c344/2,c345/2
            ,c346/2,c347/2,c348/2,c349/2,c35/0,c350/2,c351/2,c352/2,c353/2,c354/2,c355/2,c356/2,c357/2,c358/2,c359/2
            ,c36/0,c360/2,c361/2,c362/2,c363/2,c364/2,c365/2,c366/2,c367/2,c368/2,c369/2,c37/2,c370/2,c371/2,c372/2
            ,c373/2,c374/2,c375/2,c376/2,c377/2,c378/2,c379/2,c38/0,c380/2,c381/2,c382/2,c383/2,c384/2,c385/2,c386/2
            ,c387/2,c388/2,c389/2,c39/0,c390/2,c391/2,c392/2,c393/1,c394/2,c395/1,c396/2,c397/2,c398/2,c399/2,c4/2,c40/0
            ,c400/2,c401/2,c402/2,c403/2,c404/2,c405/2,c406/2,c407/2,c408/2,c409/2,c41/2,c410/0,c411/1,c412/1,c413/1
            ,c414/1,c415/0,c416/0,c42/0,c43/2,c44/0,c45/0,c46/0,c47/2,c48/0,c49/2,c5/0,c50/0,c51/0,c52/0,c53/2,c54/0
            ,c55/2,c56/0,c57/2,c58/0,c59/2,c6/2,c60/0,c61/2,c62/0,c63/0,c64/0,c65/2,c66/0,c67/0,c68/0,c69/2,c7/0,c70/0
            ,c71/0,c72/0,c73/2,c74/0,c75/2,c76/0,c77/0,c78/0,c79/1,c8/2,c80/0,c81/2,c82/0,c83/2,c84/0,c85/2,c86/0,c87/2
            ,c88/0,c89/2,c9/0,c90/0,c91/0,c92/0,c93/2,c94/0,c95/2,c96/0,c97/2,c98/0,c99/2,cons/2,fst/1,head/1,isLNat/1
            ,isLNatKind/1,isNatural/1,isNaturalKind/1,isPLNat/1,isPLNatKind/1,natsFrom/1,nil/0,pair/2,s/1,sel/2,snd/1
            ,splitAt/2,tail/1,take/2,tt/0}
        - Obligation:
            innermost runtime complexity wrt. defined symbols {A__AFTERNTH,A__FST,A__HEAD,A__ISLNAT,A__ISLNATKIND
            ,A__ISNATURAL,A__ISNATURALKIND,A__ISPLNAT,A__ISPLNATKIND,A__NATSFROM,A__SEL,A__SND,A__SPLITAT,A__TAIL
            ,A__TAKE,A__U101,A__U102,A__U103,A__U104,A__U105,A__U106,A__U11,A__U111,A__U112,A__U12,A__U121,A__U122
            ,A__U13,A__U131,A__U14,A__U141,A__U151,A__U161,A__U171,A__U172,A__U181,A__U182,A__U183,A__U191,A__U192
            ,A__U193,A__U201,A__U202,A__U203,A__U204,A__U205,A__U206,A__U21,A__U211,A__U22,A__U221,A__U23,A__U231
            ,A__U232,A__U24,A__U241,A__U242,A__U243,A__U244,A__U245,A__U246,A__U251,A__U252,A__U253,A__U254,A__U255
            ,A__U256,A__U261,A__U262,A__U271,A__U272,A__U281,A__U282,A__U291,A__U292,A__U293,A__U294,A__U301,A__U302
            ,A__U303,A__U304,A__U31,A__U311,A__U312,A__U32,A__U321,A__U322,A__U323,A__U324,A__U325,A__U326,A__U327
            ,A__U33,A__U331,A__U332,A__U333,A__U334,A__U34,A__U341,A__U342,A__U343,A__U344,A__U41,A__U42,A__U43,A__U44
            ,A__U45,A__U46,A__U51,A__U52,A__U53,A__U54,A__U55,A__U56,A__U61,A__U62,A__U63,A__U71,A__U72,A__U73,A__U81
            ,A__U82,A__U83,A__U91,A__U92,A__U93,MARK,a__U101,a__U102,a__U103,a__U104,a__U105,a__U106,a__U11,a__U111
            ,a__U112,a__U12,a__U121,a__U122,a__U13,a__U131,a__U14,a__U141,a__U151,a__U161,a__U171,a__U172,a__U181
            ,a__U182,a__U183,a__U191,a__U192,a__U193,a__U201,a__U202,a__U203,a__U204,a__U205,a__U206,a__U21,a__U211
            ,a__U22,a__U221,a__U23,a__U231,a__U232,a__U24,a__U241,a__U242,a__U243,a__U244,a__U245,a__U246,a__U251
            ,a__U252,a__U253,a__U254,a__U255,a__U256,a__U261,a__U262,a__U271,a__U272,a__U281,a__U282,a__U291,a__U292
            ,a__U293,a__U294,a__U301,a__U302,a__U303,a__U304,a__U31,a__U311,a__U312,a__U32,a__U321,a__U322,a__U323
            ,a__U324,a__U325,a__U326,a__U327,a__U33,a__U331,a__U332,a__U333,a__U334,a__U34,a__U341,a__U342,a__U343
            ,a__U344,a__U41,a__U42,a__U43,a__U44,a__U45,a__U46,a__U51,a__U52,a__U53,a__U54,a__U55,a__U56,a__U61,a__U62
            ,a__U63,a__U71,a__U72,a__U73,a__U81,a__U82,a__U83,a__U91,a__U92,a__U93,a__afterNth,a__fst,a__head,a__isLNat
            ,a__isLNatKind,a__isNatural,a__isNaturalKind,a__isPLNat,a__isPLNatKind,a__natsFrom,a__sel,a__snd,a__splitAt
            ,a__tail,a__take,mark} and constructors {0,U101,U102,U103,U104,U105,U106,U11,U111,U112,U12,U121,U122,U13
            ,U131,U14,U141,U151,U161,U171,U172,U181,U182,U183,U191,U192,U193,U201,U202,U203,U204,U205,U206,U21,U211,U22
            ,U221,U23,U231,U232,U24,U241,U242,U243,U244,U245,U246,U251,U252,U253,U254,U255,U256,U261,U262,U271,U272,U281
            ,U282,U291,U292,U293,U294,U301,U302,U303,U304,U31,U311,U312,U32,U321,U322,U323,U324,U325,U326,U327,U33,U331
            ,U332,U333,U334,U34,U341,U342,U343,U344,U41,U42,U43,U44,U45,U46,U51,U52,U53,U54,U55,U56,U61,U62,U63,U71,U72
            ,U73,U81,U82,U83,U91,U92,U93,afterNth,c,c1,c10,c100,c101,c102,c103,c104,c105,c106,c107,c108,c109,c11,c110
            ,c111,c112,c113,c114,c115,c116,c117,c118,c119,c12,c120,c121,c122,c123,c124,c125,c126,c127,c128,c129,c13,c130
            ,c131,c132,c133,c134,c135,c136,c137,c138,c139,c14,c140,c141,c142,c143,c144,c145,c146,c147,c148,c149,c15,c150
            ,c151,c152,c153,c154,c155,c156,c157,c158,c159,c16,c160,c161,c162,c163,c164,c165,c166,c167,c168,c169,c17,c170
            ,c171,c172,c173,c174,c175,c176,c177,c178,c179,c18,c180,c181,c182,c183,c184,c185,c186,c187,c188,c189,c19,c190
            ,c191,c192,c193,c194,c195,c196,c197,c198,c199,c2,c20,c200,c201,c202,c203,c204,c205,c206,c207,c208,c209,c21
            ,c210,c211,c212,c213,c214,c215,c216,c217,c218,c219,c22,c220,c221,c222,c223,c224,c225,c226,c227,c228,c229,c23
            ,c230,c231,c232,c233,c234,c235,c236,c237,c238,c239,c24,c240,c241,c242,c243,c244,c245,c246,c247,c248,c249,c25
            ,c250,c251,c252,c253,c254,c255,c256,c257,c258,c259,c26,c260,c261,c262,c263,c264,c265,c266,c267,c268,c269,c27
            ,c270,c271,c272,c273,c274,c275,c276,c277,c278,c279,c28,c280,c281,c282,c283,c284,c285,c286,c287,c288,c289,c29
            ,c290,c291,c292,c293,c294,c295,c296,c297,c298,c299,c3,c30,c300,c301,c302,c303,c304,c305,c306,c307,c308,c309
            ,c31,c310,c311,c312,c313,c314,c315,c316,c317,c318,c319,c32,c320,c321,c322,c323,c324,c325,c326,c327,c328,c329
            ,c33,c330,c331,c332,c333,c334,c335,c336,c337,c338,c339,c34,c340,c341,c342,c343,c344,c345,c346,c347,c348,c349
            ,c35,c350,c351,c352,c353,c354,c355,c356,c357,c358,c359,c36,c360,c361,c362,c363,c364,c365,c366,c367,c368,c369
            ,c37,c370,c371,c372,c373,c374,c375,c376,c377,c378,c379,c38,c380,c381,c382,c383,c384,c385,c386,c387,c388,c389
            ,c39,c390,c391,c392,c393,c394,c395,c396,c397,c398,c399,c4,c40,c400,c401,c402,c403,c404,c405,c406,c407,c408
            ,c409,c41,c410,c411,c412,c413,c414,c415,c416,c42,c43,c44,c45,c46,c47,c48,c49,c5,c50,c51,c52,c53,c54,c55,c56
            ,c57,c58,c59,c6,c60,c61,c62,c63,c64,c65,c66,c67,c68,c69,c7,c70,c71,c72,c73,c74,c75,c76,c77,c78,c79,c8,c80
            ,c81,c82,c83,c84,c85,c86,c87,c88,c89,c9,c90,c91,c92,c93,c94,c95,c96,c97,c98,c99,cons,fst,head,isLNat
            ,isLNatKind,isNatural,isNaturalKind,isPLNat,isPLNatKind,natsFrom,nil,pair,s,sel,snd,splitAt,tail,take,tt}
    + Applied Processor:
        DecreasingLoops {bound = AnyLoop, narrow = 10}
    + Details:
        The system has following decreasing Loops:
          A__ISLNATKIND(x){x -> tail(x)} =
            A__ISLNATKIND(tail(x)) ->^+ c248(A__U161(a__isLNatKind(x)),A__ISLNATKIND(x))
              = C[A__ISLNATKIND(x) = A__ISLNATKIND(x){}]

WORST_CASE(Omega(n^1),?)