YES TRS: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} DP: Strict: { __#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z), U12#(tt(), V) -> activate#(V), U12#(tt(), V) -> U13#(isNeList(activate(V))), U12#(tt(), V) -> isNeList#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1), isPalListKind#(n____(V1, V2)) -> activate#(V2), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), activate#(n__nil()) -> nil#(), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2)), activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> activate#(X2), activate#(n__a()) -> a#(), activate#(n__e()) -> e#(), activate#(n__i()) -> i#(), activate#(n__o()) -> o#(), activate#(n__u()) -> u#(), U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U11#(tt(), V) -> isPalListKind#(activate(V)), U11#(tt(), V) -> activate#(V), isNeList#(V) -> isPalListKind#(activate(V)), isNeList#(V) -> activate#(V), isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V)), isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isNeList#(n____(V1, V2)) -> activate#(V1), isNeList#(n____(V1, V2)) -> activate#(V2), isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2)), isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U22#(tt(), V1, V2) -> activate#(V1), U22#(tt(), V1, V2) -> activate#(V2), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> isPalListKind#(activate(V1)), U21#(tt(), V1, V2) -> activate#(V1), U21#(tt(), V1, V2) -> activate#(V2), U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U23#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U23#(tt(), V1, V2) -> activate#(V1), U23#(tt(), V1, V2) -> activate#(V2), U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> activate#(V1), U24#(tt(), V1, V2) -> activate#(V2), U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2)), U24#(tt(), V1, V2) -> isList#(activate(V1)), U25#(tt(), V2) -> activate#(V2), U25#(tt(), V2) -> isList#(activate(V2)), U25#(tt(), V2) -> U26#(isList(activate(V2))), isList#(V) -> isPalListKind#(activate(V)), isList#(V) -> activate#(V), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), isList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isList#(n____(V1, V2)) -> activate#(V1), isList#(n____(V1, V2)) -> activate#(V2), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U32#(tt(), V) -> activate#(V), U32#(tt(), V) -> U33#(isQid(activate(V))), U32#(tt(), V) -> isQid#(activate(V)), U31#(tt(), V) -> isPalListKind#(activate(V)), U31#(tt(), V) -> activate#(V), U31#(tt(), V) -> U32#(isPalListKind(activate(V)), activate(V)), U42#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U42#(tt(), V1, V2) -> activate#(V1), U42#(tt(), V1, V2) -> activate#(V2), U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> isPalListKind#(activate(V1)), U41#(tt(), V1, V2) -> activate#(V1), U41#(tt(), V1, V2) -> activate#(V2), U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U43#(tt(), V1, V2) -> activate#(V1), U43#(tt(), V1, V2) -> activate#(V2), U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> activate#(V1), U44#(tt(), V1, V2) -> activate#(V2), U44#(tt(), V1, V2) -> isList#(activate(V1)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> activate#(V2), U45#(tt(), V2) -> isNeList#(activate(V2)), U45#(tt(), V2) -> U46#(isNeList(activate(V2))), U52#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U52#(tt(), V1, V2) -> activate#(V1), U52#(tt(), V1, V2) -> activate#(V2), U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> isPalListKind#(activate(V1)), U51#(tt(), V1, V2) -> activate#(V1), U51#(tt(), V1, V2) -> activate#(V2), U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> isPalListKind#(activate(V2)), U53#(tt(), V1, V2) -> activate#(V1), U53#(tt(), V1, V2) -> activate#(V2), U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> activate#(V1), U54#(tt(), V1, V2) -> activate#(V2), U54#(tt(), V1, V2) -> isNeList#(activate(V1)), U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> activate#(V2), U55#(tt(), V2) -> isList#(activate(V2)), U55#(tt(), V2) -> U56#(isList(activate(V2))), U62#(tt(), V) -> activate#(V), U62#(tt(), V) -> isQid#(activate(V)), U62#(tt(), V) -> U63#(isQid(activate(V))), U61#(tt(), V) -> isPalListKind#(activate(V)), U61#(tt(), V) -> activate#(V), U61#(tt(), V) -> U62#(isPalListKind(activate(V)), activate(V)), U72#(tt(), P) -> activate#(P), U72#(tt(), P) -> U73#(isPal(activate(P)), activate(P)), U72#(tt(), P) -> isPal#(activate(P)), U71#(tt(), I, P) -> isPalListKind#(activate(I)), U71#(tt(), I, P) -> activate#(I), U71#(tt(), I, P) -> activate#(P), U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), U73#(tt(), P) -> isPalListKind#(activate(P)), U73#(tt(), P) -> activate#(P), U73#(tt(), P) -> U74#(isPalListKind(activate(P))), isPal#(V) -> isPalListKind#(activate(V)), isPal#(V) -> activate#(V), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> activate#(V), U82#(tt(), V) -> U83#(isNePal(activate(V))), U82#(tt(), V) -> isNePal#(activate(V)), U81#(tt(), V) -> isPalListKind#(activate(V)), U81#(tt(), V) -> activate#(V), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), isNePal#(V) -> isPalListKind#(activate(V)), isNePal#(V) -> activate#(V), isNePal#(V) -> U61#(isPalListKind(activate(V)), activate(V)), isNePal#(n____(I, n____(P, I))) -> activate#(I), isNePal#(n____(I, n____(P, I))) -> activate#(P), isNePal#(n____(I, n____(P, I))) -> isQid#(activate(I)), isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P)), U91#(tt(), V2) -> isPalListKind#(activate(V2)), U91#(tt(), V2) -> activate#(V2), U91#(tt(), V2) -> U92#(isPalListKind(activate(V2)))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} EDG: { (U72#(tt(), P) -> isPal#(activate(P)), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V))) (U72#(tt(), P) -> isPal#(activate(P)), isPal#(V) -> activate#(V)) (U72#(tt(), P) -> isPal#(activate(P)), isPal#(V) -> isPalListKind#(activate(V))) (U71#(tt(), I, P) -> isPalListKind#(activate(I)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U71#(tt(), I, P) -> isPalListKind#(activate(I)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U71#(tt(), I, P) -> isPalListKind#(activate(I)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U71#(tt(), I, P) -> isPalListKind#(activate(I)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U22#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U22#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U22#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U22#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> activate#(V2)) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> activate#(V1)) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> activate#(V)) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> isPalListKind#(activate(V))) (U43#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U43#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U43#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U43#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U52#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U52#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U52#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U52#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> activate#(V2)) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> activate#(V1)) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> activate#(V)) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> isPalListKind#(activate(V))) (isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U21#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U21#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U21#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U21#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (isList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> activate#(V2)) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> activate#(V1)) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> activate#(V)) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> isPalListKind#(activate(V))) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(n____(V1, V2)) -> activate#(V2)) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(n____(V1, V2)) -> activate#(V1)) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V))) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(V) -> activate#(V)) (U54#(tt(), V1, V2) -> isNeList#(activate(V1)), isNeList#(V) -> isPalListKind#(activate(V))) (U11#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U11#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U11#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U11#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (isList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U31#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U31#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U31#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U31#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U61#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U61#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U61#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U61#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P))) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(n____(I, n____(P, I))) -> isQid#(activate(I))) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(n____(I, n____(P, I))) -> activate#(P)) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(n____(I, n____(P, I))) -> activate#(I)) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(V) -> U61#(isPalListKind(activate(V)), activate(V))) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(V) -> activate#(V)) (U82#(tt(), V) -> isNePal#(activate(V)), isNePal#(V) -> isPalListKind#(activate(V))) (isNePal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isNePal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isNePal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isNePal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U11#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U11#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U11#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U11#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U11#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U11#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U11#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U11#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U11#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (isList#(V) -> activate#(V), activate#(n__u()) -> u#()) (isList#(V) -> activate#(V), activate#(n__o()) -> o#()) (isList#(V) -> activate#(V), activate#(n__i()) -> i#()) (isList#(V) -> activate#(V), activate#(n__e()) -> e#()) (isList#(V) -> activate#(V), activate#(n__a()) -> a#()) (isList#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (isList#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (isList#(V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isList#(V) -> activate#(V), activate#(n__nil()) -> nil#()) (U31#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U31#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U31#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U31#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U31#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U31#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U31#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U31#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U31#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U61#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U61#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U61#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U61#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U61#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U61#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U61#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U61#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U61#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U82#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U82#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U82#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U82#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U82#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U82#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U82#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U82#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U82#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (isNePal#(V) -> activate#(V), activate#(n__u()) -> u#()) (isNePal#(V) -> activate#(V), activate#(n__o()) -> o#()) (isNePal#(V) -> activate#(V), activate#(n__i()) -> i#()) (isNePal#(V) -> activate#(V), activate#(n__e()) -> e#()) (isNePal#(V) -> activate#(V), activate#(n__a()) -> a#()) (isNePal#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (isNePal#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (isNePal#(V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNePal#(V) -> activate#(V), activate#(n__nil()) -> nil#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__u()) -> u#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__o()) -> o#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__i()) -> i#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__e()) -> e#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__a()) -> a#()) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isPalListKind#(n____(V1, V2)) -> activate#(V1), activate#(n__nil()) -> nil#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U22#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U23#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__u()) -> u#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__o()) -> o#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__i()) -> i#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__e()) -> e#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__a()) -> a#()) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isList#(n____(V1, V2)) -> activate#(V1), activate#(n__nil()) -> nil#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U41#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U44#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U51#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U54#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__u()) -> u#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__o()) -> o#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__i()) -> i#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__e()) -> e#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__a()) -> a#()) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isPalListKind#(n____(V1, V2)) -> activate#(V2), activate#(n__nil()) -> nil#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U22#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U23#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U25#(tt(), V2) -> activate#(V2), activate#(n__u()) -> u#()) (U25#(tt(), V2) -> activate#(V2), activate#(n__o()) -> o#()) (U25#(tt(), V2) -> activate#(V2), activate#(n__i()) -> i#()) (U25#(tt(), V2) -> activate#(V2), activate#(n__e()) -> e#()) (U25#(tt(), V2) -> activate#(V2), activate#(n__a()) -> a#()) (U25#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U25#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U25#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U25#(tt(), V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U42#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U43#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U45#(tt(), V2) -> activate#(V2), activate#(n__u()) -> u#()) (U45#(tt(), V2) -> activate#(V2), activate#(n__o()) -> o#()) (U45#(tt(), V2) -> activate#(V2), activate#(n__i()) -> i#()) (U45#(tt(), V2) -> activate#(V2), activate#(n__e()) -> e#()) (U45#(tt(), V2) -> activate#(V2), activate#(n__a()) -> a#()) (U45#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U45#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U45#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U45#(tt(), V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U51#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U54#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U91#(tt(), V2) -> activate#(V2), activate#(n__u()) -> u#()) (U91#(tt(), V2) -> activate#(V2), activate#(n__o()) -> o#()) (U91#(tt(), V2) -> activate#(V2), activate#(n__i()) -> i#()) (U91#(tt(), V2) -> activate#(V2), activate#(n__e()) -> e#()) (U91#(tt(), V2) -> activate#(V2), activate#(n__a()) -> a#()) (U91#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U91#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U91#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U91#(tt(), V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__u()) -> u#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__o()) -> o#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__i()) -> i#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__e()) -> e#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__a()) -> a#()) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n____(X1, X2)) -> activate#(X2)) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n____(X1, X2)) -> activate#(X1)) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNePal#(n____(I, n____(P, I))) -> activate#(I), activate#(n__nil()) -> nil#()) (isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), U91#(tt(), V2) -> U92#(isPalListKind(activate(V2)))) (isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), U91#(tt(), V2) -> activate#(V2)) (isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), U91#(tt(), V2) -> isPalListKind#(activate(V2))) (U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U12#(tt(), V) -> isNeList#(activate(V))) (U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U12#(tt(), V) -> U13#(isNeList(activate(V)))) (U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U12#(tt(), V) -> activate#(V)) (U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2)), U25#(tt(), V2) -> U26#(isList(activate(V2)))) (U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2)), U25#(tt(), V2) -> isList#(activate(V2))) (U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2)), U25#(tt(), V2) -> activate#(V2)) (U31#(tt(), V) -> U32#(isPalListKind(activate(V)), activate(V)), U32#(tt(), V) -> isQid#(activate(V))) (U31#(tt(), V) -> U32#(isPalListKind(activate(V)), activate(V)), U32#(tt(), V) -> U33#(isQid(activate(V)))) (U31#(tt(), V) -> U32#(isPalListKind(activate(V)), activate(V)), U32#(tt(), V) -> activate#(V)) (U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> U56#(isList(activate(V2)))) (U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> isList#(activate(V2))) (U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> activate#(V2)) (U72#(tt(), P) -> U73#(isPal(activate(P)), activate(P)), U73#(tt(), P) -> U74#(isPalListKind(activate(P)))) (U72#(tt(), P) -> U73#(isPal(activate(P)), activate(P)), U73#(tt(), P) -> activate#(P)) (U72#(tt(), P) -> U73#(isPal(activate(P)), activate(P)), U73#(tt(), P) -> isPalListKind#(activate(P))) (isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V))) (isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U81#(tt(), V) -> activate#(V)) (isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U81#(tt(), V) -> isPalListKind#(activate(V))) (isNePal#(V) -> U61#(isPalListKind(activate(V)), activate(V)), U61#(tt(), V) -> U62#(isPalListKind(activate(V)), activate(V))) (isNePal#(V) -> U61#(isPalListKind(activate(V)), activate(V)), U61#(tt(), V) -> activate#(V)) (isNePal#(V) -> U61#(isPalListKind(activate(V)), activate(V)), U61#(tt(), V) -> isPalListKind#(activate(V))) (U71#(tt(), I, P) -> activate#(P), activate#(n__u()) -> u#()) (U71#(tt(), I, P) -> activate#(P), activate#(n__o()) -> o#()) (U71#(tt(), I, P) -> activate#(P), activate#(n__i()) -> i#()) (U71#(tt(), I, P) -> activate#(P), activate#(n__e()) -> e#()) (U71#(tt(), I, P) -> activate#(P), activate#(n__a()) -> a#()) (U71#(tt(), I, P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X2)) (U71#(tt(), I, P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X1)) (U71#(tt(), I, P) -> activate#(P), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U71#(tt(), I, P) -> activate#(P), activate#(n__nil()) -> nil#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__u()) -> u#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__o()) -> o#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__i()) -> i#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__e()) -> e#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__a()) -> a#()) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X2)) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X1)) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNePal#(n____(I, n____(P, I))) -> activate#(P), activate#(n__nil()) -> nil#()) (isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> activate#(V2)) (isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> activate#(V1)) (isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> isPalListKind#(activate(V1))) (U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2))) (U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> activate#(V2)) (U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> activate#(V1)) (U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> isPalListKind#(activate(V2))) (isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> activate#(V2)) (isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> activate#(V1)) (isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> isPalListKind#(activate(V1))) (U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2))) (U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> activate#(V2)) (U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> activate#(V1)) (U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> isPalListKind#(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))) (U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> activate#(V2)) (U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> activate#(V1)) (U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> isPalListKind#(activate(V2))) (U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2))) (U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> isNeList#(activate(V1))) (U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> activate#(V2)) (U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> activate#(V1)) (isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P)), U71#(tt(), I, P) -> isPalListKind#(activate(I))) (isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P)), U71#(tt(), I, P) -> activate#(I)) (isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P)), U71#(tt(), I, P) -> activate#(P)) (isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P)), U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P))) (U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U52#(tt(), V1, V2) -> isPalListKind#(activate(V2))) (U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U52#(tt(), V1, V2) -> activate#(V1)) (U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U52#(tt(), V1, V2) -> activate#(V2)) (U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2))) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> activate#(V1)) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> activate#(V2)) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> isList#(activate(V1))) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2))) (U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> isPalListKind#(activate(V2))) (U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> activate#(V1)) (U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> 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))) (U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> activate#(V1)) (U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> activate#(V2)) (U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2))) (U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> isList#(activate(V1))) (U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U23#(tt(), V1, V2) -> isPalListKind#(activate(V2))) (U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U23#(tt(), V1, V2) -> activate#(V1)) (U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U23#(tt(), V1, V2) -> 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))) (isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> isPalListKind#(activate(V1))) (isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> activate#(V1)) (isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> activate#(V2)) (isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U73#(tt(), P) -> activate#(P), activate#(n__nil()) -> nil#()) (U73#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U73#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X1)) (U73#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X2)) (U73#(tt(), P) -> activate#(P), activate#(n__a()) -> a#()) (U73#(tt(), P) -> activate#(P), activate#(n__e()) -> e#()) (U73#(tt(), P) -> activate#(P), activate#(n__i()) -> i#()) (U73#(tt(), P) -> activate#(P), activate#(n__o()) -> o#()) (U73#(tt(), P) -> activate#(P), activate#(n__u()) -> u#()) (U72#(tt(), P) -> activate#(P), activate#(n__nil()) -> nil#()) (U72#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U72#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X1)) (U72#(tt(), P) -> activate#(P), activate#(n____(X1, X2)) -> activate#(X2)) (U72#(tt(), P) -> activate#(P), activate#(n__a()) -> a#()) (U72#(tt(), P) -> activate#(P), activate#(n__e()) -> e#()) (U72#(tt(), P) -> activate#(P), activate#(n__i()) -> i#()) (U72#(tt(), P) -> activate#(P), activate#(n__o()) -> o#()) (U72#(tt(), P) -> activate#(P), activate#(n__u()) -> u#()) (U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> activate#(V)) (U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> U83#(isNePal(activate(V)))) (U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> isNePal#(activate(V))) (U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), U72#(tt(), P) -> activate#(P)) (U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), U72#(tt(), P) -> U73#(isPal(activate(P)), activate(P))) (U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), U72#(tt(), P) -> isPal#(activate(P))) (U61#(tt(), V) -> U62#(isPalListKind(activate(V)), activate(V)), U62#(tt(), V) -> activate#(V)) (U61#(tt(), V) -> U62#(isPalListKind(activate(V)), activate(V)), U62#(tt(), V) -> isQid#(activate(V))) (U61#(tt(), V) -> U62#(isPalListKind(activate(V)), activate(V)), U62#(tt(), V) -> U63#(isQid(activate(V)))) (U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> activate#(V2)) (U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> isNeList#(activate(V2))) (U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> U46#(isNeList(activate(V2)))) (isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V))) (isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), U11#(tt(), V) -> isPalListKind#(activate(V))) (isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), U11#(tt(), V) -> activate#(V)) (isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V)), U31#(tt(), V) -> isPalListKind#(activate(V))) (isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V)), U31#(tt(), V) -> activate#(V)) (isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V)), U31#(tt(), V) -> U32#(isPalListKind(activate(V)), activate(V))) (activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2)), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2)), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)) (U71#(tt(), I, P) -> activate#(I), activate#(n__nil()) -> nil#()) (U71#(tt(), I, P) -> activate#(I), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U71#(tt(), I, P) -> activate#(I), activate#(n____(X1, X2)) -> activate#(X1)) (U71#(tt(), I, P) -> activate#(I), activate#(n____(X1, X2)) -> activate#(X2)) (U71#(tt(), I, P) -> activate#(I), activate#(n__a()) -> a#()) (U71#(tt(), I, P) -> activate#(I), activate#(n__e()) -> e#()) (U71#(tt(), I, P) -> activate#(I), activate#(n__i()) -> i#()) (U71#(tt(), I, P) -> activate#(I), activate#(n__o()) -> o#()) (U71#(tt(), I, P) -> activate#(I), activate#(n__u()) -> u#()) (U55#(tt(), V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U55#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U55#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U55#(tt(), V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U55#(tt(), V2) -> activate#(V2), activate#(n__a()) -> a#()) (U55#(tt(), V2) -> activate#(V2), activate#(n__e()) -> e#()) (U55#(tt(), V2) -> activate#(V2), activate#(n__i()) -> i#()) (U55#(tt(), V2) -> activate#(V2), activate#(n__o()) -> o#()) (U55#(tt(), V2) -> activate#(V2), activate#(n__u()) -> u#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U53#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U52#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U44#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U41#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__nil()) -> nil#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__a()) -> a#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__e()) -> e#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__i()) -> i#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__o()) -> o#()) (isList#(n____(V1, V2)) -> activate#(V2), activate#(n__u()) -> u#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U24#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__nil()) -> nil#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__a()) -> a#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__e()) -> e#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__i()) -> i#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__o()) -> o#()) (U21#(tt(), V1, V2) -> activate#(V2), activate#(n__u()) -> u#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__nil()) -> nil#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X1)) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n____(X1, X2)) -> activate#(X2)) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__a()) -> a#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__e()) -> e#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__i()) -> i#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__o()) -> o#()) (isNeList#(n____(V1, V2)) -> activate#(V2), activate#(n__u()) -> u#()) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z)) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U53#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U52#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U43#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U42#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U24#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__nil()) -> nil#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__a()) -> a#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__e()) -> e#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__i()) -> i#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__o()) -> o#()) (U21#(tt(), V1, V2) -> activate#(V1), activate#(n__u()) -> u#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__nil()) -> nil#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X1)) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n____(X1, X2)) -> activate#(X2)) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__a()) -> a#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__e()) -> e#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__i()) -> i#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__o()) -> o#()) (isNeList#(n____(V1, V2)) -> activate#(V1), activate#(n__u()) -> u#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__nil()) -> nil#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n____(X1, X2)) -> activate#(X1)) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n____(X1, X2)) -> activate#(X2)) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__a()) -> a#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__e()) -> e#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__i()) -> i#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__o()) -> o#()) (activate#(n____(X1, X2)) -> activate#(X2), activate#(n__u()) -> u#()) (U81#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U81#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U81#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U81#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U81#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U81#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U81#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U81#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U81#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (isPal#(V) -> activate#(V), activate#(n__nil()) -> nil#()) (isPal#(V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isPal#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (isPal#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (isPal#(V) -> activate#(V), activate#(n__a()) -> a#()) (isPal#(V) -> activate#(V), activate#(n__e()) -> e#()) (isPal#(V) -> activate#(V), activate#(n__i()) -> i#()) (isPal#(V) -> activate#(V), activate#(n__o()) -> o#()) (isPal#(V) -> activate#(V), activate#(n__u()) -> u#()) (U62#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U62#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U62#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U62#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U62#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U62#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U62#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U62#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U62#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U32#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U32#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U32#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U32#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U32#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U32#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U32#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U32#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U32#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (isNeList#(V) -> activate#(V), activate#(n__nil()) -> nil#()) (isNeList#(V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (isNeList#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (isNeList#(V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (isNeList#(V) -> activate#(V), activate#(n__a()) -> a#()) (isNeList#(V) -> activate#(V), activate#(n__e()) -> e#()) (isNeList#(V) -> activate#(V), activate#(n__i()) -> i#()) (isNeList#(V) -> activate#(V), activate#(n__o()) -> o#()) (isNeList#(V) -> activate#(V), activate#(n__u()) -> u#()) (U12#(tt(), V) -> activate#(V), activate#(n__nil()) -> nil#()) (U12#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (U12#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X1)) (U12#(tt(), V) -> activate#(V), activate#(n____(X1, X2)) -> activate#(X2)) (U12#(tt(), V) -> activate#(V), activate#(n__a()) -> a#()) (U12#(tt(), V) -> activate#(V), activate#(n__e()) -> e#()) (U12#(tt(), V) -> activate#(V), activate#(n__i()) -> i#()) (U12#(tt(), V) -> activate#(V), activate#(n__o()) -> o#()) (U12#(tt(), V) -> activate#(V), activate#(n__u()) -> u#()) (U81#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U81#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U81#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U81#(tt(), V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isPal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (isPal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isPal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isPal#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isNeList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (isNeList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isNeList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isNeList#(V) -> isPalListKind#(activate(V)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(V) -> isPalListKind#(activate(V))) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(V) -> activate#(V)) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V))) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(n____(V1, V2)) -> activate#(V1)) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(n____(V1, V2)) -> activate#(V2)) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U12#(tt(), V) -> isNeList#(activate(V)), isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U51#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U51#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U51#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U51#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U41#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U41#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U41#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U41#(tt(), V1, V2) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> isPalListKind#(activate(V))) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> activate#(V)) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> activate#(V1)) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> activate#(V2)) (U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U91#(tt(), V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U91#(tt(), V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U91#(tt(), V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U91#(tt(), V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U53#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U53#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U53#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U53#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(V) -> isPalListKind#(activate(V))) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(V) -> activate#(V)) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(V) -> U31#(isPalListKind(activate(V)), activate(V))) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(n____(V1, V2)) -> activate#(V1)) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(n____(V1, V2)) -> activate#(V2)) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(n____(V1, V2)) -> U41#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U45#(tt(), V2) -> isNeList#(activate(V2)), isNeList#(n____(V1, V2)) -> U51#(isPalListKind(activate(V1)), activate(V1), activate(V2))) (U42#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U42#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U42#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U42#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U23#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U23#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U23#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U23#(tt(), V1, V2) -> isPalListKind#(activate(V2)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (U73#(tt(), P) -> isPalListKind#(activate(P)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))) (U73#(tt(), P) -> isPalListKind#(activate(P)), isPalListKind#(n____(V1, V2)) -> activate#(V1)) (U73#(tt(), P) -> isPalListKind#(activate(P)), isPalListKind#(n____(V1, V2)) -> activate#(V2)) (U73#(tt(), P) -> isPalListKind#(activate(P)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__nil()) -> nil#()) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> __#(activate(X1), activate(X2))) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> activate#(X1)) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> activate#(X2)) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__a()) -> a#()) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__e()) -> e#()) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__i()) -> i#()) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__o()) -> o#()) (activate#(n____(X1, X2)) -> activate#(X1), activate#(n__u()) -> u#()) } SCCS: Scc: { U72#(tt(), P) -> isPal#(activate(P)), U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> isNePal#(activate(V)), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P))} Scc: {activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> activate#(X2)} Scc: {isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), U91#(tt(), V2) -> isPalListKind#(activate(V2))} Scc: { U12#(tt(), V) -> isNeList#(activate(V)), U11#(tt(), V) -> U12#(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)), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), 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)), U24#(tt(), V1, V2) -> isList#(activate(V1)), U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> isList#(activate(V1)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> isNeList#(activate(V2)), U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> isNeList#(activate(V1)), U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> isList#(activate(V2))} Scc: {__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)} SCC: Strict: { U72#(tt(), P) -> isPal#(activate(P)), U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> isNePal#(activate(V)), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), isNePal#(n____(I, n____(P, I))) -> U71#(isQid(activate(I)), activate(I), activate(P))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} POLY: Argument Filtering: pi(u) = [], pi(o) = [], pi(i) = [], pi(e) = [], pi(a) = [], pi(n__u) = [], pi(n__o) = [], pi(n__i) = [], pi(n__e) = [], pi(n__a) = [], pi(n____) = [0,1], pi(n__nil) = [], pi(U91) = [], pi(U92) = [], pi(isNePal#) = 0, pi(isNePal) = [], pi(U83) = [], pi(U81#) = 1, pi(U81) = [], pi(U82#) = 1, pi(U82) = [], pi(U74) = [], pi(isPal#) = 0, pi(isPal) = [], pi(U73) = [], pi(U71#) = 2, pi(U71) = [], pi(U72#) = 1, pi(U72) = [], pi(U63) = [], pi(U61) = [], pi(U62) = [], pi(U56) = [], pi(U55) = [], pi(U54) = [], pi(U53) = [], pi(U51) = [], pi(U52) = [], pi(U46) = [], pi(U45) = [], pi(U44) = [], pi(U43) = [], pi(U41) = [], pi(U42) = [], pi(isQid) = [], pi(U33) = [], pi(U31) = [], pi(U32) = [], pi(U26) = [], pi(isList) = [], pi(U25) = [], pi(U24) = [], pi(U23) = [], pi(U21) = [], pi(U22) = [], pi(isNeList) = [], pi(U13) = [], pi(tt) = [], pi(U11) = [], pi(activate) = 0, pi(isPalListKind) = [], pi(U12) = [], pi(nil) = [], pi(__) = [0,1] Usable Rules: {} Interpretation: [n____](x0, x1) = x0 + x1 + 1 Strict: { U72#(tt(), P) -> isPal#(activate(P)), U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> isNePal#(activate(V)), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} EDG: {(isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)), U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V))) (U81#(tt(), V) -> U82#(isPalListKind(activate(V)), activate(V)), U82#(tt(), V) -> isNePal#(activate(V))) (U71#(tt(), I, P) -> U72#(isPalListKind(activate(I)), activate(P)), U72#(tt(), P) -> isPal#(activate(P))) (U72#(tt(), P) -> isPal#(activate(P)), isPal#(V) -> U81#(isPalListKind(activate(V)), activate(V)))} SCCS: Qed SCC: Strict: {activate#(n____(X1, X2)) -> activate#(X1), activate#(n____(X1, X2)) -> activate#(X2)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} SPSC: Simple Projection: pi(activate#) = 0 Strict: {activate#(n____(X1, X2)) -> activate#(X2)} EDG: {(activate#(n____(X1, X2)) -> activate#(X2), activate#(n____(X1, X2)) -> activate#(X2))} SCCS: Scc: {activate#(n____(X1, X2)) -> activate#(X2)} SCC: Strict: {activate#(n____(X1, X2)) -> activate#(X2)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} SPSC: Simple Projection: pi(activate#) = 0 Strict: {} Qed SCC: Strict: {isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2)), U91#(tt(), V2) -> isPalListKind#(activate(V2))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} POLY: Argument Filtering: pi(u) = [], pi(o) = [], pi(i) = [], pi(e) = [], pi(a) = [], pi(n__u) = [], pi(n__o) = [], pi(n__i) = [], pi(n__e) = [], pi(n__a) = [], pi(n____) = [0,1], pi(n__nil) = [], pi(U91#) = [0,1], pi(U91) = [0,1], pi(U92) = [], pi(isNePal) = [], pi(U83) = [], pi(U81) = [], pi(U82) = [], pi(U74) = [], pi(isPal) = [], pi(U73) = [], pi(U71) = [], pi(U72) = [], pi(U63) = [], pi(U61) = [], pi(U62) = [], pi(U56) = [], pi(U55) = [], pi(U54) = [], pi(U53) = [], pi(U51) = [], pi(U52) = [], pi(U46) = [], pi(U45) = [], pi(U44) = [], pi(U43) = [], pi(U41) = [], pi(U42) = [], pi(isQid) = [], pi(U33) = [], pi(U31) = [], pi(U32) = [], pi(U26) = [], pi(isList) = [], pi(U25) = [], pi(U24) = [], pi(U23) = [], pi(U21) = [], pi(U22) = [], pi(isNeList) = [], pi(U13) = [], pi(tt) = [], pi(U11) = [], pi(activate) = 0, pi(isPalListKind#) = 0, pi(isPalListKind) = 0, pi(U12) = [], pi(nil) = [], pi(__) = [0,1] Usable Rules: {} Interpretation: [U91#](x0, x1) = x0 + x1, [n____](x0, x1) = x0 + x1, [tt] = 1 Strict: {isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} EDG: {(isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> U91#(isPalListKind(activate(V1)), activate(V2))) (isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)), isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1)))} SCCS: Scc: {isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))} SCC: Strict: {isPalListKind#(n____(V1, V2)) -> isPalListKind#(activate(V1))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} POLY: Argument Filtering: pi(u) = [], pi(o) = [], pi(i) = [], pi(e) = [], pi(a) = [], pi(n__u) = [], pi(n__o) = [], pi(n__i) = [], pi(n__e) = [], pi(n__a) = [], pi(n____) = [0,1], pi(n__nil) = [], pi(U91) = [], pi(U92) = [], pi(isNePal) = [], pi(U83) = [], pi(U81) = [], pi(U82) = [], pi(U74) = [], pi(isPal) = [], pi(U73) = [], pi(U71) = [], pi(U72) = [], pi(U63) = [], pi(U61) = [], pi(U62) = [], pi(U56) = [], pi(U55) = [], pi(U54) = [], pi(U53) = [], pi(U51) = [], pi(U52) = [], pi(U46) = [], pi(U45) = [], pi(U44) = [], pi(U43) = [], pi(U41) = [], pi(U42) = [], pi(isQid) = [], pi(U33) = [], pi(U31) = [], pi(U32) = [], pi(U26) = [], pi(isList) = [], pi(U25) = [], pi(U24) = [], pi(U23) = [], pi(U21) = [], pi(U22) = [], pi(isNeList) = [], pi(U13) = [], pi(tt) = [], pi(U11) = [], pi(activate) = 0, pi(isPalListKind#) = 0, pi(isPalListKind) = [], pi(U12) = [], pi(nil) = [], pi(__) = [0,1] Usable Rules: {} Interpretation: [n____](x0, x1) = x0 + x1 + 1 Strict: {} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} Qed SCC: Strict: { U12#(tt(), V) -> isNeList#(activate(V)), U11#(tt(), V) -> U12#(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)), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), 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)), U24#(tt(), V1, V2) -> isList#(activate(V1)), U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), isList#(n____(V1, V2)) -> U21#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> isList#(activate(V1)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> isNeList#(activate(V2)), U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> isNeList#(activate(V1)), U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> isList#(activate(V2))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} POLY: Argument Filtering: pi(u) = [], pi(o) = [], pi(i) = [], pi(e) = [], pi(a) = [], pi(n__u) = [], pi(n__o) = [], pi(n__i) = [], pi(n__e) = [], pi(n__a) = [], pi(n____) = [0,1], pi(n__nil) = [], pi(U91) = [], pi(U92) = [], pi(isNePal) = [], pi(U83) = [], pi(U81) = [], pi(U82) = [], pi(U74) = [], pi(isPal) = [], pi(U73) = [], pi(U71) = [], pi(U72) = [], pi(U63) = [], pi(U61) = [], pi(U62) = [], pi(U56) = [], pi(U55#) = [1], pi(U55) = [], pi(U54#) = [1,2], pi(U54) = [], pi(U53#) = [1,2], pi(U53) = [], pi(U51#) = [1,2], pi(U51) = [], pi(U52#) = [1,2], pi(U52) = [], pi(U46) = [], pi(U45#) = [1], pi(U45) = [], pi(U44#) = [1,2], pi(U44) = [], pi(U43#) = [1,2], pi(U43) = [], pi(U41#) = [1,2], pi(U41) = [], pi(U42#) = [1,2], pi(U42) = [], pi(isQid) = [], pi(U33) = [], pi(U31) = [], pi(U32) = [], pi(U26) = [], pi(isList#) = [0], pi(isList) = [], pi(U25#) = [1], pi(U25) = [], pi(U24#) = [1,2], pi(U24) = [], pi(U23#) = [1,2], pi(U23) = [], pi(U21#) = [1,2], pi(U21) = [], pi(U22#) = [1,2], pi(U22) = [], pi(isNeList#) = [0], pi(isNeList) = [], pi(U13) = [], pi(tt) = [], pi(U11#) = [1], pi(U11) = [], pi(activate) = 0, pi(isPalListKind) = [], pi(U12#) = [1], pi(U12) = [], pi(nil) = [], pi(__) = [0,1] Usable Rules: {} Interpretation: [U54#](x0, x1) = x0 + x1 + 1, [U53#](x0, x1) = x0 + x1 + 1, [U51#](x0, x1) = x0 + x1 + 1, [U52#](x0, x1) = x0 + x1 + 1, [U44#](x0, x1) = x0 + x1 + 1, [U43#](x0, x1) = x0 + x1 + 1, [U41#](x0, x1) = x0 + x1 + 1, [U42#](x0, x1) = x0 + x1 + 1, [U24#](x0, x1) = x0 + x1 + 1, [U23#](x0, x1) = x0 + x1 + 1, [U21#](x0, x1) = x0 + x1 + 1, [U22#](x0, x1) = x0 + x1 + 1, [U55#](x0) = x0 + 1, [U45#](x0) = x0 + 1, [U25#](x0) = x0 + 1, [U11#](x0) = x0 + 1, [U12#](x0) = x0 + 1, [isList#](x0) = x0 + 1, [isNeList#](x0) = x0 + 1, [n____](x0, x1) = x0 + x1 + 1 Strict: { U12#(tt(), V) -> isNeList#(activate(V)), U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), 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)), U24#(tt(), V1, V2) -> isList#(activate(V1)), U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), U42#(tt(), V1, V2) -> U43#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> isList#(activate(V1)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> isNeList#(activate(V2)), U52#(tt(), V1, V2) -> U53#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51#(tt(), V1, V2) -> U52#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> isNeList#(activate(V1)), U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> isList#(activate(V2))} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} EDG: {(U24#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V)), U12#(tt(), V) -> isNeList#(activate(V))) (isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)), U11#(tt(), V) -> U12#(isPalListKind(activate(V)), activate(V))) (U54#(tt(), V1, V2) -> U55#(isNeList(activate(V1)), activate(V2)), U55#(tt(), V2) -> isList#(activate(V2))) (U21#(tt(), V1, V2) -> U22#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), 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))) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2))) (U43#(tt(), V1, V2) -> U44#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U44#(tt(), V1, V2) -> isList#(activate(V1))) (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) -> isNeList#(activate(V1))) (U53#(tt(), V1, V2) -> U54#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U54#(tt(), V1, V2) -> U55#(isNeList(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))) (U41#(tt(), V1, V2) -> U42#(isPalListKind(activate(V1)), activate(V1), activate(V2)), U42#(tt(), V1, V2) -> U43#(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))) (U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U24#(tt(), V1, V2) -> isList#(activate(V1))) (U22#(tt(), V1, V2) -> U23#(isPalListKind(activate(V2)), activate(V1), activate(V2)), U23#(tt(), V1, V2) -> U24#(isPalListKind(activate(V2)), activate(V1), activate(V2))) (U44#(tt(), V1, V2) -> U45#(isList(activate(V1)), activate(V2)), U45#(tt(), V2) -> isNeList#(activate(V2))) (U24#(tt(), V1, V2) -> U25#(isList(activate(V1)), activate(V2)), U25#(tt(), V2) -> isList#(activate(V2))) (U44#(tt(), V1, V2) -> isList#(activate(V1)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U55#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V))) (U25#(tt(), V2) -> isList#(activate(V2)), isList#(V) -> U11#(isPalListKind(activate(V)), activate(V)))} SCCS: Qed SCC: Strict: {__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} SPSC: Simple Projection: pi(__#) = 0 Strict: {__#(__(X, Y), Z) -> __#(Y, Z)} EDG: {(__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))} SCCS: Scc: {__#(__(X, Y), Z) -> __#(Y, Z)} SCC: Strict: {__#(__(X, Y), Z) -> __#(Y, Z)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U12(tt(), V) -> U13(isNeList(activate(V))), isPalListKind(n__nil()) -> tt(), isPalListKind(n____(V1, V2)) -> U91(isPalListKind(activate(V1)), activate(V2)), isPalListKind(n__a()) -> tt(), isPalListKind(n__e()) -> tt(), isPalListKind(n__i()) -> tt(), isPalListKind(n__o()) -> tt(), isPalListKind(n__u()) -> tt(), activate(X) -> X, activate(n__nil()) -> nil(), activate(n____(X1, X2)) -> __(activate(X1), activate(X2)), activate(n__a()) -> a(), activate(n__e()) -> e(), activate(n__i()) -> i(), activate(n__o()) -> o(), activate(n__u()) -> u(), U11(tt(), V) -> U12(isPalListKind(activate(V)), activate(V)), U13(tt()) -> tt(), 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)), U22(tt(), V1, V2) -> U23(isPalListKind(activate(V2)), activate(V1), activate(V2)), U21(tt(), V1, V2) -> U22(isPalListKind(activate(V1)), 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))), isList(V) -> U11(isPalListKind(activate(V)), activate(V)), isList(n__nil()) -> tt(), isList(n____(V1, V2)) -> U21(isPalListKind(activate(V1)), activate(V1), activate(V2)), U26(tt()) -> tt(), U32(tt(), V) -> U33(isQid(activate(V))), U31(tt(), V) -> U32(isPalListKind(activate(V)), activate(V)), U33(tt()) -> tt(), isQid(n__a()) -> tt(), isQid(n__e()) -> tt(), isQid(n__i()) -> tt(), isQid(n__o()) -> tt(), isQid(n__u()) -> tt(), U42(tt(), V1, V2) -> U43(isPalListKind(activate(V2)), activate(V1), activate(V2)), U41(tt(), V1, V2) -> U42(isPalListKind(activate(V1)), 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(), U52(tt(), V1, V2) -> U53(isPalListKind(activate(V2)), activate(V1), activate(V2)), U51(tt(), V1, V2) -> U52(isPalListKind(activate(V1)), 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(), U62(tt(), V) -> U63(isQid(activate(V))), U61(tt(), V) -> U62(isPalListKind(activate(V)), activate(V)), U63(tt()) -> tt(), U72(tt(), P) -> U73(isPal(activate(P)), activate(P)), U71(tt(), I, P) -> U72(isPalListKind(activate(I)), activate(P)), U73(tt(), P) -> U74(isPalListKind(activate(P))), isPal(V) -> U81(isPalListKind(activate(V)), activate(V)), isPal(n__nil()) -> tt(), U74(tt()) -> tt(), U82(tt(), V) -> U83(isNePal(activate(V))), U81(tt(), V) -> U82(isPalListKind(activate(V)), activate(V)), U83(tt()) -> tt(), isNePal(V) -> U61(isPalListKind(activate(V)), activate(V)), isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(I), activate(P)), U92(tt()) -> tt(), U91(tt(), V2) -> U92(isPalListKind(activate(V2))), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} SPSC: Simple Projection: pi(__#) = 0 Strict: {} Qed