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())) -> mark(tt()) 5: active(U21(tt(),V2)) -> mark(U22(isList(V2))) 6: active(U22(tt())) -> mark(tt()) 7: active(U31(tt())) -> mark(tt()) 8: active(U41(tt(),V2)) -> mark(U42(isNeList(V2))) 9: active(U42(tt())) -> mark(tt()) 10: active(U51(tt(),V2)) -> mark(U52(isList(V2))) 11: active(U52(tt())) -> mark(tt()) 12: active(U61(tt())) -> mark(tt()) 13: active(U71(tt(),P)) -> mark(U72(isPal(P))) 14: active(U72(tt())) -> mark(tt()) 15: active(U81(tt())) -> mark(tt()) 16: active(isList(V)) -> mark(U11(isNeList(V))) 17: active(isList(nil())) -> mark(tt()) 18: active(isList(__(V1,V2))) -> mark(U21(isList(V1),V2)) 19: active(isNeList(V)) -> mark(U31(isQid(V))) 20: active(isNeList(__(V1,V2))) -> mark(U41(isList(V1),V2)) 21: active(isNeList(__(V1,V2))) -> mark(U51(isNeList(V1),V2)) 22: active(isNePal(V)) -> mark(U61(isQid(V))) 23: active(isNePal(__(I,__(P,I)))) -> mark(U71(isQid(I),P)) 24: active(isPal(V)) -> mark(U81(isNePal(V))) 25: active(isPal(nil())) -> mark(tt()) 26: active(isQid(a())) -> mark(tt()) 27: active(isQid(e())) -> mark(tt()) 28: active(isQid(i())) -> mark(tt()) 29: active(isQid(o())) -> mark(tt()) 30: active(isQid(u())) -> mark(tt()) 31: active(__(X1,X2)) -> __(active(X1),X2) 32: active(__(X1,X2)) -> __(X1,active(X2)) 33: active(U11(X)) -> U11(active(X)) 34: active(U21(X1,X2)) -> U21(active(X1),X2) 35: active(U22(X)) -> U22(active(X)) 36: active(U31(X)) -> U31(active(X)) 37: active(U41(X1,X2)) -> U41(active(X1),X2) 38: active(U42(X)) -> U42(active(X)) 39: active(U51(X1,X2)) -> U51(active(X1),X2) 40: active(U52(X)) -> U52(active(X)) 41: active(U61(X)) -> U61(active(X)) 42: active(U71(X1,X2)) -> U71(active(X1),X2) 43: active(U72(X)) -> U72(active(X)) 44: active(U81(X)) -> U81(active(X)) 45: __(mark(X1),X2) -> mark(__(X1,X2)) 46: __(X1,mark(X2)) -> mark(__(X1,X2)) 47: U11(mark(X)) -> mark(U11(X)) 48: U21(mark(X1),X2) -> mark(U21(X1,X2)) 49: U22(mark(X)) -> mark(U22(X)) 50: U31(mark(X)) -> mark(U31(X)) 51: U41(mark(X1),X2) -> mark(U41(X1,X2)) 52: U42(mark(X)) -> mark(U42(X)) 53: U51(mark(X1),X2) -> mark(U51(X1,X2)) 54: U52(mark(X)) -> mark(U52(X)) 55: U61(mark(X)) -> mark(U61(X)) 56: U71(mark(X1),X2) -> mark(U71(X1,X2)) 57: U72(mark(X)) -> mark(U72(X)) 58: U81(mark(X)) -> mark(U81(X)) 59: proper(__(X1,X2)) -> __(proper(X1),proper(X2)) 60: proper(nil()) -> ok(nil()) 61: proper(U11(X)) -> U11(proper(X)) 62: proper(tt()) -> ok(tt()) 63: proper(U21(X1,X2)) -> U21(proper(X1),proper(X2)) 64: proper(U22(X)) -> U22(proper(X)) 65: proper(isList(X)) -> isList(proper(X)) 66: proper(U31(X)) -> U31(proper(X)) 67: proper(U41(X1,X2)) -> U41(proper(X1),proper(X2)) 68: proper(U42(X)) -> U42(proper(X)) 69: proper(isNeList(X)) -> isNeList(proper(X)) 70: proper(U51(X1,X2)) -> U51(proper(X1),proper(X2)) 71: proper(U52(X)) -> U52(proper(X)) 72: proper(U61(X)) -> U61(proper(X)) 73: proper(U71(X1,X2)) -> U71(proper(X1),proper(X2)) 74: proper(U72(X)) -> U72(proper(X)) 75: proper(isPal(X)) -> isPal(proper(X)) 76: proper(U81(X)) -> U81(proper(X)) 77: proper(isQid(X)) -> isQid(proper(X)) 78: proper(isNePal(X)) -> isNePal(proper(X)) 79: proper(a()) -> ok(a()) 80: proper(e()) -> ok(e()) 81: proper(i()) -> ok(i()) 82: proper(o()) -> ok(o()) 83: proper(u()) -> ok(u()) 84: __(ok(X1),ok(X2)) -> ok(__(X1,X2)) 85: U11(ok(X)) -> ok(U11(X)) 86: U21(ok(X1),ok(X2)) -> ok(U21(X1,X2)) 87: U22(ok(X)) -> ok(U22(X)) 88: isList(ok(X)) -> ok(isList(X)) 89: U31(ok(X)) -> ok(U31(X)) 90: U41(ok(X1),ok(X2)) -> ok(U41(X1,X2)) 91: U42(ok(X)) -> ok(U42(X)) 92: isNeList(ok(X)) -> ok(isNeList(X)) 93: U51(ok(X1),ok(X2)) -> ok(U51(X1,X2)) 94: U52(ok(X)) -> ok(U52(X)) 95: U61(ok(X)) -> ok(U61(X)) 96: U71(ok(X1),ok(X2)) -> ok(U71(X1,X2)) 97: U72(ok(X)) -> ok(U72(X)) 98: isPal(ok(X)) -> ok(isPal(X)) 99: U81(ok(X)) -> ok(U81(X)) 100: isQid(ok(X)) -> ok(isQid(X)) 101: isNePal(ok(X)) -> ok(isNePal(X)) 102: top(mark(X)) -> top(proper(X)) 103: top(ok(X)) -> top(active(X)) Number of strict rules: 103 Direct POLO(bPol) ... removes: 18 4 15 8 3 16 21 26 17 27 22 28 5 10 20 25 30 14 12 23 24 11 13 29 2 a w: 5011 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: x1 isPal w: x1 + 4 U42 w: x1 u w: 12764 U71 w: x1 + x2 + 2 top w: x1 isNePal w: x1 + 2 U72 w: x1 + 1 isQid w: x1 o w: 5107 proper w: x1 ok w: x1 isList w: x1 + 2 nil w: 4381 mark w: x1 i w: 31598 U52 w: x1 + 1 U61 w: x1 + 1 e w: 5 active w: x1 U31 w: x1 U81 w: x1 + 1 tt w: 4 U22 w: x1 U51 w: x1 + x2 U41 w: x1 + x2 + 20642 __ w: x1 + x2 + 24629 Number of strict rules: 78 Direct POLO(bPol) ... removes: 7 6 a w: 10218 U21 w: x1 + x2 + 22516 U11 w: x1 + 22514 isNeList w: x1 + 7 isPal w: x1 + 16805 U42 w: x1 u w: 10218 U71 w: 2 * x1 + x2 + 6332 top w: x1 + 10533 isNePal w: x1 + 5 U72 w: x1 + 1 isQid w: x1 + 4 o w: 10218 proper w: x1 ok w: x1 isList w: x1 + 22521 nil w: 27742 mark w: x1 i w: 10218 U52 w: x1 + 1 U61 w: x1 + 1 e w: 10218 active w: x1 U31 w: x1 + 3 U81 w: x1 + 16800 tt w: 10222 U22 w: x1 + 10217 U51 w: x1 + x2 + 12300 U41 w: x1 + x2 + 2 __ w: x1 + x2 + 22516 Number of strict rules: 76 Direct POLO(bPol) ... removes: 19 9 a w: 16520 U21 w: x1 + 2 * x2 + 56272 U11 w: x1 + 18653 isNeList w: 2 * x1 + 80943 isPal w: x1 + 94079 U42 w: x1 + 1 u w: 24127 U71 w: x1 + x2 + 52990 top w: x1 + 30899 isNePal w: x1 + 84172 U72 w: x1 + 2236 isQid w: x1 + 59935 o w: 26082 proper w: x1 ok w: x1 isList w: 2 * x1 + 99596 nil w: 1 mark w: x1 i w: 9911 U52 w: x1 + 1 U61 w: x1 + 24237 e w: 3079 active w: x1 U31 w: x1 + 21007 U81 w: x1 + 9907 tt w: 43325 U22 w: x1 + 1 U51 w: x1 + 2 * x2 + 56272 U41 w: x1 + 2 * x2 + 37619 __ w: x1 + x2 + 28136 Number of strict rules: 74 Direct POLO(bPol) ... removes: 102 1 45 a w: 72795 U21 w: x1 + x2 + 14807 U11 w: x1 + 2741 isNeList w: x1 + 31085 isPal w: x1 + 38296 U42 w: x1 + 2320 u w: 10422 U71 w: x1 + x2 + 875 top w: x1 + 37322 isNePal w: x1 + 35135 U72 w: x1 + 1887 isQid w: x1 + 28888 o w: 10422 proper w: x1 ok w: x1 isList w: x1 + 33827 nil w: 5483 mark w: x1 + 1 i w: 10422 U52 w: x1 + 11926 U61 w: x1 + 646 e w: 14947 active w: x1 U31 w: x1 + 2196 U81 w: x1 + 3160 tt w: 39309 U22 w: x1 + 15038 U51 w: x1 + x2 + 6445 U41 w: x1 + x2 + 12065 __ w: 2 * x1 + x2 + 14808 Number of strict rules: 71 Direct POLO(bPol) ... removes: 55 48 53 a w: 9258 U21 w: 2 * x1 + x2 + 5372 U11 w: x1 + 1 isNeList w: x1 + 28234 isPal w: 2 * x1 + 180689 U42 w: x1 + 12292 u w: 9258 U71 w: x1 + 2 * x2 + 169616 top w: x1 + 50468 isNePal w: 2 * x1 + 77094 U72 w: x1 + 26412 isQid w: x1 + 28229 o w: 9258 proper w: x1 ok w: x1 isList w: x1 + 28237 nil w: 21301 mark w: x1 + 1 i w: 9258 U52 w: x1 + 3 U61 w: 2 * x1 + 20635 e w: 9258 active w: x1 U31 w: x1 + 4 U81 w: x1 + 103594 tt w: 37486 U22 w: x1 + 25058 U51 w: 2 * x1 + x2 + 2200 U41 w: x1 + x2 + 3041 __ w: 2 * x1 + x2 + 33610 Number of strict rules: 68 Direct POLO(bPol) ... removes: 51 a w: 67159 U21 w: x1 + x2 + 4302 U11 w: x1 + 1 isNeList w: x1 + 3 isPal w: x1 + 12310 U42 w: x1 + 7 u w: 51913 U71 w: x1 + x2 + 227 top w: 2 * x1 + 82258 isNePal w: x1 + 5142 U72 w: x1 + 1021 isQid w: x1 + 1 o w: 13105 proper w: x1 ok w: x1 isList w: x1 + 5 nil w: 13101 mark w: x1 + 1 i w: 67695 U52 w: x1 + 22785 U61 w: x1 + 5140 e w: 24245 active w: x1 U31 w: x1 + 1 U81 w: x1 + 7167 tt w: 13105 U22 w: x1 + 6650 U51 w: x1 + x2 + 10826 U41 w: 2 * x1 + x2 + 7318 __ w: 2 * x1 + x2 + 20918 Number of strict rules: 67 Direct POLO(bPol) ... removes: 56 a w: 32211 U21 w: x1 + x2 U11 w: x1 + 1 isNeList w: x1 + 3 isPal w: x1 + 5 U42 w: x1 + 50506 u w: 32211 U71 w: 2 * x1 + x2 top w: x1 + 88693 isNePal w: x1 + 3 U72 w: x1 + 58557 isQid w: x1 + 1 o w: 32211 proper w: x1 ok w: x1 isList w: x1 + 5 nil w: 32207 mark w: x1 + 1 i w: 32211 U52 w: x1 + 11225 U61 w: x1 + 1 e w: 33512 active w: x1 U31 w: x1 + 1 U81 w: x1 + 1 tt w: 32211 U22 w: x1 + 32205 U51 w: x1 + x2 + 8857 U41 w: 2 * x1 + x2 + 3772 __ w: 2 * x1 + x2 + 18569 Number of strict rules: 66 Direct POLO(bPol) ... removes: 58 a w: 10 U21 w: x1 + x2 + 47790 U11 w: x1 + 22504 isNeList w: x1 + 12 isPal w: 2 * x1 + 152590 U42 w: x1 + 1 u w: 10 U71 w: x1 + 2 * x2 + 152993 top w: x1 + 101193 isNePal w: x1 + 71085 U72 w: x1 + 416 isQid w: x1 + 5 o w: 10 proper w: x1 ok w: x1 isList w: x1 + 22519 nil w: 19303 mark w: x1 + 1 i w: 10 U52 w: x1 + 7989 U61 w: x1 + 71079 e w: 10 active w: x1 U31 w: x1 + 6 U81 w: 2 * x1 + 10419 tt w: 14 U22 w: x1 + 23792 U51 w: x1 + x2 + 30495 U41 w: x1 + x2 __ w: 2 * x1 + x2 + 47791 Number of strict rules: 65 Direct POLO(bPol) ... removes: 57 a w: 6 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: x1 + 30686 isPal w: x1 + 30688 U42 w: x1 + 3 u w: 6 U71 w: x1 + 2 * x2 + 39843 top w: x1 + 146567 isNePal w: x1 + 30686 U72 w: 2 * x1 + 9155 isQid w: x1 + 30684 o w: 6 proper w: x1 ok w: x1 isList w: x1 + 30688 nil w: 2 mark w: x1 + 1 i w: 6 U52 w: x1 + 2 U61 w: x1 + 1 e w: 31882 active w: x1 U31 w: x1 + 1 U81 w: x1 + 1 tt w: 30689 U22 w: x1 + 1 U51 w: x1 + x2 + 2 U41 w: x1 + x2 + 8635 __ w: 2 * x1 + x2 + 39314 Number of strict rules: 64 Direct POLO(bPol) ... removes: 50 a w: 5966 U21 w: x1 + 2 * x2 + 22758 U11 w: x1 + 1 isNeList w: 2 * x1 + 28721 isPal w: 2 * x1 + 137517 U42 w: x1 + 38550 u w: 5966 U71 w: 2 * x1 + 2 * x2 + 130356 top w: x1 + 160970 isNePal w: x1 + 61101 U72 w: x1 + 4772 isQid w: x1 + 2 o w: 5966 proper w: x1 ok w: x1 isList w: 2 * x1 + 28723 nil w: 6371 mark w: x1 + 1 i w: 5966 U52 w: x1 + 10173 U61 w: x1 + 61098 e w: 15124 active w: x1 U31 w: 2 * x1 + 28716 U81 w: 2 * x1 + 15314 tt w: 5967 U22 w: x1 + 1 U51 w: 2 * x1 + 2 * x2 + 44940 U41 w: x1 + 2 * x2 + 61305 __ w: 2 * x1 + x2 + 36831 Number of strict rules: 63 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #U21(ok(X1),ok(X2)) -> #U21(X1,X2) #2: #active(U72(X)) -> #U72(active(X)) #3: #active(U72(X)) -> #active(X) #4: #active(U22(X)) -> #U22(active(X)) #5: #active(U22(X)) -> #active(X) #6: #proper(U31(X)) -> #U31(proper(X)) #7: #proper(U31(X)) -> #proper(X) #8: #__(X1,mark(X2)) -> #__(X1,X2) #9: #active(U71(X1,X2)) -> #U71(active(X1),X2) #10: #active(U71(X1,X2)) -> #active(X1) #11: #U61(ok(X)) -> #U61(X) #12: #active(U61(X)) -> #U61(active(X)) #13: #active(U61(X)) -> #active(X) #14: #active(U41(X1,X2)) -> #U41(active(X1),X2) #15: #active(U41(X1,X2)) -> #active(X1) #16: #U81(ok(X)) -> #U81(X) #17: #U72(ok(X)) -> #U72(X) #18: #U42(ok(X)) -> #U42(X) #19: #proper(U71(X1,X2)) -> #U71(proper(X1),proper(X2)) #20: #proper(U71(X1,X2)) -> #proper(X1) #21: #proper(U71(X1,X2)) -> #proper(X2) #22: #U11(mark(X)) -> #U11(X) #23: #proper(U52(X)) -> #U52(proper(X)) #24: #proper(U52(X)) -> #proper(X) #25: #proper(isPal(X)) -> #isPal(proper(X)) #26: #proper(isPal(X)) -> #proper(X) #27: #proper(U72(X)) -> #U72(proper(X)) #28: #proper(U72(X)) -> #proper(X) #29: #proper(U11(X)) -> #U11(proper(X)) #30: #proper(U11(X)) -> #proper(X) #31: #active(U42(X)) -> #U42(active(X)) #32: #active(U42(X)) -> #active(X) #33: #proper(__(X1,X2)) -> #__(proper(X1),proper(X2)) #34: #proper(__(X1,X2)) -> #proper(X1) #35: #proper(__(X1,X2)) -> #proper(X2) #36: #proper(U41(X1,X2)) -> #U41(proper(X1),proper(X2)) #37: #proper(U41(X1,X2)) -> #proper(X1) #38: #proper(U41(X1,X2)) -> #proper(X2) #39: #active(U52(X)) -> #U52(active(X)) #40: #active(U52(X)) -> #active(X) #41: #U41(ok(X1),ok(X2)) -> #U41(X1,X2) #42: #isPal(ok(X)) -> #isPal(X) #43: #proper(U81(X)) -> #U81(proper(X)) #44: #proper(U81(X)) -> #proper(X) #45: #U52(ok(X)) -> #U52(X) #46: #proper(U51(X1,X2)) -> #U51(proper(X1),proper(X2)) #47: #proper(U51(X1,X2)) -> #proper(X1) #48: #proper(U51(X1,X2)) -> #proper(X2) #49: #proper(isNePal(X)) -> #isNePal(proper(X)) #50: #proper(isNePal(X)) -> #proper(X) #51: #U71(ok(X1),ok(X2)) -> #U71(X1,X2) #52: #proper(isNeList(X)) -> #isNeList(proper(X)) #53: #proper(isNeList(X)) -> #proper(X) #54: #isNePal(ok(X)) -> #isNePal(X) #55: #active(__(X1,X2)) -> #__(active(X1),X2) #56: #active(__(X1,X2)) -> #active(X1) #57: #U31(ok(X)) -> #U31(X) #58: #U42(mark(X)) -> #U42(X) #59: #U22(mark(X)) -> #U22(X) #60: #isList(ok(X)) -> #isList(X) #61: #active(U51(X1,X2)) -> #U51(active(X1),X2) #62: #active(U51(X1,X2)) -> #active(X1) #63: #isNeList(ok(X)) -> #isNeList(X) #64: #U51(ok(X1),ok(X2)) -> #U51(X1,X2) #65: #proper(U22(X)) -> #U22(proper(X)) #66: #proper(U22(X)) -> #proper(X) #67: #active(U11(X)) -> #U11(active(X)) #68: #active(U11(X)) -> #active(X) #69: #proper(U61(X)) -> #U61(proper(X)) #70: #proper(U61(X)) -> #proper(X) #71: #active(U81(X)) -> #U81(active(X)) #72: #active(U81(X)) -> #active(X) #73: #proper(isList(X)) -> #isList(proper(X)) #74: #proper(isList(X)) -> #proper(X) #75: #active(U21(X1,X2)) -> #U21(active(X1),X2) #76: #active(U21(X1,X2)) -> #active(X1) #77: #__(ok(X1),ok(X2)) -> #__(X1,X2) #78: #U22(ok(X)) -> #U22(X) #79: #active(__(X1,X2)) -> #__(X1,active(X2)) #80: #active(__(X1,X2)) -> #active(X2) #81: #proper(U21(X1,X2)) -> #U21(proper(X1),proper(X2)) #82: #proper(U21(X1,X2)) -> #proper(X1) #83: #proper(U21(X1,X2)) -> #proper(X2) #84: #isQid(ok(X)) -> #isQid(X) #85: #U11(ok(X)) -> #U11(X) #86: #proper(U42(X)) -> #U42(proper(X)) #87: #proper(U42(X)) -> #proper(X) #88: #active(U31(X)) -> #U31(active(X)) #89: #active(U31(X)) -> #active(X) #90: #proper(isQid(X)) -> #isQid(proper(X)) #91: #proper(isQid(X)) -> #proper(X) #92: #U52(mark(X)) -> #U52(X) #93: #top(ok(X)) -> #top(active(X)) #94: #top(ok(X)) -> #active(X) Number of SCCs: 21, DPs: 61 SCC { #57 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: x1 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #57 Number of SCCs: 20, DPs: 60 SCC { #42 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: x1 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #42 Number of SCCs: 19, DPs: 59 SCC { #17 } POLO(Sum)... succeeded. a w: 0 #U72 w: x1 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #17 Number of SCCs: 18, DPs: 58 SCC { #16 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: x1 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #16 Number of SCCs: 17, DPs: 57 SCC { #54 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: x1 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #54 Number of SCCs: 16, DPs: 56 SCC { #63 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: x1 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #63 Number of SCCs: 15, DPs: 55 SCC { #11 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: x1 USABLE RULES: { } Removed DPs: #11 Number of SCCs: 14, DPs: 54 SCC { #60 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: x1 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #60 Number of SCCs: 13, DPs: 53 SCC { #84 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: 0 U11 w: 0 isNeList w: 0 isPal w: 0 U42 w: 0 u w: 0 U71 w: 0 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: 0 #__ w: 0 isNePal w: 0 U72 w: 0 #isQid w: x1 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 0 #isList w: 0 #proper w: 0 i w: 0 U52 w: 0 U61 w: 0 #U51 w: 0 e w: 0 #U11 w: 0 active w: 0 U31 w: 0 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: 0 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: 0 U51 w: 0 U41 w: 0 #U31 w: 0 __ w: 0 #U61 w: 0 USABLE RULES: { } Removed DPs: #84 Number of SCCs: 12, DPs: 52 SCC { #93 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 21567 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 50479 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 2 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 1 U61 w: x1 + 24102 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 28147 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 19298 U51 w: x1 + x2 + 11049 U41 w: x1 + x2 + 61160 #U31 w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #93 Number of SCCs: 11, DPs: 51 SCC { #51 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 28214 U61 w: x1 + 24492 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 48178 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: x1 + x2 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 36983 #U31 w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #51 Number of SCCs: 10, DPs: 50 SCC { #41 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 + 44198 u w: 0 U71 w: x1 + x2 + 20129 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 5771 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 28214 U61 w: x1 + 37711 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: x1 #active w: 0 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 40691 U51 w: x1 + x2 + 18244 U41 w: x1 + x2 + 19478 #U31 w: 0 __ w: x1 + x2 + 26657 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #41 Number of SCCs: 9, DPs: 49 SCC { #64 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 + 44198 u w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 5771 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 1 U61 w: x1 + 37711 #U51 w: x1 + x2 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 40650 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: x1 + x2 + 37024 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #64 Number of SCCs: 8, DPs: 48 SCC { #1 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 1412 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 21310 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 1 U61 w: x1 + 37711 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: x1 + x2 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 55975 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: x1 + x2 + 37024 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #1 Number of SCCs: 7, DPs: 47 SCC { #45 #92 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 u w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: x1 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 15447 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 38969 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 11176 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 19795 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 1 #U31 w: 0 __ w: x1 + x2 + 15081 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #45 #92 Number of SCCs: 6, DPs: 45 SCC { #22 #85 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 40866 isNeList w: 0 isPal w: 0 U42 w: x1 u w: 0 U71 w: x1 + x2 + 24970 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 18814 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 49045 #U51 w: 0 e w: 0 #U11 w: x1 active w: x1 + 1 U31 w: x1 + 10483 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 58900 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 37076 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 60627 #U31 w: 0 __ w: x1 + x2 + 23842 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #22 #85 Number of SCCs: 5, DPs: 43 SCC { #59 #78 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 21144 isNeList w: 0 isPal w: 0 U42 w: x1 u w: 0 U71 w: x1 + x2 + 46072 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 1 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 9615 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 58900 #U22 w: x1 tt w: 0 #U71 w: 0 U22 w: x1 + 45045 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 35411 #U31 w: 0 __ w: x1 + x2 + 28335 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #59 #78 Number of SCCs: 4, DPs: 41 SCC { #18 #58 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 1 isNeList w: 0 isPal w: 0 U42 w: x1 u w: 0 U71 w: x1 + x2 + 10883 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 48945 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: x1 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 47212 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 9615 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 41861 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 35411 #U31 w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #18 #58 Number of SCCs: 3, DPs: 39 SCC { #8 #77 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 45829 isNeList w: 0 isPal w: 0 U42 w: x1 u w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: x2 isNePal w: 0 U72 w: x1 + 58862 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 47212 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 26108 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 39620 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 35411 #U31 w: 0 __ w: x1 + x2 + 21189 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #8 #77 Number of SCCs: 2, DPs: 37 SCC { #3 #5 #10 #13 #15 #32 #40 #56 #62 #68 #72 #76 #80 #89 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 10282 isNeList w: 0 isPal w: 0 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 1 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 58862 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 39229 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 U61 w: x1 + 47212 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: x1 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 9123 #U31 w: 0 __ w: x1 + x2 + 12148 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #3 #5 #10 #13 #15 #32 #56 #62 #68 #72 #76 #80 #89 Number of SCCs: 2, DPs: 24 SCC { #40 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 53360 isNeList w: 0 isPal w: 0 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 19658 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: 0 U72 w: x1 + 58862 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: 0 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: 0 #isNePal w: 0 nil w: 0 mark w: x1 + 39229 #isList w: 0 #proper w: 0 i w: 0 U52 w: x1 + 1 U61 w: x1 + 46827 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: x1 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 35261 #U31 w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #40 Number of SCCs: 1, DPs: 23 SCC { #7 #20 #21 #24 #26 #28 #30 #34 #35 #37 #38 #44 #47 #48 #50 #53 #66 #70 #74 #82 #83 #87 #91 } POLO(Sum)... succeeded. a w: 0 #U72 w: 0 U21 w: x1 + x2 + 1 U11 w: x1 + 53360 isNeList w: x1 + 1 isPal w: x1 + 1 U42 w: x1 + 1 u w: 0 U71 w: x1 + x2 + 36202 top w: 0 #U81 w: 0 #isNeList w: 0 #top w: x1 #__ w: 0 isNePal w: x1 + 1 U72 w: x1 + 1 #isQid w: 0 #isPal w: 0 #U52 w: 0 isQid w: x1 + 1 o w: 0 #U42 w: 0 proper w: 0 ok w: x1 + 1 isList w: x1 + 1 #isNePal w: 0 nil w: 0 mark w: x1 + 1 #isList w: 0 #proper w: x1 i w: 0 U52 w: x1 + 1 U61 w: x1 + 46827 #U51 w: 0 e w: 0 #U11 w: 0 active w: x1 + 1 U31 w: x1 + 1 #U41 w: 0 #active w: 0 #U21 w: 0 U81 w: x1 + 1 #U22 w: 0 tt w: 0 #U71 w: 0 U22 w: x1 + 1 U51 w: x1 + x2 + 1 U41 w: x1 + x2 + 35261 #U31 w: 0 __ w: x1 + x2 + 1 #U61 w: 0 USABLE RULES: { 31..44 46 47 49 52 54 84..87 89..91 93..97 99 } Removed DPs: #7 #20 #21 #24 #26 #28 #30 #34 #35 #37 #38 #44 #47 #48 #50 #53 #66 #70 #74 #82 #83 #87 #91 Number of SCCs: 0, DPs: 0