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