/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES
Input TRS:
    1: __(__(X,Y),Z) -> __(X,__(Y,Z))
    2: __(X,nil()) -> X
    3: __(nil(),X) -> X
    4: U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
    5: U12(tt(),V) -> U13(isNeList(activate(V)))
    6: U13(tt()) -> tt()
    7: U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
    8: U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
    9: U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
    10: U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
    11: U25(tt(),V2) -> U26(isList(activate(V2)))
    12: U26(tt()) -> tt()
    13: U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
    14: U32(tt(),V) -> U33(isQid(activate(V)))
    15: U33(tt()) -> tt()
    16: U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
    17: U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
    18: U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
    19: U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
    20: U45(tt(),V2) -> U46(isNeList(activate(V2)))
    21: U46(tt()) -> tt()
    22: U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
    23: U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
    24: U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
    25: U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
    26: U55(tt(),V2) -> U56(isList(activate(V2)))
    27: U56(tt()) -> tt()
    28: U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
    29: U62(tt(),V) -> U63(isQid(activate(V)))
    30: U63(tt()) -> tt()
    31: U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
    32: U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
    33: U73(tt(),P) -> U74(isPalListKind(activate(P)))
    34: U74(tt()) -> tt()
    35: U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
    36: U82(tt(),V) -> U83(isNePal(activate(V)))
    37: U83(tt()) -> tt()
    38: U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
    39: U92(tt()) -> tt()
    40: isList(V) -> U11(isPalListKind(activate(V)),activate(V))
    41: isList(n__nil()) -> tt()
    42: isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
    43: isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
    44: isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
    45: isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
    46: isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
    47: isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
    48: isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
    49: isPal(n__nil()) -> tt()
    50: isPalListKind(n__a()) -> tt()
    51: isPalListKind(n__e()) -> tt()
    52: isPalListKind(n__i()) -> tt()
    53: isPalListKind(n__nil()) -> tt()
    54: isPalListKind(n__o()) -> tt()
    55: isPalListKind(n__u()) -> tt()
    56: isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
    57: isQid(n__a()) -> tt()
    58: isQid(n__e()) -> tt()
    59: isQid(n__i()) -> tt()
    60: isQid(n__o()) -> tt()
    61: isQid(n__u()) -> tt()
    62: nil() -> n__nil()
    63: __(X1,X2) -> n____(X1,X2)
    64: a() -> n__a()
    65: e() -> n__e()
    66: i() -> n__i()
    67: o() -> n__o()
    68: u() -> n__u()
    69: activate(n__nil()) -> nil()
    70: activate(n____(X1,X2)) -> __(X1,X2)
    71: activate(n__a()) -> a()
    72: activate(n__e()) -> e()
    73: activate(n__i()) -> i()
    74: activate(n__o()) -> o()
    75: activate(n__u()) -> u()
    76: activate(X) -> X
Number of strict rules: 76
Direct poly ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #isNeList(V) -> #U31(isPalListKind(activate(V)),activate(V))
   #2: #isNeList(V) -> #isPalListKind(activate(V))
   #3: #isNeList(V) -> #activate(V)
   #4: #isNeList(V) -> #activate(V)
   #5: #U62(tt(),V) -> #U63(isQid(activate(V)))
   #6: #U62(tt(),V) -> #isQid(activate(V))
   #7: #U62(tt(),V) -> #activate(V)
   #8: #U81(tt(),V) -> #U82(isPalListKind(activate(V)),activate(V))
   #9: #U81(tt(),V) -> #isPalListKind(activate(V))
   #10: #U81(tt(),V) -> #activate(V)
   #11: #U81(tt(),V) -> #activate(V)
   #12: #isNePal(V) -> #U61(isPalListKind(activate(V)),activate(V))
   #13: #isNePal(V) -> #isPalListKind(activate(V))
   #14: #isNePal(V) -> #activate(V)
   #15: #isNePal(V) -> #activate(V)
   #16: #isList(n____(V1,V2)) -> #U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #17: #isList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #18: #isList(n____(V1,V2)) -> #activate(V1)
   #19: #isList(n____(V1,V2)) -> #activate(V1)
   #20: #isList(n____(V1,V2)) -> #activate(V2)
   #21: #activate(n__i()) -> #i()
   #22: #isNePal(n____(I,__(P,I))) -> #U71(isQid(activate(I)),activate(I),activate(P))
   #23: #isNePal(n____(I,__(P,I))) -> #isQid(activate(I))
   #24: #isNePal(n____(I,__(P,I))) -> #activate(I)
   #25: #isNePal(n____(I,__(P,I))) -> #activate(I)
   #26: #isNePal(n____(I,__(P,I))) -> #activate(P)
   #27: #activate(n__a()) -> #a()
   #28: #isPal(V) -> #U81(isPalListKind(activate(V)),activate(V))
   #29: #isPal(V) -> #isPalListKind(activate(V))
   #30: #isPal(V) -> #activate(V)
   #31: #isPal(V) -> #activate(V)
   #32: #activate(n__u()) -> #u()
   #33: #activate(n__o()) -> #o()
   #34: #U91(tt(),V2) -> #U92(isPalListKind(activate(V2)))
   #35: #U91(tt(),V2) -> #isPalListKind(activate(V2))
   #36: #U91(tt(),V2) -> #activate(V2)
   #37: #isList(V) -> #U11(isPalListKind(activate(V)),activate(V))
   #38: #isList(V) -> #isPalListKind(activate(V))
   #39: #isList(V) -> #activate(V)
   #40: #isList(V) -> #activate(V)
   #41: #U31(tt(),V) -> #U32(isPalListKind(activate(V)),activate(V))
   #42: #U31(tt(),V) -> #isPalListKind(activate(V))
   #43: #U31(tt(),V) -> #activate(V)
   #44: #U31(tt(),V) -> #activate(V)
   #45: #U23(tt(),V1,V2) -> #U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #46: #U23(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #47: #U23(tt(),V1,V2) -> #activate(V2)
   #48: #U23(tt(),V1,V2) -> #activate(V1)
   #49: #U23(tt(),V1,V2) -> #activate(V2)
   #50: #U25(tt(),V2) -> #U26(isList(activate(V2)))
   #51: #U25(tt(),V2) -> #isList(activate(V2))
   #52: #U25(tt(),V2) -> #activate(V2)
   #53: #U53(tt(),V1,V2) -> #U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #54: #U53(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #55: #U53(tt(),V1,V2) -> #activate(V2)
   #56: #U53(tt(),V1,V2) -> #activate(V1)
   #57: #U53(tt(),V1,V2) -> #activate(V2)
   #58: #activate(n____(X1,X2)) -> #__(X1,X2)
   #59: #U52(tt(),V1,V2) -> #U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #60: #U52(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #61: #U52(tt(),V1,V2) -> #activate(V2)
   #62: #U52(tt(),V1,V2) -> #activate(V1)
   #63: #U52(tt(),V1,V2) -> #activate(V2)
   #64: #isNeList(n____(V1,V2)) -> #U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #65: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #66: #isNeList(n____(V1,V2)) -> #activate(V1)
   #67: #isNeList(n____(V1,V2)) -> #activate(V1)
   #68: #isNeList(n____(V1,V2)) -> #activate(V2)
   #69: #activate(n__nil()) -> #nil()
   #70: #U71(tt(),I,P) -> #U72(isPalListKind(activate(I)),activate(P))
   #71: #U71(tt(),I,P) -> #isPalListKind(activate(I))
   #72: #U71(tt(),I,P) -> #activate(I)
   #73: #U71(tt(),I,P) -> #activate(P)
   #74: #isPalListKind(n____(V1,V2)) -> #U91(isPalListKind(activate(V1)),activate(V2))
   #75: #isPalListKind(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #76: #isPalListKind(n____(V1,V2)) -> #activate(V1)
   #77: #isPalListKind(n____(V1,V2)) -> #activate(V2)
   #78: #U32(tt(),V) -> #U33(isQid(activate(V)))
   #79: #U32(tt(),V) -> #isQid(activate(V))
   #80: #U32(tt(),V) -> #activate(V)
   #81: #U54(tt(),V1,V2) -> #U55(isNeList(activate(V1)),activate(V2))
   #82: #U54(tt(),V1,V2) -> #isNeList(activate(V1))
   #83: #U54(tt(),V1,V2) -> #activate(V1)
   #84: #U54(tt(),V1,V2) -> #activate(V2)
   #85: #U45(tt(),V2) -> #U46(isNeList(activate(V2)))
   #86: #U45(tt(),V2) -> #isNeList(activate(V2))
   #87: #U45(tt(),V2) -> #activate(V2)
   #88: #U21(tt(),V1,V2) -> #U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #89: #U21(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #90: #U21(tt(),V1,V2) -> #activate(V1)
   #91: #U21(tt(),V1,V2) -> #activate(V1)
   #92: #U21(tt(),V1,V2) -> #activate(V2)
   #93: #U24(tt(),V1,V2) -> #U25(isList(activate(V1)),activate(V2))
   #94: #U24(tt(),V1,V2) -> #isList(activate(V1))
   #95: #U24(tt(),V1,V2) -> #activate(V1)
   #96: #U24(tt(),V1,V2) -> #activate(V2)
   #97: #U73(tt(),P) -> #U74(isPalListKind(activate(P)))
   #98: #U73(tt(),P) -> #isPalListKind(activate(P))
   #99: #U73(tt(),P) -> #activate(P)
   #100: #activate(n__e()) -> #e()
   #101: #U12(tt(),V) -> #U13(isNeList(activate(V)))
   #102: #U12(tt(),V) -> #isNeList(activate(V))
   #103: #U12(tt(),V) -> #activate(V)
   #104: #isNeList(n____(V1,V2)) -> #U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #105: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #106: #isNeList(n____(V1,V2)) -> #activate(V1)
   #107: #isNeList(n____(V1,V2)) -> #activate(V1)
   #108: #isNeList(n____(V1,V2)) -> #activate(V2)
   #109: #U61(tt(),V) -> #U62(isPalListKind(activate(V)),activate(V))
   #110: #U61(tt(),V) -> #isPalListKind(activate(V))
   #111: #U61(tt(),V) -> #activate(V)
   #112: #U61(tt(),V) -> #activate(V)
   #113: #U51(tt(),V1,V2) -> #U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #114: #U51(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #115: #U51(tt(),V1,V2) -> #activate(V1)
   #116: #U51(tt(),V1,V2) -> #activate(V1)
   #117: #U51(tt(),V1,V2) -> #activate(V2)
   #118: #U42(tt(),V1,V2) -> #U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #119: #U42(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #120: #U42(tt(),V1,V2) -> #activate(V2)
   #121: #U42(tt(),V1,V2) -> #activate(V1)
   #122: #U42(tt(),V1,V2) -> #activate(V2)
   #123: #U72(tt(),P) -> #U73(isPal(activate(P)),activate(P))
   #124: #U72(tt(),P) -> #isPal(activate(P))
   #125: #U72(tt(),P) -> #activate(P)
   #126: #U72(tt(),P) -> #activate(P)
   #127: #U44(tt(),V1,V2) -> #U45(isList(activate(V1)),activate(V2))
   #128: #U44(tt(),V1,V2) -> #isList(activate(V1))
   #129: #U44(tt(),V1,V2) -> #activate(V1)
   #130: #U44(tt(),V1,V2) -> #activate(V2)
   #131: #U55(tt(),V2) -> #U56(isList(activate(V2)))
   #132: #U55(tt(),V2) -> #isList(activate(V2))
   #133: #U55(tt(),V2) -> #activate(V2)
   #134: #U82(tt(),V) -> #U83(isNePal(activate(V)))
   #135: #U82(tt(),V) -> #isNePal(activate(V))
   #136: #U82(tt(),V) -> #activate(V)
   #137: #U41(tt(),V1,V2) -> #U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #138: #U41(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #139: #U41(tt(),V1,V2) -> #activate(V1)
   #140: #U41(tt(),V1,V2) -> #activate(V1)
   #141: #U41(tt(),V1,V2) -> #activate(V2)
   #142: #__(__(X,Y),Z) -> #__(X,__(Y,Z))
   #143: #__(__(X,Y),Z) -> #__(Y,Z)
   #144: #U22(tt(),V1,V2) -> #U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #145: #U22(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #146: #U22(tt(),V1,V2) -> #activate(V2)
   #147: #U22(tt(),V1,V2) -> #activate(V1)
   #148: #U22(tt(),V1,V2) -> #activate(V2)
   #149: #U11(tt(),V) -> #U12(isPalListKind(activate(V)),activate(V))
   #150: #U11(tt(),V) -> #isPalListKind(activate(V))
   #151: #U11(tt(),V) -> #activate(V)
   #152: #U11(tt(),V) -> #activate(V)
   #153: #U43(tt(),V1,V2) -> #U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #154: #U43(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #155: #U43(tt(),V1,V2) -> #activate(V2)
   #156: #U43(tt(),V1,V2) -> #activate(V1)
   #157: #U43(tt(),V1,V2) -> #activate(V2)
Number of SCCs: 4, DPs: 35
	SCC { #142 #143 }
Sum... succeeded.
  a()		w: (0)
  n__a()		w: (0)
  #U72(x1,x2)		w: (0)
  #U32(x1,x2)		w: (0)
  U21(x1,x2,x3)		w: (0)
  #U83(x1)		w: (0)
  #isPalListKind(x1)		w: (0)
  U11(x1,x2)		w: (0)
  U24(x1,x2,x3)		w: (0)
  n__o()		w: (0)
  #U24(x1,x2,x3)		w: (0)
  U25(x1,x2)		w: (0)
  isNeList(x1)		w: (0)
  U56(x1)		w: (0)
  isPal(x1)		w: (0)
  U42(x1,x2,x3)		w: (0)
  U91(x1,x2)		w: (0)
  #e()		w: (0)
  u()		w: (0)
  activate(x1)		w: (0)
  U26(x1)		w: (0)
  #U82(x1,x2)		w: (0)
  U71(x1,x2,x3)		w: (0)
  #U81(x1,x2)		w: (0)
  #U92(x1)		w: (0)
  #u()		w: (0)
  #isNeList(x1)		w: (0)
  U43(x1,x2,x3)		w: (0)
  #activate(x1)		w: (0)
  n__i()		w: (0)
  #U23(x1,x2,x3)		w: (0)
  #U53(x1,x2,x3)		w: (0)
  #__(x1,x2)		w: (x1)
  U44(x1,x2,x3)		w: (0)
  U55(x1,x2)		w: (0)
  #U43(x1,x2,x3)		w: (0)
  U23(x1,x2,x3)		w: (0)
  U63(x1)		w: (0)
  isNePal(x1)		w: (0)
  U72(x1,x2)		w: (0)
  #U13(x1)		w: (0)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__nil()		w: (0)
  #U52(x1,x2,x3)		w: (0)
  U12(x1,x2)		w: (0)
  #U33(x1)		w: (0)
  isQid(x1)		w: (0)
  #U26(x1)		w: (0)
  U54(x1,x2,x3)		w: (0)
  n____(x1,x2)		w: (2)
  n__e()		w: (0)
  o()		w: (0)
  #U44(x1,x2,x3)		w: (0)
  #U54(x1,x2,x3)		w: (0)
  #U42(x1,x2,x3)		w: (0)
  #U12(x1,x2)		w: (0)
  #U62(x1,x2)		w: (0)
  U83(x1)		w: (0)
  isList(x1)		w: (0)
  U73(x1,x2)		w: (0)
  #U74(x1)		w: (0)
  #isNePal(x1)		w: (0)
  #U73(x1,x2)		w: (0)
  nil()		w: (39)
  #U25(x1,x2)		w: (0)
  n__u()		w: (0)
  #o()		w: (0)
  U62(x1,x2)		w: (0)
  #U63(x1)		w: (0)
  U45(x1,x2)		w: (0)
  #nil()		w: (0)
  #isList(x1)		w: (0)
  U32(x1,x2)		w: (0)
  U33(x1)		w: (0)
  #U46(x1)		w: (0)
  #U56(x1)		w: (0)
  U46(x1)		w: (0)
  i()		w: (0)
  U52(x1,x2,x3)		w: (0)
  U61(x1,x2)		w: (0)
  #U51(x1,x2,x3)		w: (0)
  e()		w: (0)
  #U11(x1,x2)		w: (0)
  U31(x1,x2)		w: (0)
  U92(x1)		w: (0)
  #U41(x1,x2,x3)		w: (0)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (0)
  U81(x1,x2)		w: (0)
  U82(x1,x2)		w: (0)
  #U22(x1,x2,x3)		w: (0)
  tt()		w: (0)
  #U71(x1,x2,x3)		w: (0)
  U13(x1)		w: (0)
  U22(x1,x2,x3)		w: (0)
  #U45(x1,x2)		w: (0)
  U51(x1,x2,x3)		w: (0)
  U74(x1)		w: (0)
  isPalListKind(x1)		w: (0)
  U53(x1,x2,x3)		w: (0)
  U41(x1,x2,x3)		w: (0)
  #U31(x1,x2)		w: (0)
  __(x1,x2)		w: (1 + x2 + x1)
  #U91(x1,x2)		w: (0)
  #U55(x1,x2)		w: (0)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { }
    Removed DPs: #142 #143
Number of SCCs: 3, DPs: 33
	SCC { #35 #74 #75 }
Sum... succeeded.
  a()		w: (3)
  n__a()		w: (3)
  #U72(x1,x2)		w: (0)
  #U32(x1,x2)		w: (0)
  U21(x1,x2,x3)		w: (0)
  #U83(x1)		w: (0)
  #isPalListKind(x1)		w: (7 + x1)
  U11(x1,x2)		w: (0)
  U24(x1,x2,x3)		w: (0)
  n__o()		w: (3)
  #U24(x1,x2,x3)		w: (0)
  U25(x1,x2)		w: (0)
  isNeList(x1)		w: (0)
  U56(x1)		w: (0)
  isPal(x1)		w: (0)
  U42(x1,x2,x3)		w: (0)
  U91(x1,x2)		w: (1 + x2 + x1)
  #e()		w: (0)
  u()		w: (3)
  activate(x1)		w: (1 + x1)
  U26(x1)		w: (0)
  #U82(x1,x2)		w: (0)
  U71(x1,x2,x3)		w: (0)
  #U81(x1,x2)		w: (0)
  #U92(x1)		w: (0)
  #u()		w: (0)
  #isNeList(x1)		w: (0)
  U43(x1,x2,x3)		w: (0)
  #activate(x1)		w: (0)
  n__i()		w: (3)
  #U23(x1,x2,x3)		w: (0)
  #U53(x1,x2,x3)		w: (0)
  #__(x1,x2)		w: (0)
  U44(x1,x2,x3)		w: (0)
  U55(x1,x2)		w: (0)
  #U43(x1,x2,x3)		w: (0)
  U23(x1,x2,x3)		w: (0)
  U63(x1)		w: (0)
  isNePal(x1)		w: (0)
  U72(x1,x2)		w: (0)
  #U13(x1)		w: (0)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__nil()		w: (3)
  #U52(x1,x2,x3)		w: (0)
  U12(x1,x2)		w: (0)
  #U33(x1)		w: (0)
  isQid(x1)		w: (0)
  #U26(x1)		w: (0)
  U54(x1,x2,x3)		w: (0)
  n____(x1,x2)		w: (3 + x2 + x1)
  n__e()		w: (3)
  o()		w: (3)
  #U44(x1,x2,x3)		w: (0)
  #U54(x1,x2,x3)		w: (0)
  #U42(x1,x2,x3)		w: (0)
  #U12(x1,x2)		w: (0)
  #U62(x1,x2)		w: (0)
  U83(x1)		w: (0)
  isList(x1)		w: (0)
  U73(x1,x2)		w: (0)
  #U74(x1)		w: (0)
  #isNePal(x1)		w: (0)
  #U73(x1,x2)		w: (0)
  nil()		w: (3)
  #U25(x1,x2)		w: (0)
  n__u()		w: (3)
  #o()		w: (0)
  U62(x1,x2)		w: (0)
  #U63(x1)		w: (0)
  U45(x1,x2)		w: (0)
  #nil()		w: (0)
  #isList(x1)		w: (0)
  U32(x1,x2)		w: (0)
  U33(x1)		w: (0)
  #U46(x1)		w: (0)
  #U56(x1)		w: (0)
  U46(x1)		w: (0)
  i()		w: (3)
  U52(x1,x2,x3)		w: (0)
  U61(x1,x2)		w: (0)
  #U51(x1,x2,x3)		w: (0)
  e()		w: (3)
  #U11(x1,x2)		w: (0)
  U31(x1,x2)		w: (0)
  U92(x1)		w: (x1)
  #U41(x1,x2,x3)		w: (0)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (0)
  U81(x1,x2)		w: (0)
  U82(x1,x2)		w: (0)
  #U22(x1,x2,x3)		w: (0)
  tt()		w: (3)
  #U71(x1,x2,x3)		w: (0)
  U13(x1)		w: (0)
  U22(x1,x2,x3)		w: (0)
  #U45(x1,x2)		w: (0)
  U51(x1,x2,x3)		w: (0)
  U74(x1)		w: (0)
  isPalListKind(x1)		w: (x1)
  U53(x1,x2,x3)		w: (0)
  U41(x1,x2,x3)		w: (0)
  #U31(x1,x2)		w: (0)
  __(x1,x2)		w: (3 + x2 + x1)
  #U91(x1,x2)		w: (6 + x2 + x1)
  #U55(x1,x2)		w: (0)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { 1..3 38 39 50..56 62..76 }
    Removed DPs: #35 #74 #75
Number of SCCs: 2, DPs: 30
	SCC { #8 #22 #28 #70 #124 #135 }
Sum... succeeded.
  a()		w: (12456)
  n__a()		w: (12456)
  #U72(x1,x2)		w: (40 + x2 + x1)
  #U32(x1,x2)		w: (0)
  U21(x1,x2,x3)		w: (0)
  #U83(x1)		w: (0)
  #isPalListKind(x1)		w: (7 + x1)
  U11(x1,x2)		w: (0)
  U24(x1,x2,x3)		w: (0)
  n__o()		w: (868)
  #U24(x1,x2,x3)		w: (0)
  U25(x1,x2)		w: (0)
  isNeList(x1)		w: (0)
  U56(x1)		w: (0)
  isPal(x1)		w: (0)
  U42(x1,x2,x3)		w: (0)
  U91(x1,x2)		w: (2 + x2 + x1)
  #e()		w: (0)
  u()		w: (3)
  activate(x1)		w: (1 + x1)
  U26(x1)		w: (0)
  #U82(x1,x2)		w: (34 + x2)
  U71(x1,x2,x3)		w: (0)
  #U81(x1,x2)		w: (36 + x2)
  #U92(x1)		w: (0)
  #u()		w: (0)
  #isNeList(x1)		w: (0)
  U43(x1,x2,x3)		w: (0)
  #activate(x1)		w: (0)
  n__i()		w: (29536)
  #U23(x1,x2,x3)		w: (0)
  #U53(x1,x2,x3)		w: (0)
  #__(x1,x2)		w: (0)
  U44(x1,x2,x3)		w: (0)
  U55(x1,x2)		w: (0)
  #U43(x1,x2,x3)		w: (0)
  U23(x1,x2,x3)		w: (0)
  U63(x1)		w: (0)
  isNePal(x1)		w: (0)
  U72(x1,x2)		w: (0)
  #U13(x1)		w: (0)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (39 + x1)
  n__nil()		w: (6878)
  #U52(x1,x2,x3)		w: (0)
  U12(x1,x2)		w: (0)
  #U33(x1)		w: (0)
  isQid(x1)		w: (1)
  #U26(x1)		w: (0)
  U54(x1,x2,x3)		w: (0)
  n____(x1,x2)		w: (22 + x2 + x1)
  n__e()		w: (1)
  o()		w: (868)
  #U44(x1,x2,x3)		w: (0)
  #U54(x1,x2,x3)		w: (0)
  #U42(x1,x2,x3)		w: (0)
  #U12(x1,x2)		w: (0)
  #U62(x1,x2)		w: (0)
  U83(x1)		w: (0)
  isList(x1)		w: (0)
  U73(x1,x2)		w: (0)
  #U74(x1)		w: (0)
  #isNePal(x1)		w: (3 + x1)
  #U73(x1,x2)		w: (0)
  nil()		w: (6879)
  #U25(x1,x2)		w: (0)
  n__u()		w: (3)
  #o()		w: (0)
  U62(x1,x2)		w: (0)
  #U63(x1)		w: (0)
  U45(x1,x2)		w: (0)
  #nil()		w: (0)
  #isList(x1)		w: (0)
  U32(x1,x2)		w: (0)
  U33(x1)		w: (0)
  #U46(x1)		w: (0)
  #U56(x1)		w: (0)
  U46(x1)		w: (0)
  i()		w: (29536)
  U52(x1,x2,x3)		w: (0)
  U61(x1,x2)		w: (0)
  #U51(x1,x2,x3)		w: (0)
  e()		w: (1)
  #U11(x1,x2)		w: (0)
  U31(x1,x2)		w: (0)
  U92(x1)		w: (x1)
  #U41(x1,x2,x3)		w: (0)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (0)
  U81(x1,x2)		w: (0)
  U82(x1,x2)		w: (0)
  #U22(x1,x2,x3)		w: (0)
  tt()		w: (1)
  #U71(x1,x2,x3)		w: (44 + x3 + x2 + x1)
  U13(x1)		w: (0)
  U22(x1,x2,x3)		w: (0)
  #U45(x1,x2)		w: (0)
  U51(x1,x2,x3)		w: (0)
  U74(x1)		w: (0)
  isPalListKind(x1)		w: (1 + x1)
  U53(x1,x2,x3)		w: (0)
  U41(x1,x2,x3)		w: (0)
  #U31(x1,x2)		w: (0)
  __(x1,x2)		w: (23 + x2 + x1)
  #U91(x1,x2)		w: (6 + x2 + x1)
  #U55(x1,x2)		w: (0)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { 1..3 38 39 50..76 }
    Removed DPs: #8 #22 #28 #70 #124 #135
Number of SCCs: 1, DPs: 24
	SCC { #16 #37 #45 #51 #53 #59 #64 #81 #82 #86 #88 #93 #94 #102 #104 #113 #118 #127 #128 #132 #137 #144 #149 #153 }
Sum... succeeded.
  a()		w: (1)
  n__a()		w: (1)
  #U72(x1,x2)		w: (40)
  #U32(x1,x2)		w: (0)
  U21(x1,x2,x3)		w: (18524 + x1)
  #U83(x1)		w: (0)
  #isPalListKind(x1)		w: (7)
  U11(x1,x2)		w: (2 + x1)
  U24(x1,x2,x3)		w: (28921 + x2)
  n__o()		w: (1)
  #U24(x1,x2,x3)		w: (15229 + x3 + x2)
  U25(x1,x2)		w: (28921 + x1)
  isNeList(x1)		w: (3 + x1)
  U56(x1)		w: (9680 + x1)
  isPal(x1)		w: (0)
  U42(x1,x2,x3)		w: (551)
  U91(x1,x2)		w: (547 + x1)
  #e()		w: (0)
  u()		w: (1)
  activate(x1)		w: (x1)
  U26(x1)		w: (28924 + x1)
  #U82(x1,x2)		w: (34)
  U71(x1,x2,x3)		w: (0)
  #U81(x1,x2)		w: (36)
  #U92(x1)		w: (0)
  #u()		w: (0)
  #isNeList(x1)		w: (15224 + x1)
  U43(x1,x2,x3)		w: (551 + x1)
  #activate(x1)		w: (0)
  n__i()		w: (1)
  #U23(x1,x2,x3)		w: (15230 + x3 + x2)
  #U53(x1,x2,x3)		w: (15230 + x3 + x2)
  #__(x1,x2)		w: (0)
  U44(x1,x2,x3)		w: (555 + x2)
  U55(x1,x2)		w: (9680)
  #U43(x1,x2,x3)		w: (15767 + x3 + x2)
  U23(x1,x2,x3)		w: (28920)
  U63(x1)		w: (0)
  isNePal(x1)		w: (0)
  U72(x1,x2)		w: (0)
  #U13(x1)		w: (0)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (39)
  n__nil()		w: (1)
  #U52(x1,x2,x3)		w: (15231 + x3 + x2)
  U12(x1,x2)		w: (6)
  #U33(x1)		w: (0)
  isQid(x1)		w: (0)
  #U26(x1)		w: (0)
  U54(x1,x2,x3)		w: (554 + x2 + x1)
  n____(x1,x2)		w: (546 + x2 + x1)
  n__e()		w: (1)
  o()		w: (1)
  #U44(x1,x2,x3)		w: (15766 + x3 + x2)
  #U54(x1,x2,x3)		w: (15229 + x3 + x2)
  #U42(x1,x2,x3)		w: (15768 + x3 + x2)
  #U12(x1,x2)		w: (15225 + x2)
  #U62(x1,x2)		w: (0)
  U83(x1)		w: (0)
  isList(x1)		w: (1)
  U73(x1,x2)		w: (0)
  #U74(x1)		w: (0)
  #isNePal(x1)		w: (3)
  #U73(x1,x2)		w: (0)
  nil()		w: (1)
  #U25(x1,x2)		w: (15228 + x2)
  n__u()		w: (1)
  #o()		w: (0)
  U62(x1,x2)		w: (0)
  #U63(x1)		w: (0)
  U45(x1,x2)		w: (555 + x1)
  #nil()		w: (0)
  #isList(x1)		w: (15227 + x1)
  U32(x1,x2)		w: (6 + x1)
  U33(x1)		w: (10)
  #U46(x1)		w: (0)
  #U56(x1)		w: (0)
  U46(x1)		w: (559)
  i()		w: (1)
  U52(x1,x2,x3)		w: (551 + x2)
  U61(x1,x2)		w: (0)
  #U51(x1,x2,x3)		w: (15769 + x3 + x2)
  e()		w: (1)
  #U11(x1,x2)		w: (15226 + x2)
  U31(x1,x2)		w: (3 + x2 + x1)
  U92(x1)		w: (550 + x1)
  #U41(x1,x2,x3)		w: (15769 + x3 + x2)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (15232 + x3 + x2)
  U81(x1,x2)		w: (0)
  U82(x1,x2)		w: (0)
  #U22(x1,x2,x3)		w: (15231 + x3 + x2)
  tt()		w: (3)
  #U71(x1,x2,x3)		w: (44)
  U13(x1)		w: (4 + x1)
  U22(x1,x2,x3)		w: (18528)
  #U45(x1,x2)		w: (15225 + x2)
  U51(x1,x2,x3)		w: (550 + x2)
  U74(x1)		w: (0)
  isPalListKind(x1)		w: (1 + x1)
  U53(x1,x2,x3)		w: (551 + x3 + x2 + x1)
  U41(x1,x2,x3)		w: (550)
  #U31(x1,x2)		w: (0)
  __(x1,x2)		w: (546 + x2 + x1)
  #U91(x1,x2)		w: (6)
  #U55(x1,x2)		w: (15228 + x2)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { 1..3 62..76 }
    Removed DPs: #16 #37 #45 #51 #53 #59 #64 #81 #82 #86 #88 #93 #94 #102 #104 #113 #118 #127 #128 #132 #137 #144 #149 #153
Number of SCCs: 0, DPs: 0