/export/starexec/sandbox/solver/bin/starexec_run_Default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES Input TRS: 1: active(__(__(X,Y),Z)) -> mark(__(X,__(Y,Z))) 2: active(__(X,nil())) -> mark(X) 3: active(__(nil(),X)) -> mark(X) 4: active(U11(tt(),V)) -> mark(U12(isNeList(V))) 5: active(U12(tt())) -> mark(tt()) 6: active(U21(tt(),V1,V2)) -> mark(U22(isList(V1),V2)) 7: active(U22(tt(),V2)) -> mark(U23(isList(V2))) 8: active(U23(tt())) -> mark(tt()) 9: active(U31(tt(),V)) -> mark(U32(isQid(V))) 10: active(U32(tt())) -> mark(tt()) 11: active(U41(tt(),V1,V2)) -> mark(U42(isList(V1),V2)) 12: active(U42(tt(),V2)) -> mark(U43(isNeList(V2))) 13: active(U43(tt())) -> mark(tt()) 14: active(U51(tt(),V1,V2)) -> mark(U52(isNeList(V1),V2)) 15: active(U52(tt(),V2)) -> mark(U53(isList(V2))) 16: active(U53(tt())) -> mark(tt()) 17: active(U61(tt(),V)) -> mark(U62(isQid(V))) 18: active(U62(tt())) -> mark(tt()) 19: active(U71(tt(),V)) -> mark(U72(isNePal(V))) 20: active(U72(tt())) -> mark(tt()) 21: active(and(tt(),X)) -> mark(X) 22: active(isList(V)) -> mark(U11(isPalListKind(V),V)) 23: active(isList(nil())) -> mark(tt()) 24: active(isList(__(V1,V2))) -> mark(U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) 25: active(isNeList(V)) -> mark(U31(isPalListKind(V),V)) 26: active(isNeList(__(V1,V2))) -> mark(U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) 27: active(isNeList(__(V1,V2))) -> mark(U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) 28: active(isNePal(V)) -> mark(U61(isPalListKind(V),V)) 29: active(isNePal(__(I,__(P,I)))) -> mark(and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P)))) 30: active(isPal(V)) -> mark(U71(isPalListKind(V),V)) 31: active(isPal(nil())) -> mark(tt()) 32: active(isPalListKind(a())) -> mark(tt()) 33: active(isPalListKind(e())) -> mark(tt()) 34: active(isPalListKind(i())) -> mark(tt()) 35: active(isPalListKind(nil())) -> mark(tt()) 36: active(isPalListKind(o())) -> mark(tt()) 37: active(isPalListKind(u())) -> mark(tt()) 38: active(isPalListKind(__(V1,V2))) -> mark(and(isPalListKind(V1),isPalListKind(V2))) 39: active(isQid(a())) -> mark(tt()) 40: active(isQid(e())) -> mark(tt()) 41: active(isQid(i())) -> mark(tt()) 42: active(isQid(o())) -> mark(tt()) 43: active(isQid(u())) -> mark(tt()) 44: active(__(X1,X2)) -> __(active(X1),X2) 45: active(__(X1,X2)) -> __(X1,active(X2)) 46: active(U11(X1,X2)) -> U11(active(X1),X2) 47: active(U12(X)) -> U12(active(X)) 48: active(U21(X1,X2,X3)) -> U21(active(X1),X2,X3) 49: active(U22(X1,X2)) -> U22(active(X1),X2) 50: active(U23(X)) -> U23(active(X)) 51: active(U31(X1,X2)) -> U31(active(X1),X2) 52: active(U32(X)) -> U32(active(X)) 53: active(U41(X1,X2,X3)) -> U41(active(X1),X2,X3) 54: active(U42(X1,X2)) -> U42(active(X1),X2) 55: active(U43(X)) -> U43(active(X)) 56: active(U51(X1,X2,X3)) -> U51(active(X1),X2,X3) 57: active(U52(X1,X2)) -> U52(active(X1),X2) 58: active(U53(X)) -> U53(active(X)) 59: active(U61(X1,X2)) -> U61(active(X1),X2) 60: active(U62(X)) -> U62(active(X)) 61: active(U71(X1,X2)) -> U71(active(X1),X2) 62: active(U72(X)) -> U72(active(X)) 63: active(and(X1,X2)) -> and(active(X1),X2) 64: __(mark(X1),X2) -> mark(__(X1,X2)) 65: __(X1,mark(X2)) -> mark(__(X1,X2)) 66: U11(mark(X1),X2) -> mark(U11(X1,X2)) 67: U12(mark(X)) -> mark(U12(X)) 68: U21(mark(X1),X2,X3) -> mark(U21(X1,X2,X3)) 69: U22(mark(X1),X2) -> mark(U22(X1,X2)) 70: U23(mark(X)) -> mark(U23(X)) 71: U31(mark(X1),X2) -> mark(U31(X1,X2)) 72: U32(mark(X)) -> mark(U32(X)) 73: U41(mark(X1),X2,X3) -> mark(U41(X1,X2,X3)) 74: U42(mark(X1),X2) -> mark(U42(X1,X2)) 75: U43(mark(X)) -> mark(U43(X)) 76: U51(mark(X1),X2,X3) -> mark(U51(X1,X2,X3)) 77: U52(mark(X1),X2) -> mark(U52(X1,X2)) 78: U53(mark(X)) -> mark(U53(X)) 79: U61(mark(X1),X2) -> mark(U61(X1,X2)) 80: U62(mark(X)) -> mark(U62(X)) 81: U71(mark(X1),X2) -> mark(U71(X1,X2)) 82: U72(mark(X)) -> mark(U72(X)) 83: and(mark(X1),X2) -> mark(and(X1,X2)) 84: proper(__(X1,X2)) -> __(proper(X1),proper(X2)) 85: proper(nil()) -> ok(nil()) 86: proper(U11(X1,X2)) -> U11(proper(X1),proper(X2)) 87: proper(tt()) -> ok(tt()) 88: proper(U12(X)) -> U12(proper(X)) 89: proper(isNeList(X)) -> isNeList(proper(X)) 90: proper(U21(X1,X2,X3)) -> U21(proper(X1),proper(X2),proper(X3)) 91: proper(U22(X1,X2)) -> U22(proper(X1),proper(X2)) 92: proper(isList(X)) -> isList(proper(X)) 93: proper(U23(X)) -> U23(proper(X)) 94: proper(U31(X1,X2)) -> U31(proper(X1),proper(X2)) 95: proper(U32(X)) -> U32(proper(X)) 96: proper(isQid(X)) -> isQid(proper(X)) 97: proper(U41(X1,X2,X3)) -> U41(proper(X1),proper(X2),proper(X3)) 98: proper(U42(X1,X2)) -> U42(proper(X1),proper(X2)) 99: proper(U43(X)) -> U43(proper(X)) 100: proper(U51(X1,X2,X3)) -> U51(proper(X1),proper(X2),proper(X3)) 101: proper(U52(X1,X2)) -> U52(proper(X1),proper(X2)) 102: proper(U53(X)) -> U53(proper(X)) 103: proper(U61(X1,X2)) -> U61(proper(X1),proper(X2)) 104: proper(U62(X)) -> U62(proper(X)) 105: proper(U71(X1,X2)) -> U71(proper(X1),proper(X2)) 106: proper(U72(X)) -> U72(proper(X)) 107: proper(isNePal(X)) -> isNePal(proper(X)) 108: proper(and(X1,X2)) -> and(proper(X1),proper(X2)) 109: proper(isPalListKind(X)) -> isPalListKind(proper(X)) 110: proper(isPal(X)) -> isPal(proper(X)) 111: proper(a()) -> ok(a()) 112: proper(e()) -> ok(e()) 113: proper(i()) -> ok(i()) 114: proper(o()) -> ok(o()) 115: proper(u()) -> ok(u()) 116: __(ok(X1),ok(X2)) -> ok(__(X1,X2)) 117: U11(ok(X1),ok(X2)) -> ok(U11(X1,X2)) 118: U12(ok(X)) -> ok(U12(X)) 119: isNeList(ok(X)) -> ok(isNeList(X)) 120: U21(ok(X1),ok(X2),ok(X3)) -> ok(U21(X1,X2,X3)) 121: U22(ok(X1),ok(X2)) -> ok(U22(X1,X2)) 122: isList(ok(X)) -> ok(isList(X)) 123: U23(ok(X)) -> ok(U23(X)) 124: U31(ok(X1),ok(X2)) -> ok(U31(X1,X2)) 125: U32(ok(X)) -> ok(U32(X)) 126: isQid(ok(X)) -> ok(isQid(X)) 127: U41(ok(X1),ok(X2),ok(X3)) -> ok(U41(X1,X2,X3)) 128: U42(ok(X1),ok(X2)) -> ok(U42(X1,X2)) 129: U43(ok(X)) -> ok(U43(X)) 130: U51(ok(X1),ok(X2),ok(X3)) -> ok(U51(X1,X2,X3)) 131: U52(ok(X1),ok(X2)) -> ok(U52(X1,X2)) 132: U53(ok(X)) -> ok(U53(X)) 133: U61(ok(X1),ok(X2)) -> ok(U61(X1,X2)) 134: U62(ok(X)) -> ok(U62(X)) 135: U71(ok(X1),ok(X2)) -> ok(U71(X1,X2)) 136: U72(ok(X)) -> ok(U72(X)) 137: isNePal(ok(X)) -> ok(isNePal(X)) 138: and(ok(X1),ok(X2)) -> ok(and(X1,X2)) 139: isPalListKind(ok(X)) -> ok(isPalListKind(X)) 140: isPal(ok(X)) -> ok(isPal(X)) 141: top(mark(X)) -> top(proper(X)) 142: top(ok(X)) -> top(active(X)) Number of strict rules: 142 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #proper(U11(X1,X2)) -> #U11(proper(X1),proper(X2)) #2: #proper(U11(X1,X2)) -> #proper(X1) #3: #proper(U11(X1,X2)) -> #proper(X2) #4: #active(isNePal(__(I,__(P,I)))) -> #and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P))) #5: #active(isNePal(__(I,__(P,I)))) -> #and(isQid(I),isPalListKind(I)) #6: #active(isNePal(__(I,__(P,I)))) -> #isQid(I) #7: #active(isNePal(__(I,__(P,I)))) -> #isPalListKind(I) #8: #active(isNePal(__(I,__(P,I)))) -> #and(isPal(P),isPalListKind(P)) #9: #active(isNePal(__(I,__(P,I)))) -> #isPal(P) #10: #active(isNePal(__(I,__(P,I)))) -> #isPalListKind(P) #11: #and(mark(X1),X2) -> #and(X1,X2) #12: #U11(mark(X1),X2) -> #U11(X1,X2) #13: #active(U11(X1,X2)) -> #U11(active(X1),X2) #14: #active(U11(X1,X2)) -> #active(X1) #15: #proper(U32(X)) -> #U32(proper(X)) #16: #proper(U32(X)) -> #proper(X) #17: #proper(U43(X)) -> #U43(proper(X)) #18: #proper(U43(X)) -> #proper(X) #19: #proper(U41(X1,X2,X3)) -> #U41(proper(X1),proper(X2),proper(X3)) #20: #proper(U41(X1,X2,X3)) -> #proper(X1) #21: #proper(U41(X1,X2,X3)) -> #proper(X2) #22: #proper(U41(X1,X2,X3)) -> #proper(X3) #23: #proper(U22(X1,X2)) -> #U22(proper(X1),proper(X2)) #24: #proper(U22(X1,X2)) -> #proper(X1) #25: #proper(U22(X1,X2)) -> #proper(X2) #26: #U41(mark(X1),X2,X3) -> #U41(X1,X2,X3) #27: #active(U12(X)) -> #U12(active(X)) #28: #active(U12(X)) -> #active(X) #29: #active(U41(X1,X2,X3)) -> #U41(active(X1),X2,X3) #30: #active(U41(X1,X2,X3)) -> #active(X1) #31: #U31(mark(X1),X2) -> #U31(X1,X2) #32: #isPalListKind(ok(X)) -> #isPalListKind(X) #33: #active(U21(X1,X2,X3)) -> #U21(active(X1),X2,X3) #34: #active(U21(X1,X2,X3)) -> #active(X1) #35: #U23(ok(X)) -> #U23(X) #36: #U43(mark(X)) -> #U43(X) #37: #U42(mark(X1),X2) -> #U42(X1,X2) #38: #active(U53(X)) -> #U53(active(X)) #39: #active(U53(X)) -> #active(X) #40: #and(ok(X1),ok(X2)) -> #and(X1,X2) #41: #active(U71(X1,X2)) -> #U71(active(X1),X2) #42: #active(U71(X1,X2)) -> #active(X1) #43: #active(isPalListKind(__(V1,V2))) -> #and(isPalListKind(V1),isPalListKind(V2)) #44: #active(isPalListKind(__(V1,V2))) -> #isPalListKind(V1) #45: #active(isPalListKind(__(V1,V2))) -> #isPalListKind(V2) #46: #__(ok(X1),ok(X2)) -> #__(X1,X2) #47: #active(U21(tt(),V1,V2)) -> #U22(isList(V1),V2) #48: #active(U21(tt(),V1,V2)) -> #isList(V1) #49: #active(U61(X1,X2)) -> #U61(active(X1),X2) #50: #active(U61(X1,X2)) -> #active(X1) #51: #proper(isPal(X)) -> #isPal(proper(X)) #52: #proper(isPal(X)) -> #proper(X) #53: #U53(ok(X)) -> #U53(X) #54: #active(U43(X)) -> #U43(active(X)) #55: #active(U43(X)) -> #active(X) #56: #U12(mark(X)) -> #U12(X) #57: #proper(U21(X1,X2,X3)) -> #U21(proper(X1),proper(X2),proper(X3)) #58: #proper(U21(X1,X2,X3)) -> #proper(X1) #59: #proper(U21(X1,X2,X3)) -> #proper(X2) #60: #proper(U21(X1,X2,X3)) -> #proper(X3) #61: #proper(isNePal(X)) -> #isNePal(proper(X)) #62: #proper(isNePal(X)) -> #proper(X) #63: #active(U31(X1,X2)) -> #U31(active(X1),X2) #64: #active(U31(X1,X2)) -> #active(X1) #65: #active(U31(tt(),V)) -> #U32(isQid(V)) #66: #active(U31(tt(),V)) -> #isQid(V) #67: #active(U41(tt(),V1,V2)) -> #U42(isList(V1),V2) #68: #active(U41(tt(),V1,V2)) -> #isList(V1) #69: #proper(U42(X1,X2)) -> #U42(proper(X1),proper(X2)) #70: #proper(U42(X1,X2)) -> #proper(X1) #71: #proper(U42(X1,X2)) -> #proper(X2) #72: #active(U52(X1,X2)) -> #U52(active(X1),X2) #73: #active(U52(X1,X2)) -> #active(X1) #74: #U51(mark(X1),X2,X3) -> #U51(X1,X2,X3) #75: #proper(isPalListKind(X)) -> #isPalListKind(proper(X)) #76: #proper(isPalListKind(X)) -> #proper(X) #77: #proper(U31(X1,X2)) -> #U31(proper(X1),proper(X2)) #78: #proper(U31(X1,X2)) -> #proper(X1) #79: #proper(U31(X1,X2)) -> #proper(X2) #80: #active(isList(__(V1,V2))) -> #U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) #81: #active(isList(__(V1,V2))) -> #and(isPalListKind(V1),isPalListKind(V2)) #82: #active(isList(__(V1,V2))) -> #isPalListKind(V1) #83: #active(isList(__(V1,V2))) -> #isPalListKind(V2) #84: #U62(ok(X)) -> #U62(X) #85: #U23(mark(X)) -> #U23(X) #86: #U42(ok(X1),ok(X2)) -> #U42(X1,X2) #87: #U71(mark(X1),X2) -> #U71(X1,X2) #88: #U12(ok(X)) -> #U12(X) #89: #U53(mark(X)) -> #U53(X) #90: #active(__(X1,X2)) -> #__(X1,active(X2)) #91: #active(__(X1,X2)) -> #active(X2) #92: #proper(isQid(X)) -> #isQid(proper(X)) #93: #proper(isQid(X)) -> #proper(X) #94: #U22(mark(X1),X2) -> #U22(X1,X2) #95: #proper(U52(X1,X2)) -> #U52(proper(X1),proper(X2)) #96: #proper(U52(X1,X2)) -> #proper(X1) #97: #proper(U52(X1,X2)) -> #proper(X2) #98: #active(U42(tt(),V2)) -> #U43(isNeList(V2)) #99: #active(U42(tt(),V2)) -> #isNeList(V2) #100: #U61(mark(X1),X2) -> #U61(X1,X2) #101: #active(U51(X1,X2,X3)) -> #U51(active(X1),X2,X3) #102: #active(U51(X1,X2,X3)) -> #active(X1) #103: #proper(isNeList(X)) -> #isNeList(proper(X)) #104: #proper(isNeList(X)) -> #proper(X) #105: #U61(ok(X1),ok(X2)) -> #U61(X1,X2) #106: #U72(mark(X)) -> #U72(X) #107: #active(U51(tt(),V1,V2)) -> #U52(isNeList(V1),V2) #108: #active(U51(tt(),V1,V2)) -> #isNeList(V1) #109: #proper(U72(X)) -> #U72(proper(X)) #110: #proper(U72(X)) -> #proper(X) #111: #active(U72(X)) -> #U72(active(X)) #112: #active(U72(X)) -> #active(X) #113: #active(isPal(V)) -> #U71(isPalListKind(V),V) #114: #active(isPal(V)) -> #isPalListKind(V) #115: #active(U32(X)) -> #U32(active(X)) #116: #active(U32(X)) -> #active(X) #117: #active(U22(X1,X2)) -> #U22(active(X1),X2) #118: #active(U22(X1,X2)) -> #active(X1) #119: #active(isNeList(V)) -> #U31(isPalListKind(V),V) #120: #active(isNeList(V)) -> #isPalListKind(V) #121: #U51(ok(X1),ok(X2),ok(X3)) -> #U51(X1,X2,X3) #122: #proper(and(X1,X2)) -> #and(proper(X1),proper(X2)) #123: #proper(and(X1,X2)) -> #proper(X1) #124: #proper(and(X1,X2)) -> #proper(X2) #125: #U43(ok(X)) -> #U43(X) #126: #isQid(ok(X)) -> #isQid(X) #127: #proper(U12(X)) -> #U12(proper(X)) #128: #proper(U12(X)) -> #proper(X) #129: #active(U22(tt(),V2)) -> #U23(isList(V2)) #130: #active(U22(tt(),V2)) -> #isList(V2) #131: #U72(ok(X)) -> #U72(X) #132: #proper(isList(X)) -> #isList(proper(X)) #133: #proper(isList(X)) -> #proper(X) #134: #isNeList(ok(X)) -> #isNeList(X) #135: #proper(U23(X)) -> #U23(proper(X)) #136: #proper(U23(X)) -> #proper(X) #137: #__(mark(X1),X2) -> #__(X1,X2) #138: #U32(mark(X)) -> #U32(X) #139: #U21(ok(X1),ok(X2),ok(X3)) -> #U21(X1,X2,X3) #140: #active(__(X1,X2)) -> #__(active(X1),X2) #141: #active(__(X1,X2)) -> #active(X1) #142: #__(X1,mark(X2)) -> #__(X1,X2) #143: #active(isNePal(V)) -> #U61(isPalListKind(V),V) #144: #active(isNePal(V)) -> #isPalListKind(V) #145: #active(isList(V)) -> #U11(isPalListKind(V),V) #146: #active(isList(V)) -> #isPalListKind(V) #147: #U41(ok(X1),ok(X2),ok(X3)) -> #U41(X1,X2,X3) #148: #proper(__(X1,X2)) -> #__(proper(X1),proper(X2)) #149: #proper(__(X1,X2)) -> #proper(X1) #150: #proper(__(X1,X2)) -> #proper(X2) #151: #active(isNeList(__(V1,V2))) -> #U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) #152: #active(isNeList(__(V1,V2))) -> #and(isPalListKind(V1),isPalListKind(V2)) #153: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #154: #active(isNeList(__(V1,V2))) -> #isPalListKind(V2) #155: #isNePal(ok(X)) -> #isNePal(X) #156: #top(ok(X)) -> #top(active(X)) #157: #top(ok(X)) -> #active(X) #158: #active(U62(X)) -> #U62(active(X)) #159: #active(U62(X)) -> #active(X) #160: #U11(ok(X1),ok(X2)) -> #U11(X1,X2) #161: #active(U61(tt(),V)) -> #U62(isQid(V)) #162: #active(U61(tt(),V)) -> #isQid(V) #163: #active(U71(tt(),V)) -> #U72(isNePal(V)) #164: #active(U71(tt(),V)) -> #isNePal(V) #165: #U32(ok(X)) -> #U32(X) #166: #active(and(X1,X2)) -> #and(active(X1),X2) #167: #active(and(X1,X2)) -> #active(X1) #168: #U71(ok(X1),ok(X2)) -> #U71(X1,X2) #169: #proper(U71(X1,X2)) -> #U71(proper(X1),proper(X2)) #170: #proper(U71(X1,X2)) -> #proper(X1) #171: #proper(U71(X1,X2)) -> #proper(X2) #172: #active(isNeList(__(V1,V2))) -> #U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) #173: #active(isNeList(__(V1,V2))) -> #and(isPalListKind(V1),isPalListKind(V2)) #174: #active(isNeList(__(V1,V2))) -> #isPalListKind(V1) #175: #active(isNeList(__(V1,V2))) -> #isPalListKind(V2) #176: #proper(U51(X1,X2,X3)) -> #U51(proper(X1),proper(X2),proper(X3)) #177: #proper(U51(X1,X2,X3)) -> #proper(X1) #178: #proper(U51(X1,X2,X3)) -> #proper(X2) #179: #proper(U51(X1,X2,X3)) -> #proper(X3) #180: #isList(ok(X)) -> #isList(X) #181: #U21(mark(X1),X2,X3) -> #U21(X1,X2,X3) #182: #U52(ok(X1),ok(X2)) -> #U52(X1,X2) #183: #U52(mark(X1),X2) -> #U52(X1,X2) #184: #active(__(__(X,Y),Z)) -> #__(X,__(Y,Z)) #185: #active(__(__(X,Y),Z)) -> #__(Y,Z) #186: #isPal(ok(X)) -> #isPal(X) #187: #U31(ok(X1),ok(X2)) -> #U31(X1,X2) #188: #active(U42(X1,X2)) -> #U42(active(X1),X2) #189: #active(U42(X1,X2)) -> #active(X1) #190: #top(mark(X)) -> #top(proper(X)) #191: #top(mark(X)) -> #proper(X) #192: #U22(ok(X1),ok(X2)) -> #U22(X1,X2) #193: #active(U52(tt(),V2)) -> #U53(isList(V2)) #194: #active(U52(tt(),V2)) -> #isList(V2) #195: #proper(U53(X)) -> #U53(proper(X)) #196: #proper(U53(X)) -> #proper(X) #197: #proper(U61(X1,X2)) -> #U61(proper(X1),proper(X2)) #198: #proper(U61(X1,X2)) -> #proper(X1) #199: #proper(U61(X1,X2)) -> #proper(X2) #200: #active(U11(tt(),V)) -> #U12(isNeList(V)) #201: #active(U11(tt(),V)) -> #isNeList(V) #202: #proper(U62(X)) -> #U62(proper(X)) #203: #proper(U62(X)) -> #proper(X) #204: #U62(mark(X)) -> #U62(X) #205: #active(U23(X)) -> #U23(active(X)) #206: #active(U23(X)) -> #active(X) Number of SCCs: 28, DPs: 107 SCC { #186 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: x1 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: 0 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #186 Number of SCCs: 27, DPs: 106 SCC { #155 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: x1 nil w: 0 U62 w: 0 mark w: 0 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #155 Number of SCCs: 26, DPs: 105 SCC { #32 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: x1 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: 0 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #32 Number of SCCs: 25, DPs: 104 SCC { #126 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: x1 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: 0 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #126 Number of SCCs: 24, DPs: 103 SCC { #134 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: x1 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: 0 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #134 Number of SCCs: 23, DPs: 102 SCC { #180 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: 0 #isList w: x1 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #180 Number of SCCs: 22, DPs: 101 SCC { #138 #165 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: x1 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #138 #165 Number of SCCs: 21, DPs: 99 SCC { #36 #125 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: x1 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #36 #125 Number of SCCs: 20, DPs: 97 SCC { #106 #131 } POLO(Sum)... succeeded. a w: 0 #U72 w: x1 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #106 #131 Number of SCCs: 19, DPs: 95 SCC { #56 #88 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: x1 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #56 #88 Number of SCCs: 18, DPs: 93 SCC { #35 #85 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: x1 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #35 #85 Number of SCCs: 17, DPs: 91 SCC { #53 #89 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: x1 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #53 #89 Number of SCCs: 16, DPs: 89 SCC { #84 #204 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 #U32 w: 0 U21 w: 0 #isPalListKind w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 and w: 0 #isNeList w: 0 U43 w: 0 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 0 isQid w: 0 o w: 0 #U42 w: 0 #U12 w: 0 proper w: 0 #U62 w: x1 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 U62 w: 0 mark w: x1 + 1 #isList w: 0 U32 w: 0 #proper 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 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 isPalListKind w: 0 U53 w: 0 U41 w: 0 #U31 w: 0 #and w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #84 #204 Number of SCCs: 15, DPs: 87 SCC { #156 #190 } POLO(Sum)... POLO(max)... QLPOS... succeeded. a s: [] p: 7 #U72 s: [] p: 0 #U32 s: [] p: 0 U21 s: [2,1,3] p: 9 #isPalListKind s: [] p: 0 U11 s: [1,2] p: 5 isNeList s: [1] p: 4 isPal s: [1] p: 12 U42 s: [1,2] p: 8 u s: [] p: 10 U71 s: [1,2] p: 11 top s: [] p: 0 and s: [1,2] p: 3 #isNeList s: [] p: 0 U43 s: [1] p: 1 #U23 s: [] p: 0 #U53 s: [] p: 0 #top s: [1] p: 0 #__ s: [2] p: 0 #U43 s: [] p: 0 U23 s: [1] p: 1 isNePal s: [1] p: 10 U72 s: [1] p: 1 #isQid s: [] p: 0 #isPal s: [] p: 0 #U52 s: [1,2] p: 0 U12 s: [1] p: 4 isQid s: 1 o s: [] p: 7 #U42 s: [2,1] p: 0 #U12 s: [] p: 0 proper s: 1 #U62 s: [] p: 0 ok s: 1 isList s: [1] p: 6 #isNePal s: [] p: 0 nil s: [] p: 7 U62 s: [1] p: 9 mark s: [1] p: 1 #isList s: [] p: 0 U32 s: [1] p: 2 #proper s: [] p: 0 i s: [] p: 7 U52 s: [1,2] p: 7 U61 s: [2,1] p: 9 #U51 s: [] p: 0 e s: [] p: 7 #U11 s: [2,1] p: 0 active s: 1 U31 s: [1,2] p: 3 #U41 s: [] p: 0 #active s: [] p: 0 #U21 s: [1,3] p: 0 #U22 s: [1] p: 0 tt s: [] p: 0 #U71 s: [1,2] p: 0 U22 s: [2,1] p: 6 U51 s: [1,3,2] p: 8 isPalListKind s: [1] p: 3 U53 s: [1] p: 1 U41 s: [3,2,1] p: 11 #U31 s: [1] p: 0 #and s: [] p: 0 __ s: [1,2] p: 12 #U61 s: [] p: 0 USABLE RULES: { 1..140 } Removed DPs: #190 Number of SCCs: 15, DPs: 86 SCC { #156 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x3 #isPalListKind w: 0 U11 w: x2 isNeList w: x1 isPal w: x1 U42 w: x1 u w: 0 U71 w: x2 top w: 0 and w: x1 #isNeList w: 0 U43 w: x1 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 #U43 w: 0 U23 w: x1 isNePal w: x1 U72 w: x1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 isQid w: x1 o w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 3 #U62 w: 0 ok w: x1 + 2 isList w: x1 #isNePal w: 0 nil w: 0 U62 w: x1 mark w: 0 #isList w: 0 U32 w: x1 + 1 #proper w: 0 i w: 1 U52 w: x2 U61 w: x2 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: x1 U51 w: x1 isPalListKind w: x1 U53 w: x1 U41 w: x1 #U31 w: 0 #and w: 0 __ w: x1 #U61 w: 0 USABLE RULES: { 1..140 } Removed DPs: #156 Number of SCCs: 14, DPs: 85 SCC { #12 #160 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x3 #isPalListKind w: 0 U11 w: x2 isNeList w: x1 isPal w: x1 U42 w: x1 u w: 0 U71 w: x2 top w: 0 and w: x1 #isNeList w: 0 U43 w: x1 #U23 w: 0 #U53 w: 0 #top w: x1 #__ w: 0 #U43 w: 0 U23 w: x1 isNePal w: x1 U72 w: x1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 isQid w: x1 o w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 3 #U62 w: 0 ok w: x1 + 2 isList w: x1 #isNePal w: 0 nil w: 0 U62 w: x1 mark w: 0 #isList w: 0 U32 w: x1 + 1 #proper w: 0 i w: 1 U52 w: x2 U61 w: x2 #U51 w: 0 e w: 1 #U11 w: x2 active w: x1 + 1 U31 w: x1 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: x1 U51 w: x1 isPalListKind w: x1 U53 w: x1 U41 w: x1 #U31 w: 0 #and w: 0 __ w: x1 #U61 w: 0 USABLE RULES: { 1..140 } Removed DPs: #160 Number of SCCs: 14, DPs: 84 SCC { #12 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x3 + 2 #isPalListKind w: 0 U11 w: x2 isNeList w: x1 isPal w: x1 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 1 top w: 0 and w: x1 #isNeList w: 0 U43 w: x1 + 1 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: x1 + 1 isNePal w: x1 + 1 U72 w: x1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 isQid w: x1 + 1 o w: 0 #U42 w: 0 #U12 w: 0 proper w: x1 + 1 #U62 w: 0 ok w: x1 + 1 isList w: x1 #isNePal w: 0 nil w: 0 U62 w: x1 mark w: x1 + 1 #isList w: 0 U32 w: x1 + 1 #proper w: 0 i w: 1 U52 w: x2 + 1 U61 w: x2 + 1 #U51 w: 0 e w: 1 #U11 w: x1 active w: x1 + 2 U31 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + 1 isPalListKind w: x1 U53 w: x1 U41 w: x1 + 1 #U31 w: 0 #and w: 0 __ w: x2 #U61 w: 0 USABLE RULES: { 3..5 8 10 13 15..20 23 25 29 31..37 39..43 67 69..76 78 80..83 85 87 111..115 118 119 121..130 132 134..140 } Removed DPs: #12 Number of SCCs: 13, DPs: 83 SCC { #94 #192 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 4 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 4 U42 w: 4 u w: 1 U71 w: x2 + 1 top w: 0 and w: x1 + 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: x1 + 4 U72 w: 2 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: 5 #isList w: 0 U32 w: 2 #proper w: 0 i w: 1 U52 w: x2 + 4 U61 w: x2 + 4 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x2 + 4 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: x2 tt w: 1 #U71 w: 0 U22 w: 4 U51 w: x2 + 3 isPalListKind w: x1 + 2 U53 w: x1 + 1 U41 w: x1 + 2 #U31 w: 0 #and w: 0 __ w: x1 + x2 + 2 #U61 w: 0 USABLE RULES: { 64 65 116 } Removed DPs: #192 Number of SCCs: 13, DPs: 82 SCC { #94 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: 3 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: x1 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 3 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: 0 #and w: 0 __ w: 2 #U61 w: 0 USABLE RULES: { 124 } Removed DPs: #94 Number of SCCs: 12, DPs: 81 SCC { #37 #86 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: x1 + x2 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 2 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: 0 #and w: 0 __ w: 2 #U61 w: 0 USABLE RULES: { } Removed DPs: #37 #86 Number of SCCs: 11, DPs: 79 SCC { #31 #187 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 2 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: x2 #and w: 0 __ w: 2 #U61 w: 0 USABLE RULES: { } Removed DPs: #187 Number of SCCs: 11, DPs: 78 SCC { #31 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 2 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: x1 #and w: 0 __ w: 2 #U61 w: 0 USABLE RULES: { } Removed DPs: #31 Number of SCCs: 10, DPs: 77 SCC { #182 #183 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: x1 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 2 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: 0 #and w: 0 __ w: 2 #U61 w: 0 USABLE RULES: { } Removed DPs: #182 #183 Number of SCCs: 9, DPs: 75 SCC { #11 #40 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 2 #isPalListKind w: 0 U11 w: 2 isNeList w: x1 + 1 isPal w: x1 + 3 U42 w: 2 u w: 1 U71 w: 3 top w: 0 and w: 2 #isNeList w: 0 U43 w: 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 2 isNePal w: 2 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 2 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 2 mark w: x1 + 4 #isList w: 0 U32 w: x1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 0 #U11 w: 0 active w: 3 U31 w: x2 + 3 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 2 U51 w: 2 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x3 + 4 #U31 w: 0 #and w: x1 + x2 __ w: 2 #U61 w: 0 USABLE RULES: { } Removed DPs: #11 #40 Number of SCCs: 8, DPs: 73 SCC { #87 #168 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x2 + 3 #isPalListKind w: 0 U11 w: x1 + x2 + 1 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: x2 + 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: x1 + 1 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 2 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: 3 mark w: x1 + 3 #isList w: 0 U32 w: x1 + 1 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: x1 U22 w: 2 U51 w: x2 + 3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { } Removed DPs: #87 #168 Number of SCCs: 7, DPs: 71 SCC { #100 #105 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: x1 + x2 USABLE RULES: { } Removed DPs: #100 #105 Number of SCCs: 6, DPs: 69 SCC { #26 #147 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: x1 + x3 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #26 #147 Number of SCCs: 5, DPs: 67 SCC { #139 #181 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: x2 + x3 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #139 Number of SCCs: 5, DPs: 66 SCC { #181 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: x1 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #181 Number of SCCs: 4, DPs: 65 SCC { #74 #121 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: x1 + x2 + x3 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #74 #121 Number of SCCs: 3, DPs: 63 SCC { #46 #137 #142 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: x2 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #46 #142 Number of SCCs: 3, DPs: 61 SCC { #137 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: 3 #isPalListKind w: 0 U11 w: x2 + 3 isNeList w: 2 isPal w: 2 U42 w: 3 u w: 1 U71 w: 3 top w: 0 and w: 3 #isNeList w: 0 U43 w: 3 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: x1 #U43 w: 0 U23 w: 3 isNePal w: 2 U72 w: 3 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: 3 isQid w: 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 3 mark w: x1 + 3 #isList w: 0 U32 w: 3 #proper w: 0 i w: 1 U52 w: 2 U61 w: 2 #U51 w: 0 e w: 1 #U11 w: 0 active w: 2 U31 w: 2 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: 2 U51 w: x2 + x3 isPalListKind w: 2 U53 w: 3 U41 w: 3 #U31 w: 0 #and w: 0 __ w: 3 #U61 w: 0 USABLE RULES: { } Removed DPs: #137 Number of SCCs: 2, DPs: 60 SCC { #14 #28 #30 #34 #39 #42 #50 #55 #64 #73 #91 #102 #112 #116 #118 #141 #159 #167 #189 #206 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 7 #isPalListKind w: 0 U11 w: x1 + 1 isNeList w: 2 isPal w: 2 U42 w: x1 + x2 + 1 u w: 1 U71 w: x1 + 8 top w: 0 and w: x1 + 1 #isNeList w: 0 U43 w: x1 + 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: x1 + 1 isNePal w: 6 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 1 isQid w: x1 + 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: 2 #isNePal w: 0 nil w: 1 U62 w: x1 + 1 mark w: x1 + 4 #isList w: 0 U32 w: x1 + 1 #proper w: 0 i w: 1 U52 w: x1 + 1 U61 w: x1 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 4 #U41 w: 0 #active w: x1 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: x1 + 4 U51 w: x1 + 4 isPalListKind w: 2 U53 w: x1 + 1 U41 w: x1 + x2 + x3 + 1 #U31 w: 0 #and w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 64 65 80 116 126 134 } Removed DPs: #14 #28 #30 #34 #39 #42 #50 #55 #64 #73 #91 #102 #112 #116 #118 #141 #159 #167 #189 #206 Number of SCCs: 1, DPs: 40 SCC { #2 #3 #16 #18 #20..22 #24 #25 #52 #58..60 #62 #70 #71 #76 #78 #79 #93 #96 #97 #104 #110 #123 #124 #128 #133 #136 #149 #150 #170 #171 #177..179 #196 #198 #199 #203 } POLO(Sum)... succeeded. a w: 1 #U72 w: 0 #U32 w: 0 U21 w: x1 + x2 + x3 + 7 #isPalListKind w: 0 U11 w: x1 + x2 + 1 isNeList w: x1 + 1 isPal w: x1 + 1 U42 w: x1 + x2 + 1 u w: 1 U71 w: x1 + x2 + 1 top w: 0 and w: x1 + x2 + 1 #isNeList w: 0 U43 w: x1 + 2 #U23 w: 0 #U53 w: 0 #top w: 0 #__ w: 0 #U43 w: 0 U23 w: x1 + 1 isNePal w: x1 + 6 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: 0 U12 w: x1 + 1 isQid w: x1 + 2 o w: 1 #U42 w: 0 #U12 w: 0 proper w: 1 #U62 w: 0 ok w: x1 + 1 isList w: x1 + 1 #isNePal w: 0 nil w: 1 U62 w: x1 + 1 mark w: x1 + 2 #isList w: 0 U32 w: x1 + 1 #proper w: x1 i w: 1 U52 w: x1 + x2 + 1 U61 w: x1 + x2 + 1 #U51 w: 0 e w: 1 #U11 w: 0 active w: 1 U31 w: x1 + x2 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 #U22 w: 0 tt w: 1 #U71 w: 0 U22 w: x1 + x2 + 1 U51 w: x1 + x2 + x3 + 4 isPalListKind w: x1 + 1 U53 w: x1 + 1 U41 w: x1 + x2 + x3 + 9 #U31 w: 0 #and w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 64 65 72 80 116 125 126 134 139 140 } Removed DPs: #2 #3 #16 #18 #20..22 #24 #25 #52 #58..60 #62 #70 #71 #76 #78 #79 #93 #96 #97 #104 #110 #123 #124 #128 #133 #136 #149 #150 #170 #171 #177..179 #196 #198 #199 #203 Number of SCCs: 0, DPs: 0