- : unit = () - : unit = () h : heuristic = - : unit = () APPLY CRITERIA (Marked dependency pairs) TRS termination of: [1] a__U101(tt,V1,V2) -> a__U102(a__isNaturalKind(V1),V1,V2) [2] a__U102(tt,V1,V2) -> a__U103(a__isLNatKind(V2),V1,V2) [3] a__U103(tt,V1,V2) -> a__U104(a__isLNatKind(V2),V1,V2) [4] a__U104(tt,V1,V2) -> a__U105(a__isNatural(V1),V2) [5] a__U105(tt,V2) -> a__U106(a__isLNat(V2)) [6] a__U106(tt) -> tt [7] a__U11(tt,N,XS) -> a__U12(a__isNaturalKind(N),N,XS) [8] a__U111(tt,V2) -> a__U112(a__isLNatKind(V2)) [9] a__U112(tt) -> tt [10] a__U12(tt,N,XS) -> a__U13(a__isLNat(XS),N,XS) [11] a__U121(tt,V2) -> a__U122(a__isLNatKind(V2)) [12] a__U122(tt) -> tt [13] a__U13(tt,N,XS) -> a__U14(a__isLNatKind(XS),N,XS) [14] a__U131(tt) -> tt [15] a__U14(tt,N,XS) -> a__snd(a__splitAt(mark(N),mark(XS))) [16] a__U141(tt) -> tt [17] a__U151(tt) -> tt [18] a__U161(tt) -> tt [19] a__U171(tt,V2) -> a__U172(a__isLNatKind(V2)) [20] a__U172(tt) -> tt [21] a__U181(tt,V1) -> a__U182(a__isLNatKind(V1),V1) [22] a__U182(tt,V1) -> a__U183(a__isLNat(V1)) [23] a__U183(tt) -> tt [24] a__U191(tt,V1) -> a__U192(a__isNaturalKind(V1),V1) [25] a__U192(tt,V1) -> a__U193(a__isNatural(V1)) [26] a__U193(tt) -> tt [27] a__U201(tt,V1,V2) -> a__U202(a__isNaturalKind(V1),V1,V2) [28] a__U202(tt,V1,V2) -> a__U203(a__isLNatKind(V2),V1,V2) [29] a__U203(tt,V1,V2) -> a__U204(a__isLNatKind(V2),V1,V2) [30] a__U204(tt,V1,V2) -> a__U205(a__isNatural(V1),V2) [31] a__U205(tt,V2) -> a__U206(a__isLNat(V2)) [32] a__U206(tt) -> tt [33] a__U21(tt,X,Y) -> a__U22(a__isLNatKind(X),X,Y) [34] a__U211(tt) -> tt [35] a__U22(tt,X,Y) -> a__U23(a__isLNat(Y),X,Y) [36] a__U221(tt) -> tt [37] a__U23(tt,X,Y) -> a__U24(a__isLNatKind(Y),X) [38] a__U231(tt,V2) -> a__U232(a__isLNatKind(V2)) [39] a__U232(tt) -> tt [40] a__U24(tt,X) -> mark(X) [41] a__U241(tt,V1,V2) -> a__U242(a__isLNatKind(V1),V1,V2) [42] a__U242(tt,V1,V2) -> a__U243(a__isLNatKind(V2),V1,V2) [43] a__U243(tt,V1,V2) -> a__U244(a__isLNatKind(V2),V1,V2) [44] a__U244(tt,V1,V2) -> a__U245(a__isLNat(V1),V2) [45] a__U245(tt,V2) -> a__U246(a__isLNat(V2)) [46] a__U246(tt) -> tt [47] a__U251(tt,V1,V2) -> a__U252(a__isNaturalKind(V1),V1,V2) [48] a__U252(tt,V1,V2) -> a__U253(a__isLNatKind(V2),V1,V2) [49] a__U253(tt,V1,V2) -> a__U254(a__isLNatKind(V2),V1,V2) [50] a__U254(tt,V1,V2) -> a__U255(a__isNatural(V1),V2) [51] a__U255(tt,V2) -> a__U256(a__isLNat(V2)) [52] a__U256(tt) -> tt [53] a__U261(tt,V2) -> a__U262(a__isLNatKind(V2)) [54] a__U262(tt) -> tt [55] a__U271(tt,V2) -> a__U272(a__isLNatKind(V2)) [56] a__U272(tt) -> tt [57] a__U281(tt,N) -> a__U282(a__isNaturalKind(N),N) [58] a__U282(tt,N) -> cons(mark(N),natsFrom(s(N))) [59] a__U291(tt,N,XS) -> a__U292(a__isNaturalKind(N),N,XS) [60] a__U292(tt,N,XS) -> a__U293(a__isLNat(XS),N,XS) [61] a__U293(tt,N,XS) -> a__U294(a__isLNatKind(XS),N,XS) [62] a__U294(tt,N,XS) -> a__head(a__afterNth(mark(N),mark(XS))) [63] a__U301(tt,X,Y) -> a__U302(a__isLNatKind(X),Y) [64] a__U302(tt,Y) -> a__U303(a__isLNat(Y),Y) [65] a__U303(tt,Y) -> a__U304(a__isLNatKind(Y),Y) [66] a__U304(tt,Y) -> mark(Y) [67] a__U31(tt,N,XS) -> a__U32(a__isNaturalKind(N),N,XS) [68] a__U311(tt,XS) -> a__U312(a__isLNatKind(XS),XS) [69] a__U312(tt,XS) -> pair(nil,mark(XS)) [70] a__U32(tt,N,XS) -> a__U33(a__isLNat(XS),N,XS) [71] a__U321(tt,N,X,XS) -> a__U322(a__isNaturalKind(N),N,X,XS) [72] a__U322(tt,N,X,XS) -> a__U323(a__isNatural(X),N,X,XS) [73] a__U323(tt,N,X,XS) -> a__U324(a__isNaturalKind(X),N,X,XS) [74] a__U324(tt,N,X,XS) -> a__U325(a__isLNat(XS),N,X,XS) [75] a__U325(tt,N,X,XS) -> a__U326(a__isLNatKind(XS),N,X,XS) [76] a__U326(tt,N,X,XS) -> a__U327(a__splitAt(mark(N),mark(XS)),X) [77] a__U327(pair(YS,ZS),X) -> pair(cons(mark(X),YS),mark(ZS)) [78] a__U33(tt,N,XS) -> a__U34(a__isLNatKind(XS),N) [79] a__U331(tt,N,XS) -> a__U332(a__isNaturalKind(N),XS) [80] a__U332(tt,XS) -> a__U333(a__isLNat(XS),XS) [81] a__U333(tt,XS) -> a__U334(a__isLNatKind(XS),XS) [82] a__U334(tt,XS) -> mark(XS) [83] a__U34(tt,N) -> mark(N) [84] a__U341(tt,N,XS) -> a__U342(a__isNaturalKind(N),N,XS) [85] a__U342(tt,N,XS) -> a__U343(a__isLNat(XS),N,XS) [86] a__U343(tt,N,XS) -> a__U344(a__isLNatKind(XS),N,XS) [87] a__U344(tt,N,XS) -> a__fst(a__splitAt(mark(N),mark(XS))) [88] a__U41(tt,V1,V2) -> a__U42(a__isNaturalKind(V1),V1,V2) [89] a__U42(tt,V1,V2) -> a__U43(a__isLNatKind(V2),V1,V2) [90] a__U43(tt,V1,V2) -> a__U44(a__isLNatKind(V2),V1,V2) [91] a__U44(tt,V1,V2) -> a__U45(a__isNatural(V1),V2) [92] a__U45(tt,V2) -> a__U46(a__isLNat(V2)) [93] a__U46(tt) -> tt [94] a__U51(tt,V1,V2) -> a__U52(a__isNaturalKind(V1),V1,V2) [95] a__U52(tt,V1,V2) -> a__U53(a__isLNatKind(V2),V1,V2) [96] a__U53(tt,V1,V2) -> a__U54(a__isLNatKind(V2),V1,V2) [97] a__U54(tt,V1,V2) -> a__U55(a__isNatural(V1),V2) [98] a__U55(tt,V2) -> a__U56(a__isLNat(V2)) [99] a__U56(tt) -> tt [100] a__U61(tt,V1) -> a__U62(a__isPLNatKind(V1),V1) [101] a__U62(tt,V1) -> a__U63(a__isPLNat(V1)) [102] a__U63(tt) -> tt [103] a__U71(tt,V1) -> a__U72(a__isNaturalKind(V1),V1) [104] a__U72(tt,V1) -> a__U73(a__isNatural(V1)) [105] a__U73(tt) -> tt [106] a__U81(tt,V1) -> a__U82(a__isPLNatKind(V1),V1) [107] a__U82(tt,V1) -> a__U83(a__isPLNat(V1)) [108] a__U83(tt) -> tt [109] a__U91(tt,V1) -> a__U92(a__isLNatKind(V1),V1) [110] a__U92(tt,V1) -> a__U93(a__isLNat(V1)) [111] a__U93(tt) -> tt [112] a__afterNth(N,XS) -> a__U11(a__isNatural(N),N,XS) [113] a__fst(pair(X,Y)) -> a__U21(a__isLNat(X),X,Y) [114] a__head(cons(N,XS)) -> a__U31(a__isNatural(N),N,XS) [115] a__isLNat(nil) -> tt [116] a__isLNat(afterNth(V1,V2)) -> a__U41(a__isNaturalKind(V1),V1,V2) [117] a__isLNat(cons(V1,V2)) -> a__U51(a__isNaturalKind(V1),V1,V2) [118] a__isLNat(fst(V1)) -> a__U61(a__isPLNatKind(V1),V1) [119] a__isLNat(natsFrom(V1)) -> a__U71(a__isNaturalKind(V1),V1) [120] a__isLNat(snd(V1)) -> a__U81(a__isPLNatKind(V1),V1) [121] a__isLNat(tail(V1)) -> a__U91(a__isLNatKind(V1),V1) [122] a__isLNat(take(V1,V2)) -> a__U101(a__isNaturalKind(V1),V1,V2) [123] a__isLNatKind(nil) -> tt [124] a__isLNatKind(afterNth(V1,V2)) -> a__U111(a__isNaturalKind(V1),V2) [125] a__isLNatKind(cons(V1,V2)) -> a__U121(a__isNaturalKind(V1),V2) [126] a__isLNatKind(fst(V1)) -> a__U131(a__isPLNatKind(V1)) [127] a__isLNatKind(natsFrom(V1)) -> a__U141(a__isNaturalKind(V1)) [128] a__isLNatKind(snd(V1)) -> a__U151(a__isPLNatKind(V1)) [129] a__isLNatKind(tail(V1)) -> a__U161(a__isLNatKind(V1)) [130] a__isLNatKind(take(V1,V2)) -> a__U171(a__isNaturalKind(V1),V2) [131] a__isNatural(0) -> tt [132] a__isNatural(head(V1)) -> a__U181(a__isLNatKind(V1),V1) [133] a__isNatural(s(V1)) -> a__U191(a__isNaturalKind(V1),V1) [134] a__isNatural(sel(V1,V2)) -> a__U201(a__isNaturalKind(V1),V1,V2) [135] a__isNaturalKind(0) -> tt [136] a__isNaturalKind(head(V1)) -> a__U211(a__isLNatKind(V1)) [137] a__isNaturalKind(s(V1)) -> a__U221(a__isNaturalKind(V1)) [138] a__isNaturalKind(sel(V1,V2)) -> a__U231(a__isNaturalKind(V1),V2) [139] a__isPLNat(pair(V1,V2)) -> a__U241(a__isLNatKind(V1),V1,V2) [140] a__isPLNat(splitAt(V1,V2)) -> a__U251(a__isNaturalKind(V1),V1,V2) [141] a__isPLNatKind(pair(V1,V2)) -> a__U261(a__isLNatKind(V1),V2) [142] a__isPLNatKind(splitAt(V1,V2)) -> a__U271(a__isNaturalKind(V1),V2) [143] a__natsFrom(N) -> a__U281(a__isNatural(N),N) [144] a__sel(N,XS) -> a__U291(a__isNatural(N),N,XS) [145] a__snd(pair(X,Y)) -> a__U301(a__isLNat(X),X,Y) [146] a__splitAt(0,XS) -> a__U311(a__isLNat(XS),XS) [147] a__splitAt(s(N),cons(X,XS)) -> a__U321(a__isNatural(N),N,X,XS) [148] a__tail(cons(N,XS)) -> a__U331(a__isNatural(N),N,XS) [149] a__take(N,XS) -> a__U341(a__isNatural(N),N,XS) [150] mark(U101(X1,X2,X3)) -> a__U101(mark(X1),X2,X3) [151] mark(U102(X1,X2,X3)) -> a__U102(mark(X1),X2,X3) [152] mark(isNaturalKind(X)) -> a__isNaturalKind(X) [153] mark(U103(X1,X2,X3)) -> a__U103(mark(X1),X2,X3) [154] mark(isLNatKind(X)) -> a__isLNatKind(X) [155] mark(U104(X1,X2,X3)) -> a__U104(mark(X1),X2,X3) [156] mark(U105(X1,X2)) -> a__U105(mark(X1),X2) [157] mark(isNatural(X)) -> a__isNatural(X) [158] mark(U106(X)) -> a__U106(mark(X)) [159] mark(isLNat(X)) -> a__isLNat(X) [160] mark(U11(X1,X2,X3)) -> a__U11(mark(X1),X2,X3) [161] mark(U12(X1,X2,X3)) -> a__U12(mark(X1),X2,X3) [162] mark(U111(X1,X2)) -> a__U111(mark(X1),X2) [163] mark(U112(X)) -> a__U112(mark(X)) [164] mark(U13(X1,X2,X3)) -> a__U13(mark(X1),X2,X3) [165] mark(U121(X1,X2)) -> a__U121(mark(X1),X2) [166] mark(U122(X)) -> a__U122(mark(X)) [167] mark(U14(X1,X2,X3)) -> a__U14(mark(X1),X2,X3) [168] mark(U131(X)) -> a__U131(mark(X)) [169] mark(snd(X)) -> a__snd(mark(X)) [170] mark(splitAt(X1,X2)) -> a__splitAt(mark(X1),mark(X2)) [171] mark(U141(X)) -> a__U141(mark(X)) [172] mark(U151(X)) -> a__U151(mark(X)) [173] mark(U161(X)) -> a__U161(mark(X)) [174] mark(U171(X1,X2)) -> a__U171(mark(X1),X2) [175] mark(U172(X)) -> a__U172(mark(X)) [176] mark(U181(X1,X2)) -> a__U181(mark(X1),X2) [177] mark(U182(X1,X2)) -> a__U182(mark(X1),X2) [178] mark(U183(X)) -> a__U183(mark(X)) [179] mark(U191(X1,X2)) -> a__U191(mark(X1),X2) [180] mark(U192(X1,X2)) -> a__U192(mark(X1),X2) [181] mark(U193(X)) -> a__U193(mark(X)) [182] mark(U201(X1,X2,X3)) -> a__U201(mark(X1),X2,X3) [183] mark(U202(X1,X2,X3)) -> a__U202(mark(X1),X2,X3) [184] mark(U203(X1,X2,X3)) -> a__U203(mark(X1),X2,X3) [185] mark(U204(X1,X2,X3)) -> a__U204(mark(X1),X2,X3) [186] mark(U205(X1,X2)) -> a__U205(mark(X1),X2) [187] mark(U206(X)) -> a__U206(mark(X)) [188] mark(U21(X1,X2,X3)) -> a__U21(mark(X1),X2,X3) [189] mark(U22(X1,X2,X3)) -> a__U22(mark(X1),X2,X3) [190] mark(U211(X)) -> a__U211(mark(X)) [191] mark(U23(X1,X2,X3)) -> a__U23(mark(X1),X2,X3) [192] mark(U221(X)) -> a__U221(mark(X)) [193] mark(U24(X1,X2)) -> a__U24(mark(X1),X2) [194] mark(U231(X1,X2)) -> a__U231(mark(X1),X2) [195] mark(U232(X)) -> a__U232(mark(X)) [196] mark(U241(X1,X2,X3)) -> a__U241(mark(X1),X2,X3) [197] mark(U242(X1,X2,X3)) -> a__U242(mark(X1),X2,X3) [198] mark(U243(X1,X2,X3)) -> a__U243(mark(X1),X2,X3) [199] mark(U244(X1,X2,X3)) -> a__U244(mark(X1),X2,X3) [200] mark(U245(X1,X2)) -> a__U245(mark(X1),X2) [201] mark(U246(X)) -> a__U246(mark(X)) [202] mark(U251(X1,X2,X3)) -> a__U251(mark(X1),X2,X3) [203] mark(U252(X1,X2,X3)) -> a__U252(mark(X1),X2,X3) [204] mark(U253(X1,X2,X3)) -> a__U253(mark(X1),X2,X3) [205] mark(U254(X1,X2,X3)) -> a__U254(mark(X1),X2,X3) [206] mark(U255(X1,X2)) -> a__U255(mark(X1),X2) [207] mark(U256(X)) -> a__U256(mark(X)) [208] mark(U261(X1,X2)) -> a__U261(mark(X1),X2) [209] mark(U262(X)) -> a__U262(mark(X)) [210] mark(U271(X1,X2)) -> a__U271(mark(X1),X2) [211] mark(U272(X)) -> a__U272(mark(X)) [212] mark(U281(X1,X2)) -> a__U281(mark(X1),X2) [213] mark(U282(X1,X2)) -> a__U282(mark(X1),X2) [214] mark(natsFrom(X)) -> a__natsFrom(mark(X)) [215] mark(U291(X1,X2,X3)) -> a__U291(mark(X1),X2,X3) [216] mark(U292(X1,X2,X3)) -> a__U292(mark(X1),X2,X3) [217] mark(U293(X1,X2,X3)) -> a__U293(mark(X1),X2,X3) [218] mark(U294(X1,X2,X3)) -> a__U294(mark(X1),X2,X3) [219] mark(head(X)) -> a__head(mark(X)) [220] mark(afterNth(X1,X2)) -> a__afterNth(mark(X1),mark(X2)) [221] mark(U301(X1,X2,X3)) -> a__U301(mark(X1),X2,X3) [222] mark(U302(X1,X2)) -> a__U302(mark(X1),X2) [223] mark(U303(X1,X2)) -> a__U303(mark(X1),X2) [224] mark(U304(X1,X2)) -> a__U304(mark(X1),X2) [225] mark(U31(X1,X2,X3)) -> a__U31(mark(X1),X2,X3) [226] mark(U32(X1,X2,X3)) -> a__U32(mark(X1),X2,X3) [227] mark(U311(X1,X2)) -> a__U311(mark(X1),X2) [228] mark(U312(X1,X2)) -> a__U312(mark(X1),X2) [229] mark(U33(X1,X2,X3)) -> a__U33(mark(X1),X2,X3) [230] mark(U321(X1,X2,X3,X4)) -> a__U321(mark(X1),X2,X3,X4) [231] mark(U322(X1,X2,X3,X4)) -> a__U322(mark(X1),X2,X3,X4) [232] mark(U323(X1,X2,X3,X4)) -> a__U323(mark(X1),X2,X3,X4) [233] mark(U324(X1,X2,X3,X4)) -> a__U324(mark(X1),X2,X3,X4) [234] mark(U325(X1,X2,X3,X4)) -> a__U325(mark(X1),X2,X3,X4) [235] mark(U326(X1,X2,X3,X4)) -> a__U326(mark(X1),X2,X3,X4) [236] mark(U327(X1,X2)) -> a__U327(mark(X1),X2) [237] mark(U34(X1,X2)) -> a__U34(mark(X1),X2) [238] mark(U331(X1,X2,X3)) -> a__U331(mark(X1),X2,X3) [239] mark(U332(X1,X2)) -> a__U332(mark(X1),X2) [240] mark(U333(X1,X2)) -> a__U333(mark(X1),X2) [241] mark(U334(X1,X2)) -> a__U334(mark(X1),X2) [242] mark(U341(X1,X2,X3)) -> a__U341(mark(X1),X2,X3) [243] mark(U342(X1,X2,X3)) -> a__U342(mark(X1),X2,X3) [244] mark(U343(X1,X2,X3)) -> a__U343(mark(X1),X2,X3) [245] mark(U344(X1,X2,X3)) -> a__U344(mark(X1),X2,X3) [246] mark(fst(X)) -> a__fst(mark(X)) [247] mark(U41(X1,X2,X3)) -> a__U41(mark(X1),X2,X3) [248] mark(U42(X1,X2,X3)) -> a__U42(mark(X1),X2,X3) [249] mark(U43(X1,X2,X3)) -> a__U43(mark(X1),X2,X3) [250] mark(U44(X1,X2,X3)) -> a__U44(mark(X1),X2,X3) [251] mark(U45(X1,X2)) -> a__U45(mark(X1),X2) [252] mark(U46(X)) -> a__U46(mark(X)) [253] mark(U51(X1,X2,X3)) -> a__U51(mark(X1),X2,X3) [254] mark(U52(X1,X2,X3)) -> a__U52(mark(X1),X2,X3) [255] mark(U53(X1,X2,X3)) -> a__U53(mark(X1),X2,X3) [256] mark(U54(X1,X2,X3)) -> a__U54(mark(X1),X2,X3) [257] mark(U55(X1,X2)) -> a__U55(mark(X1),X2) [258] mark(U56(X)) -> a__U56(mark(X)) [259] mark(U61(X1,X2)) -> a__U61(mark(X1),X2) [260] mark(U62(X1,X2)) -> a__U62(mark(X1),X2) [261] mark(isPLNatKind(X)) -> a__isPLNatKind(X) [262] mark(U63(X)) -> a__U63(mark(X)) [263] mark(isPLNat(X)) -> a__isPLNat(X) [264] mark(U71(X1,X2)) -> a__U71(mark(X1),X2) [265] mark(U72(X1,X2)) -> a__U72(mark(X1),X2) [266] mark(U73(X)) -> a__U73(mark(X)) [267] mark(U81(X1,X2)) -> a__U81(mark(X1),X2) [268] mark(U82(X1,X2)) -> a__U82(mark(X1),X2) [269] mark(U83(X)) -> a__U83(mark(X)) [270] mark(U91(X1,X2)) -> a__U91(mark(X1),X2) [271] mark(U92(X1,X2)) -> a__U92(mark(X1),X2) [272] mark(U93(X)) -> a__U93(mark(X)) [273] mark(tail(X)) -> a__tail(mark(X)) [274] mark(take(X1,X2)) -> a__take(mark(X1),mark(X2)) [275] mark(sel(X1,X2)) -> a__sel(mark(X1),mark(X2)) [276] mark(tt) -> tt [277] mark(cons(X1,X2)) -> cons(mark(X1),X2) [278] mark(s(X)) -> s(mark(X)) [279] mark(pair(X1,X2)) -> pair(mark(X1),mark(X2)) [280] mark(nil) -> nil [281] mark(0) -> 0 [282] a__U101(X1,X2,X3) -> U101(X1,X2,X3) [283] a__U102(X1,X2,X3) -> U102(X1,X2,X3) [284] a__isNaturalKind(X) -> isNaturalKind(X) [285] a__U103(X1,X2,X3) -> U103(X1,X2,X3) [286] a__isLNatKind(X) -> isLNatKind(X) [287] a__U104(X1,X2,X3) -> U104(X1,X2,X3) [288] a__U105(X1,X2) -> U105(X1,X2) [289] a__isNatural(X) -> isNatural(X) [290] a__U106(X) -> U106(X) [291] a__isLNat(X) -> isLNat(X) [292] a__U11(X1,X2,X3) -> U11(X1,X2,X3) [293] a__U12(X1,X2,X3) -> U12(X1,X2,X3) [294] a__U111(X1,X2) -> U111(X1,X2) [295] a__U112(X) -> U112(X) [296] a__U13(X1,X2,X3) -> U13(X1,X2,X3) [297] a__U121(X1,X2) -> U121(X1,X2) [298] a__U122(X) -> U122(X) [299] a__U14(X1,X2,X3) -> U14(X1,X2,X3) [300] a__U131(X) -> U131(X) [301] a__snd(X) -> snd(X) [302] a__splitAt(X1,X2) -> splitAt(X1,X2) [303] a__U141(X) -> U141(X) [304] a__U151(X) -> U151(X) [305] a__U161(X) -> U161(X) [306] a__U171(X1,X2) -> U171(X1,X2) [307] a__U172(X) -> U172(X) [308] a__U181(X1,X2) -> U181(X1,X2) [309] a__U182(X1,X2) -> U182(X1,X2) [310] a__U183(X) -> U183(X) [311] a__U191(X1,X2) -> U191(X1,X2) [312] a__U192(X1,X2) -> U192(X1,X2) [313] a__U193(X) -> U193(X) [314] a__U201(X1,X2,X3) -> U201(X1,X2,X3) [315] a__U202(X1,X2,X3) -> U202(X1,X2,X3) [316] a__U203(X1,X2,X3) -> U203(X1,X2,X3) [317] a__U204(X1,X2,X3) -> U204(X1,X2,X3) [318] a__U205(X1,X2) -> U205(X1,X2) [319] a__U206(X) -> U206(X) [320] a__U21(X1,X2,X3) -> U21(X1,X2,X3) [321] a__U22(X1,X2,X3) -> U22(X1,X2,X3) [322] a__U211(X) -> U211(X) [323] a__U23(X1,X2,X3) -> U23(X1,X2,X3) [324] a__U221(X) -> U221(X) [325] a__U24(X1,X2) -> U24(X1,X2) [326] a__U231(X1,X2) -> U231(X1,X2) [327] a__U232(X) -> U232(X) [328] a__U241(X1,X2,X3) -> U241(X1,X2,X3) [329] a__U242(X1,X2,X3) -> U242(X1,X2,X3) [330] a__U243(X1,X2,X3) -> U243(X1,X2,X3) [331] a__U244(X1,X2,X3) -> U244(X1,X2,X3) [332] a__U245(X1,X2) -> U245(X1,X2) [333] a__U246(X) -> U246(X) [334] a__U251(X1,X2,X3) -> U251(X1,X2,X3) [335] a__U252(X1,X2,X3) -> U252(X1,X2,X3) [336] a__U253(X1,X2,X3) -> U253(X1,X2,X3) [337] a__U254(X1,X2,X3) -> U254(X1,X2,X3) [338] a__U255(X1,X2) -> U255(X1,X2) [339] a__U256(X) -> U256(X) [340] a__U261(X1,X2) -> U261(X1,X2) [341] a__U262(X) -> U262(X) [342] a__U271(X1,X2) -> U271(X1,X2) [343] a__U272(X) -> U272(X) [344] a__U281(X1,X2) -> U281(X1,X2) [345] a__U282(X1,X2) -> U282(X1,X2) [346] a__natsFrom(X) -> natsFrom(X) [347] a__U291(X1,X2,X3) -> U291(X1,X2,X3) [348] a__U292(X1,X2,X3) -> U292(X1,X2,X3) [349] a__U293(X1,X2,X3) -> U293(X1,X2,X3) [350] a__U294(X1,X2,X3) -> U294(X1,X2,X3) [351] a__head(X) -> head(X) [352] a__afterNth(X1,X2) -> afterNth(X1,X2) [353] a__U301(X1,X2,X3) -> U301(X1,X2,X3) [354] a__U302(X1,X2) -> U302(X1,X2) [355] a__U303(X1,X2) -> U303(X1,X2) [356] a__U304(X1,X2) -> U304(X1,X2) [357] a__U31(X1,X2,X3) -> U31(X1,X2,X3) [358] a__U32(X1,X2,X3) -> U32(X1,X2,X3) [359] a__U311(X1,X2) -> U311(X1,X2) [360] a__U312(X1,X2) -> U312(X1,X2) [361] a__U33(X1,X2,X3) -> U33(X1,X2,X3) [362] a__U321(X1,X2,X3,X4) -> U321(X1,X2,X3,X4) [363] a__U322(X1,X2,X3,X4) -> U322(X1,X2,X3,X4) [364] a__U323(X1,X2,X3,X4) -> U323(X1,X2,X3,X4) [365] a__U324(X1,X2,X3,X4) -> U324(X1,X2,X3,X4) [366] a__U325(X1,X2,X3,X4) -> U325(X1,X2,X3,X4) [367] a__U326(X1,X2,X3,X4) -> U326(X1,X2,X3,X4) [368] a__U327(X1,X2) -> U327(X1,X2) [369] a__U34(X1,X2) -> U34(X1,X2) [370] a__U331(X1,X2,X3) -> U331(X1,X2,X3) [371] a__U332(X1,X2) -> U332(X1,X2) [372] a__U333(X1,X2) -> U333(X1,X2) [373] a__U334(X1,X2) -> U334(X1,X2) [374] a__U341(X1,X2,X3) -> U341(X1,X2,X3) [375] a__U342(X1,X2,X3) -> U342(X1,X2,X3) [376] a__U343(X1,X2,X3) -> U343(X1,X2,X3) [377] a__U344(X1,X2,X3) -> U344(X1,X2,X3) [378] a__fst(X) -> fst(X) [379] a__U41(X1,X2,X3) -> U41(X1,X2,X3) [380] a__U42(X1,X2,X3) -> U42(X1,X2,X3) [381] a__U43(X1,X2,X3) -> U43(X1,X2,X3) [382] a__U44(X1,X2,X3) -> U44(X1,X2,X3) [383] a__U45(X1,X2) -> U45(X1,X2) [384] a__U46(X) -> U46(X) [385] a__U51(X1,X2,X3) -> U51(X1,X2,X3) [386] a__U52(X1,X2,X3) -> U52(X1,X2,X3) [387] a__U53(X1,X2,X3) -> U53(X1,X2,X3) [388] a__U54(X1,X2,X3) -> U54(X1,X2,X3) [389] a__U55(X1,X2) -> U55(X1,X2) [390] a__U56(X) -> U56(X) [391] a__U61(X1,X2) -> U61(X1,X2) [392] a__U62(X1,X2) -> U62(X1,X2) [393] a__isPLNatKind(X) -> isPLNatKind(X) [394] a__U63(X) -> U63(X) [395] a__isPLNat(X) -> isPLNat(X) [396] a__U71(X1,X2) -> U71(X1,X2) [397] a__U72(X1,X2) -> U72(X1,X2) [398] a__U73(X) -> U73(X) [399] a__U81(X1,X2) -> U81(X1,X2) [400] a__U82(X1,X2) -> U82(X1,X2) [401] a__U83(X) -> U83(X) [402] a__U91(X1,X2) -> U91(X1,X2) [403] a__U92(X1,X2) -> U92(X1,X2) [404] a__U93(X) -> U93(X) [405] a__tail(X) -> tail(X) [406] a__take(X1,X2) -> take(X1,X2) [407] a__sel(X1,X2) -> sel(X1,X2) Sub problem: guided: DP termination of: END GUIDED APPLY CRITERIA (Graph splitting) Found 3 components: { --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> } { --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> } { --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> } APPLY CRITERIA (Subterm criterion) APPLY CRITERIA (Choosing graph) Trying to solve the following constraints: { a__U102(tt,V1,V2) >= a__U103(a__isLNatKind(V2),V1,V2) ; a__U102(X1,X2,X3) >= U102(X1,X2,X3) ; a__isNaturalKind(s(V1)) >= a__U221(a__isNaturalKind(V1)) ; a__isNaturalKind(0) >= tt ; a__isNaturalKind(head(V1)) >= a__U211(a__isLNatKind(V1)) ; a__isNaturalKind(sel(V1,V2)) >= a__U231(a__isNaturalKind(V1),V2) ; a__isNaturalKind(X) >= isNaturalKind(X) ; a__U101(tt,V1,V2) >= a__U102(a__isNaturalKind(V1),V1,V2) ; a__U101(X1,X2,X3) >= U101(X1,X2,X3) ; a__U103(tt,V1,V2) >= a__U104(a__isLNatKind(V2),V1,V2) ; a__U103(X1,X2,X3) >= U103(X1,X2,X3) ; a__isLNatKind(cons(V1,V2)) >= a__U121(a__isNaturalKind(V1),V2) ; a__isLNatKind(natsFrom(V1)) >= a__U141(a__isNaturalKind(V1)) ; a__isLNatKind(nil) >= tt ; a__isLNatKind(afterNth(V1,V2)) >= a__U111(a__isNaturalKind(V1),V2) ; a__isLNatKind(fst(V1)) >= a__U131(a__isPLNatKind(V1)) ; a__isLNatKind(snd(V1)) >= a__U151(a__isPLNatKind(V1)) ; a__isLNatKind(tail(V1)) >= a__U161(a__isLNatKind(V1)) ; a__isLNatKind(take(V1,V2)) >= a__U171(a__isNaturalKind(V1),V2) ; a__isLNatKind(X) >= isLNatKind(X) ; a__U104(tt,V1,V2) >= a__U105(a__isNatural(V1),V2) ; a__U104(X1,X2,X3) >= U104(X1,X2,X3) ; a__U105(tt,V2) >= a__U106(a__isLNat(V2)) ; a__U105(X1,X2) >= U105(X1,X2) ; a__isNatural(s(V1)) >= a__U191(a__isNaturalKind(V1),V1) ; a__isNatural(0) >= tt ; a__isNatural(head(V1)) >= a__U181(a__isLNatKind(V1),V1) ; a__isNatural(sel(V1,V2)) >= a__U201(a__isNaturalKind(V1),V1,V2) ; a__isNatural(X) >= isNatural(X) ; a__U106(tt) >= tt ; a__U106(X) >= U106(X) ; a__isLNat(cons(V1,V2)) >= a__U51(a__isNaturalKind(V1),V1,V2) ; a__isLNat(natsFrom(V1)) >= a__U71(a__isNaturalKind(V1),V1) ; a__isLNat(nil) >= tt ; a__isLNat(afterNth(V1,V2)) >= a__U41(a__isNaturalKind(V1),V1,V2) ; a__isLNat(fst(V1)) >= a__U61(a__isPLNatKind(V1),V1) ; a__isLNat(snd(V1)) >= a__U81(a__isPLNatKind(V1),V1) ; a__isLNat(tail(V1)) >= a__U91(a__isLNatKind(V1),V1) ; a__isLNat(take(V1,V2)) >= a__U101(a__isNaturalKind(V1),V1,V2) ; a__isLNat(X) >= isLNat(X) ; a__U12(tt,N,XS) >= a__U13(a__isLNat(XS),N,XS) ; a__U12(X1,X2,X3) >= U12(X1,X2,X3) ; a__U11(tt,N,XS) >= a__U12(a__isNaturalKind(N),N,XS) ; a__U11(X1,X2,X3) >= U11(X1,X2,X3) ; a__U112(tt) >= tt ; a__U112(X) >= U112(X) ; a__U111(tt,V2) >= a__U112(a__isLNatKind(V2)) ; a__U111(X1,X2) >= U111(X1,X2) ; a__U13(tt,N,XS) >= a__U14(a__isLNatKind(XS),N,XS) ; a__U13(X1,X2,X3) >= U13(X1,X2,X3) ; a__U122(tt) >= tt ; a__U122(X) >= U122(X) ; a__U121(tt,V2) >= a__U122(a__isLNatKind(V2)) ; a__U121(X1,X2) >= U121(X1,X2) ; a__U14(tt,N,XS) >= a__snd(a__splitAt(mark(N),mark(XS))) ; a__U14(X1,X2,X3) >= U14(X1,X2,X3) ; a__U131(tt) >= tt ; a__U131(X) >= U131(X) ; a__snd(pair(X,Y)) >= a__U301(a__isLNat(X),X,Y) ; a__snd(X) >= snd(X) ; a__splitAt(s(N),cons(X,XS)) >= a__U321(a__isNatural(N),N,X,XS) ; a__splitAt(0,XS) >= a__U311(a__isLNat(XS),XS) ; a__splitAt(X1,X2) >= splitAt(X1,X2) ; mark(tt) >= tt ; mark(cons(X1,X2)) >= cons(mark(X1),X2) ; mark(natsFrom(X)) >= a__natsFrom(mark(X)) ; mark(s(X)) >= s(mark(X)) ; mark(pair(X1,X2)) >= pair(mark(X1),mark(X2)) ; mark(nil) >= nil ; mark(afterNth(X1,X2)) >= a__afterNth(mark(X1),mark(X2)) ; mark(fst(X)) >= a__fst(mark(X)) ; mark(snd(X)) >= a__snd(mark(X)) ; mark(tail(X)) >= a__tail(mark(X)) ; mark(take(X1,X2)) >= a__take(mark(X1),mark(X2)) ; mark(0) >= 0 ; mark(head(X)) >= a__head(mark(X)) ; mark(sel(X1,X2)) >= a__sel(mark(X1),mark(X2)) ; mark(splitAt(X1,X2)) >= a__splitAt(mark(X1),mark(X2)) ; mark(U101(X1,X2,X3)) >= a__U101(mark(X1),X2,X3) ; mark(U102(X1,X2,X3)) >= a__U102(mark(X1),X2,X3) ; mark(isNaturalKind(X)) >= a__isNaturalKind(X) ; mark(U103(X1,X2,X3)) >= a__U103(mark(X1),X2,X3) ; mark(isLNatKind(X)) >= a__isLNatKind(X) ; mark(U104(X1,X2,X3)) >= a__U104(mark(X1),X2,X3) ; mark(U105(X1,X2)) >= a__U105(mark(X1),X2) ; mark(isNatural(X)) >= a__isNatural(X) ; mark(U106(X)) >= a__U106(mark(X)) ; mark(isLNat(X)) >= a__isLNat(X) ; mark(U11(X1,X2,X3)) >= a__U11(mark(X1),X2,X3) ; mark(U12(X1,X2,X3)) >= a__U12(mark(X1),X2,X3) ; mark(U111(X1,X2)) >= a__U111(mark(X1),X2) ; mark(U112(X)) >= a__U112(mark(X)) ; mark(U13(X1,X2,X3)) >= a__U13(mark(X1),X2,X3) ; mark(U121(X1,X2)) >= a__U121(mark(X1),X2) ; mark(U122(X)) >= a__U122(mark(X)) ; mark(U14(X1,X2,X3)) >= a__U14(mark(X1),X2,X3) ; mark(U131(X)) >= a__U131(mark(X)) ; mark(U141(X)) >= a__U141(mark(X)) ; mark(U151(X)) >= a__U151(mark(X)) ; mark(U161(X)) >= a__U161(mark(X)) ; mark(U171(X1,X2)) >= a__U171(mark(X1),X2) ; mark(U172(X)) >= a__U172(mark(X)) ; mark(U181(X1,X2)) >= a__U181(mark(X1),X2) ; mark(U182(X1,X2)) >= a__U182(mark(X1),X2) ; mark(U183(X)) >= a__U183(mark(X)) ; mark(U191(X1,X2)) >= a__U191(mark(X1),X2) ; mark(U192(X1,X2)) >= a__U192(mark(X1),X2) ; mark(U193(X)) >= a__U193(mark(X)) ; mark(U201(X1,X2,X3)) >= a__U201(mark(X1),X2,X3) ; mark(U202(X1,X2,X3)) >= a__U202(mark(X1),X2,X3) ; mark(U203(X1,X2,X3)) >= a__U203(mark(X1),X2,X3) ; mark(U204(X1,X2,X3)) >= a__U204(mark(X1),X2,X3) ; mark(U205(X1,X2)) >= a__U205(mark(X1),X2) ; mark(U206(X)) >= a__U206(mark(X)) ; mark(U21(X1,X2,X3)) >= a__U21(mark(X1),X2,X3) ; mark(U22(X1,X2,X3)) >= a__U22(mark(X1),X2,X3) ; mark(U211(X)) >= a__U211(mark(X)) ; mark(U23(X1,X2,X3)) >= a__U23(mark(X1),X2,X3) ; mark(U221(X)) >= a__U221(mark(X)) ; mark(U24(X1,X2)) >= a__U24(mark(X1),X2) ; mark(U231(X1,X2)) >= a__U231(mark(X1),X2) ; mark(U232(X)) >= a__U232(mark(X)) ; mark(U241(X1,X2,X3)) >= a__U241(mark(X1),X2,X3) ; mark(U242(X1,X2,X3)) >= a__U242(mark(X1),X2,X3) ; mark(U243(X1,X2,X3)) >= a__U243(mark(X1),X2,X3) ; mark(U244(X1,X2,X3)) >= a__U244(mark(X1),X2,X3) ; mark(U245(X1,X2)) >= a__U245(mark(X1),X2) ; mark(U246(X)) >= a__U246(mark(X)) ; mark(U251(X1,X2,X3)) >= a__U251(mark(X1),X2,X3) ; mark(U252(X1,X2,X3)) >= a__U252(mark(X1),X2,X3) ; mark(U253(X1,X2,X3)) >= a__U253(mark(X1),X2,X3) ; mark(U254(X1,X2,X3)) >= a__U254(mark(X1),X2,X3) ; mark(U255(X1,X2)) >= a__U255(mark(X1),X2) ; mark(U256(X)) >= a__U256(mark(X)) ; mark(U261(X1,X2)) >= a__U261(mark(X1),X2) ; mark(U262(X)) >= a__U262(mark(X)) ; mark(U271(X1,X2)) >= a__U271(mark(X1),X2) ; mark(U272(X)) >= a__U272(mark(X)) ; mark(U281(X1,X2)) >= a__U281(mark(X1),X2) ; mark(U282(X1,X2)) >= a__U282(mark(X1),X2) ; mark(U291(X1,X2,X3)) >= a__U291(mark(X1),X2,X3) ; mark(U292(X1,X2,X3)) >= a__U292(mark(X1),X2,X3) ; mark(U293(X1,X2,X3)) >= a__U293(mark(X1),X2,X3) ; mark(U294(X1,X2,X3)) >= a__U294(mark(X1),X2,X3) ; mark(U301(X1,X2,X3)) >= a__U301(mark(X1),X2,X3) ; mark(U302(X1,X2)) >= a__U302(mark(X1),X2) ; mark(U303(X1,X2)) >= a__U303(mark(X1),X2) ; mark(U304(X1,X2)) >= a__U304(mark(X1),X2) ; mark(U31(X1,X2,X3)) >= a__U31(mark(X1),X2,X3) ; mark(U32(X1,X2,X3)) >= a__U32(mark(X1),X2,X3) ; mark(U311(X1,X2)) >= a__U311(mark(X1),X2) ; mark(U312(X1,X2)) >= a__U312(mark(X1),X2) ; mark(U33(X1,X2,X3)) >= a__U33(mark(X1),X2,X3) ; mark(U321(X1,X2,X3,X4)) >= a__U321(mark(X1),X2,X3,X4) ; mark(U322(X1,X2,X3,X4)) >= a__U322(mark(X1),X2,X3,X4) ; mark(U323(X1,X2,X3,X4)) >= a__U323(mark(X1),X2,X3,X4) ; mark(U324(X1,X2,X3,X4)) >= a__U324(mark(X1),X2,X3,X4) ; mark(U325(X1,X2,X3,X4)) >= a__U325(mark(X1),X2,X3,X4) ; mark(U326(X1,X2,X3,X4)) >= a__U326(mark(X1),X2,X3,X4) ; mark(U327(X1,X2)) >= a__U327(mark(X1),X2) ; mark(U34(X1,X2)) >= a__U34(mark(X1),X2) ; mark(U331(X1,X2,X3)) >= a__U331(mark(X1),X2,X3) ; mark(U332(X1,X2)) >= a__U332(mark(X1),X2) ; mark(U333(X1,X2)) >= a__U333(mark(X1),X2) ; mark(U334(X1,X2)) >= a__U334(mark(X1),X2) ; mark(U341(X1,X2,X3)) >= a__U341(mark(X1),X2,X3) ; mark(U342(X1,X2,X3)) >= a__U342(mark(X1),X2,X3) ; mark(U343(X1,X2,X3)) >= a__U343(mark(X1),X2,X3) ; mark(U344(X1,X2,X3)) >= a__U344(mark(X1),X2,X3) ; mark(U41(X1,X2,X3)) >= a__U41(mark(X1),X2,X3) ; mark(U42(X1,X2,X3)) >= a__U42(mark(X1),X2,X3) ; mark(U43(X1,X2,X3)) >= a__U43(mark(X1),X2,X3) ; mark(U44(X1,X2,X3)) >= a__U44(mark(X1),X2,X3) ; mark(U45(X1,X2)) >= a__U45(mark(X1),X2) ; mark(U46(X)) >= a__U46(mark(X)) ; mark(U51(X1,X2,X3)) >= a__U51(mark(X1),X2,X3) ; mark(U52(X1,X2,X3)) >= a__U52(mark(X1),X2,X3) ; mark(U53(X1,X2,X3)) >= a__U53(mark(X1),X2,X3) ; mark(U54(X1,X2,X3)) >= a__U54(mark(X1),X2,X3) ; mark(U55(X1,X2)) >= a__U55(mark(X1),X2) ; mark(U56(X)) >= a__U56(mark(X)) ; mark(U61(X1,X2)) >= a__U61(mark(X1),X2) ; mark(U62(X1,X2)) >= a__U62(mark(X1),X2) ; mark(isPLNatKind(X)) >= a__isPLNatKind(X) ; mark(U63(X)) >= a__U63(mark(X)) ; mark(isPLNat(X)) >= a__isPLNat(X) ; mark(U71(X1,X2)) >= a__U71(mark(X1),X2) ; mark(U72(X1,X2)) >= a__U72(mark(X1),X2) ; mark(U73(X)) >= a__U73(mark(X)) ; mark(U81(X1,X2)) >= a__U81(mark(X1),X2) ; mark(U82(X1,X2)) >= a__U82(mark(X1),X2) ; mark(U83(X)) >= a__U83(mark(X)) ; mark(U91(X1,X2)) >= a__U91(mark(X1),X2) ; mark(U92(X1,X2)) >= a__U92(mark(X1),X2) ; mark(U93(X)) >= a__U93(mark(X)) ; a__U141(tt) >= tt ; a__U141(X) >= U141(X) ; a__U151(tt) >= tt ; a__U151(X) >= U151(X) ; a__U161(tt) >= tt ; a__U161(X) >= U161(X) ; a__U172(tt) >= tt ; a__U172(X) >= U172(X) ; a__U171(tt,V2) >= a__U172(a__isLNatKind(V2)) ; a__U171(X1,X2) >= U171(X1,X2) ; a__U182(tt,V1) >= a__U183(a__isLNat(V1)) ; a__U182(X1,X2) >= U182(X1,X2) ; a__U181(tt,V1) >= a__U182(a__isLNatKind(V1),V1) ; a__U181(X1,X2) >= U181(X1,X2) ; a__U183(tt) >= tt ; a__U183(X) >= U183(X) ; a__U192(tt,V1) >= a__U193(a__isNatural(V1)) ; a__U192(X1,X2) >= U192(X1,X2) ; a__U191(tt,V1) >= a__U192(a__isNaturalKind(V1),V1) ; a__U191(X1,X2) >= U191(X1,X2) ; a__U193(tt) >= tt ; a__U193(X) >= U193(X) ; a__U202(tt,V1,V2) >= a__U203(a__isLNatKind(V2),V1,V2) ; a__U202(X1,X2,X3) >= U202(X1,X2,X3) ; a__U201(tt,V1,V2) >= a__U202(a__isNaturalKind(V1),V1,V2) ; a__U201(X1,X2,X3) >= U201(X1,X2,X3) ; a__U203(tt,V1,V2) >= a__U204(a__isLNatKind(V2),V1,V2) ; a__U203(X1,X2,X3) >= U203(X1,X2,X3) ; a__U204(tt,V1,V2) >= a__U205(a__isNatural(V1),V2) ; a__U204(X1,X2,X3) >= U204(X1,X2,X3) ; a__U205(tt,V2) >= a__U206(a__isLNat(V2)) ; a__U205(X1,X2) >= U205(X1,X2) ; a__U206(tt) >= tt ; a__U206(X) >= U206(X) ; a__U22(tt,X,Y) >= a__U23(a__isLNat(Y),X,Y) ; a__U22(X1,X2,X3) >= U22(X1,X2,X3) ; a__U21(tt,X,Y) >= a__U22(a__isLNatKind(X),X,Y) ; a__U21(X1,X2,X3) >= U21(X1,X2,X3) ; a__U211(tt) >= tt ; a__U211(X) >= U211(X) ; a__U23(tt,X,Y) >= a__U24(a__isLNatKind(Y),X) ; a__U23(X1,X2,X3) >= U23(X1,X2,X3) ; a__U221(tt) >= tt ; a__U221(X) >= U221(X) ; a__U24(tt,X) >= mark(X) ; a__U24(X1,X2) >= U24(X1,X2) ; a__U232(tt) >= tt ; a__U232(X) >= U232(X) ; a__U231(tt,V2) >= a__U232(a__isLNatKind(V2)) ; a__U231(X1,X2) >= U231(X1,X2) ; a__U242(tt,V1,V2) >= a__U243(a__isLNatKind(V2),V1,V2) ; a__U242(X1,X2,X3) >= U242(X1,X2,X3) ; a__U241(tt,V1,V2) >= a__U242(a__isLNatKind(V1),V1,V2) ; a__U241(X1,X2,X3) >= U241(X1,X2,X3) ; a__U243(tt,V1,V2) >= a__U244(a__isLNatKind(V2),V1,V2) ; a__U243(X1,X2,X3) >= U243(X1,X2,X3) ; a__U244(tt,V1,V2) >= a__U245(a__isLNat(V1),V2) ; a__U244(X1,X2,X3) >= U244(X1,X2,X3) ; a__U245(tt,V2) >= a__U246(a__isLNat(V2)) ; a__U245(X1,X2) >= U245(X1,X2) ; a__U246(tt) >= tt ; a__U246(X) >= U246(X) ; a__U252(tt,V1,V2) >= a__U253(a__isLNatKind(V2),V1,V2) ; a__U252(X1,X2,X3) >= U252(X1,X2,X3) ; a__U251(tt,V1,V2) >= a__U252(a__isNaturalKind(V1),V1,V2) ; a__U251(X1,X2,X3) >= U251(X1,X2,X3) ; a__U253(tt,V1,V2) >= a__U254(a__isLNatKind(V2),V1,V2) ; a__U253(X1,X2,X3) >= U253(X1,X2,X3) ; a__U254(tt,V1,V2) >= a__U255(a__isNatural(V1),V2) ; a__U254(X1,X2,X3) >= U254(X1,X2,X3) ; a__U255(tt,V2) >= a__U256(a__isLNat(V2)) ; a__U255(X1,X2) >= U255(X1,X2) ; a__U256(tt) >= tt ; a__U256(X) >= U256(X) ; a__U262(tt) >= tt ; a__U262(X) >= U262(X) ; a__U261(tt,V2) >= a__U262(a__isLNatKind(V2)) ; a__U261(X1,X2) >= U261(X1,X2) ; a__U272(tt) >= tt ; a__U272(X) >= U272(X) ; a__U271(tt,V2) >= a__U272(a__isLNatKind(V2)) ; a__U271(X1,X2) >= U271(X1,X2) ; a__U282(tt,N) >= cons(mark(N),natsFrom(s(N))) ; a__U282(X1,X2) >= U282(X1,X2) ; a__U281(tt,N) >= a__U282(a__isNaturalKind(N),N) ; a__U281(X1,X2) >= U281(X1,X2) ; a__U292(tt,N,XS) >= a__U293(a__isLNat(XS),N,XS) ; a__U292(X1,X2,X3) >= U292(X1,X2,X3) ; a__U291(tt,N,XS) >= a__U292(a__isNaturalKind(N),N,XS) ; a__U291(X1,X2,X3) >= U291(X1,X2,X3) ; a__U293(tt,N,XS) >= a__U294(a__isLNatKind(XS),N,XS) ; a__U293(X1,X2,X3) >= U293(X1,X2,X3) ; a__U294(tt,N,XS) >= a__head(a__afterNth(mark(N),mark(XS))) ; a__U294(X1,X2,X3) >= U294(X1,X2,X3) ; a__head(cons(N,XS)) >= a__U31(a__isNatural(N),N,XS) ; a__head(X) >= head(X) ; a__afterNth(N,XS) >= a__U11(a__isNatural(N),N,XS) ; a__afterNth(X1,X2) >= afterNth(X1,X2) ; a__U302(tt,Y) >= a__U303(a__isLNat(Y),Y) ; a__U302(X1,X2) >= U302(X1,X2) ; a__U301(tt,X,Y) >= a__U302(a__isLNatKind(X),Y) ; a__U301(X1,X2,X3) >= U301(X1,X2,X3) ; a__U303(tt,Y) >= a__U304(a__isLNatKind(Y),Y) ; a__U303(X1,X2) >= U303(X1,X2) ; a__U304(tt,Y) >= mark(Y) ; a__U304(X1,X2) >= U304(X1,X2) ; a__U32(tt,N,XS) >= a__U33(a__isLNat(XS),N,XS) ; a__U32(X1,X2,X3) >= U32(X1,X2,X3) ; a__U31(tt,N,XS) >= a__U32(a__isNaturalKind(N),N,XS) ; a__U31(X1,X2,X3) >= U31(X1,X2,X3) ; a__U312(tt,XS) >= pair(nil,mark(XS)) ; a__U312(X1,X2) >= U312(X1,X2) ; a__U311(tt,XS) >= a__U312(a__isLNatKind(XS),XS) ; a__U311(X1,X2) >= U311(X1,X2) ; a__U33(tt,N,XS) >= a__U34(a__isLNatKind(XS),N) ; a__U33(X1,X2,X3) >= U33(X1,X2,X3) ; a__U322(tt,N,X,XS) >= a__U323(a__isNatural(X),N,X,XS) ; a__U322(X1,X2,X3,X4) >= U322(X1,X2,X3,X4) ; a__U321(tt,N,X,XS) >= a__U322(a__isNaturalKind(N),N,X,XS) ; a__U321(X1,X2,X3,X4) >= U321(X1,X2,X3,X4) ; a__U323(tt,N,X,XS) >= a__U324(a__isNaturalKind(X),N,X,XS) ; a__U323(X1,X2,X3,X4) >= U323(X1,X2,X3,X4) ; a__U324(tt,N,X,XS) >= a__U325(a__isLNat(XS),N,X,XS) ; a__U324(X1,X2,X3,X4) >= U324(X1,X2,X3,X4) ; a__U325(tt,N,X,XS) >= a__U326(a__isLNatKind(XS),N,X,XS) ; a__U325(X1,X2,X3,X4) >= U325(X1,X2,X3,X4) ; a__U326(tt,N,X,XS) >= a__U327(a__splitAt(mark(N),mark(XS)),X) ; a__U326(X1,X2,X3,X4) >= U326(X1,X2,X3,X4) ; a__U327(pair(YS,ZS),X) >= pair(cons(mark(X),YS),mark(ZS)) ; a__U327(X1,X2) >= U327(X1,X2) ; a__U34(tt,N) >= mark(N) ; a__U34(X1,X2) >= U34(X1,X2) ; a__U332(tt,XS) >= a__U333(a__isLNat(XS),XS) ; a__U332(X1,X2) >= U332(X1,X2) ; a__U331(tt,N,XS) >= a__U332(a__isNaturalKind(N),XS) ; a__U331(X1,X2,X3) >= U331(X1,X2,X3) ; a__U333(tt,XS) >= a__U334(a__isLNatKind(XS),XS) ; a__U333(X1,X2) >= U333(X1,X2) ; a__U334(tt,XS) >= mark(XS) ; a__U334(X1,X2) >= U334(X1,X2) ; a__U342(tt,N,XS) >= a__U343(a__isLNat(XS),N,XS) ; a__U342(X1,X2,X3) >= U342(X1,X2,X3) ; a__U341(tt,N,XS) >= a__U342(a__isNaturalKind(N),N,XS) ; a__U341(X1,X2,X3) >= U341(X1,X2,X3) ; a__U343(tt,N,XS) >= a__U344(a__isLNatKind(XS),N,XS) ; a__U343(X1,X2,X3) >= U343(X1,X2,X3) ; a__U344(tt,N,XS) >= a__fst(a__splitAt(mark(N),mark(XS))) ; a__U344(X1,X2,X3) >= U344(X1,X2,X3) ; a__fst(pair(X,Y)) >= a__U21(a__isLNat(X),X,Y) ; a__fst(X) >= fst(X) ; a__U42(tt,V1,V2) >= a__U43(a__isLNatKind(V2),V1,V2) ; a__U42(X1,X2,X3) >= U42(X1,X2,X3) ; a__U41(tt,V1,V2) >= a__U42(a__isNaturalKind(V1),V1,V2) ; a__U41(X1,X2,X3) >= U41(X1,X2,X3) ; a__U43(tt,V1,V2) >= a__U44(a__isLNatKind(V2),V1,V2) ; a__U43(X1,X2,X3) >= U43(X1,X2,X3) ; a__U44(tt,V1,V2) >= a__U45(a__isNatural(V1),V2) ; a__U44(X1,X2,X3) >= U44(X1,X2,X3) ; a__U45(tt,V2) >= a__U46(a__isLNat(V2)) ; a__U45(X1,X2) >= U45(X1,X2) ; a__U46(tt) >= tt ; a__U46(X) >= U46(X) ; a__U52(tt,V1,V2) >= a__U53(a__isLNatKind(V2),V1,V2) ; a__U52(X1,X2,X3) >= U52(X1,X2,X3) ; a__U51(tt,V1,V2) >= a__U52(a__isNaturalKind(V1),V1,V2) ; a__U51(X1,X2,X3) >= U51(X1,X2,X3) ; a__U53(tt,V1,V2) >= a__U54(a__isLNatKind(V2),V1,V2) ; a__U53(X1,X2,X3) >= U53(X1,X2,X3) ; a__U54(tt,V1,V2) >= a__U55(a__isNatural(V1),V2) ; a__U54(X1,X2,X3) >= U54(X1,X2,X3) ; a__U55(tt,V2) >= a__U56(a__isLNat(V2)) ; a__U55(X1,X2) >= U55(X1,X2) ; a__U56(tt) >= tt ; a__U56(X) >= U56(X) ; a__U62(tt,V1) >= a__U63(a__isPLNat(V1)) ; a__U62(X1,X2) >= U62(X1,X2) ; a__isPLNatKind(pair(V1,V2)) >= a__U261(a__isLNatKind(V1),V2) ; a__isPLNatKind(splitAt(V1,V2)) >= a__U271(a__isNaturalKind(V1),V2) ; a__isPLNatKind(X) >= isPLNatKind(X) ; a__U61(tt,V1) >= a__U62(a__isPLNatKind(V1),V1) ; a__U61(X1,X2) >= U61(X1,X2) ; a__U63(tt) >= tt ; a__U63(X) >= U63(X) ; a__isPLNat(pair(V1,V2)) >= a__U241(a__isLNatKind(V1),V1,V2) ; a__isPLNat(splitAt(V1,V2)) >= a__U251(a__isNaturalKind(V1),V1,V2) ; a__isPLNat(X) >= isPLNat(X) ; a__U72(tt,V1) >= a__U73(a__isNatural(V1)) ; a__U72(X1,X2) >= U72(X1,X2) ; a__U71(tt,V1) >= a__U72(a__isNaturalKind(V1),V1) ; a__U71(X1,X2) >= U71(X1,X2) ; a__U73(tt) >= tt ; a__U73(X) >= U73(X) ; a__U82(tt,V1) >= a__U83(a__isPLNat(V1)) ; a__U82(X1,X2) >= U82(X1,X2) ; a__U81(tt,V1) >= a__U82(a__isPLNatKind(V1),V1) ; a__U81(X1,X2) >= U81(X1,X2) ; a__U83(tt) >= tt ; a__U83(X) >= U83(X) ; a__U92(tt,V1) >= a__U93(a__isLNat(V1)) ; a__U92(X1,X2) >= U92(X1,X2) ; a__U91(tt,V1) >= a__U92(a__isLNatKind(V1),V1) ; a__U91(X1,X2) >= U91(X1,X2) ; a__U93(tt) >= tt ; a__U93(X) >= U93(X) ; a__natsFrom(N) >= a__U281(a__isNatural(N),N) ; a__natsFrom(X) >= natsFrom(X) ; a__sel(N,XS) >= a__U291(a__isNatural(N),N,XS) ; a__sel(X1,X2) >= sel(X1,X2) ; a__tail(cons(N,XS)) >= a__U331(a__isNatural(N),N,XS) ; a__tail(X) >= tail(X) ; a__take(N,XS) >= a__U341(a__isNatural(N),N,XS) ; a__take(X1,X2) >= take(X1,X2) ; Marked_a__sel(N,XS) >= Marked_a__U291(a__isNatural(N),N,XS) ; Marked_a__take(N,XS) >= Marked_a__U341(a__isNatural(N),N,XS) ; Marked_a__tail(cons(N,XS)) >= Marked_a__U331(a__isNatural(N),N,XS) ; Marked_a__fst(pair(X,Y)) >= Marked_a__U21(a__isLNat(X),X,Y) ; Marked_a__U344(tt,N,XS) >= Marked_a__fst(a__splitAt(mark(N),mark(XS))) ; Marked_a__U344(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U344(tt,N,XS) >= Marked_mark(N) ; Marked_a__U344(tt,N,XS) >= Marked_mark(XS) ; Marked_a__U343(tt,N,XS) >= Marked_a__U344(a__isLNatKind(XS),N,XS) ; Marked_a__U342(tt,N,XS) >= Marked_a__U343(a__isLNat(XS),N,XS) ; Marked_a__U341(tt,N,XS) >= Marked_a__U342(a__isNaturalKind(N),N,XS) ; Marked_a__U334(tt,XS) >= Marked_mark(XS) ; Marked_a__U333(tt,XS) >= Marked_a__U334(a__isLNatKind(XS),XS) ; Marked_a__U332(tt,XS) >= Marked_a__U333(a__isLNat(XS),XS) ; Marked_a__U331(tt,N,XS) >= Marked_a__U332(a__isNaturalKind(N),XS) ; Marked_a__U34(tt,N) >= Marked_mark(N) ; Marked_a__U327(pair(YS,ZS),X) >= Marked_mark(X) ; Marked_a__U327(pair(YS,ZS),X) >= Marked_mark(ZS) ; Marked_a__U326(tt,N,X,XS) >= Marked_a__U327(a__splitAt(mark(N),mark(XS)),X) ; Marked_a__U326(tt,N,X,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U326(tt,N,X,XS) >= Marked_mark(N) ; Marked_a__U326(tt,N,X,XS) >= Marked_mark(XS) ; Marked_a__U325(tt,N,X,XS) >= Marked_a__U326(a__isLNatKind(XS),N,X,XS) ; Marked_a__U324(tt,N,X,XS) >= Marked_a__U325(a__isLNat(XS),N,X,XS) ; Marked_a__U323(tt,N,X,XS) >= Marked_a__U324(a__isNaturalKind(X),N,X,XS) ; Marked_a__U322(tt,N,X,XS) >= Marked_a__U323(a__isNatural(X),N,X,XS) ; Marked_a__U321(tt,N,X,XS) >= Marked_a__U322(a__isNaturalKind(N),N,X,XS) ; Marked_a__U33(tt,N,XS) >= Marked_a__U34(a__isLNatKind(XS),N) ; Marked_a__U312(tt,XS) >= Marked_mark(XS) ; Marked_a__U311(tt,XS) >= Marked_a__U312(a__isLNatKind(XS),XS) ; Marked_a__U32(tt,N,XS) >= Marked_a__U33(a__isLNat(XS),N,XS) ; Marked_a__U31(tt,N,XS) >= Marked_a__U32(a__isNaturalKind(N),N,XS) ; Marked_a__U304(tt,Y) >= Marked_mark(Y) ; Marked_a__U303(tt,Y) >= Marked_a__U304(a__isLNatKind(Y),Y) ; Marked_a__U302(tt,Y) >= Marked_a__U303(a__isLNat(Y),Y) ; Marked_a__U301(tt,X,Y) >= Marked_a__U302(a__isLNatKind(X),Y) ; Marked_a__afterNth(N,XS) >= Marked_a__U11(a__isNatural(N),N,XS) ; Marked_a__head(cons(N,XS)) >= Marked_a__U31(a__isNatural(N),N,XS) ; Marked_a__U294(tt,N,XS) >= Marked_a__afterNth(mark(N),mark(XS)) ; Marked_a__U294(tt,N,XS) >= Marked_a__head(a__afterNth(mark(N),mark(XS))) ; Marked_a__U294(tt,N,XS) >= Marked_mark(N) ; Marked_a__U294(tt,N,XS) >= Marked_mark(XS) ; Marked_a__U293(tt,N,XS) >= Marked_a__U294(a__isLNatKind(XS),N,XS) ; Marked_a__U292(tt,N,XS) >= Marked_a__U293(a__isLNat(XS),N,XS) ; Marked_a__U291(tt,N,XS) >= Marked_a__U292(a__isNaturalKind(N),N,XS) ; Marked_a__natsFrom(N) >= Marked_a__U281(a__isNatural(N),N) ; Marked_a__U282(tt,N) >= Marked_mark(N) ; Marked_a__U281(tt,N) >= Marked_a__U282(a__isNaturalKind(N),N) ; Marked_a__U24(tt,X) >= Marked_mark(X) ; Marked_a__U23(tt,X,Y) >= Marked_a__U24(a__isLNatKind(Y),X) ; Marked_a__U22(tt,X,Y) >= Marked_a__U23(a__isLNat(Y),X,Y) ; Marked_a__U21(tt,X,Y) >= Marked_a__U22(a__isLNatKind(X),X,Y) ; Marked_a__splitAt(s(N),cons(X,XS)) >= Marked_a__U321(a__isNatural(N),N,X,XS) ; Marked_a__splitAt(0,XS) >= Marked_a__U311(a__isLNat(XS),XS) ; Marked_a__snd(pair(X,Y)) >= Marked_a__U301(a__isLNat(X),X,Y) ; Marked_a__U14(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U14(tt,N,XS) >= Marked_a__snd(a__splitAt(mark(N),mark(XS))) ; Marked_a__U14(tt,N,XS) >= Marked_mark(N) ; Marked_a__U14(tt,N,XS) >= Marked_mark(XS) ; Marked_a__U13(tt,N,XS) >= Marked_a__U14(a__isLNatKind(XS),N,XS) ; Marked_a__U12(tt,N,XS) >= Marked_a__U13(a__isLNat(XS),N,XS) ; Marked_a__U11(tt,N,XS) >= Marked_a__U12(a__isNaturalKind(N),N,XS) ; Marked_mark(cons(X1,X2)) >= Marked_mark(X1) ; Marked_mark(natsFrom(X)) >= Marked_a__natsFrom(mark(X)) ; Marked_mark(natsFrom(X)) >= Marked_mark(X) ; Marked_mark(s(X)) >= Marked_mark(X) ; Marked_mark(pair(X1,X2)) >= Marked_mark(X1) ; Marked_mark(pair(X1,X2)) >= Marked_mark(X2) ; Marked_mark(afterNth(X1,X2)) >= Marked_a__afterNth(mark(X1),mark(X2)) ; Marked_mark(afterNth(X1,X2)) >= Marked_mark(X1) ; Marked_mark(afterNth(X1,X2)) >= Marked_mark(X2) ; Marked_mark(fst(X)) >= Marked_a__fst(mark(X)) ; Marked_mark(fst(X)) >= Marked_mark(X) ; Marked_mark(snd(X)) >= Marked_a__snd(mark(X)) ; Marked_mark(snd(X)) >= Marked_mark(X) ; Marked_mark(tail(X)) >= Marked_a__tail(mark(X)) ; Marked_mark(tail(X)) >= Marked_mark(X) ; Marked_mark(take(X1,X2)) >= Marked_a__take(mark(X1),mark(X2)) ; Marked_mark(take(X1,X2)) >= Marked_mark(X1) ; Marked_mark(take(X1,X2)) >= Marked_mark(X2) ; Marked_mark(head(X)) >= Marked_a__head(mark(X)) ; Marked_mark(head(X)) >= Marked_mark(X) ; Marked_mark(sel(X1,X2)) >= Marked_a__sel(mark(X1),mark(X2)) ; Marked_mark(sel(X1,X2)) >= Marked_mark(X1) ; Marked_mark(sel(X1,X2)) >= Marked_mark(X2) ; Marked_mark(splitAt(X1,X2)) >= Marked_a__splitAt(mark(X1),mark(X2)) ; Marked_mark(splitAt(X1,X2)) >= Marked_mark(X1) ; Marked_mark(splitAt(X1,X2)) >= Marked_mark(X2) ; Marked_mark(U101(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U102(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U103(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U104(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U105(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U106(X)) >= Marked_mark(X) ; Marked_mark(U11(X1,X2,X3)) >= Marked_a__U11(mark(X1),X2,X3) ; Marked_mark(U11(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U12(X1,X2,X3)) >= Marked_a__U12(mark(X1),X2,X3) ; Marked_mark(U12(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U111(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U112(X)) >= Marked_mark(X) ; Marked_mark(U13(X1,X2,X3)) >= Marked_a__U13(mark(X1),X2,X3) ; Marked_mark(U13(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U121(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U122(X)) >= Marked_mark(X) ; Marked_mark(U14(X1,X2,X3)) >= Marked_a__U14(mark(X1),X2,X3) ; Marked_mark(U14(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U131(X)) >= Marked_mark(X) ; Marked_mark(U141(X)) >= Marked_mark(X) ; Marked_mark(U151(X)) >= Marked_mark(X) ; Marked_mark(U161(X)) >= Marked_mark(X) ; Marked_mark(U171(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U172(X)) >= Marked_mark(X) ; Marked_mark(U181(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U182(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U183(X)) >= Marked_mark(X) ; Marked_mark(U191(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U192(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U193(X)) >= Marked_mark(X) ; Marked_mark(U201(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U202(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U203(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U204(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U205(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U206(X)) >= Marked_mark(X) ; Marked_mark(U21(X1,X2,X3)) >= Marked_a__U21(mark(X1),X2,X3) ; Marked_mark(U21(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U22(X1,X2,X3)) >= Marked_a__U22(mark(X1),X2,X3) ; Marked_mark(U22(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U211(X)) >= Marked_mark(X) ; Marked_mark(U23(X1,X2,X3)) >= Marked_a__U23(mark(X1),X2,X3) ; Marked_mark(U23(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U221(X)) >= Marked_mark(X) ; Marked_mark(U24(X1,X2)) >= Marked_a__U24(mark(X1),X2) ; Marked_mark(U24(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U231(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U232(X)) >= Marked_mark(X) ; Marked_mark(U241(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U242(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U243(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U244(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U245(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U246(X)) >= Marked_mark(X) ; Marked_mark(U251(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U252(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U253(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U254(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U255(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U256(X)) >= Marked_mark(X) ; Marked_mark(U261(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U262(X)) >= Marked_mark(X) ; Marked_mark(U271(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U272(X)) >= Marked_mark(X) ; Marked_mark(U281(X1,X2)) >= Marked_a__U281(mark(X1),X2) ; Marked_mark(U281(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U282(X1,X2)) >= Marked_a__U282(mark(X1),X2) ; Marked_mark(U282(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U291(X1,X2,X3)) >= Marked_a__U291(mark(X1),X2,X3) ; Marked_mark(U291(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U292(X1,X2,X3)) >= Marked_a__U292(mark(X1),X2,X3) ; Marked_mark(U292(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U293(X1,X2,X3)) >= Marked_a__U293(mark(X1),X2,X3) ; Marked_mark(U293(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U294(X1,X2,X3)) >= Marked_a__U294(mark(X1),X2,X3) ; Marked_mark(U294(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U301(X1,X2,X3)) >= Marked_a__U301(mark(X1),X2,X3) ; Marked_mark(U301(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U302(X1,X2)) >= Marked_a__U302(mark(X1),X2) ; Marked_mark(U302(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U303(X1,X2)) >= Marked_a__U303(mark(X1),X2) ; Marked_mark(U303(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U304(X1,X2)) >= Marked_a__U304(mark(X1),X2) ; Marked_mark(U304(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U31(X1,X2,X3)) >= Marked_a__U31(mark(X1),X2,X3) ; Marked_mark(U31(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U32(X1,X2,X3)) >= Marked_a__U32(mark(X1),X2,X3) ; Marked_mark(U32(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U311(X1,X2)) >= Marked_a__U311(mark(X1),X2) ; Marked_mark(U311(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U312(X1,X2)) >= Marked_a__U312(mark(X1),X2) ; Marked_mark(U312(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U33(X1,X2,X3)) >= Marked_a__U33(mark(X1),X2,X3) ; Marked_mark(U33(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U321(X1,X2,X3,X4)) >= Marked_a__U321(mark(X1),X2,X3,X4) ; Marked_mark(U321(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U322(X1,X2,X3,X4)) >= Marked_a__U322(mark(X1),X2,X3,X4) ; Marked_mark(U322(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U323(X1,X2,X3,X4)) >= Marked_a__U323(mark(X1),X2,X3,X4) ; Marked_mark(U323(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U324(X1,X2,X3,X4)) >= Marked_a__U324(mark(X1),X2,X3,X4) ; Marked_mark(U324(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U325(X1,X2,X3,X4)) >= Marked_a__U325(mark(X1),X2,X3,X4) ; Marked_mark(U325(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U326(X1,X2,X3,X4)) >= Marked_a__U326(mark(X1),X2,X3,X4) ; Marked_mark(U326(X1,X2,X3,X4)) >= Marked_mark(X1) ; Marked_mark(U327(X1,X2)) >= Marked_a__U327(mark(X1),X2) ; Marked_mark(U327(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U34(X1,X2)) >= Marked_a__U34(mark(X1),X2) ; Marked_mark(U34(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U331(X1,X2,X3)) >= Marked_a__U331(mark(X1),X2,X3) ; Marked_mark(U331(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U332(X1,X2)) >= Marked_a__U332(mark(X1),X2) ; Marked_mark(U332(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U333(X1,X2)) >= Marked_a__U333(mark(X1),X2) ; Marked_mark(U333(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U334(X1,X2)) >= Marked_a__U334(mark(X1),X2) ; Marked_mark(U334(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U341(X1,X2,X3)) >= Marked_a__U341(mark(X1),X2,X3) ; Marked_mark(U341(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U342(X1,X2,X3)) >= Marked_a__U342(mark(X1),X2,X3) ; Marked_mark(U342(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U343(X1,X2,X3)) >= Marked_a__U343(mark(X1),X2,X3) ; Marked_mark(U343(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U344(X1,X2,X3)) >= Marked_a__U344(mark(X1),X2,X3) ; Marked_mark(U344(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U41(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U42(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U43(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U44(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U45(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U46(X)) >= Marked_mark(X) ; Marked_mark(U51(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U52(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U53(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U54(X1,X2,X3)) >= Marked_mark(X1) ; Marked_mark(U55(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U56(X)) >= Marked_mark(X) ; Marked_mark(U61(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U62(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U63(X)) >= Marked_mark(X) ; Marked_mark(U71(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U72(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U73(X)) >= Marked_mark(X) ; Marked_mark(U81(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U82(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U83(X)) >= Marked_mark(X) ; Marked_mark(U91(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U92(X1,X2)) >= Marked_mark(X1) ; Marked_mark(U93(X)) >= Marked_mark(X) ; } + Disjunctions:{ { Marked_a__sel(N,XS) > Marked_a__U291(a__isNatural(N),N,XS) ; } { Marked_a__take(N,XS) > Marked_a__U341(a__isNatural(N),N,XS) ; } { Marked_a__tail(cons(N,XS)) > Marked_a__U331(a__isNatural(N),N,XS) ; } { Marked_a__fst(pair(X,Y)) > Marked_a__U21(a__isLNat(X),X,Y) ; } { Marked_a__U344(tt,N,XS) > Marked_a__fst(a__splitAt(mark(N),mark(XS))) ; } { Marked_a__U344(tt,N,XS) > Marked_a__splitAt(mark(N),mark(XS)) ; } { Marked_a__U344(tt,N,XS) > Marked_mark(N) ; } { Marked_a__U344(tt,N,XS) > Marked_mark(XS) ; } { Marked_a__U343(tt,N,XS) > Marked_a__U344(a__isLNatKind(XS),N,XS) ; } { Marked_a__U342(tt,N,XS) > Marked_a__U343(a__isLNat(XS),N,XS) ; } { Marked_a__U341(tt,N,XS) > Marked_a__U342(a__isNaturalKind(N),N,XS) ; } { Marked_a__U334(tt,XS) > Marked_mark(XS) ; } { Marked_a__U333(tt,XS) > Marked_a__U334(a__isLNatKind(XS),XS) ; } { Marked_a__U332(tt,XS) > Marked_a__U333(a__isLNat(XS),XS) ; } { Marked_a__U331(tt,N,XS) > Marked_a__U332(a__isNaturalKind(N),XS) ; } { Marked_a__U34(tt,N) > Marked_mark(N) ; } { Marked_a__U327(pair(YS,ZS),X) > Marked_mark(X) ; } { Marked_a__U327(pair(YS,ZS),X) > Marked_mark(ZS) ; } { Marked_a__U326(tt,N,X,XS) > Marked_a__U327(a__splitAt(mark(N),mark(XS)),X) ; } { Marked_a__U326(tt,N,X,XS) > Marked_a__splitAt(mark(N),mark(XS)) ; } { Marked_a__U326(tt,N,X,XS) > Marked_mark(N) ; } { Marked_a__U326(tt,N,X,XS) > Marked_mark(XS) ; } { Marked_a__U325(tt,N,X,XS) > Marked_a__U326(a__isLNatKind(XS),N,X,XS) ; } { Marked_a__U324(tt,N,X,XS) > Marked_a__U325(a__isLNat(XS),N,X,XS) ; } { Marked_a__U323(tt,N,X,XS) > Marked_a__U324(a__isNaturalKind(X),N,X,XS) ; } { Marked_a__U322(tt,N,X,XS) > Marked_a__U323(a__isNatural(X),N,X,XS) ; } { Marked_a__U321(tt,N,X,XS) > Marked_a__U322(a__isNaturalKind(N),N,X,XS) ; } { Marked_a__U33(tt,N,XS) > Marked_a__U34(a__isLNatKind(XS),N) ; } { Marked_a__U312(tt,XS) > Marked_mark(XS) ; } { Marked_a__U311(tt,XS) > Marked_a__U312(a__isLNatKind(XS),XS) ; } { Marked_a__U32(tt,N,XS) > Marked_a__U33(a__isLNat(XS),N,XS) ; } { Marked_a__U31(tt,N,XS) > Marked_a__U32(a__isNaturalKind(N),N,XS) ; } { Marked_a__U304(tt,Y) > Marked_mark(Y) ; } { Marked_a__U303(tt,Y) > Marked_a__U304(a__isLNatKind(Y),Y) ; } { Marked_a__U302(tt,Y) > Marked_a__U303(a__isLNat(Y),Y) ; } { Marked_a__U301(tt,X,Y) > Marked_a__U302(a__isLNatKind(X),Y) ; } { Marked_a__afterNth(N,XS) > Marked_a__U11(a__isNatural(N),N,XS) ; } { Marked_a__head(cons(N,XS)) > Marked_a__U31(a__isNatural(N),N,XS) ; } { Marked_a__U294(tt,N,XS) > Marked_a__afterNth(mark(N),mark(XS)) ; } { Marked_a__U294(tt,N,XS) > Marked_a__head(a__afterNth(mark(N),mark(XS))) ; } { Marked_a__U294(tt,N,XS) > Marked_mark(N) ; } { Marked_a__U294(tt,N,XS) > Marked_mark(XS) ; } { Marked_a__U293(tt,N,XS) > Marked_a__U294(a__isLNatKind(XS),N,XS) ; } { Marked_a__U292(tt,N,XS) > Marked_a__U293(a__isLNat(XS),N,XS) ; } { Marked_a__U291(tt,N,XS) > Marked_a__U292(a__isNaturalKind(N),N,XS) ; } { Marked_a__natsFrom(N) > Marked_a__U281(a__isNatural(N),N) ; } { Marked_a__U282(tt,N) > Marked_mark(N) ; } { Marked_a__U281(tt,N) > Marked_a__U282(a__isNaturalKind(N),N) ; } { Marked_a__U24(tt,X) > Marked_mark(X) ; } { Marked_a__U23(tt,X,Y) > Marked_a__U24(a__isLNatKind(Y),X) ; } { Marked_a__U22(tt,X,Y) > Marked_a__U23(a__isLNat(Y),X,Y) ; } { Marked_a__U21(tt,X,Y) > Marked_a__U22(a__isLNatKind(X),X,Y) ; } { Marked_a__splitAt(s(N),cons(X,XS)) > Marked_a__U321(a__isNatural(N),N,X,XS) ; } { Marked_a__splitAt(0,XS) > Marked_a__U311(a__isLNat(XS),XS) ; } { Marked_a__snd(pair(X,Y)) > Marked_a__U301(a__isLNat(X),X,Y) ; } { Marked_a__U14(tt,N,XS) > Marked_a__splitAt(mark(N),mark(XS)) ; } { Marked_a__U14(tt,N,XS) > Marked_a__snd(a__splitAt(mark(N),mark(XS))) ; } { Marked_a__U14(tt,N,XS) > Marked_mark(N) ; } { Marked_a__U14(tt,N,XS) > Marked_mark(XS) ; } { Marked_a__U13(tt,N,XS) > Marked_a__U14(a__isLNatKind(XS),N,XS) ; } { Marked_a__U12(tt,N,XS) > Marked_a__U13(a__isLNat(XS),N,XS) ; } { Marked_a__U11(tt,N,XS) > Marked_a__U12(a__isNaturalKind(N),N,XS) ; } { Marked_mark(cons(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(natsFrom(X)) > Marked_a__natsFrom(mark(X)) ; } { Marked_mark(natsFrom(X)) > Marked_mark(X) ; } { Marked_mark(s(X)) > Marked_mark(X) ; } { Marked_mark(pair(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(pair(X1,X2)) > Marked_mark(X2) ; } { Marked_mark(afterNth(X1,X2)) > Marked_a__afterNth(mark(X1),mark(X2)) ; } { Marked_mark(afterNth(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(afterNth(X1,X2)) > Marked_mark(X2) ; } { Marked_mark(fst(X)) > Marked_a__fst(mark(X)) ; } { Marked_mark(fst(X)) > Marked_mark(X) ; } { Marked_mark(snd(X)) > Marked_a__snd(mark(X)) ; } { Marked_mark(snd(X)) > Marked_mark(X) ; } { Marked_mark(tail(X)) > Marked_a__tail(mark(X)) ; } { Marked_mark(tail(X)) > Marked_mark(X) ; } { Marked_mark(take(X1,X2)) > Marked_a__take(mark(X1),mark(X2)) ; } { Marked_mark(take(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(take(X1,X2)) > Marked_mark(X2) ; } { Marked_mark(head(X)) > Marked_a__head(mark(X)) ; } { Marked_mark(head(X)) > Marked_mark(X) ; } { Marked_mark(sel(X1,X2)) > Marked_a__sel(mark(X1),mark(X2)) ; } { Marked_mark(sel(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(sel(X1,X2)) > Marked_mark(X2) ; } { Marked_mark(splitAt(X1,X2)) > Marked_a__splitAt(mark(X1),mark(X2)) ; } { Marked_mark(splitAt(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(splitAt(X1,X2)) > Marked_mark(X2) ; } { Marked_mark(U101(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U102(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U103(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U104(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U105(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U106(X)) > Marked_mark(X) ; } { Marked_mark(U11(X1,X2,X3)) > Marked_a__U11(mark(X1),X2,X3) ; } { Marked_mark(U11(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U12(X1,X2,X3)) > Marked_a__U12(mark(X1),X2,X3) ; } { Marked_mark(U12(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U111(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U112(X)) > Marked_mark(X) ; } { Marked_mark(U13(X1,X2,X3)) > Marked_a__U13(mark(X1),X2,X3) ; } { Marked_mark(U13(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U121(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U122(X)) > Marked_mark(X) ; } { Marked_mark(U14(X1,X2,X3)) > Marked_a__U14(mark(X1),X2,X3) ; } { Marked_mark(U14(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U131(X)) > Marked_mark(X) ; } { Marked_mark(U141(X)) > Marked_mark(X) ; } { Marked_mark(U151(X)) > Marked_mark(X) ; } { Marked_mark(U161(X)) > Marked_mark(X) ; } { Marked_mark(U171(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U172(X)) > Marked_mark(X) ; } { Marked_mark(U181(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U182(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U183(X)) > Marked_mark(X) ; } { Marked_mark(U191(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U192(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U193(X)) > Marked_mark(X) ; } { Marked_mark(U201(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U202(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U203(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U204(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U205(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U206(X)) > Marked_mark(X) ; } { Marked_mark(U21(X1,X2,X3)) > Marked_a__U21(mark(X1),X2,X3) ; } { Marked_mark(U21(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U22(X1,X2,X3)) > Marked_a__U22(mark(X1),X2,X3) ; } { Marked_mark(U22(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U211(X)) > Marked_mark(X) ; } { Marked_mark(U23(X1,X2,X3)) > Marked_a__U23(mark(X1),X2,X3) ; } { Marked_mark(U23(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U221(X)) > Marked_mark(X) ; } { Marked_mark(U24(X1,X2)) > Marked_a__U24(mark(X1),X2) ; } { Marked_mark(U24(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U231(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U232(X)) > Marked_mark(X) ; } { Marked_mark(U241(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U242(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U243(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U244(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U245(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U246(X)) > Marked_mark(X) ; } { Marked_mark(U251(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U252(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U253(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U254(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U255(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U256(X)) > Marked_mark(X) ; } { Marked_mark(U261(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U262(X)) > Marked_mark(X) ; } { Marked_mark(U271(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U272(X)) > Marked_mark(X) ; } { Marked_mark(U281(X1,X2)) > Marked_a__U281(mark(X1),X2) ; } { Marked_mark(U281(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U282(X1,X2)) > Marked_a__U282(mark(X1),X2) ; } { Marked_mark(U282(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U291(X1,X2,X3)) > Marked_a__U291(mark(X1),X2,X3) ; } { Marked_mark(U291(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U292(X1,X2,X3)) > Marked_a__U292(mark(X1),X2,X3) ; } { Marked_mark(U292(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U293(X1,X2,X3)) > Marked_a__U293(mark(X1),X2,X3) ; } { Marked_mark(U293(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U294(X1,X2,X3)) > Marked_a__U294(mark(X1),X2,X3) ; } { Marked_mark(U294(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U301(X1,X2,X3)) > Marked_a__U301(mark(X1),X2,X3) ; } { Marked_mark(U301(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U302(X1,X2)) > Marked_a__U302(mark(X1),X2) ; } { Marked_mark(U302(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U303(X1,X2)) > Marked_a__U303(mark(X1),X2) ; } { Marked_mark(U303(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U304(X1,X2)) > Marked_a__U304(mark(X1),X2) ; } { Marked_mark(U304(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U31(X1,X2,X3)) > Marked_a__U31(mark(X1),X2,X3) ; } { Marked_mark(U31(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U32(X1,X2,X3)) > Marked_a__U32(mark(X1),X2,X3) ; } { Marked_mark(U32(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U311(X1,X2)) > Marked_a__U311(mark(X1),X2) ; } { Marked_mark(U311(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U312(X1,X2)) > Marked_a__U312(mark(X1),X2) ; } { Marked_mark(U312(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U33(X1,X2,X3)) > Marked_a__U33(mark(X1),X2,X3) ; } { Marked_mark(U33(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U321(X1,X2,X3,X4)) > Marked_a__U321(mark(X1),X2,X3,X4) ; } { Marked_mark(U321(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U322(X1,X2,X3,X4)) > Marked_a__U322(mark(X1),X2,X3,X4) ; } { Marked_mark(U322(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U323(X1,X2,X3,X4)) > Marked_a__U323(mark(X1),X2,X3,X4) ; } { Marked_mark(U323(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U324(X1,X2,X3,X4)) > Marked_a__U324(mark(X1),X2,X3,X4) ; } { Marked_mark(U324(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U325(X1,X2,X3,X4)) > Marked_a__U325(mark(X1),X2,X3,X4) ; } { Marked_mark(U325(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U326(X1,X2,X3,X4)) > Marked_a__U326(mark(X1),X2,X3,X4) ; } { Marked_mark(U326(X1,X2,X3,X4)) > Marked_mark(X1) ; } { Marked_mark(U327(X1,X2)) > Marked_a__U327(mark(X1),X2) ; } { Marked_mark(U327(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U34(X1,X2)) > Marked_a__U34(mark(X1),X2) ; } { Marked_mark(U34(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U331(X1,X2,X3)) > Marked_a__U331(mark(X1),X2,X3) ; } { Marked_mark(U331(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U332(X1,X2)) > Marked_a__U332(mark(X1),X2) ; } { Marked_mark(U332(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U333(X1,X2)) > Marked_a__U333(mark(X1),X2) ; } { Marked_mark(U333(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U334(X1,X2)) > Marked_a__U334(mark(X1),X2) ; } { Marked_mark(U334(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U341(X1,X2,X3)) > Marked_a__U341(mark(X1),X2,X3) ; } { Marked_mark(U341(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U342(X1,X2,X3)) > Marked_a__U342(mark(X1),X2,X3) ; } { Marked_mark(U342(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U343(X1,X2,X3)) > Marked_a__U343(mark(X1),X2,X3) ; } { Marked_mark(U343(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U344(X1,X2,X3)) > Marked_a__U344(mark(X1),X2,X3) ; } { Marked_mark(U344(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U41(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U42(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U43(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U44(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U45(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U46(X)) > Marked_mark(X) ; } { Marked_mark(U51(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U52(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U53(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U54(X1,X2,X3)) > Marked_mark(X1) ; } { Marked_mark(U55(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U56(X)) > Marked_mark(X) ; } { Marked_mark(U61(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U62(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U63(X)) > Marked_mark(X) ; } { Marked_mark(U71(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U72(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U73(X)) > Marked_mark(X) ; } { Marked_mark(U81(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U82(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U83(X)) > Marked_mark(X) ; } { Marked_mark(U91(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U92(X1,X2)) > Marked_mark(X1) ; } { Marked_mark(U93(X)) > Marked_mark(X) ; } } === TIMER virtual : 10.000000 === Entering poly_solver Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 10.000000 === === STOPING TIMER real === Sat solver returned === STOPING TIMER real === === STOPING TIMER virtual === No solution found for these parameters. Entering rpo_solver === TIMER virtual : 25.000000 === Search parameters: AFS type: 2 ; time limit: 25.. === STOPING TIMER virtual === Time out for these parameters. === TIMER virtual : 15.000000 === Entering poly_solver Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 15.000000 === === STOPING TIMER real === Sat solver returned === STOPING TIMER real === === STOPING TIMER virtual === No solution found for these parameters. === TIMER virtual : 50.000000 === trying sub matrices of size: 1 Matrix interpretation constraints generated. Search parameters: LINEAR MATRIX 3x3 (strict=1x1) ; time limit: 50.. Termination constraints generated. Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 50.000000 === === STOPING TIMER real === Sat timeout reached === STOPING TIMER virtual === No solution found for these parameters. No solution found for these constraints. APPLY CRITERIA (Simple graph) Found the following constraints: { a__U102(tt,V1,V2) >= a__U103(a__isLNatKind(V2),V1,V2) ; a__U102(X1,X2,X3) >= U102(X1,X2,X3) ; a__isNaturalKind(s(V1)) >= a__U221(a__isNaturalKind(V1)) ; a__isNaturalKind(0) >= tt ; a__isNaturalKind(head(V1)) >= a__U211(a__isLNatKind(V1)) ; a__isNaturalKind(sel(V1,V2)) >= a__U231(a__isNaturalKind(V1),V2) ; a__isNaturalKind(X) >= isNaturalKind(X) ; a__U101(tt,V1,V2) >= a__U102(a__isNaturalKind(V1),V1,V2) ; a__U101(X1,X2,X3) >= U101(X1,X2,X3) ; a__U103(tt,V1,V2) >= a__U104(a__isLNatKind(V2),V1,V2) ; a__U103(X1,X2,X3) >= U103(X1,X2,X3) ; a__isLNatKind(cons(V1,V2)) >= a__U121(a__isNaturalKind(V1),V2) ; a__isLNatKind(natsFrom(V1)) >= a__U141(a__isNaturalKind(V1)) ; a__isLNatKind(nil) >= tt ; a__isLNatKind(afterNth(V1,V2)) >= a__U111(a__isNaturalKind(V1),V2) ; a__isLNatKind(fst(V1)) >= a__U131(a__isPLNatKind(V1)) ; a__isLNatKind(snd(V1)) >= a__U151(a__isPLNatKind(V1)) ; a__isLNatKind(tail(V1)) >= a__U161(a__isLNatKind(V1)) ; a__isLNatKind(take(V1,V2)) >= a__U171(a__isNaturalKind(V1),V2) ; a__isLNatKind(X) >= isLNatKind(X) ; a__U104(tt,V1,V2) >= a__U105(a__isNatural(V1),V2) ; a__U104(X1,X2,X3) >= U104(X1,X2,X3) ; a__U105(tt,V2) >= a__U106(a__isLNat(V2)) ; a__U105(X1,X2) >= U105(X1,X2) ; a__isNatural(s(V1)) >= a__U191(a__isNaturalKind(V1),V1) ; a__isNatural(0) >= tt ; a__isNatural(head(V1)) >= a__U181(a__isLNatKind(V1),V1) ; a__isNatural(sel(V1,V2)) >= a__U201(a__isNaturalKind(V1),V1,V2) ; a__isNatural(X) >= isNatural(X) ; a__U106(tt) >= tt ; a__U106(X) >= U106(X) ; a__isLNat(cons(V1,V2)) >= a__U51(a__isNaturalKind(V1),V1,V2) ; a__isLNat(natsFrom(V1)) >= a__U71(a__isNaturalKind(V1),V1) ; a__isLNat(nil) >= tt ; a__isLNat(afterNth(V1,V2)) >= a__U41(a__isNaturalKind(V1),V1,V2) ; a__isLNat(fst(V1)) >= a__U61(a__isPLNatKind(V1),V1) ; a__isLNat(snd(V1)) >= a__U81(a__isPLNatKind(V1),V1) ; a__isLNat(tail(V1)) >= a__U91(a__isLNatKind(V1),V1) ; a__isLNat(take(V1,V2)) >= a__U101(a__isNaturalKind(V1),V1,V2) ; a__isLNat(X) >= isLNat(X) ; a__U12(tt,N,XS) >= a__U13(a__isLNat(XS),N,XS) ; a__U12(X1,X2,X3) >= U12(X1,X2,X3) ; a__U11(tt,N,XS) >= a__U12(a__isNaturalKind(N),N,XS) ; a__U11(X1,X2,X3) >= U11(X1,X2,X3) ; a__U112(tt) >= tt ; a__U112(X) >= U112(X) ; a__U111(tt,V2) >= a__U112(a__isLNatKind(V2)) ; a__U111(X1,X2) >= U111(X1,X2) ; a__U13(tt,N,XS) >= a__U14(a__isLNatKind(XS),N,XS) ; a__U13(X1,X2,X3) >= U13(X1,X2,X3) ; a__U122(tt) >= tt ; a__U122(X) >= U122(X) ; a__U121(tt,V2) >= a__U122(a__isLNatKind(V2)) ; a__U121(X1,X2) >= U121(X1,X2) ; a__U14(tt,N,XS) >= a__snd(a__splitAt(mark(N),mark(XS))) ; a__U14(X1,X2,X3) >= U14(X1,X2,X3) ; a__U131(tt) >= tt ; a__U131(X) >= U131(X) ; a__snd(pair(X,Y)) >= a__U301(a__isLNat(X),X,Y) ; a__snd(X) >= snd(X) ; a__splitAt(s(N),cons(X,XS)) >= a__U321(a__isNatural(N),N,X,XS) ; a__splitAt(0,XS) >= a__U311(a__isLNat(XS),XS) ; a__splitAt(X1,X2) >= splitAt(X1,X2) ; mark(tt) >= tt ; mark(cons(X1,X2)) >= cons(mark(X1),X2) ; mark(natsFrom(X)) >= a__natsFrom(mark(X)) ; mark(s(X)) >= s(mark(X)) ; mark(pair(X1,X2)) >= pair(mark(X1),mark(X2)) ; mark(nil) >= nil ; mark(afterNth(X1,X2)) >= a__afterNth(mark(X1),mark(X2)) ; mark(fst(X)) >= a__fst(mark(X)) ; mark(snd(X)) >= a__snd(mark(X)) ; mark(tail(X)) >= a__tail(mark(X)) ; mark(take(X1,X2)) >= a__take(mark(X1),mark(X2)) ; mark(0) >= 0 ; mark(head(X)) >= a__head(mark(X)) ; mark(sel(X1,X2)) >= a__sel(mark(X1),mark(X2)) ; mark(splitAt(X1,X2)) >= a__splitAt(mark(X1),mark(X2)) ; mark(U101(X1,X2,X3)) >= a__U101(mark(X1),X2,X3) ; mark(U102(X1,X2,X3)) >= a__U102(mark(X1),X2,X3) ; mark(isNaturalKind(X)) >= a__isNaturalKind(X) ; mark(U103(X1,X2,X3)) >= a__U103(mark(X1),X2,X3) ; mark(isLNatKind(X)) >= a__isLNatKind(X) ; mark(U104(X1,X2,X3)) >= a__U104(mark(X1),X2,X3) ; mark(U105(X1,X2)) >= a__U105(mark(X1),X2) ; mark(isNatural(X)) >= a__isNatural(X) ; mark(U106(X)) >= a__U106(mark(X)) ; mark(isLNat(X)) >= a__isLNat(X) ; mark(U11(X1,X2,X3)) >= a__U11(mark(X1),X2,X3) ; mark(U12(X1,X2,X3)) >= a__U12(mark(X1),X2,X3) ; mark(U111(X1,X2)) >= a__U111(mark(X1),X2) ; mark(U112(X)) >= a__U112(mark(X)) ; mark(U13(X1,X2,X3)) >= a__U13(mark(X1),X2,X3) ; mark(U121(X1,X2)) >= a__U121(mark(X1),X2) ; mark(U122(X)) >= a__U122(mark(X)) ; mark(U14(X1,X2,X3)) >= a__U14(mark(X1),X2,X3) ; mark(U131(X)) >= a__U131(mark(X)) ; mark(U141(X)) >= a__U141(mark(X)) ; mark(U151(X)) >= a__U151(mark(X)) ; mark(U161(X)) >= a__U161(mark(X)) ; mark(U171(X1,X2)) >= a__U171(mark(X1),X2) ; mark(U172(X)) >= a__U172(mark(X)) ; mark(U181(X1,X2)) >= a__U181(mark(X1),X2) ; mark(U182(X1,X2)) >= a__U182(mark(X1),X2) ; mark(U183(X)) >= a__U183(mark(X)) ; mark(U191(X1,X2)) >= a__U191(mark(X1),X2) ; mark(U192(X1,X2)) >= a__U192(mark(X1),X2) ; mark(U193(X)) >= a__U193(mark(X)) ; mark(U201(X1,X2,X3)) >= a__U201(mark(X1),X2,X3) ; mark(U202(X1,X2,X3)) >= a__U202(mark(X1),X2,X3) ; mark(U203(X1,X2,X3)) >= a__U203(mark(X1),X2,X3) ; mark(U204(X1,X2,X3)) >= a__U204(mark(X1),X2,X3) ; mark(U205(X1,X2)) >= a__U205(mark(X1),X2) ; mark(U206(X)) >= a__U206(mark(X)) ; mark(U21(X1,X2,X3)) >= a__U21(mark(X1),X2,X3) ; mark(U22(X1,X2,X3)) >= a__U22(mark(X1),X2,X3) ; mark(U211(X)) >= a__U211(mark(X)) ; mark(U23(X1,X2,X3)) >= a__U23(mark(X1),X2,X3) ; mark(U221(X)) >= a__U221(mark(X)) ; mark(U24(X1,X2)) >= a__U24(mark(X1),X2) ; mark(U231(X1,X2)) >= a__U231(mark(X1),X2) ; mark(U232(X)) >= a__U232(mark(X)) ; mark(U241(X1,X2,X3)) >= a__U241(mark(X1),X2,X3) ; mark(U242(X1,X2,X3)) >= a__U242(mark(X1),X2,X3) ; mark(U243(X1,X2,X3)) >= a__U243(mark(X1),X2,X3) ; mark(U244(X1,X2,X3)) >= a__U244(mark(X1),X2,X3) ; mark(U245(X1,X2)) >= a__U245(mark(X1),X2) ; mark(U246(X)) >= a__U246(mark(X)) ; mark(U251(X1,X2,X3)) >= a__U251(mark(X1),X2,X3) ; mark(U252(X1,X2,X3)) >= a__U252(mark(X1),X2,X3) ; mark(U253(X1,X2,X3)) >= a__U253(mark(X1),X2,X3) ; mark(U254(X1,X2,X3)) >= a__U254(mark(X1),X2,X3) ; mark(U255(X1,X2)) >= a__U255(mark(X1),X2) ; mark(U256(X)) >= a__U256(mark(X)) ; mark(U261(X1,X2)) >= a__U261(mark(X1),X2) ; mark(U262(X)) >= a__U262(mark(X)) ; mark(U271(X1,X2)) >= a__U271(mark(X1),X2) ; mark(U272(X)) >= a__U272(mark(X)) ; mark(U281(X1,X2)) >= a__U281(mark(X1),X2) ; mark(U282(X1,X2)) >= a__U282(mark(X1),X2) ; mark(U291(X1,X2,X3)) >= a__U291(mark(X1),X2,X3) ; mark(U292(X1,X2,X3)) >= a__U292(mark(X1),X2,X3) ; mark(U293(X1,X2,X3)) >= a__U293(mark(X1),X2,X3) ; mark(U294(X1,X2,X3)) >= a__U294(mark(X1),X2,X3) ; mark(U301(X1,X2,X3)) >= a__U301(mark(X1),X2,X3) ; mark(U302(X1,X2)) >= a__U302(mark(X1),X2) ; mark(U303(X1,X2)) >= a__U303(mark(X1),X2) ; mark(U304(X1,X2)) >= a__U304(mark(X1),X2) ; mark(U31(X1,X2,X3)) >= a__U31(mark(X1),X2,X3) ; mark(U32(X1,X2,X3)) >= a__U32(mark(X1),X2,X3) ; mark(U311(X1,X2)) >= a__U311(mark(X1),X2) ; mark(U312(X1,X2)) >= a__U312(mark(X1),X2) ; mark(U33(X1,X2,X3)) >= a__U33(mark(X1),X2,X3) ; mark(U321(X1,X2,X3,X4)) >= a__U321(mark(X1),X2,X3,X4) ; mark(U322(X1,X2,X3,X4)) >= a__U322(mark(X1),X2,X3,X4) ; mark(U323(X1,X2,X3,X4)) >= a__U323(mark(X1),X2,X3,X4) ; mark(U324(X1,X2,X3,X4)) >= a__U324(mark(X1),X2,X3,X4) ; mark(U325(X1,X2,X3,X4)) >= a__U325(mark(X1),X2,X3,X4) ; mark(U326(X1,X2,X3,X4)) >= a__U326(mark(X1),X2,X3,X4) ; mark(U327(X1,X2)) >= a__U327(mark(X1),X2) ; mark(U34(X1,X2)) >= a__U34(mark(X1),X2) ; mark(U331(X1,X2,X3)) >= a__U331(mark(X1),X2,X3) ; mark(U332(X1,X2)) >= a__U332(mark(X1),X2) ; mark(U333(X1,X2)) >= a__U333(mark(X1),X2) ; mark(U334(X1,X2)) >= a__U334(mark(X1),X2) ; mark(U341(X1,X2,X3)) >= a__U341(mark(X1),X2,X3) ; mark(U342(X1,X2,X3)) >= a__U342(mark(X1),X2,X3) ; mark(U343(X1,X2,X3)) >= a__U343(mark(X1),X2,X3) ; mark(U344(X1,X2,X3)) >= a__U344(mark(X1),X2,X3) ; mark(U41(X1,X2,X3)) >= a__U41(mark(X1),X2,X3) ; mark(U42(X1,X2,X3)) >= a__U42(mark(X1),X2,X3) ; mark(U43(X1,X2,X3)) >= a__U43(mark(X1),X2,X3) ; mark(U44(X1,X2,X3)) >= a__U44(mark(X1),X2,X3) ; mark(U45(X1,X2)) >= a__U45(mark(X1),X2) ; mark(U46(X)) >= a__U46(mark(X)) ; mark(U51(X1,X2,X3)) >= a__U51(mark(X1),X2,X3) ; mark(U52(X1,X2,X3)) >= a__U52(mark(X1),X2,X3) ; mark(U53(X1,X2,X3)) >= a__U53(mark(X1),X2,X3) ; mark(U54(X1,X2,X3)) >= a__U54(mark(X1),X2,X3) ; mark(U55(X1,X2)) >= a__U55(mark(X1),X2) ; mark(U56(X)) >= a__U56(mark(X)) ; mark(U61(X1,X2)) >= a__U61(mark(X1),X2) ; mark(U62(X1,X2)) >= a__U62(mark(X1),X2) ; mark(isPLNatKind(X)) >= a__isPLNatKind(X) ; mark(U63(X)) >= a__U63(mark(X)) ; mark(isPLNat(X)) >= a__isPLNat(X) ; mark(U71(X1,X2)) >= a__U71(mark(X1),X2) ; mark(U72(X1,X2)) >= a__U72(mark(X1),X2) ; mark(U73(X)) >= a__U73(mark(X)) ; mark(U81(X1,X2)) >= a__U81(mark(X1),X2) ; mark(U82(X1,X2)) >= a__U82(mark(X1),X2) ; mark(U83(X)) >= a__U83(mark(X)) ; mark(U91(X1,X2)) >= a__U91(mark(X1),X2) ; mark(U92(X1,X2)) >= a__U92(mark(X1),X2) ; mark(U93(X)) >= a__U93(mark(X)) ; a__U141(tt) >= tt ; a__U141(X) >= U141(X) ; a__U151(tt) >= tt ; a__U151(X) >= U151(X) ; a__U161(tt) >= tt ; a__U161(X) >= U161(X) ; a__U172(tt) >= tt ; a__U172(X) >= U172(X) ; a__U171(tt,V2) >= a__U172(a__isLNatKind(V2)) ; a__U171(X1,X2) >= U171(X1,X2) ; a__U182(tt,V1) >= a__U183(a__isLNat(V1)) ; a__U182(X1,X2) >= U182(X1,X2) ; a__U181(tt,V1) >= a__U182(a__isLNatKind(V1),V1) ; a__U181(X1,X2) >= U181(X1,X2) ; a__U183(tt) >= tt ; a__U183(X) >= U183(X) ; a__U192(tt,V1) >= a__U193(a__isNatural(V1)) ; a__U192(X1,X2) >= U192(X1,X2) ; a__U191(tt,V1) >= a__U192(a__isNaturalKind(V1),V1) ; a__U191(X1,X2) >= U191(X1,X2) ; a__U193(tt) >= tt ; a__U193(X) >= U193(X) ; a__U202(tt,V1,V2) >= a__U203(a__isLNatKind(V2),V1,V2) ; a__U202(X1,X2,X3) >= U202(X1,X2,X3) ; a__U201(tt,V1,V2) >= a__U202(a__isNaturalKind(V1),V1,V2) ; a__U201(X1,X2,X3) >= U201(X1,X2,X3) ; a__U203(tt,V1,V2) >= a__U204(a__isLNatKind(V2),V1,V2) ; a__U203(X1,X2,X3) >= U203(X1,X2,X3) ; a__U204(tt,V1,V2) >= a__U205(a__isNatural(V1),V2) ; a__U204(X1,X2,X3) >= U204(X1,X2,X3) ; a__U205(tt,V2) >= a__U206(a__isLNat(V2)) ; a__U205(X1,X2) >= U205(X1,X2) ; a__U206(tt) >= tt ; a__U206(X) >= U206(X) ; a__U22(tt,X,Y) >= a__U23(a__isLNat(Y),X,Y) ; a__U22(X1,X2,X3) >= U22(X1,X2,X3) ; a__U21(tt,X,Y) >= a__U22(a__isLNatKind(X),X,Y) ; a__U21(X1,X2,X3) >= U21(X1,X2,X3) ; a__U211(tt) >= tt ; a__U211(X) >= U211(X) ; a__U23(tt,X,Y) >= a__U24(a__isLNatKind(Y),X) ; a__U23(X1,X2,X3) >= U23(X1,X2,X3) ; a__U221(tt) >= tt ; a__U221(X) >= U221(X) ; a__U24(tt,X) >= mark(X) ; a__U24(X1,X2) >= U24(X1,X2) ; a__U232(tt) >= tt ; a__U232(X) >= U232(X) ; a__U231(tt,V2) >= a__U232(a__isLNatKind(V2)) ; a__U231(X1,X2) >= U231(X1,X2) ; a__U242(tt,V1,V2) >= a__U243(a__isLNatKind(V2),V1,V2) ; a__U242(X1,X2,X3) >= U242(X1,X2,X3) ; a__U241(tt,V1,V2) >= a__U242(a__isLNatKind(V1),V1,V2) ; a__U241(X1,X2,X3) >= U241(X1,X2,X3) ; a__U243(tt,V1,V2) >= a__U244(a__isLNatKind(V2),V1,V2) ; a__U243(X1,X2,X3) >= U243(X1,X2,X3) ; a__U244(tt,V1,V2) >= a__U245(a__isLNat(V1),V2) ; a__U244(X1,X2,X3) >= U244(X1,X2,X3) ; a__U245(tt,V2) >= a__U246(a__isLNat(V2)) ; a__U245(X1,X2) >= U245(X1,X2) ; a__U246(tt) >= tt ; a__U246(X) >= U246(X) ; a__U252(tt,V1,V2) >= a__U253(a__isLNatKind(V2),V1,V2) ; a__U252(X1,X2,X3) >= U252(X1,X2,X3) ; a__U251(tt,V1,V2) >= a__U252(a__isNaturalKind(V1),V1,V2) ; a__U251(X1,X2,X3) >= U251(X1,X2,X3) ; a__U253(tt,V1,V2) >= a__U254(a__isLNatKind(V2),V1,V2) ; a__U253(X1,X2,X3) >= U253(X1,X2,X3) ; a__U254(tt,V1,V2) >= a__U255(a__isNatural(V1),V2) ; a__U254(X1,X2,X3) >= U254(X1,X2,X3) ; a__U255(tt,V2) >= a__U256(a__isLNat(V2)) ; a__U255(X1,X2) >= U255(X1,X2) ; a__U256(tt) >= tt ; a__U256(X) >= U256(X) ; a__U262(tt) >= tt ; a__U262(X) >= U262(X) ; a__U261(tt,V2) >= a__U262(a__isLNatKind(V2)) ; a__U261(X1,X2) >= U261(X1,X2) ; a__U272(tt) >= tt ; a__U272(X) >= U272(X) ; a__U271(tt,V2) >= a__U272(a__isLNatKind(V2)) ; a__U271(X1,X2) >= U271(X1,X2) ; a__U282(tt,N) >= cons(mark(N),natsFrom(s(N))) ; a__U282(X1,X2) >= U282(X1,X2) ; a__U281(tt,N) >= a__U282(a__isNaturalKind(N),N) ; a__U281(X1,X2) >= U281(X1,X2) ; a__U292(tt,N,XS) >= a__U293(a__isLNat(XS),N,XS) ; a__U292(X1,X2,X3) >= U292(X1,X2,X3) ; a__U291(tt,N,XS) >= a__U292(a__isNaturalKind(N),N,XS) ; a__U291(X1,X2,X3) >= U291(X1,X2,X3) ; a__U293(tt,N,XS) >= a__U294(a__isLNatKind(XS),N,XS) ; a__U293(X1,X2,X3) >= U293(X1,X2,X3) ; a__U294(tt,N,XS) >= a__head(a__afterNth(mark(N),mark(XS))) ; a__U294(X1,X2,X3) >= U294(X1,X2,X3) ; a__head(cons(N,XS)) >= a__U31(a__isNatural(N),N,XS) ; a__head(X) >= head(X) ; a__afterNth(N,XS) >= a__U11(a__isNatural(N),N,XS) ; a__afterNth(X1,X2) >= afterNth(X1,X2) ; a__U302(tt,Y) >= a__U303(a__isLNat(Y),Y) ; a__U302(X1,X2) >= U302(X1,X2) ; a__U301(tt,X,Y) >= a__U302(a__isLNatKind(X),Y) ; a__U301(X1,X2,X3) >= U301(X1,X2,X3) ; a__U303(tt,Y) >= a__U304(a__isLNatKind(Y),Y) ; a__U303(X1,X2) >= U303(X1,X2) ; a__U304(tt,Y) >= mark(Y) ; a__U304(X1,X2) >= U304(X1,X2) ; a__U32(tt,N,XS) >= a__U33(a__isLNat(XS),N,XS) ; a__U32(X1,X2,X3) >= U32(X1,X2,X3) ; a__U31(tt,N,XS) >= a__U32(a__isNaturalKind(N),N,XS) ; a__U31(X1,X2,X3) >= U31(X1,X2,X3) ; a__U312(tt,XS) >= pair(nil,mark(XS)) ; a__U312(X1,X2) >= U312(X1,X2) ; a__U311(tt,XS) >= a__U312(a__isLNatKind(XS),XS) ; a__U311(X1,X2) >= U311(X1,X2) ; a__U33(tt,N,XS) >= a__U34(a__isLNatKind(XS),N) ; a__U33(X1,X2,X3) >= U33(X1,X2,X3) ; a__U322(tt,N,X,XS) >= a__U323(a__isNatural(X),N,X,XS) ; a__U322(X1,X2,X3,X4) >= U322(X1,X2,X3,X4) ; a__U321(tt,N,X,XS) >= a__U322(a__isNaturalKind(N),N,X,XS) ; a__U321(X1,X2,X3,X4) >= U321(X1,X2,X3,X4) ; a__U323(tt,N,X,XS) >= a__U324(a__isNaturalKind(X),N,X,XS) ; a__U323(X1,X2,X3,X4) >= U323(X1,X2,X3,X4) ; a__U324(tt,N,X,XS) >= a__U325(a__isLNat(XS),N,X,XS) ; a__U324(X1,X2,X3,X4) >= U324(X1,X2,X3,X4) ; a__U325(tt,N,X,XS) >= a__U326(a__isLNatKind(XS),N,X,XS) ; a__U325(X1,X2,X3,X4) >= U325(X1,X2,X3,X4) ; a__U326(tt,N,X,XS) >= a__U327(a__splitAt(mark(N),mark(XS)),X) ; a__U326(X1,X2,X3,X4) >= U326(X1,X2,X3,X4) ; a__U327(pair(YS,ZS),X) >= pair(cons(mark(X),YS),mark(ZS)) ; a__U327(X1,X2) >= U327(X1,X2) ; a__U34(tt,N) >= mark(N) ; a__U34(X1,X2) >= U34(X1,X2) ; a__U332(tt,XS) >= a__U333(a__isLNat(XS),XS) ; a__U332(X1,X2) >= U332(X1,X2) ; a__U331(tt,N,XS) >= a__U332(a__isNaturalKind(N),XS) ; a__U331(X1,X2,X3) >= U331(X1,X2,X3) ; a__U333(tt,XS) >= a__U334(a__isLNatKind(XS),XS) ; a__U333(X1,X2) >= U333(X1,X2) ; a__U334(tt,XS) >= mark(XS) ; a__U334(X1,X2) >= U334(X1,X2) ; a__U342(tt,N,XS) >= a__U343(a__isLNat(XS),N,XS) ; a__U342(X1,X2,X3) >= U342(X1,X2,X3) ; a__U341(tt,N,XS) >= a__U342(a__isNaturalKind(N),N,XS) ; a__U341(X1,X2,X3) >= U341(X1,X2,X3) ; a__U343(tt,N,XS) >= a__U344(a__isLNatKind(XS),N,XS) ; a__U343(X1,X2,X3) >= U343(X1,X2,X3) ; a__U344(tt,N,XS) >= a__fst(a__splitAt(mark(N),mark(XS))) ; a__U344(X1,X2,X3) >= U344(X1,X2,X3) ; a__fst(pair(X,Y)) >= a__U21(a__isLNat(X),X,Y) ; a__fst(X) >= fst(X) ; a__U42(tt,V1,V2) >= a__U43(a__isLNatKind(V2),V1,V2) ; a__U42(X1,X2,X3) >= U42(X1,X2,X3) ; a__U41(tt,V1,V2) >= a__U42(a__isNaturalKind(V1),V1,V2) ; a__U41(X1,X2,X3) >= U41(X1,X2,X3) ; a__U43(tt,V1,V2) >= a__U44(a__isLNatKind(V2),V1,V2) ; a__U43(X1,X2,X3) >= U43(X1,X2,X3) ; a__U44(tt,V1,V2) >= a__U45(a__isNatural(V1),V2) ; a__U44(X1,X2,X3) >= U44(X1,X2,X3) ; a__U45(tt,V2) >= a__U46(a__isLNat(V2)) ; a__U45(X1,X2) >= U45(X1,X2) ; a__U46(tt) >= tt ; a__U46(X) >= U46(X) ; a__U52(tt,V1,V2) >= a__U53(a__isLNatKind(V2),V1,V2) ; a__U52(X1,X2,X3) >= U52(X1,X2,X3) ; a__U51(tt,V1,V2) >= a__U52(a__isNaturalKind(V1),V1,V2) ; a__U51(X1,X2,X3) >= U51(X1,X2,X3) ; a__U53(tt,V1,V2) >= a__U54(a__isLNatKind(V2),V1,V2) ; a__U53(X1,X2,X3) >= U53(X1,X2,X3) ; a__U54(tt,V1,V2) >= a__U55(a__isNatural(V1),V2) ; a__U54(X1,X2,X3) >= U54(X1,X2,X3) ; a__U55(tt,V2) >= a__U56(a__isLNat(V2)) ; a__U55(X1,X2) >= U55(X1,X2) ; a__U56(tt) >= tt ; a__U56(X) >= U56(X) ; a__U62(tt,V1) >= a__U63(a__isPLNat(V1)) ; a__U62(X1,X2) >= U62(X1,X2) ; a__isPLNatKind(pair(V1,V2)) >= a__U261(a__isLNatKind(V1),V2) ; a__isPLNatKind(splitAt(V1,V2)) >= a__U271(a__isNaturalKind(V1),V2) ; a__isPLNatKind(X) >= isPLNatKind(X) ; a__U61(tt,V1) >= a__U62(a__isPLNatKind(V1),V1) ; a__U61(X1,X2) >= U61(X1,X2) ; a__U63(tt) >= tt ; a__U63(X) >= U63(X) ; a__isPLNat(pair(V1,V2)) >= a__U241(a__isLNatKind(V1),V1,V2) ; a__isPLNat(splitAt(V1,V2)) >= a__U251(a__isNaturalKind(V1),V1,V2) ; a__isPLNat(X) >= isPLNat(X) ; a__U72(tt,V1) >= a__U73(a__isNatural(V1)) ; a__U72(X1,X2) >= U72(X1,X2) ; a__U71(tt,V1) >= a__U72(a__isNaturalKind(V1),V1) ; a__U71(X1,X2) >= U71(X1,X2) ; a__U73(tt) >= tt ; a__U73(X) >= U73(X) ; a__U82(tt,V1) >= a__U83(a__isPLNat(V1)) ; a__U82(X1,X2) >= U82(X1,X2) ; a__U81(tt,V1) >= a__U82(a__isPLNatKind(V1),V1) ; a__U81(X1,X2) >= U81(X1,X2) ; a__U83(tt) >= tt ; a__U83(X) >= U83(X) ; a__U92(tt,V1) >= a__U93(a__isLNat(V1)) ; a__U92(X1,X2) >= U92(X1,X2) ; a__U91(tt,V1) >= a__U92(a__isLNatKind(V1),V1) ; a__U91(X1,X2) >= U91(X1,X2) ; a__U93(tt) >= tt ; a__U93(X) >= U93(X) ; a__natsFrom(N) >= a__U281(a__isNatural(N),N) ; a__natsFrom(X) >= natsFrom(X) ; a__sel(N,XS) >= a__U291(a__isNatural(N),N,XS) ; a__sel(X1,X2) >= sel(X1,X2) ; a__tail(cons(N,XS)) >= a__U331(a__isNatural(N),N,XS) ; a__tail(X) >= tail(X) ; a__take(N,XS) >= a__U341(a__isNatural(N),N,XS) ; a__take(X1,X2) >= take(X1,X2) ; Marked_a__sel(N,XS) >= Marked_a__U291(a__isNatural(N),N,XS) ; Marked_a__take(N,XS) >= Marked_a__U341(a__isNatural(N),N,XS) ; Marked_a__tail(cons(N,XS)) >= Marked_a__U331(a__isNatural(N),N,XS) ; Marked_a__fst(pair(X,Y)) >= Marked_a__U21(a__isLNat(X),X,Y) ; Marked_a__U344(tt,N,XS) > Marked_a__fst(a__splitAt(mark(N),mark(XS))) ; Marked_a__U344(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U344(tt,N,XS) > Marked_mark(N) ; Marked_a__U344(tt,N,XS) > Marked_mark(XS) ; Marked_a__U343(tt,N,XS) >= Marked_a__U344(a__isLNatKind(XS),N,XS) ; Marked_a__U342(tt,N,XS) >= Marked_a__U343(a__isLNat(XS),N,XS) ; Marked_a__U341(tt,N,XS) >= Marked_a__U342(a__isNaturalKind(N),N,XS) ; Marked_a__U334(tt,XS) > Marked_mark(XS) ; Marked_a__U333(tt,XS) >= Marked_a__U334(a__isLNatKind(XS),XS) ; Marked_a__U332(tt,XS) >= Marked_a__U333(a__isLNat(XS),XS) ; Marked_a__U331(tt,N,XS) >= Marked_a__U332(a__isNaturalKind(N),XS) ; Marked_a__U34(tt,N) > Marked_mark(N) ; Marked_a__U327(pair(YS,ZS),X) > Marked_mark(X) ; Marked_a__U327(pair(YS,ZS),X) > Marked_mark(ZS) ; Marked_a__U326(tt,N,X,XS) > Marked_a__U327(a__splitAt(mark(N),mark(XS)),X) ; Marked_a__U326(tt,N,X,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U326(tt,N,X,XS) > Marked_mark(N) ; Marked_a__U326(tt,N,X,XS) > Marked_mark(XS) ; Marked_a__U325(tt,N,X,XS) > Marked_a__U326(a__isLNatKind(XS),N,X,XS) ; Marked_a__U324(tt,N,X,XS) > Marked_a__U325(a__isLNat(XS),N,X,XS) ; Marked_a__U323(tt,N,X,XS) >= Marked_a__U324(a__isNaturalKind(X),N,X,XS) ; Marked_a__U322(tt,N,X,XS) >= Marked_a__U323(a__isNatural(X),N,X,XS) ; Marked_a__U321(tt,N,X,XS) >= Marked_a__U322(a__isNaturalKind(N),N,X,XS) ; Marked_a__U33(tt,N,XS) > Marked_a__U34(a__isLNatKind(XS),N) ; Marked_a__U312(tt,XS) > Marked_mark(XS) ; Marked_a__U311(tt,XS) > Marked_a__U312(a__isLNatKind(XS),XS) ; Marked_a__U32(tt,N,XS) >= Marked_a__U33(a__isLNat(XS),N,XS) ; Marked_a__U31(tt,N,XS) >= Marked_a__U32(a__isNaturalKind(N),N,XS) ; Marked_a__U304(tt,Y) > Marked_mark(Y) ; Marked_a__U303(tt,Y) > Marked_a__U304(a__isLNatKind(Y),Y) ; Marked_a__U302(tt,Y) >= Marked_a__U303(a__isLNat(Y),Y) ; Marked_a__U301(tt,X,Y) >= Marked_a__U302(a__isLNatKind(X),Y) ; Marked_a__afterNth(N,XS) >= Marked_a__U11(a__isNatural(N),N,XS) ; Marked_a__head(cons(N,XS)) >= Marked_a__U31(a__isNatural(N),N,XS) ; Marked_a__U294(tt,N,XS) > Marked_a__afterNth(mark(N),mark(XS)) ; Marked_a__U294(tt,N,XS) >= Marked_a__head(a__afterNth(mark(N),mark(XS))) ; Marked_a__U294(tt,N,XS) > Marked_mark(N) ; Marked_a__U294(tt,N,XS) > Marked_mark(XS) ; Marked_a__U293(tt,N,XS) >= Marked_a__U294(a__isLNatKind(XS),N,XS) ; Marked_a__U292(tt,N,XS) >= Marked_a__U293(a__isLNat(XS),N,XS) ; Marked_a__U291(tt,N,XS) >= Marked_a__U292(a__isNaturalKind(N),N,XS) ; Marked_a__natsFrom(N) >= Marked_a__U281(a__isNatural(N),N) ; Marked_a__U282(tt,N) > Marked_mark(N) ; Marked_a__U281(tt,N) >= Marked_a__U282(a__isNaturalKind(N),N) ; Marked_a__U24(tt,X) > Marked_mark(X) ; Marked_a__U23(tt,X,Y) >= Marked_a__U24(a__isLNatKind(Y),X) ; Marked_a__U22(tt,X,Y) >= Marked_a__U23(a__isLNat(Y),X,Y) ; Marked_a__U21(tt,X,Y) >= Marked_a__U22(a__isLNatKind(X),X,Y) ; Marked_a__splitAt(s(N),cons(X,XS)) >= Marked_a__U321(a__isNatural(N),N,X,XS) ; Marked_a__splitAt(0,XS) >= Marked_a__U311(a__isLNat(XS),XS) ; Marked_a__snd(pair(X,Y)) >= Marked_a__U301(a__isLNat(X),X,Y) ; Marked_a__U14(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U14(tt,N,XS) >= Marked_a__snd(a__splitAt(mark(N),mark(XS))) ; Marked_a__U14(tt,N,XS) > Marked_mark(N) ; Marked_a__U14(tt,N,XS) > Marked_mark(XS) ; Marked_a__U13(tt,N,XS) >= Marked_a__U14(a__isLNatKind(XS),N,XS) ; Marked_a__U12(tt,N,XS) >= Marked_a__U13(a__isLNat(XS),N,XS) ; Marked_a__U11(tt,N,XS) >= Marked_a__U12(a__isNaturalKind(N),N,XS) ; Marked_mark(cons(X1,X2)) > Marked_mark(X1) ; Marked_mark(natsFrom(X)) >= Marked_a__natsFrom(mark(X)) ; Marked_mark(natsFrom(X)) > Marked_mark(X) ; Marked_mark(s(X)) > Marked_mark(X) ; Marked_mark(pair(X1,X2)) > Marked_mark(X1) ; Marked_mark(pair(X1,X2)) > Marked_mark(X2) ; Marked_mark(afterNth(X1,X2)) >= Marked_a__afterNth(mark(X1),mark(X2)) ; Marked_mark(afterNth(X1,X2)) > Marked_mark(X1) ; Marked_mark(afterNth(X1,X2)) > Marked_mark(X2) ; Marked_mark(fst(X)) >= Marked_a__fst(mark(X)) ; Marked_mark(fst(X)) > Marked_mark(X) ; Marked_mark(snd(X)) >= Marked_a__snd(mark(X)) ; Marked_mark(snd(X)) > Marked_mark(X) ; Marked_mark(tail(X)) >= Marked_a__tail(mark(X)) ; Marked_mark(tail(X)) > Marked_mark(X) ; Marked_mark(take(X1,X2)) >= Marked_a__take(mark(X1),mark(X2)) ; Marked_mark(take(X1,X2)) > Marked_mark(X1) ; Marked_mark(take(X1,X2)) > Marked_mark(X2) ; Marked_mark(head(X)) >= Marked_a__head(mark(X)) ; Marked_mark(head(X)) > Marked_mark(X) ; Marked_mark(sel(X1,X2)) >= Marked_a__sel(mark(X1),mark(X2)) ; Marked_mark(sel(X1,X2)) > Marked_mark(X1) ; Marked_mark(sel(X1,X2)) > Marked_mark(X2) ; Marked_mark(splitAt(X1,X2)) >= Marked_a__splitAt(mark(X1),mark(X2)) ; Marked_mark(splitAt(X1,X2)) > Marked_mark(X1) ; Marked_mark(splitAt(X1,X2)) > Marked_mark(X2) ; Marked_mark(U101(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U102(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U103(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U104(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U105(X1,X2)) > Marked_mark(X1) ; Marked_mark(U106(X)) > Marked_mark(X) ; Marked_mark(U11(X1,X2,X3)) > Marked_a__U11(mark(X1),X2,X3) ; Marked_mark(U11(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U12(X1,X2,X3)) > Marked_a__U12(mark(X1),X2,X3) ; Marked_mark(U12(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U111(X1,X2)) > Marked_mark(X1) ; Marked_mark(U112(X)) > Marked_mark(X) ; Marked_mark(U13(X1,X2,X3)) > Marked_a__U13(mark(X1),X2,X3) ; Marked_mark(U13(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U121(X1,X2)) > Marked_mark(X1) ; Marked_mark(U122(X)) > Marked_mark(X) ; Marked_mark(U14(X1,X2,X3)) > Marked_a__U14(mark(X1),X2,X3) ; Marked_mark(U14(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U131(X)) > Marked_mark(X) ; Marked_mark(U141(X)) > Marked_mark(X) ; Marked_mark(U151(X)) > Marked_mark(X) ; Marked_mark(U161(X)) > Marked_mark(X) ; Marked_mark(U171(X1,X2)) > Marked_mark(X1) ; Marked_mark(U172(X)) > Marked_mark(X) ; Marked_mark(U181(X1,X2)) > Marked_mark(X1) ; Marked_mark(U182(X1,X2)) > Marked_mark(X1) ; Marked_mark(U183(X)) > Marked_mark(X) ; Marked_mark(U191(X1,X2)) > Marked_mark(X1) ; Marked_mark(U192(X1,X2)) > Marked_mark(X1) ; Marked_mark(U193(X)) > Marked_mark(X) ; Marked_mark(U201(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U202(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U203(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U204(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U205(X1,X2)) > Marked_mark(X1) ; Marked_mark(U206(X)) > Marked_mark(X) ; Marked_mark(U21(X1,X2,X3)) > Marked_a__U21(mark(X1),X2,X3) ; Marked_mark(U21(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U22(X1,X2,X3)) > Marked_a__U22(mark(X1),X2,X3) ; Marked_mark(U22(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U211(X)) > Marked_mark(X) ; Marked_mark(U23(X1,X2,X3)) > Marked_a__U23(mark(X1),X2,X3) ; Marked_mark(U23(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U221(X)) > Marked_mark(X) ; Marked_mark(U24(X1,X2)) > Marked_a__U24(mark(X1),X2) ; Marked_mark(U24(X1,X2)) > Marked_mark(X1) ; Marked_mark(U231(X1,X2)) > Marked_mark(X1) ; Marked_mark(U232(X)) > Marked_mark(X) ; Marked_mark(U241(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U242(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U243(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U244(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U245(X1,X2)) > Marked_mark(X1) ; Marked_mark(U246(X)) > Marked_mark(X) ; Marked_mark(U251(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U252(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U253(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U254(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U255(X1,X2)) > Marked_mark(X1) ; Marked_mark(U256(X)) > Marked_mark(X) ; Marked_mark(U261(X1,X2)) > Marked_mark(X1) ; Marked_mark(U262(X)) > Marked_mark(X) ; Marked_mark(U271(X1,X2)) > Marked_mark(X1) ; Marked_mark(U272(X)) > Marked_mark(X) ; Marked_mark(U281(X1,X2)) > Marked_a__U281(mark(X1),X2) ; Marked_mark(U281(X1,X2)) > Marked_mark(X1) ; Marked_mark(U282(X1,X2)) > Marked_a__U282(mark(X1),X2) ; Marked_mark(U282(X1,X2)) > Marked_mark(X1) ; Marked_mark(U291(X1,X2,X3)) > Marked_a__U291(mark(X1),X2,X3) ; Marked_mark(U291(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U292(X1,X2,X3)) > Marked_a__U292(mark(X1),X2,X3) ; Marked_mark(U292(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U293(X1,X2,X3)) > Marked_a__U293(mark(X1),X2,X3) ; Marked_mark(U293(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U294(X1,X2,X3)) > Marked_a__U294(mark(X1),X2,X3) ; Marked_mark(U294(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U301(X1,X2,X3)) >= Marked_a__U301(mark(X1),X2,X3) ; Marked_mark(U301(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U302(X1,X2)) >= Marked_a__U302(mark(X1),X2) ; Marked_mark(U302(X1,X2)) > Marked_mark(X1) ; Marked_mark(U303(X1,X2)) >= Marked_a__U303(mark(X1),X2) ; Marked_mark(U303(X1,X2)) > Marked_mark(X1) ; Marked_mark(U304(X1,X2)) >= Marked_a__U304(mark(X1),X2) ; Marked_mark(U304(X1,X2)) > Marked_mark(X1) ; Marked_mark(U31(X1,X2,X3)) >= Marked_a__U31(mark(X1),X2,X3) ; Marked_mark(U31(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U32(X1,X2,X3)) >= Marked_a__U32(mark(X1),X2,X3) ; Marked_mark(U32(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U311(X1,X2)) >= Marked_a__U311(mark(X1),X2) ; Marked_mark(U311(X1,X2)) > Marked_mark(X1) ; Marked_mark(U312(X1,X2)) >= Marked_a__U312(mark(X1),X2) ; Marked_mark(U312(X1,X2)) > Marked_mark(X1) ; Marked_mark(U33(X1,X2,X3)) >= Marked_a__U33(mark(X1),X2,X3) ; Marked_mark(U33(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U321(X1,X2,X3,X4)) >= Marked_a__U321(mark(X1),X2,X3,X4) ; Marked_mark(U321(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U322(X1,X2,X3,X4)) >= Marked_a__U322(mark(X1),X2,X3,X4) ; Marked_mark(U322(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U323(X1,X2,X3,X4)) >= Marked_a__U323(mark(X1),X2,X3,X4) ; Marked_mark(U323(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U324(X1,X2,X3,X4)) >= Marked_a__U324(mark(X1),X2,X3,X4) ; Marked_mark(U324(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U325(X1,X2,X3,X4)) >= Marked_a__U325(mark(X1),X2,X3,X4) ; Marked_mark(U325(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U326(X1,X2,X3,X4)) >= Marked_a__U326(mark(X1),X2,X3,X4) ; Marked_mark(U326(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U327(X1,X2)) >= Marked_a__U327(mark(X1),X2) ; Marked_mark(U327(X1,X2)) > Marked_mark(X1) ; Marked_mark(U34(X1,X2)) >= Marked_a__U34(mark(X1),X2) ; Marked_mark(U34(X1,X2)) > Marked_mark(X1) ; Marked_mark(U331(X1,X2,X3)) > Marked_a__U331(mark(X1),X2,X3) ; Marked_mark(U331(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U332(X1,X2)) > Marked_a__U332(mark(X1),X2) ; Marked_mark(U332(X1,X2)) > Marked_mark(X1) ; Marked_mark(U333(X1,X2)) > Marked_a__U333(mark(X1),X2) ; Marked_mark(U333(X1,X2)) > Marked_mark(X1) ; Marked_mark(U334(X1,X2)) > Marked_a__U334(mark(X1),X2) ; Marked_mark(U334(X1,X2)) > Marked_mark(X1) ; Marked_mark(U341(X1,X2,X3)) > Marked_a__U341(mark(X1),X2,X3) ; Marked_mark(U341(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U342(X1,X2,X3)) > Marked_a__U342(mark(X1),X2,X3) ; Marked_mark(U342(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U343(X1,X2,X3)) > Marked_a__U343(mark(X1),X2,X3) ; Marked_mark(U343(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U344(X1,X2,X3)) > Marked_a__U344(mark(X1),X2,X3) ; Marked_mark(U344(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U41(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U42(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U43(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U44(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U45(X1,X2)) > Marked_mark(X1) ; Marked_mark(U46(X)) > Marked_mark(X) ; Marked_mark(U51(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U52(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U53(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U54(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U55(X1,X2)) > Marked_mark(X1) ; Marked_mark(U56(X)) > Marked_mark(X) ; Marked_mark(U61(X1,X2)) > Marked_mark(X1) ; Marked_mark(U62(X1,X2)) > Marked_mark(X1) ; Marked_mark(U63(X)) > Marked_mark(X) ; Marked_mark(U71(X1,X2)) > Marked_mark(X1) ; Marked_mark(U72(X1,X2)) > Marked_mark(X1) ; Marked_mark(U73(X)) > Marked_mark(X) ; Marked_mark(U81(X1,X2)) > Marked_mark(X1) ; Marked_mark(U82(X1,X2)) > Marked_mark(X1) ; Marked_mark(U83(X)) > Marked_mark(X) ; Marked_mark(U91(X1,X2)) > Marked_mark(X1) ; Marked_mark(U92(X1,X2)) > Marked_mark(X1) ; Marked_mark(U93(X)) > Marked_mark(X) ; } APPLY CRITERIA (SOLVE_ORD) Trying to solve the following constraints: { a__U102(tt,V1,V2) >= a__U103(a__isLNatKind(V2),V1,V2) ; a__U102(X1,X2,X3) >= U102(X1,X2,X3) ; a__isNaturalKind(s(V1)) >= a__U221(a__isNaturalKind(V1)) ; a__isNaturalKind(0) >= tt ; a__isNaturalKind(head(V1)) >= a__U211(a__isLNatKind(V1)) ; a__isNaturalKind(sel(V1,V2)) >= a__U231(a__isNaturalKind(V1),V2) ; a__isNaturalKind(X) >= isNaturalKind(X) ; a__U101(tt,V1,V2) >= a__U102(a__isNaturalKind(V1),V1,V2) ; a__U101(X1,X2,X3) >= U101(X1,X2,X3) ; a__U103(tt,V1,V2) >= a__U104(a__isLNatKind(V2),V1,V2) ; a__U103(X1,X2,X3) >= U103(X1,X2,X3) ; a__isLNatKind(cons(V1,V2)) >= a__U121(a__isNaturalKind(V1),V2) ; a__isLNatKind(natsFrom(V1)) >= a__U141(a__isNaturalKind(V1)) ; a__isLNatKind(nil) >= tt ; a__isLNatKind(afterNth(V1,V2)) >= a__U111(a__isNaturalKind(V1),V2) ; a__isLNatKind(fst(V1)) >= a__U131(a__isPLNatKind(V1)) ; a__isLNatKind(snd(V1)) >= a__U151(a__isPLNatKind(V1)) ; a__isLNatKind(tail(V1)) >= a__U161(a__isLNatKind(V1)) ; a__isLNatKind(take(V1,V2)) >= a__U171(a__isNaturalKind(V1),V2) ; a__isLNatKind(X) >= isLNatKind(X) ; a__U104(tt,V1,V2) >= a__U105(a__isNatural(V1),V2) ; a__U104(X1,X2,X3) >= U104(X1,X2,X3) ; a__U105(tt,V2) >= a__U106(a__isLNat(V2)) ; a__U105(X1,X2) >= U105(X1,X2) ; a__isNatural(s(V1)) >= a__U191(a__isNaturalKind(V1),V1) ; a__isNatural(0) >= tt ; a__isNatural(head(V1)) >= a__U181(a__isLNatKind(V1),V1) ; a__isNatural(sel(V1,V2)) >= a__U201(a__isNaturalKind(V1),V1,V2) ; a__isNatural(X) >= isNatural(X) ; a__U106(tt) >= tt ; a__U106(X) >= U106(X) ; a__isLNat(cons(V1,V2)) >= a__U51(a__isNaturalKind(V1),V1,V2) ; a__isLNat(natsFrom(V1)) >= a__U71(a__isNaturalKind(V1),V1) ; a__isLNat(nil) >= tt ; a__isLNat(afterNth(V1,V2)) >= a__U41(a__isNaturalKind(V1),V1,V2) ; a__isLNat(fst(V1)) >= a__U61(a__isPLNatKind(V1),V1) ; a__isLNat(snd(V1)) >= a__U81(a__isPLNatKind(V1),V1) ; a__isLNat(tail(V1)) >= a__U91(a__isLNatKind(V1),V1) ; a__isLNat(take(V1,V2)) >= a__U101(a__isNaturalKind(V1),V1,V2) ; a__isLNat(X) >= isLNat(X) ; a__U12(tt,N,XS) >= a__U13(a__isLNat(XS),N,XS) ; a__U12(X1,X2,X3) >= U12(X1,X2,X3) ; a__U11(tt,N,XS) >= a__U12(a__isNaturalKind(N),N,XS) ; a__U11(X1,X2,X3) >= U11(X1,X2,X3) ; a__U112(tt) >= tt ; a__U112(X) >= U112(X) ; a__U111(tt,V2) >= a__U112(a__isLNatKind(V2)) ; a__U111(X1,X2) >= U111(X1,X2) ; a__U13(tt,N,XS) >= a__U14(a__isLNatKind(XS),N,XS) ; a__U13(X1,X2,X3) >= U13(X1,X2,X3) ; a__U122(tt) >= tt ; a__U122(X) >= U122(X) ; a__U121(tt,V2) >= a__U122(a__isLNatKind(V2)) ; a__U121(X1,X2) >= U121(X1,X2) ; a__U14(tt,N,XS) >= a__snd(a__splitAt(mark(N),mark(XS))) ; a__U14(X1,X2,X3) >= U14(X1,X2,X3) ; a__U131(tt) >= tt ; a__U131(X) >= U131(X) ; a__snd(pair(X,Y)) >= a__U301(a__isLNat(X),X,Y) ; a__snd(X) >= snd(X) ; a__splitAt(s(N),cons(X,XS)) >= a__U321(a__isNatural(N),N,X,XS) ; a__splitAt(0,XS) >= a__U311(a__isLNat(XS),XS) ; a__splitAt(X1,X2) >= splitAt(X1,X2) ; mark(tt) >= tt ; mark(cons(X1,X2)) >= cons(mark(X1),X2) ; mark(natsFrom(X)) >= a__natsFrom(mark(X)) ; mark(s(X)) >= s(mark(X)) ; mark(pair(X1,X2)) >= pair(mark(X1),mark(X2)) ; mark(nil) >= nil ; mark(afterNth(X1,X2)) >= a__afterNth(mark(X1),mark(X2)) ; mark(fst(X)) >= a__fst(mark(X)) ; mark(snd(X)) >= a__snd(mark(X)) ; mark(tail(X)) >= a__tail(mark(X)) ; mark(take(X1,X2)) >= a__take(mark(X1),mark(X2)) ; mark(0) >= 0 ; mark(head(X)) >= a__head(mark(X)) ; mark(sel(X1,X2)) >= a__sel(mark(X1),mark(X2)) ; mark(splitAt(X1,X2)) >= a__splitAt(mark(X1),mark(X2)) ; mark(U101(X1,X2,X3)) >= a__U101(mark(X1),X2,X3) ; mark(U102(X1,X2,X3)) >= a__U102(mark(X1),X2,X3) ; mark(isNaturalKind(X)) >= a__isNaturalKind(X) ; mark(U103(X1,X2,X3)) >= a__U103(mark(X1),X2,X3) ; mark(isLNatKind(X)) >= a__isLNatKind(X) ; mark(U104(X1,X2,X3)) >= a__U104(mark(X1),X2,X3) ; mark(U105(X1,X2)) >= a__U105(mark(X1),X2) ; mark(isNatural(X)) >= a__isNatural(X) ; mark(U106(X)) >= a__U106(mark(X)) ; mark(isLNat(X)) >= a__isLNat(X) ; mark(U11(X1,X2,X3)) >= a__U11(mark(X1),X2,X3) ; mark(U12(X1,X2,X3)) >= a__U12(mark(X1),X2,X3) ; mark(U111(X1,X2)) >= a__U111(mark(X1),X2) ; mark(U112(X)) >= a__U112(mark(X)) ; mark(U13(X1,X2,X3)) >= a__U13(mark(X1),X2,X3) ; mark(U121(X1,X2)) >= a__U121(mark(X1),X2) ; mark(U122(X)) >= a__U122(mark(X)) ; mark(U14(X1,X2,X3)) >= a__U14(mark(X1),X2,X3) ; mark(U131(X)) >= a__U131(mark(X)) ; mark(U141(X)) >= a__U141(mark(X)) ; mark(U151(X)) >= a__U151(mark(X)) ; mark(U161(X)) >= a__U161(mark(X)) ; mark(U171(X1,X2)) >= a__U171(mark(X1),X2) ; mark(U172(X)) >= a__U172(mark(X)) ; mark(U181(X1,X2)) >= a__U181(mark(X1),X2) ; mark(U182(X1,X2)) >= a__U182(mark(X1),X2) ; mark(U183(X)) >= a__U183(mark(X)) ; mark(U191(X1,X2)) >= a__U191(mark(X1),X2) ; mark(U192(X1,X2)) >= a__U192(mark(X1),X2) ; mark(U193(X)) >= a__U193(mark(X)) ; mark(U201(X1,X2,X3)) >= a__U201(mark(X1),X2,X3) ; mark(U202(X1,X2,X3)) >= a__U202(mark(X1),X2,X3) ; mark(U203(X1,X2,X3)) >= a__U203(mark(X1),X2,X3) ; mark(U204(X1,X2,X3)) >= a__U204(mark(X1),X2,X3) ; mark(U205(X1,X2)) >= a__U205(mark(X1),X2) ; mark(U206(X)) >= a__U206(mark(X)) ; mark(U21(X1,X2,X3)) >= a__U21(mark(X1),X2,X3) ; mark(U22(X1,X2,X3)) >= a__U22(mark(X1),X2,X3) ; mark(U211(X)) >= a__U211(mark(X)) ; mark(U23(X1,X2,X3)) >= a__U23(mark(X1),X2,X3) ; mark(U221(X)) >= a__U221(mark(X)) ; mark(U24(X1,X2)) >= a__U24(mark(X1),X2) ; mark(U231(X1,X2)) >= a__U231(mark(X1),X2) ; mark(U232(X)) >= a__U232(mark(X)) ; mark(U241(X1,X2,X3)) >= a__U241(mark(X1),X2,X3) ; mark(U242(X1,X2,X3)) >= a__U242(mark(X1),X2,X3) ; mark(U243(X1,X2,X3)) >= a__U243(mark(X1),X2,X3) ; mark(U244(X1,X2,X3)) >= a__U244(mark(X1),X2,X3) ; mark(U245(X1,X2)) >= a__U245(mark(X1),X2) ; mark(U246(X)) >= a__U246(mark(X)) ; mark(U251(X1,X2,X3)) >= a__U251(mark(X1),X2,X3) ; mark(U252(X1,X2,X3)) >= a__U252(mark(X1),X2,X3) ; mark(U253(X1,X2,X3)) >= a__U253(mark(X1),X2,X3) ; mark(U254(X1,X2,X3)) >= a__U254(mark(X1),X2,X3) ; mark(U255(X1,X2)) >= a__U255(mark(X1),X2) ; mark(U256(X)) >= a__U256(mark(X)) ; mark(U261(X1,X2)) >= a__U261(mark(X1),X2) ; mark(U262(X)) >= a__U262(mark(X)) ; mark(U271(X1,X2)) >= a__U271(mark(X1),X2) ; mark(U272(X)) >= a__U272(mark(X)) ; mark(U281(X1,X2)) >= a__U281(mark(X1),X2) ; mark(U282(X1,X2)) >= a__U282(mark(X1),X2) ; mark(U291(X1,X2,X3)) >= a__U291(mark(X1),X2,X3) ; mark(U292(X1,X2,X3)) >= a__U292(mark(X1),X2,X3) ; mark(U293(X1,X2,X3)) >= a__U293(mark(X1),X2,X3) ; mark(U294(X1,X2,X3)) >= a__U294(mark(X1),X2,X3) ; mark(U301(X1,X2,X3)) >= a__U301(mark(X1),X2,X3) ; mark(U302(X1,X2)) >= a__U302(mark(X1),X2) ; mark(U303(X1,X2)) >= a__U303(mark(X1),X2) ; mark(U304(X1,X2)) >= a__U304(mark(X1),X2) ; mark(U31(X1,X2,X3)) >= a__U31(mark(X1),X2,X3) ; mark(U32(X1,X2,X3)) >= a__U32(mark(X1),X2,X3) ; mark(U311(X1,X2)) >= a__U311(mark(X1),X2) ; mark(U312(X1,X2)) >= a__U312(mark(X1),X2) ; mark(U33(X1,X2,X3)) >= a__U33(mark(X1),X2,X3) ; mark(U321(X1,X2,X3,X4)) >= a__U321(mark(X1),X2,X3,X4) ; mark(U322(X1,X2,X3,X4)) >= a__U322(mark(X1),X2,X3,X4) ; mark(U323(X1,X2,X3,X4)) >= a__U323(mark(X1),X2,X3,X4) ; mark(U324(X1,X2,X3,X4)) >= a__U324(mark(X1),X2,X3,X4) ; mark(U325(X1,X2,X3,X4)) >= a__U325(mark(X1),X2,X3,X4) ; mark(U326(X1,X2,X3,X4)) >= a__U326(mark(X1),X2,X3,X4) ; mark(U327(X1,X2)) >= a__U327(mark(X1),X2) ; mark(U34(X1,X2)) >= a__U34(mark(X1),X2) ; mark(U331(X1,X2,X3)) >= a__U331(mark(X1),X2,X3) ; mark(U332(X1,X2)) >= a__U332(mark(X1),X2) ; mark(U333(X1,X2)) >= a__U333(mark(X1),X2) ; mark(U334(X1,X2)) >= a__U334(mark(X1),X2) ; mark(U341(X1,X2,X3)) >= a__U341(mark(X1),X2,X3) ; mark(U342(X1,X2,X3)) >= a__U342(mark(X1),X2,X3) ; mark(U343(X1,X2,X3)) >= a__U343(mark(X1),X2,X3) ; mark(U344(X1,X2,X3)) >= a__U344(mark(X1),X2,X3) ; mark(U41(X1,X2,X3)) >= a__U41(mark(X1),X2,X3) ; mark(U42(X1,X2,X3)) >= a__U42(mark(X1),X2,X3) ; mark(U43(X1,X2,X3)) >= a__U43(mark(X1),X2,X3) ; mark(U44(X1,X2,X3)) >= a__U44(mark(X1),X2,X3) ; mark(U45(X1,X2)) >= a__U45(mark(X1),X2) ; mark(U46(X)) >= a__U46(mark(X)) ; mark(U51(X1,X2,X3)) >= a__U51(mark(X1),X2,X3) ; mark(U52(X1,X2,X3)) >= a__U52(mark(X1),X2,X3) ; mark(U53(X1,X2,X3)) >= a__U53(mark(X1),X2,X3) ; mark(U54(X1,X2,X3)) >= a__U54(mark(X1),X2,X3) ; mark(U55(X1,X2)) >= a__U55(mark(X1),X2) ; mark(U56(X)) >= a__U56(mark(X)) ; mark(U61(X1,X2)) >= a__U61(mark(X1),X2) ; mark(U62(X1,X2)) >= a__U62(mark(X1),X2) ; mark(isPLNatKind(X)) >= a__isPLNatKind(X) ; mark(U63(X)) >= a__U63(mark(X)) ; mark(isPLNat(X)) >= a__isPLNat(X) ; mark(U71(X1,X2)) >= a__U71(mark(X1),X2) ; mark(U72(X1,X2)) >= a__U72(mark(X1),X2) ; mark(U73(X)) >= a__U73(mark(X)) ; mark(U81(X1,X2)) >= a__U81(mark(X1),X2) ; mark(U82(X1,X2)) >= a__U82(mark(X1),X2) ; mark(U83(X)) >= a__U83(mark(X)) ; mark(U91(X1,X2)) >= a__U91(mark(X1),X2) ; mark(U92(X1,X2)) >= a__U92(mark(X1),X2) ; mark(U93(X)) >= a__U93(mark(X)) ; a__U141(tt) >= tt ; a__U141(X) >= U141(X) ; a__U151(tt) >= tt ; a__U151(X) >= U151(X) ; a__U161(tt) >= tt ; a__U161(X) >= U161(X) ; a__U172(tt) >= tt ; a__U172(X) >= U172(X) ; a__U171(tt,V2) >= a__U172(a__isLNatKind(V2)) ; a__U171(X1,X2) >= U171(X1,X2) ; a__U182(tt,V1) >= a__U183(a__isLNat(V1)) ; a__U182(X1,X2) >= U182(X1,X2) ; a__U181(tt,V1) >= a__U182(a__isLNatKind(V1),V1) ; a__U181(X1,X2) >= U181(X1,X2) ; a__U183(tt) >= tt ; a__U183(X) >= U183(X) ; a__U192(tt,V1) >= a__U193(a__isNatural(V1)) ; a__U192(X1,X2) >= U192(X1,X2) ; a__U191(tt,V1) >= a__U192(a__isNaturalKind(V1),V1) ; a__U191(X1,X2) >= U191(X1,X2) ; a__U193(tt) >= tt ; a__U193(X) >= U193(X) ; a__U202(tt,V1,V2) >= a__U203(a__isLNatKind(V2),V1,V2) ; a__U202(X1,X2,X3) >= U202(X1,X2,X3) ; a__U201(tt,V1,V2) >= a__U202(a__isNaturalKind(V1),V1,V2) ; a__U201(X1,X2,X3) >= U201(X1,X2,X3) ; a__U203(tt,V1,V2) >= a__U204(a__isLNatKind(V2),V1,V2) ; a__U203(X1,X2,X3) >= U203(X1,X2,X3) ; a__U204(tt,V1,V2) >= a__U205(a__isNatural(V1),V2) ; a__U204(X1,X2,X3) >= U204(X1,X2,X3) ; a__U205(tt,V2) >= a__U206(a__isLNat(V2)) ; a__U205(X1,X2) >= U205(X1,X2) ; a__U206(tt) >= tt ; a__U206(X) >= U206(X) ; a__U22(tt,X,Y) >= a__U23(a__isLNat(Y),X,Y) ; a__U22(X1,X2,X3) >= U22(X1,X2,X3) ; a__U21(tt,X,Y) >= a__U22(a__isLNatKind(X),X,Y) ; a__U21(X1,X2,X3) >= U21(X1,X2,X3) ; a__U211(tt) >= tt ; a__U211(X) >= U211(X) ; a__U23(tt,X,Y) >= a__U24(a__isLNatKind(Y),X) ; a__U23(X1,X2,X3) >= U23(X1,X2,X3) ; a__U221(tt) >= tt ; a__U221(X) >= U221(X) ; a__U24(tt,X) >= mark(X) ; a__U24(X1,X2) >= U24(X1,X2) ; a__U232(tt) >= tt ; a__U232(X) >= U232(X) ; a__U231(tt,V2) >= a__U232(a__isLNatKind(V2)) ; a__U231(X1,X2) >= U231(X1,X2) ; a__U242(tt,V1,V2) >= a__U243(a__isLNatKind(V2),V1,V2) ; a__U242(X1,X2,X3) >= U242(X1,X2,X3) ; a__U241(tt,V1,V2) >= a__U242(a__isLNatKind(V1),V1,V2) ; a__U241(X1,X2,X3) >= U241(X1,X2,X3) ; a__U243(tt,V1,V2) >= a__U244(a__isLNatKind(V2),V1,V2) ; a__U243(X1,X2,X3) >= U243(X1,X2,X3) ; a__U244(tt,V1,V2) >= a__U245(a__isLNat(V1),V2) ; a__U244(X1,X2,X3) >= U244(X1,X2,X3) ; a__U245(tt,V2) >= a__U246(a__isLNat(V2)) ; a__U245(X1,X2) >= U245(X1,X2) ; a__U246(tt) >= tt ; a__U246(X) >= U246(X) ; a__U252(tt,V1,V2) >= a__U253(a__isLNatKind(V2),V1,V2) ; a__U252(X1,X2,X3) >= U252(X1,X2,X3) ; a__U251(tt,V1,V2) >= a__U252(a__isNaturalKind(V1),V1,V2) ; a__U251(X1,X2,X3) >= U251(X1,X2,X3) ; a__U253(tt,V1,V2) >= a__U254(a__isLNatKind(V2),V1,V2) ; a__U253(X1,X2,X3) >= U253(X1,X2,X3) ; a__U254(tt,V1,V2) >= a__U255(a__isNatural(V1),V2) ; a__U254(X1,X2,X3) >= U254(X1,X2,X3) ; a__U255(tt,V2) >= a__U256(a__isLNat(V2)) ; a__U255(X1,X2) >= U255(X1,X2) ; a__U256(tt) >= tt ; a__U256(X) >= U256(X) ; a__U262(tt) >= tt ; a__U262(X) >= U262(X) ; a__U261(tt,V2) >= a__U262(a__isLNatKind(V2)) ; a__U261(X1,X2) >= U261(X1,X2) ; a__U272(tt) >= tt ; a__U272(X) >= U272(X) ; a__U271(tt,V2) >= a__U272(a__isLNatKind(V2)) ; a__U271(X1,X2) >= U271(X1,X2) ; a__U282(tt,N) >= cons(mark(N),natsFrom(s(N))) ; a__U282(X1,X2) >= U282(X1,X2) ; a__U281(tt,N) >= a__U282(a__isNaturalKind(N),N) ; a__U281(X1,X2) >= U281(X1,X2) ; a__U292(tt,N,XS) >= a__U293(a__isLNat(XS),N,XS) ; a__U292(X1,X2,X3) >= U292(X1,X2,X3) ; a__U291(tt,N,XS) >= a__U292(a__isNaturalKind(N),N,XS) ; a__U291(X1,X2,X3) >= U291(X1,X2,X3) ; a__U293(tt,N,XS) >= a__U294(a__isLNatKind(XS),N,XS) ; a__U293(X1,X2,X3) >= U293(X1,X2,X3) ; a__U294(tt,N,XS) >= a__head(a__afterNth(mark(N),mark(XS))) ; a__U294(X1,X2,X3) >= U294(X1,X2,X3) ; a__head(cons(N,XS)) >= a__U31(a__isNatural(N),N,XS) ; a__head(X) >= head(X) ; a__afterNth(N,XS) >= a__U11(a__isNatural(N),N,XS) ; a__afterNth(X1,X2) >= afterNth(X1,X2) ; a__U302(tt,Y) >= a__U303(a__isLNat(Y),Y) ; a__U302(X1,X2) >= U302(X1,X2) ; a__U301(tt,X,Y) >= a__U302(a__isLNatKind(X),Y) ; a__U301(X1,X2,X3) >= U301(X1,X2,X3) ; a__U303(tt,Y) >= a__U304(a__isLNatKind(Y),Y) ; a__U303(X1,X2) >= U303(X1,X2) ; a__U304(tt,Y) >= mark(Y) ; a__U304(X1,X2) >= U304(X1,X2) ; a__U32(tt,N,XS) >= a__U33(a__isLNat(XS),N,XS) ; a__U32(X1,X2,X3) >= U32(X1,X2,X3) ; a__U31(tt,N,XS) >= a__U32(a__isNaturalKind(N),N,XS) ; a__U31(X1,X2,X3) >= U31(X1,X2,X3) ; a__U312(tt,XS) >= pair(nil,mark(XS)) ; a__U312(X1,X2) >= U312(X1,X2) ; a__U311(tt,XS) >= a__U312(a__isLNatKind(XS),XS) ; a__U311(X1,X2) >= U311(X1,X2) ; a__U33(tt,N,XS) >= a__U34(a__isLNatKind(XS),N) ; a__U33(X1,X2,X3) >= U33(X1,X2,X3) ; a__U322(tt,N,X,XS) >= a__U323(a__isNatural(X),N,X,XS) ; a__U322(X1,X2,X3,X4) >= U322(X1,X2,X3,X4) ; a__U321(tt,N,X,XS) >= a__U322(a__isNaturalKind(N),N,X,XS) ; a__U321(X1,X2,X3,X4) >= U321(X1,X2,X3,X4) ; a__U323(tt,N,X,XS) >= a__U324(a__isNaturalKind(X),N,X,XS) ; a__U323(X1,X2,X3,X4) >= U323(X1,X2,X3,X4) ; a__U324(tt,N,X,XS) >= a__U325(a__isLNat(XS),N,X,XS) ; a__U324(X1,X2,X3,X4) >= U324(X1,X2,X3,X4) ; a__U325(tt,N,X,XS) >= a__U326(a__isLNatKind(XS),N,X,XS) ; a__U325(X1,X2,X3,X4) >= U325(X1,X2,X3,X4) ; a__U326(tt,N,X,XS) >= a__U327(a__splitAt(mark(N),mark(XS)),X) ; a__U326(X1,X2,X3,X4) >= U326(X1,X2,X3,X4) ; a__U327(pair(YS,ZS),X) >= pair(cons(mark(X),YS),mark(ZS)) ; a__U327(X1,X2) >= U327(X1,X2) ; a__U34(tt,N) >= mark(N) ; a__U34(X1,X2) >= U34(X1,X2) ; a__U332(tt,XS) >= a__U333(a__isLNat(XS),XS) ; a__U332(X1,X2) >= U332(X1,X2) ; a__U331(tt,N,XS) >= a__U332(a__isNaturalKind(N),XS) ; a__U331(X1,X2,X3) >= U331(X1,X2,X3) ; a__U333(tt,XS) >= a__U334(a__isLNatKind(XS),XS) ; a__U333(X1,X2) >= U333(X1,X2) ; a__U334(tt,XS) >= mark(XS) ; a__U334(X1,X2) >= U334(X1,X2) ; a__U342(tt,N,XS) >= a__U343(a__isLNat(XS),N,XS) ; a__U342(X1,X2,X3) >= U342(X1,X2,X3) ; a__U341(tt,N,XS) >= a__U342(a__isNaturalKind(N),N,XS) ; a__U341(X1,X2,X3) >= U341(X1,X2,X3) ; a__U343(tt,N,XS) >= a__U344(a__isLNatKind(XS),N,XS) ; a__U343(X1,X2,X3) >= U343(X1,X2,X3) ; a__U344(tt,N,XS) >= a__fst(a__splitAt(mark(N),mark(XS))) ; a__U344(X1,X2,X3) >= U344(X1,X2,X3) ; a__fst(pair(X,Y)) >= a__U21(a__isLNat(X),X,Y) ; a__fst(X) >= fst(X) ; a__U42(tt,V1,V2) >= a__U43(a__isLNatKind(V2),V1,V2) ; a__U42(X1,X2,X3) >= U42(X1,X2,X3) ; a__U41(tt,V1,V2) >= a__U42(a__isNaturalKind(V1),V1,V2) ; a__U41(X1,X2,X3) >= U41(X1,X2,X3) ; a__U43(tt,V1,V2) >= a__U44(a__isLNatKind(V2),V1,V2) ; a__U43(X1,X2,X3) >= U43(X1,X2,X3) ; a__U44(tt,V1,V2) >= a__U45(a__isNatural(V1),V2) ; a__U44(X1,X2,X3) >= U44(X1,X2,X3) ; a__U45(tt,V2) >= a__U46(a__isLNat(V2)) ; a__U45(X1,X2) >= U45(X1,X2) ; a__U46(tt) >= tt ; a__U46(X) >= U46(X) ; a__U52(tt,V1,V2) >= a__U53(a__isLNatKind(V2),V1,V2) ; a__U52(X1,X2,X3) >= U52(X1,X2,X3) ; a__U51(tt,V1,V2) >= a__U52(a__isNaturalKind(V1),V1,V2) ; a__U51(X1,X2,X3) >= U51(X1,X2,X3) ; a__U53(tt,V1,V2) >= a__U54(a__isLNatKind(V2),V1,V2) ; a__U53(X1,X2,X3) >= U53(X1,X2,X3) ; a__U54(tt,V1,V2) >= a__U55(a__isNatural(V1),V2) ; a__U54(X1,X2,X3) >= U54(X1,X2,X3) ; a__U55(tt,V2) >= a__U56(a__isLNat(V2)) ; a__U55(X1,X2) >= U55(X1,X2) ; a__U56(tt) >= tt ; a__U56(X) >= U56(X) ; a__U62(tt,V1) >= a__U63(a__isPLNat(V1)) ; a__U62(X1,X2) >= U62(X1,X2) ; a__isPLNatKind(pair(V1,V2)) >= a__U261(a__isLNatKind(V1),V2) ; a__isPLNatKind(splitAt(V1,V2)) >= a__U271(a__isNaturalKind(V1),V2) ; a__isPLNatKind(X) >= isPLNatKind(X) ; a__U61(tt,V1) >= a__U62(a__isPLNatKind(V1),V1) ; a__U61(X1,X2) >= U61(X1,X2) ; a__U63(tt) >= tt ; a__U63(X) >= U63(X) ; a__isPLNat(pair(V1,V2)) >= a__U241(a__isLNatKind(V1),V1,V2) ; a__isPLNat(splitAt(V1,V2)) >= a__U251(a__isNaturalKind(V1),V1,V2) ; a__isPLNat(X) >= isPLNat(X) ; a__U72(tt,V1) >= a__U73(a__isNatural(V1)) ; a__U72(X1,X2) >= U72(X1,X2) ; a__U71(tt,V1) >= a__U72(a__isNaturalKind(V1),V1) ; a__U71(X1,X2) >= U71(X1,X2) ; a__U73(tt) >= tt ; a__U73(X) >= U73(X) ; a__U82(tt,V1) >= a__U83(a__isPLNat(V1)) ; a__U82(X1,X2) >= U82(X1,X2) ; a__U81(tt,V1) >= a__U82(a__isPLNatKind(V1),V1) ; a__U81(X1,X2) >= U81(X1,X2) ; a__U83(tt) >= tt ; a__U83(X) >= U83(X) ; a__U92(tt,V1) >= a__U93(a__isLNat(V1)) ; a__U92(X1,X2) >= U92(X1,X2) ; a__U91(tt,V1) >= a__U92(a__isLNatKind(V1),V1) ; a__U91(X1,X2) >= U91(X1,X2) ; a__U93(tt) >= tt ; a__U93(X) >= U93(X) ; a__natsFrom(N) >= a__U281(a__isNatural(N),N) ; a__natsFrom(X) >= natsFrom(X) ; a__sel(N,XS) >= a__U291(a__isNatural(N),N,XS) ; a__sel(X1,X2) >= sel(X1,X2) ; a__tail(cons(N,XS)) >= a__U331(a__isNatural(N),N,XS) ; a__tail(X) >= tail(X) ; a__take(N,XS) >= a__U341(a__isNatural(N),N,XS) ; a__take(X1,X2) >= take(X1,X2) ; Marked_a__sel(N,XS) >= Marked_a__U291(a__isNatural(N),N,XS) ; Marked_a__take(N,XS) >= Marked_a__U341(a__isNatural(N),N,XS) ; Marked_a__tail(cons(N,XS)) >= Marked_a__U331(a__isNatural(N),N,XS) ; Marked_a__fst(pair(X,Y)) >= Marked_a__U21(a__isLNat(X),X,Y) ; Marked_a__U344(tt,N,XS) > Marked_a__fst(a__splitAt(mark(N),mark(XS))) ; Marked_a__U344(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U344(tt,N,XS) > Marked_mark(N) ; Marked_a__U344(tt,N,XS) > Marked_mark(XS) ; Marked_a__U343(tt,N,XS) >= Marked_a__U344(a__isLNatKind(XS),N,XS) ; Marked_a__U342(tt,N,XS) >= Marked_a__U343(a__isLNat(XS),N,XS) ; Marked_a__U341(tt,N,XS) >= Marked_a__U342(a__isNaturalKind(N),N,XS) ; Marked_a__U334(tt,XS) > Marked_mark(XS) ; Marked_a__U333(tt,XS) >= Marked_a__U334(a__isLNatKind(XS),XS) ; Marked_a__U332(tt,XS) >= Marked_a__U333(a__isLNat(XS),XS) ; Marked_a__U331(tt,N,XS) >= Marked_a__U332(a__isNaturalKind(N),XS) ; Marked_a__U34(tt,N) > Marked_mark(N) ; Marked_a__U327(pair(YS,ZS),X) > Marked_mark(X) ; Marked_a__U327(pair(YS,ZS),X) > Marked_mark(ZS) ; Marked_a__U326(tt,N,X,XS) > Marked_a__U327(a__splitAt(mark(N),mark(XS)),X) ; Marked_a__U326(tt,N,X,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U326(tt,N,X,XS) > Marked_mark(N) ; Marked_a__U326(tt,N,X,XS) > Marked_mark(XS) ; Marked_a__U325(tt,N,X,XS) > Marked_a__U326(a__isLNatKind(XS),N,X,XS) ; Marked_a__U324(tt,N,X,XS) > Marked_a__U325(a__isLNat(XS),N,X,XS) ; Marked_a__U323(tt,N,X,XS) >= Marked_a__U324(a__isNaturalKind(X),N,X,XS) ; Marked_a__U322(tt,N,X,XS) >= Marked_a__U323(a__isNatural(X),N,X,XS) ; Marked_a__U321(tt,N,X,XS) >= Marked_a__U322(a__isNaturalKind(N),N,X,XS) ; Marked_a__U33(tt,N,XS) > Marked_a__U34(a__isLNatKind(XS),N) ; Marked_a__U312(tt,XS) > Marked_mark(XS) ; Marked_a__U311(tt,XS) > Marked_a__U312(a__isLNatKind(XS),XS) ; Marked_a__U32(tt,N,XS) >= Marked_a__U33(a__isLNat(XS),N,XS) ; Marked_a__U31(tt,N,XS) >= Marked_a__U32(a__isNaturalKind(N),N,XS) ; Marked_a__U304(tt,Y) > Marked_mark(Y) ; Marked_a__U303(tt,Y) > Marked_a__U304(a__isLNatKind(Y),Y) ; Marked_a__U302(tt,Y) >= Marked_a__U303(a__isLNat(Y),Y) ; Marked_a__U301(tt,X,Y) >= Marked_a__U302(a__isLNatKind(X),Y) ; Marked_a__afterNth(N,XS) >= Marked_a__U11(a__isNatural(N),N,XS) ; Marked_a__head(cons(N,XS)) >= Marked_a__U31(a__isNatural(N),N,XS) ; Marked_a__U294(tt,N,XS) > Marked_a__afterNth(mark(N),mark(XS)) ; Marked_a__U294(tt,N,XS) >= Marked_a__head(a__afterNth(mark(N),mark(XS))) ; Marked_a__U294(tt,N,XS) > Marked_mark(N) ; Marked_a__U294(tt,N,XS) > Marked_mark(XS) ; Marked_a__U293(tt,N,XS) >= Marked_a__U294(a__isLNatKind(XS),N,XS) ; Marked_a__U292(tt,N,XS) >= Marked_a__U293(a__isLNat(XS),N,XS) ; Marked_a__U291(tt,N,XS) >= Marked_a__U292(a__isNaturalKind(N),N,XS) ; Marked_a__natsFrom(N) >= Marked_a__U281(a__isNatural(N),N) ; Marked_a__U282(tt,N) > Marked_mark(N) ; Marked_a__U281(tt,N) >= Marked_a__U282(a__isNaturalKind(N),N) ; Marked_a__U24(tt,X) > Marked_mark(X) ; Marked_a__U23(tt,X,Y) >= Marked_a__U24(a__isLNatKind(Y),X) ; Marked_a__U22(tt,X,Y) >= Marked_a__U23(a__isLNat(Y),X,Y) ; Marked_a__U21(tt,X,Y) >= Marked_a__U22(a__isLNatKind(X),X,Y) ; Marked_a__splitAt(s(N),cons(X,XS)) >= Marked_a__U321(a__isNatural(N),N,X,XS) ; Marked_a__splitAt(0,XS) >= Marked_a__U311(a__isLNat(XS),XS) ; Marked_a__snd(pair(X,Y)) >= Marked_a__U301(a__isLNat(X),X,Y) ; Marked_a__U14(tt,N,XS) >= Marked_a__splitAt(mark(N),mark(XS)) ; Marked_a__U14(tt,N,XS) >= Marked_a__snd(a__splitAt(mark(N),mark(XS))) ; Marked_a__U14(tt,N,XS) > Marked_mark(N) ; Marked_a__U14(tt,N,XS) > Marked_mark(XS) ; Marked_a__U13(tt,N,XS) >= Marked_a__U14(a__isLNatKind(XS),N,XS) ; Marked_a__U12(tt,N,XS) >= Marked_a__U13(a__isLNat(XS),N,XS) ; Marked_a__U11(tt,N,XS) >= Marked_a__U12(a__isNaturalKind(N),N,XS) ; Marked_mark(cons(X1,X2)) > Marked_mark(X1) ; Marked_mark(natsFrom(X)) >= Marked_a__natsFrom(mark(X)) ; Marked_mark(natsFrom(X)) > Marked_mark(X) ; Marked_mark(s(X)) > Marked_mark(X) ; Marked_mark(pair(X1,X2)) > Marked_mark(X1) ; Marked_mark(pair(X1,X2)) > Marked_mark(X2) ; Marked_mark(afterNth(X1,X2)) >= Marked_a__afterNth(mark(X1),mark(X2)) ; Marked_mark(afterNth(X1,X2)) > Marked_mark(X1) ; Marked_mark(afterNth(X1,X2)) > Marked_mark(X2) ; Marked_mark(fst(X)) >= Marked_a__fst(mark(X)) ; Marked_mark(fst(X)) > Marked_mark(X) ; Marked_mark(snd(X)) >= Marked_a__snd(mark(X)) ; Marked_mark(snd(X)) > Marked_mark(X) ; Marked_mark(tail(X)) >= Marked_a__tail(mark(X)) ; Marked_mark(tail(X)) > Marked_mark(X) ; Marked_mark(take(X1,X2)) >= Marked_a__take(mark(X1),mark(X2)) ; Marked_mark(take(X1,X2)) > Marked_mark(X1) ; Marked_mark(take(X1,X2)) > Marked_mark(X2) ; Marked_mark(head(X)) >= Marked_a__head(mark(X)) ; Marked_mark(head(X)) > Marked_mark(X) ; Marked_mark(sel(X1,X2)) >= Marked_a__sel(mark(X1),mark(X2)) ; Marked_mark(sel(X1,X2)) > Marked_mark(X1) ; Marked_mark(sel(X1,X2)) > Marked_mark(X2) ; Marked_mark(splitAt(X1,X2)) >= Marked_a__splitAt(mark(X1),mark(X2)) ; Marked_mark(splitAt(X1,X2)) > Marked_mark(X1) ; Marked_mark(splitAt(X1,X2)) > Marked_mark(X2) ; Marked_mark(U101(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U102(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U103(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U104(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U105(X1,X2)) > Marked_mark(X1) ; Marked_mark(U106(X)) > Marked_mark(X) ; Marked_mark(U11(X1,X2,X3)) > Marked_a__U11(mark(X1),X2,X3) ; Marked_mark(U11(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U12(X1,X2,X3)) > Marked_a__U12(mark(X1),X2,X3) ; Marked_mark(U12(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U111(X1,X2)) > Marked_mark(X1) ; Marked_mark(U112(X)) > Marked_mark(X) ; Marked_mark(U13(X1,X2,X3)) > Marked_a__U13(mark(X1),X2,X3) ; Marked_mark(U13(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U121(X1,X2)) > Marked_mark(X1) ; Marked_mark(U122(X)) > Marked_mark(X) ; Marked_mark(U14(X1,X2,X3)) > Marked_a__U14(mark(X1),X2,X3) ; Marked_mark(U14(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U131(X)) > Marked_mark(X) ; Marked_mark(U141(X)) > Marked_mark(X) ; Marked_mark(U151(X)) > Marked_mark(X) ; Marked_mark(U161(X)) > Marked_mark(X) ; Marked_mark(U171(X1,X2)) > Marked_mark(X1) ; Marked_mark(U172(X)) > Marked_mark(X) ; Marked_mark(U181(X1,X2)) > Marked_mark(X1) ; Marked_mark(U182(X1,X2)) > Marked_mark(X1) ; Marked_mark(U183(X)) > Marked_mark(X) ; Marked_mark(U191(X1,X2)) > Marked_mark(X1) ; Marked_mark(U192(X1,X2)) > Marked_mark(X1) ; Marked_mark(U193(X)) > Marked_mark(X) ; Marked_mark(U201(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U202(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U203(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U204(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U205(X1,X2)) > Marked_mark(X1) ; Marked_mark(U206(X)) > Marked_mark(X) ; Marked_mark(U21(X1,X2,X3)) > Marked_a__U21(mark(X1),X2,X3) ; Marked_mark(U21(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U22(X1,X2,X3)) > Marked_a__U22(mark(X1),X2,X3) ; Marked_mark(U22(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U211(X)) > Marked_mark(X) ; Marked_mark(U23(X1,X2,X3)) > Marked_a__U23(mark(X1),X2,X3) ; Marked_mark(U23(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U221(X)) > Marked_mark(X) ; Marked_mark(U24(X1,X2)) > Marked_a__U24(mark(X1),X2) ; Marked_mark(U24(X1,X2)) > Marked_mark(X1) ; Marked_mark(U231(X1,X2)) > Marked_mark(X1) ; Marked_mark(U232(X)) > Marked_mark(X) ; Marked_mark(U241(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U242(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U243(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U244(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U245(X1,X2)) > Marked_mark(X1) ; Marked_mark(U246(X)) > Marked_mark(X) ; Marked_mark(U251(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U252(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U253(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U254(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U255(X1,X2)) > Marked_mark(X1) ; Marked_mark(U256(X)) > Marked_mark(X) ; Marked_mark(U261(X1,X2)) > Marked_mark(X1) ; Marked_mark(U262(X)) > Marked_mark(X) ; Marked_mark(U271(X1,X2)) > Marked_mark(X1) ; Marked_mark(U272(X)) > Marked_mark(X) ; Marked_mark(U281(X1,X2)) > Marked_a__U281(mark(X1),X2) ; Marked_mark(U281(X1,X2)) > Marked_mark(X1) ; Marked_mark(U282(X1,X2)) > Marked_a__U282(mark(X1),X2) ; Marked_mark(U282(X1,X2)) > Marked_mark(X1) ; Marked_mark(U291(X1,X2,X3)) > Marked_a__U291(mark(X1),X2,X3) ; Marked_mark(U291(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U292(X1,X2,X3)) > Marked_a__U292(mark(X1),X2,X3) ; Marked_mark(U292(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U293(X1,X2,X3)) > Marked_a__U293(mark(X1),X2,X3) ; Marked_mark(U293(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U294(X1,X2,X3)) > Marked_a__U294(mark(X1),X2,X3) ; Marked_mark(U294(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U301(X1,X2,X3)) >= Marked_a__U301(mark(X1),X2,X3) ; Marked_mark(U301(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U302(X1,X2)) >= Marked_a__U302(mark(X1),X2) ; Marked_mark(U302(X1,X2)) > Marked_mark(X1) ; Marked_mark(U303(X1,X2)) >= Marked_a__U303(mark(X1),X2) ; Marked_mark(U303(X1,X2)) > Marked_mark(X1) ; Marked_mark(U304(X1,X2)) >= Marked_a__U304(mark(X1),X2) ; Marked_mark(U304(X1,X2)) > Marked_mark(X1) ; Marked_mark(U31(X1,X2,X3)) >= Marked_a__U31(mark(X1),X2,X3) ; Marked_mark(U31(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U32(X1,X2,X3)) >= Marked_a__U32(mark(X1),X2,X3) ; Marked_mark(U32(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U311(X1,X2)) >= Marked_a__U311(mark(X1),X2) ; Marked_mark(U311(X1,X2)) > Marked_mark(X1) ; Marked_mark(U312(X1,X2)) >= Marked_a__U312(mark(X1),X2) ; Marked_mark(U312(X1,X2)) > Marked_mark(X1) ; Marked_mark(U33(X1,X2,X3)) >= Marked_a__U33(mark(X1),X2,X3) ; Marked_mark(U33(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U321(X1,X2,X3,X4)) >= Marked_a__U321(mark(X1),X2,X3,X4) ; Marked_mark(U321(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U322(X1,X2,X3,X4)) >= Marked_a__U322(mark(X1),X2,X3,X4) ; Marked_mark(U322(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U323(X1,X2,X3,X4)) >= Marked_a__U323(mark(X1),X2,X3,X4) ; Marked_mark(U323(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U324(X1,X2,X3,X4)) >= Marked_a__U324(mark(X1),X2,X3,X4) ; Marked_mark(U324(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U325(X1,X2,X3,X4)) >= Marked_a__U325(mark(X1),X2,X3,X4) ; Marked_mark(U325(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U326(X1,X2,X3,X4)) >= Marked_a__U326(mark(X1),X2,X3,X4) ; Marked_mark(U326(X1,X2,X3,X4)) > Marked_mark(X1) ; Marked_mark(U327(X1,X2)) >= Marked_a__U327(mark(X1),X2) ; Marked_mark(U327(X1,X2)) > Marked_mark(X1) ; Marked_mark(U34(X1,X2)) >= Marked_a__U34(mark(X1),X2) ; Marked_mark(U34(X1,X2)) > Marked_mark(X1) ; Marked_mark(U331(X1,X2,X3)) > Marked_a__U331(mark(X1),X2,X3) ; Marked_mark(U331(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U332(X1,X2)) > Marked_a__U332(mark(X1),X2) ; Marked_mark(U332(X1,X2)) > Marked_mark(X1) ; Marked_mark(U333(X1,X2)) > Marked_a__U333(mark(X1),X2) ; Marked_mark(U333(X1,X2)) > Marked_mark(X1) ; Marked_mark(U334(X1,X2)) > Marked_a__U334(mark(X1),X2) ; Marked_mark(U334(X1,X2)) > Marked_mark(X1) ; Marked_mark(U341(X1,X2,X3)) > Marked_a__U341(mark(X1),X2,X3) ; Marked_mark(U341(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U342(X1,X2,X3)) > Marked_a__U342(mark(X1),X2,X3) ; Marked_mark(U342(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U343(X1,X2,X3)) > Marked_a__U343(mark(X1),X2,X3) ; Marked_mark(U343(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U344(X1,X2,X3)) > Marked_a__U344(mark(X1),X2,X3) ; Marked_mark(U344(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U41(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U42(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U43(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U44(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U45(X1,X2)) > Marked_mark(X1) ; Marked_mark(U46(X)) > Marked_mark(X) ; Marked_mark(U51(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U52(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U53(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U54(X1,X2,X3)) > Marked_mark(X1) ; Marked_mark(U55(X1,X2)) > Marked_mark(X1) ; Marked_mark(U56(X)) > Marked_mark(X) ; Marked_mark(U61(X1,X2)) > Marked_mark(X1) ; Marked_mark(U62(X1,X2)) > Marked_mark(X1) ; Marked_mark(U63(X)) > Marked_mark(X) ; Marked_mark(U71(X1,X2)) > Marked_mark(X1) ; Marked_mark(U72(X1,X2)) > Marked_mark(X1) ; Marked_mark(U73(X)) > Marked_mark(X) ; Marked_mark(U81(X1,X2)) > Marked_mark(X1) ; Marked_mark(U82(X1,X2)) > Marked_mark(X1) ; Marked_mark(U83(X)) > Marked_mark(X) ; Marked_mark(U91(X1,X2)) > Marked_mark(X1) ; Marked_mark(U92(X1,X2)) > Marked_mark(X1) ; Marked_mark(U93(X)) > Marked_mark(X) ; } + Disjunctions:{ } === TIMER virtual : 10.000000 === Entering poly_solver Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 10.000000 === === STOPING TIMER real === Sat solver returned === STOPING TIMER real === === STOPING TIMER virtual === No solution found for these parameters. Entering rpo_solver === TIMER virtual : 25.000000 === Search parameters: AFS type: 2 ; time limit: 25.. === STOPING TIMER virtual === Time out for these parameters. === TIMER virtual : 15.000000 === Entering poly_solver Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 15.000000 === === STOPING TIMER real === Sat solver returned === STOPING TIMER real === === STOPING TIMER virtual === No solution found for these parameters. === TIMER virtual : 50.000000 === trying sub matrices of size: 1 Matrix interpretation constraints generated. Search parameters: LINEAR MATRIX 3x3 (strict=1x1) ; time limit: 50.. Termination constraints generated. Starting Sat solver initialization Calling Sat solver... === STOPING TIMER virtual === === TIMER real : 50.000000 === === STOPING TIMER real === Sat solver returned === STOPING TIMER real === === STOPING TIMER virtual === No solution found for these parameters. No solution found for these constraints. APPLY CRITERIA (ID_CRIT) NOT SOLVED No proof found Cime worked for 183.252984 seconds (real time) Cime Exit Status: 0