- : unit = () h : heuristic = - : unit = () APPLY CRITERIA (Marked dependency pairs) TRS termination of: [1] active(zeros) -> mark(cons(0,zeros)) [2] active(U101(tt,V1,V2)) -> mark(U102(isNatKind(V1),V1,V2)) [3] active(U102(tt,V1,V2)) -> mark(U103(isNatIListKind(V2),V1,V2)) [4] active(U103(tt,V1,V2)) -> mark(U104(isNatIListKind(V2),V1,V2)) [5] active(U104(tt,V1,V2)) -> mark(U105(isNat(V1),V2)) [6] active(U105(tt,V2)) -> mark(U106(isNatIList(V2))) [7] active(U106(tt)) -> mark(tt) [8] active(U11(tt,V1)) -> mark(U12(isNatIListKind(V1),V1)) [9] active(U111(tt,L,N)) -> mark(U112(isNatIListKind(L),L,N)) [10] active(U112(tt,L,N)) -> mark(U113(isNat(N),L,N)) [11] active(U113(tt,L,N)) -> mark(U114(isNatKind(N),L)) [12] active(U114(tt,L)) -> mark(s(length(L))) [13] active(U12(tt,V1)) -> mark(U13(isNatList(V1))) [14] active(U121(tt,IL)) -> mark(U122(isNatIListKind(IL))) [15] active(U122(tt)) -> mark(nil) [16] active(U13(tt)) -> mark(tt) [17] active(U131(tt,IL,M,N)) -> mark(U132(isNatIListKind(IL),IL,M,N)) [18] active(U132(tt,IL,M,N)) -> mark(U133(isNat(M),IL,M,N)) [19] active(U133(tt,IL,M,N)) -> mark(U134(isNatKind(M),IL,M,N)) [20] active(U134(tt,IL,M,N)) -> mark(U135(isNat(N),IL,M,N)) [21] active(U135(tt,IL,M,N)) -> mark(U136(isNatKind(N),IL,M,N)) [22] active(U136(tt,IL,M,N)) -> mark(cons(N,take(M,IL))) [23] active(U21(tt,V1)) -> mark(U22(isNatKind(V1),V1)) [24] active(U22(tt,V1)) -> mark(U23(isNat(V1))) [25] active(U23(tt)) -> mark(tt) [26] active(U31(tt,V)) -> mark(U32(isNatIListKind(V),V)) [27] active(U32(tt,V)) -> mark(U33(isNatList(V))) [28] active(U33(tt)) -> mark(tt) [29] active(U41(tt,V1,V2)) -> mark(U42(isNatKind(V1),V1,V2)) [30] active(U42(tt,V1,V2)) -> mark(U43(isNatIListKind(V2),V1,V2)) [31] active(U43(tt,V1,V2)) -> mark(U44(isNatIListKind(V2),V1,V2)) [32] active(U44(tt,V1,V2)) -> mark(U45(isNat(V1),V2)) [33] active(U45(tt,V2)) -> mark(U46(isNatIList(V2))) [34] active(U46(tt)) -> mark(tt) [35] active(U51(tt,V2)) -> mark(U52(isNatIListKind(V2))) [36] active(U52(tt)) -> mark(tt) [37] active(U61(tt,V2)) -> mark(U62(isNatIListKind(V2))) [38] active(U62(tt)) -> mark(tt) [39] active(U71(tt)) -> mark(tt) [40] active(U81(tt)) -> mark(tt) [41] active(U91(tt,V1,V2)) -> mark(U92(isNatKind(V1),V1,V2)) [42] active(U92(tt,V1,V2)) -> mark(U93(isNatIListKind(V2),V1,V2)) [43] active(U93(tt,V1,V2)) -> mark(U94(isNatIListKind(V2),V1,V2)) [44] active(U94(tt,V1,V2)) -> mark(U95(isNat(V1),V2)) [45] active(U95(tt,V2)) -> mark(U96(isNatList(V2))) [46] active(U96(tt)) -> mark(tt) [47] active(isNat(0)) -> mark(tt) [48] active(isNat(length(V1))) -> mark(U11(isNatIListKind(V1),V1)) [49] active(isNat(s(V1))) -> mark(U21(isNatKind(V1),V1)) [50] active(isNatIList(V)) -> mark(U31(isNatIListKind(V),V)) [51] active(isNatIList(zeros)) -> mark(tt) [52] active(isNatIList(cons(V1,V2))) -> mark(U41(isNatKind(V1),V1,V2)) [53] active(isNatIListKind(nil)) -> mark(tt) [54] active(isNatIListKind(zeros)) -> mark(tt) [55] active(isNatIListKind(cons(V1,V2))) -> mark(U51(isNatKind(V1),V2)) [56] active(isNatIListKind(take(V1,V2))) -> mark(U61(isNatKind(V1),V2)) [57] active(isNatKind(0)) -> mark(tt) [58] active(isNatKind(length(V1))) -> mark(U71(isNatIListKind(V1))) [59] active(isNatKind(s(V1))) -> mark(U81(isNatKind(V1))) [60] active(isNatList(nil)) -> mark(tt) [61] active(isNatList(cons(V1,V2))) -> mark(U91(isNatKind(V1),V1,V2)) [62] active(isNatList(take(V1,V2))) -> mark(U101(isNatKind(V1),V1,V2)) [63] active(length(nil)) -> mark(0) [64] active(length(cons(N,L))) -> mark(U111(isNatList(L),L,N)) [65] active(take(0,IL)) -> mark(U121(isNatIList(IL),IL)) [66] active(take(s(M),cons(N,IL))) -> mark(U131(isNatIList(IL),IL,M,N)) [67] mark(zeros) -> active(zeros) [68] mark(cons(X1,X2)) -> active(cons(mark(X1),X2)) [69] mark(0) -> active(0) [70] mark(U101(X1,X2,X3)) -> active(U101(mark(X1),X2,X3)) [71] mark(tt) -> active(tt) [72] mark(U102(X1,X2,X3)) -> active(U102(mark(X1),X2,X3)) [73] mark(isNatKind(X)) -> active(isNatKind(X)) [74] mark(U103(X1,X2,X3)) -> active(U103(mark(X1),X2,X3)) [75] mark(isNatIListKind(X)) -> active(isNatIListKind(X)) [76] mark(U104(X1,X2,X3)) -> active(U104(mark(X1),X2,X3)) [77] mark(U105(X1,X2)) -> active(U105(mark(X1),X2)) [78] mark(isNat(X)) -> active(isNat(X)) [79] mark(U106(X)) -> active(U106(mark(X))) [80] mark(isNatIList(X)) -> active(isNatIList(X)) [81] mark(U11(X1,X2)) -> active(U11(mark(X1),X2)) [82] mark(U12(X1,X2)) -> active(U12(mark(X1),X2)) [83] mark(U111(X1,X2,X3)) -> active(U111(mark(X1),X2,X3)) [84] mark(U112(X1,X2,X3)) -> active(U112(mark(X1),X2,X3)) [85] mark(U113(X1,X2,X3)) -> active(U113(mark(X1),X2,X3)) [86] mark(U114(X1,X2)) -> active(U114(mark(X1),X2)) [87] mark(s(X)) -> active(s(mark(X))) [88] mark(length(X)) -> active(length(mark(X))) [89] mark(U13(X)) -> active(U13(mark(X))) [90] mark(isNatList(X)) -> active(isNatList(X)) [91] mark(U121(X1,X2)) -> active(U121(mark(X1),X2)) [92] mark(U122(X)) -> active(U122(mark(X))) [93] mark(nil) -> active(nil) [94] mark(U131(X1,X2,X3,X4)) -> active(U131(mark(X1),X2,X3,X4)) [95] mark(U132(X1,X2,X3,X4)) -> active(U132(mark(X1),X2,X3,X4)) [96] mark(U133(X1,X2,X3,X4)) -> active(U133(mark(X1),X2,X3,X4)) [97] mark(U134(X1,X2,X3,X4)) -> active(U134(mark(X1),X2,X3,X4)) [98] mark(U135(X1,X2,X3,X4)) -> active(U135(mark(X1),X2,X3,X4)) [99] mark(U136(X1,X2,X3,X4)) -> active(U136(mark(X1),X2,X3,X4)) [100] mark(take(X1,X2)) -> active(take(mark(X1),mark(X2))) [101] mark(U21(X1,X2)) -> active(U21(mark(X1),X2)) [102] mark(U22(X1,X2)) -> active(U22(mark(X1),X2)) [103] mark(U23(X)) -> active(U23(mark(X))) [104] mark(U31(X1,X2)) -> active(U31(mark(X1),X2)) [105] mark(U32(X1,X2)) -> active(U32(mark(X1),X2)) [106] mark(U33(X)) -> active(U33(mark(X))) [107] mark(U41(X1,X2,X3)) -> active(U41(mark(X1),X2,X3)) [108] mark(U42(X1,X2,X3)) -> active(U42(mark(X1),X2,X3)) [109] mark(U43(X1,X2,X3)) -> active(U43(mark(X1),X2,X3)) [110] mark(U44(X1,X2,X3)) -> active(U44(mark(X1),X2,X3)) [111] mark(U45(X1,X2)) -> active(U45(mark(X1),X2)) [112] mark(U46(X)) -> active(U46(mark(X))) [113] mark(U51(X1,X2)) -> active(U51(mark(X1),X2)) [114] mark(U52(X)) -> active(U52(mark(X))) [115] mark(U61(X1,X2)) -> active(U61(mark(X1),X2)) [116] mark(U62(X)) -> active(U62(mark(X))) [117] mark(U71(X)) -> active(U71(mark(X))) [118] mark(U81(X)) -> active(U81(mark(X))) [119] mark(U91(X1,X2,X3)) -> active(U91(mark(X1),X2,X3)) [120] mark(U92(X1,X2,X3)) -> active(U92(mark(X1),X2,X3)) [121] mark(U93(X1,X2,X3)) -> active(U93(mark(X1),X2,X3)) [122] mark(U94(X1,X2,X3)) -> active(U94(mark(X1),X2,X3)) [123] mark(U95(X1,X2)) -> active(U95(mark(X1),X2)) [124] mark(U96(X)) -> active(U96(mark(X))) [125] cons(mark(X1),X2) -> cons(X1,X2) [126] cons(X1,mark(X2)) -> cons(X1,X2) [127] cons(active(X1),X2) -> cons(X1,X2) [128] cons(X1,active(X2)) -> cons(X1,X2) [129] U101(mark(X1),X2,X3) -> U101(X1,X2,X3) [130] U101(X1,mark(X2),X3) -> U101(X1,X2,X3) [131] U101(X1,X2,mark(X3)) -> U101(X1,X2,X3) [132] U101(active(X1),X2,X3) -> U101(X1,X2,X3) [133] U101(X1,active(X2),X3) -> U101(X1,X2,X3) [134] U101(X1,X2,active(X3)) -> U101(X1,X2,X3) [135] U102(mark(X1),X2,X3) -> U102(X1,X2,X3) [136] U102(X1,mark(X2),X3) -> U102(X1,X2,X3) [137] U102(X1,X2,mark(X3)) -> U102(X1,X2,X3) [138] U102(active(X1),X2,X3) -> U102(X1,X2,X3) [139] U102(X1,active(X2),X3) -> U102(X1,X2,X3) [140] U102(X1,X2,active(X3)) -> U102(X1,X2,X3) [141] isNatKind(mark(X)) -> isNatKind(X) [142] isNatKind(active(X)) -> isNatKind(X) [143] U103(mark(X1),X2,X3) -> U103(X1,X2,X3) [144] U103(X1,mark(X2),X3) -> U103(X1,X2,X3) [145] U103(X1,X2,mark(X3)) -> U103(X1,X2,X3) [146] U103(active(X1),X2,X3) -> U103(X1,X2,X3) [147] U103(X1,active(X2),X3) -> U103(X1,X2,X3) [148] U103(X1,X2,active(X3)) -> U103(X1,X2,X3) [149] isNatIListKind(mark(X)) -> isNatIListKind(X) [150] isNatIListKind(active(X)) -> isNatIListKind(X) [151] U104(mark(X1),X2,X3) -> U104(X1,X2,X3) [152] U104(X1,mark(X2),X3) -> U104(X1,X2,X3) [153] U104(X1,X2,mark(X3)) -> U104(X1,X2,X3) [154] U104(active(X1),X2,X3) -> U104(X1,X2,X3) [155] U104(X1,active(X2),X3) -> U104(X1,X2,X3) [156] U104(X1,X2,active(X3)) -> U104(X1,X2,X3) [157] U105(mark(X1),X2) -> U105(X1,X2) [158] U105(X1,mark(X2)) -> U105(X1,X2) [159] U105(active(X1),X2) -> U105(X1,X2) [160] U105(X1,active(X2)) -> U105(X1,X2) [161] isNat(mark(X)) -> isNat(X) [162] isNat(active(X)) -> isNat(X) [163] U106(mark(X)) -> U106(X) [164] U106(active(X)) -> U106(X) [165] isNatIList(mark(X)) -> isNatIList(X) [166] isNatIList(active(X)) -> isNatIList(X) [167] U11(mark(X1),X2) -> U11(X1,X2) [168] U11(X1,mark(X2)) -> U11(X1,X2) [169] U11(active(X1),X2) -> U11(X1,X2) [170] U11(X1,active(X2)) -> U11(X1,X2) [171] U12(mark(X1),X2) -> U12(X1,X2) [172] U12(X1,mark(X2)) -> U12(X1,X2) [173] U12(active(X1),X2) -> U12(X1,X2) [174] U12(X1,active(X2)) -> U12(X1,X2) [175] U111(mark(X1),X2,X3) -> U111(X1,X2,X3) [176] U111(X1,mark(X2),X3) -> U111(X1,X2,X3) [177] U111(X1,X2,mark(X3)) -> U111(X1,X2,X3) [178] U111(active(X1),X2,X3) -> U111(X1,X2,X3) [179] U111(X1,active(X2),X3) -> U111(X1,X2,X3) [180] U111(X1,X2,active(X3)) -> U111(X1,X2,X3) [181] U112(mark(X1),X2,X3) -> U112(X1,X2,X3) [182] U112(X1,mark(X2),X3) -> U112(X1,X2,X3) [183] U112(X1,X2,mark(X3)) -> U112(X1,X2,X3) [184] U112(active(X1),X2,X3) -> U112(X1,X2,X3) [185] U112(X1,active(X2),X3) -> U112(X1,X2,X3) [186] U112(X1,X2,active(X3)) -> U112(X1,X2,X3) [187] U113(mark(X1),X2,X3) -> U113(X1,X2,X3) [188] U113(X1,mark(X2),X3) -> U113(X1,X2,X3) [189] U113(X1,X2,mark(X3)) -> U113(X1,X2,X3) [190] U113(active(X1),X2,X3) -> U113(X1,X2,X3) [191] U113(X1,active(X2),X3) -> U113(X1,X2,X3) [192] U113(X1,X2,active(X3)) -> U113(X1,X2,X3) [193] U114(mark(X1),X2) -> U114(X1,X2) [194] U114(X1,mark(X2)) -> U114(X1,X2) [195] U114(active(X1),X2) -> U114(X1,X2) [196] U114(X1,active(X2)) -> U114(X1,X2) [197] s(mark(X)) -> s(X) [198] s(active(X)) -> s(X) [199] length(mark(X)) -> length(X) [200] length(active(X)) -> length(X) [201] U13(mark(X)) -> U13(X) [202] U13(active(X)) -> U13(X) [203] isNatList(mark(X)) -> isNatList(X) [204] isNatList(active(X)) -> isNatList(X) [205] U121(mark(X1),X2) -> U121(X1,X2) [206] U121(X1,mark(X2)) -> U121(X1,X2) [207] U121(active(X1),X2) -> U121(X1,X2) [208] U121(X1,active(X2)) -> U121(X1,X2) [209] U122(mark(X)) -> U122(X) [210] U122(active(X)) -> U122(X) [211] U131(mark(X1),X2,X3,X4) -> U131(X1,X2,X3,X4) [212] U131(X1,mark(X2),X3,X4) -> U131(X1,X2,X3,X4) [213] U131(X1,X2,mark(X3),X4) -> U131(X1,X2,X3,X4) [214] U131(X1,X2,X3,mark(X4)) -> U131(X1,X2,X3,X4) [215] U131(active(X1),X2,X3,X4) -> U131(X1,X2,X3,X4) [216] U131(X1,active(X2),X3,X4) -> U131(X1,X2,X3,X4) [217] U131(X1,X2,active(X3),X4) -> U131(X1,X2,X3,X4) [218] U131(X1,X2,X3,active(X4)) -> U131(X1,X2,X3,X4) [219] U132(mark(X1),X2,X3,X4) -> U132(X1,X2,X3,X4) [220] U132(X1,mark(X2),X3,X4) -> U132(X1,X2,X3,X4) [221] U132(X1,X2,mark(X3),X4) -> U132(X1,X2,X3,X4) [222] U132(X1,X2,X3,mark(X4)) -> U132(X1,X2,X3,X4) [223] U132(active(X1),X2,X3,X4) -> U132(X1,X2,X3,X4) [224] U132(X1,active(X2),X3,X4) -> U132(X1,X2,X3,X4) [225] U132(X1,X2,active(X3),X4) -> U132(X1,X2,X3,X4) [226] U132(X1,X2,X3,active(X4)) -> U132(X1,X2,X3,X4) [227] U133(mark(X1),X2,X3,X4) -> U133(X1,X2,X3,X4) [228] U133(X1,mark(X2),X3,X4) -> U133(X1,X2,X3,X4) [229] U133(X1,X2,mark(X3),X4) -> U133(X1,X2,X3,X4) [230] U133(X1,X2,X3,mark(X4)) -> U133(X1,X2,X3,X4) [231] U133(active(X1),X2,X3,X4) -> U133(X1,X2,X3,X4) [232] U133(X1,active(X2),X3,X4) -> U133(X1,X2,X3,X4) [233] U133(X1,X2,active(X3),X4) -> U133(X1,X2,X3,X4) [234] U133(X1,X2,X3,active(X4)) -> U133(X1,X2,X3,X4) [235] U134(mark(X1),X2,X3,X4) -> U134(X1,X2,X3,X4) [236] U134(X1,mark(X2),X3,X4) -> U134(X1,X2,X3,X4) [237] U134(X1,X2,mark(X3),X4) -> U134(X1,X2,X3,X4) [238] U134(X1,X2,X3,mark(X4)) -> U134(X1,X2,X3,X4) [239] U134(active(X1),X2,X3,X4) -> U134(X1,X2,X3,X4) [240] U134(X1,active(X2),X3,X4) -> U134(X1,X2,X3,X4) [241] U134(X1,X2,active(X3),X4) -> U134(X1,X2,X3,X4) [242] U134(X1,X2,X3,active(X4)) -> U134(X1,X2,X3,X4) [243] U135(mark(X1),X2,X3,X4) -> U135(X1,X2,X3,X4) [244] U135(X1,mark(X2),X3,X4) -> U135(X1,X2,X3,X4) [245] U135(X1,X2,mark(X3),X4) -> U135(X1,X2,X3,X4) [246] U135(X1,X2,X3,mark(X4)) -> U135(X1,X2,X3,X4) [247] U135(active(X1),X2,X3,X4) -> U135(X1,X2,X3,X4) [248] U135(X1,active(X2),X3,X4) -> U135(X1,X2,X3,X4) [249] U135(X1,X2,active(X3),X4) -> U135(X1,X2,X3,X4) [250] U135(X1,X2,X3,active(X4)) -> U135(X1,X2,X3,X4) [251] U136(mark(X1),X2,X3,X4) -> U136(X1,X2,X3,X4) [252] U136(X1,mark(X2),X3,X4) -> U136(X1,X2,X3,X4) [253] U136(X1,X2,mark(X3),X4) -> U136(X1,X2,X3,X4) [254] U136(X1,X2,X3,mark(X4)) -> U136(X1,X2,X3,X4) [255] U136(active(X1),X2,X3,X4) -> U136(X1,X2,X3,X4) [256] U136(X1,active(X2),X3,X4) -> U136(X1,X2,X3,X4) [257] U136(X1,X2,active(X3),X4) -> U136(X1,X2,X3,X4) [258] U136(X1,X2,X3,active(X4)) -> U136(X1,X2,X3,X4) [259] take(mark(X1),X2) -> take(X1,X2) [260] take(X1,mark(X2)) -> take(X1,X2) [261] take(active(X1),X2) -> take(X1,X2) [262] take(X1,active(X2)) -> take(X1,X2) [263] U21(mark(X1),X2) -> U21(X1,X2) [264] U21(X1,mark(X2)) -> U21(X1,X2) [265] U21(active(X1),X2) -> U21(X1,X2) [266] U21(X1,active(X2)) -> U21(X1,X2) [267] U22(mark(X1),X2) -> U22(X1,X2) [268] U22(X1,mark(X2)) -> U22(X1,X2) [269] U22(active(X1),X2) -> U22(X1,X2) [270] U22(X1,active(X2)) -> U22(X1,X2) [271] U23(mark(X)) -> U23(X) [272] U23(active(X)) -> U23(X) [273] U31(mark(X1),X2) -> U31(X1,X2) [274] U31(X1,mark(X2)) -> U31(X1,X2) [275] U31(active(X1),X2) -> U31(X1,X2) [276] U31(X1,active(X2)) -> U31(X1,X2) [277] U32(mark(X1),X2) -> U32(X1,X2) [278] U32(X1,mark(X2)) -> U32(X1,X2) [279] U32(active(X1),X2) -> U32(X1,X2) [280] U32(X1,active(X2)) -> U32(X1,X2) [281] U33(mark(X)) -> U33(X) [282] U33(active(X)) -> U33(X) [283] U41(mark(X1),X2,X3) -> U41(X1,X2,X3) [284] U41(X1,mark(X2),X3) -> U41(X1,X2,X3) [285] U41(X1,X2,mark(X3)) -> U41(X1,X2,X3) [286] U41(active(X1),X2,X3) -> U41(X1,X2,X3) [287] U41(X1,active(X2),X3) -> U41(X1,X2,X3) [288] U41(X1,X2,active(X3)) -> U41(X1,X2,X3) [289] U42(mark(X1),X2,X3) -> U42(X1,X2,X3) [290] U42(X1,mark(X2),X3) -> U42(X1,X2,X3) [291] U42(X1,X2,mark(X3)) -> U42(X1,X2,X3) [292] U42(active(X1),X2,X3) -> U42(X1,X2,X3) [293] U42(X1,active(X2),X3) -> U42(X1,X2,X3) [294] U42(X1,X2,active(X3)) -> U42(X1,X2,X3) [295] U43(mark(X1),X2,X3) -> U43(X1,X2,X3) [296] U43(X1,mark(X2),X3) -> U43(X1,X2,X3) [297] U43(X1,X2,mark(X3)) -> U43(X1,X2,X3) [298] U43(active(X1),X2,X3) -> U43(X1,X2,X3) [299] U43(X1,active(X2),X3) -> U43(X1,X2,X3) [300] U43(X1,X2,active(X3)) -> U43(X1,X2,X3) [301] U44(mark(X1),X2,X3) -> U44(X1,X2,X3) [302] U44(X1,mark(X2),X3) -> U44(X1,X2,X3) [303] U44(X1,X2,mark(X3)) -> U44(X1,X2,X3) [304] U44(active(X1),X2,X3) -> U44(X1,X2,X3) [305] U44(X1,active(X2),X3) -> U44(X1,X2,X3) [306] U44(X1,X2,active(X3)) -> U44(X1,X2,X3) [307] U45(mark(X1),X2) -> U45(X1,X2) [308] U45(X1,mark(X2)) -> U45(X1,X2) [309] U45(active(X1),X2) -> U45(X1,X2) [310] U45(X1,active(X2)) -> U45(X1,X2) [311] U46(mark(X)) -> U46(X) [312] U46(active(X)) -> U46(X) [313] U51(mark(X1),X2) -> U51(X1,X2) [314] U51(X1,mark(X2)) -> U51(X1,X2) [315] U51(active(X1),X2) -> U51(X1,X2) [316] U51(X1,active(X2)) -> U51(X1,X2) [317] U52(mark(X)) -> U52(X) [318] U52(active(X)) -> U52(X) [319] U61(mark(X1),X2) -> U61(X1,X2) [320] U61(X1,mark(X2)) -> U61(X1,X2) [321] U61(active(X1),X2) -> U61(X1,X2) [322] U61(X1,active(X2)) -> U61(X1,X2) [323] U62(mark(X)) -> U62(X) [324] U62(active(X)) -> U62(X) [325] U71(mark(X)) -> U71(X) [326] U71(active(X)) -> U71(X) [327] U81(mark(X)) -> U81(X) [328] U81(active(X)) -> U81(X) [329] U91(mark(X1),X2,X3) -> U91(X1,X2,X3) [330] U91(X1,mark(X2),X3) -> U91(X1,X2,X3) [331] U91(X1,X2,mark(X3)) -> U91(X1,X2,X3) [332] U91(active(X1),X2,X3) -> U91(X1,X2,X3) [333] U91(X1,active(X2),X3) -> U91(X1,X2,X3) [334] U91(X1,X2,active(X3)) -> U91(X1,X2,X3) [335] U92(mark(X1),X2,X3) -> U92(X1,X2,X3) [336] U92(X1,mark(X2),X3) -> U92(X1,X2,X3) [337] U92(X1,X2,mark(X3)) -> U92(X1,X2,X3) [338] U92(active(X1),X2,X3) -> U92(X1,X2,X3) [339] U92(X1,active(X2),X3) -> U92(X1,X2,X3) [340] U92(X1,X2,active(X3)) -> U92(X1,X2,X3) [341] U93(mark(X1),X2,X3) -> U93(X1,X2,X3) [342] U93(X1,mark(X2),X3) -> U93(X1,X2,X3) [343] U93(X1,X2,mark(X3)) -> U93(X1,X2,X3) [344] U93(active(X1),X2,X3) -> U93(X1,X2,X3) [345] U93(X1,active(X2),X3) -> U93(X1,X2,X3) [346] U93(X1,X2,active(X3)) -> U93(X1,X2,X3) [347] U94(mark(X1),X2,X3) -> U94(X1,X2,X3) [348] U94(X1,mark(X2),X3) -> U94(X1,X2,X3) [349] U94(X1,X2,mark(X3)) -> U94(X1,X2,X3) [350] U94(active(X1),X2,X3) -> U94(X1,X2,X3) [351] U94(X1,active(X2),X3) -> U94(X1,X2,X3) [352] U94(X1,X2,active(X3)) -> U94(X1,X2,X3) [353] U95(mark(X1),X2) -> U95(X1,X2) [354] U95(X1,mark(X2)) -> U95(X1,X2) [355] U95(active(X1),X2) -> U95(X1,X2) [356] U95(X1,active(X2)) -> U95(X1,X2) [357] U96(mark(X)) -> U96(X) [358] U96(active(X)) -> U96(X) Sub problem: guided: DP termination of: END GUIDED APPLY CRITERIA (Graph splitting) Found 55 components: { --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> --> -->