/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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(isNeList(activate(V)))
    5: U12(tt()) -> tt()
    6: U21(tt(),V1,V2) -> U22(isList(activate(V1)),activate(V2))
    7: U22(tt(),V2) -> U23(isList(activate(V2)))
    8: U23(tt()) -> tt()
    9: U31(tt(),V) -> U32(isQid(activate(V)))
    10: U32(tt()) -> tt()
    11: U41(tt(),V1,V2) -> U42(isList(activate(V1)),activate(V2))
    12: U42(tt(),V2) -> U43(isNeList(activate(V2)))
    13: U43(tt()) -> tt()
    14: U51(tt(),V1,V2) -> U52(isNeList(activate(V1)),activate(V2))
    15: U52(tt(),V2) -> U53(isList(activate(V2)))
    16: U53(tt()) -> tt()
    17: U61(tt(),V) -> U62(isQid(activate(V)))
    18: U62(tt()) -> tt()
    19: U71(tt(),V) -> U72(isNePal(activate(V)))
    20: U72(tt()) -> tt()
    21: and(tt(),X) -> activate(X)
    22: isList(V) -> U11(isPalListKind(activate(V)),activate(V))
    23: isList(n__nil()) -> tt()
    24: isList(n____(V1,V2)) -> U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
    25: isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
    26: isNeList(n____(V1,V2)) -> U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
    27: isNeList(n____(V1,V2)) -> U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
    28: isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
    29: isNePal(n____(I,n____(P,I))) -> and(and(isQid(activate(I)),n__isPalListKind(activate(I))),n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))
    30: isPal(V) -> U71(isPalListKind(activate(V)),activate(V))
    31: isPal(n__nil()) -> tt()
    32: isPalListKind(n__a()) -> tt()
    33: isPalListKind(n__e()) -> tt()
    34: isPalListKind(n__i()) -> tt()
    35: isPalListKind(n__nil()) -> tt()
    36: isPalListKind(n__o()) -> tt()
    37: isPalListKind(n__u()) -> tt()
    38: isPalListKind(n____(V1,V2)) -> and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))
    39: isQid(n__a()) -> tt()
    40: isQid(n__e()) -> tt()
    41: isQid(n__i()) -> tt()
    42: isQid(n__o()) -> tt()
    43: isQid(n__u()) -> tt()
    44: nil() -> n__nil()
    45: __(X1,X2) -> n____(X1,X2)
    46: isPalListKind(X) -> n__isPalListKind(X)
    47: and(X1,X2) -> n__and(X1,X2)
    48: isPal(X) -> n__isPal(X)
    49: a() -> n__a()
    50: e() -> n__e()
    51: i() -> n__i()
    52: o() -> n__o()
    53: u() -> n__u()
    54: activate(n__nil()) -> nil()
    55: activate(n____(X1,X2)) -> __(activate(X1),activate(X2))
    56: activate(n__isPalListKind(X)) -> isPalListKind(X)
    57: activate(n__and(X1,X2)) -> and(activate(X1),X2)
    58: activate(n__isPal(X)) -> isPal(X)
    59: activate(n__a()) -> a()
    60: activate(n__e()) -> e()
    61: activate(n__i()) -> i()
    62: activate(n__o()) -> o()
    63: activate(n__u()) -> u()
    64: activate(X) -> X
Number of strict rules: 64
Direct poly ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #isNePal(n____(I,n____(P,I))) -> #and(and(isQid(activate(I)),n__isPalListKind(activate(I))),n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))
   #2: #isNePal(n____(I,n____(P,I))) -> #and(isQid(activate(I)),n__isPalListKind(activate(I)))
   #3: #isNePal(n____(I,n____(P,I))) -> #isQid(activate(I))
   #4: #isNePal(n____(I,n____(P,I))) -> #activate(I)
   #5: #isNePal(n____(I,n____(P,I))) -> #activate(I)
   #6: #isNePal(n____(I,n____(P,I))) -> #activate(P)
   #7: #isNePal(n____(I,n____(P,I))) -> #activate(P)
   #8: #activate(n__isPal(X)) -> #isPal(X)
   #9: #activate(n__i()) -> #i()
   #10: #isPalListKind(n____(V1,V2)) -> #and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))
   #11: #isPalListKind(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #12: #isPalListKind(n____(V1,V2)) -> #activate(V1)
   #13: #isPalListKind(n____(V1,V2)) -> #activate(V2)
   #14: #U21(tt(),V1,V2) -> #U22(isList(activate(V1)),activate(V2))
   #15: #U21(tt(),V1,V2) -> #isList(activate(V1))
   #16: #U21(tt(),V1,V2) -> #activate(V1)
   #17: #U21(tt(),V1,V2) -> #activate(V2)
   #18: #activate(n__a()) -> #a()
   #19: #activate(n____(X1,X2)) -> #__(activate(X1),activate(X2))
   #20: #activate(n____(X1,X2)) -> #activate(X1)
   #21: #activate(n____(X1,X2)) -> #activate(X2)
   #22: #U31(tt(),V) -> #U32(isQid(activate(V)))
   #23: #U31(tt(),V) -> #isQid(activate(V))
   #24: #U31(tt(),V) -> #activate(V)
   #25: #U41(tt(),V1,V2) -> #U42(isList(activate(V1)),activate(V2))
   #26: #U41(tt(),V1,V2) -> #isList(activate(V1))
   #27: #U41(tt(),V1,V2) -> #activate(V1)
   #28: #U41(tt(),V1,V2) -> #activate(V2)
   #29: #activate(n__and(X1,X2)) -> #and(activate(X1),X2)
   #30: #activate(n__and(X1,X2)) -> #activate(X1)
   #31: #isList(n____(V1,V2)) -> #U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
   #32: #isList(n____(V1,V2)) -> #and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))
   #33: #isList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #34: #isList(n____(V1,V2)) -> #activate(V1)
   #35: #isList(n____(V1,V2)) -> #activate(V2)
   #36: #isList(n____(V1,V2)) -> #activate(V1)
   #37: #isList(n____(V1,V2)) -> #activate(V2)
   #38: #U42(tt(),V2) -> #U43(isNeList(activate(V2)))
   #39: #U42(tt(),V2) -> #isNeList(activate(V2))
   #40: #U42(tt(),V2) -> #activate(V2)
   #41: #activate(n__isPalListKind(X)) -> #isPalListKind(X)
   #42: #U51(tt(),V1,V2) -> #U52(isNeList(activate(V1)),activate(V2))
   #43: #U51(tt(),V1,V2) -> #isNeList(activate(V1))
   #44: #U51(tt(),V1,V2) -> #activate(V1)
   #45: #U51(tt(),V1,V2) -> #activate(V2)
   #46: #activate(n__o()) -> #o()
   #47: #isPal(V) -> #U71(isPalListKind(activate(V)),activate(V))
   #48: #isPal(V) -> #isPalListKind(activate(V))
   #49: #isPal(V) -> #activate(V)
   #50: #isPal(V) -> #activate(V)
   #51: #isNeList(V) -> #U31(isPalListKind(activate(V)),activate(V))
   #52: #isNeList(V) -> #isPalListKind(activate(V))
   #53: #isNeList(V) -> #activate(V)
   #54: #isNeList(V) -> #activate(V)
   #55: #U22(tt(),V2) -> #U23(isList(activate(V2)))
   #56: #U22(tt(),V2) -> #isList(activate(V2))
   #57: #U22(tt(),V2) -> #activate(V2)
   #58: #isNePal(V) -> #U61(isPalListKind(activate(V)),activate(V))
   #59: #isNePal(V) -> #isPalListKind(activate(V))
   #60: #isNePal(V) -> #activate(V)
   #61: #isNePal(V) -> #activate(V)
   #62: #isList(V) -> #U11(isPalListKind(activate(V)),activate(V))
   #63: #isList(V) -> #isPalListKind(activate(V))
   #64: #isList(V) -> #activate(V)
   #65: #isList(V) -> #activate(V)
   #66: #isNeList(n____(V1,V2)) -> #U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
   #67: #isNeList(n____(V1,V2)) -> #and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))
   #68: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #69: #isNeList(n____(V1,V2)) -> #activate(V1)
   #70: #isNeList(n____(V1,V2)) -> #activate(V2)
   #71: #isNeList(n____(V1,V2)) -> #activate(V1)
   #72: #isNeList(n____(V1,V2)) -> #activate(V2)
   #73: #activate(n__e()) -> #e()
   #74: #U61(tt(),V) -> #U62(isQid(activate(V)))
   #75: #U61(tt(),V) -> #isQid(activate(V))
   #76: #U61(tt(),V) -> #activate(V)
   #77: #U71(tt(),V) -> #U72(isNePal(activate(V)))
   #78: #U71(tt(),V) -> #isNePal(activate(V))
   #79: #U71(tt(),V) -> #activate(V)
   #80: #activate(n__u()) -> #u()
   #81: #isNeList(n____(V1,V2)) -> #U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))),activate(V1),activate(V2))
   #82: #isNeList(n____(V1,V2)) -> #and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))
   #83: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #84: #isNeList(n____(V1,V2)) -> #activate(V1)
   #85: #isNeList(n____(V1,V2)) -> #activate(V2)
   #86: #isNeList(n____(V1,V2)) -> #activate(V1)
   #87: #isNeList(n____(V1,V2)) -> #activate(V2)
   #88: #and(tt(),X) -> #activate(X)
   #89: #__(__(X,Y),Z) -> #__(X,__(Y,Z))
   #90: #__(__(X,Y),Z) -> #__(Y,Z)
   #91: #activate(n__nil()) -> #nil()
   #92: #U52(tt(),V2) -> #U53(isList(activate(V2)))
   #93: #U52(tt(),V2) -> #isList(activate(V2))
   #94: #U52(tt(),V2) -> #activate(V2)
   #95: #U11(tt(),V) -> #U12(isNeList(activate(V)))
   #96: #U11(tt(),V) -> #isNeList(activate(V))
   #97: #U11(tt(),V) -> #activate(V)
Number of SCCs: 3, DPs: 44
	SCC { #89 #90 }
Sum... succeeded.
  a()		w: (0)
  n__a()		w: (0)
  #U72(x1)		w: (0)
  #U32(x1)		w: (0)
  U21(x1,x2,x3)		w: (0)
  #isPalListKind(x1)		w: (0)
  U11(x1,x2)		w: (0)
  n__o()		w: (0)
  isNeList(x1)		w: (0)
  isPal(x1)		w: (0)
  U42(x1,x2)		w: (0)
  #e()		w: (0)
  u()		w: (0)
  activate(x1)		w: (0)
  U71(x1,x2)		w: (0)
  and(x1,x2)		w: (0)
  #u()		w: (0)
  #isNeList(x1)		w: (0)
  U43(x1)		w: (0)
  #activate(x1)		w: (0)
  n__i()		w: (0)
  #U23(x1)		w: (0)
  #U53(x1)		w: (0)
  #__(x1,x2)		w: (x1)
  #U43(x1)		w: (0)
  U23(x1)		w: (0)
  isNePal(x1)		w: (0)
  U72(x1)		w: (0)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__isPal(x1)		w: (0)
  n__nil()		w: (0)
  #U52(x1,x2)		w: (0)
  U12(x1)		w: (0)
  isQid(x1)		w: (0)
  n____(x1,x2)		w: (2)
  n__e()		w: (0)
  o()		w: (0)
  n__isPalListKind(x1)		w: (0)
  #U42(x1,x2)		w: (0)
  #U12(x1)		w: (0)
  #U62(x1)		w: (0)
  isList(x1)		w: (0)
  #isNePal(x1)		w: (0)
  nil()		w: (7720)
  n__u()		w: (0)
  #o()		w: (0)
  U62(x1)		w: (0)
  #nil()		w: (0)
  #isList(x1)		w: (0)
  U32(x1)		w: (0)
  i()		w: (0)
  U52(x1,x2)		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)
  #U41(x1,x2,x3)		w: (0)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (0)
  #U22(x1,x2)		w: (0)
  tt()		w: (0)
  n__and(x1,x2)		w: (0)
  #U71(x1,x2)		w: (0)
  U22(x1,x2)		w: (0)
  U51(x1,x2,x3)		w: (0)
  isPalListKind(x1)		w: (0)
  U53(x1)		w: (0)
  U41(x1,x2,x3)		w: (0)
  #U31(x1,x2)		w: (0)
  #and(x1,x2)		w: (0)
  __(x1,x2)		w: (1 + x2 + x1)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { }
    Removed DPs: #89 #90
Number of SCCs: 2, DPs: 42
	SCC { #14 #15 #25 #26 #31 #39 #42 #43 #56 #62 #66 #81 #93 #96 }
Sum... succeeded.
  a()		w: (1)
  n__a()		w: (1)
  #U72(x1)		w: (0)
  #U32(x1)		w: (0)
  U21(x1,x2,x3)		w: (31600 + x3 + x2)
  #isPalListKind(x1)		w: (0)
  U11(x1,x2)		w: (2)
  n__o()		w: (24340)
  isNeList(x1)		w: (1)
  isPal(x1)		w: (2335)
  U42(x1,x2)		w: (14138 + x2 + x1)
  #e()		w: (0)
  u()		w: (1)
  activate(x1)		w: (x1)
  U71(x1,x2)		w: (x1)
  and(x1,x2)		w: (x2)
  #u()		w: (0)
  #isNeList(x1)		w: (26931 + x1)
  U43(x1)		w: (14142 + x1)
  #activate(x1)		w: (0)
  n__i()		w: (5599)
  #U23(x1)		w: (0)
  #U53(x1)		w: (0)
  #__(x1,x2)		w: (0)
  #U43(x1)		w: (0)
  U23(x1)		w: (31605)
  isNePal(x1)		w: (4)
  U72(x1)		w: (x1)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__isPal(x1)		w: (2335)
  n__nil()		w: (2)
  #U52(x1,x2)		w: (46198 + x2)
  U12(x1)		w: (8406 + x1)
  isQid(x1)		w: (2)
  n____(x1,x2)		w: (19269 + x2 + x1)
  n__e()		w: (21655)
  o()		w: (24340)
  n__isPalListKind(x1)		w: (4)
  #U42(x1,x2)		w: (26932 + x2)
  #U12(x1)		w: (0)
  #U62(x1)		w: (0)
  isList(x1)		w: (1 + x1)
  #isNePal(x1)		w: (0)
  nil()		w: (2)
  n__u()		w: (1)
  #o()		w: (0)
  U62(x1)		w: (4)
  #nil()		w: (0)
  #isList(x1)		w: (46197 + x1)
  U32(x1)		w: (3)
  i()		w: (5599)
  U52(x1,x2)		w: (27860 + x1)
  U61(x1,x2)		w: (4)
  #U51(x1,x2,x3)		w: (46199 + x3 + x2)
  e()		w: (21655)
  #U11(x1,x2)		w: (26928 + x2 + x1)
  U31(x1,x2)		w: (2 + x2)
  #U41(x1,x2,x3)		w: (46194 + x3 + x2 + x1)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (46201 + x3 + x2)
  #U22(x1,x2)		w: (46198 + x2)
  tt()		w: (4)
  n__and(x1,x2)		w: (x2)
  #U71(x1,x2)		w: (0)
  U22(x1,x2)		w: (31600 + x1)
  U51(x1,x2,x3)		w: (27856 + x1)
  isPalListKind(x1)		w: (4)
  U53(x1)		w: (27865)
  U41(x1,x2,x3)		w: (14138)
  #U31(x1,x2)		w: (0)
  #and(x1,x2)		w: (0)
  __(x1,x2)		w: (19269 + x2 + x1)
  #U61(x1,x2)		w: (0)
  #i()		w: (0)
    USABLE RULES: { 1..3 17..21 28..38 44..64 }
    Removed DPs: #14 #15 #25 #26 #31 #39 #42 #43 #56 #62 #66 #81 #93 #96
Number of SCCs: 1, DPs: 28
	SCC { #1 #2 #4..8 #10..13 #20 #21 #29 #30 #41 #47..50 #58..61 #76 #78 #79 #88 }
Sum... Max... succeeded.
  a()		w: (591)
  n__a()		w: (591)
  #U72(x1)		w: (0)
  #U32(x1)		w: (0)
  U21(x1,x2,x3)		w: (0)
  #isPalListKind(x1)		w: (13 + x1)
  U11(x1,x2)		w: (0)
  n__o()		w: (32279)
  isNeList(x1)		w: (0)
  isPal(x1)		w: (16917 + x1)
  U42(x1,x2)		w: (0)
  #e()		w: (0)
  u()		w: (2447)
  activate(x1)		w: (x1)
  U71(x1,x2)		w: (max{16917 + x2, 0})
  and(x1,x2)		w: (max{x2, 1 + x1})
  #u()		w: (0)
  #isNeList(x1)		w: (0)
  U43(x1)		w: (0)
  #activate(x1)		w: (7 + x1)
  n__i()		w: (841)
  #U23(x1)		w: (0)
  #U53(x1)		w: (0)
  #__(x1,x2)		w: (0)
  #U43(x1)		w: (0)
  U23(x1)		w: (0)
  isNePal(x1)		w: (3)
  U72(x1)		w: (16917)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (16923 + x1)
  n__isPal(x1)		w: (16917 + x1)
  n__nil()		w: (9726)
  #U52(x1,x2)		w: (0)
  U12(x1)		w: (0)
  isQid(x1)		w: (1)
  n____(x1,x2)		w: (max{x2, 5 + x1})
  n__e()		w: (0)
  o()		w: (32279)
  n__isPalListKind(x1)		w: (6 + x1)
  #U42(x1,x2)		w: (0)
  #U12(x1)		w: (0)
  #U62(x1)		w: (0)
  isList(x1)		w: (0)
  #isNePal(x1)		w: (16921 + x1)
  nil()		w: (9726)
  n__u()		w: (2447)
  #o()		w: (0)
  U62(x1)		w: (5)
  #nil()		w: (0)
  #isList(x1)		w: (0)
  U32(x1)		w: (0)
  i()		w: (841)
  U52(x1,x2)		w: (0)
  U61(x1,x2)		w: (max{4 + x2, 3 + x1})
  #U51(x1,x2,x3)		w: (0)
  e()		w: (0)
  #U11(x1,x2)		w: (0)
  U31(x1,x2)		w: (0)
  #U41(x1,x2,x3)		w: (0)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (0)
  #U22(x1,x2)		w: (0)
  tt()		w: (6)
  n__and(x1,x2)		w: (max{x2, 1 + x1})
  #U71(x1,x2)		w: (max{16922 + x2, x1})
  U22(x1,x2)		w: (0)
  U51(x1,x2,x3)		w: (0)
  isPalListKind(x1)		w: (6 + x1)
  U53(x1)		w: (0)
  U41(x1,x2,x3)		w: (0)
  #U31(x1,x2)		w: (0)
  #and(x1,x2)		w: (max{7 + x2, 0})
  __(x1,x2)		w: (max{x2, 5 + x1})
  #U61(x1,x2)		w: (max{8 + x2, 0})
  #i()		w: (0)
    USABLE RULES: { 1..3 19..21 30..38 44..64 }
    Removed DPs: #1 #2 #4..8 #11..13 #20 #30 #47..50 #58..61 #76 #78 #79
Number of SCCs: 1, DPs: 5
	SCC { #10 #21 #29 #41 #88 }
Sum... succeeded.
  a()		w: (2)
  n__a()		w: (3)
  #U72(x1)		w: (0)
  #U32(x1)		w: (0)
  U21(x1,x2,x3)		w: (31599 + x2)
  #isPalListKind(x1)		w: (5)
  U11(x1,x2)		w: (1062 + x2 + x1)
  n__o()		w: (3)
  isNeList(x1)		w: (3)
  isPal(x1)		w: (2)
  U42(x1,x2)		w: (14137 + x1)
  #e()		w: (0)
  u()		w: (2)
  activate(x1)		w: (1)
  U71(x1,x2)		w: (x2 + x1)
  and(x1,x2)		w: (x2)
  #u()		w: (0)
  #isNeList(x1)		w: (26931)
  U43(x1)		w: (14141 + x1)
  #activate(x1)		w: (x1)
  n__i()		w: (3)
  #U23(x1)		w: (0)
  #U53(x1)		w: (0)
  #__(x1,x2)		w: (0)
  #U43(x1)		w: (0)
  U23(x1)		w: (31605)
  isNePal(x1)		w: (23647)
  U72(x1)		w: (15080 + x1)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__isPal(x1)		w: (3)
  n__nil()		w: (3)
  #U52(x1,x2)		w: (46198)
  U12(x1)		w: (8406 + x1)
  isQid(x1)		w: (2 + x1)
  n____(x1,x2)		w: (2 + x2)
  n__e()		w: (3)
  o()		w: (2)
  n__isPalListKind(x1)		w: (5)
  #U42(x1,x2)		w: (26932)
  #U12(x1)		w: (0)
  #U62(x1)		w: (0)
  isList(x1)		w: (1)
  #isNePal(x1)		w: (0)
  nil()		w: (2)
  n__u()		w: (3)
  #o()		w: (0)
  U62(x1)		w: (7)
  #nil()		w: (0)
  #isList(x1)		w: (46197)
  U32(x1)		w: (5)
  i()		w: (2)
  U52(x1,x2)		w: (27858 + x1)
  U61(x1,x2)		w: (7)
  #U51(x1,x2,x3)		w: (46199)
  e()		w: (2)
  #U11(x1,x2)		w: (26928)
  U31(x1,x2)		w: (4)
  #U41(x1,x2,x3)		w: (46194)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (46201)
  #U22(x1,x2)		w: (46198)
  tt()		w: (6)
  n__and(x1,x2)		w: (12895 + x2)
  #U71(x1,x2)		w: (0)
  U22(x1,x2)		w: (31598 + x2 + x1)
  U51(x1,x2,x3)		w: (27854 + x3 + x2 + x1)
  isPalListKind(x1)		w: (2 + x1)
  U53(x1)		w: (27865)
  U41(x1,x2,x3)		w: (14137 + x2)
  #U31(x1,x2)		w: (0)
  #and(x1,x2)		w: (x2)
  __(x1,x2)		w: (1 + x1)
  #U61(x1,x2)		w: (1)
  #i()		w: (0)
    USABLE RULES: { 17 18 28 }
    Removed DPs: #21 #29
Number of SCCs: 1, DPs: 3
	SCC { #10 #41 #88 }
Sum... succeeded.
  a()		w: (1)
  n__a()		w: (1)
  #U72(x1)		w: (0)
  #U32(x1)		w: (0)
  U21(x1,x2,x3)		w: (31600 + x2)
  #isPalListKind(x1)		w: (26668 + x1)
  U11(x1,x2)		w: (5842 + x1)
  n__o()		w: (1)
  isNeList(x1)		w: (1)
  isPal(x1)		w: (1803)
  U42(x1,x2)		w: (14142 + x1)
  #e()		w: (0)
  u()		w: (1)
  activate(x1)		w: (x1)
  U71(x1,x2)		w: (1803)
  and(x1,x2)		w: (2 + x2)
  #u()		w: (0)
  #isNeList(x1)		w: (26931)
  U43(x1)		w: (14146 + x1)
  #activate(x1)		w: (26665 + x1)
  n__i()		w: (0)
  #U23(x1)		w: (0)
  #U53(x1)		w: (0)
  #__(x1,x2)		w: (0)
  #U43(x1)		w: (0)
  U23(x1)		w: (31602)
  isNePal(x1)		w: (1 + x1)
  U72(x1)		w: (4)
  #isQid(x1)		w: (0)
  #isPal(x1)		w: (0)
  n__isPal(x1)		w: (1803)
  n__nil()		w: (1)
  #U52(x1,x2)		w: (46198)
  U12(x1)		w: (8406 + x1)
  isQid(x1)		w: (1)
  n____(x1,x2)		w: (3 + x2 + x1)
  n__e()		w: (1)
  o()		w: (1)
  n__isPalListKind(x1)		w: (4 + x1)
  #U42(x1,x2)		w: (26932)
  #U12(x1)		w: (0)
  #U62(x1)		w: (0)
  isList(x1)		w: (1)
  #isNePal(x1)		w: (0)
  nil()		w: (1)
  n__u()		w: (1)
  #o()		w: (0)
  U62(x1)		w: (12 + x1)
  #nil()		w: (0)
  #isList(x1)		w: (46197)
  U32(x1)		w: (3)
  i()		w: (0)
  U52(x1,x2)		w: (27864 + x1)
  U61(x1,x2)		w: (9)
  #U51(x1,x2,x3)		w: (46199)
  e()		w: (1)
  #U11(x1,x2)		w: (26928)
  U31(x1,x2)		w: (2)
  #U41(x1,x2,x3)		w: (46194)
  #a()		w: (0)
  #U21(x1,x2,x3)		w: (46201)
  #U22(x1,x2)		w: (46198)
  tt()		w: (4)
  n__and(x1,x2)		w: (2 + x2)
  #U71(x1,x2)		w: (0)
  U22(x1,x2)		w: (31601)
  U51(x1,x2,x3)		w: (27856 + x1)
  isPalListKind(x1)		w: (4 + x1)
  U53(x1)		w: (27869)
  U41(x1,x2,x3)		w: (14138 + x1)
  #U31(x1,x2)		w: (0)
  #and(x1,x2)		w: (26666 + x2)
  __(x1,x2)		w: (3 + x2 + x1)
  #U61(x1,x2)		w: (1)
  #i()		w: (0)
    USABLE RULES: { 1..3 19..21 30..38 44..64 }
    Removed DPs: #10 #41 #88
Number of SCCs: 0, DPs: 0