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