MAYBE Time: 0.974482 TRS: { a____(X, nil()) -> mark X, a____(X1, X2) -> __(X1, X2), a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)), a____(nil(), X) -> mark X, mark __(X1, X2) -> a____(mark X1, mark X2), mark nil() -> nil(), mark tt() -> tt(), mark isPalListKind X -> a__isPalListKind X, mark and(X1, X2) -> a__and(mark X1, X2), mark isPal X -> a__isPal X, mark a() -> a(), mark e() -> e(), mark i() -> i(), mark o() -> o(), mark u() -> u(), mark U11(X1, X2) -> a__U11(mark X1, X2), mark U12 X -> a__U12 mark X, mark isNeList X -> a__isNeList X, mark U21(X1, X2, X3) -> a__U21(mark X1, X2, X3), mark U22(X1, X2) -> a__U22(mark X1, X2), mark isList X -> a__isList X, mark U23 X -> a__U23 mark X, mark U31(X1, X2) -> a__U31(mark X1, X2), mark U32 X -> a__U32 mark X, mark isQid X -> a__isQid X, mark U41(X1, X2, X3) -> a__U41(mark X1, X2, X3), mark U42(X1, X2) -> a__U42(mark X1, X2), mark U43 X -> a__U43 mark X, mark U51(X1, X2, X3) -> a__U51(mark X1, X2, X3), mark U52(X1, X2) -> a__U52(mark X1, X2), mark U53 X -> a__U53 mark X, mark U61(X1, X2) -> a__U61(mark X1, X2), mark U62 X -> a__U62 mark X, mark U71(X1, X2) -> a__U71(mark X1, X2), mark U72 X -> a__U72 mark X, mark isNePal X -> a__isNePal X, a__U12 X -> U12 X, a__U12 tt() -> tt(), a__isNeList X -> isNeList X, a__isNeList V -> a__U31(a__isPalListKind V, V), a__isNeList __(V1, V2) -> a__U41(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList __(V1, V2) -> a__U51(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U11(X1, X2) -> U11(X1, X2), a__U11(tt(), V) -> a__U12 a__isNeList V, a__U22(X1, X2) -> U22(X1, X2), a__U22(tt(), V2) -> a__U23 a__isList V2, a__isList X -> isList X, a__isList V -> a__U11(a__isPalListKind V, V), a__isList __(V1, V2) -> a__U21(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList nil() -> tt(), a__U21(X1, X2, X3) -> U21(X1, X2, X3), a__U21(tt(), V1, V2) -> a__U22(a__isList V1, V2), a__U23 X -> U23 X, a__U23 tt() -> tt(), a__U32 X -> U32 X, a__U32 tt() -> tt(), a__isQid X -> isQid X, a__isQid a() -> tt(), a__isQid e() -> tt(), a__isQid i() -> tt(), a__isQid o() -> tt(), a__isQid u() -> tt(), a__U31(X1, X2) -> U31(X1, X2), a__U31(tt(), V) -> a__U32 a__isQid V, a__U42(X1, X2) -> U42(X1, X2), a__U42(tt(), V2) -> a__U43 a__isNeList V2, a__U41(X1, X2, X3) -> U41(X1, X2, X3), a__U41(tt(), V1, V2) -> a__U42(a__isList V1, V2), a__U43 X -> U43 X, a__U43 tt() -> tt(), a__U52(X1, X2) -> U52(X1, X2), a__U52(tt(), V2) -> a__U53 a__isList V2, a__U51(X1, X2, X3) -> U51(X1, X2, X3), a__U51(tt(), V1, V2) -> a__U52(a__isNeList V1, V2), a__U53 X -> U53 X, a__U53 tt() -> tt(), a__U62 X -> U62 X, a__U62 tt() -> tt(), a__U61(X1, X2) -> U61(X1, X2), a__U61(tt(), V) -> a__U62 a__isQid V, a__U72 X -> U72 X, a__U72 tt() -> tt(), a__isNePal X -> isNePal X, a__isNePal V -> a__U61(a__isPalListKind V, V), a__isNePal __(I, __(P, I)) -> a__and(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71(X1, X2) -> U71(X1, X2), a__U71(tt(), V) -> a__U72 a__isNePal V, a__and(X1, X2) -> and(X1, X2), a__and(tt(), X) -> mark X, a__isPalListKind X -> isPalListKind X, a__isPalListKind __(V1, V2) -> a__and(a__isPalListKind V1, isPalListKind V2), a__isPalListKind nil() -> tt(), a__isPalListKind a() -> tt(), a__isPalListKind e() -> tt(), a__isPalListKind i() -> tt(), a__isPalListKind o() -> tt(), a__isPalListKind u() -> tt(), a__isPal X -> isPal X, a__isPal V -> a__U71(a__isPalListKind V, V), a__isPal nil() -> tt()} DP: DP: { a____#(X, nil()) -> mark# X, a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# X, a____#(__(X, Y), Z) -> mark# Y, a____#(__(X, Y), Z) -> mark# Z, a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2), mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2, mark# isPalListKind X -> a__isPalListKind# X, mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2), mark# isPal X -> a__isPal# X, mark# U11(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2), mark# U12 X -> mark# X, mark# U12 X -> a__U12# mark X, mark# isNeList X -> a__isNeList# X, mark# U21(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3), mark# U22(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2), mark# isList X -> a__isList# X, mark# U23 X -> mark# X, mark# U23 X -> a__U23# mark X, mark# U31(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2), mark# U32 X -> mark# X, mark# U32 X -> a__U32# mark X, mark# isQid X -> a__isQid# X, mark# U41(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3), mark# U42(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2), mark# U43 X -> mark# X, mark# U43 X -> a__U43# mark X, mark# U51(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3), mark# U52(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2), mark# U53 X -> mark# X, mark# U53 X -> a__U53# mark X, mark# U61(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2), mark# U62 X -> mark# X, mark# U62 X -> a__U62# mark X, mark# U71(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2), mark# U72 X -> mark# X, mark# U72 X -> a__U72# mark X, mark# isNePal X -> a__isNePal# X, a__isNeList# V -> a__U31#(a__isPalListKind V, V), a__isNeList# V -> a__isPalListKind# V, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isNeList# __(V1, V2) -> a__isPalListKind# V1, a__U11#(tt(), V) -> a__U12# a__isNeList V, a__U11#(tt(), V) -> a__isNeList# V, a__U22#(tt(), V2) -> a__isList# V2, a__U22#(tt(), V2) -> a__U23# a__isList V2, a__isList# V -> a__U11#(a__isPalListKind V, V), a__isList# V -> a__isPalListKind# V, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isList# __(V1, V2) -> a__isPalListKind# V1, a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2), a__U21#(tt(), V1, V2) -> a__isList# V1, a__U31#(tt(), V) -> a__U32# a__isQid V, a__U31#(tt(), V) -> a__isQid# V, a__U42#(tt(), V2) -> a__isNeList# V2, a__U42#(tt(), V2) -> a__U43# a__isNeList V2, a__U41#(tt(), V1, V2) -> a__isList# V1, a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2), a__U52#(tt(), V2) -> a__isList# V2, a__U52#(tt(), V2) -> a__U53# a__isList V2, a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2), a__U61#(tt(), V) -> a__isQid# V, a__U61#(tt(), V) -> a__U62# a__isQid V, a__isNePal# V -> a__U61#(a__isPalListKind V, V), a__isNePal# V -> a__isPalListKind# V, a__isNePal# __(I, __(P, I)) -> a__isQid# I, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I), a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71#(tt(), V) -> a__U72# a__isNePal V, a__U71#(tt(), V) -> a__isNePal# V, a__and#(tt(), X) -> mark# X, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1, a__isPal# V -> a__U71#(a__isPalListKind V, V), a__isPal# V -> a__isPalListKind# V} TRS: { a____(X, nil()) -> mark X, a____(X1, X2) -> __(X1, X2), a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)), a____(nil(), X) -> mark X, mark __(X1, X2) -> a____(mark X1, mark X2), mark nil() -> nil(), mark tt() -> tt(), mark isPalListKind X -> a__isPalListKind X, mark and(X1, X2) -> a__and(mark X1, X2), mark isPal X -> a__isPal X, mark a() -> a(), mark e() -> e(), mark i() -> i(), mark o() -> o(), mark u() -> u(), mark U11(X1, X2) -> a__U11(mark X1, X2), mark U12 X -> a__U12 mark X, mark isNeList X -> a__isNeList X, mark U21(X1, X2, X3) -> a__U21(mark X1, X2, X3), mark U22(X1, X2) -> a__U22(mark X1, X2), mark isList X -> a__isList X, mark U23 X -> a__U23 mark X, mark U31(X1, X2) -> a__U31(mark X1, X2), mark U32 X -> a__U32 mark X, mark isQid X -> a__isQid X, mark U41(X1, X2, X3) -> a__U41(mark X1, X2, X3), mark U42(X1, X2) -> a__U42(mark X1, X2), mark U43 X -> a__U43 mark X, mark U51(X1, X2, X3) -> a__U51(mark X1, X2, X3), mark U52(X1, X2) -> a__U52(mark X1, X2), mark U53 X -> a__U53 mark X, mark U61(X1, X2) -> a__U61(mark X1, X2), mark U62 X -> a__U62 mark X, mark U71(X1, X2) -> a__U71(mark X1, X2), mark U72 X -> a__U72 mark X, mark isNePal X -> a__isNePal X, a__U12 X -> U12 X, a__U12 tt() -> tt(), a__isNeList X -> isNeList X, a__isNeList V -> a__U31(a__isPalListKind V, V), a__isNeList __(V1, V2) -> a__U41(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList __(V1, V2) -> a__U51(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U11(X1, X2) -> U11(X1, X2), a__U11(tt(), V) -> a__U12 a__isNeList V, a__U22(X1, X2) -> U22(X1, X2), a__U22(tt(), V2) -> a__U23 a__isList V2, a__isList X -> isList X, a__isList V -> a__U11(a__isPalListKind V, V), a__isList __(V1, V2) -> a__U21(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList nil() -> tt(), a__U21(X1, X2, X3) -> U21(X1, X2, X3), a__U21(tt(), V1, V2) -> a__U22(a__isList V1, V2), a__U23 X -> U23 X, a__U23 tt() -> tt(), a__U32 X -> U32 X, a__U32 tt() -> tt(), a__isQid X -> isQid X, a__isQid a() -> tt(), a__isQid e() -> tt(), a__isQid i() -> tt(), a__isQid o() -> tt(), a__isQid u() -> tt(), a__U31(X1, X2) -> U31(X1, X2), a__U31(tt(), V) -> a__U32 a__isQid V, a__U42(X1, X2) -> U42(X1, X2), a__U42(tt(), V2) -> a__U43 a__isNeList V2, a__U41(X1, X2, X3) -> U41(X1, X2, X3), a__U41(tt(), V1, V2) -> a__U42(a__isList V1, V2), a__U43 X -> U43 X, a__U43 tt() -> tt(), a__U52(X1, X2) -> U52(X1, X2), a__U52(tt(), V2) -> a__U53 a__isList V2, a__U51(X1, X2, X3) -> U51(X1, X2, X3), a__U51(tt(), V1, V2) -> a__U52(a__isNeList V1, V2), a__U53 X -> U53 X, a__U53 tt() -> tt(), a__U62 X -> U62 X, a__U62 tt() -> tt(), a__U61(X1, X2) -> U61(X1, X2), a__U61(tt(), V) -> a__U62 a__isQid V, a__U72 X -> U72 X, a__U72 tt() -> tt(), a__isNePal X -> isNePal X, a__isNePal V -> a__U61(a__isPalListKind V, V), a__isNePal __(I, __(P, I)) -> a__and(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71(X1, X2) -> U71(X1, X2), a__U71(tt(), V) -> a__U72 a__isNePal V, a__and(X1, X2) -> and(X1, X2), a__and(tt(), X) -> mark X, a__isPalListKind X -> isPalListKind X, a__isPalListKind __(V1, V2) -> a__and(a__isPalListKind V1, isPalListKind V2), a__isPalListKind nil() -> tt(), a__isPalListKind a() -> tt(), a__isPalListKind e() -> tt(), a__isPalListKind i() -> tt(), a__isPalListKind o() -> tt(), a__isPalListKind u() -> tt(), a__isPal X -> isPal X, a__isPal V -> a__U71(a__isPalListKind V, V), a__isPal nil() -> tt()} EDG: { (a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__and#(tt(), X) -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# isNePal X -> a__isNePal# X) (a____#(__(X, Y), Z) -> mark# X, mark# U72 X -> a__U72# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U72 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U71(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U62 X -> a__U62# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U62 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U61(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U53 X -> a__U53# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U53 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U52(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U43 X -> a__U43# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U43 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U42(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# isQid X -> a__isQid# X) (a____#(__(X, Y), Z) -> mark# X, mark# U32 X -> a__U32# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U32 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U31(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U23 X -> a__U23# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U23 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# isList X -> a__isList# X) (a____#(__(X, Y), Z) -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U22(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# isNeList X -> a__isNeList# X) (a____#(__(X, Y), Z) -> mark# X, mark# U12 X -> a__U12# mark X) (a____#(__(X, Y), Z) -> mark# X, mark# U12 X -> mark# X) (a____#(__(X, Y), Z) -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# U11(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# isPal X -> a__isPal# X) (a____#(__(X, Y), Z) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# X, mark# and(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> mark# X2) (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# isPalListKind X -> a__isPalListKind# X, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (mark# isPalListKind X -> a__isPalListKind# X, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (mark# U12 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U12 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U12 X -> mark# X, mark# U72 X -> mark# X) (mark# U12 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U12 X -> mark# X, mark# U62 X -> mark# X) (mark# U12 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U12 X -> mark# X, mark# U53 X -> mark# X) (mark# U12 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U12 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U12 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U12 X -> mark# X, mark# U43 X -> mark# X) (mark# U12 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U12 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U12 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U12 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U12 X -> mark# X, mark# U32 X -> mark# X) (mark# U12 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U12 X -> mark# X, mark# U23 X -> mark# X) (mark# U12 X -> mark# X, mark# isList X -> a__isList# X) (mark# U12 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U12 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U12 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U12 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U12 X -> mark# X, mark# U12 X -> mark# X) (mark# U12 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U12 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U12 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U12 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U12 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U12 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U12 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# isList X -> a__isList# X, a__isList# __(V1, V2) -> a__isPalListKind# V1) (mark# isList X -> a__isList# X, a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (mark# isList X -> a__isList# X, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (mark# isList X -> a__isList# X, a__isList# V -> a__isPalListKind# V) (mark# isList X -> a__isList# X, a__isList# V -> a__U11#(a__isPalListKind V, V)) (mark# U32 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U32 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U32 X -> mark# X, mark# U72 X -> mark# X) (mark# U32 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U32 X -> mark# X, mark# U62 X -> mark# X) (mark# U32 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U32 X -> mark# X, mark# U53 X -> mark# X) (mark# U32 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U32 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U32 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U32 X -> mark# X, mark# U43 X -> mark# X) (mark# U32 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U32 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U32 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U32 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U32 X -> mark# X, mark# U32 X -> mark# X) (mark# U32 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U32 X -> mark# X, mark# U23 X -> mark# X) (mark# U32 X -> mark# X, mark# isList X -> a__isList# X) (mark# U32 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U32 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U32 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U32 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U32 X -> mark# X, mark# U12 X -> mark# X) (mark# U32 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U32 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U32 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U32 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U32 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U32 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U32 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U43 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U43 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U43 X -> mark# X, mark# U72 X -> mark# X) (mark# U43 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U43 X -> mark# X, mark# U62 X -> mark# X) (mark# U43 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U43 X -> mark# X, mark# U53 X -> mark# X) (mark# U43 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U43 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U43 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U43 X -> mark# X, mark# U43 X -> mark# X) (mark# U43 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U43 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U43 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U43 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U43 X -> mark# X, mark# U32 X -> mark# X) (mark# U43 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U43 X -> mark# X, mark# U23 X -> mark# X) (mark# U43 X -> mark# X, mark# isList X -> a__isList# X) (mark# U43 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U43 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U43 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U43 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U43 X -> mark# X, mark# U12 X -> mark# X) (mark# U43 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U43 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U43 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U43 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U43 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U43 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U43 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U62 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U62 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U62 X -> mark# X, mark# U72 X -> mark# X) (mark# U62 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U62 X -> mark# X, mark# U62 X -> mark# X) (mark# U62 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U62 X -> mark# X, mark# U53 X -> mark# X) (mark# U62 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U62 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U62 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U62 X -> mark# X, mark# U43 X -> mark# X) (mark# U62 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U62 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U62 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U62 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U62 X -> mark# X, mark# U32 X -> mark# X) (mark# U62 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U62 X -> mark# X, mark# U23 X -> mark# X) (mark# U62 X -> mark# X, mark# isList X -> a__isList# X) (mark# U62 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U62 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U62 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U62 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U62 X -> mark# X, mark# U12 X -> mark# X) (mark# U62 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U62 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U62 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U62 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U62 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U62 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U62 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# isNePal X -> a__isNePal# X, a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P))) (mark# isNePal X -> a__isNePal# X, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I)) (mark# isNePal X -> a__isNePal# X, a__isNePal# __(I, __(P, I)) -> a__isQid# I) (mark# isNePal X -> a__isNePal# X, a__isNePal# V -> a__isPalListKind# V) (mark# isNePal X -> a__isNePal# X, a__isNePal# V -> a__U61#(a__isPalListKind V, V)) (a____#(__(X, Y), Z) -> mark# Z, mark# isNePal X -> a__isNePal# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U72 X -> a__U72# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U72 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U71(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U62 X -> a__U62# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U62 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U61(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U53 X -> a__U53# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U53 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U52(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Z, mark# U51(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U43 X -> a__U43# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U43 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U42(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Z, mark# U41(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# isQid X -> a__isQid# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U32 X -> a__U32# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U32 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U31(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U23 X -> a__U23# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U23 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# isList X -> a__isList# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U22(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Z, mark# U21(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# isNeList X -> a__isNeList# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U12 X -> a__U12# mark X) (a____#(__(X, Y), Z) -> mark# Z, mark# U12 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Z, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# U11(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# isPal X -> a__isPal# X) (a____#(__(X, Y), Z) -> mark# Z, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Z, mark# and(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# isPalListKind X -> a__isPalListKind# X) (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> mark# X2) (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Z, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3), a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2)) (mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3), a__U41#(tt(), V1, V2) -> a__isList# V1) (a__isNeList# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__isNeList# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U21#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__isPalListKind# V1) (a__U21#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U21#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U21#(tt(), V1, V2) -> a__isList# V1, a__isList# V -> a__isPalListKind# V) (a__U21#(tt(), V1, V2) -> a__isList# V1, a__isList# V -> a__U11#(a__isPalListKind V, V)) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__isPalListKind# V1) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# V -> a__isPalListKind# V) (a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__isNeList# V -> a__U31#(a__isPalListKind V, V)) (mark# and(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# and(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# and(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# and(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# and(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# and(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# and(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# and(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# and(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# and(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# and(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# and(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# and(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# and(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# and(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# and(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# and(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U72 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U62 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U53 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U43 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U32 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U23 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# isList X -> a__isList# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U12 X -> mark# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U21(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U21(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U21(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U21(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U31(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U31(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U31(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U31(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U31(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U31(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U31(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U31(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U31(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U31(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U31(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U31(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U31(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U31(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U31(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U42(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U42(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U42(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U42(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U42(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U42(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U42(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U42(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U42(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U42(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U42(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U42(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U42(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U42(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U42(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U52(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U52(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U52(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U52(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U52(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U52(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U52(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U52(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U52(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U52(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U52(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U52(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U52(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U52(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U52(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U71(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U71(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U71(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U71(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U71(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U71(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U71(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U71(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U71(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U71(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U71(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U71(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U71(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U71(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U71(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (a__isList# V -> a__U11#(a__isPalListKind V, V), a__U11#(tt(), V) -> a__isNeList# V) (a__isList# V -> a__U11#(a__isPalListKind V, V), a__U11#(tt(), V) -> a__U12# a__isNeList V) (a__isPal# V -> a__U71#(a__isPalListKind V, V), a__U71#(tt(), V) -> a__isNePal# V) (a__isPal# V -> a__U71#(a__isPalListKind V, V), a__U71#(tt(), V) -> a__U72# a__isNePal V) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(nil(), X) -> mark# X) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# Z) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# Y) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> mark# X) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z)) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z))) (mark# __(X1, X2) -> a____#(mark X1, mark X2), a____#(X, nil()) -> mark# X) (a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__and#(tt(), X) -> mark# X) (a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__and#(tt(), X) -> mark# X) (a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2), a__U42#(tt(), V2) -> a__U43# a__isNeList V2) (a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2), a__U42#(tt(), V2) -> a__isNeList# V2) (a____#(__(X, Y), Z) -> mark# Y, mark# isNePal X -> a__isNePal# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U72 X -> a__U72# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U72 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U71(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U62 X -> a__U62# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U62 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U61(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U53 X -> a__U53# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U53 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U52(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Y, mark# U51(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U43 X -> a__U43# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U43 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U42(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Y, mark# U41(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# isQid X -> a__isQid# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U32 X -> a__U32# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U32 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U31(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U23 X -> a__U23# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U23 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# isList X -> a__isList# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U22(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a____#(__(X, Y), Z) -> mark# Y, mark# U21(X1, X2, X3) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# isNeList X -> a__isNeList# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U12 X -> a__U12# mark X) (a____#(__(X, Y), Z) -> mark# Y, mark# U12 X -> mark# X) (a____#(__(X, Y), Z) -> mark# Y, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# U11(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# isPal X -> a__isPal# X) (a____#(__(X, Y), Z) -> mark# Y, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a____#(__(X, Y), Z) -> mark# Y, mark# and(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# isPalListKind X -> a__isPalListKind# X) (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> mark# X2) (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> mark# X1) (a____#(__(X, Y), Z) -> mark# Y, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2)) (a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U41#(tt(), V1, V2) -> a__isList# V1) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__isPalListKind# V1) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# V -> a__isPalListKind# V) (a__U11#(tt(), V) -> a__isNeList# V, a__isNeList# V -> a__U31#(a__isPalListKind V, V)) (a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U21#(tt(), V1, V2) -> a__isList# V1) (a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2)) (a__U71#(tt(), V) -> a__isNePal# V, a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P))) (a__U71#(tt(), V) -> a__isNePal# V, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I)) (a__U71#(tt(), V) -> a__isNePal# V, a__isNePal# __(I, __(P, I)) -> a__isQid# I) (a__U71#(tt(), V) -> a__isNePal# V, a__isNePal# V -> a__isPalListKind# V) (a__U71#(tt(), V) -> a__isNePal# V, a__isNePal# V -> a__U61#(a__isPalListKind V, V)) (a__U22#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__isPalListKind# V1) (a__U22#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U22#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U22#(tt(), V2) -> a__isList# V2, a__isList# V -> a__isPalListKind# V) (a__U22#(tt(), V2) -> a__isList# V2, a__isList# V -> a__U11#(a__isPalListKind V, V)) (a__U52#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__isPalListKind# V1) (a__U52#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U52#(tt(), V2) -> a__isList# V2, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U52#(tt(), V2) -> a__isList# V2, a__isList# V -> a__isPalListKind# V) (a__U52#(tt(), V2) -> a__isList# V2, a__isList# V -> a__U11#(a__isPalListKind V, V)) (mark# and(X1, X2) -> a__and#(mark X1, X2), a__and#(tt(), X) -> mark# X) (mark# U22(X1, X2) -> a__U22#(mark X1, X2), a__U22#(tt(), V2) -> a__U23# a__isList V2) (mark# U22(X1, X2) -> a__U22#(mark X1, X2), a__U22#(tt(), V2) -> a__isList# V2) (mark# U42(X1, X2) -> a__U42#(mark X1, X2), a__U42#(tt(), V2) -> a__U43# a__isNeList V2) (mark# U42(X1, X2) -> a__U42#(mark X1, X2), a__U42#(tt(), V2) -> a__isNeList# V2) (mark# U61(X1, X2) -> a__U61#(mark X1, X2), a__U61#(tt(), V) -> a__U62# a__isQid V) (mark# U61(X1, X2) -> a__U61#(mark X1, X2), a__U61#(tt(), V) -> a__isQid# V) (mark# U71(X1, X2) -> a__U71#(mark X1, X2), a__U71#(tt(), V) -> a__U72# a__isNePal V) (mark# U71(X1, X2) -> a__U71#(mark X1, X2), a__U71#(tt(), V) -> a__isNePal# V) (mark# U52(X1, X2) -> a__U52#(mark X1, X2), a__U52#(tt(), V2) -> a__isList# V2) (mark# U52(X1, X2) -> a__U52#(mark X1, X2), a__U52#(tt(), V2) -> a__U53# a__isList V2) (mark# U31(X1, X2) -> a__U31#(mark X1, X2), a__U31#(tt(), V) -> a__U32# a__isQid V) (mark# U31(X1, X2) -> a__U31#(mark X1, X2), a__U31#(tt(), V) -> a__isQid# V) (mark# U11(X1, X2) -> a__U11#(mark X1, X2), a__U11#(tt(), V) -> a__U12# a__isNeList V) (mark# U11(X1, X2) -> a__U11#(mark X1, X2), a__U11#(tt(), V) -> a__isNeList# V) (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# __(X1, X2) -> mark# X2) (mark# __(X1, X2) -> mark# X2, mark# isPalListKind X -> a__isPalListKind# X) (mark# __(X1, X2) -> mark# X2, mark# and(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# isPal X -> a__isPal# X) (mark# __(X1, X2) -> mark# X2, mark# U11(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U12 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U12 X -> a__U12# mark X) (mark# __(X1, X2) -> mark# X2, mark# isNeList X -> a__isNeList# X) (mark# __(X1, X2) -> mark# X2, mark# U21(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X2, mark# U22(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# isList X -> a__isList# X) (mark# __(X1, X2) -> mark# X2, mark# U23 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U23 X -> a__U23# mark X) (mark# __(X1, X2) -> mark# X2, mark# U31(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U32 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U32 X -> a__U32# mark X) (mark# __(X1, X2) -> mark# X2, mark# isQid X -> a__isQid# X) (mark# __(X1, X2) -> mark# X2, mark# U41(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X2, mark# U42(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U43 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U43 X -> a__U43# mark X) (mark# __(X1, X2) -> mark# X2, mark# U51(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X2, mark# U52(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U53 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U53 X -> a__U53# mark X) (mark# __(X1, X2) -> mark# X2, mark# U61(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U62 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U62 X -> a__U62# mark X) (mark# __(X1, X2) -> mark# X2, mark# U71(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X2, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# __(X1, X2) -> mark# X2, mark# U72 X -> mark# X) (mark# __(X1, X2) -> mark# X2, mark# U72 X -> a__U72# mark X) (mark# __(X1, X2) -> mark# X2, mark# isNePal X -> a__isNePal# X) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# V -> a__U31#(a__isPalListKind V, V)) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# V -> a__isPalListKind# V) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U42#(tt(), V2) -> a__isNeList# V2, a__isNeList# __(V1, V2) -> a__isPalListKind# V1) (a__isPal# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isPal# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__isNePal# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isNePal# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__isList# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isList# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U51#(tt(), V1, V2) -> a__isNeList# V1) (a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2)) (a__isNeList# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isNeList# V -> a__isPalListKind# V, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2), a__U52#(tt(), V2) -> a__isList# V2) (a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2), a__U52#(tt(), V2) -> a__U53# a__isList V2) (a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2), a__U22#(tt(), V2) -> a__isList# V2) (a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2), a__U22#(tt(), V2) -> a__U23# a__isList V2) (a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I), a__and#(tt(), X) -> mark# X) (a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__and#(tt(), X) -> mark# X) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(X, nil()) -> mark# X) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z))) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z)) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# X) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# Y) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# Z) (a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(nil(), X) -> mark# X) (a__isNePal# V -> a__U61#(a__isPalListKind V, V), a__U61#(tt(), V) -> a__isQid# V) (a__isNePal# V -> a__U61#(a__isPalListKind V, V), a__U61#(tt(), V) -> a__U62# a__isQid V) (a__isNeList# V -> a__U31#(a__isPalListKind V, V), a__U31#(tt(), V) -> a__U32# a__isQid V) (a__isNeList# V -> a__U31#(a__isPalListKind V, V), a__U31#(tt(), V) -> a__isQid# V) (mark# U61(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U61(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U61(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U61(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U61(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U61(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U61(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U61(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U61(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U61(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U61(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U61(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U61(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U61(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U61(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U61(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U61(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U61(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U61(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U61(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U61(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U51(X1, X2, X3) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U12 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# isList X -> a__isList# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U23 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U32 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U43 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U53 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U62 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U51(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U51(X1, X2, X3) -> mark# X1, mark# U72 X -> mark# X) (mark# U51(X1, X2, X3) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U51(X1, X2, X3) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U41(X1, X2, X3) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U12 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# isList X -> a__isList# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U23 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U32 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U43 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U53 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U62 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U41(X1, X2, X3) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U41(X1, X2, X3) -> mark# X1, mark# U72 X -> mark# X) (mark# U41(X1, X2, X3) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U41(X1, X2, X3) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U22(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U22(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U22(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U22(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U22(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U22(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U22(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U22(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U22(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U22(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U22(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U22(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U22(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U22(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U22(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U22(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U22(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U22(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U22(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U22(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U22(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# U11(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U11(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# U11(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# U11(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# U11(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# U11(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# U11(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U11(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# U11(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# U11(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# U11(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# U11(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U11(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# U11(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U11(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# U11(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# U11(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# U11(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U11(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# U11(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# U11(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2) (mark# __(X1, X2) -> mark# X1, mark# isPalListKind X -> a__isPalListKind# X) (mark# __(X1, X2) -> mark# X1, mark# and(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# isPal X -> a__isPal# X) (mark# __(X1, X2) -> mark# X1, mark# U11(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U12 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U12 X -> a__U12# mark X) (mark# __(X1, X2) -> mark# X1, mark# isNeList X -> a__isNeList# X) (mark# __(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X1, mark# U22(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# isList X -> a__isList# X) (mark# __(X1, X2) -> mark# X1, mark# U23 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U23 X -> a__U23# mark X) (mark# __(X1, X2) -> mark# X1, mark# U31(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U32 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U32 X -> a__U32# mark X) (mark# __(X1, X2) -> mark# X1, mark# isQid X -> a__isQid# X) (mark# __(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X1, mark# U42(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U43 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U43 X -> a__U43# mark X) (mark# __(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# __(X1, X2) -> mark# X1, mark# U52(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U53 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U53 X -> a__U53# mark X) (mark# __(X1, X2) -> mark# X1, mark# U61(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U62 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U62 X -> a__U62# mark X) (mark# __(X1, X2) -> mark# X1, mark# U71(X1, X2) -> mark# X1) (mark# __(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# __(X1, X2) -> mark# X1, mark# U72 X -> mark# X) (mark# __(X1, X2) -> mark# X1, mark# U72 X -> a__U72# mark X) (mark# __(X1, X2) -> mark# X1, mark# isNePal X -> a__isNePal# X) (a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (a__U41#(tt(), V1, V2) -> a__isList# V1, a__isList# V -> a__U11#(a__isPalListKind V, V)) (a__U41#(tt(), V1, V2) -> a__isList# V1, a__isList# V -> a__isPalListKind# V) (a__U41#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (a__U41#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__U41#(tt(), V1, V2) -> a__isList# V1, a__isList# __(V1, V2) -> a__isPalListKind# V1) (a__isList# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (a__isList# __(V1, V2) -> a__isPalListKind# V1, a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1) (mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3), a__U51#(tt(), V1, V2) -> a__isNeList# V1) (mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3), a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2)) (mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3), a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2)) (mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3), a__U21#(tt(), V1, V2) -> a__isList# V1) (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# __(X1, X2) -> mark# X2) (a__and#(tt(), X) -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (a__and#(tt(), X) -> mark# X, mark# and(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# isPal X -> a__isPal# X) (a__and#(tt(), X) -> mark# X, mark# U11(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U12 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U12 X -> a__U12# mark X) (a__and#(tt(), X) -> mark# X, mark# isNeList X -> a__isNeList# X) (a__and#(tt(), X) -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a__and#(tt(), X) -> mark# X, mark# U22(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# isList X -> a__isList# X) (a__and#(tt(), X) -> mark# X, mark# U23 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U23 X -> a__U23# mark X) (a__and#(tt(), X) -> mark# X, mark# U31(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U32 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U32 X -> a__U32# mark X) (a__and#(tt(), X) -> mark# X, mark# isQid X -> a__isQid# X) (a__and#(tt(), X) -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a__and#(tt(), X) -> mark# X, mark# U42(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U43 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U43 X -> a__U43# mark X) (a__and#(tt(), X) -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a__and#(tt(), X) -> mark# X, mark# U52(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U53 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U53 X -> a__U53# mark X) (a__and#(tt(), X) -> mark# X, mark# U61(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U62 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U62 X -> a__U62# mark X) (a__and#(tt(), X) -> mark# X, mark# U71(X1, X2) -> mark# X1) (a__and#(tt(), X) -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a__and#(tt(), X) -> mark# X, mark# U72 X -> mark# X) (a__and#(tt(), X) -> mark# X, mark# U72 X -> a__U72# mark X) (a__and#(tt(), X) -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U72 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U72 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U72 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U72 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U72 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U72 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U12 X -> mark# X) (mark# U72 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U72 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U72 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U72 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U72 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U72 X -> mark# X, mark# isList X -> a__isList# X) (mark# U72 X -> mark# X, mark# U23 X -> mark# X) (mark# U72 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U72 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U32 X -> mark# X) (mark# U72 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U72 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U72 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U72 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U72 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U43 X -> mark# X) (mark# U72 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U72 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U72 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U72 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U53 X -> mark# X) (mark# U72 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U72 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U62 X -> mark# X) (mark# U72 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U72 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U72 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U72 X -> mark# X, mark# U72 X -> mark# X) (mark# U72 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U72 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U53 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U53 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U53 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U53 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U53 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U53 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U12 X -> mark# X) (mark# U53 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U53 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U53 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U53 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U53 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U53 X -> mark# X, mark# isList X -> a__isList# X) (mark# U53 X -> mark# X, mark# U23 X -> mark# X) (mark# U53 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U53 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U32 X -> mark# X) (mark# U53 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U53 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U53 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U53 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U53 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U43 X -> mark# X) (mark# U53 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U53 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U53 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U53 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U53 X -> mark# X) (mark# U53 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U53 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U62 X -> mark# X) (mark# U53 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U53 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U53 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U53 X -> mark# X, mark# U72 X -> mark# X) (mark# U53 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U53 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# U23 X -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (mark# U23 X -> mark# X, mark# __(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# __(X1, X2) -> mark# X2) (mark# U23 X -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (mark# U23 X -> mark# X, mark# and(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (mark# U23 X -> mark# X, mark# isPal X -> a__isPal# X) (mark# U23 X -> mark# X, mark# U11(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U12 X -> mark# X) (mark# U23 X -> mark# X, mark# U12 X -> a__U12# mark X) (mark# U23 X -> mark# X, mark# isNeList X -> a__isNeList# X) (mark# U23 X -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (mark# U23 X -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (mark# U23 X -> mark# X, mark# U22(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (mark# U23 X -> mark# X, mark# isList X -> a__isList# X) (mark# U23 X -> mark# X, mark# U23 X -> mark# X) (mark# U23 X -> mark# X, mark# U23 X -> a__U23# mark X) (mark# U23 X -> mark# X, mark# U31(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U32 X -> mark# X) (mark# U23 X -> mark# X, mark# U32 X -> a__U32# mark X) (mark# U23 X -> mark# X, mark# isQid X -> a__isQid# X) (mark# U23 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (mark# U23 X -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (mark# U23 X -> mark# X, mark# U42(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U43 X -> mark# X) (mark# U23 X -> mark# X, mark# U43 X -> a__U43# mark X) (mark# U23 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (mark# U23 X -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (mark# U23 X -> mark# X, mark# U52(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U53 X -> mark# X) (mark# U23 X -> mark# X, mark# U53 X -> a__U53# mark X) (mark# U23 X -> mark# X, mark# U61(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U62 X -> mark# X) (mark# U23 X -> mark# X, mark# U62 X -> a__U62# mark X) (mark# U23 X -> mark# X, mark# U71(X1, X2) -> mark# X1) (mark# U23 X -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (mark# U23 X -> mark# X, mark# U72 X -> mark# X) (mark# U23 X -> mark# X, mark# U72 X -> a__U72# mark X) (mark# U23 X -> mark# X, mark# isNePal X -> a__isNePal# X) (mark# isNeList X -> a__isNeList# X, a__isNeList# V -> a__U31#(a__isPalListKind V, V)) (mark# isNeList X -> a__isNeList# X, a__isNeList# V -> a__isPalListKind# V) (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2)) (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2)) (mark# isNeList X -> a__isNeList# X, a__isNeList# __(V1, V2) -> a__isPalListKind# V1) (mark# isPal X -> a__isPal# X, a__isPal# V -> a__U71#(a__isPalListKind V, V)) (mark# isPal X -> a__isPal# X, a__isPal# V -> a__isPalListKind# V) (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> mark# X2) (a____#(nil(), X) -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (a____#(nil(), X) -> mark# X, mark# and(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# isPal X -> a__isPal# X) (a____#(nil(), X) -> mark# X, mark# U11(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U12 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U12 X -> a__U12# mark X) (a____#(nil(), X) -> mark# X, mark# isNeList X -> a__isNeList# X) (a____#(nil(), X) -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a____#(nil(), X) -> mark# X, mark# U22(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# isList X -> a__isList# X) (a____#(nil(), X) -> mark# X, mark# U23 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U23 X -> a__U23# mark X) (a____#(nil(), X) -> mark# X, mark# U31(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U32 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U32 X -> a__U32# mark X) (a____#(nil(), X) -> mark# X, mark# isQid X -> a__isQid# X) (a____#(nil(), X) -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a____#(nil(), X) -> mark# X, mark# U42(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U43 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U43 X -> a__U43# mark X) (a____#(nil(), X) -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a____#(nil(), X) -> mark# X, mark# U52(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U53 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U53 X -> a__U53# mark X) (a____#(nil(), X) -> mark# X, mark# U61(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U62 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U62 X -> a__U62# mark X) (a____#(nil(), X) -> mark# X, mark# U71(X1, X2) -> mark# X1) (a____#(nil(), X) -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a____#(nil(), X) -> mark# X, mark# U72 X -> mark# X) (a____#(nil(), X) -> mark# X, mark# U72 X -> a__U72# mark X) (a____#(nil(), X) -> mark# X, mark# isNePal X -> a__isNePal# X) (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2)) (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# __(X1, X2) -> mark# X2) (a____#(X, nil()) -> mark# X, mark# isPalListKind X -> a__isPalListKind# X) (a____#(X, nil()) -> mark# X, mark# and(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# and(X1, X2) -> a__and#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# isPal X -> a__isPal# X) (a____#(X, nil()) -> mark# X, mark# U11(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U11(X1, X2) -> a__U11#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U12 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U12 X -> a__U12# mark X) (a____#(X, nil()) -> mark# X, mark# isNeList X -> a__isNeList# X) (a____#(X, nil()) -> mark# X, mark# U21(X1, X2, X3) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3)) (a____#(X, nil()) -> mark# X, mark# U22(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U22(X1, X2) -> a__U22#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# isList X -> a__isList# X) (a____#(X, nil()) -> mark# X, mark# U23 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U23 X -> a__U23# mark X) (a____#(X, nil()) -> mark# X, mark# U31(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U31(X1, X2) -> a__U31#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U32 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U32 X -> a__U32# mark X) (a____#(X, nil()) -> mark# X, mark# isQid X -> a__isQid# X) (a____#(X, nil()) -> mark# X, mark# U41(X1, X2, X3) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3)) (a____#(X, nil()) -> mark# X, mark# U42(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U42(X1, X2) -> a__U42#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U43 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U43 X -> a__U43# mark X) (a____#(X, nil()) -> mark# X, mark# U51(X1, X2, X3) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3)) (a____#(X, nil()) -> mark# X, mark# U52(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U52(X1, X2) -> a__U52#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U53 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U53 X -> a__U53# mark X) (a____#(X, nil()) -> mark# X, mark# U61(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U61(X1, X2) -> a__U61#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U62 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U62 X -> a__U62# mark X) (a____#(X, nil()) -> mark# X, mark# U71(X1, X2) -> mark# X1) (a____#(X, nil()) -> mark# X, mark# U71(X1, X2) -> a__U71#(mark X1, X2)) (a____#(X, nil()) -> mark# X, mark# U72 X -> mark# X) (a____#(X, nil()) -> mark# X, mark# U72 X -> a__U72# mark X) (a____#(X, nil()) -> mark# X, mark# isNePal X -> a__isNePal# X) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(X, nil()) -> mark# X) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z))) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z)) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# X) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# Y) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> mark# Z) (a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(nil(), X) -> mark# X) } STATUS: arrows: 0.848075 SCCS (1): Scc: { a____#(X, nil()) -> mark# X, a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# X, a____#(__(X, Y), Z) -> mark# Y, a____#(__(X, Y), Z) -> mark# Z, a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2), mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2, mark# isPalListKind X -> a__isPalListKind# X, mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2), mark# isPal X -> a__isPal# X, mark# U11(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2), mark# U12 X -> mark# X, mark# isNeList X -> a__isNeList# X, mark# U21(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3), mark# U22(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2), mark# isList X -> a__isList# X, mark# U23 X -> mark# X, mark# U31(X1, X2) -> mark# X1, mark# U32 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3), mark# U42(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2), mark# U43 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3), mark# U52(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2), mark# U53 X -> mark# X, mark# U61(X1, X2) -> mark# X1, mark# U62 X -> mark# X, mark# U71(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2), mark# U72 X -> mark# X, mark# isNePal X -> a__isNePal# X, a__isNeList# V -> a__isPalListKind# V, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isNeList# __(V1, V2) -> a__isPalListKind# V1, a__U11#(tt(), V) -> a__isNeList# V, a__U22#(tt(), V2) -> a__isList# V2, a__isList# V -> a__U11#(a__isPalListKind V, V), a__isList# V -> a__isPalListKind# V, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isList# __(V1, V2) -> a__isPalListKind# V1, a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2), a__U21#(tt(), V1, V2) -> a__isList# V1, a__U42#(tt(), V2) -> a__isNeList# V2, a__U41#(tt(), V1, V2) -> a__isList# V1, a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2), a__U52#(tt(), V2) -> a__isList# V2, a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2), a__isNePal# V -> a__isPalListKind# V, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I), a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71#(tt(), V) -> a__isNePal# V, a__and#(tt(), X) -> mark# X, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1, a__isPal# V -> a__U71#(a__isPalListKind V, V), a__isPal# V -> a__isPalListKind# V} SCC (71): Strict: { a____#(X, nil()) -> mark# X, a____#(__(X, Y), Z) -> a____#(mark X, a____(mark Y, mark Z)), a____#(__(X, Y), Z) -> a____#(mark Y, mark Z), a____#(__(X, Y), Z) -> mark# X, a____#(__(X, Y), Z) -> mark# Y, a____#(__(X, Y), Z) -> mark# Z, a____#(nil(), X) -> mark# X, mark# __(X1, X2) -> a____#(mark X1, mark X2), mark# __(X1, X2) -> mark# X1, mark# __(X1, X2) -> mark# X2, mark# isPalListKind X -> a__isPalListKind# X, mark# and(X1, X2) -> mark# X1, mark# and(X1, X2) -> a__and#(mark X1, X2), mark# isPal X -> a__isPal# X, mark# U11(X1, X2) -> mark# X1, mark# U11(X1, X2) -> a__U11#(mark X1, X2), mark# U12 X -> mark# X, mark# isNeList X -> a__isNeList# X, mark# U21(X1, X2, X3) -> mark# X1, mark# U21(X1, X2, X3) -> a__U21#(mark X1, X2, X3), mark# U22(X1, X2) -> mark# X1, mark# U22(X1, X2) -> a__U22#(mark X1, X2), mark# isList X -> a__isList# X, mark# U23 X -> mark# X, mark# U31(X1, X2) -> mark# X1, mark# U32 X -> mark# X, mark# U41(X1, X2, X3) -> mark# X1, mark# U41(X1, X2, X3) -> a__U41#(mark X1, X2, X3), mark# U42(X1, X2) -> mark# X1, mark# U42(X1, X2) -> a__U42#(mark X1, X2), mark# U43 X -> mark# X, mark# U51(X1, X2, X3) -> mark# X1, mark# U51(X1, X2, X3) -> a__U51#(mark X1, X2, X3), mark# U52(X1, X2) -> mark# X1, mark# U52(X1, X2) -> a__U52#(mark X1, X2), mark# U53 X -> mark# X, mark# U61(X1, X2) -> mark# X1, mark# U62 X -> mark# X, mark# U71(X1, X2) -> mark# X1, mark# U71(X1, X2) -> a__U71#(mark X1, X2), mark# U72 X -> mark# X, mark# isNePal X -> a__isNePal# X, a__isNeList# V -> a__isPalListKind# V, a__isNeList# __(V1, V2) -> a__U41#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__U51#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isNeList# __(V1, V2) -> a__isPalListKind# V1, a__U11#(tt(), V) -> a__isNeList# V, a__U22#(tt(), V2) -> a__isList# V2, a__isList# V -> a__U11#(a__isPalListKind V, V), a__isList# V -> a__isPalListKind# V, a__isList# __(V1, V2) -> a__U21#(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isList# __(V1, V2) -> a__isPalListKind# V1, a__U21#(tt(), V1, V2) -> a__U22#(a__isList V1, V2), a__U21#(tt(), V1, V2) -> a__isList# V1, a__U42#(tt(), V2) -> a__isNeList# V2, a__U41#(tt(), V1, V2) -> a__isList# V1, a__U41#(tt(), V1, V2) -> a__U42#(a__isList V1, V2), a__U52#(tt(), V2) -> a__isList# V2, a__U51#(tt(), V1, V2) -> a__isNeList# V1, a__U51#(tt(), V1, V2) -> a__U52#(a__isNeList V1, V2), a__isNePal# V -> a__isPalListKind# V, a__isNePal# __(I, __(P, I)) -> a__and#(a__isQid I, isPalListKind I), a__isNePal# __(I, __(P, I)) -> a__and#(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71#(tt(), V) -> a__isNePal# V, a__and#(tt(), X) -> mark# X, a__isPalListKind# __(V1, V2) -> a__and#(a__isPalListKind V1, isPalListKind V2), a__isPalListKind# __(V1, V2) -> a__isPalListKind# V1, a__isPal# V -> a__U71#(a__isPalListKind V, V), a__isPal# V -> a__isPalListKind# V} Weak: { a____(X, nil()) -> mark X, a____(X1, X2) -> __(X1, X2), a____(__(X, Y), Z) -> a____(mark X, a____(mark Y, mark Z)), a____(nil(), X) -> mark X, mark __(X1, X2) -> a____(mark X1, mark X2), mark nil() -> nil(), mark tt() -> tt(), mark isPalListKind X -> a__isPalListKind X, mark and(X1, X2) -> a__and(mark X1, X2), mark isPal X -> a__isPal X, mark a() -> a(), mark e() -> e(), mark i() -> i(), mark o() -> o(), mark u() -> u(), mark U11(X1, X2) -> a__U11(mark X1, X2), mark U12 X -> a__U12 mark X, mark isNeList X -> a__isNeList X, mark U21(X1, X2, X3) -> a__U21(mark X1, X2, X3), mark U22(X1, X2) -> a__U22(mark X1, X2), mark isList X -> a__isList X, mark U23 X -> a__U23 mark X, mark U31(X1, X2) -> a__U31(mark X1, X2), mark U32 X -> a__U32 mark X, mark isQid X -> a__isQid X, mark U41(X1, X2, X3) -> a__U41(mark X1, X2, X3), mark U42(X1, X2) -> a__U42(mark X1, X2), mark U43 X -> a__U43 mark X, mark U51(X1, X2, X3) -> a__U51(mark X1, X2, X3), mark U52(X1, X2) -> a__U52(mark X1, X2), mark U53 X -> a__U53 mark X, mark U61(X1, X2) -> a__U61(mark X1, X2), mark U62 X -> a__U62 mark X, mark U71(X1, X2) -> a__U71(mark X1, X2), mark U72 X -> a__U72 mark X, mark isNePal X -> a__isNePal X, a__U12 X -> U12 X, a__U12 tt() -> tt(), a__isNeList X -> isNeList X, a__isNeList V -> a__U31(a__isPalListKind V, V), a__isNeList __(V1, V2) -> a__U41(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isNeList __(V1, V2) -> a__U51(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__U11(X1, X2) -> U11(X1, X2), a__U11(tt(), V) -> a__U12 a__isNeList V, a__U22(X1, X2) -> U22(X1, X2), a__U22(tt(), V2) -> a__U23 a__isList V2, a__isList X -> isList X, a__isList V -> a__U11(a__isPalListKind V, V), a__isList __(V1, V2) -> a__U21(a__and(a__isPalListKind V1, isPalListKind V2), V1, V2), a__isList nil() -> tt(), a__U21(X1, X2, X3) -> U21(X1, X2, X3), a__U21(tt(), V1, V2) -> a__U22(a__isList V1, V2), a__U23 X -> U23 X, a__U23 tt() -> tt(), a__U32 X -> U32 X, a__U32 tt() -> tt(), a__isQid X -> isQid X, a__isQid a() -> tt(), a__isQid e() -> tt(), a__isQid i() -> tt(), a__isQid o() -> tt(), a__isQid u() -> tt(), a__U31(X1, X2) -> U31(X1, X2), a__U31(tt(), V) -> a__U32 a__isQid V, a__U42(X1, X2) -> U42(X1, X2), a__U42(tt(), V2) -> a__U43 a__isNeList V2, a__U41(X1, X2, X3) -> U41(X1, X2, X3), a__U41(tt(), V1, V2) -> a__U42(a__isList V1, V2), a__U43 X -> U43 X, a__U43 tt() -> tt(), a__U52(X1, X2) -> U52(X1, X2), a__U52(tt(), V2) -> a__U53 a__isList V2, a__U51(X1, X2, X3) -> U51(X1, X2, X3), a__U51(tt(), V1, V2) -> a__U52(a__isNeList V1, V2), a__U53 X -> U53 X, a__U53 tt() -> tt(), a__U62 X -> U62 X, a__U62 tt() -> tt(), a__U61(X1, X2) -> U61(X1, X2), a__U61(tt(), V) -> a__U62 a__isQid V, a__U72 X -> U72 X, a__U72 tt() -> tt(), a__isNePal X -> isNePal X, a__isNePal V -> a__U61(a__isPalListKind V, V), a__isNePal __(I, __(P, I)) -> a__and(a__and(a__isQid I, isPalListKind I), and(isPal P, isPalListKind P)), a__U71(X1, X2) -> U71(X1, X2), a__U71(tt(), V) -> a__U72 a__isNePal V, a__and(X1, X2) -> and(X1, X2), a__and(tt(), X) -> mark X, a__isPalListKind X -> isPalListKind X, a__isPalListKind __(V1, V2) -> a__and(a__isPalListKind V1, isPalListKind V2), a__isPalListKind nil() -> tt(), a__isPalListKind a() -> tt(), a__isPalListKind e() -> tt(), a__isPalListKind i() -> tt(), a__isPalListKind o() -> tt(), a__isPalListKind u() -> tt(), a__isPal X -> isPal X, a__isPal V -> a__U71(a__isPalListKind V, V), a__isPal nil() -> tt()} Open