/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,n____(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)) -> __(activate(X1),activate(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 POLO(bPol) ... failed.
Uncurrying ... 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,n____(P,I))) -> #U71(isQid(activate(I)),activate(I),activate(P))
   #23: #isNePal(n____(I,n____(P,I))) -> #isQid(activate(I))
   #24: #isNePal(n____(I,n____(P,I))) -> #activate(I)
   #25: #isNePal(n____(I,n____(P,I))) -> #activate(I)
   #26: #isNePal(n____(I,n____(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)) -> #__(activate(X1),activate(X2))
   #59: #activate(n____(X1,X2)) -> #activate(X1)
   #60: #activate(n____(X1,X2)) -> #activate(X2)
   #61: #U52(tt(),V1,V2) -> #U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #62: #U52(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #63: #U52(tt(),V1,V2) -> #activate(V2)
   #64: #U52(tt(),V1,V2) -> #activate(V1)
   #65: #U52(tt(),V1,V2) -> #activate(V2)
   #66: #isNeList(n____(V1,V2)) -> #U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #67: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #68: #isNeList(n____(V1,V2)) -> #activate(V1)
   #69: #isNeList(n____(V1,V2)) -> #activate(V1)
   #70: #isNeList(n____(V1,V2)) -> #activate(V2)
   #71: #activate(n__nil()) -> #nil()
   #72: #U71(tt(),I,P) -> #U72(isPalListKind(activate(I)),activate(P))
   #73: #U71(tt(),I,P) -> #isPalListKind(activate(I))
   #74: #U71(tt(),I,P) -> #activate(I)
   #75: #U71(tt(),I,P) -> #activate(P)
   #76: #isPalListKind(n____(V1,V2)) -> #U91(isPalListKind(activate(V1)),activate(V2))
   #77: #isPalListKind(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #78: #isPalListKind(n____(V1,V2)) -> #activate(V1)
   #79: #isPalListKind(n____(V1,V2)) -> #activate(V2)
   #80: #U32(tt(),V) -> #U33(isQid(activate(V)))
   #81: #U32(tt(),V) -> #isQid(activate(V))
   #82: #U32(tt(),V) -> #activate(V)
   #83: #U54(tt(),V1,V2) -> #U55(isNeList(activate(V1)),activate(V2))
   #84: #U54(tt(),V1,V2) -> #isNeList(activate(V1))
   #85: #U54(tt(),V1,V2) -> #activate(V1)
   #86: #U54(tt(),V1,V2) -> #activate(V2)
   #87: #U45(tt(),V2) -> #U46(isNeList(activate(V2)))
   #88: #U45(tt(),V2) -> #isNeList(activate(V2))
   #89: #U45(tt(),V2) -> #activate(V2)
   #90: #U21(tt(),V1,V2) -> #U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #91: #U21(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #92: #U21(tt(),V1,V2) -> #activate(V1)
   #93: #U21(tt(),V1,V2) -> #activate(V1)
   #94: #U21(tt(),V1,V2) -> #activate(V2)
   #95: #U24(tt(),V1,V2) -> #U25(isList(activate(V1)),activate(V2))
   #96: #U24(tt(),V1,V2) -> #isList(activate(V1))
   #97: #U24(tt(),V1,V2) -> #activate(V1)
   #98: #U24(tt(),V1,V2) -> #activate(V2)
   #99: #U73(tt(),P) -> #U74(isPalListKind(activate(P)))
   #100: #U73(tt(),P) -> #isPalListKind(activate(P))
   #101: #U73(tt(),P) -> #activate(P)
   #102: #activate(n__e()) -> #e()
   #103: #U12(tt(),V) -> #U13(isNeList(activate(V)))
   #104: #U12(tt(),V) -> #isNeList(activate(V))
   #105: #U12(tt(),V) -> #activate(V)
   #106: #isNeList(n____(V1,V2)) -> #U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #107: #isNeList(n____(V1,V2)) -> #isPalListKind(activate(V1))
   #108: #isNeList(n____(V1,V2)) -> #activate(V1)
   #109: #isNeList(n____(V1,V2)) -> #activate(V1)
   #110: #isNeList(n____(V1,V2)) -> #activate(V2)
   #111: #U61(tt(),V) -> #U62(isPalListKind(activate(V)),activate(V))
   #112: #U61(tt(),V) -> #isPalListKind(activate(V))
   #113: #U61(tt(),V) -> #activate(V)
   #114: #U61(tt(),V) -> #activate(V)
   #115: #U51(tt(),V1,V2) -> #U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #116: #U51(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #117: #U51(tt(),V1,V2) -> #activate(V1)
   #118: #U51(tt(),V1,V2) -> #activate(V1)
   #119: #U51(tt(),V1,V2) -> #activate(V2)
   #120: #U42(tt(),V1,V2) -> #U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #121: #U42(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #122: #U42(tt(),V1,V2) -> #activate(V2)
   #123: #U42(tt(),V1,V2) -> #activate(V1)
   #124: #U42(tt(),V1,V2) -> #activate(V2)
   #125: #U72(tt(),P) -> #U73(isPal(activate(P)),activate(P))
   #126: #U72(tt(),P) -> #isPal(activate(P))
   #127: #U72(tt(),P) -> #activate(P)
   #128: #U72(tt(),P) -> #activate(P)
   #129: #U44(tt(),V1,V2) -> #U45(isList(activate(V1)),activate(V2))
   #130: #U44(tt(),V1,V2) -> #isList(activate(V1))
   #131: #U44(tt(),V1,V2) -> #activate(V1)
   #132: #U44(tt(),V1,V2) -> #activate(V2)
   #133: #U55(tt(),V2) -> #U56(isList(activate(V2)))
   #134: #U55(tt(),V2) -> #isList(activate(V2))
   #135: #U55(tt(),V2) -> #activate(V2)
   #136: #U82(tt(),V) -> #U83(isNePal(activate(V)))
   #137: #U82(tt(),V) -> #isNePal(activate(V))
   #138: #U82(tt(),V) -> #activate(V)
   #139: #U41(tt(),V1,V2) -> #U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
   #140: #U41(tt(),V1,V2) -> #isPalListKind(activate(V1))
   #141: #U41(tt(),V1,V2) -> #activate(V1)
   #142: #U41(tt(),V1,V2) -> #activate(V1)
   #143: #U41(tt(),V1,V2) -> #activate(V2)
   #144: #__(__(X,Y),Z) -> #__(X,__(Y,Z))
   #145: #__(__(X,Y),Z) -> #__(Y,Z)
   #146: #U22(tt(),V1,V2) -> #U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #147: #U22(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #148: #U22(tt(),V1,V2) -> #activate(V2)
   #149: #U22(tt(),V1,V2) -> #activate(V1)
   #150: #U22(tt(),V1,V2) -> #activate(V2)
   #151: #U11(tt(),V) -> #U12(isPalListKind(activate(V)),activate(V))
   #152: #U11(tt(),V) -> #isPalListKind(activate(V))
   #153: #U11(tt(),V) -> #activate(V)
   #154: #U11(tt(),V) -> #activate(V)
   #155: #U43(tt(),V1,V2) -> #U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
   #156: #U43(tt(),V1,V2) -> #isPalListKind(activate(V2))
   #157: #U43(tt(),V1,V2) -> #activate(V2)
   #158: #U43(tt(),V1,V2) -> #activate(V1)
   #159: #U43(tt(),V1,V2) -> #activate(V2)
Number of SCCs: 5, DPs: 37
  SCC { #59 #60 }
POLO(Sum)... succeeded.
      a 	w: 0
      n__a	w: 0
      #U72	w: 0
      #U32	w: 0
      U21	w: 0
      #U83	w: 0
      #isPalListKind	w: 0
      U11	w: 0
      U24	w: 0
      n__o	w: 0
      #U24	w: 0
      U25	w: 0
      isNeList	w: 0
      U56	w: 0
      isPal	w: 0
      U42	w: 0
      U91	w: 0
      #e 	w: 0
      u 	w: 0
      activate	w: 0
      U26	w: 0
      #U82	w: 0
      U71	w: 0
      #U81	w: 0
      #U92	w: 0
      #u 	w: 0
      #isNeList	w: 0
      U43	w: 0
      #activate	w: x1
      n__i	w: 0
      #U23	w: 0
      #U53	w: 0
      #__	w: 0
      U44	w: 0
      U55	w: 0
      #U43	w: 0
      U23	w: 0
      U63	w: 0
      isNePal	w: 0
      U72	w: 0
      #U13	w: 0
      #isQid	w: 0
      #isPal	w: 0
      n__nil	w: 0
      #U52	w: 0
      U12	w: 0
      #U33	w: 0
      isQid	w: 0
      #U26	w: 0
      U54	w: 0
      n____	w: x1 + x2 + 1
      n__e	w: 0
      o 	w: 0
      #U44	w: 0
      #U54	w: 0
      #U42	w: 0
      #U12	w: 0
      #U62	w: 0
      U83	w: 0
      isList	w: 0
      U73	w: 0
      #U74	w: 0
      #isNePal	w: 0
      #U73	w: 0
      nil	w: 0
      #U25	w: 0
      n__u	w: 0
      #o 	w: 0
      U62	w: 0
      #U63	w: 0
      U45	w: 0
      #nil	w: 0
      #isList	w: 0
      U32	w: 0
      U33	w: 0
      #U46	w: 0
      #U56	w: 0
      U46	w: 0
      i 	w: 0
      U52	w: 0
      U61	w: 0
      #U51	w: 0
      e 	w: 0
      #U11	w: 0
      U31	w: 0
      U92	w: 0
      #U41	w: 0
      #a 	w: 0
      #U21	w: 0
      U81	w: 0
      U82	w: 0
      #U22	w: 0
      tt	w: 0
      #U71	w: 0
      U13	w: 0
      U22	w: 0
      #U45	w: 0
      U51	w: 0
      U74	w: 0
      isPalListKind	w: 0
      U53	w: 0
      U41	w: 0
      #U31	w: 0
      __	w: 0
      #U91	w: 0
      #U55	w: 0
      #U61	w: 0
      #i 	w: 0
    USABLE RULES: { }
    Removed DPs: #59 #60
Number of SCCs: 4, DPs: 35
  SCC { #144 #145 }
POLO(Sum)... succeeded.
      a 	w: 0
      n__a	w: 0
      #U72	w: 0
      #U32	w: 0
      U21	w: 0
      #U83	w: 0
      #isPalListKind	w: 0
      U11	w: 0
      U24	w: 0
      n__o	w: 0
      #U24	w: 0
      U25	w: 0
      isNeList	w: 0
      U56	w: 0
      isPal	w: 0
      U42	w: 0
      U91	w: 0
      #e 	w: 0
      u 	w: 0
      activate	w: 0
      U26	w: 0
      #U82	w: 0
      U71	w: 0
      #U81	w: 0
      #U92	w: 0
      #u 	w: 0
      #isNeList	w: 0
      U43	w: 0
      #activate	w: 0
      n__i	w: 0
      #U23	w: 0
      #U53	w: 0
      #__	w: x1
      U44	w: 0
      U55	w: 0
      #U43	w: 0
      U23	w: 0
      U63	w: 0
      isNePal	w: 0
      U72	w: 0
      #U13	w: 0
      #isQid	w: 0
      #isPal	w: 0
      n__nil	w: 0
      #U52	w: 0
      U12	w: 0
      #U33	w: 0
      isQid	w: 0
      #U26	w: 0
      U54	w: 0
      n____	w: 1
      n__e	w: 0
      o 	w: 0
      #U44	w: 0
      #U54	w: 0
      #U42	w: 0
      #U12	w: 0
      #U62	w: 0
      U83	w: 0
      isList	w: 0
      U73	w: 0
      #U74	w: 0
      #isNePal	w: 0
      #U73	w: 0
      nil	w: 1
      #U25	w: 0
      n__u	w: 0
      #o 	w: 0
      U62	w: 0
      #U63	w: 0
      U45	w: 0
      #nil	w: 0
      #isList	w: 0
      U32	w: 0
      U33	w: 0
      #U46	w: 0
      #U56	w: 0
      U46	w: 0
      i 	w: 0
      U52	w: 0
      U61	w: 0
      #U51	w: 0
      e 	w: 0
      #U11	w: 0
      U31	w: 0
      U92	w: 0
      #U41	w: 0
      #a 	w: 0
      #U21	w: 0
      U81	w: 0
      U82	w: 0
      #U22	w: 0
      tt	w: 0
      #U71	w: 0
      U13	w: 0
      U22	w: 0
      #U45	w: 0
      U51	w: 0
      U74	w: 0
      isPalListKind	w: 0
      U53	w: 0
      U41	w: 0
      #U31	w: 0
      __	w: x1 + x2 + 1
      #U91	w: 0
      #U55	w: 0
      #U61	w: 0
      #i 	w: 0
    USABLE RULES: { 2 3 63 }
    Removed DPs: #144 #145
Number of SCCs: 3, DPs: 33
  SCC { #35 #76 #77 }
POLO(Sum)... succeeded.
      a 	w: 1
      n__a	w: 1
      #U72	w: 0
      #U32	w: 0
      U21	w: 0
      #U83	w: 0
      #isPalListKind	w: x1
      U11	w: 0
      U24	w: 0
      n__o	w: 0
      #U24	w: 0
      U25	w: 0
      isNeList	w: 0
      U56	w: 0
      isPal	w: 0
      U42	w: 0
      U91	w: x1 + x2
      #e 	w: 0
      u 	w: 0
      activate	w: x1
      U26	w: 0
      #U82	w: 0
      U71	w: 0
      #U81	w: 0
      #U92	w: 0
      #u 	w: 0
      #isNeList	w: 0
      U43	w: 0
      #activate	w: 0
      n__i	w: 1
      #U23	w: 0
      #U53	w: 0
      #__	w: 0
      U44	w: 0
      U55	w: 0
      #U43	w: 0
      U23	w: 0
      U63	w: 0
      isNePal	w: 0
      U72	w: 0
      #U13	w: 0
      #isQid	w: 0
      #isPal	w: 0
      n__nil	w: 0
      #U52	w: 0
      U12	w: 0
      #U33	w: 0
      isQid	w: 0
      #U26	w: 0
      U54	w: 0
      n____	w: x1 + x2 + 2
      n__e	w: 1
      o 	w: 0
      #U44	w: 0
      #U54	w: 0
      #U42	w: 0
      #U12	w: 0
      #U62	w: 0
      U83	w: 0
      isList	w: 0
      U73	w: 0
      #U74	w: 0
      #isNePal	w: 0
      #U73	w: 0
      nil	w: 0
      #U25	w: 0
      n__u	w: 0
      #o 	w: 0
      U62	w: 0
      #U63	w: 0
      U45	w: 0
      #nil	w: 0
      #isList	w: 0
      U32	w: 0
      U33	w: 0
      #U46	w: 0
      #U56	w: 0
      U46	w: 0
      i 	w: 1
      U52	w: 0
      U61	w: 0
      #U51	w: 0
      e 	w: 1
      #U11	w: 0
      U31	w: 0
      U92	w: x1
      #U41	w: 0
      #a 	w: 0
      #U21	w: 0
      U81	w: 0
      U82	w: 0
      #U22	w: 0
      tt	w: 3
      #U71	w: 0
      U13	w: 0
      U22	w: 0
      #U45	w: 0
      U51	w: 0
      U74	w: 0
      isPalListKind	w: x1 + 1
      U53	w: 0
      U41	w: 0
      #U31	w: 0
      __	w: x1 + x2 + 2
      #U91	w: x2 + 1
      #U55	w: 0
      #U61	w: 0
      #i 	w: 0
    USABLE RULES: { 1..3 62..76 }
    Removed DPs: #35 #76 #77
Number of SCCs: 2, DPs: 30
  SCC { #8 #22 #28 #72 #126 #137 }
POLO(Sum)... succeeded.
      a 	w: 1
      n__a	w: 1
      #U72	w: x2 + 5
      #U32	w: 0
      U21	w: 0
      #U83	w: 0
      #isPalListKind	w: x1
      U11	w: 0
      U24	w: 0
      n__o	w: 1
      #U24	w: 0
      U25	w: 0
      isNeList	w: 0
      U56	w: 0
      isPal	w: 0
      U42	w: 0
      U91	w: x1
      #e 	w: 0
      u 	w: 1
      activate	w: x1
      U26	w: 0
      #U82	w: x2 + 2
      U71	w: 0
      #U81	w: x1 + x2
      #U92	w: 0
      #u 	w: 0
      #isNeList	w: 0
      U43	w: 0
      #activate	w: 0
      n__i	w: 1
      #U23	w: 0
      #U53	w: 0
      #__	w: 0
      U44	w: 0
      U55	w: 0
      #U43	w: 0
      U23	w: 0
      U63	w: 0
      isNePal	w: 0
      U72	w: 0
      #U13	w: 0
      #isQid	w: 0
      #isPal	w: x1 + 4
      n__nil	w: 0
      #U52	w: 0
      U12	w: 0
      #U33	w: 0
      isQid	w: x1 + 1
      #U26	w: 0
      U54	w: 0
      n____	w: x1 + x2 + 3
      n__e	w: 1
      o 	w: 1
      #U44	w: 0
      #U54	w: 0
      #U42	w: 0
      #U12	w: 0
      #U62	w: 0
      U83	w: 0
      isList	w: 0
      U73	w: 0
      #U74	w: 0
      #isNePal	w: x1 + 1
      #U73	w: 0
      nil	w: 0
      #U25	w: 0
      n__u	w: 1
      #o 	w: 0
      U62	w: 0
      #U63	w: 0
      U45	w: 0
      #nil	w: 0
      #isList	w: 0
      U32	w: 0
      U33	w: 0
      #U46	w: 0
      #U56	w: 0
      U46	w: 0
      i 	w: 1
      U52	w: 0
      U61	w: 0
      #U51	w: 0
      e 	w: 1
      #U11	w: 0
      U31	w: 0
      U92	w: x1
      #U41	w: 0
      #a 	w: 0
      #U21	w: 0
      U81	w: 0
      U82	w: 0
      #U22	w: 0
      tt	w: 3
      #U71	w: x3 + 6
      U13	w: 0
      U22	w: 0
      #U45	w: 0
      U51	w: 0
      U74	w: 0
      isPalListKind	w: 3
      U53	w: 0
      U41	w: 0
      #U31	w: 0
      __	w: x1 + x2 + 3
      #U91	w: x2 + 1
      #U55	w: 0
      #U61	w: 0
      #i 	w: 0
    USABLE RULES: { 1..3 38 39 50..56 62..76 }
    Removed DPs: #8 #22 #28 #72 #126 #137
Number of SCCs: 1, DPs: 24
  SCC { #16 #37 #45 #51 #53 #61 #66 #83 #84 #88 #90 #95 #96 #104 #106 #115 #120 #129 #130 #134 #139 #146 #151 #155 }
POLO(Sum)... succeeded.
      a 	w: 1
      n__a	w: 1
      #U72	w: 5
      #U32	w: 0
      U21	w: 5
      #U83	w: 0
      #isPalListKind	w: 0
      U11	w: 5
      U24	w: 5
      n__o	w: 1
      #U24	w: x2 + x3 + 10
      U25	w: 5
      isNeList	w: 1
      U56	w: 6
      isPal	w: 0
      U42	w: x1 + 6
      U91	w: 5
      #e 	w: 0
      u 	w: 1
      activate	w: x1
      U26	w: x1
      #U82	w: 2
      U71	w: 0
      #U81	w: 0
      #U92	w: 0
      #u 	w: 0
      #isNeList	w: x1 + 2
      U43	w: 0
      #activate	w: 0
      n__i	w: 1
      #U23	w: x2 + x3 + 11
      #U53	w: x2 + x3 + 8
      #__	w: 0
      U44	w: x1
      U55	w: x1
      #U43	w: x2 + x3 + 8
      U23	w: 5
      U63	w: 0
      isNePal	w: 0
      U72	w: 0
      #U13	w: 0
      #isQid	w: 0
      #isPal	w: 4
      n__nil	w: 1
      #U52	w: x2 + x3 + 9
      U12	w: 5
      #U33	w: 0
      isQid	w: 5
      #U26	w: 0
      U54	w: x1 + 16
      n____	w: x1 + x2 + 9
      n__e	w: 1
      o 	w: 1
      #U44	w: x2 + x3 + 7
      #U54	w: x2 + x3 + 7
      #U42	w: x2 + x3 + 9
      #U12	w: x2 + 3
      #U62	w: 0
      U83	w: 0
      isList	w: 5
      U73	w: 0
      #U74	w: 0
      #isNePal	w: 1
      #U73	w: 0
      nil	w: 1
      #U25	w: x2 + 9
      n__u	w: 1
      #o 	w: 0
      U62	w: 0
      #U63	w: 0
      U45	w: x1
      #nil	w: 0
      #isList	w: x1 + 5
      U32	w: 3
      U33	w: 4
      #U46	w: 0
      #U56	w: 0
      U46	w: 4
      i 	w: 1
      U52	w: x1 + x2 + 6
      U61	w: 0
      #U51	w: x2 + x3 + 10
      e 	w: 1
      #U11	w: x2 + 4
      U31	w: 2
      U92	w: 5
      #U41	w: x2 + x3 + 10
      #a 	w: 0
      #U21	w: x2 + x3 + 13
      U81	w: 0
      U82	w: 0
      #U22	w: x2 + x3 + 12
      tt	w: 5
      #U71	w: 6
      U13	w: 5
      U22	w: 5
      #U45	w: x1 + x2
      U51	w: x1 + 1
      U74	w: 0
      isPalListKind	w: x1 + 1
      U53	w: x1 + 11
      U41	w: x1 + 1
      #U31	w: 0
      __	w: x1 + x2 + 9
      #U91	w: 1
      #U55	w: x2 + 6
      #U61	w: 0
      #i 	w: 0
    USABLE RULES: { 1..12 27 38..42 57..76 }
    Removed DPs: #16 #37 #45 #51 #53 #61 #66 #83 #84 #88 #90 #95 #96 #104 #106 #115 #120 #129 #130 #134 #139 #146 #151 #155
Number of SCCs: 0, DPs: 0