/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES Input TRS: 1: active(__(__(X,Y),Z)) -> mark(__(X,__(Y,Z))) 2: active(__(X,nil())) -> mark(X) 3: active(__(nil(),X)) -> mark(X) 4: active(U11(tt(),V)) -> mark(U12(isPalListKind(V),V)) 5: active(U12(tt(),V)) -> mark(U13(isNeList(V))) 6: active(U13(tt())) -> mark(tt()) 7: active(U21(tt(),V1,V2)) -> mark(U22(isPalListKind(V1),V1,V2)) 8: active(U22(tt(),V1,V2)) -> mark(U23(isPalListKind(V2),V1,V2)) 9: active(U23(tt(),V1,V2)) -> mark(U24(isPalListKind(V2),V1,V2)) 10: active(U24(tt(),V1,V2)) -> mark(U25(isList(V1),V2)) 11: active(U25(tt(),V2)) -> mark(U26(isList(V2))) 12: active(U26(tt())) -> mark(tt()) 13: active(U31(tt(),V)) -> mark(U32(isPalListKind(V),V)) 14: active(U32(tt(),V)) -> mark(U33(isQid(V))) 15: active(U33(tt())) -> mark(tt()) 16: active(U41(tt(),V1,V2)) -> mark(U42(isPalListKind(V1),V1,V2)) 17: active(U42(tt(),V1,V2)) -> mark(U43(isPalListKind(V2),V1,V2)) 18: active(U43(tt(),V1,V2)) -> mark(U44(isPalListKind(V2),V1,V2)) 19: active(U44(tt(),V1,V2)) -> mark(U45(isList(V1),V2)) 20: active(U45(tt(),V2)) -> mark(U46(isNeList(V2))) 21: active(U46(tt())) -> mark(tt()) 22: active(U51(tt(),V1,V2)) -> mark(U52(isPalListKind(V1),V1,V2)) 23: active(U52(tt(),V1,V2)) -> mark(U53(isPalListKind(V2),V1,V2)) 24: active(U53(tt(),V1,V2)) -> mark(U54(isPalListKind(V2),V1,V2)) 25: active(U54(tt(),V1,V2)) -> mark(U55(isNeList(V1),V2)) 26: active(U55(tt(),V2)) -> mark(U56(isList(V2))) 27: active(U56(tt())) -> mark(tt()) 28: active(U61(tt(),V)) -> mark(U62(isPalListKind(V),V)) 29: active(U62(tt(),V)) -> mark(U63(isQid(V))) 30: active(U63(tt())) -> mark(tt()) 31: active(U71(tt(),I,P)) -> mark(U72(isPalListKind(I),P)) 32: active(U72(tt(),P)) -> mark(U73(isPal(P),P)) 33: active(U73(tt(),P)) -> mark(U74(isPalListKind(P))) 34: active(U74(tt())) -> mark(tt()) 35: active(U81(tt(),V)) -> mark(U82(isPalListKind(V),V)) 36: active(U82(tt(),V)) -> mark(U83(isNePal(V))) 37: active(U83(tt())) -> mark(tt()) 38: active(U91(tt(),V2)) -> mark(U92(isPalListKind(V2))) 39: active(U92(tt())) -> mark(tt()) 40: active(isList(V)) -> mark(U11(isPalListKind(V),V)) 41: active(isList(nil())) -> mark(tt()) 42: active(isList(__(V1,V2))) -> mark(U21(isPalListKind(V1),V1,V2)) 43: active(isNeList(V)) -> mark(U31(isPalListKind(V),V)) 44: active(isNeList(__(V1,V2))) -> mark(U41(isPalListKind(V1),V1,V2)) 45: active(isNeList(__(V1,V2))) -> mark(U51(isPalListKind(V1),V1,V2)) 46: active(isNePal(V)) -> mark(U61(isPalListKind(V),V)) 47: active(isNePal(__(I,__(P,I)))) -> mark(U71(isQid(I),I,P)) 48: active(isPal(V)) -> mark(U81(isPalListKind(V),V)) 49: active(isPal(nil())) -> mark(tt()) 50: active(isPalListKind(a())) -> mark(tt()) 51: active(isPalListKind(e())) -> mark(tt()) 52: active(isPalListKind(i())) -> mark(tt()) 53: active(isPalListKind(nil())) -> mark(tt()) 54: active(isPalListKind(o())) -> mark(tt()) 55: active(isPalListKind(u())) -> mark(tt()) 56: active(isPalListKind(__(V1,V2))) -> mark(U91(isPalListKind(V1),V2)) 57: active(isQid(a())) -> mark(tt()) 58: active(isQid(e())) -> mark(tt()) 59: active(isQid(i())) -> mark(tt()) 60: active(isQid(o())) -> mark(tt()) 61: active(isQid(u())) -> mark(tt()) 62: active(__(X1,X2)) -> __(active(X1),X2) 63: active(__(X1,X2)) -> __(X1,active(X2)) 64: active(U11(X1,X2)) -> U11(active(X1),X2) 65: active(U12(X1,X2)) -> U12(active(X1),X2) 66: active(U13(X)) -> U13(active(X)) 67: active(U21(X1,X2,X3)) -> U21(active(X1),X2,X3) 68: active(U22(X1,X2,X3)) -> U22(active(X1),X2,X3) 69: active(U23(X1,X2,X3)) -> U23(active(X1),X2,X3) 70: active(U24(X1,X2,X3)) -> U24(active(X1),X2,X3) 71: active(U25(X1,X2)) -> U25(active(X1),X2) 72: active(U26(X)) -> U26(active(X)) 73: active(U31(X1,X2)) -> U31(active(X1),X2) 74: active(U32(X1,X2)) -> U32(active(X1),X2) 75: active(U33(X)) -> U33(active(X)) 76: active(U41(X1,X2,X3)) -> U41(active(X1),X2,X3) 77: active(U42(X1,X2,X3)) -> U42(active(X1),X2,X3) 78: active(U43(X1,X2,X3)) -> U43(active(X1),X2,X3) 79: active(U44(X1,X2,X3)) -> U44(active(X1),X2,X3) 80: active(U45(X1,X2)) -> U45(active(X1),X2) 81: active(U46(X)) -> U46(active(X)) 82: active(U51(X1,X2,X3)) -> U51(active(X1),X2,X3) 83: active(U52(X1,X2,X3)) -> U52(active(X1),X2,X3) 84: active(U53(X1,X2,X3)) -> U53(active(X1),X2,X3) 85: active(U54(X1,X2,X3)) -> U54(active(X1),X2,X3) 86: active(U55(X1,X2)) -> U55(active(X1),X2) 87: active(U56(X)) -> U56(active(X)) 88: active(U61(X1,X2)) -> U61(active(X1),X2) 89: active(U62(X1,X2)) -> U62(active(X1),X2) 90: active(U63(X)) -> U63(active(X)) 91: active(U71(X1,X2,X3)) -> U71(active(X1),X2,X3) 92: active(U72(X1,X2)) -> U72(active(X1),X2) 93: active(U73(X1,X2)) -> U73(active(X1),X2) 94: active(U74(X)) -> U74(active(X)) 95: active(U81(X1,X2)) -> U81(active(X1),X2) 96: active(U82(X1,X2)) -> U82(active(X1),X2) 97: active(U83(X)) -> U83(active(X)) 98: active(U91(X1,X2)) -> U91(active(X1),X2) 99: active(U92(X)) -> U92(active(X)) 100: __(mark(X1),X2) -> mark(__(X1,X2)) 101: __(X1,mark(X2)) -> mark(__(X1,X2)) 102: U11(mark(X1),X2) -> mark(U11(X1,X2)) 103: U12(mark(X1),X2) -> mark(U12(X1,X2)) 104: U13(mark(X)) -> mark(U13(X)) 105: U21(mark(X1),X2,X3) -> mark(U21(X1,X2,X3)) 106: U22(mark(X1),X2,X3) -> mark(U22(X1,X2,X3)) 107: U23(mark(X1),X2,X3) -> mark(U23(X1,X2,X3)) 108: U24(mark(X1),X2,X3) -> mark(U24(X1,X2,X3)) 109: U25(mark(X1),X2) -> mark(U25(X1,X2)) 110: U26(mark(X)) -> mark(U26(X)) 111: U31(mark(X1),X2) -> mark(U31(X1,X2)) 112: U32(mark(X1),X2) -> mark(U32(X1,X2)) 113: U33(mark(X)) -> mark(U33(X)) 114: U41(mark(X1),X2,X3) -> mark(U41(X1,X2,X3)) 115: U42(mark(X1),X2,X3) -> mark(U42(X1,X2,X3)) 116: U43(mark(X1),X2,X3) -> mark(U43(X1,X2,X3)) 117: U44(mark(X1),X2,X3) -> mark(U44(X1,X2,X3)) 118: U45(mark(X1),X2) -> mark(U45(X1,X2)) 119: U46(mark(X)) -> mark(U46(X)) 120: U51(mark(X1),X2,X3) -> mark(U51(X1,X2,X3)) 121: U52(mark(X1),X2,X3) -> mark(U52(X1,X2,X3)) 122: U53(mark(X1),X2,X3) -> mark(U53(X1,X2,X3)) 123: U54(mark(X1),X2,X3) -> mark(U54(X1,X2,X3)) 124: U55(mark(X1),X2) -> mark(U55(X1,X2)) 125: U56(mark(X)) -> mark(U56(X)) 126: U61(mark(X1),X2) -> mark(U61(X1,X2)) 127: U62(mark(X1),X2) -> mark(U62(X1,X2)) 128: U63(mark(X)) -> mark(U63(X)) 129: U71(mark(X1),X2,X3) -> mark(U71(X1,X2,X3)) 130: U72(mark(X1),X2) -> mark(U72(X1,X2)) 131: U73(mark(X1),X2) -> mark(U73(X1,X2)) 132: U74(mark(X)) -> mark(U74(X)) 133: U81(mark(X1),X2) -> mark(U81(X1,X2)) 134: U82(mark(X1),X2) -> mark(U82(X1,X2)) 135: U83(mark(X)) -> mark(U83(X)) 136: U91(mark(X1),X2) -> mark(U91(X1,X2)) 137: U92(mark(X)) -> mark(U92(X)) 138: proper(__(X1,X2)) -> __(proper(X1),proper(X2)) 139: proper(nil()) -> ok(nil()) 140: proper(U11(X1,X2)) -> U11(proper(X1),proper(X2)) 141: proper(tt()) -> ok(tt()) 142: proper(U12(X1,X2)) -> U12(proper(X1),proper(X2)) 143: proper(isPalListKind(X)) -> isPalListKind(proper(X)) 144: proper(U13(X)) -> U13(proper(X)) 145: proper(isNeList(X)) -> isNeList(proper(X)) 146: proper(U21(X1,X2,X3)) -> U21(proper(X1),proper(X2),proper(X3)) 147: proper(U22(X1,X2,X3)) -> U22(proper(X1),proper(X2),proper(X3)) 148: proper(U23(X1,X2,X3)) -> U23(proper(X1),proper(X2),proper(X3)) 149: proper(U24(X1,X2,X3)) -> U24(proper(X1),proper(X2),proper(X3)) 150: proper(U25(X1,X2)) -> U25(proper(X1),proper(X2)) 151: proper(isList(X)) -> isList(proper(X)) 152: proper(U26(X)) -> U26(proper(X)) 153: proper(U31(X1,X2)) -> U31(proper(X1),proper(X2)) 154: proper(U32(X1,X2)) -> U32(proper(X1),proper(X2)) 155: proper(U33(X)) -> U33(proper(X)) 156: proper(isQid(X)) -> isQid(proper(X)) 157: proper(U41(X1,X2,X3)) -> U41(proper(X1),proper(X2),proper(X3)) 158: proper(U42(X1,X2,X3)) -> U42(proper(X1),proper(X2),proper(X3)) 159: proper(U43(X1,X2,X3)) -> U43(proper(X1),proper(X2),proper(X3)) 160: proper(U44(X1,X2,X3)) -> U44(proper(X1),proper(X2),proper(X3)) 161: proper(U45(X1,X2)) -> U45(proper(X1),proper(X2)) 162: proper(U46(X)) -> U46(proper(X)) 163: proper(U51(X1,X2,X3)) -> U51(proper(X1),proper(X2),proper(X3)) 164: proper(U52(X1,X2,X3)) -> U52(proper(X1),proper(X2),proper(X3)) 165: proper(U53(X1,X2,X3)) -> U53(proper(X1),proper(X2),proper(X3)) 166: proper(U54(X1,X2,X3)) -> U54(proper(X1),proper(X2),proper(X3)) 167: proper(U55(X1,X2)) -> U55(proper(X1),proper(X2)) 168: proper(U56(X)) -> U56(proper(X)) 169: proper(U61(X1,X2)) -> U61(proper(X1),proper(X2)) 170: proper(U62(X1,X2)) -> U62(proper(X1),proper(X2)) 171: proper(U63(X)) -> U63(proper(X)) 172: proper(U71(X1,X2,X3)) -> U71(proper(X1),proper(X2),proper(X3)) 173: proper(U72(X1,X2)) -> U72(proper(X1),proper(X2)) 174: proper(U73(X1,X2)) -> U73(proper(X1),proper(X2)) 175: proper(isPal(X)) -> isPal(proper(X)) 176: proper(U74(X)) -> U74(proper(X)) 177: proper(U81(X1,X2)) -> U81(proper(X1),proper(X2)) 178: proper(U82(X1,X2)) -> U82(proper(X1),proper(X2)) 179: proper(U83(X)) -> U83(proper(X)) 180: proper(isNePal(X)) -> isNePal(proper(X)) 181: proper(U91(X1,X2)) -> U91(proper(X1),proper(X2)) 182: proper(U92(X)) -> U92(proper(X)) 183: proper(a()) -> ok(a()) 184: proper(e()) -> ok(e()) 185: proper(i()) -> ok(i()) 186: proper(o()) -> ok(o()) 187: proper(u()) -> ok(u()) 188: __(ok(X1),ok(X2)) -> ok(__(X1,X2)) 189: U11(ok(X1),ok(X2)) -> ok(U11(X1,X2)) 190: U12(ok(X1),ok(X2)) -> ok(U12(X1,X2)) 191: isPalListKind(ok(X)) -> ok(isPalListKind(X)) 192: U13(ok(X)) -> ok(U13(X)) 193: isNeList(ok(X)) -> ok(isNeList(X)) 194: U21(ok(X1),ok(X2),ok(X3)) -> ok(U21(X1,X2,X3)) 195: U22(ok(X1),ok(X2),ok(X3)) -> ok(U22(X1,X2,X3)) 196: U23(ok(X1),ok(X2),ok(X3)) -> ok(U23(X1,X2,X3)) 197: U24(ok(X1),ok(X2),ok(X3)) -> ok(U24(X1,X2,X3)) 198: U25(ok(X1),ok(X2)) -> ok(U25(X1,X2)) 199: isList(ok(X)) -> ok(isList(X)) 200: U26(ok(X)) -> ok(U26(X)) 201: U31(ok(X1),ok(X2)) -> ok(U31(X1,X2)) 202: U32(ok(X1),ok(X2)) -> ok(U32(X1,X2)) 203: U33(ok(X)) -> ok(U33(X)) 204: isQid(ok(X)) -> ok(isQid(X)) 205: U41(ok(X1),ok(X2),ok(X3)) -> ok(U41(X1,X2,X3)) 206: U42(ok(X1),ok(X2),ok(X3)) -> ok(U42(X1,X2,X3)) 207: U43(ok(X1),ok(X2),ok(X3)) -> ok(U43(X1,X2,X3)) 208: U44(ok(X1),ok(X2),ok(X3)) -> ok(U44(X1,X2,X3)) 209: U45(ok(X1),ok(X2)) -> ok(U45(X1,X2)) 210: U46(ok(X)) -> ok(U46(X)) 211: U51(ok(X1),ok(X2),ok(X3)) -> ok(U51(X1,X2,X3)) 212: U52(ok(X1),ok(X2),ok(X3)) -> ok(U52(X1,X2,X3)) 213: U53(ok(X1),ok(X2),ok(X3)) -> ok(U53(X1,X2,X3)) 214: U54(ok(X1),ok(X2),ok(X3)) -> ok(U54(X1,X2,X3)) 215: U55(ok(X1),ok(X2)) -> ok(U55(X1,X2)) 216: U56(ok(X)) -> ok(U56(X)) 217: U61(ok(X1),ok(X2)) -> ok(U61(X1,X2)) 218: U62(ok(X1),ok(X2)) -> ok(U62(X1,X2)) 219: U63(ok(X)) -> ok(U63(X)) 220: U71(ok(X1),ok(X2),ok(X3)) -> ok(U71(X1,X2,X3)) 221: U72(ok(X1),ok(X2)) -> ok(U72(X1,X2)) 222: U73(ok(X1),ok(X2)) -> ok(U73(X1,X2)) 223: isPal(ok(X)) -> ok(isPal(X)) 224: U74(ok(X)) -> ok(U74(X)) 225: U81(ok(X1),ok(X2)) -> ok(U81(X1,X2)) 226: U82(ok(X1),ok(X2)) -> ok(U82(X1,X2)) 227: U83(ok(X)) -> ok(U83(X)) 228: isNePal(ok(X)) -> ok(isNePal(X)) 229: U91(ok(X1),ok(X2)) -> ok(U91(X1,X2)) 230: U92(ok(X)) -> ok(U92(X)) 231: top(mark(X)) -> top(proper(X)) 232: top(ok(X)) -> top(active(X)) Number of strict rules: 232 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #active(U55(X1,X2)) -> #U55(active(X1),X2) #2: #active(U55(X1,X2)) -> #active(X1) #3: #active(isNeList(V)) -> #U31(isPalListKind(V),V) #4: #active(isNeList(V)) -> #isPalListKind(V) #5: #active(U62(tt(),V)) -> #U63(isQid(V)) #6: #active(U62(tt(),V)) -> #isQid(V) #7: #active(U81(tt(),V)) -> #U82(isPalListKind(V),V) #8: #active(U81(tt(),V)) -> #isPalListKind(V) #9: #active(U52(X1,X2,X3)) -> #U52(active(X1),X2,X3) #10: #active(U52(X1,X2,X3)) -> #active(X1) #11: #active(U13(X)) -> #U13(active(X)) #12: #active(U13(X)) -> #active(X) #13: #proper(U81(X1,X2)) -> #U81(proper(X1),proper(X2)) #14: #proper(U81(X1,X2)) -> #proper(X1) #15: #proper(U81(X1,X2)) -> #proper(X2) #16: #active(isNePal(V)) -> #U61(isPalListKind(V),V) #17: #active(isNePal(V)) -> #isPalListKind(V) #18: #U91(ok(X1),ok(X2)) -> #U91(X1,X2) #19: #active(isList(__(V1,V2))) -> #U21(isPalListKind(V1),V1,V2) #20: #active(isList(__(V1,V2))) -> #isPalListKind(V1) #21: #U42(mark(X1),X2,X3) -> #U42(X1,X2,X3) #22: #top(ok(X)) -> #top(active(X)) #23: #top(ok(X)) -> #active(X) #24: #U25(ok(X1),ok(X2)) -> #U25(X1,X2) #25: #proper(U24(X1,X2,X3)) -> #U24(proper(X1),proper(X2),proper(X3)) #26: #proper(U24(X1,X2,X3)) -> #proper(X1) #27: #proper(U24(X1,X2,X3)) -> #proper(X2) #28: #proper(U24(X1,X2,X3)) -> #proper(X3) #29: #active(U81(X1,X2)) -> #U81(active(X1),X2) #30: #active(U81(X1,X2)) -> #active(X1) #31: #U41(mark(X1),X2,X3) -> #U41(X1,X2,X3) #32: #active(U92(X)) -> #U92(active(X)) #33: #active(U92(X)) -> #active(X) #34: #U92(ok(X)) -> #U92(X) #35: #proper(U51(X1,X2,X3)) -> #U51(proper(X1),proper(X2),proper(X3)) #36: #proper(U51(X1,X2,X3)) -> #proper(X1) #37: #proper(U51(X1,X2,X3)) -> #proper(X2) #38: #proper(U51(X1,X2,X3)) -> #proper(X3) #39: #active(U83(X)) -> #U83(active(X)) #40: #active(U83(X)) -> #active(X) #41: #active(U71(X1,X2,X3)) -> #U71(active(X1),X2,X3) #42: #active(U71(X1,X2,X3)) -> #active(X1) #43: #active(U31(X1,X2)) -> #U31(active(X1),X2) #44: #active(U31(X1,X2)) -> #active(X1) #45: #active(isNePal(__(I,__(P,I)))) -> #U71(isQid(I),I,P) #46: #active(isNePal(__(I,__(P,I)))) -> #isQid(I) #47: #U62(ok(X1),ok(X2)) -> #U62(X1,X2) #48: #isPalListKind(ok(X)) -> #isPalListKind(X) #49: #proper(U72(X1,X2)) -> #U72(proper(X1),proper(X2)) #50: #proper(U72(X1,X2)) -> #proper(X1) #51: #proper(U72(X1,X2)) -> #proper(X2) #52: #active(U25(X1,X2)) -> #U25(active(X1),X2) #53: #active(U25(X1,X2)) -> #active(X1) #54: #proper(U22(X1,X2,X3)) -> #U22(proper(X1),proper(X2),proper(X3)) #55: #proper(U22(X1,X2,X3)) -> #proper(X1) #56: #proper(U22(X1,X2,X3)) -> #proper(X2) #57: #proper(U22(X1,X2,X3)) -> #proper(X3) #58: #active(isPal(V)) -> #U81(isPalListKind(V),V) #59: #active(isPal(V)) -> #isPalListKind(V) #60: #U54(mark(X1),X2,X3) -> #U54(X1,X2,X3) #61: #active(U33(X)) -> #U33(active(X)) #62: #active(U33(X)) -> #active(X) #63: #proper(U82(X1,X2)) -> #U82(proper(X1),proper(X2)) #64: #proper(U82(X1,X2)) -> #proper(X1) #65: #proper(U82(X1,X2)) -> #proper(X2) #66: #U32(mark(X1),X2) -> #U32(X1,X2) #67: #active(U32(X1,X2)) -> #U32(active(X1),X2) #68: #active(U32(X1,X2)) -> #active(X1) #69: #proper(U62(X1,X2)) -> #U62(proper(X1),proper(X2)) #70: #proper(U62(X1,X2)) -> #proper(X1) #71: #proper(U62(X1,X2)) -> #proper(X2) #72: #proper(__(X1,X2)) -> #__(proper(X1),proper(X2)) #73: #proper(__(X1,X2)) -> #proper(X1) #74: #proper(__(X1,X2)) -> #proper(X2) #75: #U33(mark(X)) -> #U33(X) #76: #proper(U42(X1,X2,X3)) -> #U42(proper(X1),proper(X2),proper(X3)) #77: #proper(U42(X1,X2,X3)) -> #proper(X1) #78: #proper(U42(X1,X2,X3)) -> #proper(X2) #79: #proper(U42(X1,X2,X3)) -> #proper(X3) #80: #active(U91(tt(),V2)) -> #U92(isPalListKind(V2)) #81: #active(U91(tt(),V2)) -> #isPalListKind(V2) #82: #proper(isList(X)) -> #isList(proper(X)) #83: #proper(isList(X)) -> #proper(X) #84: #proper(U32(X1,X2)) -> #U32(proper(X1),proper(X2)) #85: #proper(U32(X1,X2)) -> #proper(X1) #86: #proper(U32(X1,X2)) -> #proper(X2) #87: #U43(mark(X1),X2,X3) -> #U43(X1,X2,X3) #88: #proper(U33(X)) -> #U33(proper(X)) #89: #proper(U33(X)) -> #proper(X) #90: #isPal(ok(X)) -> #isPal(X) #91: #U23(ok(X1),ok(X2),ok(X3)) -> #U23(X1,X2,X3) #92: #proper(U53(X1,X2,X3)) -> #U53(proper(X1),proper(X2),proper(X3)) #93: #proper(U53(X1,X2,X3)) -> #proper(X1) #94: #proper(U53(X1,X2,X3)) -> #proper(X2) #95: #proper(U53(X1,X2,X3)) -> #proper(X3) #96: #isNeList(ok(X)) -> #isNeList(X) #97: #U26(mark(X)) -> #U26(X) #98: #U74(mark(X)) -> #U74(X) #99: #active(U21(X1,X2,X3)) -> #U21(active(X1),X2,X3) #100: #active(U21(X1,X2,X3)) -> #active(X1) #101: #U46(ok(X)) -> #U46(X) #102: #active(isList(V)) -> #U11(isPalListKind(V),V) #103: #active(isList(V)) -> #isPalListKind(V) #104: #active(U63(X)) -> #U63(active(X)) #105: #active(U63(X)) -> #active(X) #106: #proper(U21(X1,X2,X3)) -> #U21(proper(X1),proper(X2),proper(X3)) #107: #proper(U21(X1,X2,X3)) -> #proper(X1) #108: #proper(U21(X1,X2,X3)) -> #proper(X2) #109: #proper(U21(X1,X2,X3)) -> #proper(X3) #110: #U23(mark(X1),X2,X3) -> #U23(X1,X2,X3) #111: #U71(ok(X1),ok(X2),ok(X3)) -> #U71(X1,X2,X3) #112: #active(U31(tt(),V)) -> #U32(isPalListKind(V),V) #113: #active(U31(tt(),V)) -> #isPalListKind(V) #114: #active(U23(tt(),V1,V2)) -> #U24(isPalListKind(V2),V1,V2) #115: #active(U23(tt(),V1,V2)) -> #isPalListKind(V2) #116: #U32(ok(X1),ok(X2)) -> #U32(X1,X2) #117: #active(U25(tt(),V2)) -> #U26(isList(V2)) #118: #active(U25(tt(),V2)) -> #isList(V2) #119: #U54(ok(X1),ok(X2),ok(X3)) -> #U54(X1,X2,X3) #120: #active(U91(X1,X2)) -> #U91(active(X1),X2) #121: #active(U91(X1,X2)) -> #active(X1) #122: #proper(isQid(X)) -> #isQid(proper(X)) #123: #proper(isQid(X)) -> #proper(X) #124: #U24(ok(X1),ok(X2),ok(X3)) -> #U24(X1,X2,X3) #125: #active(U41(X1,X2,X3)) -> #U41(active(X1),X2,X3) #126: #active(U41(X1,X2,X3)) -> #active(X1) #127: #proper(U55(X1,X2)) -> #U55(proper(X1),proper(X2)) #128: #proper(U55(X1,X2)) -> #proper(X1) #129: #proper(U55(X1,X2)) -> #proper(X2) #130: #U12(ok(X1),ok(X2)) -> #U12(X1,X2) #131: #U25(mark(X1),X2) -> #U25(X1,X2) #132: #active(U74(X)) -> #U74(active(X)) #133: #active(U74(X)) -> #active(X) #134: #active(U53(tt(),V1,V2)) -> #U54(isPalListKind(V2),V1,V2) #135: #active(U53(tt(),V1,V2)) -> #isPalListKind(V2) #136: #U82(mark(X1),X2) -> #U82(X1,X2) #137: #active(U24(X1,X2,X3)) -> #U24(active(X1),X2,X3) #138: #active(U24(X1,X2,X3)) -> #active(X1) #139: #active(U52(tt(),V1,V2)) -> #U53(isPalListKind(V2),V1,V2) #140: #active(U52(tt(),V1,V2)) -> #isPalListKind(V2) #141: #U63(mark(X)) -> #U63(X) #142: #active(U46(X)) -> #U46(active(X)) #143: #active(U46(X)) -> #active(X) #144: #U45(mark(X1),X2) -> #U45(X1,X2) #145: #active(U43(X1,X2,X3)) -> #U43(active(X1),X2,X3) #146: #active(U43(X1,X2,X3)) -> #active(X1) #147: #active(isNeList(__(V1,V2))) -> #U51(isPalListKind(V1),V1,V2) #148: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #149: #active(U82(X1,X2)) -> #U82(active(X1),X2) #150: #active(U82(X1,X2)) -> #active(X1) #151: #U33(ok(X)) -> #U33(X) #152: #U31(ok(X1),ok(X2)) -> #U31(X1,X2) #153: #active(U23(X1,X2,X3)) -> #U23(active(X1),X2,X3) #154: #active(U23(X1,X2,X3)) -> #active(X1) #155: #U45(ok(X1),ok(X2)) -> #U45(X1,X2) #156: #__(X1,mark(X2)) -> #__(X1,X2) #157: #active(U71(tt(),I,P)) -> #U72(isPalListKind(I),P) #158: #active(U71(tt(),I,P)) -> #isPalListKind(I) #159: #proper(U52(X1,X2,X3)) -> #U52(proper(X1),proper(X2),proper(X3)) #160: #proper(U52(X1,X2,X3)) -> #proper(X1) #161: #proper(U52(X1,X2,X3)) -> #proper(X2) #162: #proper(U52(X1,X2,X3)) -> #proper(X3) #163: #U61(ok(X1),ok(X2)) -> #U61(X1,X2) #164: #active(U44(X1,X2,X3)) -> #U44(active(X1),X2,X3) #165: #active(U44(X1,X2,X3)) -> #active(X1) #166: #active(isPalListKind(__(V1,V2))) -> #U91(isPalListKind(V1),V2) #167: #active(isPalListKind(__(V1,V2))) -> #isPalListKind(V1) #168: #active(U62(X1,X2)) -> #U62(active(X1),X2) #169: #active(U62(X1,X2)) -> #active(X1) #170: #U81(mark(X1),X2) -> #U81(X1,X2) #171: #active(U51(X1,X2,X3)) -> #U51(active(X1),X2,X3) #172: #active(U51(X1,X2,X3)) -> #active(X1) #173: #U31(mark(X1),X2) -> #U31(X1,X2) #174: #active(U32(tt(),V)) -> #U33(isQid(V)) #175: #active(U32(tt(),V)) -> #isQid(V) #176: #U42(ok(X1),ok(X2),ok(X3)) -> #U42(X1,X2,X3) #177: #U22(mark(X1),X2,X3) -> #U22(X1,X2,X3) #178: #active(__(X1,X2)) -> #__(active(X1),X2) #179: #active(__(X1,X2)) -> #active(X1) #180: #U26(ok(X)) -> #U26(X) #181: #active(U54(tt(),V1,V2)) -> #U55(isNeList(V1),V2) #182: #active(U54(tt(),V1,V2)) -> #isNeList(V1) #183: #U72(mark(X1),X2) -> #U72(X1,X2) #184: #proper(U54(X1,X2,X3)) -> #U54(proper(X1),proper(X2),proper(X3)) #185: #proper(U54(X1,X2,X3)) -> #proper(X1) #186: #proper(U54(X1,X2,X3)) -> #proper(X2) #187: #proper(U54(X1,X2,X3)) -> #proper(X3) #188: #U24(mark(X1),X2,X3) -> #U24(X1,X2,X3) #189: #U71(mark(X1),X2,X3) -> #U71(X1,X2,X3) #190: #active(U45(tt(),V2)) -> #U46(isNeList(V2)) #191: #active(U45(tt(),V2)) -> #isNeList(V2) #192: #proper(U83(X)) -> #U83(proper(X)) #193: #proper(U83(X)) -> #proper(X) #194: #U61(mark(X1),X2) -> #U61(X1,X2) #195: #proper(U73(X1,X2)) -> #U73(proper(X1),proper(X2)) #196: #proper(U73(X1,X2)) -> #proper(X1) #197: #proper(U73(X1,X2)) -> #proper(X2) #198: #active(U61(X1,X2)) -> #U61(active(X1),X2) #199: #active(U61(X1,X2)) -> #active(X1) #200: #active(U21(tt(),V1,V2)) -> #U22(isPalListKind(V1),V1,V2) #201: #active(U21(tt(),V1,V2)) -> #isPalListKind(V1) #202: #U43(ok(X1),ok(X2),ok(X3)) -> #U43(X1,X2,X3) #203: #proper(U31(X1,X2)) -> #U31(proper(X1),proper(X2)) #204: #proper(U31(X1,X2)) -> #proper(X1) #205: #proper(U31(X1,X2)) -> #proper(X2) #206: #U91(mark(X1),X2) -> #U91(X1,X2) #207: #U74(ok(X)) -> #U74(X) #208: #active(U24(tt(),V1,V2)) -> #U25(isList(V1),V2) #209: #active(U24(tt(),V1,V2)) -> #isList(V1) #210: #active(U72(X1,X2)) -> #U72(active(X1),X2) #211: #active(U72(X1,X2)) -> #active(X1) #212: #proper(isPal(X)) -> #isPal(proper(X)) #213: #proper(isPal(X)) -> #proper(X) #214: #U46(mark(X)) -> #U46(X) #215: #active(U73(X1,X2)) -> #U73(active(X1),X2) #216: #active(U73(X1,X2)) -> #active(X1) #217: #active(U11(X1,X2)) -> #U11(active(X1),X2) #218: #active(U11(X1,X2)) -> #active(X1) #219: #active(U73(tt(),P)) -> #U74(isPalListKind(P)) #220: #active(U73(tt(),P)) -> #isPalListKind(P) #221: #active(U26(X)) -> #U26(active(X)) #222: #active(U26(X)) -> #active(X) #223: #proper(U46(X)) -> #U46(proper(X)) #224: #proper(U46(X)) -> #proper(X) #225: #U51(mark(X1),X2,X3) -> #U51(X1,X2,X3) #226: #active(U12(tt(),V)) -> #U13(isNeList(V)) #227: #active(U12(tt(),V)) -> #isNeList(V) #228: #active(isNeList(__(V1,V2))) -> #U41(isPalListKind(V1),V1,V2) #229: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #230: #active(U12(X1,X2)) -> #U12(active(X1),X2) #231: #active(U12(X1,X2)) -> #active(X1) #232: #proper(U23(X1,X2,X3)) -> #U23(proper(X1),proper(X2),proper(X3)) #233: #proper(U23(X1,X2,X3)) -> #proper(X1) #234: #proper(U23(X1,X2,X3)) -> #proper(X2) #235: #proper(U23(X1,X2,X3)) -> #proper(X3) #236: #active(U61(tt(),V)) -> #U62(isPalListKind(V),V) #237: #active(U61(tt(),V)) -> #isPalListKind(V) #238: #U73(ok(X1),ok(X2)) -> #U73(X1,X2) #239: #U55(ok(X1),ok(X2)) -> #U55(X1,X2) #240: #active(U51(tt(),V1,V2)) -> #U52(isPalListKind(V1),V1,V2) #241: #active(U51(tt(),V1,V2)) -> #isPalListKind(V1) #242: #U62(mark(X1),X2) -> #U62(X1,X2) #243: #proper(U61(X1,X2)) -> #U61(proper(X1),proper(X2)) #244: #proper(U61(X1,X2)) -> #proper(X1) #245: #proper(U61(X1,X2)) -> #proper(X2) #246: #proper(U63(X)) -> #U63(proper(X)) #247: #proper(U63(X)) -> #proper(X) #248: #active(U53(X1,X2,X3)) -> #U53(active(X1),X2,X3) #249: #active(U53(X1,X2,X3)) -> #active(X1) #250: #active(U56(X)) -> #U56(active(X)) #251: #active(U56(X)) -> #active(X) #252: #U52(ok(X1),ok(X2),ok(X3)) -> #U52(X1,X2,X3) #253: #U21(ok(X1),ok(X2),ok(X3)) -> #U21(X1,X2,X3) #254: #proper(U41(X1,X2,X3)) -> #U41(proper(X1),proper(X2),proper(X3)) #255: #proper(U41(X1,X2,X3)) -> #proper(X1) #256: #proper(U41(X1,X2,X3)) -> #proper(X2) #257: #proper(U41(X1,X2,X3)) -> #proper(X3) #258: #U92(mark(X)) -> #U92(X) #259: #proper(U13(X)) -> #U13(proper(X)) #260: #proper(U13(X)) -> #proper(X) #261: #proper(U12(X1,X2)) -> #U12(proper(X1),proper(X2)) #262: #proper(U12(X1,X2)) -> #proper(X1) #263: #proper(U12(X1,X2)) -> #proper(X2) #264: #proper(U45(X1,X2)) -> #U45(proper(X1),proper(X2)) #265: #proper(U45(X1,X2)) -> #proper(X1) #266: #proper(U45(X1,X2)) -> #proper(X2) #267: #proper(U25(X1,X2)) -> #U25(proper(X1),proper(X2)) #268: #proper(U25(X1,X2)) -> #proper(X1) #269: #proper(U25(X1,X2)) -> #proper(X2) #270: #U44(ok(X1),ok(X2),ok(X3)) -> #U44(X1,X2,X3) #271: #U44(mark(X1),X2,X3) -> #U44(X1,X2,X3) #272: #isList(ok(X)) -> #isList(X) #273: #U82(ok(X1),ok(X2)) -> #U82(X1,X2) #274: #isNePal(ok(X)) -> #isNePal(X) #275: #proper(U71(X1,X2,X3)) -> #U71(proper(X1),proper(X2),proper(X3)) #276: #proper(U71(X1,X2,X3)) -> #proper(X1) #277: #proper(U71(X1,X2,X3)) -> #proper(X2) #278: #proper(U71(X1,X2,X3)) -> #proper(X3) #279: #active(U42(tt(),V1,V2)) -> #U43(isPalListKind(V2),V1,V2) #280: #active(U42(tt(),V1,V2)) -> #isPalListKind(V2) #281: #U83(ok(X)) -> #U83(X) #282: #active(U72(tt(),P)) -> #U73(isPal(P),P) #283: #active(U72(tt(),P)) -> #isPal(P) #284: #active(U44(tt(),V1,V2)) -> #U45(isList(V1),V2) #285: #active(U44(tt(),V1,V2)) -> #isList(V1) #286: #proper(isPalListKind(X)) -> #isPalListKind(proper(X)) #287: #proper(isPalListKind(X)) -> #proper(X) #288: #U56(mark(X)) -> #U56(X) #289: #U51(ok(X1),ok(X2),ok(X3)) -> #U51(X1,X2,X3) #290: #U13(ok(X)) -> #U13(X) #291: #proper(U74(X)) -> #U74(proper(X)) #292: #proper(U74(X)) -> #proper(X) #293: #active(__(X1,X2)) -> #__(X1,active(X2)) #294: #active(__(X1,X2)) -> #active(X2) #295: #U83(mark(X)) -> #U83(X) #296: #U81(ok(X1),ok(X2)) -> #U81(X1,X2) #297: #U21(mark(X1),X2,X3) -> #U21(X1,X2,X3) #298: #active(U55(tt(),V2)) -> #U56(isList(V2)) #299: #active(U55(tt(),V2)) -> #isList(V2) #300: #__(mark(X1),X2) -> #__(X1,X2) #301: #active(U54(X1,X2,X3)) -> #U54(active(X1),X2,X3) #302: #active(U54(X1,X2,X3)) -> #active(X1) #303: #proper(U91(X1,X2)) -> #U91(proper(X1),proper(X2)) #304: #proper(U91(X1,X2)) -> #proper(X1) #305: #proper(U91(X1,X2)) -> #proper(X2) #306: #U53(mark(X1),X2,X3) -> #U53(X1,X2,X3) #307: #U53(ok(X1),ok(X2),ok(X3)) -> #U53(X1,X2,X3) #308: #active(U22(X1,X2,X3)) -> #U22(active(X1),X2,X3) #309: #active(U22(X1,X2,X3)) -> #active(X1) #310: #top(mark(X)) -> #top(proper(X)) #311: #top(mark(X)) -> #proper(X) #312: #U73(mark(X1),X2) -> #U73(X1,X2) #313: #active(U82(tt(),V)) -> #U83(isNePal(V)) #314: #active(U82(tt(),V)) -> #isNePal(V) #315: #active(U41(tt(),V1,V2)) -> #U42(isPalListKind(V1),V1,V2) #316: #active(U41(tt(),V1,V2)) -> #isPalListKind(V1) #317: #proper(U43(X1,X2,X3)) -> #U43(proper(X1),proper(X2),proper(X3)) #318: #proper(U43(X1,X2,X3)) -> #proper(X1) #319: #proper(U43(X1,X2,X3)) -> #proper(X2) #320: #proper(U43(X1,X2,X3)) -> #proper(X3) #321: #active(U42(X1,X2,X3)) -> #U42(active(X1),X2,X3) #322: #active(U42(X1,X2,X3)) -> #active(X1) #323: #active(__(__(X,Y),Z)) -> #__(X,__(Y,Z)) #324: #active(__(__(X,Y),Z)) -> #__(Y,Z) #325: #proper(U11(X1,X2)) -> #U11(proper(X1),proper(X2)) #326: #proper(U11(X1,X2)) -> #proper(X1) #327: #proper(U11(X1,X2)) -> #proper(X2) #328: #U55(mark(X1),X2) -> #U55(X1,X2) #329: #U22(ok(X1),ok(X2),ok(X3)) -> #U22(X1,X2,X3) #330: #isQid(ok(X)) -> #isQid(X) #331: #proper(U44(X1,X2,X3)) -> #U44(proper(X1),proper(X2),proper(X3)) #332: #proper(U44(X1,X2,X3)) -> #proper(X1) #333: #proper(U44(X1,X2,X3)) -> #proper(X2) #334: #proper(U44(X1,X2,X3)) -> #proper(X3) #335: #active(U22(tt(),V1,V2)) -> #U23(isPalListKind(V2),V1,V2) #336: #active(U22(tt(),V1,V2)) -> #isPalListKind(V2) #337: #U41(ok(X1),ok(X2),ok(X3)) -> #U41(X1,X2,X3) #338: #proper(U26(X)) -> #U26(proper(X)) #339: #proper(U26(X)) -> #proper(X) #340: #proper(U56(X)) -> #U56(proper(X)) #341: #proper(U56(X)) -> #proper(X) #342: #U56(ok(X)) -> #U56(X) #343: #U52(mark(X1),X2,X3) -> #U52(X1,X2,X3) #344: #proper(isNePal(X)) -> #isNePal(proper(X)) #345: #proper(isNePal(X)) -> #proper(X) #346: #U72(ok(X1),ok(X2)) -> #U72(X1,X2) #347: #proper(isNeList(X)) -> #isNeList(proper(X)) #348: #proper(isNeList(X)) -> #proper(X) #349: #U11(mark(X1),X2) -> #U11(X1,X2) #350: #U11(ok(X1),ok(X2)) -> #U11(X1,X2) #351: #U12(mark(X1),X2) -> #U12(X1,X2) #352: #U63(ok(X)) -> #U63(X) #353: #active(U11(tt(),V)) -> #U12(isPalListKind(V),V) #354: #active(U11(tt(),V)) -> #isPalListKind(V) #355: #__(ok(X1),ok(X2)) -> #__(X1,X2) #356: #U13(mark(X)) -> #U13(X) #357: #active(U45(X1,X2)) -> #U45(active(X1),X2) #358: #active(U45(X1,X2)) -> #active(X1) #359: #active(U43(tt(),V1,V2)) -> #U44(isPalListKind(V2),V1,V2) #360: #active(U43(tt(),V1,V2)) -> #isPalListKind(V2) #361: #proper(U92(X)) -> #U92(proper(X)) #362: #proper(U92(X)) -> #proper(X) Number of SCCs: 46, DPs: 205 SCC { #330 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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: x1 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #330 Number of SCCs: 45, DPs: 204 SCC { #96 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: x1 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #96 Number of SCCs: 44, DPs: 203 SCC { #90 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #90 Number of SCCs: 43, DPs: 202 SCC { #272 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: x1 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #272 Number of SCCs: 42, DPs: 201 SCC { #274 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: x1 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #274 Number of SCCs: 41, DPs: 200 SCC { #48 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: x1 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #48 Number of SCCs: 40, DPs: 199 SCC { #34 #258 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: x1 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #34 #258 Number of SCCs: 39, DPs: 197 SCC { #141 #352 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: x1 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #141 #352 Number of SCCs: 38, DPs: 195 SCC { #75 #151 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: x1 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #75 #151 Number of SCCs: 37, DPs: 193 SCC { #101 #214 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: x1 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #101 #214 Number of SCCs: 36, DPs: 191 SCC { #98 #207 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: x1 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #98 #207 Number of SCCs: 35, DPs: 189 SCC { #97 #180 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: x1 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #97 #180 Number of SCCs: 34, DPs: 187 SCC { #290 #356 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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: x1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #290 #356 Number of SCCs: 33, DPs: 185 SCC { #288 #342 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: x1 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #288 #342 Number of SCCs: 32, DPs: 183 SCC { #281 #295 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: x1 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top 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 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active 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 USABLE RULES: { } Removed DPs: #281 #295 Number of SCCs: 31, DPs: 181 SCC { #22 #310 } POLO(Sum)... POLO(max)... QLPOS... succeeded. a s: [] p: 4 #U72 s: [] p: 0 #U32 s: [] p: 0 U21 s: [1,2,3] p: 28 #U83 s: [] p: 0 #isPalListKind s: [] p: 0 U11 s: [1,2] p: 19 U24 s: [1,3,2] p: 25 #U24 s: [3,1,2] p: 0 U25 s: [2,1] p: 20 isNeList s: [1] p: 10 U56 s: [1] p: 1 isPal s: [1] p: 16 U42 s: [2,1,3] p: 28 U91 s: [2,1] p: 26 u s: [] p: 4 U26 s: [1] p: 18 #U82 s: [1,2] p: 0 U71 s: [3,2,1] p: 18 top s: [] p: 0 #U81 s: [2,1] p: 0 #U92 s: [] p: 0 #isNeList s: [] p: 0 U43 s: [3,2,1] p: 27 #U23 s: [2,1,3] p: 0 #U53 s: [1,2] p: 0 #top s: [1] p: 0 #__ s: [1] p: 0 U44 s: [3,2,1] p: 26 U55 s: [2,1] p: 20 #U43 s: [3,1,2] p: 0 U23 s: [3,2,1] p: 26 U63 s: [1] p: 1 isNePal s: [1] p: 13 U72 s: [1,2] p: 17 #U13 s: [] p: 0 #isQid s: [] p: 0 #isPal s: [] p: 0 #U52 s: [2,3,1] p: 0 U12 s: [2,1] p: 10 #U33 s: [] p: 0 isQid s: [] p: 7 #U26 s: [] p: 0 U54 s: [3,1,2] p: 21 o s: [] p: 4 #U44 s: [1,2] p: 0 #U54 s: [1,2] p: 0 #U42 s: [2,1] p: 0 #U12 s: [] p: 0 proper s: 1 #U62 s: [2,1] p: 0 U83 s: [1] p: 1 ok s: 1 isList s: [1] p: 20 U73 s: [2,1] p: 12 #U74 s: [] p: 0 #isNePal s: [] p: 0 #U73 s: [1,2] p: 0 nil s: [] p: 4 #U25 s: [1,2] p: 0 U62 s: [1] p: 7 #U63 s: [] p: 0 U45 s: [2,1] p: 25 mark s: [1] p: 1 #isList s: [] p: 0 U32 s: [1] p: 8 U33 s: [1] p: 1 #U46 s: [] p: 0 #U56 s: [] p: 0 #proper s: [] p: 0 U46 s: [1] p: 1 i s: [] p: 4 U52 s: [3,1,2] p: 23 U61 s: [1,2] p: 8 #U51 s: [1,3,2] p: 0 e s: [] p: 4 #U11 s: [] p: 0 active s: 1 U31 s: [1,2] p: 9 U92 s: [1] p: 25 #U41 s: [3,2] p: 0 #active s: [] p: 0 #U21 s: [] p: 0 U81 s: [1,2] p: 15 U82 s: [1,2] p: 14 #U22 s: [2] p: 0 tt s: [] p: 3 #U71 s: [1,2,3] p: 0 U13 s: [1] p: 2 U22 s: [3,1,2] p: 27 #U45 s: [] p: 0 U51 s: [3,2,1] p: 24 U74 s: [1] p: 6 isPalListKind s: 1 U53 s: [1,2,3] p: 22 U41 s: [3,2,1] p: 29 #U31 s: [2,1] p: 0 __ s: [1,2] p: 30 #U91 s: [] p: 0 #U55 s: [] p: 0 #U61 s: [2,1] p: 0 USABLE RULES: { 1..230 } Removed DPs: #310 Number of SCCs: 31, DPs: 180 SCC { #22 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + 1 U24 w: x1 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 + 1 U56 w: x1 isPal w: x1 + 1 U42 w: x2 + 1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: x2 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 1 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 U44 w: x2 + 1 U55 w: x1 + 1 #U43 w: 0 U23 w: x3 U63 w: x1 + 1 isNePal w: x1 U72 w: x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 1 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: x2 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 2 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: x1 + 1 U73 w: x1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 #U63 w: 0 U45 w: x1 + 1 mark w: 0 #isList w: 0 U32 w: x1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 1 U52 w: x2 U61 w: x2 + 1 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x2 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: x1 U22 w: x3 + 1 #U45 w: 0 U51 w: x2 U74 w: x1 + 1 isPalListKind w: x1 U53 w: x1 + 1 U41 w: x2 + 1 #U31 w: 0 __ w: x1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 1..230 } Removed DPs: #22 Number of SCCs: 30, DPs: 179 SCC { #152 #173 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + 1 U24 w: x1 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 + 1 U56 w: x1 isPal w: x1 + 1 U42 w: x2 + 1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: x2 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 1 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 U44 w: x2 + 1 U55 w: x1 + 1 #U43 w: 0 U23 w: x3 U63 w: x1 + 1 isNePal w: x1 U72 w: x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 1 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: x2 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 2 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: x1 + 1 U73 w: x1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 #U63 w: 0 U45 w: x1 + 1 mark w: 0 #isList w: 0 U32 w: x1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 1 U52 w: x2 U61 w: x2 + 1 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x2 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: x1 U22 w: x3 + 1 #U45 w: 0 U51 w: x2 U74 w: x1 + 1 isPalListKind w: x1 U53 w: x1 + 1 U41 w: x2 + 1 #U31 w: x2 __ w: x1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 1..230 } Removed DPs: #152 Number of SCCs: 30, DPs: 178 SCC { #173 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 3 U24 w: 2 #U24 w: 0 U25 w: x1 + 1 isNeList w: 2 U56 w: x1 + 1 isPal w: 2 U42 w: x2 + 3 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 4 #U43 w: 0 U23 w: x1 + 1 U63 w: 3 isNePal w: 2 U72 w: x1 + x2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: x2 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: 4 isList w: 4 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 #U63 w: 0 U45 w: 6 mark w: x1 + 3 #isList w: 0 U32 w: x1 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 0 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 4 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x2 + 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: x1 isPalListKind w: 4 U53 w: 3 U41 w: 3 #U31 w: x1 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 190 191 199 201 202 209 214 215 218 221 224 230 } Removed DPs: #173 Number of SCCs: 29, DPs: 177 SCC { #170 #296 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 3 U24 w: 2 #U24 w: 0 U25 w: x1 + 1 isNeList w: 2 U56 w: x1 + 1 isPal w: 2 U42 w: x2 + 3 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: x1 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 1 U55 w: 3 #U43 w: 0 U23 w: x1 + 1 U63 w: 3 isNePal w: 2 U72 w: x1 + x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: x2 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 1 isList w: 4 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + 1 #U63 w: 0 U45 w: 6 mark w: x1 + 3 #isList w: 0 U32 w: x1 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x2 + 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: x1 + 1 isPalListKind w: 4 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 112 127 130 132 137 202 218 221 224 230 } Removed DPs: #170 #296 Number of SCCs: 28, DPs: 175 SCC { #66 #116 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: x1 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 3 U24 w: 2 #U24 w: 0 U25 w: x1 + 1 isNeList w: 2 U56 w: x1 + 1 isPal w: 2 U42 w: x2 + 3 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 1 U55 w: 3 #U43 w: 0 U23 w: x1 + 1 U63 w: 3 isNePal w: 2 U72 w: x1 + x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: x2 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 1 isList w: 4 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + 1 #U63 w: 0 U45 w: 6 mark w: x1 + 3 #isList w: 0 U32 w: x1 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x2 + 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: x1 + 1 isPalListKind w: 4 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 112 127 130 132 137 202 218 221 224 230 } Removed DPs: #66 #116 Number of SCCs: 27, DPs: 173 SCC { #136 #273 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 3 U24 w: 2 #U24 w: 0 U25 w: x1 + 1 isNeList w: 2 U56 w: x1 + 1 isPal w: 2 U42 w: x2 + 3 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: x1 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 1 U55 w: 3 #U43 w: 0 U23 w: x1 + 1 U63 w: 3 isNePal w: 2 U72 w: x1 + x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: x2 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 1 isList w: x1 + 4 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + 1 #U63 w: 0 U45 w: 3 mark w: x1 + 4 #isList w: 0 U32 w: x1 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x2 + 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: x1 + 1 isPalListKind w: 4 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 112 127 130 132 137 202 218 221 224 230 } Removed DPs: #136 #273 Number of SCCs: 26, DPs: 171 SCC { #18 #206 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 4 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 4 U24 w: 6 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 U56 w: x1 isPal w: 6 U42 w: x2 + x3 + 4 U91 w: 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: x1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 1 U55 w: 6 #U43 w: 0 U23 w: x1 + 1 U63 w: 1 isNePal w: x1 U72 w: x2 + 5 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + x2 + 1 #U33 w: 0 isQid w: 6 #U26 w: 0 U54 w: x2 + 4 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 5 #U62 w: 0 U83 w: x1 ok w: x1 + 6 isList w: x1 + 4 U73 w: x1 + x2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + 1 #U63 w: 0 U45 w: 4 mark w: 5 #isList w: 0 U32 w: x1 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 4 i w: 0 U52 w: x1 + 2 U61 w: 5 #U51 w: 0 e w: 1 #U11 w: 0 active w: 3 U31 w: x1 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 4 U82 w: x2 + 4 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 #U45 w: 0 U51 w: x1 + x2 + x3 U74 w: 5 isPalListKind w: x1 U53 w: x1 U41 w: 4 #U31 w: 0 __ w: x2 + 1 #U91 w: x2 #U55 w: 0 #U61 w: 0 USABLE RULES: { 112 127 130 137 202 218 230 } Removed DPs: #18 Number of SCCs: 26, DPs: 170 SCC { #206 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 4 U24 w: 6 #U24 w: 0 U25 w: 3 isNeList w: x1 + 1 U56 w: 3 isPal w: 6 U42 w: 0 U91 w: 0 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 6 #U43 w: 0 U23 w: 1 U63 w: 2 isNePal w: 0 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 3 #U26 w: 0 U54 w: 4 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 2 #U62 w: 0 U83 w: 2 ok w: x1 + 3 isList w: 3 U73 w: x2 + 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 2 mark w: x1 + 5 #isList w: 0 U32 w: 3 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 0 U52 w: x1 + x2 + x3 + 1 U61 w: 3 #U51 w: 0 e w: 0 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 0 #U45 w: 0 U51 w: 3 U74 w: 0 isPalListKind w: 3 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: x2 + 1 #U91 w: x1 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #206 Number of SCCs: 25, DPs: 169 SCC { #239 #328 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 4 U24 w: 6 #U24 w: 0 U25 w: 3 isNeList w: x1 + 1 U56 w: 3 isPal w: 6 U42 w: 0 U91 w: 0 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 6 #U43 w: 0 U23 w: 1 U63 w: 2 isNePal w: 0 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 3 #U26 w: 0 U54 w: 4 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 2 #U62 w: 0 U83 w: 2 ok w: x1 + 3 isList w: 3 U73 w: x2 + 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 2 mark w: x1 + 5 #isList w: 0 U32 w: 3 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 0 U52 w: x1 + x2 + x3 + 1 U61 w: 3 #U51 w: 0 e w: 0 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 0 #U45 w: 0 U51 w: 3 U74 w: 0 isPalListKind w: 3 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: x2 + 1 #U91 w: 0 #U55 w: x2 #U61 w: 0 USABLE RULES: { } Removed DPs: #239 Number of SCCs: 25, DPs: 168 SCC { #328 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 2 isNeList w: 1 U56 w: x1 isPal w: 0 U42 w: 0 U91 w: 1 u w: 0 U26 w: 2 #U82 w: 0 U71 w: x1 + x2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + 3 U55 w: 3 #U43 w: 0 U23 w: 1 U63 w: 2 isNePal w: 1 U72 w: x1 + x2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 3 #U26 w: 0 U54 w: 3 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 2 #U62 w: 0 U83 w: 2 ok w: 4 isList w: 1 U73 w: x2 + 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: 2 mark w: x1 + 5 #isList w: 0 U32 w: 3 U33 w: 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 0 U52 w: x1 + x2 + x3 U61 w: x1 + x2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 U82 w: x1 + x2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 + x3 + 1 #U45 w: 0 U51 w: x2 + x3 + 3 U74 w: 1 isPalListKind w: x1 U53 w: 2 U41 w: x2 + x3 + 3 #U31 w: 0 __ w: x2 + 1 #U91 w: 0 #U55 w: x1 #U61 w: 0 USABLE RULES: { 191 208 } Removed DPs: #328 Number of SCCs: 24, DPs: 167 SCC { #163 #194 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 2 isNeList w: 1 U56 w: x1 isPal w: 1 U42 w: 0 U91 w: 1 u w: 0 U26 w: 2 #U82 w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + 3 U55 w: 3 #U43 w: 0 U23 w: 1 U63 w: 2 isNePal w: 1 U72 w: x1 + x2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 3 #U26 w: 0 U54 w: 3 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 2 #U62 w: 0 U83 w: 2 ok w: x1 + 3 isList w: 1 U73 w: x2 + 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: 2 mark w: x1 + 5 #isList w: 0 U32 w: 3 U33 w: 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: x1 + x2 + x3 U61 w: x1 + x2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 U82 w: x1 + x2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 + x3 + 1 #U45 w: 0 U51 w: x2 + x3 + 3 U74 w: 1 isPalListKind w: x1 U53 w: 2 U41 w: x2 + x3 + 3 #U31 w: 0 __ w: x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: x1 USABLE RULES: { 191 } Removed DPs: #163 #194 Number of SCCs: 23, DPs: 165 SCC { #24 #131 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 2 isNeList w: 1 U56 w: x1 isPal w: 1 U42 w: 0 U91 w: 1 u w: 0 U26 w: 2 #U82 w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + 3 U55 w: 3 #U43 w: 0 U23 w: 1 U63 w: 2 isNePal w: 1 U72 w: x1 + x2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 3 #U26 w: 0 U54 w: 3 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 2 #U62 w: 0 U83 w: 2 ok w: x1 + 3 isList w: 1 U73 w: x2 + 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: x1 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: 2 mark w: x1 + 5 #isList w: 0 U32 w: 3 U33 w: 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: x1 + x2 + x3 U61 w: x1 + x2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 U82 w: x1 + x2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 + x3 + 1 #U45 w: 0 U51 w: x2 + x3 + 3 U74 w: 1 isPalListKind w: x1 U53 w: 2 U41 w: x2 + x3 + 3 #U31 w: 0 __ w: x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 191 } Removed DPs: #24 #131 Number of SCCs: 22, DPs: 163 SCC { #183 #346 } POLO(Sum)... succeeded. a w: 0 #U72 w: x2 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 4 U24 w: x1 + x3 #U24 w: 0 U25 w: x1 + 1 isNeList w: 4 U56 w: 4 isPal w: x1 + 1 U42 w: 1 U91 w: 4 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 4 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 4 U55 w: 4 #U43 w: 0 U23 w: 4 U63 w: 4 isNePal w: 4 U72 w: x2 + 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 4 #U26 w: 0 U54 w: 8 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 3 #U62 w: 0 U83 w: 3 ok w: x1 + 4 isList w: 1 U73 w: x2 + 4 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x2 + 3 #U63 w: 0 U45 w: 4 mark w: 8 #isList w: 0 U32 w: 4 U33 w: 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 0 U52 w: x3 + 3 U61 w: 4 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 3 U82 w: 8 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 0 #U45 w: 0 U51 w: 5 U74 w: 4 isPalListKind w: x1 + 1 U53 w: 3 U41 w: x2 + x3 #U31 w: 0 __ w: 4 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 108 191 197 } Removed DPs: #346 Number of SCCs: 22, DPs: 162 SCC { #183 } POLO(Sum)... succeeded. a w: 1 #U72 w: x1 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + 1 U24 w: x1 + x3 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 + 1 U56 w: 2 isPal w: x1 + 1 U42 w: 1 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: x2 + x3 + 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + x3 + 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: x1 + 1 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 1 #U26 w: 0 U54 w: x1 + x2 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x2 + 3 #U63 w: 0 U45 w: x1 + x2 + 1 mark w: x1 + 6 #isList w: 0 U32 w: x1 + x2 + 4 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: x3 + 3 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 0 #U45 w: 0 U51 w: 2 U74 w: x1 + 1 isPalListKind w: 1 U53 w: 2 U41 w: x2 + x3 + 1 #U31 w: 0 __ w: x1 + x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 108 126 197 217 } Removed DPs: #183 Number of SCCs: 21, DPs: 161 SCC { #349 #350 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + 1 U24 w: x3 + 1 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 + 1 U56 w: 3 isPal w: x1 + 1 U42 w: 1 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: x2 + x3 + 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + x3 + 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 1 #U26 w: 0 U54 w: x1 + x2 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x2 + 3 #U63 w: 0 U45 w: x1 + x2 + 1 mark w: x1 + 6 #isList w: 0 U32 w: x1 + x2 + 4 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: x3 + 3 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: x1 + x2 active w: 2 U31 w: 3 U92 w: 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: x1 + x2 + x3 + 1 #U45 w: 0 U51 w: 3 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 3 U41 w: x2 + x3 + 1 #U31 w: 0 __ w: x1 + x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 126 217 } Removed DPs: #349 #350 Number of SCCs: 20, DPs: 159 SCC { #47 #242 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + 1 U24 w: x3 + 1 #U24 w: 0 U25 w: x1 + 1 isNeList w: x1 + 1 U56 w: 3 isPal w: x1 + 1 U42 w: 1 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: x2 + x3 + 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + x2 + 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 1 #U26 w: 0 U54 w: x1 + x2 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 1 #U62 w: x1 U83 w: 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x2 + 3 #U63 w: 0 U45 w: x1 + x2 + 1 mark w: x1 + 6 #isList w: 0 U32 w: x1 + x2 + 4 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: x3 + 3 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: x1 + x2 + x3 + 1 #U45 w: 0 U51 w: 3 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 3 U41 w: x2 + x3 + 1 #U31 w: 0 __ w: x1 + x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 126 217 } Removed DPs: #47 #242 Number of SCCs: 19, DPs: 157 SCC { #238 #312 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 4 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 4 #U24 w: 0 U25 w: 4 isNeList w: 2 U56 w: 0 isPal w: 2 U42 w: 0 U91 w: 3 u w: 1 U26 w: 4 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 2 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: 3 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: x3 + 4 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: x2 nil w: 0 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: x2 + 3 mark w: 4 #isList w: 0 U32 w: 2 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 4 i w: 0 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 4 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 4 U22 w: 3 #U45 w: 0 U51 w: 1 U74 w: 2 isPalListKind w: 2 U53 w: 4 U41 w: 3 #U31 w: 0 __ w: x1 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 123 214 } Removed DPs: #238 Number of SCCs: 19, DPs: 156 SCC { #312 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 0 isPal w: 2 U42 w: 0 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 2 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: 3 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: x3 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: x1 nil w: 0 #U25 w: 0 U62 w: 4 #U63 w: 0 U45 w: x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 0 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 1 U74 w: 2 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: x1 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #312 Number of SCCs: 18, DPs: 155 SCC { #130 #351 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 0 isPal w: 2 U42 w: 0 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 2 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: 3 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: x3 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: x1 proper w: 1 #U62 w: 0 U83 w: x1 + 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 4 #U63 w: 0 U45 w: x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 0 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: x1 U74 w: 2 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: x1 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #130 #351 Number of SCCs: 17, DPs: 153 SCC { #144 #155 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 0 isPal w: 2 U42 w: 0 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 2 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: 3 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: x3 + 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 3 ok w: x1 + 2 isList w: 1 U73 w: x2 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 4 #U63 w: 0 U45 w: x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: x1 U51 w: x1 U74 w: 2 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 __ w: x1 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #144 #155 Number of SCCs: 16, DPs: 151 SCC { #111 #189 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 3 isPal w: 2 U42 w: 2 U91 w: 3 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: 3 isNePal w: x1 + 1 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 1 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: x2 + 3 mark w: 7 #isList w: 0 U32 w: 3 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 3 U92 w: 3 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: x2 + x3 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: 3 isPalListKind w: 2 U53 w: 3 U41 w: x2 + 3 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #111 Number of SCCs: 16, DPs: 150 SCC { #189 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 0 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 1 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: 3 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 4 i w: 1 U52 w: 2 U61 w: 0 #U51 w: 0 e w: 1 #U11 w: 0 active w: 0 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: x1 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 3 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 210 } Removed DPs: #189 Number of SCCs: 15, DPs: 149 SCC { #253 #297 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 0 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 1 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 1 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 0 #U51 w: 0 e w: 1 #U11 w: 0 active w: 0 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: x1 + x3 U81 w: 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x1 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #253 #297 Number of SCCs: 14, DPs: 147 SCC { #124 #188 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 0 #U24 w: x2 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 1 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 1 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 0 #U51 w: 0 e w: 1 #U11 w: 0 active w: 0 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x1 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #124 Number of SCCs: 14, DPs: 146 SCC { #188 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 0 #U24 w: x1 U25 w: 2 isNeList w: 2 U56 w: x1 + 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + 1 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 1 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + x2 + 3 mark w: x1 + 3 #isList w: 0 U32 w: x1 + 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 0 #U51 w: 0 e w: 1 #U11 w: 0 active w: 0 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x1 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #188 Number of SCCs: 13, DPs: 145 SCC { #225 #289 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: x2 + 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: x1 + x2 + x3 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 3 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #225 #289 Number of SCCs: 12, DPs: 143 SCC { #31 #337 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: x2 + 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: x1 + x2 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 3 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #31 #337 Number of SCCs: 11, DPs: 141 SCC { #252 #343 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: x2 + 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: x2 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 3 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #252 Number of SCCs: 11, DPs: 140 SCC { #343 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: x2 + 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: x1 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 3 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #343 Number of SCCs: 10, DPs: 139 SCC { #306 #307 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: x2 + 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x3 + 3 #U23 w: 0 #U53 w: x1 + x3 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 3 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #306 #307 Number of SCCs: 9, DPs: 137 SCC { #87 #202 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: x1 + x2 U23 w: 2 U63 w: 2 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: x1 + 1 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x3 + 2 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 199 } Removed DPs: #87 #202 Number of SCCs: 8, DPs: 135 SCC { #60 #119 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: x3 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: x1 + 1 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x3 + 2 #U31 w: 0 __ w: 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 199 } Removed DPs: #119 Number of SCCs: 8, DPs: 134 SCC { #60 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: x1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: x1 + 1 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x3 + 2 #U31 w: 0 __ w: x1 + x2 + 4 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 100 101 188 199 } Removed DPs: #60 Number of SCCs: 7, DPs: 133 SCC { #177 #329 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: x1 + 1 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: x1 + 1 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x1 + 2 mark w: x1 + 2 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 3 #U22 w: x1 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x3 + 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: 2 U41 w: x3 + 2 #U31 w: 0 __ w: x1 + x2 + 4 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 100 101 188 199 } Removed DPs: #177 #329 Number of SCCs: 6, DPs: 131 SCC { #21 #176 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: x1 + 1 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: x2 + x3 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: 3 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: 3 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 2 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: 2 U53 w: x1 + 1 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #176 Number of SCCs: 6, DPs: 130 SCC { #21 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x2 + x3 + 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 3 isPal w: 2 U42 w: 3 U91 w: 2 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: 2 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: x1 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: 4 isList w: 3 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 3 mark w: x1 + 3 #isList w: 0 U32 w: x2 + 3 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 3 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: 3 isPalListKind w: 2 U53 w: x1 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 202 } Removed DPs: #21 Number of SCCs: 5, DPs: 129 SCC { #91 #110 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x2 + x3 + 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 3 isPal w: 2 U42 w: 3 U91 w: 2 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: x3 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: 2 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 3 mark w: x1 + 3 #isList w: 0 U32 w: x2 + 3 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 3 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: 3 isPalListKind w: 2 U53 w: x1 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #91 Number of SCCs: 5, DPs: 128 SCC { #110 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x2 + x3 + 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 3 isPal w: 2 U42 w: 3 U91 w: 2 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: x1 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + x3 + 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: 2 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 3 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 3 mark w: x1 + 3 #isList w: 0 U32 w: x2 + 3 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 3 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: 3 isPalListKind w: 2 U53 w: x1 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #110 Number of SCCs: 4, DPs: 127 SCC { #270 #271 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x2 + x3 + 3 #U83 w: 0 #isPalListKind w: 0 U11 w: 3 U24 w: 3 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 3 isPal w: 2 U42 w: 3 U91 w: 2 u w: 1 U26 w: 3 #U82 w: 0 U71 w: 3 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x2 + x3 + 3 U55 w: 3 #U43 w: 0 U23 w: 3 U63 w: x1 + 1 isNePal w: 2 U72 w: 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 3 o w: 1 #U44 w: x2 + x3 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 3 #U63 w: 0 U45 w: 3 mark w: x1 + 3 #isList w: 0 U32 w: x2 + 3 U33 w: 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 3 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: x1 + 1 U92 w: 3 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 3 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 3 U22 w: 3 #U45 w: 0 U51 w: 3 U74 w: 3 isPalListKind w: 2 U53 w: x1 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #270 Number of SCCs: 4, DPs: 126 SCC { #271 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 0 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: 8 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: x1 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: 9 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 7 #isList w: 0 U32 w: 2 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 9 i w: 0 U52 w: 2 U61 w: x1 + 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x2 #U22 w: 0 tt w: 4 #U71 w: 0 U13 w: 0 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 191 225 226 } Removed DPs: #271 Number of SCCs: 3, DPs: 125 SCC { #156 #300 #355 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 2 U42 w: 2 U91 w: 2 u w: 0 U26 w: 2 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: x1 + x2 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 2 isNePal w: 8 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 2 mark w: x1 + 7 #isList w: 0 U32 w: 2 U33 w: 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 9 i w: 0 U52 w: 2 U61 w: x1 + 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: x2 #U22 w: 0 tt w: 4 #U71 w: 0 U13 w: 0 U22 w: 2 #U45 w: 0 U51 w: 2 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 191 } Removed DPs: #156 #300 #355 Number of SCCs: 2, DPs: 122 SCC { #2 #10 #12 #30 #33 #40 #42 #44 #53 #62 #68 #100 #105 #121 #126 #133 #138 #143 #146 #150 #154 #165 #169 #172 #179 #199 #211 #216 #218 #222 #231 #249 #251 #294 #302 #309 #322 #358 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: x1 + x2 + 2 #U24 w: 0 U25 w: x1 + 3 isNeList w: x1 + 1 U56 w: x1 + 3 isPal w: 2 U42 w: x1 + x2 + 1 U91 w: x1 + 2 u w: 0 U26 w: x1 + 3 #U82 w: 0 U71 w: x1 + x2 + x3 + 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + x3 + 1 U55 w: x1 + 4 #U43 w: 0 U23 w: x1 + 2 U63 w: x1 + 3 isNePal w: 2 U72 w: x1 + 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + x2 + 2 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: x1 + x2 + x3 + 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: 3 isList w: 2 U73 w: x1 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + 1 #U63 w: 0 U45 w: x1 + 3 mark w: x1 #isList w: 0 U32 w: x1 + x2 + 2 U33 w: x1 + 3 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 4 i w: 1 U52 w: x1 + 2 U61 w: x1 + 1 #U51 w: 0 e w: 0 #U11 w: 0 active w: 4 U31 w: x1 + 1 U92 w: x1 + 1 #U41 w: 0 #active w: x1 #U21 w: 0 U81 w: x1 + 2 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 + x2 + x3 + 2 #U45 w: 0 U51 w: x1 + x2 + 2 U74 w: x1 + 2 isPalListKind w: 3 U53 w: x1 + x3 + 2 U41 w: x1 + x3 + 2 #U31 w: 0 __ w: x1 + x2 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 191 193 196 202 205 206 211 213 214 } Removed DPs: #2 #10 #12 #30 #33 #40 #42 #44 #53 #62 #68 #100 #105 #121 #126 #133 #138 #143 #146 #150 #154 #165 #169 #172 #179 #199 #211 #216 #218 #222 #231 #249 #251 #294 #302 #309 #322 #358 Number of SCCs: 1, DPs: 84 SCC { #14 #15 #26..28 #36..38 #50 #51 #55..57 #64 #65 #70 #71 #73 #74 #77..79 #83 #85 #86 #89 #93..95 #107..109 #123 #128 #129 #160..162 #185..187 #193 #196 #197 #204 #205 #213 #224 #233..235 #244 #245 #247 #255..257 #260 #262 #263 #265 #266 #268 #269 #276..278 #287 #292 #304 #305 #318..320 #326 #327 #332..334 #339 #341 #345 #348 #362 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: x1 + x2 + x3 + 2 #U24 w: 0 U25 w: x1 + x2 + 4 isNeList w: x1 + 1 U56 w: x1 + 4 isPal w: x1 + 1 U42 w: x1 + x2 + x3 + 1 U91 w: x1 + x2 + 2 u w: 0 U26 w: x1 + 4 #U82 w: 0 U71 w: x1 + x2 + x3 + 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 4 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + x2 + x3 + 1 U55 w: x1 + x2 + 4 #U43 w: 0 U23 w: x1 + x2 + x3 + 2 U63 w: x1 + 3 isNePal w: x1 + 1 U72 w: x1 + x2 + 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + x2 + 2 #U33 w: 0 isQid w: x1 + 2 #U26 w: 0 U54 w: x1 + x2 + x3 + 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: 3 isList w: x1 + 1 U73 w: x1 + x2 + 4 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: x1 + x2 + 4 mark w: x1 #isList w: 0 U32 w: x1 + x2 + 2 U33 w: x1 + 3 #U46 w: 0 #U56 w: 0 #proper w: x1 U46 w: x1 + 4 i w: 1 U52 w: x1 + x2 + x3 + 2 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 0 #U11 w: 0 active w: 4 U31 w: x1 + x2 + 1 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 2 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 + x2 + x3 + 2 #U45 w: 0 U51 w: x1 + x2 + x3 + 4 U74 w: x1 + 4 isPalListKind w: x1 + 3 U53 w: x1 + x2 + x3 + 4 U41 w: x1 + x2 + x3 + 2 #U31 w: 0 __ w: x1 + x2 + 3 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 191 193 196 202 205 206 211 213 214 } Removed DPs: #14 #15 #26..28 #36..38 #50 #51 #55..57 #64 #65 #70 #71 #73 #74 #77..79 #83 #85 #86 #89 #93..95 #107..109 #123 #128 #129 #160..162 #185..187 #193 #196 #197 #204 #205 #213 #224 #233..235 #244 #245 #247 #255..257 #260 #262 #263 #265 #266 #268 #269 #276..278 #287 #292 #304 #305 #318..320 #326 #327 #332..334 #339 #341 #345 #348 #362 Number of SCCs: 0, DPs: 0