MAYBE Time: 0.874263 TRS: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} DP: DP: { __#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z), isList# V -> U11# isNeList activate V, isList# V -> activate# V, isList# V -> isNeList# activate V, isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2, isList# n____(V1, V2) -> activate# V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), 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#(), U21#(tt(), V2) -> U22# isList activate V2, U21#(tt(), V2) -> isList# activate V2, U21#(tt(), V2) -> activate# V2, isNeList# V -> activate# V, isNeList# V -> U31# isQid activate V, isNeList# V -> isQid# activate V, isNeList# n____(V1, V2) -> isList# activate V1, isNeList# n____(V1, V2) -> activate# V2, isNeList# n____(V1, V2) -> activate# V1, isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U41#(tt(), V2) -> activate# V2, U41#(tt(), V2) -> U42# isNeList activate V2, U41#(tt(), V2) -> isNeList# activate V2, U51#(tt(), V2) -> isList# activate V2, U51#(tt(), V2) -> activate# V2, U51#(tt(), V2) -> U52# isList activate V2, isPal# V -> activate# V, isPal# V -> U81# isNePal activate V, isPal# V -> isNePal# activate V, U71#(tt(), P) -> activate# P, U71#(tt(), P) -> U72# isPal activate P, U71#(tt(), P) -> isPal# activate P, isNePal# V -> activate# V, isNePal# V -> U61# isQid activate V, isNePal# V -> isQid# activate V, isNePal# n____(I, __(P, I)) -> activate# P, isNePal# n____(I, __(P, I)) -> activate# I, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), isNePal# n____(I, __(P, I)) -> isQid# activate I} TRS: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} UR: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} EDG: { (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isNeList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> isQid# activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> U31# isQid activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U21#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U51#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> isNeList# activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> U42# isNeList activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> activate# V2) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> isPal# activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> U72# isPal activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> activate# P) (isList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isList# V -> activate# V, activate# n__u() -> u#()) (isList# V -> activate# V, activate# n__o() -> o#()) (isList# V -> activate# V, activate# n__i() -> i#()) (isList# V -> activate# V, activate# n__e() -> e#()) (isList# V -> activate# V, activate# n__a() -> a#()) (isList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isList# V -> activate# V, activate# n__nil() -> nil#()) (isPal# V -> activate# V, activate# n__u() -> u#()) (isPal# V -> activate# V, activate# n__o() -> o#()) (isPal# V -> activate# V, activate# n__i() -> i#()) (isPal# V -> activate# V, activate# n__e() -> e#()) (isPal# V -> activate# V, activate# n__a() -> a#()) (isPal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isPal# V -> activate# V, activate# n__nil() -> nil#()) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__nil() -> nil#()) (U21#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U21#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U21#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U21#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U21#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U21#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U21#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U41#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U41#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U41#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U41#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U41#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U41#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U41#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(Y, Z)) (U51#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U51#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U51#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U51#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U51#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U51#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U51#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (U71#(tt(), P) -> activate# P, activate# n__nil() -> nil#()) (U71#(tt(), P) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (U71#(tt(), P) -> activate# P, activate# n__a() -> a#()) (U71#(tt(), P) -> activate# P, activate# n__e() -> e#()) (U71#(tt(), P) -> activate# P, activate# n__i() -> i#()) (U71#(tt(), P) -> activate# P, activate# n__o() -> o#()) (U71#(tt(), P) -> activate# P, activate# n__u() -> u#()) (isNePal# V -> activate# V, activate# n__nil() -> nil#()) (isNePal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# V -> activate# V, activate# n__a() -> a#()) (isNePal# V -> activate# V, activate# n__e() -> e#()) (isNePal# V -> activate# V, activate# n__i() -> i#()) (isNePal# V -> activate# V, activate# n__o() -> o#()) (isNePal# V -> activate# V, activate# n__u() -> u#()) (isNeList# V -> activate# V, activate# n__nil() -> nil#()) (isNeList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# V -> activate# V, activate# n__a() -> a#()) (isNeList# V -> activate# V, activate# n__e() -> e#()) (isNeList# V -> activate# V, activate# n__i() -> i#()) (isNeList# V -> activate# V, activate# n__o() -> o#()) (isNeList# V -> activate# V, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__nil() -> nil#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> isList# activate V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> activate# V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> U52# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> U22# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> isList# activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> activate# V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> U31# isQid activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> isQid# activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isNeList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (U71#(tt(), P) -> isPal# activate P, isPal# V -> activate# V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> U81# isNePal activate V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> isNePal# activate V) (isPal# V -> isNePal# activate V, isNePal# V -> activate# V) (isPal# V -> isNePal# activate V, isNePal# V -> U61# isQid activate V) (isPal# V -> isNePal# activate V, isNePal# V -> isQid# activate V) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# P) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# I) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P)) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> isQid# activate I) (isList# V -> isNeList# activate V, isNeList# V -> activate# V) (isList# V -> isNeList# activate V, isNeList# V -> U31# isQid activate V) (isList# V -> isNeList# activate V, isNeList# V -> isQid# activate V) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V2) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isNeList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) } EDG: { (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isNeList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> isQid# activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> U31# isQid activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U21#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U51#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> isNeList# activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> U42# isNeList activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> activate# V2) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> isPal# activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> U72# isPal activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> activate# P) (isList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isList# V -> activate# V, activate# n__u() -> u#()) (isList# V -> activate# V, activate# n__o() -> o#()) (isList# V -> activate# V, activate# n__i() -> i#()) (isList# V -> activate# V, activate# n__e() -> e#()) (isList# V -> activate# V, activate# n__a() -> a#()) (isList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isList# V -> activate# V, activate# n__nil() -> nil#()) (isPal# V -> activate# V, activate# n__u() -> u#()) (isPal# V -> activate# V, activate# n__o() -> o#()) (isPal# V -> activate# V, activate# n__i() -> i#()) (isPal# V -> activate# V, activate# n__e() -> e#()) (isPal# V -> activate# V, activate# n__a() -> a#()) (isPal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isPal# V -> activate# V, activate# n__nil() -> nil#()) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__nil() -> nil#()) (U21#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U21#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U21#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U21#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U21#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U21#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U21#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U41#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U41#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U41#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U41#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U41#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U41#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U41#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(Y, Z)) (U51#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U51#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U51#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U51#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U51#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U51#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U51#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (U71#(tt(), P) -> activate# P, activate# n__nil() -> nil#()) (U71#(tt(), P) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (U71#(tt(), P) -> activate# P, activate# n__a() -> a#()) (U71#(tt(), P) -> activate# P, activate# n__e() -> e#()) (U71#(tt(), P) -> activate# P, activate# n__i() -> i#()) (U71#(tt(), P) -> activate# P, activate# n__o() -> o#()) (U71#(tt(), P) -> activate# P, activate# n__u() -> u#()) (isNePal# V -> activate# V, activate# n__nil() -> nil#()) (isNePal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# V -> activate# V, activate# n__a() -> a#()) (isNePal# V -> activate# V, activate# n__e() -> e#()) (isNePal# V -> activate# V, activate# n__i() -> i#()) (isNePal# V -> activate# V, activate# n__o() -> o#()) (isNePal# V -> activate# V, activate# n__u() -> u#()) (isNeList# V -> activate# V, activate# n__nil() -> nil#()) (isNeList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# V -> activate# V, activate# n__a() -> a#()) (isNeList# V -> activate# V, activate# n__e() -> e#()) (isNeList# V -> activate# V, activate# n__i() -> i#()) (isNeList# V -> activate# V, activate# n__o() -> o#()) (isNeList# V -> activate# V, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__nil() -> nil#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> isList# activate V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> activate# V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> U52# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> U22# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> isList# activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> activate# V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> U31# isQid activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> isQid# activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isNeList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (U71#(tt(), P) -> isPal# activate P, isPal# V -> activate# V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> U81# isNePal activate V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> isNePal# activate V) (isPal# V -> isNePal# activate V, isNePal# V -> activate# V) (isPal# V -> isNePal# activate V, isNePal# V -> U61# isQid activate V) (isPal# V -> isNePal# activate V, isNePal# V -> isQid# activate V) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# P) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# I) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P)) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> isQid# activate I) (isList# V -> isNeList# activate V, isNeList# V -> activate# V) (isList# V -> isNeList# activate V, isNeList# V -> U31# isQid activate V) (isList# V -> isNeList# activate V, isNeList# V -> isQid# activate V) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V2) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isNeList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) } EDG: { (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isNeList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> isQid# activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> U31# isQid activate V) (isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U21#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U21#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U21#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V1) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> activate# V2) (U51#(tt(), V2) -> isList# activate V2, isList# n____(V1, V2) -> isList# activate V1) (U51#(tt(), V2) -> isList# activate V2, isList# V -> isNeList# activate V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> activate# V) (U51#(tt(), V2) -> isList# activate V2, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> isNeList# activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> U42# isNeList activate V2) (isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), U41#(tt(), V2) -> activate# V2) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> isPal# activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> U72# isPal activate P) (isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P), U71#(tt(), P) -> activate# P) (isList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isList# V -> activate# V, activate# n__u() -> u#()) (isList# V -> activate# V, activate# n__o() -> o#()) (isList# V -> activate# V, activate# n__i() -> i#()) (isList# V -> activate# V, activate# n__e() -> e#()) (isList# V -> activate# V, activate# n__a() -> a#()) (isList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isList# V -> activate# V, activate# n__nil() -> nil#()) (isPal# V -> activate# V, activate# n__u() -> u#()) (isPal# V -> activate# V, activate# n__o() -> o#()) (isPal# V -> activate# V, activate# n__i() -> i#()) (isPal# V -> activate# V, activate# n__e() -> e#()) (isPal# V -> activate# V, activate# n__a() -> a#()) (isPal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isPal# V -> activate# V, activate# n__nil() -> nil#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# P, activate# n__nil() -> nil#()) (U21#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U21#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U21#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U21#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U21#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U21#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U21#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U41#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (U41#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U41#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U41#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U41#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U41#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U41#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z)) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (activate# n____(X1, X2) -> __#(X1, X2), __#(__(X, Y), Z) -> __#(Y, Z)) (U51#(tt(), V2) -> activate# V2, activate# n__nil() -> nil#()) (U51#(tt(), V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (U51#(tt(), V2) -> activate# V2, activate# n__a() -> a#()) (U51#(tt(), V2) -> activate# V2, activate# n__e() -> e#()) (U51#(tt(), V2) -> activate# V2, activate# n__i() -> i#()) (U51#(tt(), V2) -> activate# V2, activate# n__o() -> o#()) (U51#(tt(), V2) -> activate# V2, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (isList# n____(V1, V2) -> activate# V2, activate# n__nil() -> nil#()) (isList# n____(V1, V2) -> activate# V2, activate# n____(X1, X2) -> __#(X1, X2)) (isList# n____(V1, V2) -> activate# V2, activate# n__a() -> a#()) (isList# n____(V1, V2) -> activate# V2, activate# n__e() -> e#()) (isList# n____(V1, V2) -> activate# V2, activate# n__i() -> i#()) (isList# n____(V1, V2) -> activate# V2, activate# n__o() -> o#()) (isList# n____(V1, V2) -> activate# V2, activate# n__u() -> u#()) (U71#(tt(), P) -> activate# P, activate# n__nil() -> nil#()) (U71#(tt(), P) -> activate# P, activate# n____(X1, X2) -> __#(X1, X2)) (U71#(tt(), P) -> activate# P, activate# n__a() -> a#()) (U71#(tt(), P) -> activate# P, activate# n__e() -> e#()) (U71#(tt(), P) -> activate# P, activate# n__i() -> i#()) (U71#(tt(), P) -> activate# P, activate# n__o() -> o#()) (U71#(tt(), P) -> activate# P, activate# n__u() -> u#()) (isNePal# V -> activate# V, activate# n__nil() -> nil#()) (isNePal# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# V -> activate# V, activate# n__a() -> a#()) (isNePal# V -> activate# V, activate# n__e() -> e#()) (isNePal# V -> activate# V, activate# n__i() -> i#()) (isNePal# V -> activate# V, activate# n__o() -> o#()) (isNePal# V -> activate# V, activate# n__u() -> u#()) (isNeList# V -> activate# V, activate# n__nil() -> nil#()) (isNeList# V -> activate# V, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# V -> activate# V, activate# n__a() -> a#()) (isNeList# V -> activate# V, activate# n__e() -> e#()) (isNeList# V -> activate# V, activate# n__i() -> i#()) (isNeList# V -> activate# V, activate# n__o() -> o#()) (isNeList# V -> activate# V, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__nil() -> nil#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n____(X1, X2) -> __#(X1, X2)) (isNeList# n____(V1, V2) -> activate# V1, activate# n__a() -> a#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__e() -> e#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__i() -> i#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__o() -> o#()) (isNeList# n____(V1, V2) -> activate# V1, activate# n__u() -> u#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__nil() -> nil#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n____(X1, X2) -> __#(X1, X2)) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__a() -> a#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__e() -> e#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__i() -> i#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__o() -> o#()) (isNePal# n____(I, __(P, I)) -> activate# I, activate# n__u() -> u#()) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> isList# activate V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> activate# V2) (isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U51#(tt(), V2) -> U52# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> U22# isList activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> isList# activate V2) (isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> activate# V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> U31# isQid activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# V -> isQid# activate V) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V2) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> activate# V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> isNeList# activate V1) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (U41#(tt(), V2) -> isNeList# activate V2, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (U71#(tt(), P) -> isPal# activate P, isPal# V -> activate# V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> U81# isNePal activate V) (U71#(tt(), P) -> isPal# activate P, isPal# V -> isNePal# activate V) (isPal# V -> isNePal# activate V, isNePal# V -> activate# V) (isPal# V -> isNePal# activate V, isNePal# V -> U61# isQid activate V) (isPal# V -> isNePal# activate V, isNePal# V -> isQid# activate V) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# P) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> activate# I) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P)) (isPal# V -> isNePal# activate V, isNePal# n____(I, __(P, I)) -> isQid# activate I) (isList# V -> isNeList# activate V, isNeList# V -> activate# V) (isList# V -> isNeList# activate V, isNeList# V -> U31# isQid activate V) (isList# V -> isNeList# activate V, isNeList# V -> isQid# activate V) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V2) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> activate# V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> isNeList# activate V1) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2)) (isList# V -> isNeList# activate V, isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2)) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> U11# isNeList activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> activate# V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# V -> isNeList# activate V) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> isList# activate V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V2) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> activate# V1) (isNeList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2)) } STATUS: arrows: 0.918968 SCCS (3): Scc: { isPal# V -> isNePal# activate V, U71#(tt(), P) -> isPal# activate P, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P)} Scc: { isList# V -> isNeList# activate V, isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> isList# activate V2, isNeList# n____(V1, V2) -> isList# activate V1, isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U41#(tt(), V2) -> isNeList# activate V2, U51#(tt(), V2) -> isList# activate V2} Scc: {__#(__(X, Y), Z) -> __#(Y, Z)} SCC (3): Strict: { isPal# V -> isNePal# activate V, U71#(tt(), P) -> isPal# activate P, isNePal# n____(I, __(P, I)) -> U71#(isQid activate I, activate P)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} Open SCC (10): Strict: { isList# V -> isNeList# activate V, isList# n____(V1, V2) -> isList# activate V1, isList# n____(V1, V2) -> U21#(isList activate V1, activate V2), U21#(tt(), V2) -> isList# activate V2, isNeList# n____(V1, V2) -> isList# activate V1, isNeList# n____(V1, V2) -> isNeList# activate V1, isNeList# n____(V1, V2) -> U41#(isList activate V1, activate V2), isNeList# n____(V1, V2) -> U51#(isNeList activate V1, activate V2), U41#(tt(), V2) -> isNeList# activate V2, U51#(tt(), V2) -> isList# activate V2} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} Open SCC (1): Strict: {__#(__(X, Y), Z) -> __#(Y, Z)} Weak: { __(X, nil()) -> X, __(X1, X2) -> n____(X1, X2), __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, nil() -> n__nil(), U11 tt() -> tt(), U22 tt() -> tt(), isList V -> U11 isNeList activate V, isList n__nil() -> tt(), isList n____(V1, V2) -> U21(isList activate V1, activate V2), activate X -> X, 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(), U21(tt(), V2) -> U22 isList activate V2, U31 tt() -> tt(), U42 tt() -> tt(), isNeList V -> U31 isQid activate V, isNeList n____(V1, V2) -> U41(isList activate V1, activate V2), isNeList n____(V1, V2) -> U51(isNeList activate V1, activate V2), U41(tt(), V2) -> U42 isNeList activate V2, U52 tt() -> tt(), U51(tt(), V2) -> U52 isList activate V2, U61 tt() -> tt(), U72 tt() -> tt(), isPal V -> U81 isNePal activate V, isPal n__nil() -> tt(), U71(tt(), P) -> U72 isPal activate P, U81 tt() -> tt(), isQid n__a() -> tt(), isQid n__e() -> tt(), isQid n__i() -> tt(), isQid n__o() -> tt(), isQid n__u() -> tt(), isNePal V -> U61 isQid activate V, isNePal n____(I, __(P, I)) -> U71(isQid activate I, activate P), a() -> n__a(), e() -> n__e(), i() -> n__i(), o() -> n__o(), u() -> n__u()} Open