(STRATEGY
    INNERMOST)

(VAR
    X Y Z)
(DATATYPES
    A = < nil, tt >)
(SIGNATURES
    __ :: [A x A] -> A
    U11 :: [A] -> A
    U12 :: [A] -> A
    U13 :: [A] -> A
    U21 :: [A] -> A
    U22 :: [A] -> A
    U23 :: [A] -> A
    U24 :: [A] -> A
    U25 :: [A] -> A
    U26 :: [A] -> A
    U31 :: [A] -> A
    U32 :: [A] -> A
    U33 :: [A] -> A
    U41 :: [A] -> A
    U42 :: [A] -> A
    U43 :: [A] -> A
    U44 :: [A] -> A
    U45 :: [A] -> A
    U46 :: [A] -> A
    U51 :: [A] -> A
    U52 :: [A] -> A
    U53 :: [A] -> A
    U54 :: [A] -> A
    U55 :: [A] -> A
    U56 :: [A] -> A
    U61 :: [A] -> A
    U62 :: [A] -> A
    U63 :: [A] -> A
    U71 :: [A] -> A
    U72 :: [A] -> A
    U73 :: [A] -> A
    U74 :: [A] -> A
    U81 :: [A] -> A
    U82 :: [A] -> A
    U83 :: [A] -> A
    U91 :: [A] -> A
    U92 :: [A] -> A
    isList :: [] -> A
    isNeList :: [] -> A
    isNePal :: [] -> A
    isPal :: [] -> A
    isPalListKind :: [] -> A
    isQid :: [] -> A)
(RULES
    __(__(X,Y),Z) -> __(X,__(Y,Z))
    __(X,nil()) -> X
    __(nil(),X) -> X
    U11(tt()) ->
      U12(isPalListKind())
    U12(tt()) -> U13(isNeList())
    U13(tt()) -> tt()
    U21(tt()) ->
      U22(isPalListKind())
    U22(tt()) ->
      U23(isPalListKind())
    U23(tt()) ->
      U24(isPalListKind())
    U24(tt()) -> U25(isList())
    U25(tt()) -> U26(isList())
    U26(tt()) -> tt()
    U31(tt()) ->
      U32(isPalListKind())
    U32(tt()) -> U33(isQid())
    U33(tt()) -> tt()
    U41(tt()) ->
      U42(isPalListKind())
    U42(tt()) ->
      U43(isPalListKind())
    U43(tt()) ->
      U44(isPalListKind())
    U44(tt()) -> U45(isList())
    U45(tt()) -> U46(isNeList())
    U46(tt()) -> tt()
    U51(tt()) ->
      U52(isPalListKind())
    U52(tt()) ->
      U53(isPalListKind())
    U53(tt()) ->
      U54(isPalListKind())
    U54(tt()) -> U55(isNeList())
    U55(tt()) -> U56(isList())
    U56(tt()) -> tt()
    U61(tt()) ->
      U62(isPalListKind())
    U62(tt()) -> U63(isQid())
    U63(tt()) -> tt()
    U71(tt()) ->
      U72(isPalListKind())
    U72(tt()) -> U73(isPal())
    U73(tt()) ->
      U74(isPalListKind())
    U74(tt()) -> tt()
    U81(tt()) ->
      U82(isPalListKind())
    U82(tt()) -> U83(isNePal())
    U83(tt()) -> tt()
    U91(tt()) ->
      U92(isPalListKind())
    U92(tt()) -> tt()
    isList() -> U11(isPalListKind())
    isList() -> tt()
    isList() -> U21(isPalListKind())
    isNeList() ->
      U31(isPalListKind())
    isNeList() ->
      U41(isPalListKind())
    isNeList() ->
      U51(isPalListKind())
    isNePal() ->
      U61(isPalListKind())
    isNePal() -> U71(isQid())
    isPal() -> U81(isPalListKind())
    isPal() -> tt()
    isPalListKind() -> tt()
    isPalListKind() ->
      U91(isPalListKind())
    isQid() -> tt())