ceta_eq: termination proof not accepted
1: error below switch to dependency pairs
1.1: error below the dependency graph processor
 1.1.1: error below the reduction pair processor
  1.1.1.1: error when applying the reduction pair processor to remove from the DP problem
   pairs:
   
   active#(U11(tt, V)) -> mark#(U12(isPalListKind(V), V))
   active#(U12(tt, V)) -> mark#(U13(isNeList(V)))
   active#(U21(tt, V1, V2)) -> mark#(U22(isPalListKind(V1), V1, V2))
   active#(U22(tt, V1, V2)) -> mark#(U23(isPalListKind(V2), V1, V2))
   active#(U23(tt, V1, V2)) -> mark#(U24(isPalListKind(V2), V1, V2))
   active#(U24(tt, V1, V2)) -> mark#(U25(isList(V1), V2))
   active#(U25(tt, V2)) -> mark#(U26(isList(V2)))
   active#(U31(tt, V)) -> mark#(U32(isPalListKind(V), V))
   active#(U32(tt, V)) -> mark#(U33(isQid(V)))
   active#(U41(tt, V1, V2)) -> mark#(U42(isPalListKind(V1), V1, V2))
   active#(U42(tt, V1, V2)) -> mark#(U43(isPalListKind(V2), V1, V2))
   active#(U43(tt, V1, V2)) -> mark#(U44(isPalListKind(V2), V1, V2))
   active#(U44(tt, V1, V2)) -> mark#(U45(isList(V1), V2))
   active#(U45(tt, V2)) -> mark#(U46(isNeList(V2)))
   active#(U51(tt, V1, V2)) -> mark#(U52(isPalListKind(V1), V1, V2))
   active#(U52(tt, V1, V2)) -> mark#(U53(isPalListKind(V2), V1, V2))
   active#(U53(tt, V1, V2)) -> mark#(U54(isPalListKind(V2), V1, V2))
   active#(U54(tt, V1, V2)) -> mark#(U55(isNeList(V1), V2))
   active#(U55(tt, V2)) -> mark#(U56(isList(V2)))
   active#(U61(tt, V)) -> mark#(U62(isPalListKind(V), V))
   active#(U62(tt, V)) -> mark#(U63(isQid(V)))
   active#(U71(tt, I, P)) -> mark#(U72(isPalListKind(I), P))
   active#(U72(tt, P)) -> mark#(U73(isPal(P), P))
   active#(U73(tt, P)) -> mark#(U74(isPalListKind(P)))
   active#(U81(tt, V)) -> mark#(U82(isPalListKind(V), V))
   active#(U82(tt, V)) -> mark#(U83(isNePal(V)))
   active#(U91(tt, V2)) -> mark#(U92(isPalListKind(V2)))
   active#(isList(V)) -> mark#(U11(isPalListKind(V), V))
   active#(isList(__(V1, V2))) -> mark#(U21(isPalListKind(V1), V1, V2))
   active#(isNeList(V)) -> mark#(U31(isPalListKind(V), V))
   active#(isNeList(__(V1, V2))) -> mark#(U41(isPalListKind(V1), V1, V2))
   active#(isNeList(__(V1, V2))) -> mark#(U51(isPalListKind(V1), V1, V2))
   active#(isNePal(V)) -> mark#(U61(isPalListKind(V), V))
   active#(isNePal(__(I, __(P, I)))) -> mark#(U71(isQid(I), I, P))
   active#(isPal(V)) -> mark#(U81(isPalListKind(V), V))
   active#(isPalListKind(__(V1, V2))) -> mark#(U91(isPalListKind(V1), V2))
   mark#(__(X1, X2)) -> active#(__(mark(X1), mark(X2)))
   mark#(U11(X1, X2)) -> active#(U11(mark(X1), X2))
   mark#(U11(X1, X2)) -> mark#(X1)
   mark#(U12(X1, X2)) -> active#(U12(mark(X1), X2))
   mark#(U12(X1, X2)) -> mark#(X1)
   mark#(isPalListKind(X)) -> active#(isPalListKind(X))
   mark#(U13(X)) -> active#(U13(mark(X)))
   mark#(U13(X)) -> mark#(X)
   mark#(isNeList(X)) -> active#(isNeList(X))
   mark#(U21(X1, X2, X3)) -> active#(U21(mark(X1), X2, X3))
   mark#(U21(X1, X2, X3)) -> mark#(X1)
   mark#(U22(X1, X2, X3)) -> active#(U22(mark(X1), X2, X3))
   mark#(U22(X1, X2, X3)) -> mark#(X1)
   mark#(U23(X1, X2, X3)) -> active#(U23(mark(X1), X2, X3))
   mark#(U23(X1, X2, X3)) -> mark#(X1)
   mark#(U24(X1, X2, X3)) -> active#(U24(mark(X1), X2, X3))
   mark#(U24(X1, X2, X3)) -> mark#(X1)
   mark#(U25(X1, X2)) -> active#(U25(mark(X1), X2))
   mark#(U25(X1, X2)) -> mark#(X1)
   mark#(isList(X)) -> active#(isList(X))
   mark#(U26(X)) -> active#(U26(mark(X)))
   mark#(U26(X)) -> mark#(X)
   mark#(U31(X1, X2)) -> active#(U31(mark(X1), X2))
   mark#(U31(X1, X2)) -> mark#(X1)
   mark#(U32(X1, X2)) -> active#(U32(mark(X1), X2))
   mark#(U32(X1, X2)) -> mark#(X1)
   mark#(U33(X)) -> active#(U33(mark(X)))
   mark#(U33(X)) -> mark#(X)
   mark#(isQid(X)) -> active#(isQid(X))
   mark#(U41(X1, X2, X3)) -> active#(U41(mark(X1), X2, X3))
   mark#(U41(X1, X2, X3)) -> mark#(X1)
   mark#(U42(X1, X2, X3)) -> active#(U42(mark(X1), X2, X3))
   mark#(U42(X1, X2, X3)) -> mark#(X1)
   mark#(U43(X1, X2, X3)) -> active#(U43(mark(X1), X2, X3))
   mark#(U43(X1, X2, X3)) -> mark#(X1)
   mark#(U44(X1, X2, X3)) -> active#(U44(mark(X1), X2, X3))
   mark#(U44(X1, X2, X3)) -> mark#(X1)
   mark#(U45(X1, X2)) -> active#(U45(mark(X1), X2))
   mark#(U45(X1, X2)) -> mark#(X1)
   mark#(U46(X)) -> active#(U46(mark(X)))
   mark#(U46(X)) -> mark#(X)
   mark#(U51(X1, X2, X3)) -> active#(U51(mark(X1), X2, X3))
   mark#(U51(X1, X2, X3)) -> mark#(X1)
   mark#(U52(X1, X2, X3)) -> active#(U52(mark(X1), X2, X3))
   mark#(U52(X1, X2, X3)) -> mark#(X1)
   mark#(U53(X1, X2, X3)) -> active#(U53(mark(X1), X2, X3))
   mark#(U53(X1, X2, X3)) -> mark#(X1)
   mark#(U54(X1, X2, X3)) -> active#(U54(mark(X1), X2, X3))
   mark#(U54(X1, X2, X3)) -> mark#(X1)
   mark#(U55(X1, X2)) -> active#(U55(mark(X1), X2))
   mark#(U55(X1, X2)) -> mark#(X1)
   mark#(U56(X)) -> active#(U56(mark(X)))
   mark#(U56(X)) -> mark#(X)
   mark#(U61(X1, X2)) -> active#(U61(mark(X1), X2))
   mark#(U61(X1, X2)) -> mark#(X1)
   mark#(U62(X1, X2)) -> active#(U62(mark(X1), X2))
   mark#(U62(X1, X2)) -> mark#(X1)
   mark#(U63(X)) -> active#(U63(mark(X)))
   mark#(U63(X)) -> mark#(X)
   mark#(U71(X1, X2, X3)) -> active#(U71(mark(X1), X2, X3))
   mark#(U71(X1, X2, X3)) -> mark#(X1)
   mark#(U72(X1, X2)) -> active#(U72(mark(X1), X2))
   mark#(U72(X1, X2)) -> mark#(X1)
   mark#(U73(X1, X2)) -> active#(U73(mark(X1), X2))
   mark#(U73(X1, X2)) -> mark#(X1)
   mark#(isPal(X)) -> active#(isPal(X))
   mark#(U74(X)) -> active#(U74(mark(X)))
   mark#(U74(X)) -> mark#(X)
   mark#(U81(X1, X2)) -> active#(U81(mark(X1), X2))
   mark#(U81(X1, X2)) -> mark#(X1)
   mark#(U82(X1, X2)) -> active#(U82(mark(X1), X2))
   mark#(U82(X1, X2)) -> mark#(X1)
   mark#(U83(X)) -> active#(U83(mark(X)))
   mark#(U83(X)) -> mark#(X)
   mark#(isNePal(X)) -> active#(isNePal(X))
   mark#(U91(X1, X2)) -> active#(U91(mark(X1), X2))
   mark#(U91(X1, X2)) -> mark#(X1)
   mark#(U92(X)) -> active#(U92(mark(X)))
   mark#(U92(X)) -> mark#(X)
   rules:
   
   U11(mark(X1), X2) -> U11(X1, X2)
   U11(X1, mark(X2)) -> U11(X1, X2)
   U11(active(X1), X2) -> U11(X1, X2)
   U11(X1, active(X2)) -> U11(X1, X2)
   U12(mark(X1), X2) -> U12(X1, X2)
   U12(X1, mark(X2)) -> U12(X1, X2)
   U12(active(X1), X2) -> U12(X1, X2)
   U12(X1, active(X2)) -> U12(X1, X2)
   U13(mark(X)) -> U13(X)
   U13(active(X)) -> U13(X)
   U21(mark(X1), X2, X3) -> U21(X1, X2, X3)
   U21(X1, mark(X2), X3) -> U21(X1, X2, X3)
   U21(X1, X2, mark(X3)) -> U21(X1, X2, X3)
   U21(active(X1), X2, X3) -> U21(X1, X2, X3)
   U21(X1, active(X2), X3) -> U21(X1, X2, X3)
   U21(X1, X2, active(X3)) -> U21(X1, X2, X3)
   U22(mark(X1), X2, X3) -> U22(X1, X2, X3)
   U22(X1, mark(X2), X3) -> U22(X1, X2, X3)
   U22(X1, X2, mark(X3)) -> U22(X1, X2, X3)
   U22(active(X1), X2, X3) -> U22(X1, X2, X3)
   U22(X1, active(X2), X3) -> U22(X1, X2, X3)
   U22(X1, X2, active(X3)) -> U22(X1, X2, X3)
   U23(mark(X1), X2, X3) -> U23(X1, X2, X3)
   U23(X1, mark(X2), X3) -> U23(X1, X2, X3)
   U23(X1, X2, mark(X3)) -> U23(X1, X2, X3)
   U23(active(X1), X2, X3) -> U23(X1, X2, X3)
   U23(X1, active(X2), X3) -> U23(X1, X2, X3)
   U23(X1, X2, active(X3)) -> U23(X1, X2, X3)
   U24(mark(X1), X2, X3) -> U24(X1, X2, X3)
   U24(X1, mark(X2), X3) -> U24(X1, X2, X3)
   U24(X1, X2, mark(X3)) -> U24(X1, X2, X3)
   U24(active(X1), X2, X3) -> U24(X1, X2, X3)
   U24(X1, active(X2), X3) -> U24(X1, X2, X3)
   U24(X1, X2, active(X3)) -> U24(X1, X2, X3)
   U25(mark(X1), X2) -> U25(X1, X2)
   U25(X1, mark(X2)) -> U25(X1, X2)
   U25(active(X1), X2) -> U25(X1, X2)
   U25(X1, active(X2)) -> U25(X1, X2)
   U26(mark(X)) -> U26(X)
   U26(active(X)) -> U26(X)
   U31(mark(X1), X2) -> U31(X1, X2)
   U31(X1, mark(X2)) -> U31(X1, X2)
   U31(active(X1), X2) -> U31(X1, X2)
   U31(X1, active(X2)) -> U31(X1, X2)
   U32(mark(X1), X2) -> U32(X1, X2)
   U32(X1, mark(X2)) -> U32(X1, X2)
   U32(active(X1), X2) -> U32(X1, X2)
   U32(X1, active(X2)) -> U32(X1, X2)
   U33(mark(X)) -> U33(X)
   U33(active(X)) -> U33(X)
   U41(mark(X1), X2, X3) -> U41(X1, X2, X3)
   U41(X1, mark(X2), X3) -> U41(X1, X2, X3)
   U41(X1, X2, mark(X3)) -> U41(X1, X2, X3)
   U41(active(X1), X2, X3) -> U41(X1, X2, X3)
   U41(X1, active(X2), X3) -> U41(X1, X2, X3)
   U41(X1, X2, active(X3)) -> U41(X1, X2, X3)
   U42(mark(X1), X2, X3) -> U42(X1, X2, X3)
   U42(X1, mark(X2), X3) -> U42(X1, X2, X3)
   U42(X1, X2, mark(X3)) -> U42(X1, X2, X3)
   U42(active(X1), X2, X3) -> U42(X1, X2, X3)
   U42(X1, active(X2), X3) -> U42(X1, X2, X3)
   U42(X1, X2, active(X3)) -> U42(X1, X2, X3)
   U43(mark(X1), X2, X3) -> U43(X1, X2, X3)
   U43(X1, mark(X2), X3) -> U43(X1, X2, X3)
   U43(X1, X2, mark(X3)) -> U43(X1, X2, X3)
   U43(active(X1), X2, X3) -> U43(X1, X2, X3)
   U43(X1, active(X2), X3) -> U43(X1, X2, X3)
   U43(X1, X2, active(X3)) -> U43(X1, X2, X3)
   U44(mark(X1), X2, X3) -> U44(X1, X2, X3)
   U44(X1, mark(X2), X3) -> U44(X1, X2, X3)
   U44(X1, X2, mark(X3)) -> U44(X1, X2, X3)
   U44(active(X1), X2, X3) -> U44(X1, X2, X3)
   U44(X1, active(X2), X3) -> U44(X1, X2, X3)
   U44(X1, X2, active(X3)) -> U44(X1, X2, X3)
   U45(mark(X1), X2) -> U45(X1, X2)
   U45(X1, mark(X2)) -> U45(X1, X2)
   U45(active(X1), X2) -> U45(X1, X2)
   U45(X1, active(X2)) -> U45(X1, X2)
   U46(mark(X)) -> U46(X)
   U46(active(X)) -> U46(X)
   U51(mark(X1), X2, X3) -> U51(X1, X2, X3)
   U51(X1, mark(X2), X3) -> U51(X1, X2, X3)
   U51(X1, X2, mark(X3)) -> U51(X1, X2, X3)
   U51(active(X1), X2, X3) -> U51(X1, X2, X3)
   U51(X1, active(X2), X3) -> U51(X1, X2, X3)
   U51(X1, X2, active(X3)) -> U51(X1, X2, X3)
   U52(mark(X1), X2, X3) -> U52(X1, X2, X3)
   U52(X1, mark(X2), X3) -> U52(X1, X2, X3)
   U52(X1, X2, mark(X3)) -> U52(X1, X2, X3)
   U52(active(X1), X2, X3) -> U52(X1, X2, X3)
   U52(X1, active(X2), X3) -> U52(X1, X2, X3)
   U52(X1, X2, active(X3)) -> U52(X1, X2, X3)
   U53(mark(X1), X2, X3) -> U53(X1, X2, X3)
   U53(X1, mark(X2), X3) -> U53(X1, X2, X3)
   U53(X1, X2, mark(X3)) -> U53(X1, X2, X3)
   U53(active(X1), X2, X3) -> U53(X1, X2, X3)
   U53(X1, active(X2), X3) -> U53(X1, X2, X3)
   U53(X1, X2, active(X3)) -> U53(X1, X2, X3)
   U54(mark(X1), X2, X3) -> U54(X1, X2, X3)
   U54(X1, mark(X2), X3) -> U54(X1, X2, X3)
   U54(X1, X2, mark(X3)) -> U54(X1, X2, X3)
   U54(active(X1), X2, X3) -> U54(X1, X2, X3)
   U54(X1, active(X2), X3) -> U54(X1, X2, X3)
   U54(X1, X2, active(X3)) -> U54(X1, X2, X3)
   U55(mark(X1), X2) -> U55(X1, X2)
   U55(X1, mark(X2)) -> U55(X1, X2)
   U55(active(X1), X2) -> U55(X1, X2)
   U55(X1, active(X2)) -> U55(X1, X2)
   U56(mark(X)) -> U56(X)
   U56(active(X)) -> U56(X)
   U61(mark(X1), X2) -> U61(X1, X2)
   U61(X1, mark(X2)) -> U61(X1, X2)
   U61(active(X1), X2) -> U61(X1, X2)
   U61(X1, active(X2)) -> U61(X1, X2)
   U62(mark(X1), X2) -> U62(X1, X2)
   U62(X1, mark(X2)) -> U62(X1, X2)
   U62(active(X1), X2) -> U62(X1, X2)
   U62(X1, active(X2)) -> U62(X1, X2)
   U63(mark(X)) -> U63(X)
   U63(active(X)) -> U63(X)
   U71(mark(X1), X2, X3) -> U71(X1, X2, X3)
   U71(X1, mark(X2), X3) -> U71(X1, X2, X3)
   U71(X1, X2, mark(X3)) -> U71(X1, X2, X3)
   U71(active(X1), X2, X3) -> U71(X1, X2, X3)
   U71(X1, active(X2), X3) -> U71(X1, X2, X3)
   U71(X1, X2, active(X3)) -> U71(X1, X2, X3)
   U72(mark(X1), X2) -> U72(X1, X2)
   U72(X1, mark(X2)) -> U72(X1, X2)
   U72(active(X1), X2) -> U72(X1, X2)
   U72(X1, active(X2)) -> U72(X1, X2)
   U73(mark(X1), X2) -> U73(X1, X2)
   U73(X1, mark(X2)) -> U73(X1, X2)
   U73(active(X1), X2) -> U73(X1, X2)
   U73(X1, active(X2)) -> U73(X1, X2)
   U74(mark(X)) -> U74(X)
   U74(active(X)) -> U74(X)
   U81(mark(X1), X2) -> U81(X1, X2)
   U81(X1, mark(X2)) -> U81(X1, X2)
   U81(active(X1), X2) -> U81(X1, X2)
   U81(X1, active(X2)) -> U81(X1, X2)
   U82(mark(X1), X2) -> U82(X1, X2)
   U82(X1, mark(X2)) -> U82(X1, X2)
   U82(active(X1), X2) -> U82(X1, X2)
   U82(X1, active(X2)) -> U82(X1, X2)
   U83(mark(X)) -> U83(X)
   U83(active(X)) -> U83(X)
   U91(mark(X1), X2) -> U91(X1, X2)
   U91(X1, mark(X2)) -> U91(X1, X2)
   U91(active(X1), X2) -> U91(X1, X2)
   U91(X1, active(X2)) -> U91(X1, X2)
   U92(mark(X)) -> U92(X)
   U92(active(X)) -> U92(X)
   __(mark(X1), X2) -> __(X1, X2)
   __(X1, mark(X2)) -> __(X1, X2)
   __(active(X1), X2) -> __(X1, X2)
   __(X1, active(X2)) -> __(X1, X2)
   active(__(__(X, Y), Z)) -> mark(__(X, __(Y, Z)))
   active(__(X, nil)) -> mark(X)
   active(__(nil, X)) -> mark(X)
   active(U11(tt, V)) -> mark(U12(isPalListKind(V), V))
   active(U12(tt, V)) -> mark(U13(isNeList(V)))
   active(U13(tt)) -> mark(tt)
   active(U21(tt, V1, V2)) -> mark(U22(isPalListKind(V1), V1, V2))
   active(U22(tt, V1, V2)) -> mark(U23(isPalListKind(V2), V1, V2))
   active(U23(tt, V1, V2)) -> mark(U24(isPalListKind(V2), V1, V2))
   active(U24(tt, V1, V2)) -> mark(U25(isList(V1), V2))
   active(U25(tt, V2)) -> mark(U26(isList(V2)))
   active(U26(tt)) -> mark(tt)
   active(U31(tt, V)) -> mark(U32(isPalListKind(V), V))
   active(U32(tt, V)) -> mark(U33(isQid(V)))
   active(U33(tt)) -> mark(tt)
   active(U41(tt, V1, V2)) -> mark(U42(isPalListKind(V1), V1, V2))
   active(U42(tt, V1, V2)) -> mark(U43(isPalListKind(V2), V1, V2))
   active(U43(tt, V1, V2)) -> mark(U44(isPalListKind(V2), V1, V2))
   active(U44(tt, V1, V2)) -> mark(U45(isList(V1), V2))
   active(U45(tt, V2)) -> mark(U46(isNeList(V2)))
   active(U46(tt)) -> mark(tt)
   active(U51(tt, V1, V2)) -> mark(U52(isPalListKind(V1), V1, V2))
   active(U52(tt, V1, V2)) -> mark(U53(isPalListKind(V2), V1, V2))
   active(U53(tt, V1, V2)) -> mark(U54(isPalListKind(V2), V1, V2))
   active(U54(tt, V1, V2)) -> mark(U55(isNeList(V1), V2))
   active(U55(tt, V2)) -> mark(U56(isList(V2)))
   active(U56(tt)) -> mark(tt)
   active(U61(tt, V)) -> mark(U62(isPalListKind(V), V))
   active(U62(tt, V)) -> mark(U63(isQid(V)))
   active(U63(tt)) -> mark(tt)
   active(U71(tt, I, P)) -> mark(U72(isPalListKind(I), P))
   active(U72(tt, P)) -> mark(U73(isPal(P), P))
   active(U73(tt, P)) -> mark(U74(isPalListKind(P)))
   active(U74(tt)) -> mark(tt)
   active(U81(tt, V)) -> mark(U82(isPalListKind(V), V))
   active(U82(tt, V)) -> mark(U83(isNePal(V)))
   active(U83(tt)) -> mark(tt)
   active(U91(tt, V2)) -> mark(U92(isPalListKind(V2)))
   active(U92(tt)) -> mark(tt)
   active(isList(V)) -> mark(U11(isPalListKind(V), V))
   active(isList(nil)) -> mark(tt)
   active(isList(__(V1, V2))) -> mark(U21(isPalListKind(V1), V1, V2))
   active(isNeList(V)) -> mark(U31(isPalListKind(V), V))
   active(isNeList(__(V1, V2))) -> mark(U41(isPalListKind(V1), V1, V2))
   active(isNeList(__(V1, V2))) -> mark(U51(isPalListKind(V1), V1, V2))
   active(isNePal(V)) -> mark(U61(isPalListKind(V), V))
   active(isNePal(__(I, __(P, I)))) -> mark(U71(isQid(I), I, P))
   active(isPal(V)) -> mark(U81(isPalListKind(V), V))
   active(isPal(nil)) -> mark(tt)
   active(isPalListKind(a)) -> mark(tt)
   active(isPalListKind(e)) -> mark(tt)
   active(isPalListKind(i)) -> mark(tt)
   active(isPalListKind(nil)) -> mark(tt)
   active(isPalListKind(o)) -> mark(tt)
   active(isPalListKind(u)) -> mark(tt)
   active(isPalListKind(__(V1, V2))) -> mark(U91(isPalListKind(V1), V2))
   active(isQid(a)) -> mark(tt)
   active(isQid(e)) -> mark(tt)
   active(isQid(i)) -> mark(tt)
   active(isQid(o)) -> mark(tt)
   active(isQid(u)) -> mark(tt)
   isList(mark(X)) -> isList(X)
   isList(active(X)) -> isList(X)
   isNeList(mark(X)) -> isNeList(X)
   isNeList(active(X)) -> isNeList(X)
   isNePal(mark(X)) -> isNePal(X)
   isNePal(active(X)) -> isNePal(X)
   isPal(mark(X)) -> isPal(X)
   isPal(active(X)) -> isPal(X)
   isPalListKind(mark(X)) -> isPalListKind(X)
   isPalListKind(active(X)) -> isPalListKind(X)
   isQid(mark(X)) -> isQid(X)
   isQid(active(X)) -> isQid(X)
   mark(__(X1, X2)) -> active(__(mark(X1), mark(X2)))
   mark(nil) -> active(nil)
   mark(U11(X1, X2)) -> active(U11(mark(X1), X2))
   mark(tt) -> active(tt)
   mark(U12(X1, X2)) -> active(U12(mark(X1), X2))
   mark(isPalListKind(X)) -> active(isPalListKind(X))
   mark(U13(X)) -> active(U13(mark(X)))
   mark(isNeList(X)) -> active(isNeList(X))
   mark(U21(X1, X2, X3)) -> active(U21(mark(X1), X2, X3))
   mark(U22(X1, X2, X3)) -> active(U22(mark(X1), X2, X3))
   mark(U23(X1, X2, X3)) -> active(U23(mark(X1), X2, X3))
   mark(U24(X1, X2, X3)) -> active(U24(mark(X1), X2, X3))
   mark(U25(X1, X2)) -> active(U25(mark(X1), X2))
   mark(isList(X)) -> active(isList(X))
   mark(U26(X)) -> active(U26(mark(X)))
   mark(U31(X1, X2)) -> active(U31(mark(X1), X2))
   mark(U32(X1, X2)) -> active(U32(mark(X1), X2))
   mark(U33(X)) -> active(U33(mark(X)))
   mark(isQid(X)) -> active(isQid(X))
   mark(U41(X1, X2, X3)) -> active(U41(mark(X1), X2, X3))
   mark(U42(X1, X2, X3)) -> active(U42(mark(X1), X2, X3))
   mark(U43(X1, X2, X3)) -> active(U43(mark(X1), X2, X3))
   mark(U44(X1, X2, X3)) -> active(U44(mark(X1), X2, X3))
   mark(U45(X1, X2)) -> active(U45(mark(X1), X2))
   mark(U46(X)) -> active(U46(mark(X)))
   mark(U51(X1, X2, X3)) -> active(U51(mark(X1), X2, X3))
   mark(U52(X1, X2, X3)) -> active(U52(mark(X1), X2, X3))
   mark(U53(X1, X2, X3)) -> active(U53(mark(X1), X2, X3))
   mark(U54(X1, X2, X3)) -> active(U54(mark(X1), X2, X3))
   mark(U55(X1, X2)) -> active(U55(mark(X1), X2))
   mark(U56(X)) -> active(U56(mark(X)))
   mark(U61(X1, X2)) -> active(U61(mark(X1), X2))
   mark(U62(X1, X2)) -> active(U62(mark(X1), X2))
   mark(U63(X)) -> active(U63(mark(X)))
   mark(U71(X1, X2, X3)) -> active(U71(mark(X1), X2, X3))
   mark(U72(X1, X2)) -> active(U72(mark(X1), X2))
   mark(U73(X1, X2)) -> active(U73(mark(X1), X2))
   mark(isPal(X)) -> active(isPal(X))
   mark(U74(X)) -> active(U74(mark(X)))
   mark(U81(X1, X2)) -> active(U81(mark(X1), X2))
   mark(U82(X1, X2)) -> active(U82(mark(X1), X2))
   mark(U83(X)) -> active(U83(mark(X)))
   mark(isNePal(X)) -> active(isNePal(X))
   mark(U91(X1, X2)) -> active(U91(mark(X1), X2))
   mark(U92(X)) -> active(U92(mark(X)))
   mark(a) -> active(a)
   mark(e) -> active(e)
   mark(i) -> active(i)
   mark(o) -> active(o)
   mark(u) -> active(u)
   
    the pairs 
   active#(U61(tt, V)) -> mark#(U62(isPalListKind(V), V))
   active#(U71(tt, I, P)) -> mark#(U72(isPalListKind(I), P))
   active#(U72(tt, P)) -> mark#(U73(isPal(P), P))
   active#(U73(tt, P)) -> mark#(U74(isPalListKind(P)))
   active#(U82(tt, V)) -> mark#(U83(isNePal(V)))
   active#(isNePal(V)) -> mark#(U61(isPalListKind(V), V))
   active#(isNePal(__(I, __(P, I)))) -> mark#(U71(isQid(I), I, P))
   active#(isPal(V)) -> mark#(U81(isPalListKind(V), V))
   mark#(U61(X1, X2)) -> mark#(X1)
   mark#(U62(X1, X2)) -> mark#(X1)
   mark#(U63(X)) -> mark#(X)
   mark#(U71(X1, X2, X3)) -> mark#(X1)
   mark#(U72(X1, X2)) -> mark#(X1)
   mark#(U73(X1, X2)) -> mark#(X1)
   mark#(U74(X)) -> mark#(X)
   mark#(U81(X1, X2)) -> mark#(X1)
   mark#(U82(X1, X2)) -> mark#(X1)
   mark#(U83(X)) -> mark#(X)
   
   could not apply the generic reduction pair processor with the following
   Argument Filter: 
   pi(mark#/1) = [1]
   pi(__/2) = [1,2]
   pi(active#/1) = [1]
   pi(mark/1) = 1
   pi(U11/2) = 1
   pi(U12/2) = 1
   pi(isPalListKind/1) = []
   pi(tt/0) = []
   pi(U13/1) = 1
   pi(isNeList/1) = []
   pi(U21/3) = 1
   pi(U22/3) = 1
   pi(U23/3) = 1
   pi(U24/3) = 1
   pi(U25/2) = 1
   pi(isList/1) = []
   pi(U26/1) = 1
   pi(U31/2) = 1
   pi(U32/2) = 1
   pi(U33/1) = 1
   pi(isQid/1) = []
   pi(U41/3) = 1
   pi(U42/3) = 1
   pi(U43/3) = 1
   pi(U44/3) = 1
   pi(U45/2) = 1
   pi(U46/1) = 1
   pi(U51/3) = 1
   pi(U52/3) = 1
   pi(U53/3) = 1
   pi(U54/3) = 1
   pi(U55/2) = 1
   pi(U56/1) = 1
   pi(U61/2) = [2,1]
   pi(U62/2) = [1]
   pi(U63/1) = [1]
   pi(U71/3) = [1,3]
   pi(U72/2) = [2,1]
   pi(U73/2) = [1,2]
   pi(isPal/1) = [1]
   pi(U74/1) = [1]
   pi(U81/2) = [2,1]
   pi(U82/2) = [2,1]
   pi(U83/1) = [1]
   pi(isNePal/1) = [1]
   pi(U91/2) = 1
   pi(U92/1) = 1
   pi(active/1) = 1
   pi(nil/0) = []
   pi(a/0) = []
   pi(e/0) = []
   pi(i/0) = []
   pi(o/0) = []
   pi(u/0) = []
   
   RPO with the following precedence
   precedence(mark#[1]) = 9
   precedence(__[2]) = 9
   precedence(active#[1]) = 9
   precedence(isPalListKind[1]) = 2
   precedence(tt[0]) = 2
   precedence(isNeList[1]) = 2
   precedence(isList[1]) = 2
   precedence(isQid[1]) = 2
   precedence(U61[2]) = 4
   precedence(U62[2]) = 3
   precedence(U63[1]) = 3
   precedence(U71[3]) = 8
   precedence(U72[2]) = 7
   precedence(U73[2]) = 1
   precedence(isPal[1]) = 7
   precedence(U74[1]) = 0
   precedence(U81[2]) = 6
   precedence(U82[2]) = 6
   precedence(U83[1]) = 5
   precedence(isNePal[1]) = 6
   precedence(nil[0]) = 10
   precedence(a[0]) = 11
   precedence(e[0]) = 12
   precedence(i[0]) = 13
   precedence(o[0]) = 14
   precedence(u[0]) = 15
   
   precedence(_) = 0
   and the following status
   status(mark#[1]) = lex
   status(__[2]) = lex
   status(active#[1]) = lex
   status(isPalListKind[1]) = lex
   status(tt[0]) = mul
   status(isNeList[1]) = lex
   status(isList[1]) = lex
   status(isQid[1]) = lex
   status(U61[2]) = lex
   status(U62[2]) = mul
   status(U63[1]) = mul
   status(U71[3]) = mul
   status(U72[2]) = lex
   status(U73[2]) = lex
   status(isPal[1]) = lex
   status(U74[1]) = mul
   status(U81[2]) = lex
   status(U82[2]) = lex
   status(U83[1]) = lex
   status(isNePal[1]) = lex
   status(nil[0]) = mul
   status(a[0]) = mul
   status(e[0]) = mul
   status(i[0]) = mul
   status(o[0]) = mul
   status(u[0]) = mul
   
   status(_) = lex
   
   problem when orienting (usable) rules
   could not orient active(U62(tt, V)) >= mark(U63(isQid(V)))
   pi( active(U62(tt, V)) ) = U62(tt)
   pi( mark(U63(isQid(V))) ) = U63(isQid)
   could not orient U62(tt) >=RPO U63(isQid)