/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 poly ... failed. Freezing ... 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 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #182 #235 Number of SCCs: 25, DPs: 138 SCC { #109 #208 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (x1) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #109 #208 Number of SCCs: 24, DPs: 136 SCC { #174 #209 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #174 #209 Number of SCCs: 23, DPs: 134 SCC { #156 #231 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #156 #231 Number of SCCs: 22, DPs: 132 SCC { #76 #123 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #76 #123 Number of SCCs: 21, DPs: 130 SCC { #58 #60 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #58 #60 Number of SCCs: 20, DPs: 128 SCC { #68 #117 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (x1) #__(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #68 #117 Number of SCCs: 19, DPs: 126 SCC { #145 #229 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #145 #229 Number of SCCs: 18, DPs: 124 SCC { #37 #48 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (x1) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #37 #48 Number of SCCs: 17, DPs: 122 SCC { #36 #75 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) isList(x1) w: (0) #isNePal(x1) w: (x1) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (0) U32(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: (1 + x1) 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 #75 Number of SCCs: 16, DPs: 120 SCC { #92 #136 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #92 #136 Number of SCCs: 15, DPs: 118 SCC { #27 #87 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) isList(x1) w: (0) #isNePal(x1) w: (0) nil() w: (0) U62(x1) w: (0) mark(x1) w: (1 + x1) #isList(x1) w: (x1) U32(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: (1 + x1) 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: #27 #87 Number of SCCs: 14, DPs: 116 SCC { #2 #175 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (x1) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #2 #175 Number of SCCs: 13, DPs: 114 SCC { #59 #104 #149 #188 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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: (x1) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #59 #104 Number of SCCs: 13, DPs: 112 SCC { #149 #188 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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: (x2) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #149 #188 Number of SCCs: 12, DPs: 110 SCC { #13 #103 #118 #242 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (x1) active(x1) w: (1 + x1) 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: #118 #242 Number of SCCs: 12, DPs: 108 SCC { #13 #103 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (x2) active(x1) w: (1 + x1) 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: #13 #103 Number of SCCs: 11, DPs: 106 SCC { #91 #105 #114 #219 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #__(x1,x2) w: (x1) #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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #91 #105 Number of SCCs: 11, DPs: 104 SCC { #114 #219 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(x1) w: (0) #__(x1,x2) w: (x2) #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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #114 #219 Number of SCCs: 10, DPs: 102 SCC { #183 #196 #223 #230 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x1) 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: #183 #223 Number of SCCs: 10, DPs: 100 SCC { #196 #230 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x2) 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: #196 #230 Number of SCCs: 9, DPs: 98 SCC { #102 #135 #137 #214 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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: (x1) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #102 #135 Number of SCCs: 9, DPs: 96 SCC { #137 #214 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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: (x2) U12(x1) w: (0) isQid(x1) w: (0) o() w: (0) #U42(x1,x2) w: (0) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: #137 #214 Number of SCCs: 8, DPs: 94 SCC { #99 #146 #181 #201 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x2) USABLE RULES: { } Removed DPs: #181 #201 Number of SCCs: 8, DPs: 92 SCC { #99 #146 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x1) USABLE RULES: { } Removed DPs: #99 #146 Number of SCCs: 7, DPs: 90 SCC { #22 #57 #165 #184 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x2) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #22 #57 Number of SCCs: 7, DPs: 88 SCC { #165 #184 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x1) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #165 #184 Number of SCCs: 6, DPs: 86 SCC { #202 #236 #237 #241 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x2) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #202 #237 Number of SCCs: 6, DPs: 84 SCC { #236 #241 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x1) #and(x1,x2) w: (0) __(x1,x2) w: (0) #U61(x1,x2) w: (0) USABLE RULES: { } Removed DPs: #236 #241 Number of SCCs: 5, DPs: 82 SCC { #23 #28 #93 #107 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x2) 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: #23 #28 Number of SCCs: 5, DPs: 80 SCC { #93 #107 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) 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: (x1) 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: #93 #107 Number of SCCs: 4, DPs: 78 SCC { #41 #139 #172 #197 #210 #224 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (x2 + x1) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (1 + x1) 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: #41 #139 #197 #210 Number of SCCs: 4, DPs: 74 SCC { #172 #224 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) i() w: (0) U52(x1,x2) w: (0) U61(x1,x2) w: (0) #U51(x1,x2,x3) w: (x3) e() w: (0) #U11(x1,x2) w: (0) active(x1) w: (1 + x1) 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: #172 #224 Number of SCCs: 3, DPs: 72 SCC { #29 #74 #116 #140 #148 #150 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (x3 + x2) #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: #74 #116 #148 #150 Number of SCCs: 3, DPs: 68 SCC { #29 #140 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (0) #active(x1) w: (0) #U21(x1,x2,x3) w: (x1) #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: #29 #140 Number of SCCs: 2, DPs: 66 SCC { #21 #26 #43 #49 #67 #119 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (x2 + x1) #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: #26 #49 #67 #119 Number of SCCs: 2, DPs: 62 SCC { #21 #43 } 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) and(x1,x2) w: (0) #isNeList(x1) w: (0) U43(x1) w: (0) #U23(x1) w: (0) #U53(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) #U62(x1) w: (0) #mark(x1) w: (0) 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) 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: (1 + x1) U31(x1,x2) w: (0) #U41(x1,x2,x3) w: (x3) #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: #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 } Sum... succeeded. a() w: (5) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (26999 + x3 + x2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (5974 + x2 + x1) isNeList(x1) w: (5972 + x1) isPal(x1) w: (7 + x1) U42(x1,x2) w: (21020 + x2 + x1) u() w: (5) U71(x1,x2) w: (6 + x2 + x1) and(x1,x2) w: (x2 + x1) #isNeList(x1) w: (0) U43(x1) w: (1 + x1) #U23(x1) w: (0) #U53(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (15047 + x1) isNePal(x1) w: (4 + x1) U72(x1) w: (1 + x1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (1 + x1) isQid(x1) w: (1) o() w: (29273) #U42(x1,x2) w: (0) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (21101 + x1) isList(x1) w: (5975 + x1) #isNePal(x1) w: (0) nil() w: (14459) U62(x1) w: (1 + x1) mark(x1) w: (x1) #isList(x1) w: (0) U32(x1) w: (1 + x1) i() w: (26531) U52(x1,x2) w: (16461 + x2 + x1) U61(x1,x2) w: (3 + x1) #U51(x1,x2,x3) w: (0) e() w: (1) #U11(x1,x2) w: (0) active(x1) w: (x1) U31(x1,x2) w: (5971 + x2 + x1) #U41(x1,x2,x3) w: (0) #active(x1) w: (21101 + x1) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (0) #U71(x1,x2) w: (0) U22(x1,x2) w: (21023 + x2 + x1) U51(x1,x2,x3) w: (22434 + x3 + x2 + x1) isPalListKind(x1) w: (0) U53(x1) w: (10485 + x1) U41(x1,x2,x3) w: (26996 + x3 + x2 + x1) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (21025 + x2 + x1) #U61(x1,x2) 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 } Sum... Max... QLPOpS... succeeded. a() 4 #U72(x1) 0[] #U32(x1) 0[] U21(x1,x2,x3) x1 #isPalListKind(x1) 0[] U11(x1,x2) 2[x1] isNeList(x1) 1[] isPal(x1) 1[] U42(x1,x2) 1[] u() 6 U71(x1,x2) x1 and(x1,x2) x2 #isNeList(x1) 0[] U43(x1) x1 #U23(x1) 0[] #U53(x1) 0[] #__(x1,x2) 0[x2] #U43(x1) 0[] U23(x1) 1[] isNePal(x1) 1[x1] U72(x1) 1[] #isQid(x1) 0[] #isPal(x1) 0[] #U52(x1,x2) 0[x2] U12(x1) 1[] isQid(x1) x1 o() 4 #U42(x1,x2) 0[x1,x2] #U12(x1) 0[] #U62(x1) 0[] #mark(x1) 1[x1] isList(x1) 3[] #isNePal(x1) 0[] nil() 0 U62(x1) 1[] mark(x1) x1 #isList(x1) 0[] U32(x1) 1[] i() 4 U52(x1,x2) x1 U61(x1,x2) 0[x2,x1] #U51(x1,x2,x3) 0[x2] e() 6 #U11(x1,x2) 0[x1] active(x1) x1 U31(x1,x2) 1[] #U41(x1,x2,x3) 0[x3,x1,x2] #active(x1) 1[x1] #U21(x1,x2,x3) 0[x2,x1,x3] #U22(x1,x2) 0[x1] tt() 1 #U71(x1,x2) 0[] U22(x1,x2) 1[] U51(x1,x2,x3) x1 isPalListKind(x1) 1[] U53(x1) 1[] U41(x1,x2,x3) 1[] #U31(x1,x2) 0[x2,x1] #and(x1,x2) 0[x2,x1] __(x1,x2) 1[x1,x2] #U61(x1,x2) 0[x1] USABLE RULES: { 1..155 } Removed DPs: #220 Number of SCCs: 1, DPs: 5 SCC { #53 #108 #211 #213 #216 } Sum... succeeded. a() w: (1) #U72(x1) w: (0) #U32(x1) w: (0) U21(x1,x2,x3) w: (2 + x1) #isPalListKind(x1) w: (0) U11(x1,x2) w: (8483 + x1) isNeList(x1) w: (37799 + x1) isPal(x1) w: (1) U42(x1,x2) w: (1) u() w: (1) U71(x1,x2) w: (1) and(x1,x2) w: (4454 + x2 + x1) #isNeList(x1) w: (0) U43(x1) w: (1) #U23(x1) w: (0) #U53(x1) w: (0) #__(x1,x2) w: (0) #U43(x1) w: (0) U23(x1) w: (1) isNePal(x1) w: (37979 + x1) U72(x1) w: (1) #isQid(x1) w: (0) #isPal(x1) w: (0) #U52(x1,x2) w: (0) U12(x1) w: (3512) isQid(x1) w: (31122) o() w: (2655) #U42(x1,x2) w: (0) #U12(x1) w: (0) #U62(x1) w: (0) #mark(x1) w: (1 + x1) isList(x1) w: (22228 + x1) #isNePal(x1) w: (0) nil() w: (1) U62(x1) w: (1) mark(x1) w: (x1) #isList(x1) w: (0) U32(x1) w: (1) i() w: (24066) U52(x1,x2) w: (2679) U61(x1,x2) w: (24234 + x1) #U51(x1,x2,x3) w: (0) e() w: (15795) #U11(x1,x2) w: (0) active(x1) w: (x1) U31(x1,x2) w: (24054 + x1) #U41(x1,x2,x3) w: (0) #active(x1) w: (x1) #U21(x1,x2,x3) w: (0) #U22(x1,x2) w: (0) tt() w: (1) #U71(x1,x2) w: (0) U22(x1,x2) w: (3) U51(x1,x2,x3) w: (6355 + x1) isPalListKind(x1) w: (13745 + x1) U53(x1) w: (2679) U41(x1,x2,x3) w: (11242 + x1) #U31(x1,x2) w: (0) #and(x1,x2) w: (0) __(x1,x2) w: (18201 + x2 + x1) #U61(x1,x2) w: (0) USABLE RULES: { 1..155 } Removed DPs: #53 #108 #211 #213 #216 Number of SCCs: 0, DPs: 0