YES(?,O(n^2))
31.86/10.91	YES(?,O(n^2))
31.86/10.91	
31.86/10.91	Problem:
31.86/10.91	 __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.91	 __(X,nil()) -> X
31.86/10.91	 __(nil(),X) -> X
31.86/10.91	 and(tt(),X) -> activate(X)
31.86/10.91	 isList(V) -> isNeList(activate(V))
31.86/10.91	 isList(n__nil()) -> tt()
31.86/10.91	 isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	 isNeList(V) -> isQid(activate(V))
31.86/10.91	 isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.91	 isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	 isNePal(V) -> isQid(activate(V))
31.86/10.91	 isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.91	 isPal(V) -> isNePal(activate(V))
31.86/10.91	 isPal(n__nil()) -> tt()
31.86/10.91	 isQid(n__a()) -> tt()
31.86/10.91	 isQid(n__e()) -> tt()
31.86/10.91	 isQid(n__i()) -> tt()
31.86/10.91	 isQid(n__o()) -> tt()
31.86/10.91	 isQid(n__u()) -> tt()
31.86/10.91	 nil() -> n__nil()
31.86/10.91	 __(X1,X2) -> n____(X1,X2)
31.86/10.91	 isList(X) -> n__isList(X)
31.86/10.91	 isNeList(X) -> n__isNeList(X)
31.86/10.91	 isPal(X) -> n__isPal(X)
31.86/10.91	 a() -> n__a()
31.86/10.91	 e() -> n__e()
31.86/10.91	 i() -> n__i()
31.86/10.91	 o() -> n__o()
31.86/10.91	 u() -> n__u()
31.86/10.91	 activate(n__nil()) -> nil()
31.86/10.91	 activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.91	 activate(n__isList(X)) -> isList(X)
31.86/10.91	 activate(n__isNeList(X)) -> isNeList(X)
31.86/10.91	 activate(n__isPal(X)) -> isPal(X)
31.86/10.91	 activate(n__a()) -> a()
31.86/10.91	 activate(n__e()) -> e()
31.86/10.91	 activate(n__i()) -> i()
31.86/10.91	 activate(n__o()) -> o()
31.86/10.91	 activate(n__u()) -> u()
31.86/10.91	 activate(X) -> X
31.86/10.91	
31.86/10.91	Proof:
31.86/10.91	 Complexity Transformation Processor:
31.86/10.91	  strict:
31.86/10.91	   __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.91	   __(X,nil()) -> X
31.86/10.91	   __(nil(),X) -> X
31.86/10.91	   and(tt(),X) -> activate(X)
31.86/10.91	   isList(V) -> isNeList(activate(V))
31.86/10.91	   isList(n__nil()) -> tt()
31.86/10.91	   isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	   isNeList(V) -> isQid(activate(V))
31.86/10.91	   isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.91	   isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	   isNePal(V) -> isQid(activate(V))
31.86/10.91	   isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.91	   isPal(V) -> isNePal(activate(V))
31.86/10.91	   isPal(n__nil()) -> tt()
31.86/10.91	   isQid(n__a()) -> tt()
31.86/10.91	   isQid(n__e()) -> tt()
31.86/10.91	   isQid(n__i()) -> tt()
31.86/10.91	   isQid(n__o()) -> tt()
31.86/10.91	   isQid(n__u()) -> tt()
31.86/10.91	   nil() -> n__nil()
31.86/10.91	   __(X1,X2) -> n____(X1,X2)
31.86/10.91	   isList(X) -> n__isList(X)
31.86/10.91	   isNeList(X) -> n__isNeList(X)
31.86/10.91	   isPal(X) -> n__isPal(X)
31.86/10.91	   a() -> n__a()
31.86/10.91	   e() -> n__e()
31.86/10.91	   i() -> n__i()
31.86/10.91	   o() -> n__o()
31.86/10.91	   u() -> n__u()
31.86/10.91	   activate(n__nil()) -> nil()
31.86/10.91	   activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.91	   activate(n__isList(X)) -> isList(X)
31.86/10.91	   activate(n__isNeList(X)) -> isNeList(X)
31.86/10.91	   activate(n__isPal(X)) -> isPal(X)
31.86/10.91	   activate(n__a()) -> a()
31.86/10.91	   activate(n__e()) -> e()
31.86/10.91	   activate(n__i()) -> i()
31.86/10.91	   activate(n__o()) -> o()
31.86/10.91	   activate(n__u()) -> u()
31.86/10.91	   activate(X) -> X
31.86/10.91	  weak:
31.86/10.91	   
31.86/10.91	  Matrix Interpretation Processor: dim=1
31.86/10.91	   
31.86/10.91	   max_matrix:
31.86/10.91	    1
31.86/10.91	   interpretation:
31.86/10.91	    [u] = 0,
31.86/10.91	    
31.86/10.91	    [o] = 0,
31.86/10.91	    
31.86/10.91	    [i] = 0,
31.86/10.91	    
31.86/10.91	    [e] = 0,
31.86/10.91	    
31.86/10.91	    [a] = 0,
31.86/10.91	    
31.86/10.91	    [n__u] = 132,
31.86/10.91	    
31.86/10.91	    [n__o] = 24,
31.86/10.91	    
31.86/10.91	    [n__i] = 200,
31.86/10.91	    
31.86/10.91	    [n__e] = 20,
31.86/10.91	    
31.86/10.91	    [n__a] = 0,
31.86/10.91	    
31.86/10.91	    [isPal](x0) = x0 + 128,
31.86/10.91	    
31.86/10.91	    [n__isPal](x0) = x0 + 196,
31.86/10.91	    
31.86/10.91	    [isNePal](x0) = x0 + 146,
31.86/10.91	    
31.86/10.91	    [n__isNeList](x0) = x0 + 184,
31.86/10.91	    
31.86/10.91	    [isQid](x0) = x0 + 2,
31.86/10.91	    
31.86/10.91	    [n__isList](x0) = x0 + 192,
31.86/10.91	    
31.86/10.91	    [n____](x0, x1) = x0 + x1 + 2,
31.86/10.91	    
31.86/10.91	    [n__nil] = 0,
31.86/10.91	    
31.86/10.91	    [isNeList](x0) = x0 + 210,
31.86/10.91	    
31.86/10.91	    [isList](x0) = x0 + 193,
31.86/10.91	    
31.86/10.91	    [activate](x0) = x0 + 32,
31.86/10.91	    
31.86/10.91	    [and](x0, x1) = x0 + x1 + 33,
31.86/10.91	    
31.86/10.91	    [tt] = 11,
31.86/10.91	    
31.86/10.91	    [nil] = 208,
31.86/10.91	    
31.86/10.91	    [__](x0, x1) = x0 + x1 + 232
31.86/10.91	   orientation:
31.86/10.91	    __(__(X,Y),Z) = X + Y + Z + 464 >= X + Y + Z + 464 = __(X,__(Y,Z))
31.86/10.91	    
31.86/10.91	    __(X,nil()) = X + 440 >= X = X
31.86/10.91	    
31.86/10.91	    __(nil(),X) = X + 440 >= X = X
31.86/10.91	    
31.86/10.91	    and(tt(),X) = X + 44 >= X + 32 = activate(X)
31.86/10.91	    
31.86/10.91	    isList(V) = V + 193 >= V + 242 = isNeList(activate(V))
31.86/10.91	    
31.86/10.91	    isList(n__nil()) = 193 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isList(n____(V1,V2)) = V1 + V2 + 195 >= V1 + V2 + 482 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	    
31.86/10.91	    isNeList(V) = V + 210 >= V + 34 = isQid(activate(V))
31.86/10.91	    
31.86/10.91	    isNeList(n____(V1,V2)) = V1 + V2 + 212 >= V1 + V2 + 474 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.91	    
31.86/10.91	    isNeList(n____(V1,V2)) = V1 + V2 + 212 >= V1 + V2 + 499 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	    
31.86/10.91	    isNePal(V) = V + 146 >= V + 34 = isQid(activate(V))
31.86/10.91	    
31.86/10.91	    isNePal(n____(I,__(P,I))) = 2I + P + 380 >= I + P + 295 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.91	    
31.86/10.91	    isPal(V) = V + 128 >= V + 178 = isNePal(activate(V))
31.86/10.91	    
31.86/10.91	    isPal(n__nil()) = 128 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isQid(n__a()) = 2 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isQid(n__e()) = 22 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isQid(n__i()) = 202 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isQid(n__o()) = 26 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    isQid(n__u()) = 134 >= 11 = tt()
31.86/10.91	    
31.86/10.91	    nil() = 208 >= 0 = n__nil()
31.86/10.91	    
31.86/10.91	    __(X1,X2) = X1 + X2 + 232 >= X1 + X2 + 2 = n____(X1,X2)
31.86/10.91	    
31.86/10.91	    isList(X) = X + 193 >= X + 192 = n__isList(X)
31.86/10.91	    
31.86/10.91	    isNeList(X) = X + 210 >= X + 184 = n__isNeList(X)
31.86/10.91	    
31.86/10.91	    isPal(X) = X + 128 >= X + 196 = n__isPal(X)
31.86/10.91	    
31.86/10.91	    a() = 0 >= 0 = n__a()
31.86/10.91	    
31.86/10.91	    e() = 0 >= 20 = n__e()
31.86/10.91	    
31.86/10.91	    i() = 0 >= 200 = n__i()
31.86/10.91	    
31.86/10.91	    o() = 0 >= 24 = n__o()
31.86/10.91	    
31.86/10.91	    u() = 0 >= 132 = n__u()
31.86/10.91	    
31.86/10.91	    activate(n__nil()) = 32 >= 208 = nil()
31.86/10.91	    
31.86/10.91	    activate(n____(X1,X2)) = X1 + X2 + 34 >= X1 + X2 + 232 = __(X1,X2)
31.86/10.91	    
31.86/10.91	    activate(n__isList(X)) = X + 224 >= X + 193 = isList(X)
31.86/10.91	    
31.86/10.91	    activate(n__isNeList(X)) = X + 216 >= X + 210 = isNeList(X)
31.86/10.91	    
31.86/10.91	    activate(n__isPal(X)) = X + 228 >= X + 128 = isPal(X)
31.86/10.91	    
31.86/10.91	    activate(n__a()) = 32 >= 0 = a()
31.86/10.91	    
31.86/10.91	    activate(n__e()) = 52 >= 0 = e()
31.86/10.91	    
31.86/10.91	    activate(n__i()) = 232 >= 0 = i()
31.86/10.91	    
31.86/10.91	    activate(n__o()) = 56 >= 0 = o()
31.86/10.91	    
31.86/10.91	    activate(n__u()) = 164 >= 0 = u()
31.86/10.91	    
31.86/10.91	    activate(X) = X + 32 >= X = X
31.86/10.91	   problem:
31.86/10.91	    strict:
31.86/10.91	     __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.91	     isList(V) -> isNeList(activate(V))
31.86/10.91	     isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	     isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.91	     isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.91	     isPal(V) -> isNePal(activate(V))
31.86/10.91	     isQid(n__a()) -> tt()
31.86/10.91	     isPal(X) -> n__isPal(X)
31.86/10.91	     a() -> n__a()
31.86/10.91	     e() -> n__e()
31.86/10.91	     i() -> n__i()
31.86/10.91	     o() -> n__o()
31.86/10.91	     u() -> n__u()
31.86/10.91	     activate(n__nil()) -> nil()
31.86/10.91	     activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.91	    weak:
31.86/10.91	     __(X,nil()) -> X
31.86/10.91	     __(nil(),X) -> X
31.86/10.91	     and(tt(),X) -> activate(X)
31.86/10.91	     isList(n__nil()) -> tt()
31.86/10.91	     isNeList(V) -> isQid(activate(V))
31.86/10.91	     isNePal(V) -> isQid(activate(V))
31.86/10.91	     isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.91	     isPal(n__nil()) -> tt()
31.86/10.91	     isQid(n__e()) -> tt()
31.86/10.91	     isQid(n__i()) -> tt()
31.86/10.91	     isQid(n__o()) -> tt()
31.86/10.91	     isQid(n__u()) -> tt()
31.86/10.91	     nil() -> n__nil()
31.86/10.91	     __(X1,X2) -> n____(X1,X2)
31.86/10.91	     isList(X) -> n__isList(X)
31.86/10.91	     isNeList(X) -> n__isNeList(X)
31.86/10.91	     activate(n__isList(X)) -> isList(X)
31.86/10.91	     activate(n__isNeList(X)) -> isNeList(X)
31.86/10.91	     activate(n__isPal(X)) -> isPal(X)
31.86/10.91	     activate(n__a()) -> a()
31.86/10.91	     activate(n__e()) -> e()
31.86/10.91	     activate(n__i()) -> i()
31.86/10.91	     activate(n__o()) -> o()
31.86/10.91	     activate(n__u()) -> u()
31.86/10.91	     activate(X) -> X
31.86/10.91	   Matrix Interpretation Processor: dim=1
31.86/10.91	    
31.86/10.91	    max_matrix:
31.86/10.91	     1
31.86/10.91	    interpretation:
31.86/10.91	     [u] = 8,
31.86/10.92	     
31.86/10.92	     [o] = 138,
31.86/10.92	     
31.86/10.92	     [i] = 0,
31.86/10.92	     
31.86/10.92	     [e] = 0,
31.86/10.92	     
31.86/10.92	     [a] = 0,
31.86/10.92	     
31.86/10.92	     [n__u] = 0,
31.86/10.92	     
31.86/10.92	     [n__o] = 130,
31.86/10.92	     
31.86/10.92	     [n__i] = 0,
31.86/10.92	     
31.86/10.92	     [n__e] = 130,
31.86/10.92	     
31.86/10.92	     [n__a] = 0,
31.86/10.92	     
31.86/10.92	     [isPal](x0) = x0,
31.86/10.92	     
31.86/10.92	     [n__isPal](x0) = x0 + 2,
31.86/10.92	     
31.86/10.92	     [isNePal](x0) = x0 + 216,
31.86/10.92	     
31.86/10.92	     [n__isNeList](x0) = x0 + 169,
31.86/10.92	     
31.86/10.92	     [isQid](x0) = x0 + 122,
31.86/10.92	     
31.86/10.92	     [n__isList](x0) = x0 + 60,
31.86/10.92	     
31.86/10.92	     [n____](x0, x1) = x0 + x1 + 8,
31.86/10.92	     
31.86/10.92	     [n__nil] = 0,
31.86/10.92	     
31.86/10.92	     [isNeList](x0) = x0 + 174,
31.86/10.92	     
31.86/10.92	     [isList](x0) = x0 + 68,
31.86/10.92	     
31.86/10.92	     [activate](x0) = x0 + 8,
31.86/10.92	     
31.86/10.92	     [and](x0, x1) = x0 + x1 + 92,
31.86/10.92	     
31.86/10.92	     [tt] = 0,
31.86/10.92	     
31.86/10.92	     [nil] = 33,
31.86/10.92	     
31.86/10.92	     [__](x0, x1) = x0 + x1 + 8
31.86/10.92	    orientation:
31.86/10.92	     __(__(X,Y),Z) = X + Y + Z + 16 >= X + Y + Z + 16 = __(X,__(Y,Z))
31.86/10.92	     
31.86/10.92	     isList(V) = V + 68 >= V + 182 = isNeList(activate(V))
31.86/10.92	     
31.86/10.92	     isList(n____(V1,V2)) = V1 + V2 + 76 >= V1 + V2 + 236 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	     
31.86/10.92	     isNeList(n____(V1,V2)) = V1 + V2 + 182 >= V1 + V2 + 345 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.92	     
31.86/10.92	     isNeList(n____(V1,V2)) = V1 + V2 + 182 >= V1 + V2 + 342 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	     
31.86/10.92	     isPal(V) = V >= V + 224 = isNePal(activate(V))
31.86/10.92	     
31.86/10.92	     isQid(n__a()) = 122 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isPal(X) = X >= X + 2 = n__isPal(X)
31.86/10.92	     
31.86/10.92	     a() = 0 >= 0 = n__a()
31.86/10.92	     
31.86/10.92	     e() = 0 >= 130 = n__e()
31.86/10.92	     
31.86/10.92	     i() = 0 >= 0 = n__i()
31.86/10.92	     
31.86/10.92	     o() = 138 >= 130 = n__o()
31.86/10.92	     
31.86/10.92	     u() = 8 >= 0 = n__u()
31.86/10.92	     
31.86/10.92	     activate(n__nil()) = 8 >= 33 = nil()
31.86/10.92	     
31.86/10.92	     activate(n____(X1,X2)) = X1 + X2 + 16 >= X1 + X2 + 8 = __(X1,X2)
31.86/10.92	     
31.86/10.92	     __(X,nil()) = X + 41 >= X = X
31.86/10.92	     
31.86/10.92	     __(nil(),X) = X + 41 >= X = X
31.86/10.92	     
31.86/10.92	     and(tt(),X) = X + 92 >= X + 8 = activate(X)
31.86/10.92	     
31.86/10.92	     isList(n__nil()) = 68 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isNeList(V) = V + 174 >= V + 130 = isQid(activate(V))
31.86/10.92	     
31.86/10.92	     isNePal(V) = V + 216 >= V + 130 = isQid(activate(V))
31.86/10.92	     
31.86/10.92	     isNePal(n____(I,__(P,I))) = 2I + P + 232 >= I + P + 232 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.92	     
31.86/10.92	     isPal(n__nil()) = 0 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isQid(n__e()) = 252 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isQid(n__i()) = 122 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isQid(n__o()) = 252 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     isQid(n__u()) = 122 >= 0 = tt()
31.86/10.92	     
31.86/10.92	     nil() = 33 >= 0 = n__nil()
31.86/10.92	     
31.86/10.92	     __(X1,X2) = X1 + X2 + 8 >= X1 + X2 + 8 = n____(X1,X2)
31.86/10.92	     
31.86/10.92	     isList(X) = X + 68 >= X + 60 = n__isList(X)
31.86/10.92	     
31.86/10.92	     isNeList(X) = X + 174 >= X + 169 = n__isNeList(X)
31.86/10.92	     
31.86/10.92	     activate(n__isList(X)) = X + 68 >= X + 68 = isList(X)
31.86/10.92	     
31.86/10.92	     activate(n__isNeList(X)) = X + 177 >= X + 174 = isNeList(X)
31.86/10.92	     
31.86/10.92	     activate(n__isPal(X)) = X + 10 >= X = isPal(X)
31.86/10.92	     
31.86/10.92	     activate(n__a()) = 8 >= 0 = a()
31.86/10.92	     
31.86/10.92	     activate(n__e()) = 138 >= 0 = e()
31.86/10.92	     
31.86/10.92	     activate(n__i()) = 8 >= 0 = i()
31.86/10.92	     
31.86/10.92	     activate(n__o()) = 138 >= 138 = o()
31.86/10.92	     
31.86/10.92	     activate(n__u()) = 8 >= 8 = u()
31.86/10.92	     
31.86/10.92	     activate(X) = X + 8 >= X = X
31.86/10.92	    problem:
31.86/10.92	     strict:
31.86/10.92	      __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.92	      isList(V) -> isNeList(activate(V))
31.86/10.92	      isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	      isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.92	      isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	      isPal(V) -> isNePal(activate(V))
31.86/10.92	      isPal(X) -> n__isPal(X)
31.86/10.92	      a() -> n__a()
31.86/10.92	      e() -> n__e()
31.86/10.92	      i() -> n__i()
31.86/10.92	      activate(n__nil()) -> nil()
31.86/10.92	     weak:
31.86/10.92	      isQid(n__a()) -> tt()
31.86/10.92	      o() -> n__o()
31.86/10.92	      u() -> n__u()
31.86/10.92	      activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.92	      __(X,nil()) -> X
31.86/10.92	      __(nil(),X) -> X
31.86/10.92	      and(tt(),X) -> activate(X)
31.86/10.92	      isList(n__nil()) -> tt()
31.86/10.92	      isNeList(V) -> isQid(activate(V))
31.86/10.92	      isNePal(V) -> isQid(activate(V))
31.86/10.92	      isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.92	      isPal(n__nil()) -> tt()
31.86/10.92	      isQid(n__e()) -> tt()
31.86/10.92	      isQid(n__i()) -> tt()
31.86/10.92	      isQid(n__o()) -> tt()
31.86/10.92	      isQid(n__u()) -> tt()
31.86/10.92	      nil() -> n__nil()
31.86/10.92	      __(X1,X2) -> n____(X1,X2)
31.86/10.92	      isList(X) -> n__isList(X)
31.86/10.92	      isNeList(X) -> n__isNeList(X)
31.86/10.92	      activate(n__isList(X)) -> isList(X)
31.86/10.92	      activate(n__isNeList(X)) -> isNeList(X)
31.86/10.92	      activate(n__isPal(X)) -> isPal(X)
31.86/10.92	      activate(n__a()) -> a()
31.86/10.92	      activate(n__e()) -> e()
31.86/10.92	      activate(n__i()) -> i()
31.86/10.92	      activate(n__o()) -> o()
31.86/10.92	      activate(n__u()) -> u()
31.86/10.92	      activate(X) -> X
31.86/10.92	    Matrix Interpretation Processor: dim=1
31.86/10.92	     
31.86/10.92	     max_matrix:
31.86/10.92	      1
31.86/10.92	     interpretation:
31.86/10.92	      [u] = 0,
31.86/10.92	      
31.86/10.92	      [o] = 16,
31.86/10.92	      
31.86/10.92	      [i] = 0,
31.86/10.92	      
31.86/10.92	      [e] = 0,
31.86/10.92	      
31.86/10.92	      [a] = 0,
31.86/10.92	      
31.86/10.92	      [n__u] = 0,
31.86/10.92	      
31.86/10.92	      [n__o] = 16,
31.86/10.92	      
31.86/10.92	      [n__i] = 22,
31.86/10.92	      
31.86/10.92	      [n__e] = 0,
31.86/10.92	      
31.86/10.92	      [n__a] = 2,
31.86/10.92	      
31.86/10.92	      [isPal](x0) = x0 + 130,
31.86/10.92	      
31.86/10.92	      [n__isPal](x0) = x0 + 208,
31.86/10.92	      
31.86/10.92	      [isNePal](x0) = x0 + 68,
31.86/10.92	      
31.86/10.92	      [n__isNeList](x0) = x0 + 68,
31.86/10.92	      
31.86/10.92	      [isQid](x0) = x0 + 68,
31.86/10.92	      
31.86/10.92	      [n__isList](x0) = x0,
31.86/10.92	      
31.86/10.92	      [n____](x0, x1) = x0 + x1 + 128,
31.86/10.92	      
31.86/10.92	      [n__nil] = 64,
31.86/10.92	      
31.86/10.92	      [isNeList](x0) = x0 + 68,
31.86/10.92	      
31.86/10.92	      [isList](x0) = x0,
31.86/10.92	      
31.86/10.92	      [activate](x0) = x0,
31.86/10.92	      
31.86/10.92	      [and](x0, x1) = x0 + x1 + 4,
31.86/10.92	      
31.86/10.92	      [tt] = 64,
31.86/10.92	      
31.86/10.92	      [nil] = 64,
31.86/10.92	      
31.86/10.92	      [__](x0, x1) = x0 + x1 + 128
31.86/10.92	     orientation:
31.86/10.92	      __(__(X,Y),Z) = X + Y + Z + 256 >= X + Y + Z + 256 = __(X,__(Y,Z))
31.86/10.92	      
31.86/10.92	      isList(V) = V >= V + 68 = isNeList(activate(V))
31.86/10.92	      
31.86/10.92	      isList(n____(V1,V2)) = V1 + V2 + 128 >= V1 + V2 + 4 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	      
31.86/10.92	      isNeList(n____(V1,V2)) = V1 + V2 + 196 >= V1 + V2 + 72 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.92	      
31.86/10.92	      isNeList(n____(V1,V2)) = V1 + V2 + 196 >= V1 + V2 + 72 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	      
31.86/10.92	      isPal(V) = V + 130 >= V + 68 = isNePal(activate(V))
31.86/10.92	      
31.86/10.92	      isPal(X) = X + 130 >= X + 208 = n__isPal(X)
31.86/10.92	      
31.86/10.92	      a() = 0 >= 2 = n__a()
31.86/10.92	      
31.86/10.92	      e() = 0 >= 0 = n__e()
31.86/10.92	      
31.86/10.92	      i() = 0 >= 22 = n__i()
31.86/10.92	      
31.86/10.92	      activate(n__nil()) = 64 >= 64 = nil()
31.86/10.92	      
31.86/10.92	      isQid(n__a()) = 70 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      o() = 16 >= 16 = n__o()
31.86/10.92	      
31.86/10.92	      u() = 0 >= 0 = n__u()
31.86/10.92	      
31.86/10.92	      activate(n____(X1,X2)) = X1 + X2 + 128 >= X1 + X2 + 128 = __(X1,X2)
31.86/10.92	      
31.86/10.92	      __(X,nil()) = X + 192 >= X = X
31.86/10.92	      
31.86/10.92	      __(nil(),X) = X + 192 >= X = X
31.86/10.92	      
31.86/10.92	      and(tt(),X) = X + 68 >= X = activate(X)
31.86/10.92	      
31.86/10.92	      isList(n__nil()) = 64 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      isNeList(V) = V + 68 >= V + 68 = isQid(activate(V))
31.86/10.92	      
31.86/10.92	      isNePal(V) = V + 68 >= V + 68 = isQid(activate(V))
31.86/10.92	      
31.86/10.92	      isNePal(n____(I,__(P,I))) = 2I + P + 324 >= I + P + 280 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.92	      
31.86/10.92	      isPal(n__nil()) = 194 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      isQid(n__e()) = 68 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      isQid(n__i()) = 90 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      isQid(n__o()) = 84 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      isQid(n__u()) = 68 >= 64 = tt()
31.86/10.92	      
31.86/10.92	      nil() = 64 >= 64 = n__nil()
31.86/10.92	      
31.86/10.92	      __(X1,X2) = X1 + X2 + 128 >= X1 + X2 + 128 = n____(X1,X2)
31.86/10.92	      
31.86/10.92	      isList(X) = X >= X = n__isList(X)
31.86/10.92	      
31.86/10.92	      isNeList(X) = X + 68 >= X + 68 = n__isNeList(X)
31.86/10.92	      
31.86/10.92	      activate(n__isList(X)) = X >= X = isList(X)
31.86/10.92	      
31.86/10.92	      activate(n__isNeList(X)) = X + 68 >= X + 68 = isNeList(X)
31.86/10.92	      
31.86/10.92	      activate(n__isPal(X)) = X + 208 >= X + 130 = isPal(X)
31.86/10.92	      
31.86/10.92	      activate(n__a()) = 2 >= 0 = a()
31.86/10.92	      
31.86/10.92	      activate(n__e()) = 0 >= 0 = e()
31.86/10.92	      
31.86/10.92	      activate(n__i()) = 22 >= 0 = i()
31.86/10.92	      
31.86/10.92	      activate(n__o()) = 16 >= 16 = o()
31.86/10.92	      
31.86/10.92	      activate(n__u()) = 0 >= 0 = u()
31.86/10.92	      
31.86/10.92	      activate(X) = X >= X = X
31.86/10.92	     problem:
31.86/10.92	      strict:
31.86/10.92	       __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.92	       isList(V) -> isNeList(activate(V))
31.86/10.92	       isPal(X) -> n__isPal(X)
31.86/10.92	       a() -> n__a()
31.86/10.92	       e() -> n__e()
31.86/10.92	       i() -> n__i()
31.86/10.92	       activate(n__nil()) -> nil()
31.86/10.92	      weak:
31.86/10.92	       isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	       isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.92	       isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.92	       isPal(V) -> isNePal(activate(V))
31.86/10.92	       isQid(n__a()) -> tt()
31.86/10.92	       o() -> n__o()
31.86/10.92	       u() -> n__u()
31.86/10.92	       activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.92	       __(X,nil()) -> X
31.86/10.92	       __(nil(),X) -> X
31.86/10.92	       and(tt(),X) -> activate(X)
31.86/10.92	       isList(n__nil()) -> tt()
31.86/10.92	       isNeList(V) -> isQid(activate(V))
31.86/10.92	       isNePal(V) -> isQid(activate(V))
31.86/10.92	       isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.92	       isPal(n__nil()) -> tt()
31.86/10.92	       isQid(n__e()) -> tt()
31.86/10.92	       isQid(n__i()) -> tt()
31.86/10.92	       isQid(n__o()) -> tt()
31.86/10.92	       isQid(n__u()) -> tt()
31.86/10.92	       nil() -> n__nil()
31.86/10.92	       __(X1,X2) -> n____(X1,X2)
31.86/10.92	       isList(X) -> n__isList(X)
31.86/10.92	       isNeList(X) -> n__isNeList(X)
31.86/10.92	       activate(n__isList(X)) -> isList(X)
31.86/10.92	       activate(n__isNeList(X)) -> isNeList(X)
31.86/10.92	       activate(n__isPal(X)) -> isPal(X)
31.86/10.92	       activate(n__a()) -> a()
31.86/10.92	       activate(n__e()) -> e()
31.86/10.92	       activate(n__i()) -> i()
31.86/10.92	       activate(n__o()) -> o()
31.86/10.92	       activate(n__u()) -> u()
31.86/10.92	       activate(X) -> X
31.86/10.92	     Matrix Interpretation Processor: dim=1
31.86/10.93	      
31.86/10.93	      max_matrix:
31.86/10.93	       1
31.86/10.93	      interpretation:
31.86/10.93	       [u] = 16,
31.86/10.93	       
31.86/10.93	       [o] = 1,
31.86/10.93	       
31.86/10.93	       [i] = 2,
31.86/10.93	       
31.86/10.93	       [e] = 0,
31.86/10.93	       
31.86/10.93	       [a] = 0,
31.86/10.93	       
31.86/10.93	       [n__u] = 14,
31.86/10.93	       
31.86/10.93	       [n__o] = 0,
31.86/10.93	       
31.86/10.93	       [n__i] = 0,
31.86/10.93	       
31.86/10.93	       [n__e] = 0,
31.86/10.93	       
31.86/10.93	       [n__a] = 24,
31.86/10.93	       
31.86/10.93	       [isPal](x0) = x0 + 24,
31.86/10.93	       
31.86/10.93	       [n__isPal](x0) = x0 + 24,
31.86/10.93	       
31.86/10.93	       [isNePal](x0) = x0 + 16,
31.86/10.93	       
31.86/10.93	       [n__isNeList](x0) = x0 + 16,
31.86/10.93	       
31.86/10.93	       [isQid](x0) = x0 + 5,
31.86/10.93	       
31.86/10.93	       [n__isList](x0) = x0 + 1,
31.86/10.93	       
31.86/10.93	       [n____](x0, x1) = x0 + x1 + 17,
31.86/10.93	       
31.86/10.93	       [n__nil] = 14,
31.86/10.93	       
31.86/10.93	       [isNeList](x0) = x0 + 16,
31.86/10.93	       
31.86/10.93	       [isList](x0) = x0 + 1,
31.86/10.93	       
31.86/10.93	       [activate](x0) = x0 + 2,
31.86/10.93	       
31.86/10.93	       [and](x0, x1) = x0 + x1 + 10,
31.86/10.93	       
31.86/10.93	       [tt] = 0,
31.86/10.93	       
31.86/10.93	       [nil] = 14,
31.86/10.93	       
31.86/10.93	       [__](x0, x1) = x0 + x1 + 18
31.86/10.93	      orientation:
31.86/10.93	       __(__(X,Y),Z) = X + Y + Z + 36 >= X + Y + Z + 36 = __(X,__(Y,Z))
31.86/10.93	       
31.86/10.93	       isList(V) = V + 1 >= V + 18 = isNeList(activate(V))
31.86/10.93	       
31.86/10.93	       isPal(X) = X + 24 >= X + 24 = n__isPal(X)
31.86/10.93	       
31.86/10.93	       a() = 0 >= 24 = n__a()
31.86/10.93	       
31.86/10.93	       e() = 0 >= 0 = n__e()
31.86/10.93	       
31.86/10.93	       i() = 2 >= 0 = n__i()
31.86/10.93	       
31.86/10.93	       activate(n__nil()) = 16 >= 14 = nil()
31.86/10.93	       
31.86/10.93	       isList(n____(V1,V2)) = V1 + V2 + 18 >= V1 + V2 + 16 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	       
31.86/10.93	       isNeList(n____(V1,V2)) = V1 + V2 + 33 >= V1 + V2 + 31 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.93	       
31.86/10.93	       isNeList(n____(V1,V2)) = V1 + V2 + 33 >= V1 + V2 + 31 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	       
31.86/10.93	       isPal(V) = V + 24 >= V + 18 = isNePal(activate(V))
31.86/10.93	       
31.86/10.93	       isQid(n__a()) = 29 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       o() = 1 >= 0 = n__o()
31.86/10.93	       
31.86/10.93	       u() = 16 >= 14 = n__u()
31.86/10.93	       
31.86/10.93	       activate(n____(X1,X2)) = X1 + X2 + 19 >= X1 + X2 + 18 = __(X1,X2)
31.86/10.93	       
31.86/10.93	       __(X,nil()) = X + 32 >= X = X
31.86/10.93	       
31.86/10.93	       __(nil(),X) = X + 32 >= X = X
31.86/10.93	       
31.86/10.93	       and(tt(),X) = X + 10 >= X + 2 = activate(X)
31.86/10.93	       
31.86/10.93	       isList(n__nil()) = 15 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       isNeList(V) = V + 16 >= V + 7 = isQid(activate(V))
31.86/10.93	       
31.86/10.93	       isNePal(V) = V + 16 >= V + 7 = isQid(activate(V))
31.86/10.93	       
31.86/10.93	       isNePal(n____(I,__(P,I))) = 2I + P + 51 >= I + P + 43 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.93	       
31.86/10.93	       isPal(n__nil()) = 38 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       isQid(n__e()) = 5 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       isQid(n__i()) = 5 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       isQid(n__o()) = 5 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       isQid(n__u()) = 19 >= 0 = tt()
31.86/10.93	       
31.86/10.93	       nil() = 14 >= 14 = n__nil()
31.86/10.93	       
31.86/10.93	       __(X1,X2) = X1 + X2 + 18 >= X1 + X2 + 17 = n____(X1,X2)
31.86/10.93	       
31.86/10.93	       isList(X) = X + 1 >= X + 1 = n__isList(X)
31.86/10.93	       
31.86/10.93	       isNeList(X) = X + 16 >= X + 16 = n__isNeList(X)
31.86/10.93	       
31.86/10.93	       activate(n__isList(X)) = X + 3 >= X + 1 = isList(X)
31.86/10.93	       
31.86/10.93	       activate(n__isNeList(X)) = X + 18 >= X + 16 = isNeList(X)
31.86/10.93	       
31.86/10.93	       activate(n__isPal(X)) = X + 26 >= X + 24 = isPal(X)
31.86/10.93	       
31.86/10.93	       activate(n__a()) = 26 >= 0 = a()
31.86/10.93	       
31.86/10.93	       activate(n__e()) = 2 >= 0 = e()
31.86/10.93	       
31.86/10.93	       activate(n__i()) = 2 >= 2 = i()
31.86/10.93	       
31.86/10.93	       activate(n__o()) = 2 >= 1 = o()
31.86/10.93	       
31.86/10.93	       activate(n__u()) = 16 >= 16 = u()
31.86/10.93	       
31.86/10.93	       activate(X) = X + 2 >= X = X
31.86/10.93	      problem:
31.86/10.93	       strict:
31.86/10.93	        __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.93	        isList(V) -> isNeList(activate(V))
31.86/10.93	        isPal(X) -> n__isPal(X)
31.86/10.93	        a() -> n__a()
31.86/10.93	        e() -> n__e()
31.86/10.93	       weak:
31.86/10.93	        i() -> n__i()
31.86/10.93	        activate(n__nil()) -> nil()
31.86/10.93	        isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	        isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.93	        isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	        isPal(V) -> isNePal(activate(V))
31.86/10.93	        isQid(n__a()) -> tt()
31.86/10.93	        o() -> n__o()
31.86/10.93	        u() -> n__u()
31.86/10.93	        activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.93	        __(X,nil()) -> X
31.86/10.93	        __(nil(),X) -> X
31.86/10.93	        and(tt(),X) -> activate(X)
31.86/10.93	        isList(n__nil()) -> tt()
31.86/10.93	        isNeList(V) -> isQid(activate(V))
31.86/10.93	        isNePal(V) -> isQid(activate(V))
31.86/10.93	        isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.93	        isPal(n__nil()) -> tt()
31.86/10.93	        isQid(n__e()) -> tt()
31.86/10.93	        isQid(n__i()) -> tt()
31.86/10.93	        isQid(n__o()) -> tt()
31.86/10.93	        isQid(n__u()) -> tt()
31.86/10.93	        nil() -> n__nil()
31.86/10.93	        __(X1,X2) -> n____(X1,X2)
31.86/10.93	        isList(X) -> n__isList(X)
31.86/10.93	        isNeList(X) -> n__isNeList(X)
31.86/10.93	        activate(n__isList(X)) -> isList(X)
31.86/10.93	        activate(n__isNeList(X)) -> isNeList(X)
31.86/10.93	        activate(n__isPal(X)) -> isPal(X)
31.86/10.93	        activate(n__a()) -> a()
31.86/10.93	        activate(n__e()) -> e()
31.86/10.93	        activate(n__i()) -> i()
31.86/10.93	        activate(n__o()) -> o()
31.86/10.93	        activate(n__u()) -> u()
31.86/10.93	        activate(X) -> X
31.86/10.93	      Matrix Interpretation Processor: dim=1
31.86/10.93	       
31.86/10.93	       max_matrix:
31.86/10.93	        1
31.86/10.93	       interpretation:
31.86/10.93	        [u] = 0,
31.86/10.93	        
31.86/10.93	        [o] = 0,
31.86/10.93	        
31.86/10.93	        [i] = 1,
31.86/10.93	        
31.86/10.93	        [e] = 0,
31.86/10.93	        
31.86/10.93	        [a] = 0,
31.86/10.93	        
31.86/10.93	        [n__u] = 0,
31.86/10.93	        
31.86/10.93	        [n__o] = 0,
31.86/10.93	        
31.86/10.93	        [n__i] = 1,
31.86/10.93	        
31.86/10.93	        [n__e] = 0,
31.86/10.93	        
31.86/10.93	        [n__a] = 0,
31.86/10.93	        
31.86/10.93	        [isPal](x0) = x0 + 4,
31.86/10.93	        
31.86/10.93	        [n__isPal](x0) = x0 + 4,
31.86/10.93	        
31.86/10.93	        [isNePal](x0) = x0 + 3,
31.86/10.93	        
31.86/10.93	        [n__isNeList](x0) = x0 + 1,
31.86/10.93	        
31.86/10.93	        [isQid](x0) = x0 + 1,
31.86/10.93	        
31.86/10.93	        [n__isList](x0) = x0 + 8,
31.86/10.93	        
31.86/10.93	        [n____](x0, x1) = x0 + x1 + 10,
31.86/10.93	        
31.86/10.93	        [n__nil] = 0,
31.86/10.93	        
31.86/10.93	        [isNeList](x0) = x0 + 1,
31.86/10.93	        
31.86/10.93	        [isList](x0) = x0 + 8,
31.86/10.93	        
31.86/10.93	        [activate](x0) = x0,
31.86/10.93	        
31.86/10.93	        [and](x0, x1) = x0 + x1 + 2,
31.86/10.93	        
31.86/10.93	        [tt] = 0,
31.86/10.93	        
31.86/10.93	        [nil] = 0,
31.86/10.93	        
31.86/10.93	        [__](x0, x1) = x0 + x1 + 10
31.86/10.93	       orientation:
31.86/10.93	        __(__(X,Y),Z) = X + Y + Z + 20 >= X + Y + Z + 20 = __(X,__(Y,Z))
31.86/10.93	        
31.86/10.93	        isList(V) = V + 8 >= V + 1 = isNeList(activate(V))
31.86/10.93	        
31.86/10.93	        isPal(X) = X + 4 >= X + 4 = n__isPal(X)
31.86/10.93	        
31.86/10.93	        a() = 0 >= 0 = n__a()
31.86/10.93	        
31.86/10.93	        e() = 0 >= 0 = n__e()
31.86/10.93	        
31.86/10.93	        i() = 1 >= 1 = n__i()
31.86/10.93	        
31.86/10.93	        activate(n__nil()) = 0 >= 0 = nil()
31.86/10.93	        
31.86/10.93	        isList(n____(V1,V2)) = V1 + V2 + 18 >= V1 + V2 + 18 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	        
31.86/10.93	        isNeList(n____(V1,V2)) = V1 + V2 + 11 >= V1 + V2 + 11 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.93	        
31.86/10.93	        isNeList(n____(V1,V2)) = V1 + V2 + 11 >= V1 + V2 + 11 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	        
31.86/10.93	        isPal(V) = V + 4 >= V + 3 = isNePal(activate(V))
31.86/10.93	        
31.86/10.93	        isQid(n__a()) = 1 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        o() = 0 >= 0 = n__o()
31.86/10.93	        
31.86/10.93	        u() = 0 >= 0 = n__u()
31.86/10.93	        
31.86/10.93	        activate(n____(X1,X2)) = X1 + X2 + 10 >= X1 + X2 + 10 = __(X1,X2)
31.86/10.93	        
31.86/10.93	        __(X,nil()) = X + 10 >= X = X
31.86/10.93	        
31.86/10.93	        __(nil(),X) = X + 10 >= X = X
31.86/10.93	        
31.86/10.93	        and(tt(),X) = X + 2 >= X = activate(X)
31.86/10.93	        
31.86/10.93	        isList(n__nil()) = 8 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        isNeList(V) = V + 1 >= V + 1 = isQid(activate(V))
31.86/10.93	        
31.86/10.93	        isNePal(V) = V + 3 >= V + 1 = isQid(activate(V))
31.86/10.93	        
31.86/10.93	        isNePal(n____(I,__(P,I))) = 2I + P + 23 >= I + P + 7 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.93	        
31.86/10.93	        isPal(n__nil()) = 4 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        isQid(n__e()) = 1 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        isQid(n__i()) = 2 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        isQid(n__o()) = 1 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        isQid(n__u()) = 1 >= 0 = tt()
31.86/10.93	        
31.86/10.93	        nil() = 0 >= 0 = n__nil()
31.86/10.93	        
31.86/10.93	        __(X1,X2) = X1 + X2 + 10 >= X1 + X2 + 10 = n____(X1,X2)
31.86/10.93	        
31.86/10.93	        isList(X) = X + 8 >= X + 8 = n__isList(X)
31.86/10.93	        
31.86/10.93	        isNeList(X) = X + 1 >= X + 1 = n__isNeList(X)
31.86/10.93	        
31.86/10.93	        activate(n__isList(X)) = X + 8 >= X + 8 = isList(X)
31.86/10.93	        
31.86/10.93	        activate(n__isNeList(X)) = X + 1 >= X + 1 = isNeList(X)
31.86/10.93	        
31.86/10.93	        activate(n__isPal(X)) = X + 4 >= X + 4 = isPal(X)
31.86/10.93	        
31.86/10.93	        activate(n__a()) = 0 >= 0 = a()
31.86/10.93	        
31.86/10.93	        activate(n__e()) = 0 >= 0 = e()
31.86/10.93	        
31.86/10.93	        activate(n__i()) = 1 >= 1 = i()
31.86/10.93	        
31.86/10.93	        activate(n__o()) = 0 >= 0 = o()
31.86/10.93	        
31.86/10.93	        activate(n__u()) = 0 >= 0 = u()
31.86/10.93	        
31.86/10.93	        activate(X) = X >= X = X
31.86/10.93	       problem:
31.86/10.93	        strict:
31.86/10.93	         __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.93	         isPal(X) -> n__isPal(X)
31.86/10.93	         a() -> n__a()
31.86/10.93	         e() -> n__e()
31.86/10.93	        weak:
31.86/10.93	         isList(V) -> isNeList(activate(V))
31.86/10.93	         i() -> n__i()
31.86/10.93	         activate(n__nil()) -> nil()
31.86/10.93	         isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	         isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.93	         isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	         isPal(V) -> isNePal(activate(V))
31.86/10.93	         isQid(n__a()) -> tt()
31.86/10.93	         o() -> n__o()
31.86/10.93	         u() -> n__u()
31.86/10.93	         activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.93	         __(X,nil()) -> X
31.86/10.93	         __(nil(),X) -> X
31.86/10.93	         and(tt(),X) -> activate(X)
31.86/10.93	         isList(n__nil()) -> tt()
31.86/10.93	         isNeList(V) -> isQid(activate(V))
31.86/10.93	         isNePal(V) -> isQid(activate(V))
31.86/10.93	         isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.93	         isPal(n__nil()) -> tt()
31.86/10.93	         isQid(n__e()) -> tt()
31.86/10.93	         isQid(n__i()) -> tt()
31.86/10.93	         isQid(n__o()) -> tt()
31.86/10.93	         isQid(n__u()) -> tt()
31.86/10.93	         nil() -> n__nil()
31.86/10.93	         __(X1,X2) -> n____(X1,X2)
31.86/10.93	         isList(X) -> n__isList(X)
31.86/10.93	         isNeList(X) -> n__isNeList(X)
31.86/10.93	         activate(n__isList(X)) -> isList(X)
31.86/10.93	         activate(n__isNeList(X)) -> isNeList(X)
31.86/10.93	         activate(n__isPal(X)) -> isPal(X)
31.86/10.93	         activate(n__a()) -> a()
31.86/10.93	         activate(n__e()) -> e()
31.86/10.93	         activate(n__i()) -> i()
31.86/10.93	         activate(n__o()) -> o()
31.86/10.93	         activate(n__u()) -> u()
31.86/10.93	         activate(X) -> X
31.86/10.93	       Matrix Interpretation Processor: dim=1
31.86/10.93	        
31.86/10.93	        max_matrix:
31.86/10.93	         1
31.86/10.93	        interpretation:
31.86/10.93	         [u] = 1,
31.86/10.93	         
31.86/10.93	         [o] = 9,
31.86/10.93	         
31.86/10.93	         [i] = 1,
31.86/10.93	         
31.86/10.93	         [e] = 5,
31.86/10.93	         
31.86/10.93	         [a] = 9,
31.86/10.93	         
31.86/10.93	         [n__u] = 1,
31.86/10.93	         
31.86/10.93	         [n__o] = 9,
31.86/10.93	         
31.86/10.93	         [n__i] = 1,
31.86/10.93	         
31.86/10.93	         [n__e] = 4,
31.86/10.93	         
31.86/10.93	         [n__a] = 8,
31.86/10.93	         
31.86/10.93	         [isPal](x0) = x0 + 2,
31.86/10.93	         
31.86/10.93	         [n__isPal](x0) = x0 + 1,
31.86/10.93	         
31.86/10.93	         [isNePal](x0) = x0 + 1,
31.86/10.93	         
31.86/10.93	         [n__isNeList](x0) = x0,
31.86/10.93	         
31.86/10.93	         [isQid](x0) = x0,
31.86/10.93	         
31.86/10.93	         [n__isList](x0) = x0 + 1,
31.86/10.93	         
31.86/10.93	         [n____](x0, x1) = x0 + x1 + 3,
31.86/10.93	         
31.86/10.93	         [n__nil] = 16,
31.86/10.93	         
31.86/10.93	         [isNeList](x0) = x0 + 1,
31.86/10.93	         
31.86/10.93	         [isList](x0) = x0 + 2,
31.86/10.93	         
31.86/10.93	         [activate](x0) = x0 + 1,
31.86/10.93	         
31.86/10.93	         [and](x0, x1) = x0 + x1,
31.86/10.93	         
31.86/10.93	         [tt] = 1,
31.86/10.93	         
31.86/10.93	         [nil] = 16,
31.86/10.93	         
31.86/10.93	         [__](x0, x1) = x0 + x1 + 3
31.86/10.93	        orientation:
31.86/10.93	         __(__(X,Y),Z) = X + Y + Z + 6 >= X + Y + Z + 6 = __(X,__(Y,Z))
31.86/10.93	         
31.86/10.93	         isPal(X) = X + 2 >= X + 1 = n__isPal(X)
31.86/10.93	         
31.86/10.93	         a() = 9 >= 8 = n__a()
31.86/10.93	         
31.86/10.93	         e() = 5 >= 4 = n__e()
31.86/10.93	         
31.86/10.93	         isList(V) = V + 2 >= V + 2 = isNeList(activate(V))
31.86/10.93	         
31.86/10.93	         i() = 1 >= 1 = n__i()
31.86/10.93	         
31.86/10.93	         activate(n__nil()) = 17 >= 16 = nil()
31.86/10.93	         
31.86/10.93	         isList(n____(V1,V2)) = V1 + V2 + 5 >= V1 + V2 + 5 = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	         
31.86/10.93	         isNeList(n____(V1,V2)) = V1 + V2 + 4 >= V1 + V2 + 4 = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.93	         
31.86/10.93	         isNeList(n____(V1,V2)) = V1 + V2 + 4 >= V1 + V2 + 4 = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.93	         
31.86/10.93	         isPal(V) = V + 2 >= V + 2 = isNePal(activate(V))
31.86/10.93	         
31.86/10.93	         isQid(n__a()) = 8 >= 1 = tt()
31.86/10.93	         
31.86/10.93	         o() = 9 >= 9 = n__o()
31.86/10.93	         
31.86/10.93	         u() = 1 >= 1 = n__u()
31.86/10.93	         
31.86/10.93	         activate(n____(X1,X2)) = X1 + X2 + 4 >= X1 + X2 + 3 = __(X1,X2)
31.86/10.93	         
31.86/10.93	         __(X,nil()) = X + 19 >= X = X
31.86/10.93	         
31.86/10.93	         __(nil(),X) = X + 19 >= X = X
31.86/10.93	         
31.86/10.93	         and(tt(),X) = X + 1 >= X + 1 = activate(X)
31.86/10.93	         
31.86/10.93	         isList(n__nil()) = 18 >= 1 = tt()
31.86/10.93	         
31.86/10.93	         isNeList(V) = V + 1 >= V + 1 = isQid(activate(V))
31.86/10.93	         
31.86/10.93	         isNePal(V) = V + 1 >= V + 1 = isQid(activate(V))
31.86/10.94	         
31.86/10.94	         isNePal(n____(I,__(P,I))) = 2I + P + 7 >= I + P + 3 = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.94	         
31.86/10.94	         isPal(n__nil()) = 18 >= 1 = tt()
31.86/10.94	         
31.86/10.94	         isQid(n__e()) = 4 >= 1 = tt()
31.86/10.94	         
31.86/10.94	         isQid(n__i()) = 1 >= 1 = tt()
31.86/10.94	         
31.86/10.94	         isQid(n__o()) = 9 >= 1 = tt()
31.86/10.94	         
31.86/10.94	         isQid(n__u()) = 1 >= 1 = tt()
31.86/10.94	         
31.86/10.94	         nil() = 16 >= 16 = n__nil()
31.86/10.94	         
31.86/10.94	         __(X1,X2) = X1 + X2 + 3 >= X1 + X2 + 3 = n____(X1,X2)
31.86/10.94	         
31.86/10.94	         isList(X) = X + 2 >= X + 1 = n__isList(X)
31.86/10.94	         
31.86/10.94	         isNeList(X) = X + 1 >= X = n__isNeList(X)
31.86/10.94	         
31.86/10.94	         activate(n__isList(X)) = X + 2 >= X + 2 = isList(X)
31.86/10.94	         
31.86/10.94	         activate(n__isNeList(X)) = X + 1 >= X + 1 = isNeList(X)
31.86/10.94	         
31.86/10.94	         activate(n__isPal(X)) = X + 2 >= X + 2 = isPal(X)
31.86/10.94	         
31.86/10.94	         activate(n__a()) = 9 >= 9 = a()
31.86/10.94	         
31.86/10.94	         activate(n__e()) = 5 >= 5 = e()
31.86/10.94	         
31.86/10.94	         activate(n__i()) = 2 >= 1 = i()
31.86/10.94	         
31.86/10.94	         activate(n__o()) = 10 >= 9 = o()
31.86/10.94	         
31.86/10.94	         activate(n__u()) = 2 >= 1 = u()
31.86/10.94	         
31.86/10.94	         activate(X) = X + 1 >= X = X
31.86/10.94	        problem:
31.86/10.94	         strict:
31.86/10.94	          __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.94	         weak:
31.86/10.94	          isPal(X) -> n__isPal(X)
31.86/10.94	          a() -> n__a()
31.86/10.94	          e() -> n__e()
31.86/10.94	          isList(V) -> isNeList(activate(V))
31.86/10.94	          i() -> n__i()
31.86/10.94	          activate(n__nil()) -> nil()
31.86/10.94	          isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	          isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.94	          isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	          isPal(V) -> isNePal(activate(V))
31.86/10.94	          isQid(n__a()) -> tt()
31.86/10.94	          o() -> n__o()
31.86/10.94	          u() -> n__u()
31.86/10.94	          activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.94	          __(X,nil()) -> X
31.86/10.94	          __(nil(),X) -> X
31.86/10.94	          and(tt(),X) -> activate(X)
31.86/10.94	          isList(n__nil()) -> tt()
31.86/10.94	          isNeList(V) -> isQid(activate(V))
31.86/10.94	          isNePal(V) -> isQid(activate(V))
31.86/10.94	          isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.94	          isPal(n__nil()) -> tt()
31.86/10.94	          isQid(n__e()) -> tt()
31.86/10.94	          isQid(n__i()) -> tt()
31.86/10.94	          isQid(n__o()) -> tt()
31.86/10.94	          isQid(n__u()) -> tt()
31.86/10.94	          nil() -> n__nil()
31.86/10.94	          __(X1,X2) -> n____(X1,X2)
31.86/10.94	          isList(X) -> n__isList(X)
31.86/10.94	          isNeList(X) -> n__isNeList(X)
31.86/10.94	          activate(n__isList(X)) -> isList(X)
31.86/10.94	          activate(n__isNeList(X)) -> isNeList(X)
31.86/10.94	          activate(n__isPal(X)) -> isPal(X)
31.86/10.94	          activate(n__a()) -> a()
31.86/10.94	          activate(n__e()) -> e()
31.86/10.94	          activate(n__i()) -> i()
31.86/10.94	          activate(n__o()) -> o()
31.86/10.94	          activate(n__u()) -> u()
31.86/10.94	          activate(X) -> X
31.86/10.94	        Matrix Interpretation Processor: dim=2
31.86/10.94	         
31.86/10.94	         max_matrix:
31.86/10.94	          [1 2]
31.86/10.94	          [0 1]
31.86/10.94	         interpretation:
31.86/10.94	                [1]
31.86/10.94	          [u] = [0],
31.86/10.94	          
31.86/10.94	                [0]
31.86/10.94	          [o] = [0],
31.86/10.94	          
31.86/10.94	                [2]
31.86/10.94	          [i] = [0],
31.86/10.94	          
31.86/10.94	                [0]
31.86/10.94	          [e] = [0],
31.86/10.94	          
31.86/10.94	                [0]
31.86/10.94	          [a] = [0],
31.86/10.94	          
31.86/10.94	                   [1]
31.86/10.94	          [n__u] = [0],
31.86/10.94	          
31.86/10.94	                   [0]
31.86/10.94	          [n__o] = [0],
31.86/10.94	          
31.86/10.94	                   [2]
31.86/10.94	          [n__i] = [0],
31.86/10.94	          
31.86/10.94	                   [0]
31.86/10.94	          [n__e] = [0],
31.86/10.94	          
31.86/10.94	                   [0]
31.86/10.94	          [n__a] = [0],
31.86/10.94	          
31.86/10.94	                        [1 0]     [1]
31.86/10.94	          [isPal](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                           [1 0]     [1]
31.86/10.94	          [n__isPal](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                          [1 0]     [1]
31.86/10.94	          [isNePal](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                              [1 2]     [0]
31.86/10.94	          [n__isNeList](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                        [1 0]     [0]
31.86/10.94	          [isQid](x0) = [0 0]x0 + [1],
31.86/10.94	          
31.86/10.94	                            [1 2]     [0]
31.86/10.94	          [n__isList](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                            [1 1]          [2]
31.86/10.94	          [n____](x0, x1) = [0 1]x0 + x1 + [1],
31.86/10.94	          
31.86/10.94	                     [0]
31.86/10.94	          [n__nil] = [0],
31.86/10.94	          
31.86/10.94	                           [1 2]     [0]
31.86/10.94	          [isNeList](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                         [1 2]     [0]
31.86/10.94	          [isList](x0) = [0 0]x0 + [2],
31.86/10.94	          
31.86/10.94	                             
31.86/10.94	          [activate](x0) = x0,
31.86/10.94	          
31.86/10.94	                          [1 0]     [1 2]  
31.86/10.94	          [and](x0, x1) = [0 0]x0 + [0 1]x1,
31.86/10.94	          
31.86/10.94	                 [0]
31.86/10.94	          [tt] = [0],
31.86/10.94	          
31.86/10.94	                  [0]
31.86/10.94	          [nil] = [0],
31.86/10.94	          
31.86/10.94	                         [1 1]          [2]
31.86/10.94	          [__](x0, x1) = [0 1]x0 + x1 + [1]
31.86/10.94	         orientation:
31.86/10.94	                          [1 2]    [1 1]        [5]    [1 1]    [1 1]        [4]                
31.86/10.94	          __(__(X,Y),Z) = [0 1]X + [0 1]Y + Z + [2] >= [0 1]X + [0 1]Y + Z + [2] = __(X,__(Y,Z))
31.86/10.94	          
31.86/10.94	                     [1 0]    [1]    [1 0]    [1]              
31.86/10.94	          isPal(X) = [0 0]X + [2] >= [0 0]X + [2] = n__isPal(X)
31.86/10.94	          
31.86/10.94	                [0]    [0]         
31.86/10.94	          a() = [0] >= [0] = n__a()
31.86/10.94	          
31.86/10.94	                [0]    [0]         
31.86/10.94	          e() = [0] >= [0] = n__e()
31.86/10.94	          
31.86/10.94	                      [1 2]    [0]    [1 2]    [0]                        
31.86/10.94	          isList(V) = [0 0]V + [2] >= [0 0]V + [2] = isNeList(activate(V))
31.86/10.94	          
31.86/10.94	                [2]    [2]         
31.86/10.94	          i() = [0] >= [0] = n__i()
31.86/10.94	          
31.86/10.94	                               [0]    [0]        
31.86/10.94	          activate(n__nil()) = [0] >= [0] = nil()
31.86/10.94	          
31.86/10.94	                                 [1 3]     [1 2]     [4]    [1 2]     [1 2]     [4]                                                    
31.86/10.94	          isList(n____(V1,V2)) = [0 0]V1 + [0 0]V2 + [2] >= [0 0]V1 + [0 0]V2 + [2] = and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	          
31.86/10.94	                                   [1 3]     [1 2]     [4]    [1 2]     [1 2]     [4]                                                      
31.86/10.94	          isNeList(n____(V1,V2)) = [0 0]V1 + [0 0]V2 + [2] >= [0 0]V1 + [0 0]V2 + [2] = and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.94	          
31.86/10.94	                                   [1 3]     [1 2]     [4]    [1 2]     [1 2]     [4]                                                      
31.86/10.94	          isNeList(n____(V1,V2)) = [0 0]V1 + [0 0]V2 + [2] >= [0 0]V1 + [0 0]V2 + [2] = and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	          
31.86/10.94	                     [1 0]    [1]    [1 0]    [1]                       
31.86/10.94	          isPal(V) = [0 0]V + [2] >= [0 0]V + [2] = isNePal(activate(V))
31.86/10.94	          
31.86/10.94	                          [0]    [0]       
31.86/10.94	          isQid(n__a()) = [1] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                [0]    [0]         
31.86/10.94	          o() = [0] >= [0] = n__o()
31.86/10.94	          
31.86/10.94	                [1]    [1]         
31.86/10.94	          u() = [0] >= [0] = n__u()
31.86/10.94	          
31.86/10.94	                                   [1 1]          [2]    [1 1]          [2]            
31.86/10.94	          activate(n____(X1,X2)) = [0 1]X1 + X2 + [1] >= [0 1]X1 + X2 + [1] = __(X1,X2)
31.86/10.94	          
31.86/10.94	                        [1 1]    [2]         
31.86/10.94	          __(X,nil()) = [0 1]X + [1] >= X = X
31.86/10.94	          
31.86/10.94	                            [2]         
31.86/10.94	          __(nil(),X) = X + [1] >= X = X
31.86/10.94	          
31.86/10.94	                        [1 2]                    
31.86/10.94	          and(tt(),X) = [0 1]X >= X = activate(X)
31.86/10.94	          
31.86/10.94	                             [0]    [0]       
31.86/10.94	          isList(n__nil()) = [2] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                        [1 2]    [0]    [1 0]    [0]                     
31.86/10.94	          isNeList(V) = [0 0]V + [2] >= [0 0]V + [1] = isQid(activate(V))
31.86/10.94	          
31.86/10.94	                       [1 0]    [1]    [1 0]    [0]                     
31.86/10.94	          isNePal(V) = [0 0]V + [2] >= [0 0]V + [1] = isQid(activate(V))
31.86/10.94	          
31.86/10.94	                                      [2 1]    [1 1]    [5]    [1 0]    [1 0]    [5]                                                
31.86/10.94	          isNePal(n____(I,__(P,I))) = [0 0]I + [0 0]P + [2] >= [0 0]I + [0 0]P + [2] = and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.94	          
31.86/10.94	                            [1]    [0]       
31.86/10.94	          isPal(n__nil()) = [2] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                          [0]    [0]       
31.86/10.94	          isQid(n__e()) = [1] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                          [2]    [0]       
31.86/10.94	          isQid(n__i()) = [1] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                          [0]    [0]       
31.86/10.94	          isQid(n__o()) = [1] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                          [1]    [0]       
31.86/10.94	          isQid(n__u()) = [1] >= [0] = tt()
31.86/10.94	          
31.86/10.94	                  [0]    [0]           
31.86/10.94	          nil() = [0] >= [0] = n__nil()
31.86/10.94	          
31.86/10.94	                      [1 1]          [2]    [1 1]          [2]               
31.86/10.94	          __(X1,X2) = [0 1]X1 + X2 + [1] >= [0 1]X1 + X2 + [1] = n____(X1,X2)
31.86/10.94	          
31.86/10.94	                      [1 2]    [0]    [1 2]    [0]               
31.86/10.94	          isList(X) = [0 0]X + [2] >= [0 0]X + [2] = n__isList(X)
31.86/10.94	          
31.86/10.94	                        [1 2]    [0]    [1 2]    [0]                 
31.86/10.94	          isNeList(X) = [0 0]X + [2] >= [0 0]X + [2] = n__isNeList(X)
31.86/10.94	          
31.86/10.94	                                   [1 2]    [0]    [1 2]    [0]            
31.86/10.94	          activate(n__isList(X)) = [0 0]X + [2] >= [0 0]X + [2] = isList(X)
31.86/10.94	          
31.86/10.94	                                     [1 2]    [0]    [1 2]    [0]              
31.86/10.94	          activate(n__isNeList(X)) = [0 0]X + [2] >= [0 0]X + [2] = isNeList(X)
31.86/10.94	          
31.86/10.94	                                  [1 0]    [1]    [1 0]    [1]           
31.86/10.94	          activate(n__isPal(X)) = [0 0]X + [2] >= [0 0]X + [2] = isPal(X)
31.86/10.94	          
31.86/10.94	                             [0]    [0]      
31.86/10.94	          activate(n__a()) = [0] >= [0] = a()
31.86/10.94	          
31.86/10.94	                             [0]    [0]      
31.86/10.94	          activate(n__e()) = [0] >= [0] = e()
31.86/10.94	          
31.86/10.94	                             [2]    [2]      
31.86/10.94	          activate(n__i()) = [0] >= [0] = i()
31.86/10.94	          
31.86/10.94	                             [0]    [0]      
31.86/10.94	          activate(n__o()) = [0] >= [0] = o()
31.86/10.94	          
31.86/10.94	                             [1]    [1]      
31.86/10.94	          activate(n__u()) = [0] >= [0] = u()
31.86/10.94	          
31.86/10.94	                                  
31.86/10.94	          activate(X) = X >= X = X
31.86/10.94	         problem:
31.86/10.94	          strict:
31.86/10.94	           
31.86/10.94	          weak:
31.86/10.94	           __(__(X,Y),Z) -> __(X,__(Y,Z))
31.86/10.94	           isPal(X) -> n__isPal(X)
31.86/10.94	           a() -> n__a()
31.86/10.94	           e() -> n__e()
31.86/10.94	           isList(V) -> isNeList(activate(V))
31.86/10.94	           i() -> n__i()
31.86/10.94	           activate(n__nil()) -> nil()
31.86/10.94	           isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	           isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
31.86/10.94	           isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
31.86/10.94	           isPal(V) -> isNePal(activate(V))
31.86/10.94	           isQid(n__a()) -> tt()
31.86/10.94	           o() -> n__o()
31.86/10.94	           u() -> n__u()
31.86/10.94	           activate(n____(X1,X2)) -> __(X1,X2)
31.86/10.94	           __(X,nil()) -> X
31.86/10.94	           __(nil(),X) -> X
31.86/10.94	           and(tt(),X) -> activate(X)
31.86/10.94	           isList(n__nil()) -> tt()
31.86/10.94	           isNeList(V) -> isQid(activate(V))
31.86/10.94	           isNePal(V) -> isQid(activate(V))
31.86/10.94	           isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
31.86/10.94	           isPal(n__nil()) -> tt()
31.86/10.94	           isQid(n__e()) -> tt()
31.86/10.94	           isQid(n__i()) -> tt()
31.86/10.94	           isQid(n__o()) -> tt()
31.86/10.94	           isQid(n__u()) -> tt()
31.86/10.94	           nil() -> n__nil()
31.86/10.94	           __(X1,X2) -> n____(X1,X2)
31.86/10.94	           isList(X) -> n__isList(X)
31.86/10.94	           isNeList(X) -> n__isNeList(X)
31.86/10.94	           activate(n__isList(X)) -> isList(X)
31.86/10.94	           activate(n__isNeList(X)) -> isNeList(X)
31.86/10.94	           activate(n__isPal(X)) -> isPal(X)
31.86/10.94	           activate(n__a()) -> a()
31.86/10.94	           activate(n__e()) -> e()
31.86/10.94	           activate(n__i()) -> i()
31.86/10.94	           activate(n__o()) -> o()
31.86/10.94	           activate(n__u()) -> u()
31.86/10.94	           activate(X) -> X
31.86/10.94	         Qed
31.86/10.95	EOF