MAYBE

Problem:
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(X,nil()) -> X
 __(nil(),X) -> X
 U11(tt()) -> tt()
 U21(tt(),V2) -> U22(isList(activate(V2)))
 U22(tt()) -> tt()
 U31(tt()) -> tt()
 U41(tt(),V2) -> U42(isNeList(activate(V2)))
 U42(tt()) -> tt()
 U51(tt(),V2) -> U52(isList(activate(V2)))
 U52(tt()) -> tt()
 U61(tt()) -> tt()
 U71(tt(),P) -> U72(isPal(activate(P)))
 U72(tt()) -> tt()
 U81(tt()) -> tt()
 isList(V) -> U11(isNeList(activate(V)))
 isList(n__nil()) -> tt()
 isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
 isNeList(V) -> U31(isQid(activate(V)))
 isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
 isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
 isNePal(V) -> U61(isQid(activate(V)))
 isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
 isPal(V) -> U81(isNePal(activate(V)))
 isPal(n__nil()) -> tt()
 isQid(n__a()) -> tt()
 isQid(n__e()) -> tt()
 isQid(n__i()) -> tt()
 isQid(n__o()) -> tt()
 isQid(n__u()) -> tt()
 nil() -> n__nil()
 __(X1,X2) -> n____(X1,X2)
 a() -> n__a()
 e() -> n__e()
 i() -> n__i()
 o() -> n__o()
 u() -> n__u()
 activate(n__nil()) -> nil()
 activate(n____(X1,X2)) -> __(X1,X2)
 activate(n__a()) -> a()
 activate(n__e()) -> e()
 activate(n__i()) -> i()
 activate(n__o()) -> o()
 activate(n__u()) -> u()
 activate(X) -> X

Proof:
 DP Processor:
  DPs:
   __#(__(X,Y),Z) -> __#(Y,Z)
   __#(__(X,Y),Z) -> __#(X,__(Y,Z))
   U21#(tt(),V2) -> activate#(V2)
   U21#(tt(),V2) -> isList#(activate(V2))
   U21#(tt(),V2) -> U22#(isList(activate(V2)))
   U41#(tt(),V2) -> activate#(V2)
   U41#(tt(),V2) -> isNeList#(activate(V2))
   U41#(tt(),V2) -> U42#(isNeList(activate(V2)))
   U51#(tt(),V2) -> activate#(V2)
   U51#(tt(),V2) -> isList#(activate(V2))
   U51#(tt(),V2) -> U52#(isList(activate(V2)))
   U71#(tt(),P) -> activate#(P)
   U71#(tt(),P) -> isPal#(activate(P))
   U71#(tt(),P) -> U72#(isPal(activate(P)))
   isList#(V) -> activate#(V)
   isList#(V) -> isNeList#(activate(V))
   isList#(V) -> U11#(isNeList(activate(V)))
   isList#(n____(V1,V2)) -> activate#(V2)
   isList#(n____(V1,V2)) -> activate#(V1)
   isList#(n____(V1,V2)) -> isList#(activate(V1))
   isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
   isNeList#(V) -> activate#(V)
   isNeList#(V) -> isQid#(activate(V))
   isNeList#(V) -> U31#(isQid(activate(V)))
   isNeList#(n____(V1,V2)) -> activate#(V2)
   isNeList#(n____(V1,V2)) -> activate#(V1)
   isNeList#(n____(V1,V2)) -> isList#(activate(V1))
   isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
   isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
   isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
   isNePal#(V) -> activate#(V)
   isNePal#(V) -> isQid#(activate(V))
   isNePal#(V) -> U61#(isQid(activate(V)))
   isNePal#(n____(I,__(P,I))) -> activate#(P)
   isNePal#(n____(I,__(P,I))) -> activate#(I)
   isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
   isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P))
   isPal#(V) -> activate#(V)
   isPal#(V) -> isNePal#(activate(V))
   isPal#(V) -> U81#(isNePal(activate(V)))
   activate#(n__nil()) -> nil#()
   activate#(n____(X1,X2)) -> __#(X1,X2)
   activate#(n__a()) -> a#()
   activate#(n__e()) -> e#()
   activate#(n__i()) -> i#()
   activate#(n__o()) -> o#()
   activate#(n__u()) -> u#()
  TRS:
   __(__(X,Y),Z) -> __(X,__(Y,Z))
   __(X,nil()) -> X
   __(nil(),X) -> X
   U11(tt()) -> tt()
   U21(tt(),V2) -> U22(isList(activate(V2)))
   U22(tt()) -> tt()
   U31(tt()) -> tt()
   U41(tt(),V2) -> U42(isNeList(activate(V2)))
   U42(tt()) -> tt()
   U51(tt(),V2) -> U52(isList(activate(V2)))
   U52(tt()) -> tt()
   U61(tt()) -> tt()
   U71(tt(),P) -> U72(isPal(activate(P)))
   U72(tt()) -> tt()
   U81(tt()) -> tt()
   isList(V) -> U11(isNeList(activate(V)))
   isList(n__nil()) -> tt()
   isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
   isNeList(V) -> U31(isQid(activate(V)))
   isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
   isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
   isNePal(V) -> U61(isQid(activate(V)))
   isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
   isPal(V) -> U81(isNePal(activate(V)))
   isPal(n__nil()) -> tt()
   isQid(n__a()) -> tt()
   isQid(n__e()) -> tt()
   isQid(n__i()) -> tt()
   isQid(n__o()) -> tt()
   isQid(n__u()) -> tt()
   nil() -> n__nil()
   __(X1,X2) -> n____(X1,X2)
   a() -> n__a()
   e() -> n__e()
   i() -> n__i()
   o() -> n__o()
   u() -> n__u()
   activate(n__nil()) -> nil()
   activate(n____(X1,X2)) -> __(X1,X2)
   activate(n__a()) -> a()
   activate(n__e()) -> e()
   activate(n__i()) -> i()
   activate(n__o()) -> o()
   activate(n__u()) -> u()
   activate(X) -> X
  EDG Processor:
   DPs:
    __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    U21#(tt(),V2) -> activate#(V2)
    U21#(tt(),V2) -> isList#(activate(V2))
    U21#(tt(),V2) -> U22#(isList(activate(V2)))
    U41#(tt(),V2) -> activate#(V2)
    U41#(tt(),V2) -> isNeList#(activate(V2))
    U41#(tt(),V2) -> U42#(isNeList(activate(V2)))
    U51#(tt(),V2) -> activate#(V2)
    U51#(tt(),V2) -> isList#(activate(V2))
    U51#(tt(),V2) -> U52#(isList(activate(V2)))
    U71#(tt(),P) -> activate#(P)
    U71#(tt(),P) -> isPal#(activate(P))
    U71#(tt(),P) -> U72#(isPal(activate(P)))
    isList#(V) -> activate#(V)
    isList#(V) -> isNeList#(activate(V))
    isList#(V) -> U11#(isNeList(activate(V)))
    isList#(n____(V1,V2)) -> activate#(V2)
    isList#(n____(V1,V2)) -> activate#(V1)
    isList#(n____(V1,V2)) -> isList#(activate(V1))
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
    isNeList#(V) -> activate#(V)
    isNeList#(V) -> isQid#(activate(V))
    isNeList#(V) -> U31#(isQid(activate(V)))
    isNeList#(n____(V1,V2)) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> isList#(activate(V1))
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
    isNePal#(V) -> activate#(V)
    isNePal#(V) -> isQid#(activate(V))
    isNePal#(V) -> U61#(isQid(activate(V)))
    isNePal#(n____(I,__(P,I))) -> activate#(P)
    isNePal#(n____(I,__(P,I))) -> activate#(I)
    isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P))
    isPal#(V) -> activate#(V)
    isPal#(V) -> isNePal#(activate(V))
    isPal#(V) -> U81#(isNePal(activate(V)))
    activate#(n__nil()) -> nil#()
    activate#(n____(X1,X2)) -> __#(X1,X2)
    activate#(n__a()) -> a#()
    activate#(n__e()) -> e#()
    activate#(n__i()) -> i#()
    activate#(n__o()) -> o#()
    activate#(n__u()) -> u#()
   TRS:
    __(__(X,Y),Z) -> __(X,__(Y,Z))
    __(X,nil()) -> X
    __(nil(),X) -> X
    U11(tt()) -> tt()
    U21(tt(),V2) -> U22(isList(activate(V2)))
    U22(tt()) -> tt()
    U31(tt()) -> tt()
    U41(tt(),V2) -> U42(isNeList(activate(V2)))
    U42(tt()) -> tt()
    U51(tt(),V2) -> U52(isList(activate(V2)))
    U52(tt()) -> tt()
    U61(tt()) -> tt()
    U71(tt(),P) -> U72(isPal(activate(P)))
    U72(tt()) -> tt()
    U81(tt()) -> tt()
    isList(V) -> U11(isNeList(activate(V)))
    isList(n__nil()) -> tt()
    isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
    isNeList(V) -> U31(isQid(activate(V)))
    isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
    isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
    isNePal(V) -> U61(isQid(activate(V)))
    isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
    isPal(V) -> U81(isNePal(activate(V)))
    isPal(n__nil()) -> tt()
    isQid(n__a()) -> tt()
    isQid(n__e()) -> tt()
    isQid(n__i()) -> tt()
    isQid(n__o()) -> tt()
    isQid(n__u()) -> tt()
    nil() -> n__nil()
    __(X1,X2) -> n____(X1,X2)
    a() -> n__a()
    e() -> n__e()
    i() -> n__i()
    o() -> n__o()
    u() -> n__u()
    activate(n__nil()) -> nil()
    activate(n____(X1,X2)) -> __(X1,X2)
    activate(n__a()) -> a()
    activate(n__e()) -> e()
    activate(n__i()) -> i()
    activate(n__o()) -> o()
    activate(n__u()) -> u()
    activate(X) -> X
   graph:
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P)) ->
    U71#(tt(),P) -> activate#(P)
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P)) ->
    U71#(tt(),P) -> isPal#(activate(P))
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P)) ->
    U71#(tt(),P) -> U72#(isPal(activate(P)))
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__nil()) -> nil#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__a()) -> a#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__e()) -> e#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__i()) -> i#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__o()) -> o#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__u()) -> u#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__nil()) -> nil#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__a()) -> a#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__e()) -> e#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__i()) -> i#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__o()) -> o#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__u()) -> u#()
    isNePal#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isNePal#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isNePal#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isNePal#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isNePal#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isNePal#(V) -> activate#(V) -> activate#(n__u()) -> u#()
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> activate#(V)
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> isQid#(activate(V))
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> U61#(isQid(activate(V)))
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> activate#(P)
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> activate#(I)
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
    isPal#(V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P))
    isPal#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isPal#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,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#()
    U71#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> activate#(V)
    U71#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> isNePal#(activate(V))
    U71#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> U81#(isNePal(activate(V)))
    U71#(tt(),P) -> activate#(P) -> activate#(n__nil()) -> nil#()
    U71#(tt(),P) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U71#(tt(),P) -> activate#(P) -> activate#(n__a()) -> a#()
    U71#(tt(),P) -> activate#(P) -> activate#(n__e()) -> e#()
    U71#(tt(),P) -> activate#(P) -> activate#(n__i()) -> i#()
    U71#(tt(),P) -> activate#(P) -> activate#(n__o()) -> o#()
    U71#(tt(),P) -> activate#(P) -> activate#(n__u()) -> u#()
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> activate#(V)
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> isNeList#(activate(V))
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> U11#(isNeList(activate(V)))
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> isList#(activate(V1))
    U51#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
    U51#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U51#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U51#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U51#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U51#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U51#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U51#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2)) ->
    U51#(tt(),V2) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2)) ->
    U51#(tt(),V2) -> isList#(activate(V2))
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2)) ->
    U51#(tt(),V2) -> U52#(isList(activate(V2)))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> activate#(V)
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> isQid#(activate(V))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> U31#(isQid(activate(V)))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> isList#(activate(V1))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2)) ->
    U41#(tt(),V2) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2)) ->
    U41#(tt(),V2) -> isNeList#(activate(V2))
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2)) ->
    U41#(tt(),V2) -> U42#(isNeList(activate(V2)))
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> activate#(V)
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> isNeList#(activate(V))
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> U11#(isNeList(activate(V)))
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> isList#(activate(V1))
    isNeList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,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#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,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#()
    isNeList#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isNeList#(V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,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#()
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> activate#(V)
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> isQid#(activate(V))
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> U31#(isQid(activate(V)))
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> isList#(activate(V1))
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
    U41#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
    U41#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U41#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U41#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U41#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U41#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U41#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U41#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> activate#(V)
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> isNeList#(activate(V))
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(V) -> U11#(isNeList(activate(V)))
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> isList#(activate(V1))
    isList#(n____(V1,V2)) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__a()) -> a#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__e()) -> e#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__i()) -> i#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__o()) -> o#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,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#()
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2)) ->
    U21#(tt(),V2) -> activate#(V2)
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2)) ->
    U21#(tt(),V2) -> isList#(activate(V2))
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2)) ->
    U21#(tt(),V2) -> U22#(isList(activate(V2)))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> activate#(V)
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> isQid#(activate(V))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> U31#(isQid(activate(V)))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> isList#(activate(V1))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
    isList#(V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
    isList#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isList#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,X2)
    isList#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isList#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isList#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isList#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isList#(V) -> activate#(V) -> activate#(n__u()) -> u#()
    activate#(n____(X1,X2)) -> __#(X1,X2) ->
    __#(__(X,Y),Z) -> __#(Y,Z)
    activate#(n____(X1,X2)) -> __#(X1,X2) ->
    __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> activate#(V)
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> isNeList#(activate(V))
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> U11#(isNeList(activate(V)))
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> isList#(activate(V1))
    U21#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U21#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U21#(tt(),V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    __#(__(X,Y),Z) -> __#(Y,Z) -> __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(Y,Z) -> __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    __#(__(X,Y),Z) -> __#(X,__(Y,Z)) -> __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(X,__(Y,Z)) -> __#(__(X,Y),Z) -> __#(X,__(Y,Z))
   SCC Processor:
    #sccs: 3
    #rules: 15
    #arcs: 181/2209
    DPs:
     U51#(tt(),V2) -> isList#(activate(V2))
     isList#(n____(V1,V2)) -> U21#(isList(activate(V1)),activate(V2))
     U21#(tt(),V2) -> isList#(activate(V2))
     isList#(n____(V1,V2)) -> isList#(activate(V1))
     isList#(V) -> isNeList#(activate(V))
     isNeList#(n____(V1,V2)) -> U51#(isNeList(activate(V1)),activate(V2))
     isNeList#(n____(V1,V2)) -> isNeList#(activate(V1))
     isNeList#(n____(V1,V2)) -> U41#(isList(activate(V1)),activate(V2))
     U41#(tt(),V2) -> isNeList#(activate(V2))
     isNeList#(n____(V1,V2)) -> isList#(activate(V1))
    TRS:
     __(__(X,Y),Z) -> __(X,__(Y,Z))
     __(X,nil()) -> X
     __(nil(),X) -> X
     U11(tt()) -> tt()
     U21(tt(),V2) -> U22(isList(activate(V2)))
     U22(tt()) -> tt()
     U31(tt()) -> tt()
     U41(tt(),V2) -> U42(isNeList(activate(V2)))
     U42(tt()) -> tt()
     U51(tt(),V2) -> U52(isList(activate(V2)))
     U52(tt()) -> tt()
     U61(tt()) -> tt()
     U71(tt(),P) -> U72(isPal(activate(P)))
     U72(tt()) -> tt()
     U81(tt()) -> tt()
     isList(V) -> U11(isNeList(activate(V)))
     isList(n__nil()) -> tt()
     isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
     isNeList(V) -> U31(isQid(activate(V)))
     isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
     isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
     isNePal(V) -> U61(isQid(activate(V)))
     isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
     isPal(V) -> U81(isNePal(activate(V)))
     isPal(n__nil()) -> tt()
     isQid(n__a()) -> tt()
     isQid(n__e()) -> tt()
     isQid(n__i()) -> tt()
     isQid(n__o()) -> tt()
     isQid(n__u()) -> tt()
     nil() -> n__nil()
     __(X1,X2) -> n____(X1,X2)
     a() -> n__a()
     e() -> n__e()
     i() -> n__i()
     o() -> n__o()
     u() -> n__u()
     activate(n__nil()) -> nil()
     activate(n____(X1,X2)) -> __(X1,X2)
     activate(n__a()) -> a()
     activate(n__e()) -> e()
     activate(n__i()) -> i()
     activate(n__o()) -> o()
     activate(n__u()) -> u()
     activate(X) -> X
    Open
    
    DPs:
     isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(P))
     U71#(tt(),P) -> isPal#(activate(P))
     isPal#(V) -> isNePal#(activate(V))
    TRS:
     __(__(X,Y),Z) -> __(X,__(Y,Z))
     __(X,nil()) -> X
     __(nil(),X) -> X
     U11(tt()) -> tt()
     U21(tt(),V2) -> U22(isList(activate(V2)))
     U22(tt()) -> tt()
     U31(tt()) -> tt()
     U41(tt(),V2) -> U42(isNeList(activate(V2)))
     U42(tt()) -> tt()
     U51(tt(),V2) -> U52(isList(activate(V2)))
     U52(tt()) -> tt()
     U61(tt()) -> tt()
     U71(tt(),P) -> U72(isPal(activate(P)))
     U72(tt()) -> tt()
     U81(tt()) -> tt()
     isList(V) -> U11(isNeList(activate(V)))
     isList(n__nil()) -> tt()
     isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
     isNeList(V) -> U31(isQid(activate(V)))
     isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
     isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
     isNePal(V) -> U61(isQid(activate(V)))
     isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
     isPal(V) -> U81(isNePal(activate(V)))
     isPal(n__nil()) -> tt()
     isQid(n__a()) -> tt()
     isQid(n__e()) -> tt()
     isQid(n__i()) -> tt()
     isQid(n__o()) -> tt()
     isQid(n__u()) -> tt()
     nil() -> n__nil()
     __(X1,X2) -> n____(X1,X2)
     a() -> n__a()
     e() -> n__e()
     i() -> n__i()
     o() -> n__o()
     u() -> n__u()
     activate(n__nil()) -> nil()
     activate(n____(X1,X2)) -> __(X1,X2)
     activate(n__a()) -> a()
     activate(n__e()) -> e()
     activate(n__i()) -> i()
     activate(n__o()) -> o()
     activate(n__u()) -> u()
     activate(X) -> X
    Open
    
    DPs:
     __#(__(X,Y),Z) -> __#(X,__(Y,Z))
     __#(__(X,Y),Z) -> __#(Y,Z)
    TRS:
     __(__(X,Y),Z) -> __(X,__(Y,Z))
     __(X,nil()) -> X
     __(nil(),X) -> X
     U11(tt()) -> tt()
     U21(tt(),V2) -> U22(isList(activate(V2)))
     U22(tt()) -> tt()
     U31(tt()) -> tt()
     U41(tt(),V2) -> U42(isNeList(activate(V2)))
     U42(tt()) -> tt()
     U51(tt(),V2) -> U52(isList(activate(V2)))
     U52(tt()) -> tt()
     U61(tt()) -> tt()
     U71(tt(),P) -> U72(isPal(activate(P)))
     U72(tt()) -> tt()
     U81(tt()) -> tt()
     isList(V) -> U11(isNeList(activate(V)))
     isList(n__nil()) -> tt()
     isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
     isNeList(V) -> U31(isQid(activate(V)))
     isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
     isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
     isNePal(V) -> U61(isQid(activate(V)))
     isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(P))
     isPal(V) -> U81(isNePal(activate(V)))
     isPal(n__nil()) -> tt()
     isQid(n__a()) -> tt()
     isQid(n__e()) -> tt()
     isQid(n__i()) -> tt()
     isQid(n__o()) -> tt()
     isQid(n__u()) -> tt()
     nil() -> n__nil()
     __(X1,X2) -> n____(X1,X2)
     a() -> n__a()
     e() -> n__e()
     i() -> n__i()
     o() -> n__o()
     u() -> n__u()
     activate(n__nil()) -> nil()
     activate(n____(X1,X2)) -> __(X1,X2)
     activate(n__a()) -> a()
     activate(n__e()) -> e()
     activate(n__i()) -> i()
     activate(n__o()) -> o()
     activate(n__u()) -> u()
     activate(X) -> X
    Open