(STRATEGY
    INNERMOST)

(VAR
    I P V V1 V2 X X1 X2 Y Z)
(DATATYPES
    A = µX.< tt, n__nil, n____(X, X), n__a, n__e, n__i, n__o, n__u >)
(SIGNATURES
    __ :: [A x A] -> A
    U11 :: [A x A] -> A
    U12 :: [A x A] -> A
    U13 :: [A] -> A
    U21 :: [A x A x A] -> A
    U22 :: [A x A x A] -> A
    U23 :: [A x A x A] -> A
    U24 :: [A x A x A] -> A
    U25 :: [A x A] -> A
    U26 :: [A] -> A
    U31 :: [A x A] -> A
    U32 :: [A x A] -> A
    U33 :: [A] -> A
    U41 :: [A x A x A] -> A
    U42 :: [A x A x A] -> A
    U43 :: [A x A x A] -> A
    U44 :: [A x A x A] -> A
    U45 :: [A x A] -> A
    U46 :: [A] -> A
    U51 :: [A x A x A] -> A
    U52 :: [A x A x A] -> A
    U53 :: [A x A x A] -> A
    U54 :: [A x A x A] -> A
    U55 :: [A x A] -> A
    U56 :: [A] -> A
    U61 :: [A x A] -> A
    U62 :: [A x A] -> A
    U63 :: [A] -> A
    U71 :: [A x A x A] -> A
    U72 :: [A x A] -> A
    U73 :: [A x A] -> A
    U74 :: [A] -> A
    U81 :: [A x A] -> A
    U82 :: [A x A] -> A
    U83 :: [A] -> A
    U91 :: [A x A] -> A
    U92 :: [A] -> A
    isList :: [A] -> A
    isNeList :: [A] -> A
    isNePal :: [A] -> A
    isPal :: [A] -> A
    isPalListKind :: [A] -> A
    isQid :: [A] -> A
    nil :: [] -> A
    a :: [] -> A
    e :: [] -> A
    i :: [] -> A
    o :: [] -> A
    u :: [] -> A
    activate :: [A] -> A)
(RULES
    __(__(X,Y),Z) -> __(X,__(Y,Z))
    __(X,nil()) -> X
    __(nil(),X) -> X
    U11(tt(),V) ->
      U12(isPalListKind(activate(V))
         ,activate(V))
    U12(tt(),V) ->
      U13(isNeList(activate(V)))
    U13(tt()) -> tt()
    U21(tt(),V1,V2) ->
      U22(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    U22(tt(),V1,V2) ->
      U23(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U23(tt(),V1,V2) ->
      U24(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U24(tt(),V1,V2) ->
      U25(isList(activate(V1))
         ,activate(V2))
    U25(tt(),V2) ->
      U26(isList(activate(V2)))
    U26(tt()) -> tt()
    U31(tt(),V) ->
      U32(isPalListKind(activate(V))
         ,activate(V))
    U32(tt(),V) ->
      U33(isQid(activate(V)))
    U33(tt()) -> tt()
    U41(tt(),V1,V2) ->
      U42(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    U42(tt(),V1,V2) ->
      U43(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U43(tt(),V1,V2) ->
      U44(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U44(tt(),V1,V2) ->
      U45(isList(activate(V1))
         ,activate(V2))
    U45(tt(),V2) ->
      U46(isNeList(activate(V2)))
    U46(tt()) -> tt()
    U51(tt(),V1,V2) ->
      U52(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    U52(tt(),V1,V2) ->
      U53(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U53(tt(),V1,V2) ->
      U54(isPalListKind(activate(V2))
         ,activate(V1)
         ,activate(V2))
    U54(tt(),V1,V2) ->
      U55(isNeList(activate(V1))
         ,activate(V2))
    U55(tt(),V2) ->
      U56(isList(activate(V2)))
    U56(tt()) -> tt()
    U61(tt(),V) ->
      U62(isPalListKind(activate(V))
         ,activate(V))
    U62(tt(),V) ->
      U63(isQid(activate(V)))
    U63(tt()) -> tt()
    U71(tt(),I,P) ->
      U72(isPalListKind(activate(I))
         ,activate(P))
    U72(tt(),P) ->
      U73(isPal(activate(P))
         ,activate(P))
    U73(tt(),P) ->
      U74(isPalListKind(activate(P)))
    U74(tt()) -> tt()
    U81(tt(),V) ->
      U82(isPalListKind(activate(V))
         ,activate(V))
    U82(tt(),V) ->
      U83(isNePal(activate(V)))
    U83(tt()) -> tt()
    U91(tt(),V2) ->
      U92(isPalListKind(activate(V2)))
    U92(tt()) -> tt()
    isList(V) ->
      U11(isPalListKind(activate(V))
         ,activate(V))
    isList(n__nil()) -> tt()
    isList(n____(V1,V2)) ->
      U21(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    isNeList(V) ->
      U31(isPalListKind(activate(V))
         ,activate(V))
    isNeList(n____(V1,V2)) ->
      U41(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    isNeList(n____(V1,V2)) ->
      U51(isPalListKind(activate(V1))
         ,activate(V1)
         ,activate(V2))
    isNePal(V) ->
      U61(isPalListKind(activate(V))
         ,activate(V))
    isNePal(n____(I,__(P,I))) ->
      U71(isQid(activate(I))
         ,activate(I)
         ,activate(P))
    isPal(V) ->
      U81(isPalListKind(activate(V))
         ,activate(V))
    isPal(n__nil()) -> tt()
    isPalListKind(n__a()) -> tt()
    isPalListKind(n__e()) -> tt()
    isPalListKind(n__i()) -> tt()
    isPalListKind(n__nil()) -> tt()
    isPalListKind(n__o()) -> tt()
    isPalListKind(n__u()) -> tt()
    isPalListKind(n____(V1,V2)) ->
      U91(isPalListKind(activate(V1))
         ,activate(V2))
    isQid(n__a()) -> tt()
    isQid(n__e()) -> tt()
    isQid(n__i()) -> tt()
    isQid(n__o()) -> tt()
    isQid(n__u()) -> tt()
    nil() -> n__nil()
    __(X1,X2) -> n____(X1,X2)
    a() -> n__a()
    e() -> n__e()
    i() -> n__i()
    o() -> n__o()
    u() -> n__u()
    activate(n__nil()) -> nil()
    activate(n____(X1,X2)) -> __(X1
                                ,X2)
    activate(n__a()) -> a()
    activate(n__e()) -> e()
    activate(n__i()) -> i()
    activate(n__o()) -> o()
    activate(n__u()) -> u()
    activate(X) -> X)