MAYBE
Time: 0.054510
TRS:
 {           a____(X, nil()) -> mark X,
               a____(X1, X2) -> __(X1, X2),
          a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)),
             a____(nil(), X) -> mark X,
             mark __(X1, X2) -> a____(mark X1, mark X2),
                  mark nil() -> nil(),
                   mark tt() -> tt(),
               mark isList X -> a__isList X,
             mark isNeList X -> a__isNeList X,
                mark isPal X -> a__isPal X,
                    mark a() -> a(),
                    mark e() -> e(),
                    mark i() -> i(),
                    mark o() -> o(),
                    mark u() -> u(),
            mark and(X1, X2) -> a__and(mark X1, X2),
                mark isQid X -> a__isQid X,
              mark isNePal X -> a__isNePal X,
              a__and(X1, X2) -> and(X1, X2),
             a__and(tt(), X) -> mark X,
               a__isNeList X -> isNeList X,
               a__isNeList V -> a__isQid V,
      a__isNeList __(V1, V2) -> a__and(a__isNeList V1, isList V2),
      a__isNeList __(V1, V2) -> a__and(a__isList V1, isNeList V2),
                 a__isList X -> isList X,
                 a__isList V -> a__isNeList V,
        a__isList __(V1, V2) -> a__and(a__isList V1, isList V2),
             a__isList nil() -> tt(),
                  a__isQid X -> isQid X,
                a__isQid a() -> tt(),
                a__isQid e() -> tt(),
                a__isQid i() -> tt(),
                a__isQid o() -> tt(),
                a__isQid u() -> tt(),
                a__isNePal X -> isNePal X,
                a__isNePal V -> a__isQid V,
  a__isNePal __(I, __(P, I)) -> a__and(a__isQid I, isPal P),
                  a__isPal X -> isPal X,
                  a__isPal V -> a__isNePal V,
              a__isPal nil() -> tt()}
 DP:
  DP:
   {           a____#(X, nil()) -> mark# X,
            a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)),
            a____#(__(X, Y), Z) -> a____#(mark Y, mark Z),
            a____#(__(X, Y), Z) -> mark# X,
            a____#(__(X, Y), Z) -> mark# Y,
            a____#(__(X, Y), Z) -> mark# Z,
               a____#(nil(), X) -> mark# X,
               mark# __(X1, X2) -> a____#(mark X1, mark X2),
               mark# __(X1, X2) -> mark# X1,
               mark# __(X1, X2) -> mark# X2,
                 mark# isList X -> a__isList# X,
               mark# isNeList X -> a__isNeList# X,
                  mark# isPal X -> a__isPal# X,
              mark# and(X1, X2) -> mark# X1,
              mark# and(X1, X2) -> a__and#(mark X1, X2),
                  mark# isQid X -> a__isQid# X,
                mark# isNePal X -> a__isNePal# X,
               a__and#(tt(), X) -> mark# X,
                 a__isNeList# V -> a__isQid# V,
        a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2),
        a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2),
        a__isNeList# __(V1, V2) -> a__isNeList# V1,
        a__isNeList# __(V1, V2) -> a__isList# V1,
                   a__isList# V -> a__isNeList# V,
          a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2),
          a__isList# __(V1, V2) -> a__isList# V1,
                  a__isNePal# V -> a__isQid# V,
    a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P),
    a__isNePal# __(I, __(P, I)) -> a__isQid# I,
                    a__isPal# V -> a__isNePal# V}
  TRS:
  {           a____(X, nil()) -> mark X,
                a____(X1, X2) -> __(X1, X2),
           a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)),
              a____(nil(), X) -> mark X,
              mark __(X1, X2) -> a____(mark X1, mark X2),
                   mark nil() -> nil(),
                    mark tt() -> tt(),
                mark isList X -> a__isList X,
              mark isNeList X -> a__isNeList X,
                 mark isPal X -> a__isPal X,
                     mark a() -> a(),
                     mark e() -> e(),
                     mark i() -> i(),
                     mark o() -> o(),
                     mark u() -> u(),
             mark and(X1, X2) -> a__and(mark X1, X2),
                 mark isQid X -> a__isQid X,
               mark isNePal X -> a__isNePal X,
               a__and(X1, X2) -> and(X1, X2),
              a__and(tt(), X) -> mark X,
                a__isNeList X -> isNeList X,
                a__isNeList V -> a__isQid V,
       a__isNeList __(V1, V2) -> a__and(a__isNeList V1, isList V2),
       a__isNeList __(V1, V2) -> a__and(a__isList V1, isNeList V2),
                  a__isList X -> isList X,
                  a__isList V -> a__isNeList V,
         a__isList __(V1, V2) -> a__and(a__isList V1, isList V2),
              a__isList nil() -> tt(),
                   a__isQid X -> isQid X,
                 a__isQid a() -> tt(),
                 a__isQid e() -> tt(),
                 a__isQid i() -> tt(),
                 a__isQid o() -> tt(),
                 a__isQid u() -> tt(),
                 a__isNePal X -> isNePal X,
                 a__isNePal V -> a__isQid V,
   a__isNePal __(I, __(P, I)) -> a__and(a__isQid I, isPal P),
                   a__isPal X -> isPal X,
                   a__isPal V -> a__isNePal V,
               a__isPal nil() -> tt()}
  UR:
   {           a____(X, nil()) -> mark X,
                 a____(X1, X2) -> __(X1, X2),
            a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)),
               a____(nil(), X) -> mark X,
               mark __(X1, X2) -> a____(mark X1, mark X2),
                    mark nil() -> nil(),
                     mark tt() -> tt(),
                 mark isList X -> a__isList X,
               mark isNeList X -> a__isNeList X,
                  mark isPal X -> a__isPal X,
                      mark a() -> a(),
                      mark e() -> e(),
                      mark i() -> i(),
                      mark o() -> o(),
                      mark u() -> u(),
              mark and(X1, X2) -> a__and(mark X1, X2),
                  mark isQid X -> a__isQid X,
                mark isNePal X -> a__isNePal X,
                a__and(X1, X2) -> and(X1, X2),
               a__and(tt(), X) -> mark X,
                 a__isNeList X -> isNeList X,
                 a__isNeList V -> a__isQid V,
        a__isNeList __(V1, V2) -> a__and(a__isNeList V1, isList V2),
        a__isNeList __(V1, V2) -> a__and(a__isList V1, isNeList V2),
                   a__isList X -> isList X,
                   a__isList V -> a__isNeList V,
          a__isList __(V1, V2) -> a__and(a__isList V1, isList V2),
               a__isList nil() -> tt(),
                    a__isQid X -> isQid X,
                  a__isQid a() -> tt(),
                  a__isQid e() -> tt(),
                  a__isQid i() -> tt(),
                  a__isQid o() -> tt(),
                  a__isQid u() -> tt(),
                  a__isNePal X -> isNePal X,
                  a__isNePal V -> a__isQid V,
    a__isNePal __(I, __(P, I)) -> a__and(a__isQid I, isPal P),
                    a__isPal X -> isPal X,
                    a__isPal V -> a__isNePal V,
                a__isPal nil() -> tt()}
   EDG:
    {
     (a__isNeList# __(V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__isList# V1)
     (a__isNeList# __(V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__isNeList# V1)
     (a__isNeList# __(V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2))
     (a__isNeList# __(V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2))
     (a__isNeList# __(V1, V2) -> a__isNeList# V1, a__isNeList# V -> a__isQid# V)
     (a__isList# __(V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__isList# V1)
     (a__isList# __(V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2))
     (a__isList# __(V1, V2) -> a__isList# V1, a__isList# V -> a__isNeList# V)
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(nil(), X) -> mark# X)
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# Z)
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# Y)
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# X)
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z))
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)))
     (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(X, nil()) -> mark# X)
     (a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2), a__and#(tt(), X) -> mark# X)
     (a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P), a__and#(tt(), X) -> mark# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# isNePal X -> a__isNePal# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# isQid X -> a__isQid# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a____#(__(X, Y), Z) -> mark# X, mark# and(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# X, mark# isPal X -> a__isPal# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# isNeList X -> a__isNeList# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# isList X -> a__isList# X)
     (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> mark# X2)
     (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (mark# isList X -> a__isList# X, a__isList# __(V1, V2) -> a__isList# V1)
     (mark# isList X -> a__isList# X, a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2))
     (mark# isList X -> a__isList# X, a__isList# V -> a__isNeList# V)
     (mark# isPal X -> a__isPal# X, a__isPal# V -> a__isNePal# V)
     (mark# isNePal X -> a__isNePal# X, a__isNePal# __(I, __(P, I)) -> a__isQid# I)
     (mark# isNePal X -> a__isNePal# X, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P))
     (mark# isNePal X -> a__isNePal# X, a__isNePal# V -> a__isQid# V)
     (mark# and(X1, X2) -> a__and#(mark X1, X2), a__and#(tt(), X) -> mark# X)
     (mark# __(X1, X2) -> mark# X2, mark# isNePal X -> a__isNePal# X)
     (mark# __(X1, X2) -> mark# X2, mark# isQid X -> a__isQid# X)
     (mark# __(X1, X2) -> mark# X2, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (mark# __(X1, X2) -> mark# X2, mark# and(X1, X2) -> mark# X1)
     (mark# __(X1, X2) -> mark# X2, mark# isPal X -> a__isPal# X)
     (mark# __(X1, X2) -> mark# X2, mark# isNeList X -> a__isNeList# X)
     (mark# __(X1, X2) -> mark# X2, mark# isList X -> a__isList# X)
     (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> mark# X2)
     (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> mark# X1)
     (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(nil(), X) -> mark# X)
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# Z)
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# Y)
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# X)
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z))
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)))
     (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(X, nil()) -> mark# X)
     (mark# and(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X)
     (mark# and(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X)
     (mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1)
     (mark# and(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X)
     (mark# and(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X)
     (mark# and(X1, X2) -> mark# X1, mark# isList X -> a__isList# X)
     (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2)
     (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1)
     (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1)
     (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2)
     (mark# __(X1, X2) -> mark# X1, mark# isList X -> a__isList# X)
     (mark# __(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X)
     (mark# __(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X)
     (mark# __(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1)
     (mark# __(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (mark# __(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X)
     (mark# __(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X)
     (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> mark# X2)
     (a____#(__(X, Y), Z) -> mark# Z, mark# isList X -> a__isList# X)
     (a____#(__(X, Y), Z) -> mark# Z, mark# isNeList X -> a__isNeList# X)
     (a____#(__(X, Y), Z) -> mark# Z, mark# isPal X -> a__isPal# X)
     (a____#(__(X, Y), Z) -> mark# Z, mark# and(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# Z, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a____#(__(X, Y), Z) -> mark# Z, mark# isQid X -> a__isQid# X)
     (a____#(__(X, Y), Z) -> mark# Z, mark# isNePal X -> a__isNePal# X)
     (a__isPal# V -> a__isNePal# V, a__isNePal# V -> a__isQid# V)
     (a__isPal# V -> a__isNePal# V, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P))
     (a__isPal# V -> a__isNePal# V, a__isNePal# __(I, __(P, I)) -> a__isQid# I)
     (a__isList# V -> a__isNeList# V, a__isNeList# V -> a__isQid# V)
     (a__isList# V -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2))
     (a__isList# V -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2))
     (a__isList# V -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__isNeList# V1)
     (a__isList# V -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__isList# V1)
     (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> mark# X1)
     (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> mark# X2)
     (a__and#(tt(), X) -> mark# X, mark# isList X -> a__isList# X)
     (a__and#(tt(), X) -> mark# X, mark# isNeList X -> a__isNeList# X)
     (a__and#(tt(), X) -> mark# X, mark# isPal X -> a__isPal# X)
     (a__and#(tt(), X) -> mark# X, mark# and(X1, X2) -> mark# X1)
     (a__and#(tt(), X) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a__and#(tt(), X) -> mark# X, mark# isQid X -> a__isQid# X)
     (a__and#(tt(), X) -> mark# X, mark# isNePal X -> a__isNePal# X)
     (mark# isNeList X -> a__isNeList# X, a__isNeList# V -> a__isQid# V)
     (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2))
     (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2))
     (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__isNeList# V1)
     (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__isList# V1)
     (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> mark# X1)
     (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> mark# X2)
     (a____#(nil(), X) -> mark# X, mark# isList X -> a__isList# X)
     (a____#(nil(), X) -> mark# X, mark# isNeList X -> a__isNeList# X)
     (a____#(nil(), X) -> mark# X, mark# isPal X -> a__isPal# X)
     (a____#(nil(), X) -> mark# X, mark# and(X1, X2) -> mark# X1)
     (a____#(nil(), X) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a____#(nil(), X) -> mark# X, mark# isQid X -> a__isQid# X)
     (a____#(nil(), X) -> mark# X, mark# isNePal X -> a__isNePal# X)
     (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> mark# X1)
     (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> mark# X2)
     (a____#(X, nil()) -> mark# X, mark# isList X -> a__isList# X)
     (a____#(X, nil()) -> mark# X, mark# isNeList X -> a__isNeList# X)
     (a____#(X, nil()) -> mark# X, mark# isPal X -> a__isPal# X)
     (a____#(X, nil()) -> mark# X, mark# and(X1, X2) -> mark# X1)
     (a____#(X, nil()) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a____#(X, nil()) -> mark# X, mark# isQid X -> a__isQid# X)
     (a____#(X, nil()) -> mark# X, mark# isNePal X -> a__isNePal# X)
     (a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2), a__and#(tt(), X) -> mark# X)
     (a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2), a__and#(tt(), X) -> mark# X)
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(X, nil()) -> mark# X)
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)))
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z))
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# X)
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# Y)
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# Z)
     (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(nil(), X) -> mark# X)
     (a__isNeList# __(V1, V2) -> a__isList# V1, a__isList# V -> a__isNeList# V)
     (a__isNeList# __(V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2))
     (a__isNeList# __(V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__isList# V1)
     (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> a____#(mark X1, mark X2))
     (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> mark# X2)
     (a____#(__(X, Y), Z) -> mark# Y, mark# isList X -> a__isList# X)
     (a____#(__(X, Y), Z) -> mark# Y, mark# isNeList X -> a__isNeList# X)
     (a____#(__(X, Y), Z) -> mark# Y, mark# isPal X -> a__isPal# X)
     (a____#(__(X, Y), Z) -> mark# Y, mark# and(X1, X2) -> mark# X1)
     (a____#(__(X, Y), Z) -> mark# Y, mark# and(X1, X2) -> a__and#(mark X1, X2))
     (a____#(__(X, Y), Z) -> mark# Y, mark# isQid X -> a__isQid# X)
     (a____#(__(X, Y), Z) -> mark# Y, mark# isNePal X -> a__isNePal# X)
    }
    STATUS:
     arrows: 0.836667
     SCCS (1):
      Scc:
       {           a____#(X, nil()) -> mark# X,
                a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)),
                a____#(__(X, Y), Z) -> a____#(mark Y, mark Z),
                a____#(__(X, Y), Z) -> mark# X,
                a____#(__(X, Y), Z) -> mark# Y,
                a____#(__(X, Y), Z) -> mark# Z,
                   a____#(nil(), X) -> mark# X,
                   mark# __(X1, X2) -> a____#(mark X1, mark X2),
                   mark# __(X1, X2) -> mark# X1,
                   mark# __(X1, X2) -> mark# X2,
                     mark# isList X -> a__isList# X,
                   mark# isNeList X -> a__isNeList# X,
                      mark# isPal X -> a__isPal# X,
                  mark# and(X1, X2) -> mark# X1,
                  mark# and(X1, X2) -> a__and#(mark X1, X2),
                    mark# isNePal X -> a__isNePal# X,
                   a__and#(tt(), X) -> mark# X,
            a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2),
            a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2),
            a__isNeList# __(V1, V2) -> a__isNeList# V1,
            a__isNeList# __(V1, V2) -> a__isList# V1,
                       a__isList# V -> a__isNeList# V,
              a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2),
              a__isList# __(V1, V2) -> a__isList# V1,
        a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P),
                        a__isPal# V -> a__isNePal# V}
      
      SCC (26):
       Strict:
        {           a____#(X, nil()) -> mark# X,
                 a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)),
                 a____#(__(X, Y), Z) -> a____#(mark Y, mark Z),
                 a____#(__(X, Y), Z) -> mark# X,
                 a____#(__(X, Y), Z) -> mark# Y,
                 a____#(__(X, Y), Z) -> mark# Z,
                    a____#(nil(), X) -> mark# X,
                    mark# __(X1, X2) -> a____#(mark X1, mark X2),
                    mark# __(X1, X2) -> mark# X1,
                    mark# __(X1, X2) -> mark# X2,
                      mark# isList X -> a__isList# X,
                    mark# isNeList X -> a__isNeList# X,
                       mark# isPal X -> a__isPal# X,
                   mark# and(X1, X2) -> mark# X1,
                   mark# and(X1, X2) -> a__and#(mark X1, X2),
                     mark# isNePal X -> a__isNePal# X,
                    a__and#(tt(), X) -> mark# X,
             a__isNeList# __(V1, V2) -> a__and#(a__isNeList V1, isList V2),
             a__isNeList# __(V1, V2) -> a__and#(a__isList V1, isNeList V2),
             a__isNeList# __(V1, V2) -> a__isNeList# V1,
             a__isNeList# __(V1, V2) -> a__isList# V1,
                        a__isList# V -> a__isNeList# V,
               a__isList# __(V1, V2) -> a__and#(a__isList V1, isList V2),
               a__isList# __(V1, V2) -> a__isList# V1,
         a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPal P),
                         a__isPal# V -> a__isNePal# V}
       Weak:
       {           a____(X, nil()) -> mark X,
                     a____(X1, X2) -> __(X1, X2),
                a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)),
                   a____(nil(), X) -> mark X,
                   mark __(X1, X2) -> a____(mark X1, mark X2),
                        mark nil() -> nil(),
                         mark tt() -> tt(),
                     mark isList X -> a__isList X,
                   mark isNeList X -> a__isNeList X,
                      mark isPal X -> a__isPal X,
                          mark a() -> a(),
                          mark e() -> e(),
                          mark i() -> i(),
                          mark o() -> o(),
                          mark u() -> u(),
                  mark and(X1, X2) -> a__and(mark X1, X2),
                      mark isQid X -> a__isQid X,
                    mark isNePal X -> a__isNePal X,
                    a__and(X1, X2) -> and(X1, X2),
                   a__and(tt(), X) -> mark X,
                     a__isNeList X -> isNeList X,
                     a__isNeList V -> a__isQid V,
            a__isNeList __(V1, V2) -> a__and(a__isNeList V1, isList V2),
            a__isNeList __(V1, V2) -> a__and(a__isList V1, isNeList V2),
                       a__isList X -> isList X,
                       a__isList V -> a__isNeList V,
              a__isList __(V1, V2) -> a__and(a__isList V1, isList V2),
                   a__isList nil() -> tt(),
                        a__isQid X -> isQid X,
                      a__isQid a() -> tt(),
                      a__isQid e() -> tt(),
                      a__isQid i() -> tt(),
                      a__isQid o() -> tt(),
                      a__isQid u() -> tt(),
                      a__isNePal X -> isNePal X,
                      a__isNePal V -> a__isQid V,
        a__isNePal __(I, __(P, I)) -> a__and(a__isQid I, isPal P),
                        a__isPal X -> isPal X,
                        a__isPal V -> a__isNePal V,
                    a__isPal nil() -> tt()}
       Open