YES TRS: __(__(X,Y),Z) -> __(X,__(Y,Z)) __(X,nil()) -> X __(nil(),X) -> X U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V)) U12(tt(),V) -> U13(isNeList(activate(V))) U13(tt()) -> tt() U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2)) U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2)) U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2)) U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2)) U25(tt(),V2) -> U26(isList(activate(V2))) U26(tt()) -> tt() U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V)) U32(tt(),V) -> U33(isQid(activate(V))) U33(tt()) -> tt() U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2)) U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2)) U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2)) U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2)) U45(tt(),V2) -> U46(isNeList(activate(V2))) U46(tt()) -> tt() U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2)) U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2)) U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2)) U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2)) U55(tt(),V2) -> U56(isList(activate(V2))) U56(tt()) -> tt() U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V)) U62(tt(),V) -> U63(isQid(activate(V))) U63(tt()) -> tt() U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P)) U72(tt(),P) -> U73(isPal(activate(P)),activate(P)) U73(tt(),P) -> U74(isPalListKind(activate(P))) U74(tt()) -> tt() U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V)) U82(tt(),V) -> U83(isNePal(activate(V))) U83(tt()) -> tt() U91(tt(),V2) -> U92(isPalListKind(activate(V2))) U92(tt()) -> tt() isList(V) -> U11(isPalListKind(activate(V)),activate(V)) isList(n__nil()) -> tt() isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2)) isNeList(V) -> U31(isPalListKind(activate(V)),activate(V)) isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2)) isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2)) isNePal(V) -> U61(isPalListKind(activate(V)),activate(V)) isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P)) isPal(V) -> U81(isPalListKind(activate(V)),activate(V)) isPal(n__nil()) -> tt() isPalListKind(n__a()) -> tt() isPalListKind(n__e()) -> tt() isPalListKind(n__i()) -> tt() isPalListKind(n__nil()) -> tt() isPalListKind(n__o()) -> tt() isPalListKind(n__u()) -> tt() isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2)) isQid(n__a()) -> tt() isQid(n__e()) -> tt() isQid(n__i()) -> tt() isQid(n__o()) -> tt() isQid(n__u()) -> tt() nil() -> n__nil() __(X1,X2) -> n____(X1,X2) a() -> n__a() e() -> n__e() i() -> n__i() o() -> n__o() u() -> n__u() activate(n__nil()) -> nil() activate(n____(X1,X2)) -> __(X1,X2) activate(n__a()) -> a() activate(n__e()) -> e() activate(n__i()) -> i() activate(n__o()) -> o() activate(n__u()) -> u() activate(X) -> X linear polynomial interpretations on N: ___A(x1,x2) = x1 + x2 + 29 __#_A(x1,x2) = x1 + x2 + 32 nil_A = 1 nil#_A = 4 U11_A(x1,x2) = x2 + 2 U11#_A(x1,x2) = x2 + 13 tt_A = 1 tt#_A = 2 U12_A(x1,x2) = x1 + x2 U12#_A(x1,x2) = x2 + 11 isPalListKind_A(x1) = 1 isPalListKind#_A(x1) = 3 activate_A(x1) = x1 + 1 activate#_A(x1) = x1 + 4 U13_A(x1) = 1 U13#_A(x1) = x1 + 2 isNeList_A(x1) = x1 + 3 isNeList#_A(x1) = x1 + 9 U21_A(x1,x2,x3) = x3 + 5 U21#_A(x1,x2,x3) = x2 + x3 + 30 U22_A(x1,x2,x3) = x3 + 4 U22#_A(x1,x2,x3) = x2 + x3 + 25 U23_A(x1,x2,x3) = x3 + 3 U23#_A(x1,x2,x3) = x2 + x3 + 22 U24_A(x1,x2,x3) = x3 + 2 U24#_A(x1,x2,x3) = x2 + x3 + 19 U25_A(x1,x2) = x2 + 1 U25#_A(x1,x2) = x2 + 17 isList_A(x1) = x1 + 3 isList#_A(x1) = x1 + 15 U26_A(x1) = 1 U26#_A(x1) = x1 U31_A(x1,x2) = x1 + x2 + 1 U31#_A(x1,x2) = x2 + 7 U32_A(x1,x2) = x2 + 1 U32#_A(x1,x2) = x2 + 5 U33_A(x1) = x1 U33#_A(x1) = x1 + 2 isQid_A(x1) = x1 isQid#_A(x1) = 3 U41_A(x1,x2,x3) = x3 + 2 U41#_A(x1,x2,x3) = x2 + x3 + 26 U42_A(x1,x2,x3) = x3 + 1 U42#_A(x1,x2,x3) = x2 + x3 + 23 U43_A(x1,x2,x3) = x1 U43#_A(x1,x2,x3) = x2 + x3 + 20 U44_A(x1,x2,x3) = 1 U44#_A(x1,x2,x3) = x2 + x3 + 17 U45_A(x1,x2) = 1 U45#_A(x1,x2) = x2 + 11 U46_A(x1) = 1 U46#_A(x1) = x1 + 2 U51_A(x1,x2,x3) = 1 U51#_A(x1,x2,x3) = x2 + x3 + 28 U52_A(x1,x2,x3) = 1 U52#_A(x1,x2,x3) = x2 + x3 + 25 U53_A(x1,x2,x3) = 1 U53#_A(x1,x2,x3) = x2 + x3 + 22 U54_A(x1,x2,x3) = 1 U54#_A(x1,x2,x3) = x2 + x3 + 19 U55_A(x1,x2) = 1 U55#_A(x1,x2) = x2 + 17 U56_A(x1) = 1 U56#_A(x1) = x1 U61_A(x1,x2) = 1 U61#_A(x1,x2) = x2 + 7 U62_A(x1,x2) = 1 U62#_A(x1,x2) = x2 + 5 U63_A(x1) = 1 U63#_A(x1) = x1 + 2 U71_A(x1,x2,x3) = x1 U71#_A(x1,x2,x3) = x2 + x3 + 19 U72_A(x1,x2) = x1 U72#_A(x1,x2) = x2 + 17 U73_A(x1,x2) = 1 U73#_A(x1,x2) = x2 + 5 isPal_A(x1) = 1 isPal#_A(x1) = x1 + 15 U74_A(x1) = x1 U74#_A(x1) = x1 + 2 U81_A(x1,x2) = 1 U81#_A(x1,x2) = x2 + 13 U82_A(x1,x2) = 1 U82#_A(x1,x2) = x2 + 11 U83_A(x1) = 1 U83#_A(x1) = x1 + 2 isNePal_A(x1) = x1 + 1 isNePal#_A(x1) = x1 + 9 U91_A(x1,x2) = x1 U91#_A(x1,x2) = x2 + 5 U92_A(x1) = x1 U92#_A(x1) = x1 + 2 n__nil_A = 1 n__nil#_A = 3 n_____A(x1,x2) = x1 + x2 + 29 n____#_A(x1,x2) = x1 + x2 + 31 n__a_A = 1 n__a#_A = 0 n__e_A = 1 n__e#_A = 3 n__i_A = 1 n__i#_A = 0 n__o_A = 1 n__o#_A = 3 n__u_A = 1 n__u#_A = 3 a_A = 1 a#_A = 1 e_A = 1 e#_A = 4 i_A = 1 i#_A = 4 o_A = 1 o#_A = 4 u_A = 1 u#_A = 4 precedence: n____ > U21 > U22 = U52 > U23 = U42 = U53 > U24 = U43 = U54 > U25 = U44 = U55 > isList = U56 > U11 > U12 = U45 = U72 > isNeList = isPal > U31 = U41 = U61 = U81 > U32 = U51 = U62 = U73 = U82 = U91 = o = u > activate = U13 = U33 = U46 = U63 = U74 = U83 = U92 = n__o > __ = nil = isNePal = e = i > U71 = n__nil = n__e = n__i > isPalListKind = isQid > tt = a > U26 = n__a = n__u