YES Input TRS: 1: active(__(__(X,Y),Z)) -> mark(__(X,__(Y,Z))) 2: active(__(X,nil())) -> mark(X) 3: active(__(nil(),X)) -> mark(X) 4: active(U11(tt(),V)) -> mark(U12(isPalListKind(V),V)) 5: active(U12(tt(),V)) -> mark(U13(isNeList(V))) 6: active(U13(tt())) -> mark(tt()) 7: active(U21(tt(),V1,V2)) -> mark(U22(isPalListKind(V1),V1,V2)) 8: active(U22(tt(),V1,V2)) -> mark(U23(isPalListKind(V2),V1,V2)) 9: active(U23(tt(),V1,V2)) -> mark(U24(isPalListKind(V2),V1,V2)) 10: active(U24(tt(),V1,V2)) -> mark(U25(isList(V1),V2)) 11: active(U25(tt(),V2)) -> mark(U26(isList(V2))) 12: active(U26(tt())) -> mark(tt()) 13: active(U31(tt(),V)) -> mark(U32(isPalListKind(V),V)) 14: active(U32(tt(),V)) -> mark(U33(isQid(V))) 15: active(U33(tt())) -> mark(tt()) 16: active(U41(tt(),V1,V2)) -> mark(U42(isPalListKind(V1),V1,V2)) 17: active(U42(tt(),V1,V2)) -> mark(U43(isPalListKind(V2),V1,V2)) 18: active(U43(tt(),V1,V2)) -> mark(U44(isPalListKind(V2),V1,V2)) 19: active(U44(tt(),V1,V2)) -> mark(U45(isList(V1),V2)) 20: active(U45(tt(),V2)) -> mark(U46(isNeList(V2))) 21: active(U46(tt())) -> mark(tt()) 22: active(U51(tt(),V1,V2)) -> mark(U52(isPalListKind(V1),V1,V2)) 23: active(U52(tt(),V1,V2)) -> mark(U53(isPalListKind(V2),V1,V2)) 24: active(U53(tt(),V1,V2)) -> mark(U54(isPalListKind(V2),V1,V2)) 25: active(U54(tt(),V1,V2)) -> mark(U55(isNeList(V1),V2)) 26: active(U55(tt(),V2)) -> mark(U56(isList(V2))) 27: active(U56(tt())) -> mark(tt()) 28: active(U61(tt(),V)) -> mark(U62(isPalListKind(V),V)) 29: active(U62(tt(),V)) -> mark(U63(isQid(V))) 30: active(U63(tt())) -> mark(tt()) 31: active(U71(tt(),I,P)) -> mark(U72(isPalListKind(I),P)) 32: active(U72(tt(),P)) -> mark(U73(isPal(P),P)) 33: active(U73(tt(),P)) -> mark(U74(isPalListKind(P))) 34: active(U74(tt())) -> mark(tt()) 35: active(U81(tt(),V)) -> mark(U82(isPalListKind(V),V)) 36: active(U82(tt(),V)) -> mark(U83(isNePal(V))) 37: active(U83(tt())) -> mark(tt()) 38: active(U91(tt(),V2)) -> mark(U92(isPalListKind(V2))) 39: active(U92(tt())) -> mark(tt()) 40: active(isList(V)) -> mark(U11(isPalListKind(V),V)) 41: active(isList(nil())) -> mark(tt()) 42: active(isList(__(V1,V2))) -> mark(U21(isPalListKind(V1),V1,V2)) 43: active(isNeList(V)) -> mark(U31(isPalListKind(V),V)) 44: active(isNeList(__(V1,V2))) -> mark(U41(isPalListKind(V1),V1,V2)) 45: active(isNeList(__(V1,V2))) -> mark(U51(isPalListKind(V1),V1,V2)) 46: active(isNePal(V)) -> mark(U61(isPalListKind(V),V)) 47: active(isNePal(__(I,__(P,I)))) -> mark(U71(isQid(I),I,P)) 48: active(isPal(V)) -> mark(U81(isPalListKind(V),V)) 49: active(isPal(nil())) -> mark(tt()) 50: active(isPalListKind(a())) -> mark(tt()) 51: active(isPalListKind(e())) -> mark(tt()) 52: active(isPalListKind(i())) -> mark(tt()) 53: active(isPalListKind(nil())) -> mark(tt()) 54: active(isPalListKind(o())) -> mark(tt()) 55: active(isPalListKind(u())) -> mark(tt()) 56: active(isPalListKind(__(V1,V2))) -> mark(U91(isPalListKind(V1),V2)) 57: active(isQid(a())) -> mark(tt()) 58: active(isQid(e())) -> mark(tt()) 59: active(isQid(i())) -> mark(tt()) 60: active(isQid(o())) -> mark(tt()) 61: active(isQid(u())) -> mark(tt()) 62: active(__(X1,X2)) -> __(active(X1),X2) 63: active(__(X1,X2)) -> __(X1,active(X2)) 64: active(U11(X1,X2)) -> U11(active(X1),X2) 65: active(U12(X1,X2)) -> U12(active(X1),X2) 66: active(U13(X)) -> U13(active(X)) 67: active(U21(X1,X2,X3)) -> U21(active(X1),X2,X3) 68: active(U22(X1,X2,X3)) -> U22(active(X1),X2,X3) 69: active(U23(X1,X2,X3)) -> U23(active(X1),X2,X3) 70: active(U24(X1,X2,X3)) -> U24(active(X1),X2,X3) 71: active(U25(X1,X2)) -> U25(active(X1),X2) 72: active(U26(X)) -> U26(active(X)) 73: active(U31(X1,X2)) -> U31(active(X1),X2) 74: active(U32(X1,X2)) -> U32(active(X1),X2) 75: active(U33(X)) -> U33(active(X)) 76: active(U41(X1,X2,X3)) -> U41(active(X1),X2,X3) 77: active(U42(X1,X2,X3)) -> U42(active(X1),X2,X3) 78: active(U43(X1,X2,X3)) -> U43(active(X1),X2,X3) 79: active(U44(X1,X2,X3)) -> U44(active(X1),X2,X3) 80: active(U45(X1,X2)) -> U45(active(X1),X2) 81: active(U46(X)) -> U46(active(X)) 82: active(U51(X1,X2,X3)) -> U51(active(X1),X2,X3) 83: active(U52(X1,X2,X3)) -> U52(active(X1),X2,X3) 84: active(U53(X1,X2,X3)) -> U53(active(X1),X2,X3) 85: active(U54(X1,X2,X3)) -> U54(active(X1),X2,X3) 86: active(U55(X1,X2)) -> U55(active(X1),X2) 87: active(U56(X)) -> U56(active(X)) 88: active(U61(X1,X2)) -> U61(active(X1),X2) 89: active(U62(X1,X2)) -> U62(active(X1),X2) 90: active(U63(X)) -> U63(active(X)) 91: active(U71(X1,X2,X3)) -> U71(active(X1),X2,X3) 92: active(U72(X1,X2)) -> U72(active(X1),X2) 93: active(U73(X1,X2)) -> U73(active(X1),X2) 94: active(U74(X)) -> U74(active(X)) 95: active(U81(X1,X2)) -> U81(active(X1),X2) 96: active(U82(X1,X2)) -> U82(active(X1),X2) 97: active(U83(X)) -> U83(active(X)) 98: active(U91(X1,X2)) -> U91(active(X1),X2) 99: active(U92(X)) -> U92(active(X)) 100: __(mark(X1),X2) -> mark(__(X1,X2)) 101: __(X1,mark(X2)) -> mark(__(X1,X2)) 102: U11(mark(X1),X2) -> mark(U11(X1,X2)) 103: U12(mark(X1),X2) -> mark(U12(X1,X2)) 104: U13(mark(X)) -> mark(U13(X)) 105: U21(mark(X1),X2,X3) -> mark(U21(X1,X2,X3)) 106: U22(mark(X1),X2,X3) -> mark(U22(X1,X2,X3)) 107: U23(mark(X1),X2,X3) -> mark(U23(X1,X2,X3)) 108: U24(mark(X1),X2,X3) -> mark(U24(X1,X2,X3)) 109: U25(mark(X1),X2) -> mark(U25(X1,X2)) 110: U26(mark(X)) -> mark(U26(X)) 111: U31(mark(X1),X2) -> mark(U31(X1,X2)) 112: U32(mark(X1),X2) -> mark(U32(X1,X2)) 113: U33(mark(X)) -> mark(U33(X)) 114: U41(mark(X1),X2,X3) -> mark(U41(X1,X2,X3)) 115: U42(mark(X1),X2,X3) -> mark(U42(X1,X2,X3)) 116: U43(mark(X1),X2,X3) -> mark(U43(X1,X2,X3)) 117: U44(mark(X1),X2,X3) -> mark(U44(X1,X2,X3)) 118: U45(mark(X1),X2) -> mark(U45(X1,X2)) 119: U46(mark(X)) -> mark(U46(X)) 120: U51(mark(X1),X2,X3) -> mark(U51(X1,X2,X3)) 121: U52(mark(X1),X2,X3) -> mark(U52(X1,X2,X3)) 122: U53(mark(X1),X2,X3) -> mark(U53(X1,X2,X3)) 123: U54(mark(X1),X2,X3) -> mark(U54(X1,X2,X3)) 124: U55(mark(X1),X2) -> mark(U55(X1,X2)) 125: U56(mark(X)) -> mark(U56(X)) 126: U61(mark(X1),X2) -> mark(U61(X1,X2)) 127: U62(mark(X1),X2) -> mark(U62(X1,X2)) 128: U63(mark(X)) -> mark(U63(X)) 129: U71(mark(X1),X2,X3) -> mark(U71(X1,X2,X3)) 130: U72(mark(X1),X2) -> mark(U72(X1,X2)) 131: U73(mark(X1),X2) -> mark(U73(X1,X2)) 132: U74(mark(X)) -> mark(U74(X)) 133: U81(mark(X1),X2) -> mark(U81(X1,X2)) 134: U82(mark(X1),X2) -> mark(U82(X1,X2)) 135: U83(mark(X)) -> mark(U83(X)) 136: U91(mark(X1),X2) -> mark(U91(X1,X2)) 137: U92(mark(X)) -> mark(U92(X)) 138: proper(__(X1,X2)) -> __(proper(X1),proper(X2)) 139: proper(nil()) -> ok(nil()) 140: proper(U11(X1,X2)) -> U11(proper(X1),proper(X2)) 141: proper(tt()) -> ok(tt()) 142: proper(U12(X1,X2)) -> U12(proper(X1),proper(X2)) 143: proper(isPalListKind(X)) -> isPalListKind(proper(X)) 144: proper(U13(X)) -> U13(proper(X)) 145: proper(isNeList(X)) -> isNeList(proper(X)) 146: proper(U21(X1,X2,X3)) -> U21(proper(X1),proper(X2),proper(X3)) 147: proper(U22(X1,X2,X3)) -> U22(proper(X1),proper(X2),proper(X3)) 148: proper(U23(X1,X2,X3)) -> U23(proper(X1),proper(X2),proper(X3)) 149: proper(U24(X1,X2,X3)) -> U24(proper(X1),proper(X2),proper(X3)) 150: proper(U25(X1,X2)) -> U25(proper(X1),proper(X2)) 151: proper(isList(X)) -> isList(proper(X)) 152: proper(U26(X)) -> U26(proper(X)) 153: proper(U31(X1,X2)) -> U31(proper(X1),proper(X2)) 154: proper(U32(X1,X2)) -> U32(proper(X1),proper(X2)) 155: proper(U33(X)) -> U33(proper(X)) 156: proper(isQid(X)) -> isQid(proper(X)) 157: proper(U41(X1,X2,X3)) -> U41(proper(X1),proper(X2),proper(X3)) 158: proper(U42(X1,X2,X3)) -> U42(proper(X1),proper(X2),proper(X3)) 159: proper(U43(X1,X2,X3)) -> U43(proper(X1),proper(X2),proper(X3)) 160: proper(U44(X1,X2,X3)) -> U44(proper(X1),proper(X2),proper(X3)) 161: proper(U45(X1,X2)) -> U45(proper(X1),proper(X2)) 162: proper(U46(X)) -> U46(proper(X)) 163: proper(U51(X1,X2,X3)) -> U51(proper(X1),proper(X2),proper(X3)) 164: proper(U52(X1,X2,X3)) -> U52(proper(X1),proper(X2),proper(X3)) 165: proper(U53(X1,X2,X3)) -> U53(proper(X1),proper(X2),proper(X3)) 166: proper(U54(X1,X2,X3)) -> U54(proper(X1),proper(X2),proper(X3)) 167: proper(U55(X1,X2)) -> U55(proper(X1),proper(X2)) 168: proper(U56(X)) -> U56(proper(X)) 169: proper(U61(X1,X2)) -> U61(proper(X1),proper(X2)) 170: proper(U62(X1,X2)) -> U62(proper(X1),proper(X2)) 171: proper(U63(X)) -> U63(proper(X)) 172: proper(U71(X1,X2,X3)) -> U71(proper(X1),proper(X2),proper(X3)) 173: proper(U72(X1,X2)) -> U72(proper(X1),proper(X2)) 174: proper(U73(X1,X2)) -> U73(proper(X1),proper(X2)) 175: proper(isPal(X)) -> isPal(proper(X)) 176: proper(U74(X)) -> U74(proper(X)) 177: proper(U81(X1,X2)) -> U81(proper(X1),proper(X2)) 178: proper(U82(X1,X2)) -> U82(proper(X1),proper(X2)) 179: proper(U83(X)) -> U83(proper(X)) 180: proper(isNePal(X)) -> isNePal(proper(X)) 181: proper(U91(X1,X2)) -> U91(proper(X1),proper(X2)) 182: proper(U92(X)) -> U92(proper(X)) 183: proper(a()) -> ok(a()) 184: proper(e()) -> ok(e()) 185: proper(i()) -> ok(i()) 186: proper(o()) -> ok(o()) 187: proper(u()) -> ok(u()) 188: __(ok(X1),ok(X2)) -> ok(__(X1,X2)) 189: U11(ok(X1),ok(X2)) -> ok(U11(X1,X2)) 190: U12(ok(X1),ok(X2)) -> ok(U12(X1,X2)) 191: isPalListKind(ok(X)) -> ok(isPalListKind(X)) 192: U13(ok(X)) -> ok(U13(X)) 193: isNeList(ok(X)) -> ok(isNeList(X)) 194: U21(ok(X1),ok(X2),ok(X3)) -> ok(U21(X1,X2,X3)) 195: U22(ok(X1),ok(X2),ok(X3)) -> ok(U22(X1,X2,X3)) 196: U23(ok(X1),ok(X2),ok(X3)) -> ok(U23(X1,X2,X3)) 197: U24(ok(X1),ok(X2),ok(X3)) -> ok(U24(X1,X2,X3)) 198: U25(ok(X1),ok(X2)) -> ok(U25(X1,X2)) 199: isList(ok(X)) -> ok(isList(X)) 200: U26(ok(X)) -> ok(U26(X)) 201: U31(ok(X1),ok(X2)) -> ok(U31(X1,X2)) 202: U32(ok(X1),ok(X2)) -> ok(U32(X1,X2)) 203: U33(ok(X)) -> ok(U33(X)) 204: isQid(ok(X)) -> ok(isQid(X)) 205: U41(ok(X1),ok(X2),ok(X3)) -> ok(U41(X1,X2,X3)) 206: U42(ok(X1),ok(X2),ok(X3)) -> ok(U42(X1,X2,X3)) 207: U43(ok(X1),ok(X2),ok(X3)) -> ok(U43(X1,X2,X3)) 208: U44(ok(X1),ok(X2),ok(X3)) -> ok(U44(X1,X2,X3)) 209: U45(ok(X1),ok(X2)) -> ok(U45(X1,X2)) 210: U46(ok(X)) -> ok(U46(X)) 211: U51(ok(X1),ok(X2),ok(X3)) -> ok(U51(X1,X2,X3)) 212: U52(ok(X1),ok(X2),ok(X3)) -> ok(U52(X1,X2,X3)) 213: U53(ok(X1),ok(X2),ok(X3)) -> ok(U53(X1,X2,X3)) 214: U54(ok(X1),ok(X2),ok(X3)) -> ok(U54(X1,X2,X3)) 215: U55(ok(X1),ok(X2)) -> ok(U55(X1,X2)) 216: U56(ok(X)) -> ok(U56(X)) 217: U61(ok(X1),ok(X2)) -> ok(U61(X1,X2)) 218: U62(ok(X1),ok(X2)) -> ok(U62(X1,X2)) 219: U63(ok(X)) -> ok(U63(X)) 220: U71(ok(X1),ok(X2),ok(X3)) -> ok(U71(X1,X2,X3)) 221: U72(ok(X1),ok(X2)) -> ok(U72(X1,X2)) 222: U73(ok(X1),ok(X2)) -> ok(U73(X1,X2)) 223: isPal(ok(X)) -> ok(isPal(X)) 224: U74(ok(X)) -> ok(U74(X)) 225: U81(ok(X1),ok(X2)) -> ok(U81(X1,X2)) 226: U82(ok(X1),ok(X2)) -> ok(U82(X1,X2)) 227: U83(ok(X)) -> ok(U83(X)) 228: isNePal(ok(X)) -> ok(isNePal(X)) 229: U91(ok(X1),ok(X2)) -> ok(U91(X1,X2)) 230: U92(ok(X)) -> ok(U92(X)) 231: top(mark(X)) -> top(proper(X)) 232: top(ok(X)) -> top(active(X)) Number of strict rules: 232 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #active(U55(X1,X2)) -> #U55(active(X1),X2) #2: #active(U55(X1,X2)) -> #active(X1) #3: #active(isNeList(V)) -> #U31(isPalListKind(V),V) #4: #active(isNeList(V)) -> #isPalListKind(V) #5: #active(U62(tt(),V)) -> #U63(isQid(V)) #6: #active(U62(tt(),V)) -> #isQid(V) #7: #active(U81(tt(),V)) -> #U82(isPalListKind(V),V) #8: #active(U81(tt(),V)) -> #isPalListKind(V) #9: #active(U52(X1,X2,X3)) -> #U52(active(X1),X2,X3) #10: #active(U52(X1,X2,X3)) -> #active(X1) #11: #active(U13(X)) -> #U13(active(X)) #12: #active(U13(X)) -> #active(X) #13: #proper(U81(X1,X2)) -> #U81(proper(X1),proper(X2)) #14: #proper(U81(X1,X2)) -> #proper(X1) #15: #proper(U81(X1,X2)) -> #proper(X2) #16: #active(isNePal(V)) -> #U61(isPalListKind(V),V) #17: #active(isNePal(V)) -> #isPalListKind(V) #18: #U91(ok(X1),ok(X2)) -> #U91(X1,X2) #19: #active(isList(__(V1,V2))) -> #U21(isPalListKind(V1),V1,V2) #20: #active(isList(__(V1,V2))) -> #isPalListKind(V1) #21: #U42(mark(X1),X2,X3) -> #U42(X1,X2,X3) #22: #top(ok(X)) -> #top(active(X)) #23: #top(ok(X)) -> #active(X) #24: #U25(ok(X1),ok(X2)) -> #U25(X1,X2) #25: #proper(U24(X1,X2,X3)) -> #U24(proper(X1),proper(X2),proper(X3)) #26: #proper(U24(X1,X2,X3)) -> #proper(X1) #27: #proper(U24(X1,X2,X3)) -> #proper(X2) #28: #proper(U24(X1,X2,X3)) -> #proper(X3) #29: #active(U81(X1,X2)) -> #U81(active(X1),X2) #30: #active(U81(X1,X2)) -> #active(X1) #31: #U41(mark(X1),X2,X3) -> #U41(X1,X2,X3) #32: #active(U92(X)) -> #U92(active(X)) #33: #active(U92(X)) -> #active(X) #34: #U92(ok(X)) -> #U92(X) #35: #proper(U51(X1,X2,X3)) -> #U51(proper(X1),proper(X2),proper(X3)) #36: #proper(U51(X1,X2,X3)) -> #proper(X1) #37: #proper(U51(X1,X2,X3)) -> #proper(X2) #38: #proper(U51(X1,X2,X3)) -> #proper(X3) #39: #active(U83(X)) -> #U83(active(X)) #40: #active(U83(X)) -> #active(X) #41: #active(U71(X1,X2,X3)) -> #U71(active(X1),X2,X3) #42: #active(U71(X1,X2,X3)) -> #active(X1) #43: #active(U31(X1,X2)) -> #U31(active(X1),X2) #44: #active(U31(X1,X2)) -> #active(X1) #45: #active(isNePal(__(I,__(P,I)))) -> #U71(isQid(I),I,P) #46: #active(isNePal(__(I,__(P,I)))) -> #isQid(I) #47: #U62(ok(X1),ok(X2)) -> #U62(X1,X2) #48: #isPalListKind(ok(X)) -> #isPalListKind(X) #49: #proper(U72(X1,X2)) -> #U72(proper(X1),proper(X2)) #50: #proper(U72(X1,X2)) -> #proper(X1) #51: #proper(U72(X1,X2)) -> #proper(X2) #52: #active(U25(X1,X2)) -> #U25(active(X1),X2) #53: #active(U25(X1,X2)) -> #active(X1) #54: #proper(U22(X1,X2,X3)) -> #U22(proper(X1),proper(X2),proper(X3)) #55: #proper(U22(X1,X2,X3)) -> #proper(X1) #56: #proper(U22(X1,X2,X3)) -> #proper(X2) #57: #proper(U22(X1,X2,X3)) -> #proper(X3) #58: #active(isPal(V)) -> #U81(isPalListKind(V),V) #59: #active(isPal(V)) -> #isPalListKind(V) #60: #U54(mark(X1),X2,X3) -> #U54(X1,X2,X3) #61: #active(U33(X)) -> #U33(active(X)) #62: #active(U33(X)) -> #active(X) #63: #proper(U82(X1,X2)) -> #U82(proper(X1),proper(X2)) #64: #proper(U82(X1,X2)) -> #proper(X1) #65: #proper(U82(X1,X2)) -> #proper(X2) #66: #U32(mark(X1),X2) -> #U32(X1,X2) #67: #active(U32(X1,X2)) -> #U32(active(X1),X2) #68: #active(U32(X1,X2)) -> #active(X1) #69: #proper(U62(X1,X2)) -> #U62(proper(X1),proper(X2)) #70: #proper(U62(X1,X2)) -> #proper(X1) #71: #proper(U62(X1,X2)) -> #proper(X2) #72: #proper(__(X1,X2)) -> #__(proper(X1),proper(X2)) #73: #proper(__(X1,X2)) -> #proper(X1) #74: #proper(__(X1,X2)) -> #proper(X2) #75: #U33(mark(X)) -> #U33(X) #76: #proper(U42(X1,X2,X3)) -> #U42(proper(X1),proper(X2),proper(X3)) #77: #proper(U42(X1,X2,X3)) -> #proper(X1) #78: #proper(U42(X1,X2,X3)) -> #proper(X2) #79: #proper(U42(X1,X2,X3)) -> #proper(X3) #80: #active(U91(tt(),V2)) -> #U92(isPalListKind(V2)) #81: #active(U91(tt(),V2)) -> #isPalListKind(V2) #82: #proper(isList(X)) -> #isList(proper(X)) #83: #proper(isList(X)) -> #proper(X) #84: #proper(U32(X1,X2)) -> #U32(proper(X1),proper(X2)) #85: #proper(U32(X1,X2)) -> #proper(X1) #86: #proper(U32(X1,X2)) -> #proper(X2) #87: #U43(mark(X1),X2,X3) -> #U43(X1,X2,X3) #88: #proper(U33(X)) -> #U33(proper(X)) #89: #proper(U33(X)) -> #proper(X) #90: #isPal(ok(X)) -> #isPal(X) #91: #U23(ok(X1),ok(X2),ok(X3)) -> #U23(X1,X2,X3) #92: #proper(U53(X1,X2,X3)) -> #U53(proper(X1),proper(X2),proper(X3)) #93: #proper(U53(X1,X2,X3)) -> #proper(X1) #94: #proper(U53(X1,X2,X3)) -> #proper(X2) #95: #proper(U53(X1,X2,X3)) -> #proper(X3) #96: #isNeList(ok(X)) -> #isNeList(X) #97: #U26(mark(X)) -> #U26(X) #98: #U74(mark(X)) -> #U74(X) #99: #active(U21(X1,X2,X3)) -> #U21(active(X1),X2,X3) #100: #active(U21(X1,X2,X3)) -> #active(X1) #101: #U46(ok(X)) -> #U46(X) #102: #active(isList(V)) -> #U11(isPalListKind(V),V) #103: #active(isList(V)) -> #isPalListKind(V) #104: #active(U63(X)) -> #U63(active(X)) #105: #active(U63(X)) -> #active(X) #106: #proper(U21(X1,X2,X3)) -> #U21(proper(X1),proper(X2),proper(X3)) #107: #proper(U21(X1,X2,X3)) -> #proper(X1) #108: #proper(U21(X1,X2,X3)) -> #proper(X2) #109: #proper(U21(X1,X2,X3)) -> #proper(X3) #110: #U23(mark(X1),X2,X3) -> #U23(X1,X2,X3) #111: #U71(ok(X1),ok(X2),ok(X3)) -> #U71(X1,X2,X3) #112: #active(U31(tt(),V)) -> #U32(isPalListKind(V),V) #113: #active(U31(tt(),V)) -> #isPalListKind(V) #114: #active(U23(tt(),V1,V2)) -> #U24(isPalListKind(V2),V1,V2) #115: #active(U23(tt(),V1,V2)) -> #isPalListKind(V2) #116: #U32(ok(X1),ok(X2)) -> #U32(X1,X2) #117: #active(U25(tt(),V2)) -> #U26(isList(V2)) #118: #active(U25(tt(),V2)) -> #isList(V2) #119: #U54(ok(X1),ok(X2),ok(X3)) -> #U54(X1,X2,X3) #120: #active(U91(X1,X2)) -> #U91(active(X1),X2) #121: #active(U91(X1,X2)) -> #active(X1) #122: #proper(isQid(X)) -> #isQid(proper(X)) #123: #proper(isQid(X)) -> #proper(X) #124: #U24(ok(X1),ok(X2),ok(X3)) -> #U24(X1,X2,X3) #125: #active(U41(X1,X2,X3)) -> #U41(active(X1),X2,X3) #126: #active(U41(X1,X2,X3)) -> #active(X1) #127: #proper(U55(X1,X2)) -> #U55(proper(X1),proper(X2)) #128: #proper(U55(X1,X2)) -> #proper(X1) #129: #proper(U55(X1,X2)) -> #proper(X2) #130: #U12(ok(X1),ok(X2)) -> #U12(X1,X2) #131: #U25(mark(X1),X2) -> #U25(X1,X2) #132: #active(U74(X)) -> #U74(active(X)) #133: #active(U74(X)) -> #active(X) #134: #active(U53(tt(),V1,V2)) -> #U54(isPalListKind(V2),V1,V2) #135: #active(U53(tt(),V1,V2)) -> #isPalListKind(V2) #136: #U82(mark(X1),X2) -> #U82(X1,X2) #137: #active(U24(X1,X2,X3)) -> #U24(active(X1),X2,X3) #138: #active(U24(X1,X2,X3)) -> #active(X1) #139: #active(U52(tt(),V1,V2)) -> #U53(isPalListKind(V2),V1,V2) #140: #active(U52(tt(),V1,V2)) -> #isPalListKind(V2) #141: #U63(mark(X)) -> #U63(X) #142: #active(U46(X)) -> #U46(active(X)) #143: #active(U46(X)) -> #active(X) #144: #U45(mark(X1),X2) -> #U45(X1,X2) #145: #active(U43(X1,X2,X3)) -> #U43(active(X1),X2,X3) #146: #active(U43(X1,X2,X3)) -> #active(X1) #147: #active(isNeList(__(V1,V2))) -> #U51(isPalListKind(V1),V1,V2) #148: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #149: #active(U82(X1,X2)) -> #U82(active(X1),X2) #150: #active(U82(X1,X2)) -> #active(X1) #151: #U33(ok(X)) -> #U33(X) #152: #U31(ok(X1),ok(X2)) -> #U31(X1,X2) #153: #active(U23(X1,X2,X3)) -> #U23(active(X1),X2,X3) #154: #active(U23(X1,X2,X3)) -> #active(X1) #155: #U45(ok(X1),ok(X2)) -> #U45(X1,X2) #156: #__(X1,mark(X2)) -> #__(X1,X2) #157: #active(U71(tt(),I,P)) -> #U72(isPalListKind(I),P) #158: #active(U71(tt(),I,P)) -> #isPalListKind(I) #159: #proper(U52(X1,X2,X3)) -> #U52(proper(X1),proper(X2),proper(X3)) #160: #proper(U52(X1,X2,X3)) -> #proper(X1) #161: #proper(U52(X1,X2,X3)) -> #proper(X2) #162: #proper(U52(X1,X2,X3)) -> #proper(X3) #163: #U61(ok(X1),ok(X2)) -> #U61(X1,X2) #164: #active(U44(X1,X2,X3)) -> #U44(active(X1),X2,X3) #165: #active(U44(X1,X2,X3)) -> #active(X1) #166: #active(isPalListKind(__(V1,V2))) -> #U91(isPalListKind(V1),V2) #167: #active(isPalListKind(__(V1,V2))) -> #isPalListKind(V1) #168: #active(U62(X1,X2)) -> #U62(active(X1),X2) #169: #active(U62(X1,X2)) -> #active(X1) #170: #U81(mark(X1),X2) -> #U81(X1,X2) #171: #active(U51(X1,X2,X3)) -> #U51(active(X1),X2,X3) #172: #active(U51(X1,X2,X3)) -> #active(X1) #173: #U31(mark(X1),X2) -> #U31(X1,X2) #174: #active(U32(tt(),V)) -> #U33(isQid(V)) #175: #active(U32(tt(),V)) -> #isQid(V) #176: #U42(ok(X1),ok(X2),ok(X3)) -> #U42(X1,X2,X3) #177: #U22(mark(X1),X2,X3) -> #U22(X1,X2,X3) #178: #active(__(X1,X2)) -> #__(active(X1),X2) #179: #active(__(X1,X2)) -> #active(X1) #180: #U26(ok(X)) -> #U26(X) #181: #active(U54(tt(),V1,V2)) -> #U55(isNeList(V1),V2) #182: #active(U54(tt(),V1,V2)) -> #isNeList(V1) #183: #U72(mark(X1),X2) -> #U72(X1,X2) #184: #proper(U54(X1,X2,X3)) -> #U54(proper(X1),proper(X2),proper(X3)) #185: #proper(U54(X1,X2,X3)) -> #proper(X1) #186: #proper(U54(X1,X2,X3)) -> #proper(X2) #187: #proper(U54(X1,X2,X3)) -> #proper(X3) #188: #U24(mark(X1),X2,X3) -> #U24(X1,X2,X3) #189: #U71(mark(X1),X2,X3) -> #U71(X1,X2,X3) #190: #active(U45(tt(),V2)) -> #U46(isNeList(V2)) #191: #active(U45(tt(),V2)) -> #isNeList(V2) #192: #proper(U83(X)) -> #U83(proper(X)) #193: #proper(U83(X)) -> #proper(X) #194: #U61(mark(X1),X2) -> #U61(X1,X2) #195: #proper(U73(X1,X2)) -> #U73(proper(X1),proper(X2)) #196: #proper(U73(X1,X2)) -> #proper(X1) #197: #proper(U73(X1,X2)) -> #proper(X2) #198: #active(U61(X1,X2)) -> #U61(active(X1),X2) #199: #active(U61(X1,X2)) -> #active(X1) #200: #active(U21(tt(),V1,V2)) -> #U22(isPalListKind(V1),V1,V2) #201: #active(U21(tt(),V1,V2)) -> #isPalListKind(V1) #202: #U43(ok(X1),ok(X2),ok(X3)) -> #U43(X1,X2,X3) #203: #proper(U31(X1,X2)) -> #U31(proper(X1),proper(X2)) #204: #proper(U31(X1,X2)) -> #proper(X1) #205: #proper(U31(X1,X2)) -> #proper(X2) #206: #U91(mark(X1),X2) -> #U91(X1,X2) #207: #U74(ok(X)) -> #U74(X) #208: #active(U24(tt(),V1,V2)) -> #U25(isList(V1),V2) #209: #active(U24(tt(),V1,V2)) -> #isList(V1) #210: #active(U72(X1,X2)) -> #U72(active(X1),X2) #211: #active(U72(X1,X2)) -> #active(X1) #212: #proper(isPal(X)) -> #isPal(proper(X)) #213: #proper(isPal(X)) -> #proper(X) #214: #U46(mark(X)) -> #U46(X) #215: #active(U73(X1,X2)) -> #U73(active(X1),X2) #216: #active(U73(X1,X2)) -> #active(X1) #217: #active(U11(X1,X2)) -> #U11(active(X1),X2) #218: #active(U11(X1,X2)) -> #active(X1) #219: #active(U73(tt(),P)) -> #U74(isPalListKind(P)) #220: #active(U73(tt(),P)) -> #isPalListKind(P) #221: #active(U26(X)) -> #U26(active(X)) #222: #active(U26(X)) -> #active(X) #223: #proper(U46(X)) -> #U46(proper(X)) #224: #proper(U46(X)) -> #proper(X) #225: #U51(mark(X1),X2,X3) -> #U51(X1,X2,X3) #226: #active(U12(tt(),V)) -> #U13(isNeList(V)) #227: #active(U12(tt(),V)) -> #isNeList(V) #228: #active(isNeList(__(V1,V2))) -> #U41(isPalListKind(V1),V1,V2) #229: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #230: #active(U12(X1,X2)) -> #U12(active(X1),X2) #231: #active(U12(X1,X2)) -> #active(X1) #232: #proper(U23(X1,X2,X3)) -> #U23(proper(X1),proper(X2),proper(X3)) #233: #proper(U23(X1,X2,X3)) -> #proper(X1) #234: #proper(U23(X1,X2,X3)) -> #proper(X2) #235: #proper(U23(X1,X2,X3)) -> #proper(X3) #236: #active(U61(tt(),V)) -> #U62(isPalListKind(V),V) #237: #active(U61(tt(),V)) -> #isPalListKind(V) #238: #U73(ok(X1),ok(X2)) -> #U73(X1,X2) #239: #U55(ok(X1),ok(X2)) -> #U55(X1,X2) #240: #active(U51(tt(),V1,V2)) -> #U52(isPalListKind(V1),V1,V2) #241: #active(U51(tt(),V1,V2)) -> #isPalListKind(V1) #242: #U62(mark(X1),X2) -> #U62(X1,X2) #243: #proper(U61(X1,X2)) -> #U61(proper(X1),proper(X2)) #244: #proper(U61(X1,X2)) -> #proper(X1) #245: #proper(U61(X1,X2)) -> #proper(X2) #246: #proper(U63(X)) -> #U63(proper(X)) #247: #proper(U63(X)) -> #proper(X) #248: #active(U53(X1,X2,X3)) -> #U53(active(X1),X2,X3) #249: #active(U53(X1,X2,X3)) -> #active(X1) #250: #active(U56(X)) -> #U56(active(X)) #251: #active(U56(X)) -> #active(X) #252: #U52(ok(X1),ok(X2),ok(X3)) -> #U52(X1,X2,X3) #253: #U21(ok(X1),ok(X2),ok(X3)) -> #U21(X1,X2,X3) #254: #proper(U41(X1,X2,X3)) -> #U41(proper(X1),proper(X2),proper(X3)) #255: #proper(U41(X1,X2,X3)) -> #proper(X1) #256: #proper(U41(X1,X2,X3)) -> #proper(X2) #257: #proper(U41(X1,X2,X3)) -> #proper(X3) #258: #U92(mark(X)) -> #U92(X) #259: #proper(U13(X)) -> #U13(proper(X)) #260: #proper(U13(X)) -> #proper(X) #261: #proper(U12(X1,X2)) -> #U12(proper(X1),proper(X2)) #262: #proper(U12(X1,X2)) -> #proper(X1) #263: #proper(U12(X1,X2)) -> #proper(X2) #264: #proper(U45(X1,X2)) -> #U45(proper(X1),proper(X2)) #265: #proper(U45(X1,X2)) -> #proper(X1) #266: #proper(U45(X1,X2)) -> #proper(X2) #267: #proper(U25(X1,X2)) -> #U25(proper(X1),proper(X2)) #268: #proper(U25(X1,X2)) -> #proper(X1) #269: #proper(U25(X1,X2)) -> #proper(X2) #270: #U44(ok(X1),ok(X2),ok(X3)) -> #U44(X1,X2,X3) #271: #U44(mark(X1),X2,X3) -> #U44(X1,X2,X3) #272: #isList(ok(X)) -> #isList(X) #273: #U82(ok(X1),ok(X2)) -> #U82(X1,X2) #274: #isNePal(ok(X)) -> #isNePal(X) #275: #proper(U71(X1,X2,X3)) -> #U71(proper(X1),proper(X2),proper(X3)) #276: #proper(U71(X1,X2,X3)) -> #proper(X1) #277: #proper(U71(X1,X2,X3)) -> #proper(X2) #278: #proper(U71(X1,X2,X3)) -> #proper(X3) #279: #active(U42(tt(),V1,V2)) -> #U43(isPalListKind(V2),V1,V2) #280: #active(U42(tt(),V1,V2)) -> #isPalListKind(V2) #281: #U83(ok(X)) -> #U83(X) #282: #active(U72(tt(),P)) -> #U73(isPal(P),P) #283: #active(U72(tt(),P)) -> #isPal(P) #284: #active(U44(tt(),V1,V2)) -> #U45(isList(V1),V2) #285: #active(U44(tt(),V1,V2)) -> #isList(V1) #286: #proper(isPalListKind(X)) -> #isPalListKind(proper(X)) #287: #proper(isPalListKind(X)) -> #proper(X) #288: #U56(mark(X)) -> #U56(X) #289: #U51(ok(X1),ok(X2),ok(X3)) -> #U51(X1,X2,X3) #290: #U13(ok(X)) -> #U13(X) #291: #proper(U74(X)) -> #U74(proper(X)) #292: #proper(U74(X)) -> #proper(X) #293: #active(__(X1,X2)) -> #__(X1,active(X2)) #294: #active(__(X1,X2)) -> #active(X2) #295: #U83(mark(X)) -> #U83(X) #296: #U81(ok(X1),ok(X2)) -> #U81(X1,X2) #297: #U21(mark(X1),X2,X3) -> #U21(X1,X2,X3) #298: #active(U55(tt(),V2)) -> #U56(isList(V2)) #299: #active(U55(tt(),V2)) -> #isList(V2) #300: #__(mark(X1),X2) -> #__(X1,X2) #301: #active(U54(X1,X2,X3)) -> #U54(active(X1),X2,X3) #302: #active(U54(X1,X2,X3)) -> #active(X1) #303: #proper(U91(X1,X2)) -> #U91(proper(X1),proper(X2)) #304: #proper(U91(X1,X2)) -> #proper(X1) #305: #proper(U91(X1,X2)) -> #proper(X2) #306: #U53(mark(X1),X2,X3) -> #U53(X1,X2,X3) #307: #U53(ok(X1),ok(X2),ok(X3)) -> #U53(X1,X2,X3) #308: #active(U22(X1,X2,X3)) -> #U22(active(X1),X2,X3) #309: #active(U22(X1,X2,X3)) -> #active(X1) #310: #top(mark(X)) -> #top(proper(X)) #311: #top(mark(X)) -> #proper(X) #312: #U73(mark(X1),X2) -> #U73(X1,X2) #313: #active(U82(tt(),V)) -> #U83(isNePal(V)) #314: #active(U82(tt(),V)) -> #isNePal(V) #315: #active(U41(tt(),V1,V2)) -> #U42(isPalListKind(V1),V1,V2) #316: #active(U41(tt(),V1,V2)) -> #isPalListKind(V1) #317: #proper(U43(X1,X2,X3)) -> #U43(proper(X1),proper(X2),proper(X3)) #318: #proper(U43(X1,X2,X3)) -> #proper(X1) #319: #proper(U43(X1,X2,X3)) -> #proper(X2) #320: #proper(U43(X1,X2,X3)) -> #proper(X3) #321: #active(U42(X1,X2,X3)) -> #U42(active(X1),X2,X3) #322: #active(U42(X1,X2,X3)) -> #active(X1) #323: #active(__(__(X,Y),Z)) -> #__(X,__(Y,Z)) #324: #active(__(__(X,Y),Z)) -> #__(Y,Z) #325: #proper(U11(X1,X2)) -> #U11(proper(X1),proper(X2)) #326: #proper(U11(X1,X2)) -> #proper(X1) #327: #proper(U11(X1,X2)) -> #proper(X2) #328: #U55(mark(X1),X2) -> #U55(X1,X2) #329: #U22(ok(X1),ok(X2),ok(X3)) -> #U22(X1,X2,X3) #330: #isQid(ok(X)) -> #isQid(X) #331: #proper(U44(X1,X2,X3)) -> #U44(proper(X1),proper(X2),proper(X3)) #332: #proper(U44(X1,X2,X3)) -> #proper(X1) #333: #proper(U44(X1,X2,X3)) -> #proper(X2) #334: #proper(U44(X1,X2,X3)) -> #proper(X3) #335: #active(U22(tt(),V1,V2)) -> #U23(isPalListKind(V2),V1,V2) #336: #active(U22(tt(),V1,V2)) -> #isPalListKind(V2) #337: #U41(ok(X1),ok(X2),ok(X3)) -> #U41(X1,X2,X3) #338: #proper(U26(X)) -> #U26(proper(X)) #339: #proper(U26(X)) -> #proper(X) #340: #proper(U56(X)) -> #U56(proper(X)) #341: #proper(U56(X)) -> #proper(X) #342: #U56(ok(X)) -> #U56(X) #343: #U52(mark(X1),X2,X3) -> #U52(X1,X2,X3) #344: #proper(isNePal(X)) -> #isNePal(proper(X)) #345: #proper(isNePal(X)) -> #proper(X) #346: #U72(ok(X1),ok(X2)) -> #U72(X1,X2) #347: #proper(isNeList(X)) -> #isNeList(proper(X)) #348: #proper(isNeList(X)) -> #proper(X) #349: #U11(mark(X1),X2) -> #U11(X1,X2) #350: #U11(ok(X1),ok(X2)) -> #U11(X1,X2) #351: #U12(mark(X1),X2) -> #U12(X1,X2) #352: #U63(ok(X)) -> #U63(X) #353: #active(U11(tt(),V)) -> #U12(isPalListKind(V),V) #354: #active(U11(tt(),V)) -> #isPalListKind(V) #355: #__(ok(X1),ok(X2)) -> #__(X1,X2) #356: #U13(mark(X)) -> #U13(X) #357: #active(U45(X1,X2)) -> #U45(active(X1),X2) #358: #active(U45(X1,X2)) -> #active(X1) #359: #active(U43(tt(),V1,V2)) -> #U44(isPalListKind(V2),V1,V2) #360: #active(U43(tt(),V1,V2)) -> #isPalListKind(V2) #361: #proper(U92(X)) -> #U92(proper(X)) #362: #proper(U92(X)) -> #proper(X) Number of SCCs: 46, DPs: 205 SCC { #330 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: x1 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #330 Number of SCCs: 45, DPs: 204 SCC { #96 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: x1 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #96 Number of SCCs: 44, DPs: 203 SCC { #90 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: x1 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #90 Number of SCCs: 43, DPs: 202 SCC { #272 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: x1 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #272 Number of SCCs: 42, DPs: 201 SCC { #274 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: x1 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #274 Number of SCCs: 41, DPs: 200 SCC { #48 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: x1 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: 0 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #48 Number of SCCs: 40, DPs: 199 SCC { #34 #258 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: x1 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #34 #258 Number of SCCs: 39, DPs: 197 SCC { #141 #352 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: x1 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #141 #352 Number of SCCs: 38, DPs: 195 SCC { #75 #151 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: x1 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #75 #151 Number of SCCs: 37, DPs: 193 SCC { #101 #214 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: x1 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #101 #214 Number of SCCs: 36, DPs: 191 SCC { #98 #207 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: x1 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #98 #207 Number of SCCs: 35, DPs: 189 SCC { #97 #180 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: x1 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #97 #180 Number of SCCs: 34, DPs: 187 SCC { #290 #356 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: x1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #290 #356 Number of SCCs: 33, DPs: 185 SCC { #288 #342 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: 0 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: x1 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #288 #342 Number of SCCs: 32, DPs: 183 SCC { #281 #295 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #U83 w: x1 #isPalListKind w: 0 U11 w: 0 U24 w: 0 #U24 w: 0 U25 w: 0 isNeList w: 0 U56 w: 0 isPal w: 0 U42 w: 0 U91 w: 0 u w: 0 U26 w: 0 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 0 U55 w: 0 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: 0 U72 w: 0 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 0 #U26 w: 0 U54 w: 0 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 U83 w: 0 ok w: x1 + 1 isList w: 0 U73 w: 0 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 U33 w: 0 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 U92 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 U82 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 0 U22 w: 0 #U45 w: 0 U51 w: 0 U74 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #281 #295 Number of SCCs: 31, DPs: 181 SCC { #22 #310 } POLO(Sum)... POLO(max)... QLPOS... succeeded. a s: [] p: 6 #U72 s: 2 #U32 s: [1,2] p: 0 U21 s: [3,2,1] p: 21 #U83 s: [] p: 0 #isPalListKind s: [] p: 0 U11 s: [2,1] p: 15 U24 s: [1,3,2] p: 18 #U24 s: 3 U25 s: [2,1] p: 17 isNeList s: [1] p: 13 U56 s: [1] p: 12 isPal s: [1] p: 10 U42 s: [3,2,1] p: 19 U91 s: [2,1] p: 4 u s: [] p: 6 U26 s: [1] p: 12 #U82 s: [2,1] p: 0 U71 s: [2,3,1] p: 11 top s: [] p: 0 #U81 s: [] p: 0 #U92 s: [] p: 0 #isNeList s: 1 U43 s: [2,3,1] p: 18 #U23 s: 1 #U53 s: [3,2,1] p: 0 #top s: 1 #__ s: [1,2] p: 0 U44 s: [3,1,2] p: 17 U55 s: [2,1] p: 17 #U43 s: [3,1,2] p: 0 U23 s: [1,3,2] p: 19 U63 s: [1] p: 1 isNePal s: [1] p: 8 U72 s: [1,2] p: 11 #U13 s: [] p: 0 #isQid s: [] p: 0 #isPal s: [] p: 0 #U52 s: [2,3,1] p: 0 U12 s: [2,1] p: 14 #U33 s: 1 isQid s: [] p: 3 #U26 s: 1 U54 s: [3,1,2] p: 18 o s: [] p: 3 #U44 s: [1,2,3] p: 0 #U54 s: [] p: 0 #U42 s: 3 #U12 s: 1 proper s: 1 #U62 s: [] p: 0 U83 s: [1] p: 2 ok s: 1 isList s: [1] p: 16 U73 s: [1,2] p: 10 #U74 s: [] p: 0 #isNePal s: [] p: 0 #U73 s: 2 nil s: [] p: 6 #U25 s: [2,1] p: 0 U62 s: [2,1] p: 6 #U63 s: [] p: 0 U45 s: [1,2] p: 14 mark s: [1] p: 0 #isList s: [] p: 0 U32 s: [1,2] p: 4 U33 s: [1] p: 0 #U46 s: [] p: 0 #U56 s: 1 #proper s: [] p: 0 U46 s: [1] p: 0 i s: [] p: 6 U52 s: [3,2,1] p: 20 U61 s: [2,1] p: 7 #U51 s: [2,3,1] p: 0 e s: [] p: 3 #U11 s: 1 active s: 1 U31 s: [2,1] p: 5 U92 s: [1] p: 0 #U41 s: 2 #active s: [] p: 0 #U21 s: [1,2,3] p: 0 U81 s: [2,1] p: 9 U82 s: [2,1] p: 8 #U22 s: [1,3,2] p: 0 tt s: [] p: 2 #U71 s: 1 U13 s: [1] p: 5 U22 s: [1,2,3] p: 20 #U45 s: [1,2] p: 0 U51 s: [3,2,1] p: 21 U74 s: [1] p: 5 isPalListKind s: 1 U53 s: [2,3,1] p: 19 U41 s: [3,2,1] p: 20 #U31 s: 2 __ s: [1,2] p: 22 #U91 s: [] p: 0 #U55 s: 2 #U61 s: [] p: 0 USABLE RULES: { 1..230 } Removed DPs: #310 Number of SCCs: 31, DPs: 180 SCC { #22 } POLO(Sum)... succeeded. a w: 43303 #U72 w: 0 #U32 w: 0 U21 w: x1 + 25811 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 U24 w: x1 #U24 w: 0 U25 w: x2 isNeList w: x1 + 50018 U56 w: x1 isPal w: x1 U42 w: x3 + 35468 U91 w: x2 u w: 1 U26 w: x1 #U82 w: 0 U71 w: x1 + 23756 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 U44 w: x2 + 1 U55 w: x2 #U43 w: 0 U23 w: x1 U63 w: x1 + 42289 isNePal w: x1 + 47135 U72 w: x1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 32040 #U33 w: 0 isQid w: x1 + 57400 #U26 w: 0 U54 w: x2 o w: 38128 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 23012 #U62 w: 0 U83 w: x1 + 34822 ok w: x1 + 23012 isList w: x1 U73 w: x1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x2 + 1 #U63 w: 0 U45 w: x2 mark w: 0 #isList w: 0 U32 w: x2 U33 w: x1 + 20190 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 0 U52 w: x1 + 30164 U61 w: x1 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x2 U92 w: x1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 U82 w: x2 + 37435 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 #U45 w: 0 U51 w: x1 + 35021 U74 w: x1 + 1 isPalListKind w: x1 U53 w: x2 U41 w: x3 + 59797 #U31 w: 0 __ w: x1 + 16085 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 1..230 } Removed DPs: #22 Number of SCCs: 30, DPs: 179 SCC { #152 #173 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 U24 w: x1 #U24 w: 0 U25 w: x2 isNeList w: x1 + 19769 U56 w: x1 isPal w: x1 U42 w: x3 + 1 U91 w: x2 u w: 57399 U26 w: x1 #U82 w: 0 U71 w: x1 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 U44 w: x2 + 1 U55 w: x2 #U43 w: 0 U23 w: x1 U63 w: x1 + 42289 isNePal w: x1 + 1 U72 w: x1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x2 + 10740 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: x2 o w: 38127 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 1 isList w: x1 U73 w: x1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x2 + 1 #U63 w: 0 U45 w: x2 mark w: 0 #isList w: 0 U32 w: x2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 0 U52 w: x1 + 1 U61 w: x1 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x2 U92 w: x1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 U82 w: x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 #U45 w: 0 U51 w: x1 + 1 U74 w: x1 + 1 isPalListKind w: x1 U53 w: x2 U41 w: x3 + 1 #U31 w: x2 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 1..230 } Removed DPs: #152 Number of SCCs: 30, DPs: 178 SCC { #173 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 30325 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 10659 U24 w: 12513 #U24 w: 0 U25 w: 28168 isNeList w: x1 + 1 U56 w: x1 + 31905 isPal w: x1 + 658 U42 w: x3 + 4017 U91 w: x1 + x2 + 40658 u w: 51332 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 31531 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 28415 #U43 w: 0 U23 w: 24445 U63 w: 21822 isNePal w: 8316 U72 w: 29363 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 29675 #U33 w: 0 isQid w: 3486 #U26 w: 0 U54 w: 6563 o w: 5794 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 30504 ok w: x1 + 1 isList w: 24318 U73 w: 7035 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 6524 #U63 w: 0 U45 w: x2 + 5823 mark w: x1 + 17426 #isList w: 0 U32 w: x1 + 27630 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 18246 i w: 21797 U52 w: 16840 U61 w: 5967 #U51 w: 0 e w: 47878 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 31714 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 16986 U82 w: x2 + 8946 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 7134 U22 w: 31973 #U45 w: 0 U51 w: 25244 U74 w: x1 + 4752 isPalListKind w: x1 + 1 U53 w: 11546 U41 w: 13619 #U31 w: x1 __ w: x2 + 20730 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #173 Number of SCCs: 29, DPs: 177 SCC { #170 #296 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 30325 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 8323 U24 w: 12513 #U24 w: 0 U25 w: 28168 isNeList w: x1 + 20841 U56 w: x1 + 31905 isPal w: x1 + 658 U42 w: x3 + 2 U91 w: x1 + x2 + 1 u w: 51332 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: x1 + x2 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 28415 #U43 w: 0 U23 w: 24445 U63 w: 21822 isNePal w: 8316 U72 w: 29363 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 29675 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 35428 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 30504 ok w: x1 + 1 isList w: 24318 U73 w: 7035 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 6524 #U63 w: 0 U45 w: x2 + 5823 mark w: x1 + 15393 #isList w: 0 U32 w: x1 + 19952 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 18246 i w: 11350 U52 w: 16840 U61 w: 5967 #U51 w: 0 e w: 23834 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 16986 U82 w: x2 + 8946 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 31973 #U45 w: 0 U51 w: 25244 U74 w: x1 + 4752 isPalListKind w: x1 + 1 U53 w: 11546 U41 w: 13619 #U31 w: 0 __ w: x2 + 20730 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #170 #296 Number of SCCs: 28, DPs: 175 SCC { #66 #116 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: x1 + x2 U21 w: 30325 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 8323 U24 w: 12513 #U24 w: 0 U25 w: 2 isNeList w: x1 + 20841 U56 w: x1 + 1 isPal w: x1 + 1 U42 w: x3 + 2 U91 w: x1 + x2 + 1 u w: 10249 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 28415 #U43 w: 0 U23 w: 24445 U63 w: 2 isNePal w: 8316 U72 w: 29363 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 60523 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 16689 ok w: x1 + 1 isList w: 24318 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 6524 #U63 w: 0 U45 w: x2 + 2 mark w: x1 + 2 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 38948 i w: 1 U52 w: 19597 U61 w: 5967 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 16986 U82 w: x2 + 8946 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 31973 #U45 w: 0 U51 w: 55523 U74 w: x1 + 24265 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 13619 #U31 w: 0 __ w: x2 + 20730 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #66 #116 Number of SCCs: 27, DPs: 173 SCC { #136 #273 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 28641 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 11995 U24 w: 12513 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: x1 + 1 U42 w: x3 + 2 U91 w: x1 + x2 + 1 u w: 191 U26 w: x1 #U82 w: x1 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 28415 #U43 w: 0 U23 w: 24445 U63 w: 2 isNePal w: 8316 U72 w: 29363 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 60523 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 42370 ok w: x1 + 1 isList w: 24318 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: x2 + 2 mark w: x1 + 2 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 47411 i w: 11853 U52 w: 49084 U61 w: 2 #U51 w: 0 e w: 21673 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 29207 U82 w: x2 + 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 31973 #U45 w: 0 U51 w: 55523 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: x2 + 20368 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #136 #273 Number of SCCs: 26, DPs: 171 SCC { #18 #206 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 28641 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 20618 U24 w: 12513 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: x1 + 1 U42 w: x3 + 26211 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 15532 #U43 w: 0 U23 w: 26209 U63 w: 2 isNePal w: 8316 U72 w: 29952 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 60523 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 31478 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 74537 ok w: x1 + 8600 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x2 + 23129 mark w: x1 + 30353 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 48795 i w: 1 U52 w: 2 U61 w: 10547 #U51 w: 0 e w: 14414 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 29207 U82 w: x2 + 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 43983 #U45 w: 0 U51 w: 55523 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: x2 + 2 #U91 w: x1 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #18 #206 Number of SCCs: 25, DPs: 169 SCC { #239 #328 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 28641 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 20618 U24 w: 12513 #U24 w: 0 U25 w: 2 isNeList w: x1 + 17245 U56 w: x1 + 3163 isPal w: x1 + 1 U42 w: x3 + 26211 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 24534 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 15532 #U43 w: 0 U23 w: 26209 U63 w: 2 isNePal w: 8316 U72 w: 29952 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 60523 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 31478 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 103002 ok w: x1 + 1 isList w: 2 U73 w: 8115 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x2 + 2 mark w: x1 + 8228 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 77503 i w: 22948 U52 w: 2427 U61 w: 10547 #U51 w: 0 e w: 14233 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 13264 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 29207 U82 w: x2 + 10859 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 18410 U22 w: 43983 #U45 w: 0 U51 w: 55523 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: x2 + 2 #U91 w: 0 #U55 w: x1 + x2 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #239 #328 Number of SCCs: 24, DPs: 167 SCC { #163 #194 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 28641 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 20618 U24 w: 12513 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 30760 isPal w: x1 + 1 U42 w: x3 + 26211 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 #U82 w: 0 U71 w: 8184 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 15532 #U43 w: 0 U23 w: 26209 U63 w: 2 isNePal w: 8316 U72 w: 29952 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 23900 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 31478 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 131754 ok w: x1 + 4 isList w: 10562 U73 w: 25597 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: x2 + 2 mark w: x1 + 11903 #isList w: 0 U32 w: x1 + 4520 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 110197 i w: 44164 U52 w: 12278 U61 w: 10547 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 18487 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 29207 U82 w: x2 + 10859 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 18410 U22 w: 43983 #U45 w: 0 U51 w: 55523 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 10325 #U31 w: 0 __ w: x2 + 2 #U91 w: 0 #U55 w: 0 #U61 w: x2 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #163 Number of SCCs: 24, DPs: 166 SCC { #194 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 14667 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 30096 U24 w: 44561 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: x1 + 25047 U42 w: x3 + 2 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 #U82 w: 0 U71 w: 38567 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 18313 #U43 w: 0 U23 w: 51049 U63 w: 20721 isNePal w: 8316 U72 w: 36241 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 40558 #U33 w: 0 isQid w: 7202 #U26 w: 0 U54 w: 42564 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 140204 ok w: x1 + 21763 isList w: 29462 U73 w: 51309 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 7359 #U63 w: 0 U45 w: x2 + 20787 mark w: x1 + 10377 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 137166 i w: 9443 U52 w: 22329 U61 w: 25474 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 37156 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 33657 U82 w: x2 + 23450 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 56756 #U45 w: 0 U51 w: 88285 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 10892 U41 w: 32761 #U31 w: 0 __ w: x2 + 2 #U91 w: 0 #U55 w: 0 #U61 w: x1 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #194 Number of SCCs: 23, DPs: 165 SCC { #24 #131 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 14667 #U83 w: 0 #isPalListKind w: 0 U11 w: x2 + 30096 U24 w: 44561 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: x1 + 14724 U42 w: x3 + 2 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 #U82 w: 0 U71 w: 2 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 U55 w: 18313 #U43 w: 0 U23 w: 51049 U63 w: 20721 isNePal w: 8316 U72 w: 36241 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 40558 #U33 w: 0 isQid w: 7202 #U26 w: 0 U54 w: 42564 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 146690 ok w: x1 + 1 isList w: 2 U73 w: 29187 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: x1 U62 w: 7359 #U63 w: 0 U45 w: x2 + 2 mark w: x1 + 23326 #isList w: 0 U32 w: x1 + 1 U33 w: x1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 157430 i w: 34557 U52 w: 31655 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 2 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x2 + 33657 U82 w: x2 + 23450 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: 56756 #U45 w: 0 U51 w: 88285 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: x2 + 28856 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 104 117 132 191..193 208 224 } Removed DPs: #24 #131 Number of SCCs: 22, DPs: 163 SCC { #183 #346 } POLO(Sum)... succeeded. a w: 1 #U72 w: x1 + x2 #U32 w: 0 U21 w: 14805 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 12791 #U24 w: 0 U25 w: 11866 isNeList w: 31383 U56 w: 28386 isPal w: 14724 U42 w: 28531 U91 w: 23578 u w: 1 U26 w: 30469 #U82 w: 0 U71 w: 16335 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 9277 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 22593 U55 w: 32573 #U43 w: 0 U23 w: 19549 U63 w: 15664 isNePal w: 18132 U72 w: 42504 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 10116 #U33 w: 0 isQid w: x1 + 7201 #U26 w: 0 U54 w: 5838 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 13907 ok w: x1 + 1 isList w: 27464 U73 w: 16070 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 8100 #U63 w: 0 U45 w: 9831 mark w: x1 + 23972 #isList w: 0 U32 w: 28731 U33 w: 18303 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 157429 i w: 1 U52 w: 47586 U61 w: 11466 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 13077 U92 w: 22370 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 30684 U82 w: 34713 #U22 w: 0 tt w: 5502 #U71 w: 0 U13 w: 2517 U22 w: 9667 #U45 w: 0 U51 w: 99486 U74 w: 1309 isPalListKind w: x1 + 1 U53 w: 13268 U41 w: 20176 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #183 #346 Number of SCCs: 21, DPs: 161 SCC { #349 #350 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 8636 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 14242 #U24 w: 0 U25 w: 30712 isNeList w: 12226 U56 w: 2 isPal w: 31061 U42 w: 32810 U91 w: 31541 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 25489 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 15483 #U43 w: 0 U23 w: 26073 U63 w: 15664 isNePal w: 18132 U72 w: 73187 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 34768 #U33 w: 0 isQid w: x1 + 15335 #U26 w: 0 U54 w: 38116 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 27664 ok w: x1 + 1 isList w: 27464 U73 w: 10172 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 39976 #U63 w: 0 U45 w: 2 mark w: x1 + 18943 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 78262 U61 w: 30286 #U51 w: 0 e w: 1 #U11 w: x1 + x2 active w: 1 U31 w: 13077 U92 w: 16201 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 40302 U82 w: 9491 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 10464 U22 w: 36195 #U45 w: 0 U51 w: 29243 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 3358 U41 w: 31635 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #349 #350 Number of SCCs: 20, DPs: 159 SCC { #47 #242 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 13650 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 18400 #U24 w: 0 U25 w: 23486 isNeList w: 2 U56 w: 2 isPal w: 31061 U42 w: 61588 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 46589 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 8356 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 26025 U55 w: 25519 #U43 w: 0 U23 w: 52577 U63 w: 27078 isNePal w: 18132 U72 w: 97253 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 45178 #U33 w: 0 isQid w: x1 + 10846 #U26 w: 0 U54 w: 55820 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: x1 U83 w: 32607 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 47351 #U25 w: 0 U62 w: 54453 #U63 w: 0 U45 w: 2 mark w: x1 + 2 #isList w: 0 U32 w: 9944 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 43760 i w: 1 U52 w: 110323 U61 w: 31022 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 20688 U92 w: 11613 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 59621 U82 w: 29274 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 16790 U22 w: 62844 #U45 w: 0 U51 w: 44389 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 26779 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #47 #242 Number of SCCs: 19, DPs: 157 SCC { #238 #312 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 13650 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 44867 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 24232 isPal w: 31061 U42 w: 61588 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 62490 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 21154 U55 w: 37087 #U43 w: 0 U23 w: 52577 U63 w: 58275 isNePal w: 18132 U72 w: 115052 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 54557 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: 72322 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 10322 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: x2 nil w: 1 #U25 w: 0 U62 w: 71565 #U63 w: 0 U45 w: 2 mark w: x1 + 18713 #isList w: 0 U32 w: 7473 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 134822 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 20688 U92 w: 32570 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 64126 U82 w: 27090 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 22833 U22 w: 62844 #U45 w: 0 U51 w: 73872 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #238 Number of SCCs: 19, DPs: 156 SCC { #312 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 49077 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: 31061 U42 w: 2 U91 w: 26186 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 62490 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 27021 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 21154 U55 w: 64946 #U43 w: 0 U23 w: 65818 U63 w: 58275 isNePal w: 18132 U72 w: 115052 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 #U33 w: 0 isQid w: x1 + 13378 #U26 w: 0 U54 w: 77307 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: x1 nil w: 1 #U25 w: 0 U62 w: 95526 #U63 w: 0 U45 w: 2 mark w: x1 + 18713 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 134822 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 20688 U92 w: 9431 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 64126 U82 w: 27090 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 13926 U22 w: 62844 #U45 w: 0 U51 w: 90069 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 6019 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #312 Number of SCCs: 18, DPs: 155 SCC { #130 #351 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 25628 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 78367 #U24 w: 0 U25 w: 26626 isNeList w: 2015 U56 w: 2 isPal w: 31061 U42 w: 2 U91 w: 15590 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 65259 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 13803 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 16574 U55 w: 71302 #U43 w: 0 U23 w: 76076 U63 w: 64637 isNePal w: 18132 U72 w: 143771 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 17423 #U33 w: 0 isQid w: x1 + 32840 #U26 w: 0 U54 w: 93942 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: x1 proper w: 1 #U62 w: 0 U83 w: 13109 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 99950 #U63 w: 0 U45 w: 2 mark w: x1 + 5725 #isList w: 0 U32 w: 8442 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 161485 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 47303 U92 w: 31634 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 92795 U82 w: 55154 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 21331 U22 w: 84174 #U45 w: 0 U51 w: 93313 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 30833 #U31 w: 0 __ w: 8228 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #130 #351 Number of SCCs: 17, DPs: 153 SCC { #144 #155 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 78367 #U24 w: 0 U25 w: 26626 isNeList w: 22912 U56 w: 2 isPal w: 31061 U42 w: 2 U91 w: 7095 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 96571 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 16574 U55 w: 75652 #U43 w: 0 U23 w: 76076 U63 w: 64637 isNePal w: 18132 U72 w: 143771 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 17423 #U33 w: 0 isQid w: x1 + 24908 #U26 w: 0 U54 w: 93942 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 25001 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 122306 #U63 w: 0 U45 w: 2 mark w: x1 + 24142 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 183027 U61 w: 26292 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 47303 U92 w: 38088 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 92795 U82 w: 64866 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 21815 U22 w: 87798 #U45 w: x1 U51 w: 93313 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 30833 #U31 w: 0 __ w: 8378 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #144 #155 Number of SCCs: 16, DPs: 151 SCC { #111 #189 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 78367 #U24 w: 0 U25 w: 26626 isNeList w: 2 U56 w: 2 isPal w: 31061 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 96571 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 5698 U55 w: 75652 #U43 w: 0 U23 w: 76076 U63 w: 64637 isNePal w: 18132 U72 w: 143771 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 17423 #U33 w: 0 isQid w: x1 + 24908 #U26 w: 0 U54 w: 93942 o w: 25136 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 29563 ok w: x1 + 1044 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 122306 #U63 w: 0 U45 w: 2 mark w: x1 + 24142 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 183027 U61 w: 16207 #U51 w: 0 e w: 842 #U11 w: 0 active w: 1 U31 w: 47303 U92 w: 38088 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 92795 U82 w: 64866 #U22 w: 0 tt w: 14684 #U71 w: x2 U13 w: 21815 U22 w: 87798 #U45 w: 0 U51 w: 93313 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 18806 #U31 w: 0 __ w: 8378 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #111 Number of SCCs: 16, DPs: 150 SCC { #189 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 9766 #U83 w: 0 #isPalListKind w: 0 U11 w: 11586 U24 w: x2 + 103820 #U24 w: 0 U25 w: 54594 isNeList w: 2 U56 w: 2 isPal w: 31061 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 102326 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 29809 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 88123 #U43 w: 0 U23 w: 102465 U63 w: 64637 isNePal w: 18132 U72 w: 156562 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 17423 #U33 w: 0 isQid w: x1 + 29603 #U26 w: 0 U54 w: 121418 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2249 ok w: x1 + 1 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 124648 #U63 w: 0 U45 w: 2 mark w: x1 + 24142 #isList w: 0 U32 w: 27697 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 206216 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 47303 U92 w: 62077 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 96016 U82 w: 88495 #U22 w: 0 tt w: 1 #U71 w: x1 U13 w: 52432 U22 w: 119278 #U45 w: 0 U51 w: 112047 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2111 U41 w: 1591 #U31 w: 0 __ w: 8378 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #189 Number of SCCs: 15, DPs: 149 SCC { #253 #297 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 32266 #U83 w: 0 #isPalListKind w: 0 U11 w: 30462 U24 w: x2 + 128234 #U24 w: 0 U25 w: 21651 isNeList w: 2 U56 w: 1242 isPal w: 31061 U42 w: 2 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 122376 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: 25850 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 115731 #U43 w: 0 U23 w: 126930 U63 w: 64637 isNePal w: 18132 U72 w: 170583 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 44840 #U33 w: 0 isQid w: x1 + 42961 #U26 w: 0 U54 w: 146023 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 13018 ok w: x1 + 29531 isList w: 27464 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 143623 #U63 w: 0 U45 w: 2 mark w: x1 + 24142 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 206887 U61 w: 5070 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: 47303 U92 w: 85806 #U41 w: 0 #active w: 0 #U21 w: x1 + x2 U81 w: 96016 U82 w: 106417 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 11130 U22 w: 141064 #U45 w: 0 U51 w: 136615 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: 7712 #U31 w: 0 __ w: 8378 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #253 #297 Number of SCCs: 14, DPs: 147 SCC { #124 #188 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 57360 #U83 w: 0 #isPalListKind w: 0 U11 w: 6441 U24 w: 57362 #U24 w: x2 + x3 U25 w: 57362 isNeList w: 31981 U56 w: 12244 isPal w: x1 + 1 U42 w: x1 + x2 + 29724 U91 w: 9237 u w: 1 U26 w: 9342 #U82 w: 0 U71 w: 57360 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 57362 U55 w: 16262 #U43 w: 0 U23 w: 17303 U63 w: 57360 isNePal w: 23993 U72 w: 31253 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2043 #U33 w: 0 isQid w: 7640 #U26 w: 0 U54 w: 25227 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 8269 ok w: x1 + 2 isList w: 32625 U73 w: 23504 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 2478 #U25 w: 0 U62 w: 57360 #U63 w: 0 U45 w: 57362 mark w: 57362 #isList w: 0 U32 w: x1 + x2 + 10889 U33 w: x1 + 17453 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 27919 i w: 1 U52 w: 57360 U61 w: 33311 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: 20484 U92 w: 57360 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 6560 U82 w: x1 + x2 + 4491 #U22 w: 0 tt w: 0 #U71 w: 0 U13 w: 6512 U22 w: 57360 #U45 w: 0 U51 w: 10040 U74 w: x1 + 28742 isPalListKind w: 2 U53 w: 22653 U41 w: 43174 #U31 w: 0 __ w: 19718 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #124 Number of SCCs: 14, DPs: 146 SCC { #188 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 1 #U24 w: x1 U25 w: 5 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 + x2 + 1 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 0 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 56180 #isList w: 0 U32 w: x1 + x2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 56177 U31 w: 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: x1 + x2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 1 U74 w: x1 + 1 isPalListKind w: 0 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #188 Number of SCCs: 13, DPs: 145 SCC { #225 #289 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 9443 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 1 #U24 w: 0 U25 w: 19950 isNeList w: 2 U56 w: 3 isPal w: x1 + 2295 U42 w: x1 + x2 + 1 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 19948 U55 w: 4 #U43 w: 0 U23 w: 3 U63 w: 0 isNePal w: 10382 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 15345 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 19949 #isList w: 0 U32 w: x1 + x2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 39499 U52 w: 2 U61 w: 16737 #U51 w: x1 e w: 54870 #U11 w: 0 active w: x1 + 1 U31 w: 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 1193 U82 w: x1 + x2 #U22 w: 0 tt w: 1775 #U71 w: 0 U13 w: 3 U22 w: 4 #U45 w: 0 U51 w: 1 U74 w: x1 + 1 isPalListKind w: 0 U53 w: 2 U41 w: 3 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #225 #289 Number of SCCs: 12, DPs: 143 SCC { #31 #337 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 1 #U24 w: 0 U25 w: 15854 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 + x2 + 1 U91 w: 2 u w: 24530 U26 w: 2 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 4 #U43 w: 0 U23 w: 3 U63 w: 0 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 2 #U25 w: 0 U62 w: 0 #U63 w: 0 U45 w: 0 mark w: x1 + 4 #isList w: 0 U32 w: x1 + x2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 28550 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 52398 #U11 w: 0 active w: x1 + 1 U31 w: 1 U92 w: 2 #U41 w: x1 + x3 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: x1 + x2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 4 #U45 w: 0 U51 w: 1 U74 w: x1 + 1 isPalListKind w: 0 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #31 #337 Number of SCCs: 11, DPs: 141 SCC { #252 #343 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 1 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 + x2 + 1 U91 w: 2 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 7666 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 2 #U43 w: 0 U23 w: 2 U63 w: 0 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: x2 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 1 #U63 w: 0 U45 w: 0 mark w: 4 #isList w: 0 U32 w: x1 + x2 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 28550 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 52398 #U11 w: 0 active w: x1 + 1 U31 w: 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 2 #U45 w: 0 U51 w: 1 U74 w: x1 + 1 isPalListKind w: 0 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 116 207 } Removed DPs: #252 Number of SCCs: 11, DPs: 140 SCC { #343 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 U24 w: 0 #U24 w: 0 U25 w: 5 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 + x2 + 1 U91 w: 4 u w: 1 U26 w: 2 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 0 #U43 w: 0 U23 w: 2 U63 w: 0 isNePal w: 2 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: x1 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 0 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 2 ok w: x1 + 2 isList w: 2 U73 w: 2 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 1 #U63 w: 0 U45 w: 0 mark w: x1 + 4 #isList w: 0 U32 w: x1 + x2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 28550 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 52398 #U11 w: 0 active w: x1 + 1 U31 w: 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 2 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 0 #U45 w: 0 U51 w: 1 U74 w: x1 + 1 isPalListKind w: 0 U53 w: 2 U41 w: 2 #U31 w: 0 __ w: 0 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #343 Number of SCCs: 10, DPs: 139 SCC { #306 #307 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 8224 #U83 w: 0 #isPalListKind w: 0 U11 w: 11737 U24 w: 1010 #U24 w: 0 U25 w: 11737 isNeList w: 11302 U56 w: 5472 isPal w: x1 + 1488 U42 w: x1 U91 w: x1 + 3189 u w: 3202 U26 w: x1 + 8976 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 6588 #U23 w: 0 #U53 w: x2 + x3 #top w: 0 #__ w: 0 U44 w: 27472 U55 w: 1 #U43 w: 0 U23 w: 6650 U63 w: 0 isNePal w: 6825 U72 w: x1 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 1 #U33 w: 0 isQid w: 2611 #U26 w: 0 U54 w: 244 o w: 360 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 8511 ok w: x1 + 24288 isList w: 778 U73 w: x1 + 7818 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 + 5968 #U63 w: 0 U45 w: 0 mark w: 27472 #isList w: 0 U32 w: 5639 U33 w: x1 + 10660 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 7284 U52 w: 27472 U61 w: 10165 #U51 w: 0 e w: 11736 #U11 w: 0 active w: x1 + 15734 U31 w: x1 + 1 U92 w: 1128 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 1483 U82 w: 2133 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 7104 U22 w: 1 #U45 w: 0 U51 w: x3 + 27472 U74 w: 9818 isPalListKind w: x1 + 1 U53 w: 10491 U41 w: 9353 #U31 w: 0 __ w: x1 + x2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 120 131 191 211 222 223 } Removed DPs: #307 Number of SCCs: 10, DPs: 138 SCC { #306 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 5 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: x1 #top w: 0 #__ w: 0 U44 w: 16231 U55 w: 1 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: x1 + 2 U72 w: x1 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: 2 U73 w: x1 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 #U63 w: 0 U45 w: 0 mark w: x1 + 46236 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 1 U52 w: 3 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 46233 U31 w: x1 + 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 2 U82 w: 5 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 #U45 w: 0 U51 w: x3 + 6 U74 w: 2 isPalListKind w: x1 + 1 U53 w: x2 + x3 U41 w: 3 #U31 w: 0 __ w: x1 + x2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 131 191 222 223 } Removed DPs: #306 Number of SCCs: 9, DPs: 137 SCC { #87 #202 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 3 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 27603 U55 w: 1 #U43 w: x2 U23 w: 0 U63 w: 0 isNePal w: x1 + 1 U72 w: x1 + 3 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: 3 U73 w: x1 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 #U63 w: 0 U45 w: 0 mark w: x1 + 4 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 1 U52 w: 3 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 3 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 5 U82 w: 4 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 #U45 w: 0 U51 w: x3 + 6 U74 w: 2 isPalListKind w: x1 + 1 U53 w: x2 + x3 U41 w: 2 #U31 w: 0 __ w: x1 + x2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 131 191 222 223 } Removed DPs: #202 Number of SCCs: 9, DPs: 136 SCC { #87 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 2 isPal w: x1 + 1 U42 w: x1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 3 U55 w: 1 #U43 w: x1 U23 w: 0 U63 w: 0 isNePal w: x1 + 1 U72 w: x1 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: 2 U73 w: x1 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 #U63 w: 0 U45 w: 0 mark w: x1 + 4 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 1 U52 w: 3 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 1 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 #U45 w: 0 U51 w: x3 + 6 U74 w: 2 isPalListKind w: x1 + 1 U53 w: x2 + x3 U41 w: 2 #U31 w: 0 __ w: x1 + x2 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 131 191 222 223 } Removed DPs: #87 Number of SCCs: 8, DPs: 135 SCC { #60 #119 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #U83 w: 0 #isPalListKind w: 0 U11 w: 2 U24 w: 4 #U24 w: 0 U25 w: 2 isNeList w: 2 U56 w: 3 isPal w: x1 + 1 U42 w: x1 U91 w: x1 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: 0 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 445 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2251 U55 w: 1 #U43 w: 0 U23 w: 0 U63 w: 0 isNePal w: x1 + 1 U72 w: x1 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 #U33 w: 0 isQid w: 2 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: x2 + x3 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: x1 + 2 isList w: 2 U73 w: x1 + 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 0 #U25 w: 0 U62 w: x1 + x2 #U63 w: 0 U45 w: 0 mark w: x1 + 1420 #isList w: 0 U32 w: 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 1 U52 w: 3 U61 w: 3 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1417 U31 w: x1 + 1 U92 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 1 U82 w: 2 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: x1 #U45 w: 0 U51 w: x3 + 20478 U74 w: 2 isPalListKind w: x1 + 1 U53 w: x2 + x3 U41 w: 2 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 131 191 222 223 } Removed DPs: #119 Number of SCCs: 8, DPs: 134 SCC { #60 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 15318 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 U24 w: 24632 #U24 w: 0 U25 w: 20501 isNeList w: x1 U56 w: x1 + 3018 isPal w: 0 U42 w: 24633 U91 w: 41850 u w: 0 U26 w: x1 + 30449 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 8723 U55 w: 9955 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 1 U72 w: 7028 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 4840 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: 20121 o w: 1 #U44 w: 0 #U54 w: x1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 24633 ok w: 41851 isList w: 11796 U73 w: 24633 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 16014 #U63 w: 0 U45 w: 0 mark w: x1 + 24633 #isList w: 0 U32 w: 20633 U33 w: 24632 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 24633 U61 w: x1 + x2 + 2331 #U51 w: 0 e w: 1 #U11 w: 0 active w: 24632 U31 w: 17550 U92 w: x1 + 18950 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 26950 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 23120 #U71 w: 0 U13 w: 6104 U22 w: 41851 #U45 w: 0 U51 w: x2 + 1 U74 w: 841 isPalListKind w: x1 + 1 U53 w: 1614 U41 w: x1 + x2 + x3 + 19894 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #60 Number of SCCs: 7, DPs: 133 SCC { #177 #329 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 17994 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: x1 + 24509 U56 w: x1 + 1 isPal w: 0 U42 w: 3 U91 w: 17220 u w: 0 U26 w: x1 + 1 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 25021 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 1 #U33 w: 0 isQid w: x1 + 12619 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 3 ok w: x1 + 2 isList w: 16531 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 0 mark w: x1 + 17191 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: 0 i w: 0 U52 w: 18557 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x1 + x2 + 1 #U22 w: x1 + x2 + x3 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 3 #U45 w: 0 U51 w: x2 + 1 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #177 #329 Number of SCCs: 6, DPs: 131 SCC { #21 #176 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 25612 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: 17004 #U24 w: 0 U25 w: 13424 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: 0 U42 w: 34565 U91 w: 51782 u w: 0 U26 w: x1 + 1 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 12144 U55 w: 14701 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 25021 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 36167 #U33 w: 0 isQid w: x1 + 8093 #U26 w: 0 U54 w: 22804 o w: 38803 #U44 w: 0 #U54 w: 0 #U42 w: x1 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 67130 ok w: x1 + 2 isList w: 2 U73 w: 34565 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 5568 #U63 w: 0 U45 w: 0 mark w: x1 + 34565 #isList w: 0 U32 w: 738 U33 w: 28833 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 0 U52 w: 53119 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 34564 U31 w: 2 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x1 + x2 + 21627 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 34565 #U45 w: 0 U51 w: x2 + 1 U74 w: 31791 isPalListKind w: x1 + 1 U53 w: 20794 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #21 #176 Number of SCCs: 5, DPs: 129 SCC { #91 #110 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 6025 isPal w: 0 U42 w: 3 U91 w: 4627 u w: 0 U26 w: x1 + 24366 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: x1 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 48717 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 32568 ok w: x1 + 13564 isList w: 47 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 0 mark w: x1 + 3779 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 0 U52 w: 42310 U61 w: x1 + x2 + 1653 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 15290 U82 w: x1 + x2 + 21627 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 3 #U45 w: 0 U51 w: x2 + 1 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: x1 + x2 + x3 + 23318 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #91 #110 Number of SCCs: 4, DPs: 127 SCC { #270 #271 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 3055 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: 0 U42 w: 3 U91 w: 24977 u w: 0 U26 w: x1 + 1 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 32719 #U33 w: 0 isQid w: x1 + 18643 #U26 w: 0 U54 w: 2 o w: 20157 #U44 w: x1 + x2 + x3 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 32568 ok w: x1 + 2 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 0 mark w: x1 + 3779 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 0 U52 w: 9636 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 U92 w: x1 + 2709 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 61174 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 3 #U45 w: 0 U51 w: x2 + 1 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #270 #271 Number of SCCs: 3, DPs: 125 SCC { #156 #300 #355 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 37674 isPal w: 0 U42 w: 3 U91 w: 24977 u w: 0 U26 w: x1 + 1 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: x2 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 32719 #U33 w: 0 isQid w: x1 + 25392 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 22629 ok w: x1 + 2 isList w: 2 U73 w: 3 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 0 mark w: x1 + 3779 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 0 U52 w: 9636 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 U92 w: x1 + 28419 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 43086 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 3 #U45 w: 0 U51 w: x2 + 1 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #156 #355 Number of SCCs: 3, DPs: 123 SCC { #300 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 5094 U24 w: 2 #U24 w: 0 U25 w: 2 isNeList w: x1 + 1 U56 w: x1 + 17441 isPal w: 0 U42 w: 23127 U91 w: 27948 u w: 0 U26 w: x1 + 1 #U82 w: 0 U71 w: 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: x1 U44 w: 2 U55 w: 2 #U43 w: 0 U23 w: 1 U63 w: 0 isNePal w: x1 + 1 U72 w: 2 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 32719 #U33 w: 0 isQid w: x1 + 1467 #U26 w: 0 U54 w: 2 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: 43113 ok w: x1 + 2 isList w: 27198 U73 w: 8247 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: 2 #U63 w: 0 U45 w: 0 mark w: x1 + 3779 #isList w: 0 U32 w: 2 U33 w: 2 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 i w: 0 U52 w: 28848 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 U92 w: x1 + 30086 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: 2 U22 w: 27350 #U45 w: 0 U51 w: x2 + 1 U74 w: 2 isPalListKind w: x1 + 1 U53 w: 2 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 __ w: x1 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #300 Number of SCCs: 2, DPs: 122 SCC { #2 #10 #12 #30 #33 #40 #42 #44 #53 #62 #68 #100 #105 #121 #126 #133 #138 #143 #146 #150 #154 #165 #169 #172 #179 #199 #211 #216 #218 #222 #231 #249 #251 #294 #302 #309 #322 #358 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: x1 + 1 #U24 w: 0 U25 w: x1 + x2 + 1 isNeList w: x1 + 21192 U56 w: x1 + 1 isPal w: 2 U42 w: x1 + x2 + x3 + 1 U91 w: x1 + x2 + 1 u w: 17499 U26 w: x1 + 1 #U82 w: 0 U71 w: x1 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + x2 + 1 U55 w: x1 + 1 #U43 w: 0 U23 w: x1 + x2 + x3 + 1 U63 w: x1 + 1 isNePal w: x1 + 1 U72 w: x1 + x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + x2 + 1 #U33 w: 0 isQid w: x1 + 1467 #U26 w: 0 U54 w: x1 + x2 + 1 o w: 15376 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 U83 w: x1 + 1 ok w: 9027 isList w: 4737 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 34949 #U25 w: 0 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: x1 + 1 mark w: 30542 #isList w: 0 U32 w: x1 + x2 + 1 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: 0 U46 w: x1 + 1 i w: 29510 U52 w: x1 + x2 + x3 + 1 U61 w: x1 + 1 #U51 w: 0 e w: 6176 #U11 w: 0 active w: 1 U31 w: x1 + 1 U92 w: x1 + 1 #U41 w: 0 #active w: x1 #U21 w: 0 U81 w: x1 + 1 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 20468 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 + 1 #U45 w: 0 U51 w: x1 + x2 + 1 U74 w: x1 + 1 isPalListKind w: 9026 U53 w: x1 + x2 + x3 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: x1 + x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 100 188 227 228 } Removed DPs: #2 #10 #12 #30 #33 #40 #42 #44 #53 #62 #68 #100 #105 #121 #126 #133 #138 #143 #146 #150 #154 #165 #169 #172 #179 #199 #211 #216 #218 #222 #231 #249 #251 #294 #302 #309 #322 #358 Number of SCCs: 1, DPs: 84 SCC { #14 #15 #26..28 #36..38 #50 #51 #55..57 #64 #65 #70 #71 #73 #74 #77..79 #83 #85 #86 #89 #93..95 #107..109 #123 #128 #129 #160..162 #185..187 #193 #196 #197 #204 #205 #213 #224 #233..235 #244 #245 #247 #255..257 #260 #262 #263 #265 #266 #268 #269 #276..278 #287 #292 #304 #305 #318..320 #326 #327 #332..334 #339 #341 #345 #348 #362 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 1 #U83 w: 0 #isPalListKind w: 0 U11 w: x1 + x2 + 1 U24 w: x1 + x2 + x3 + 1 #U24 w: 0 U25 w: x1 + x2 + 1 isNeList w: x1 + 1 U56 w: x1 + 1 isPal w: x1 + 1 U42 w: x1 + x2 + x3 + 3 U91 w: x1 + x2 + 1 u w: 1 U26 w: x1 + 1 #U82 w: 0 U71 w: x1 + x2 + x3 + 1 top w: 0 #U81 w: 0 #U92 w: 0 #isNeList w: 0 U43 w: x1 + x2 + x3 + 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 U44 w: x1 + x2 + x3 + 1 U55 w: x1 + x2 + 1 #U43 w: 0 U23 w: x1 + x2 + x3 + 1 U63 w: x1 + 1 isNePal w: x1 + 1 U72 w: x1 + x2 + 1 #U13 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + x2 + 1 #U33 w: 0 isQid w: x1 + 1 #U26 w: 0 U54 w: x1 + x2 + x3 + 1 o w: 1 #U44 w: 0 #U54 w: 0 #U42 w: 0 #U12 w: 0 proper w: 43663 #U62 w: 0 U83 w: x1 + 1 ok w: 43664 isList w: x1 + 1 U73 w: x1 + x2 + 1 #U74 w: 0 #isNePal w: 0 #U73 w: 0 nil w: 1 #U25 w: 0 U62 w: x1 + x2 + 1 #U63 w: 0 U45 w: x1 + x2 + 1 mark w: x1 + 37313 #isList w: 0 U32 w: x1 + x2 + 2 U33 w: x1 + 1 #U46 w: 0 #U56 w: 0 #proper w: x1 U46 w: x1 + 1 i w: 2 U52 w: x1 + x2 + x3 + 1 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 37310 U31 w: x1 + x2 + 1 U92 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + x2 + 1 U82 w: x1 + x2 + 1 #U22 w: 0 tt w: 1 #U71 w: 0 U13 w: x1 + 1 U22 w: x1 + x2 + x3 + 1 #U45 w: 0 U51 w: x1 + x2 + x3 + 1 U74 w: x1 + 1 isPalListKind w: x1 + 1 U53 w: x1 + x2 + x3 + 1 U41 w: x1 + x2 + x3 + 4 #U31 w: 0 __ w: x1 + x2 + 1 #U91 w: 0 #U55 w: 0 #U61 w: 0 USABLE RULES: { 192 193 198..200 209 215 216 } Removed DPs: #14 #15 #26..28 #36..38 #50 #51 #55..57 #64 #65 #70 #71 #73 #74 #77..79 #83 #85 #86 #89 #93..95 #107..109 #123 #128 #129 #160..162 #185..187 #193 #196 #197 #204 #205 #213 #224 #233..235 #244 #245 #247 #255..257 #260 #262 #263 #265 #266 #268 #269 #276..278 #287 #292 #304 #305 #318..320 #326 #327 #332..334 #339 #341 #345 #348 #362 Number of SCCs: 0, DPs: 0