MAYBE Time: 0.072302 TRS: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} DP: DP: {__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z), U12# tt() -> U13# isNeList(), U12# tt() -> isNeList#(), isPalListKind#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind(), U11# tt() -> U12# isPalListKind(), U11# tt() -> isPalListKind#(), isNeList#() -> isPalListKind#(), isNeList#() -> U31# isPalListKind(), isNeList#() -> U41# isPalListKind(), isNeList#() -> U51# isPalListKind(), U22# tt() -> isPalListKind#(), U22# tt() -> U23# isPalListKind(), U21# tt() -> isPalListKind#(), U21# tt() -> U22# isPalListKind(), U23# tt() -> isPalListKind#(), U23# tt() -> U24# isPalListKind(), U24# tt() -> U25# isList(), U24# tt() -> isList#(), U25# tt() -> isList#(), U25# tt() -> U26# isList(), isList#() -> isPalListKind#(), isList#() -> U11# isPalListKind(), isList#() -> U21# isPalListKind(), U32# tt() -> U33# isQid(), U32# tt() -> isQid#(), U31# tt() -> isPalListKind#(), U31# tt() -> U32# isPalListKind(), U42# tt() -> isPalListKind#(), U42# tt() -> U43# isPalListKind(), U41# tt() -> isPalListKind#(), U41# tt() -> U42# isPalListKind(), U43# tt() -> isPalListKind#(), U43# tt() -> U44# isPalListKind(), U44# tt() -> isList#(), U44# tt() -> U45# isList(), U45# tt() -> isNeList#(), U45# tt() -> U46# isNeList(), U52# tt() -> isPalListKind#(), U52# tt() -> U53# isPalListKind(), U51# tt() -> isPalListKind#(), U51# tt() -> U52# isPalListKind(), U53# tt() -> isPalListKind#(), U53# tt() -> U54# isPalListKind(), U54# tt() -> isNeList#(), U54# tt() -> U55# isNeList(), U55# tt() -> isList#(), U55# tt() -> U56# isList(), U62# tt() -> isQid#(), U62# tt() -> U63# isQid(), U61# tt() -> isPalListKind#(), U61# tt() -> U62# isPalListKind(), U72# tt() -> U73# isPal(), U72# tt() -> isPal#(), U71# tt() -> isPalListKind#(), U71# tt() -> U72# isPalListKind(), U73# tt() -> isPalListKind#(), U73# tt() -> U74# isPalListKind(), isPal#() -> isPalListKind#(), isPal#() -> U81# isPalListKind(), U82# tt() -> U83# isNePal(), U82# tt() -> isNePal#(), U81# tt() -> isPalListKind#(), U81# tt() -> U82# isPalListKind(), isNePal#() -> isPalListKind#(), isNePal#() -> isQid#(), isNePal#() -> U61# isPalListKind(), isNePal#() -> U71# isQid(), U91# tt() -> isPalListKind#(), U91# tt() -> U92# isPalListKind()} TRS: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} UR: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} EDG: {(U12# tt() -> isNeList#(), isNeList#() -> U51# isPalListKind()) (U12# tt() -> isNeList#(), isNeList#() -> U41# isPalListKind()) (U12# tt() -> isNeList#(), isNeList#() -> U31# isPalListKind()) (U12# tt() -> isNeList#(), isNeList#() -> isPalListKind#()) (U11# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U11# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U22# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U22# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U23# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U23# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U25# tt() -> isList#(), isList#() -> U21# isPalListKind()) (U25# tt() -> isList#(), isList#() -> U11# isPalListKind()) (U25# tt() -> isList#(), isList#() -> isPalListKind#()) (U42# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U42# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U43# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U43# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U45# tt() -> isNeList#(), isNeList#() -> U51# isPalListKind()) (U45# tt() -> isNeList#(), isNeList#() -> U41# isPalListKind()) (U45# tt() -> isNeList#(), isNeList#() -> U31# isPalListKind()) (U45# tt() -> isNeList#(), isNeList#() -> isPalListKind#()) (U51# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U51# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U54# tt() -> isNeList#(), isNeList#() -> U51# isPalListKind()) (U54# tt() -> isNeList#(), isNeList#() -> U41# isPalListKind()) (U54# tt() -> isNeList#(), isNeList#() -> U31# isPalListKind()) (U54# tt() -> isNeList#(), isNeList#() -> isPalListKind#()) (U72# tt() -> isPal#(), isPal#() -> U81# isPalListKind()) (U72# tt() -> isPal#(), isPal#() -> isPalListKind#()) (U73# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U73# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U82# tt() -> isNePal#(), isNePal#() -> U71# isQid()) (U82# tt() -> isNePal#(), isNePal#() -> U61# isPalListKind()) (U82# tt() -> isNePal#(), isNePal#() -> isQid#()) (U82# tt() -> isNePal#(), isNePal#() -> isPalListKind#()) (isNePal#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (isNePal#() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U91# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U91# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U11# tt() -> U12# isPalListKind(), U12# tt() -> isNeList#()) (U11# tt() -> U12# isPalListKind(), U12# tt() -> U13# isNeList()) (isNeList#() -> U41# isPalListKind(), U41# tt() -> U42# isPalListKind()) (isNeList#() -> U41# isPalListKind(), U41# tt() -> isPalListKind#()) (U22# tt() -> U23# isPalListKind(), U23# tt() -> U24# isPalListKind()) (U22# tt() -> U23# isPalListKind(), U23# tt() -> isPalListKind#()) (U23# tt() -> U24# isPalListKind(), U24# tt() -> isList#()) (U23# tt() -> U24# isPalListKind(), U24# tt() -> U25# isList()) (isList#() -> U21# isPalListKind(), U21# tt() -> U22# isPalListKind()) (isList#() -> U21# isPalListKind(), U21# tt() -> isPalListKind#()) (U31# tt() -> U32# isPalListKind(), U32# tt() -> isQid#()) (U31# tt() -> U32# isPalListKind(), U32# tt() -> U33# isQid()) (U41# tt() -> U42# isPalListKind(), U42# tt() -> U43# isPalListKind()) (U41# tt() -> U42# isPalListKind(), U42# tt() -> isPalListKind#()) (U44# tt() -> U45# isList(), U45# tt() -> U46# isNeList()) (U44# tt() -> U45# isList(), U45# tt() -> isNeList#()) (U52# tt() -> U53# isPalListKind(), U53# tt() -> U54# isPalListKind()) (U52# tt() -> U53# isPalListKind(), U53# tt() -> isPalListKind#()) (U53# tt() -> U54# isPalListKind(), U54# tt() -> U55# isNeList()) (U53# tt() -> U54# isPalListKind(), U54# tt() -> isNeList#()) (U61# tt() -> U62# isPalListKind(), U62# tt() -> U63# isQid()) (U61# tt() -> U62# isPalListKind(), U62# tt() -> isQid#()) (U71# tt() -> U72# isPalListKind(), U72# tt() -> isPal#()) (U71# tt() -> U72# isPalListKind(), U72# tt() -> U73# isPal()) (isPal#() -> U81# isPalListKind(), U81# tt() -> U82# isPalListKind()) (isPal#() -> U81# isPalListKind(), U81# tt() -> isPalListKind#()) (U81# tt() -> U82# isPalListKind(), U82# tt() -> isNePal#()) (U81# tt() -> U82# isPalListKind(), U82# tt() -> U83# isNePal()) (isNePal#() -> U71# isQid(), U71# tt() -> U72# isPalListKind()) (isNePal#() -> U71# isQid(), U71# tt() -> isPalListKind#()) (isNePal#() -> U61# isPalListKind(), U61# tt() -> isPalListKind#()) (isNePal#() -> U61# isPalListKind(), U61# tt() -> U62# isPalListKind()) (U72# tt() -> U73# isPal(), U73# tt() -> isPalListKind#()) (U72# tt() -> U73# isPal(), U73# tt() -> U74# isPalListKind()) (U54# tt() -> U55# isNeList(), U55# tt() -> isList#()) (U54# tt() -> U55# isNeList(), U55# tt() -> U56# isList()) (U51# tt() -> U52# isPalListKind(), U52# tt() -> isPalListKind#()) (U51# tt() -> U52# isPalListKind(), U52# tt() -> U53# isPalListKind()) (U43# tt() -> U44# isPalListKind(), U44# tt() -> isList#()) (U43# tt() -> U44# isPalListKind(), U44# tt() -> U45# isList()) (U42# tt() -> U43# isPalListKind(), U43# tt() -> isPalListKind#()) (U42# tt() -> U43# isPalListKind(), U43# tt() -> U44# isPalListKind()) (isList#() -> U11# isPalListKind(), U11# tt() -> U12# isPalListKind()) (isList#() -> U11# isPalListKind(), U11# tt() -> isPalListKind#()) (U24# tt() -> U25# isList(), U25# tt() -> isList#()) (U24# tt() -> U25# isList(), U25# tt() -> U26# isList()) (U21# tt() -> U22# isPalListKind(), U22# tt() -> isPalListKind#()) (U21# tt() -> U22# isPalListKind(), U22# tt() -> U23# isPalListKind()) (isNeList#() -> U51# isPalListKind(), U51# tt() -> isPalListKind#()) (isNeList#() -> U51# isPalListKind(), U51# tt() -> U52# isPalListKind()) (isNeList#() -> U31# isPalListKind(), U31# tt() -> isPalListKind#()) (isNeList#() -> U31# isPalListKind(), U31# tt() -> U32# isPalListKind()) (isPalListKind#() -> U91# isPalListKind(), U91# tt() -> isPalListKind#()) (isPalListKind#() -> U91# isPalListKind(), U91# tt() -> U92# isPalListKind()) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)) (U81# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U81# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (isPal#() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (isPal#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U71# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U71# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U61# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U61# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U55# tt() -> isList#(), isList#() -> isPalListKind#()) (U55# tt() -> isList#(), isList#() -> U11# isPalListKind()) (U55# tt() -> isList#(), isList#() -> U21# isPalListKind()) (U53# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U53# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U52# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U52# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U44# tt() -> isList#(), isList#() -> isPalListKind#()) (U44# tt() -> isList#(), isList#() -> U11# isPalListKind()) (U44# tt() -> isList#(), isList#() -> U21# isPalListKind()) (U41# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U41# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U31# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U31# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (isList#() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (isList#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (U24# tt() -> isList#(), isList#() -> isPalListKind#()) (U24# tt() -> isList#(), isList#() -> U11# isPalListKind()) (U24# tt() -> isList#(), isList#() -> U21# isPalListKind()) (U21# tt() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (U21# tt() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (isNeList#() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (isNeList#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (isPalListKind#() -> isPalListKind#(), isPalListKind#() -> isPalListKind#()) (isPalListKind#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind()) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z))) (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))} STATUS: arrows: 0.974211 SCCS (4): Scc: { U72# tt() -> isPal#(), U71# tt() -> U72# isPalListKind(), isPal#() -> U81# isPalListKind(), U82# tt() -> isNePal#(), U81# tt() -> U82# isPalListKind(), isNePal#() -> U71# isQid()} Scc: { U12# tt() -> isNeList#(), U11# tt() -> U12# isPalListKind(), isNeList#() -> U41# isPalListKind(), isNeList#() -> U51# isPalListKind(), U22# tt() -> U23# isPalListKind(), U21# tt() -> U22# isPalListKind(), U23# tt() -> U24# isPalListKind(), U24# tt() -> U25# isList(), U24# tt() -> isList#(), U25# tt() -> isList#(), isList#() -> U11# isPalListKind(), isList#() -> U21# isPalListKind(), U42# tt() -> U43# isPalListKind(), U41# tt() -> U42# isPalListKind(), U43# tt() -> U44# isPalListKind(), U44# tt() -> isList#(), U44# tt() -> U45# isList(), U45# tt() -> isNeList#(), U52# tt() -> U53# isPalListKind(), U51# tt() -> U52# isPalListKind(), U53# tt() -> U54# isPalListKind(), U54# tt() -> isNeList#(), U54# tt() -> U55# isNeList(), U55# tt() -> isList#()} Scc: {isPalListKind#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind(), U91# tt() -> isPalListKind#()} Scc: {__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)} SCC (6): Strict: { U72# tt() -> isPal#(), U71# tt() -> U72# isPalListKind(), isPal#() -> U81# isPalListKind(), U82# tt() -> isNePal#(), U81# tt() -> U82# isPalListKind(), isNePal#() -> U71# isQid()} Weak: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} Open SCC (24): Strict: { U12# tt() -> isNeList#(), U11# tt() -> U12# isPalListKind(), isNeList#() -> U41# isPalListKind(), isNeList#() -> U51# isPalListKind(), U22# tt() -> U23# isPalListKind(), U21# tt() -> U22# isPalListKind(), U23# tt() -> U24# isPalListKind(), U24# tt() -> U25# isList(), U24# tt() -> isList#(), U25# tt() -> isList#(), isList#() -> U11# isPalListKind(), isList#() -> U21# isPalListKind(), U42# tt() -> U43# isPalListKind(), U41# tt() -> U42# isPalListKind(), U43# tt() -> U44# isPalListKind(), U44# tt() -> isList#(), U44# tt() -> U45# isList(), U45# tt() -> isNeList#(), U52# tt() -> U53# isPalListKind(), U51# tt() -> U52# isPalListKind(), U53# tt() -> U54# isPalListKind(), U54# tt() -> isNeList#(), U54# tt() -> U55# isNeList(), U55# tt() -> isList#()} Weak: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} Open SCC (3): Strict: {isPalListKind#() -> isPalListKind#(), isPalListKind#() -> U91# isPalListKind(), U91# tt() -> isPalListKind#()} Weak: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} Open SCC (2): Strict: {__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z)} Weak: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12 tt() -> U13 isNeList(), isPalListKind() -> tt(), isPalListKind() -> U91 isPalListKind(), U11 tt() -> U12 isPalListKind(), U13 tt() -> tt(), isNeList() -> U31 isPalListKind(), isNeList() -> U41 isPalListKind(), isNeList() -> U51 isPalListKind(), U22 tt() -> U23 isPalListKind(), U21 tt() -> U22 isPalListKind(), U23 tt() -> U24 isPalListKind(), U24 tt() -> U25 isList(), U25 tt() -> U26 isList(), isList() -> U11 isPalListKind(), isList() -> tt(), isList() -> U21 isPalListKind(), U26 tt() -> tt(), U32 tt() -> U33 isQid(), U31 tt() -> U32 isPalListKind(), U33 tt() -> tt(), isQid() -> tt(), U42 tt() -> U43 isPalListKind(), U41 tt() -> U42 isPalListKind(), U43 tt() -> U44 isPalListKind(), U44 tt() -> U45 isList(), U45 tt() -> U46 isNeList(), U46 tt() -> tt(), U52 tt() -> U53 isPalListKind(), U51 tt() -> U52 isPalListKind(), U53 tt() -> U54 isPalListKind(), U54 tt() -> U55 isNeList(), U55 tt() -> U56 isList(), U56 tt() -> tt(), U62 tt() -> U63 isQid(), U61 tt() -> U62 isPalListKind(), U63 tt() -> tt(), U72 tt() -> U73 isPal(), U71 tt() -> U72 isPalListKind(), U73 tt() -> U74 isPalListKind(), isPal() -> tt(), isPal() -> U81 isPalListKind(), U74 tt() -> tt(), U82 tt() -> U83 isNePal(), U81 tt() -> U82 isPalListKind(), U83 tt() -> tt(), isNePal() -> U61 isPalListKind(), isNePal() -> U71 isQid(), U92 tt() -> tt(), U91 tt() -> U92 isPalListKind()} Open