/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: 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 poly ... failed. Freezing ... 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 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (x1) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #186 Number of SCCs: 27, DPs: 106 SCC { #155 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (x1) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #155 Number of SCCs: 26, DPs: 105 SCC { #32 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (x1) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #32 Number of SCCs: 25, DPs: 104 SCC { #126 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (x1) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #126 Number of SCCs: 24, DPs: 103 SCC { #134 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (x1) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #134 Number of SCCs: 23, DPs: 102 SCC { #180 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (0) #isList(x1) w: (x1) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #180 Number of SCCs: 22, DPs: 101 SCC { #138 #165 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (x1) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #138 #165 Number of SCCs: 21, DPs: 99 SCC { #36 #125 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (x1) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #36 #125 Number of SCCs: 20, DPs: 97 SCC { #106 #131 } Sum... succeeded. a() w: (0) #U72(x1) w: (x1) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #106 #131 Number of SCCs: 19, DPs: 95 SCC { #56 #88 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (x1) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #56 #88 Number of SCCs: 18, DPs: 93 SCC { #35 #85 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (x1) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #35 #85 Number of SCCs: 17, DPs: 91 SCC { #53 #89 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (x1) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #53 #89 Number of SCCs: 16, DPs: 89 SCC { #84 #204 } Sum... succeeded. a() w: (0) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (0) #isPalListKind(x1) w: (0) U11(x1,x2) w: (0) isNeList(x1) w: (0) isPal(x1) w: (0) U42(x1,x2) w: (0) u() w: (0) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (0) isNePal(x1) w: (0) U72(x1) w: (0) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (0) #U62(x1) w: (x1) ok(x1) w: (1 + x1) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (0) #proper(x1) w: (0) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (0) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (0) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (0) U51(x1,x2,x3) w: (0) isPalListKind(x1) w: (0) U53(x1) w: (0) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #84 #204 Number of SCCs: 15, DPs: 87 SCC { #156 #190 } Sum... Max... QLPOpS... succeeded. a() 5 #U72(x1) 0[] #U32(x1) 0[] U21(x1,x2,x3) 7[x1,x2,x3] #isPalListKind(x1) 0[] U11(x1,x2) 5[x2,x1] isNeList(x1) 5[x1] isPal(x1) 8[x1] U42(x1,x2) 6[x1,x2] u() 5 U71(x1,x2) 5[x2,x1] top(x1) 0[] and(x1,x2) 4[x1,x2] #isNeList(x1) 0[] U43(x1) 3[x1] #U23(x1) 0[] #U53(x1) 0[] #top(x1) 0[x1] #__(x1,x2) 0[x1] #U43(x1) 0[] U23(x1) 2[x1] isNePal(x1) 5[x1] U72(x1) 2[x1] #isQid(x1) 0[] #isPal(x1) 0[] #U52(x1,x2) 0[x2] U12(x1) 4[x1] isQid(x1) 0[x1] o() 5 #U42(x1,x2) 0[x2,x1] #U12(x1) 0[] proper(x1) x1 #U62(x1) 0[] ok(x1) x1 isList(x1) 6[x1] #isNePal(x1) 0[] nil() 5 U62(x1) 2[x1] mark(x1) 2[x1] #isList(x1) 0[] U32(x1) 2[x1] #proper(x1) 0[] i() 5 U52(x1,x2) 6[x2,x1] U61(x1,x2) 3[x1,x2] #U51(x1,x2,x3) 0[x3,x1,x2] e() 5 #U11(x1,x2) 0[x2,x1] active(x1) x1 U31(x1,x2) 3[x1,x2] #U41(x1,x2,x3) 0[x2,x1] #active(x1) 0[] #U21(x1,x2,x3) 0[x1,x2] #U22(x1,x2) 0[x1,x2] tt() 4 #U71(x1,x2) 0[x2] U22(x1,x2) 6[x2,x1] U51(x1,x2,x3) 7[x3,x2,x1] isPalListKind(x1) x1 U53(x1) 3[x1] U41(x1,x2,x3) 7[x1,x2,x3] #U31(x1,x2) 0[x2,x1] #and(x1,x2) 0[x2] __(x1,x2) 8[x1,x2] #U61(x1,x2) 0[x2,x1] USABLE RULES: { 1..140 } Removed DPs: #190 Number of SCCs: 15, DPs: 86 SCC { #156 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (x2) isNeList(x1) w: (x1) isPal(x1) w: (x1) U42(x1,x2) w: (x1) u() w: (1) U71(x1,x2) w: (x2) top(x1) w: (0) and(x1,x2) w: (x2) #isNeList(x1) w: (0) U43(x1) w: (x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (x1) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (x1) isNePal(x1) w: (x1) U72(x1) w: (x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (x1) isQid(x1) w: (x1) o() w: (1) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (7364) #U62(x1) w: (0) ok(x1) w: (7363 + x1) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (x1) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (1) U52(x1,x2) w: (x1) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (0) active(x1) w: (1 + x1) U31(x1,x2) w: (x2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (x2) U51(x1,x2,x3) w: (x3) isPalListKind(x1) w: (x1) U53(x1) w: (x1) U41(x1,x2,x3) w: (x3) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (x2) #U61(x1,x2) w: (0) USABLE RULES: { 1..140 } Removed DPs: #156 Number of SCCs: 14, DPs: 85 SCC { #12 #160 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (x2) isNeList(x1) w: (x1) isPal(x1) w: (x1) U42(x1,x2) w: (x1) u() w: (1) U71(x1,x2) w: (x2) top(x1) w: (0) and(x1,x2) w: (x2) #isNeList(x1) w: (0) U43(x1) w: (x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (x1) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (x1) isNePal(x1) w: (x1) U72(x1) w: (x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (x1) isQid(x1) w: (x1) o() w: (1) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (2) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (x1) mark(x1) w: (0) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (1) U52(x1,x2) w: (x1) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (9122 + x2) active(x1) w: (1 + x1) U31(x1,x2) w: (x2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (x2) U51(x1,x2,x3) w: (x3) isPalListKind(x1) w: (x1) U53(x1) w: (x1) U41(x1,x2,x3) w: (x3) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (x2) #U61(x1,x2) w: (0) USABLE RULES: { 1..140 } Removed DPs: #160 Number of SCCs: 14, DPs: 84 SCC { #12 } Sum... succeeded. a() w: (31051) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (4) isPal(x1) w: (2) U42(x1,x2) w: (3) u() w: (12770) U71(x1,x2) w: (30716 + x1) top(x1) w: (0) and(x1,x2) w: (31327) #isNeList(x1) w: (0) U43(x1) w: (2) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (3) isNePal(x1) w: (3) U72(x1) w: (7205 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (2) isQid(x1) w: (3) o() w: (23723) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (8552) U62(x1) w: (2) mark(x1) w: (31329 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (12798) U52(x1,x2) w: (7624) U61(x1,x2) w: (31329) #U51(x1,x2,x3) w: (0) e() w: (27126) #U11(x1,x2) w: (9122 + x1) active(x1) w: (1 + x1) U31(x1,x2) w: (3 + x2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (2) isPalListKind(x1) w: (2) U53(x1) w: (3) U41(x1,x2,x3) w: (4) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (15945 + x2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #12 Number of SCCs: 13, DPs: 83 SCC { #94 #192 } Sum... succeeded. a() w: (31051) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (30695) isPal(x1) w: (14990) U42(x1,x2) w: (2) u() w: (1) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (3) #isNeList(x1) w: (0) U43(x1) w: (1682 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2291) U72(x1) w: (32010) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (2) isQid(x1) w: (16714) o() w: (23723) #U42(x1,x2) w: (0) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (17006 + x1) isList(x1) w: (12110) #isNePal(x1) w: (0) nil() w: (8552) U62(x1) w: (2) mark(x1) w: (3 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (12798) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (x2 + x1) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (645) isPalListKind(x1) w: (25346) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #94 #192 Number of SCCs: 12, DPs: 81 SCC { #37 #86 } Sum... succeeded. a() w: (48056) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (31633) isPal(x1) w: (17272) U42(x1,x2) w: (2) u() w: (25084) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (12449) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (3) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (2) isQid(x1) w: (16584) o() w: (23723) #U42(x1,x2) w: (25851 + x1) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (12106) #isNePal(x1) w: (0) nil() w: (25557) U62(x1) w: (2) mark(x1) w: (3 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (23380) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (131) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (8930) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (12875) isPalListKind(x1) w: (5437) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #37 #86 Number of SCCs: 11, DPs: 79 SCC { #31 #187 } Sum... succeeded. a() w: (9622) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (2) isPal(x1) w: (2) U42(x1,x2) w: (2) u() w: (17534) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (3) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (3) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (2) isQid(x1) w: (2) o() w: (27134) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3 + x1) isList(x1) w: (6465) #isNePal(x1) w: (0) nil() w: (31858) U62(x1) w: (2) mark(x1) w: (12449 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (23378) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (32022) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (11448) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (x2) #and(x1,x2) w: (0) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #187 Number of SCCs: 11, DPs: 78 SCC { #31 } Sum... succeeded. a() w: (9621) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (11336) isPal(x1) w: (6572) U42(x1,x2) w: (2) u() w: (17533) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (3) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (16851) U72(x1) w: (3) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (2) isQid(x1) w: (18123) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (4 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (2) mark(x1) w: (12449 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (23377) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3) isPalListKind(x1) w: (20759) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (x1) #and(x1,x2) w: (0) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #31 Number of SCCs: 10, DPs: 77 SCC { #182 #183 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (27345) isPal(x1) w: (2) U42(x1,x2) w: (2) u() w: (1) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (3) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (3) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733 + x1) U12(x1) w: (2) isQid(x1) w: (18123) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (4 + x1) isList(x1) w: (14396) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (2) mark(x1) w: (12447 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (10740) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (6263) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #182 #183 Number of SCCs: 9, DPs: 75 SCC { #11 #40 } Sum... succeeded. a() w: (6) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2 + x3 + x2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (25054) isNeList(x1) w: (2) isPal(x1) w: (22101) U42(x1,x2) w: (25378 + x2) u() w: (31389) U71(x1,x2) w: (18746) top(x1) w: (0) and(x1,x2) w: (2) #isNeList(x1) w: (0) U43(x1) w: (24897) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (7162) isNePal(x1) w: (2) U72(x1) w: (27437 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (1 + x1) isQid(x1) w: (26386) o() w: (9394) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (1 + x1) #isNePal(x1) w: (0) nil() w: (29718) U62(x1) w: (1 + x1) mark(x1) w: (2 + x1) #isList(x1) w: (0) U32(x1) w: (4810) #proper(x1) w: (0) i() w: (10745) U52(x1,x2) w: (30681 + x2) U61(x1,x2) w: (13579) #U51(x1,x2,x3) w: (0) e() w: (23403) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (32744) #U71(x1,x2) w: (0) U22(x1,x2) w: (5824) U51(x1,x2,x3) w: (21588) isPalListKind(x1) w: (2 + x1) U53(x1) w: (32240) U41(x1,x2,x3) w: (2652 + x2) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511 + x2) __(x1,x2) w: (30235) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #40 Number of SCCs: 9, DPs: 74 SCC { #11 } Sum... succeeded. a() w: (6) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (1218 + x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (2) isPal(x1) w: (2) U42(x1,x2) w: (17286 + x2) u() w: (1) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (2) #isNeList(x1) w: (0) U43(x1) w: (2) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (2) isQid(x1) w: (2) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (29718) U62(x1) w: (2) mark(x1) w: (22730 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (10745) U52(x1,x2) w: (2) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (4960) #U71(x1,x2) w: (0) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (2 + x3) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511 + x1) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #11 Number of SCCs: 8, DPs: 73 SCC { #87 #168 } Sum... succeeded. a() w: (6) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2 + x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (2094 + x1) isPal(x1) w: (2) U42(x1,x2) w: (2 + x2) u() w: (29895) U71(x1,x2) w: (2215) top(x1) w: (0) and(x1,x2) w: (25940) #isNeList(x1) w: (0) U43(x1) w: (23861) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (12572) isNePal(x1) w: (3) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (2) isQid(x1) w: (13963) o() w: (874) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3 + x1) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (294) U62(x1) w: (2) mark(x1) w: (22730 + x1) #isList(x1) w: (0) U32(x1) w: (928) #proper(x1) w: (0) i() w: (10745) U52(x1,x2) w: (14908 + x2 + x1) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (6583) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (14593 + x1) U22(x1,x2) w: (26412) U51(x1,x2,x3) w: (2 + x3) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (30824) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (2) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #87 #168 Number of SCCs: 7, DPs: 71 SCC { #100 #105 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2 + x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (28414 + x1) isPal(x1) w: (2) U42(x1,x2) w: (2 + x2) u() w: (1) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (2) #isNeList(x1) w: (0) U43(x1) w: (2) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (2) isQid(x1) w: (2) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (2) mark(x1) w: (4) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (1) U52(x1,x2) w: (8183 + x2 + x1) U61(x1,x2) w: (2) #U51(x1,x2,x3) w: (0) e() w: (24444) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (14593) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3 + x3) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (2) #U61(x1,x2) w: (2 + x2) USABLE RULES: { } Removed DPs: #105 Number of SCCs: 7, DPs: 70 SCC { #100 } Sum... succeeded. a() w: (6727) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2 + x3) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (8662 + x1) isPal(x1) w: (2) U42(x1,x2) w: (2 + x2) u() w: (17953) U71(x1,x2) w: (2) top(x1) w: (0) and(x1,x2) w: (2) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (2) isNePal(x1) w: (2) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (19903) isQid(x1) w: (16201) o() w: (28263) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (1 + x1) isList(x1) w: (x1) #isNePal(x1) w: (0) nil() w: (21079) U62(x1) w: (2) mark(x1) w: (7 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (14683) U52(x1,x2) w: (1 + x2 + x1) U61(x1,x2) w: (1 + x1) #U51(x1,x2,x3) w: (0) e() w: (19287) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (14593) U22(x1,x2) w: (26470) U51(x1,x2,x3) w: (3 + x3) isPalListKind(x1) w: (2) U53(x1) w: (2) U41(x1,x2,x3) w: (x3 + x2) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (2) #U61(x1,x2) w: (2 + x1) USABLE RULES: { } Removed DPs: #100 Number of SCCs: 6, DPs: 69 SCC { #26 #147 } Sum... succeeded. a() w: (6727) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (21100) #isPalListKind(x1) w: (0) U11(x1,x2) w: (28403) isNeList(x1) w: (28564) isPal(x1) w: (20441) U42(x1,x2) w: (17644 + x2 + x1) u() w: (1) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (23568 + x1) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (28403) isNePal(x1) w: (22461) U72(x1) w: (28402) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (28403) isQid(x1) w: (2558) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3284 + x1) isList(x1) w: (22560) #isNePal(x1) w: (0) nil() w: (21079) U62(x1) w: (28403) mark(x1) w: (28404) #isList(x1) w: (0) U32(x1) w: (28403) #proper(x1) w: (0) i() w: (14683) U52(x1,x2) w: (22401) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (28402) U31(x1,x2) w: (28403) #U41(x1,x2,x3) w: (x3 + x2) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (27531) U51(x1,x2,x3) w: (28403) isPalListKind(x1) w: (31693) U53(x1) w: (28403) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (28403) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #147 Number of SCCs: 6, DPs: 68 SCC { #26 } Sum... succeeded. a() w: (32168) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (3) isNeList(x1) w: (11100) isPal(x1) w: (1766) U42(x1,x2) w: (1 + x2 + x1) u() w: (3316) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (1 + x1) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (10548) isNePal(x1) w: (22461) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (3) isQid(x1) w: (2) o() w: (590) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (3) mark(x1) w: (28404 + x1) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (12011) U52(x1,x2) w: (0) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (1385) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (3) #U41(x1,x2,x3) w: (x1) #active(x1) w: (0) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3) isPalListKind(x1) w: (2) U53(x1) w: (3) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (3) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #26 Number of SCCs: 5, DPs: 67 SCC { #139 #181 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (3) isNeList(x1) w: (2) isPal(x1) w: (18925) U42(x1,x2) w: (1 + x2 + x1) u() w: (20243) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (162 + x1) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (3) isNePal(x1) w: (2) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (3) isQid(x1) w: (2) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (2 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (22526) U62(x1) w: (3) mark(x1) w: (3 + x1) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (1) U52(x1,x2) w: (0) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (29086) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (3) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398 + x2) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (25459) isPalListKind(x1) w: (2) U53(x1) w: (3) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (3) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #139 Number of SCCs: 5, DPs: 66 SCC { #181 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (3) isNeList(x1) w: (2) isPal(x1) w: (2) U42(x1,x2) w: (1 + x2 + x1) u() w: (19143) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (8643) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (31374) isNePal(x1) w: (2) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (3) isQid(x1) w: (5) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (3 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (3) mark(x1) w: (3 + x1) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (18743) U52(x1,x2) w: (0) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (0) e() w: (6019) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (3) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398 + x1) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3) isPalListKind(x1) w: (2) U53(x1) w: (3) U41(x1,x2,x3) w: (0) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (3) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #181 Number of SCCs: 4, DPs: 65 SCC { #74 #121 } Sum... succeeded. a() w: (4558) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2) #isPalListKind(x1) w: (0) U11(x1,x2) w: (3) isNeList(x1) w: (2) isPal(x1) w: (2) U42(x1,x2) w: (1 + x2 + x1) u() w: (17847) U71(x1,x2) w: (0) top(x1) w: (0) and(x1,x2) w: (25271) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (22268) isNePal(x1) w: (971) U72(x1) w: (2) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (3) isQid(x1) w: (2) o() w: (21601) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (5 + x1) isList(x1) w: (2) #isNePal(x1) w: (0) nil() w: (29818) U62(x1) w: (3) mark(x1) w: (3 + x1) #isList(x1) w: (0) U32(x1) w: (x1) #proper(x1) w: (0) i() w: (18744) U52(x1,x2) w: (0) U61(x1,x2) w: (x1) #U51(x1,x2,x3) w: (27758 + x3 + x1) e() w: (6020) #U11(x1,x2) w: (9122) active(x1) w: (2) U31(x1,x2) w: (3) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (2) U51(x1,x2,x3) w: (3) isPalListKind(x1) w: (21423) U53(x1) w: (3) U41(x1,x2,x3) w: (1) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (3) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #74 #121 Number of SCCs: 3, DPs: 63 SCC { #46 #137 #142 } Sum... succeeded. a() w: (22068) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (29898 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (24304) isNeList(x1) w: (14844) isPal(x1) w: (21383) U42(x1,x2) w: (24247) u() w: (14651) U71(x1,x2) w: (2716 + x1) top(x1) w: (0) and(x1,x2) w: (14008) #isNeList(x1) w: (0) U43(x1) w: (12227) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (10251 + x1) #U43(x1) w: (0) U23(x1) w: (1 + x1) isNePal(x1) w: (26959) U72(x1) w: (22438 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (28987 + x1) isQid(x1) w: (30823) o() w: (16008) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1 + x1) #U62(x1) w: (0) ok(x1) w: (2 + x1) isList(x1) w: (8771) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (21111) mark(x1) w: (2 + x1) #isList(x1) w: (0) U32(x1) w: (25260) #proper(x1) w: (0) i() w: (17930) U52(x1,x2) w: (3929) U61(x1,x2) w: (13398 + x2 + x1) #U51(x1,x2,x3) w: (27758) e() w: (6024) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (24366) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (14593) U22(x1,x2) w: (25129 + x2 + x1) U51(x1,x2,x3) w: (25056) isPalListKind(x1) w: (26612) U53(x1) w: (16856) U41(x1,x2,x3) w: (15390) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (22926) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #46 #137 Number of SCCs: 3, DPs: 61 SCC { #142 } Sum... succeeded. a() w: (16545) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (1 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (2) isNeList(x1) w: (14844) isPal(x1) w: (1) U42(x1,x2) w: (24247) u() w: (3375) U71(x1,x2) w: (1 + x1) top(x1) w: (0) and(x1,x2) w: (2) #isNeList(x1) w: (0) U43(x1) w: (2) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (10251 + x2) #U43(x1) w: (0) U23(x1) w: (1 + x1) isNePal(x1) w: (26959) U72(x1) w: (1 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (1 + x1) isQid(x1) w: (1) o() w: (1663) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1 + x1) #U62(x1) w: (0) ok(x1) w: (2 + x1) isList(x1) w: (1) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (23695) mark(x1) w: (2 + x1) #isList(x1) w: (0) U32(x1) w: (2) #proper(x1) w: (0) i() w: (17930) U52(x1,x2) w: (2) U61(x1,x2) w: (1 + x2 + x1) #U51(x1,x2,x3) w: (27758) e() w: (15909) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (2) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (30035) #U71(x1,x2) w: (14593) U22(x1,x2) w: (1 + x2 + x1) U51(x1,x2,x3) w: (22481) isPalListKind(x1) w: (1) U53(x1) w: (2) U41(x1,x2,x3) w: (2) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (2) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #142 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 } Sum... succeeded. a() w: (16545) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (1 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (1 + x1) isNeList(x1) w: (1) isPal(x1) w: (0) U42(x1,x2) w: (x1) u() w: (12242) U71(x1,x2) w: (1 + x1) top(x1) w: (0) and(x1,x2) w: (29038 + x2 + x1) #isNeList(x1) w: (0) U43(x1) w: (21899 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (10251) #U43(x1) w: (0) U23(x1) w: (1 + x1) isNePal(x1) w: (1) U72(x1) w: (1 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (1 + x1) isQid(x1) w: (0) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (2 + x1) isList(x1) w: (1) #isNePal(x1) w: (0) nil() w: (22809) U62(x1) w: (357 + x1) mark(x1) w: (20215 + x1) #isList(x1) w: (0) U32(x1) w: (23852 + x1) #proper(x1) w: (0) i() w: (17930) U52(x1,x2) w: (10336 + x1) U61(x1,x2) w: (1 + x2 + x1) #U51(x1,x2,x3) w: (27758) e() w: (15909) #U11(x1,x2) w: (9122) active(x1) w: (0) U31(x1,x2) w: (17802 + x1) #U41(x1,x2,x3) w: (0) #active(x1) w: (x1) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (1715 + x2 + x1) U51(x1,x2,x3) w: (1 + x3 + x1) isPalListKind(x1) w: (21859) U53(x1) w: (2712 + x1) U41(x1,x2,x3) w: (12841 + x3 + x1) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (1 + x2 + x1) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #14 #28 #30 #34 #39 #42 #50 #55 #64 #73 #91 #102 #112 #116 #118 #141 #159 #167 #206 Number of SCCs: 2, DPs: 41 SCC { #189 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (1 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (1 + x1) isNeList(x1) w: (1) isPal(x1) w: (0) U42(x1,x2) w: (1 + x1) u() w: (885) U71(x1,x2) w: (1 + x1) top(x1) w: (0) and(x1,x2) w: (1 + x2 + x1) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (10251) #U43(x1) w: (0) U23(x1) w: (1 + x1) isNePal(x1) w: (1) U72(x1) w: (2594 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (3 + x1) isQid(x1) w: (0) o() w: (2971) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (1) #U62(x1) w: (0) ok(x1) w: (2 + x1) isList(x1) w: (1) #isNePal(x1) w: (0) nil() w: (25277) U62(x1) w: (1 + x1) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(x1) w: (1 + x1) #proper(x1) w: (0) i() w: (1) U52(x1,x2) w: (1 + x1) U61(x1,x2) w: (1 + x2 + x1) #U51(x1,x2,x3) w: (27758) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (0) U31(x1,x2) w: (1 + x1) #U41(x1,x2,x3) w: (0) #active(x1) w: (x1) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (14593) U22(x1,x2) w: (1 + x2 + x1) U51(x1,x2,x3) w: (1 + x3 + x1) isPalListKind(x1) w: (2) U53(x1) w: (1 + x1) U41(x1,x2,x3) w: (28679 + x3 + x1) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (1 + x2 + x1) #U61(x1,x2) w: (2) USABLE RULES: { } Removed DPs: #189 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 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (1 + x3 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (19215 + x2 + x1) isNeList(x1) w: (27772 + x1) isPal(x1) w: (1 + x1) U42(x1,x2) w: (1 + x2 + x1) u() w: (1) U71(x1,x2) w: (1 + x2 + x1) top(x1) w: (0) and(x1,x2) w: (1 + x2 + x1) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #top(x1) w: (0) #__(x1,x2) w: (10251) #U43(x1) w: (0) U23(x1) w: (21575 + x1) isNePal(x1) w: (8439 + x1) U72(x1) w: (1 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (19733) U12(x1) w: (1 + x1) isQid(x1) w: (27289 + x1) o() w: (1) #U42(x1,x2) w: (25851) #U12(x1) w: (0) proper(x1) w: (9069) #U62(x1) w: (0) ok(x1) w: (9069 + x1) isList(x1) w: (16373 + x1) #isNePal(x1) w: (0) nil() w: (11564) U62(x1) w: (12043 + x1) mark(x1) w: (21717) #isList(x1) w: (0) U32(x1) w: (1 + x1) #proper(x1) w: (x1) i() w: (1) U52(x1,x2) w: (1 + x2 + x1) U61(x1,x2) w: (1 + x2 + x1) #U51(x1,x2,x3) w: (27758) e() w: (1) #U11(x1,x2) w: (9122) active(x1) w: (1) U31(x1,x2) w: (1 + x2 + x1) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (23398) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (14593) U22(x1,x2) w: (1 + x2 + x1) U51(x1,x2,x3) w: (1 + x3 + x2 + x1) isPalListKind(x1) w: (29463 + x1) U53(x1) w: (1 + x1) U41(x1,x2,x3) w: (12990 + x3 + x2 + x1) #U31(x1,x2) w: (0) #and(x1,x2) w: (21511) __(x1,x2) w: (1 + x2 + x1) #U61(x1,x2) w: (2) USABLE RULES: { 64 65 69 70 78 116 121..123 132 } 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