TIMEOUT
MAYBE
Trs:
 {                     U22(tt()) -> tt(),
                       U42(tt()) -> tt(),
                       U52(tt()) -> tt(),
                       U72(tt()) -> tt(),
                       U11(tt()) -> tt(),
                   U21(tt(), V2) -> U22(isList(activate(V2))),
                       U31(tt()) -> tt(),
                isList(n__nil()) -> tt(),
           isList(n____(V1, V2)) -> U21(isList(activate(V1)), activate(V2)),
                       isList(V) -> U11(isNeList(activate(V))),
                   U41(tt(), V2) -> U42(isNeList(activate(V2))),
         isNeList(n____(V1, V2)) -> U41(isList(activate(V1)), activate(V2)),
         isNeList(n____(V1, V2)) -> U51(isNeList(activate(V1)), activate(V2)),
                     isNeList(V) -> U31(isQid(activate(V))),
                   U51(tt(), V2) -> U52(isList(activate(V2))),
                       U61(tt()) -> tt(),
                    U71(tt(), P) -> U72(isPal(activate(P))),
  isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(P)),
                      isNePal(V) -> U61(isQid(activate(V))),
                       U81(tt()) -> tt(),
                 isPal(n__nil()) -> tt(),
                        isPal(V) -> U81(isNePal(activate(V))),
                   isQid(n__a()) -> tt(),
                   isQid(n__e()) -> tt(),
                   isQid(n__i()) -> tt(),
                   isQid(n__o()) -> tt(),
                   isQid(n__u()) -> tt(),
                           nil() -> n__nil(),
                    __(nil(), X) -> X,
                 __(__(X, Y), Z) -> __(X, __(Y, Z)),
                      __(X1, X2) -> n____(X1, X2),
                    __(X, nil()) -> X,
                             a() -> n__a(),
                             e() -> n__e(),
                             i() -> n__i(),
                             o() -> n__o(),
                             u() -> n__u(),
              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(),
                     activate(X) -> X}
 Open