71.33/62.17 YES 71.33/62.18 Input TRS: 71.33/62.18 1: 0(1(0(1(x1)))) -> 0(0(2(1(3(1(x1)))))) 71.33/62.18 2: 0(1(0(1(x1)))) -> 2(1(0(2(0(1(x1)))))) 71.33/62.18 3: 0(1(0(1(x1)))) -> 2(1(3(1(0(0(x1)))))) 71.33/62.18 4: 4(1(0(1(x1)))) -> 1(0(4(2(1(x1))))) 71.33/62.18 5: 4(1(0(1(x1)))) -> 4(1(0(2(1(x1))))) 71.33/62.18 6: 4(1(0(1(x1)))) -> 0(2(1(3(4(1(x1)))))) 71.33/62.18 7: 4(1(0(1(x1)))) -> 0(4(2(1(3(1(x1)))))) 71.33/62.18 8: 4(1(0(1(x1)))) -> 1(0(2(4(1(3(x1)))))) 71.33/62.18 9: 4(1(0(1(x1)))) -> 1(0(4(2(2(1(x1)))))) 71.33/62.18 10: 4(1(0(1(x1)))) -> 1(0(4(5(2(1(x1)))))) 71.33/62.18 11: 4(1(0(1(x1)))) -> 4(0(2(1(3(1(x1)))))) 71.33/62.18 12: 4(1(0(1(x1)))) -> 4(1(0(2(1(3(x1)))))) 71.33/62.18 13: 4(1(0(1(x1)))) -> 4(1(3(0(2(1(x1)))))) 71.33/62.18 14: 4(1(1(1(x1)))) -> 4(1(3(1(3(1(x1)))))) 71.33/62.18 15: 4(3(0(1(x1)))) -> 0(2(1(3(4(x1))))) 71.33/62.18 16: 4(3(0(1(x1)))) -> 0(2(4(1(3(x1))))) 71.33/62.18 17: 4(3(0(1(x1)))) -> 0(4(2(1(3(x1))))) 71.33/62.18 18: 4(3(0(1(x1)))) -> 3(0(4(2(1(x1))))) 71.33/62.18 19: 4(3(0(1(x1)))) -> 3(4(0(2(1(x1))))) 71.33/62.18 20: 4(3(0(1(x1)))) -> 4(0(2(1(3(x1))))) 71.33/62.18 21: 4(3(0(1(x1)))) -> 4(3(0(2(1(x1))))) 71.33/62.18 22: 4(3(0(1(x1)))) -> 0(2(1(3(3(4(x1)))))) 71.33/62.18 23: 4(3(0(1(x1)))) -> 0(2(1(3(4(3(x1)))))) 71.33/62.18 24: 4(3(0(1(x1)))) -> 0(2(4(1(3(3(x1)))))) 71.33/62.18 25: 4(3(0(1(x1)))) -> 0(4(2(2(1(3(x1)))))) 71.33/62.18 26: 4(3(0(1(x1)))) -> 0(4(5(2(1(3(x1)))))) 71.33/62.18 27: 4(3(0(1(x1)))) -> 1(0(2(1(3(4(x1)))))) 71.33/62.18 28: 4(3(0(1(x1)))) -> 1(0(2(4(1(3(x1)))))) 71.33/62.18 29: 4(3(0(1(x1)))) -> 1(0(4(2(1(3(x1)))))) 71.33/62.18 30: 4(3(0(1(x1)))) -> 1(3(0(4(2(1(x1)))))) 71.33/62.18 31: 4(3(0(1(x1)))) -> 3(0(4(5(2(1(x1)))))) 71.33/62.18 32: 4(3(0(1(x1)))) -> 3(1(0(4(2(1(x1)))))) 71.33/62.18 33: 4(3(0(1(x1)))) -> 3(3(4(0(2(1(x1)))))) 71.33/62.18 34: 4(3(0(1(x1)))) -> 3(4(0(2(1(3(x1)))))) 71.33/62.18 35: 4(3(0(1(x1)))) -> 3(4(0(2(2(1(x1)))))) 71.33/62.18 36: 4(3(0(1(x1)))) -> 3(4(0(5(2(1(x1)))))) 71.33/62.18 37: 4(3(0(1(x1)))) -> 3(4(1(0(2(1(x1)))))) 71.33/62.18 38: 4(3(0(1(x1)))) -> 3(4(3(0(2(1(x1)))))) 71.33/62.18 39: 4(3(0(1(x1)))) -> 4(3(0(2(1(3(x1)))))) 71.33/62.18 40: 4(3(0(1(x1)))) -> 4(3(0(5(2(1(x1)))))) 71.33/62.18 41: 4(3(0(1(x1)))) -> 4(3(1(0(2(1(x1)))))) 71.33/62.18 42: 4(3(0(1(x1)))) -> 4(3(3(0(2(1(x1)))))) 71.33/62.18 43: 4(5(1(1(x1)))) -> 4(5(2(1(1(x1))))) 71.33/62.18 44: 4(5(1(1(x1)))) -> 4(2(5(2(1(1(x1)))))) 71.33/62.18 45: 4(5(1(1(x1)))) -> 4(5(2(1(3(1(x1)))))) 71.33/62.18 46: 4(5(1(1(x1)))) -> 4(5(2(2(1(1(x1)))))) 71.33/62.18 47: 4(5(1(1(x1)))) -> 4(5(5(2(1(1(x1)))))) 71.33/62.18 48: 0(0(1(0(1(x1))))) -> 0(0(1(0(2(1(x1)))))) 71.33/62.18 49: 0(0(3(1(1(x1))))) -> 2(1(3(1(0(0(x1)))))) 71.33/62.18 50: 0(0(5(1(1(x1))))) -> 5(0(0(2(1(1(x1)))))) 71.33/62.18 51: 0(4(1(0(1(x1))))) -> 2(1(0(4(0(1(x1)))))) 71.33/62.18 52: 0(4(3(0(1(x1))))) -> 0(0(2(1(3(4(x1)))))) 71.33/62.18 53: 0(4(3(0(1(x1))))) -> 0(4(3(0(2(1(x1)))))) 71.33/62.18 54: 0(4(3(0(1(x1))))) -> 2(3(1(0(4(0(x1)))))) 71.33/62.18 55: 0(4(3(1(1(x1))))) -> 2(1(4(1(3(0(x1)))))) 71.33/62.18 56: 0(4(3(1(1(x1))))) -> 4(2(0(3(1(1(x1)))))) 71.33/62.18 57: 0(4(5(1(1(x1))))) -> 4(0(1(5(2(1(x1)))))) 71.33/62.18 58: 0(4(5(1(1(x1))))) -> 5(2(1(4(0(1(x1)))))) 71.33/62.18 59: 4(0(3(0(1(x1))))) -> 0(0(4(2(1(3(x1)))))) 71.33/62.18 60: 4(0(3(0(1(x1))))) -> 2(0(4(0(1(3(x1)))))) 71.33/62.18 61: 4(0(3(0(1(x1))))) -> 2(0(4(0(3(1(x1)))))) 71.33/62.18 62: 4(1(0(1(1(x1))))) -> 1(0(4(2(1(1(x1)))))) 71.33/62.18 63: 4(1(1(0(1(x1))))) -> 4(1(0(2(1(1(x1)))))) 71.33/62.18 64: 4(1(2(0(1(x1))))) -> 0(4(2(1(3(1(x1)))))) 71.33/62.18 65: 4(1(2(0(1(x1))))) -> 1(0(2(4(1(3(x1)))))) 71.33/62.18 66: 4(1(2(0(1(x1))))) -> 4(0(2(2(1(1(x1)))))) 71.33/62.18 67: 4(1(2(0(1(x1))))) -> 4(1(0(2(2(1(x1)))))) 71.33/62.18 68: 4(1(3(0(1(x1))))) -> 4(1(3(0(2(1(x1)))))) 71.33/62.18 69: 4(1(5(0(1(x1))))) -> 1(1(5(0(4(2(x1)))))) 71.33/62.18 70: 4(1(5(1(1(x1))))) -> 1(4(5(2(1(1(x1)))))) 71.33/62.18 71: 4(3(0(1(1(x1))))) -> 1(3(0(2(1(4(x1)))))) 71.33/62.18 72: 4(3(0(1(1(x1))))) -> 1(3(1(4(0(2(x1)))))) 71.33/62.18 73: 4(3(0(1(1(x1))))) -> 1(3(1(4(2(0(x1)))))) 71.33/62.18 74: 4(3(0(1(1(x1))))) -> 3(1(0(2(4(1(x1)))))) 71.33/62.18 75: 4(3(0(1(1(x1))))) -> 4(3(1(1(0(2(x1)))))) 71.33/62.18 76: 4(3(1(0(1(x1))))) -> 0(4(2(1(3(1(x1)))))) 71.33/62.18 77: 4(3(1(0(1(x1))))) -> 1(3(4(0(2(1(x1)))))) 71.33/62.18 78: 4(3(2(0(1(x1))))) -> 3(4(0(2(2(1(x1)))))) 71.33/62.18 79: 4(3(2(0(1(x1))))) -> 3(4(0(5(2(1(x1)))))) 71.33/62.18 80: 4(3(2(0(1(x1))))) -> 4(0(2(1(3(1(x1)))))) 71.33/62.18 81: 4(3(2(0(1(x1))))) -> 4(3(0(2(1(3(x1)))))) 71.33/62.18 82: 4(3(2(1(1(x1))))) -> 1(3(1(2(4(2(x1)))))) 71.33/62.18 83: 4(3(2(1(1(x1))))) -> 1(3(1(4(5(2(x1)))))) 71.33/62.18 84: 4(3(2(1(1(x1))))) -> 3(1(3(4(1(2(x1)))))) 71.33/62.18 85: 4(3(2(1(1(x1))))) -> 4(1(3(1(2(2(x1)))))) 71.33/62.18 86: 4(3(2(1(1(x1))))) -> 4(1(3(3(1(2(x1)))))) 71.33/62.18 87: 4(3(3(0(1(x1))))) -> 4(3(3(0(2(1(x1)))))) 71.33/62.18 88: 4(3(4(0(1(x1))))) -> 3(4(0(4(2(1(x1)))))) 71.33/62.18 89: 4(3(4(0(1(x1))))) -> 4(4(0(2(1(3(x1)))))) 71.33/62.18 90: 4(3(5(0(1(x1))))) -> 0(5(2(3(1(4(x1)))))) 71.33/62.18 91: 4(3(5(0(1(x1))))) -> 1(3(0(2(5(4(x1)))))) 71.33/62.18 92: 4(3(5(0(1(x1))))) -> 1(3(0(4(2(5(x1)))))) 71.33/62.18 93: 4(3(5(0(1(x1))))) -> 1(3(4(0(5(2(x1)))))) 71.33/62.18 94: 4(3(5(0(1(x1))))) -> 3(1(0(4(2(5(x1)))))) 71.33/62.18 95: 4(3(5(0(1(x1))))) -> 3(1(5(0(4(2(x1)))))) 71.33/62.18 96: 4(3(5(0(1(x1))))) -> 3(4(0(2(1(5(x1)))))) 71.33/62.18 97: 4(3(5(0(1(x1))))) -> 3(4(1(5(0(2(x1)))))) 71.33/62.18 98: 4(3(5(0(1(x1))))) -> 3(5(1(0(4(2(x1)))))) 71.33/62.18 99: 4(3(5(0(1(x1))))) -> 4(3(0(2(1(5(x1)))))) 71.33/62.18 100: 4(3(5(0(1(x1))))) -> 5(1(3(4(0(2(x1)))))) 71.33/62.18 101: 4(3(5(1(1(x1))))) -> 1(4(5(2(1(3(x1)))))) 71.33/62.18 102: 4(3(5(1(1(x1))))) -> 3(1(1(5(4(2(x1)))))) 71.33/62.18 103: 4(3(5(1(1(x1))))) -> 3(1(4(5(2(1(x1)))))) 71.33/62.18 104: 4(3(5(1(1(x1))))) -> 4(1(3(1(3(5(x1)))))) 71.33/62.18 105: 4(3(5(1(1(x1))))) -> 4(1(5(2(1(3(x1)))))) 71.33/62.18 106: 4(3(5(1(1(x1))))) -> 4(3(1(5(2(1(x1)))))) 71.33/62.18 107: 4(4(1(0(1(x1))))) -> 4(4(1(0(2(1(x1)))))) 71.33/62.18 108: 4(4(3(0(1(x1))))) -> 0(4(4(2(1(3(x1)))))) 71.33/62.18 109: 4(4(3(0(1(x1))))) -> 4(0(2(1(3(4(x1)))))) 71.33/62.18 110: 4(4(3(0(1(x1))))) -> 4(3(4(0(2(1(x1)))))) 71.33/62.18 111: 4(4(3(0(1(x1))))) -> 4(4(3(0(2(1(x1)))))) 71.33/62.18 112: 4(5(1(0(1(x1))))) -> 0(5(1(3(4(1(x1)))))) 71.33/62.18 113: 4(5(1(0(1(x1))))) -> 0(5(4(1(3(1(x1)))))) 71.33/62.18 114: 4(5(1(0(1(x1))))) -> 1(0(4(5(2(1(x1)))))) 71.33/62.18 115: 4(5(1(0(1(x1))))) -> 4(0(5(2(1(1(x1)))))) 71.33/62.18 116: 4(5(1(0(1(x1))))) -> 4(5(1(0(2(1(x1)))))) 71.33/62.18 117: 4(5(1(0(1(x1))))) -> 5(1(0(2(4(1(x1)))))) 71.33/62.18 118: 4(5(1(0(1(x1))))) -> 5(4(1(0(2(1(x1)))))) 71.33/62.18 119: 4(5(1(1(1(x1))))) -> 4(5(2(1(1(1(x1)))))) 71.33/62.18 120: 4(5(3(0(1(x1))))) -> 0(2(1(3(4(5(x1)))))) 71.33/62.18 121: 4(5(3(0(1(x1))))) -> 0(5(2(1(3(4(x1)))))) 71.33/62.18 122: 4(5(3(0(1(x1))))) -> 0(5(2(4(3(1(x1)))))) 71.33/62.18 123: 4(5(3(0(1(x1))))) -> 0(5(4(2(1(3(x1)))))) 71.33/62.18 124: 4(5(3(0(1(x1))))) -> 1(0(5(1(3(4(x1)))))) 71.33/62.18 125: 4(5(3(0(1(x1))))) -> 1(5(0(3(3(4(x1)))))) 71.33/62.18 126: 4(5(3(0(1(x1))))) -> 2(1(4(5(0(3(x1)))))) 71.33/62.18 127: 4(5(3(0(1(x1))))) -> 2(4(1(3(5(0(x1)))))) 71.33/62.18 128: 4(5(3(0(1(x1))))) -> 3(0(4(5(2(1(x1)))))) 71.33/62.18 129: 4(5(3(0(1(x1))))) -> 4(0(3(1(5(2(x1)))))) 71.33/62.18 130: 4(5(3(0(1(x1))))) -> 4(0(3(3(5(1(x1)))))) 71.33/62.18 131: 4(5(3(0(1(x1))))) -> 4(0(5(4(1(3(x1)))))) 71.33/62.18 132: 4(5(3(0(1(x1))))) -> 4(1(3(5(0(3(x1)))))) 71.33/62.18 133: 4(5(3(0(1(x1))))) -> 4(1(3(5(5(0(x1)))))) 71.33/62.18 134: 4(5(3(0(1(x1))))) -> 4(2(5(0(3(1(x1)))))) 71.33/62.18 135: 4(5(3(0(1(x1))))) -> 4(5(2(0(3(1(x1)))))) 71.33/62.18 136: 4(5(3(0(1(x1))))) -> 5(0(3(1(4(1(x1)))))) 71.33/62.18 137: 4(5(3(0(1(x1))))) -> 5(0(3(4(4(1(x1)))))) 71.33/62.18 138: 4(5(3(0(1(x1))))) -> 5(1(3(0(3(4(x1)))))) 71.33/62.18 139: 4(5(3(0(1(x1))))) -> 5(2(1(3(4(0(x1)))))) 71.33/62.18 140: 4(5(3(0(1(x1))))) -> 5(2(4(1(3(0(x1)))))) 71.33/62.18 141: 4(5(3(0(1(x1))))) -> 5(3(0(4(2(1(x1)))))) 71.33/62.18 142: 4(5(3(0(1(x1))))) -> 5(4(1(3(0(1(x1)))))) 71.33/62.18 143: 4(5(3(0(1(x1))))) -> 5(4(1(3(2(0(x1)))))) 71.33/62.18 144: 4(5(3(0(1(x1))))) -> 5(4(3(0(2(1(x1)))))) 71.33/62.18 145: 4(5(3(1(1(x1))))) -> 2(4(1(3(1(5(x1)))))) 71.33/62.18 146: 4(5(3(1(1(x1))))) -> 4(5(2(1(3(1(x1)))))) 71.33/62.18 147: 4(5(3(1(1(x1))))) -> 5(1(3(4(1(2(x1)))))) 71.33/62.18 148: 4(5(3(1(1(x1))))) -> 5(2(1(4(1(3(x1)))))) 71.33/62.18 149: 4(5(3(1(1(x1))))) -> 5(4(2(1(3(1(x1)))))) 71.33/62.18 150: 4(5(5(1(1(x1))))) -> 5(5(2(1(1(4(x1)))))) 71.33/62.18 151: 4(5(5(1(1(x1))))) -> 5(5(2(4(1(1(x1)))))) 71.33/62.18 Number of strict rules: 151 71.33/62.18 Direct POLO(bPol) ... failed. 71.33/62.18 Uncurrying ... failed. 71.33/62.18 Dependency Pairs: 71.33/62.18 #1: #0(1(0(1(x1)))) -> #0(2(0(1(x1)))) 71.33/62.18 #2: #4(3(2(1(1(x1))))) -> #4(1(3(3(1(2(x1)))))) 71.33/62.18 #3: #4(5(1(1(x1)))) -> #4(5(2(1(1(x1))))) 71.33/62.18 #4: #4(3(0(1(x1)))) -> #0(4(2(1(3(x1))))) 71.33/62.18 #5: #4(3(0(1(x1)))) -> #4(2(1(3(x1)))) 71.33/62.18 #6: #4(3(0(1(x1)))) -> #4(0(2(2(1(x1))))) 71.33/62.18 #7: #4(3(0(1(x1)))) -> #0(2(2(1(x1)))) 71.33/62.18 #8: #4(3(2(1(1(x1))))) -> #4(5(2(x1))) 71.33/62.18 #9: #4(1(2(0(1(x1))))) -> #4(0(2(2(1(1(x1)))))) 71.33/62.18 #10: #4(1(2(0(1(x1))))) -> #0(2(2(1(1(x1))))) 71.33/62.18 #11: #4(5(1(1(x1)))) -> #4(5(2(2(1(1(x1)))))) 71.33/62.18 #12: #4(3(0(1(x1)))) -> #4(3(3(0(2(1(x1)))))) 71.33/62.18 #13: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #14: #4(5(1(0(1(x1))))) -> #4(0(5(2(1(1(x1)))))) 71.33/62.18 #15: #4(5(1(0(1(x1))))) -> #0(5(2(1(1(x1))))) 71.33/62.18 #16: #4(5(3(1(1(x1))))) -> #4(2(1(3(1(x1))))) 71.33/62.18 #17: #4(3(5(0(1(x1))))) -> #0(4(2(x1))) 71.33/62.18 #18: #4(3(5(0(1(x1))))) -> #4(2(x1)) 71.33/62.18 #19: #4(3(0(1(x1)))) -> #4(3(1(0(2(1(x1)))))) 71.33/62.18 #20: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #21: #4(3(0(1(x1)))) -> #4(1(0(2(1(x1))))) 71.33/62.18 #22: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #23: #4(5(1(0(1(x1))))) -> #0(4(5(2(1(x1))))) 71.33/62.18 #24: #4(5(1(0(1(x1))))) -> #4(5(2(1(x1)))) 71.33/62.18 #25: #4(3(5(0(1(x1))))) -> #4(3(0(2(1(5(x1)))))) 71.33/62.18 #26: #4(3(5(0(1(x1))))) -> #0(2(1(5(x1)))) 71.33/62.18 #27: #4(3(5(0(1(x1))))) -> #4(1(5(0(2(x1))))) 71.33/62.18 #28: #4(3(5(0(1(x1))))) -> #0(2(x1)) 71.33/62.18 #29: #4(3(5(0(1(x1))))) -> #0(2(5(4(x1)))) 71.33/62.18 #30: #4(3(5(0(1(x1))))) -> #4(x1) 71.33/62.18 #31: #4(3(0(1(1(x1))))) -> #4(2(0(x1))) 71.33/62.18 #32: #4(3(0(1(1(x1))))) -> #0(x1) 71.33/62.18 #33: #4(5(1(1(x1)))) -> #4(5(5(2(1(1(x1)))))) 71.33/62.18 #34: #0(4(3(0(1(x1))))) -> #0(4(3(0(2(1(x1)))))) 71.33/62.18 #35: #0(4(3(0(1(x1))))) -> #4(3(0(2(1(x1))))) 71.33/62.18 #36: #0(4(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #37: #4(3(0(1(1(x1))))) -> #0(2(1(4(x1)))) 71.33/62.18 #38: #4(3(0(1(1(x1))))) -> #4(x1) 71.33/62.18 #39: #4(5(3(1(1(x1))))) -> #4(1(2(x1))) 71.33/62.18 #40: #4(5(3(0(1(x1))))) -> #4(0(x1)) 71.33/62.18 #41: #4(5(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #42: #0(0(1(0(1(x1))))) -> #0(0(1(0(2(1(x1)))))) 71.33/62.18 #43: #0(0(1(0(1(x1))))) -> #0(1(0(2(1(x1))))) 71.33/62.18 #44: #0(0(1(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #45: #4(5(3(0(1(x1))))) -> #0(5(4(2(1(3(x1)))))) 71.33/62.18 #46: #4(5(3(0(1(x1))))) -> #4(2(1(3(x1)))) 71.33/62.18 #47: #4(3(0(1(1(x1))))) -> #4(3(1(1(0(2(x1)))))) 71.33/62.18 #48: #4(3(0(1(1(x1))))) -> #0(2(x1)) 71.33/62.18 #49: #4(5(1(0(1(x1))))) -> #0(5(1(3(4(1(x1)))))) 71.33/62.18 #50: #4(5(1(0(1(x1))))) -> #4(1(x1)) 71.33/62.18 #51: #4(3(0(1(1(x1))))) -> #0(2(4(1(x1)))) 71.33/62.18 #52: #4(3(0(1(1(x1))))) -> #4(1(x1)) 71.33/62.18 #53: #0(4(5(1(1(x1))))) -> #4(0(1(x1))) 71.33/62.18 #54: #0(4(5(1(1(x1))))) -> #0(1(x1)) 71.33/62.18 #55: #4(5(3(0(1(x1))))) -> #0(3(4(x1))) 71.33/62.18 #56: #4(5(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #57: #4(5(1(0(1(x1))))) -> #0(5(4(1(3(1(x1)))))) 71.33/62.18 #58: #4(5(1(0(1(x1))))) -> #4(1(3(1(x1)))) 71.33/62.18 #59: #4(0(3(0(1(x1))))) -> #0(4(0(3(1(x1))))) 71.33/62.18 #60: #4(0(3(0(1(x1))))) -> #4(0(3(1(x1)))) 71.33/62.18 #61: #4(0(3(0(1(x1))))) -> #0(3(1(x1))) 71.33/62.18 #62: #4(3(0(1(x1)))) -> #4(3(0(2(1(x1))))) 71.33/62.18 #63: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #64: #4(5(5(1(1(x1))))) -> #4(1(1(x1))) 71.33/62.18 #65: #4(5(1(0(1(x1))))) -> #4(5(1(0(2(1(x1)))))) 71.33/62.18 #66: #4(5(1(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #67: #4(1(0(1(x1)))) -> #0(2(1(3(4(1(x1)))))) 71.33/62.18 #68: #4(1(0(1(x1)))) -> #4(1(x1)) 71.33/62.18 #69: #4(0(3(0(1(x1))))) -> #0(0(4(2(1(3(x1)))))) 71.33/62.18 #70: #4(0(3(0(1(x1))))) -> #0(4(2(1(3(x1))))) 71.33/62.18 #71: #4(0(3(0(1(x1))))) -> #4(2(1(3(x1)))) 71.33/62.18 #72: #4(4(3(0(1(x1))))) -> #4(3(4(0(2(1(x1)))))) 71.33/62.18 #73: #4(4(3(0(1(x1))))) -> #4(0(2(1(x1)))) 71.33/62.18 #74: #4(4(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #75: #4(5(3(0(1(x1))))) -> #4(1(3(5(0(3(x1)))))) 71.33/62.18 #76: #4(5(3(0(1(x1))))) -> #0(3(x1)) 71.33/62.18 #77: #0(4(3(1(1(x1))))) -> #4(1(3(0(x1)))) 71.33/62.18 #78: #0(4(3(1(1(x1))))) -> #0(x1) 71.33/62.18 #79: #4(1(2(0(1(x1))))) -> #4(1(0(2(2(1(x1)))))) 71.33/62.18 #80: #4(1(2(0(1(x1))))) -> #0(2(2(1(x1)))) 71.33/62.18 #81: #4(3(0(1(x1)))) -> #4(3(0(5(2(1(x1)))))) 71.33/62.18 #82: #4(3(0(1(x1)))) -> #0(5(2(1(x1)))) 71.33/62.18 #83: #4(3(5(0(1(x1))))) -> #0(5(2(3(1(4(x1)))))) 71.33/62.18 #84: #4(3(5(0(1(x1))))) -> #4(x1) 71.33/62.18 #85: #4(5(3(1(1(x1))))) -> #4(5(2(1(3(1(x1)))))) 71.33/62.18 #86: #4(4(1(0(1(x1))))) -> #4(4(1(0(2(1(x1)))))) 71.33/62.18 #87: #4(4(1(0(1(x1))))) -> #4(1(0(2(1(x1))))) 71.33/62.18 #88: #4(4(1(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #89: #0(4(1(0(1(x1))))) -> #0(4(0(1(x1)))) 71.33/62.18 #90: #0(4(1(0(1(x1))))) -> #4(0(1(x1))) 71.33/62.18 #91: #4(1(0(1(x1)))) -> #4(1(3(0(2(1(x1)))))) 71.33/62.18 #92: #4(1(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #93: #4(1(0(1(x1)))) -> #0(4(2(2(1(x1))))) 71.33/62.18 #94: #4(1(0(1(x1)))) -> #4(2(2(1(x1)))) 71.33/62.18 #95: #4(1(0(1(x1)))) -> #4(0(2(1(3(1(x1)))))) 71.33/62.18 #96: #4(1(0(1(x1)))) -> #0(2(1(3(1(x1))))) 71.33/62.18 #97: #4(3(5(0(1(x1))))) -> #0(4(2(x1))) 71.33/62.18 #98: #4(3(5(0(1(x1))))) -> #4(2(x1)) 71.33/62.18 #99: #0(4(5(1(1(x1))))) -> #4(0(1(5(2(1(x1)))))) 71.33/62.18 #100: #0(4(5(1(1(x1))))) -> #0(1(5(2(1(x1))))) 71.33/62.18 #101: #4(3(1(0(1(x1))))) -> #0(4(2(1(3(1(x1)))))) 71.33/62.18 #102: #4(3(1(0(1(x1))))) -> #4(2(1(3(1(x1))))) 71.33/62.18 #103: #4(4(3(0(1(x1))))) -> #4(0(2(1(3(4(x1)))))) 71.33/62.18 #104: #4(4(3(0(1(x1))))) -> #0(2(1(3(4(x1))))) 71.33/62.18 #105: #4(4(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #106: #4(3(5(0(1(x1))))) -> #0(4(2(5(x1)))) 71.33/62.18 #107: #4(3(5(0(1(x1))))) -> #4(2(5(x1))) 71.33/62.18 #108: #4(3(0(1(x1)))) -> #0(2(4(1(3(3(x1)))))) 71.33/62.18 #109: #4(3(0(1(x1)))) -> #4(1(3(3(x1)))) 71.33/62.18 #110: #4(5(3(0(1(x1))))) -> #4(2(5(0(3(1(x1)))))) 71.33/62.18 #111: #4(5(3(0(1(x1))))) -> #0(3(1(x1))) 71.33/62.18 #112: #4(1(5(1(1(x1))))) -> #4(5(2(1(1(x1))))) 71.33/62.18 #113: #4(3(0(1(x1)))) -> #0(2(1(3(4(3(x1)))))) 71.33/62.18 #114: #4(3(0(1(x1)))) -> #4(3(x1)) 71.33/62.18 #115: #4(5(3(0(1(x1))))) -> #0(4(5(2(1(x1))))) 71.33/62.18 #116: #4(5(3(0(1(x1))))) -> #4(5(2(1(x1)))) 71.33/62.18 #117: #4(3(2(0(1(x1))))) -> #4(3(0(2(1(3(x1)))))) 71.33/62.18 #118: #4(3(2(0(1(x1))))) -> #0(2(1(3(x1)))) 71.33/62.18 #119: #4(5(1(0(1(x1))))) -> #4(1(0(2(1(x1))))) 71.33/62.18 #120: #4(5(1(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #121: #4(3(2(0(1(x1))))) -> #4(0(2(2(1(x1))))) 71.33/62.18 #122: #4(3(2(0(1(x1))))) -> #0(2(2(1(x1)))) 71.33/62.18 #123: #4(5(1(1(x1)))) -> #4(5(2(1(3(1(x1)))))) 71.33/62.18 #124: #4(3(5(0(1(x1))))) -> #4(0(2(1(5(x1))))) 71.33/62.18 #125: #4(3(5(0(1(x1))))) -> #0(2(1(5(x1)))) 71.33/62.18 #126: #4(1(5(0(1(x1))))) -> #0(4(2(x1))) 71.33/62.18 #127: #4(1(5(0(1(x1))))) -> #4(2(x1)) 71.33/62.18 #128: #4(3(5(1(1(x1))))) -> #4(5(2(1(3(x1))))) 71.33/62.18 #129: #4(1(0(1(x1)))) -> #4(1(0(2(1(3(x1)))))) 71.33/62.18 #130: #4(1(0(1(x1)))) -> #0(2(1(3(x1)))) 71.33/62.18 #131: #4(3(0(1(x1)))) -> #0(4(5(2(1(x1))))) 71.33/62.18 #132: #4(3(0(1(x1)))) -> #4(5(2(1(x1)))) 71.33/62.18 #133: #4(3(2(0(1(x1))))) -> #4(0(5(2(1(x1))))) 71.33/62.18 #134: #4(3(2(0(1(x1))))) -> #0(5(2(1(x1)))) 71.33/62.18 #135: #0(4(3(1(1(x1))))) -> #4(2(0(3(1(1(x1)))))) 71.33/62.18 #136: #0(4(3(1(1(x1))))) -> #0(3(1(1(x1)))) 71.33/62.18 #137: #4(3(4(0(1(x1))))) -> #4(4(0(2(1(3(x1)))))) 71.33/62.18 #138: #4(3(4(0(1(x1))))) -> #4(0(2(1(3(x1))))) 71.33/62.18 #139: #4(3(4(0(1(x1))))) -> #0(2(1(3(x1)))) 71.33/62.18 #140: #4(5(3(0(1(x1))))) -> #4(1(3(5(5(0(x1)))))) 71.33/62.18 #141: #4(5(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #142: #4(3(2(1(1(x1))))) -> #4(2(x1)) 71.33/62.18 #143: #4(4(3(0(1(x1))))) -> #4(4(3(0(2(1(x1)))))) 71.33/62.18 #144: #4(4(3(0(1(x1))))) -> #4(3(0(2(1(x1))))) 71.33/62.18 #145: #4(4(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #146: #4(1(1(1(x1)))) -> #4(1(3(1(3(1(x1)))))) 71.33/62.18 #147: #4(3(5(1(1(x1))))) -> #4(3(1(5(2(1(x1)))))) 71.33/62.18 #148: #4(1(0(1(1(x1))))) -> #0(4(2(1(1(x1))))) 71.33/62.18 #149: #4(1(0(1(1(x1))))) -> #4(2(1(1(x1)))) 71.33/62.18 #150: #4(3(0(1(x1)))) -> #0(4(2(1(x1)))) 71.33/62.18 #151: #4(3(0(1(x1)))) -> #4(2(1(x1))) 71.33/62.18 #152: #0(4(3(0(1(x1))))) -> #0(0(2(1(3(4(x1)))))) 71.33/62.18 #153: #0(4(3(0(1(x1))))) -> #0(2(1(3(4(x1))))) 71.33/62.18 #154: #0(4(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #155: #0(0(3(1(1(x1))))) -> #0(0(x1)) 71.33/62.18 #156: #0(0(3(1(1(x1))))) -> #0(x1) 71.33/62.18 #157: #4(3(0(1(x1)))) -> #0(4(2(2(1(3(x1)))))) 71.33/62.18 #158: #4(3(0(1(x1)))) -> #4(2(2(1(3(x1))))) 71.33/62.18 #159: #4(5(3(0(1(x1))))) -> #4(0(3(3(5(1(x1)))))) 71.33/62.18 #160: #4(5(3(0(1(x1))))) -> #0(3(3(5(1(x1))))) 71.33/62.18 #161: #4(4(3(0(1(x1))))) -> #0(4(4(2(1(3(x1)))))) 71.33/62.18 #162: #4(4(3(0(1(x1))))) -> #4(4(2(1(3(x1))))) 71.33/62.18 #163: #4(4(3(0(1(x1))))) -> #4(2(1(3(x1)))) 71.33/62.18 #164: #4(5(3(0(1(x1))))) -> #4(0(3(1(5(2(x1)))))) 71.33/62.18 #165: #4(5(3(0(1(x1))))) -> #0(3(1(5(2(x1))))) 71.33/62.18 #166: #4(3(0(1(x1)))) -> #4(0(2(1(3(x1))))) 71.33/62.18 #167: #4(3(0(1(x1)))) -> #0(2(1(3(x1)))) 71.33/62.18 #168: #4(5(3(0(1(x1))))) -> #4(5(0(3(x1)))) 71.33/62.18 #169: #4(5(3(0(1(x1))))) -> #0(3(x1)) 71.33/62.18 #170: #4(3(4(0(1(x1))))) -> #4(0(4(2(1(x1))))) 71.33/62.18 #171: #4(3(4(0(1(x1))))) -> #0(4(2(1(x1)))) 71.33/62.18 #172: #4(3(4(0(1(x1))))) -> #4(2(1(x1))) 71.33/62.18 #173: #4(1(0(1(x1)))) -> #0(4(2(1(3(1(x1)))))) 71.33/62.18 #174: #4(1(0(1(x1)))) -> #4(2(1(3(1(x1))))) 71.33/62.18 #175: #4(3(0(1(x1)))) -> #4(3(0(2(1(3(x1)))))) 71.33/62.18 #176: #4(3(0(1(x1)))) -> #0(2(1(3(x1)))) 71.33/62.18 #177: #4(5(3(0(1(x1))))) -> #0(3(1(4(1(x1))))) 71.33/62.18 #178: #4(5(3(0(1(x1))))) -> #4(1(x1)) 71.33/62.18 #179: #4(1(0(1(x1)))) -> #0(4(5(2(1(x1))))) 71.33/62.18 #180: #4(1(0(1(x1)))) -> #4(5(2(1(x1)))) 71.33/62.18 #181: #4(3(5(0(1(x1))))) -> #0(4(2(5(x1)))) 71.33/62.18 #182: #4(3(5(0(1(x1))))) -> #4(2(5(x1))) 71.33/62.18 #183: #4(5(1(1(1(x1))))) -> #4(5(2(1(1(1(x1)))))) 71.33/62.18 #184: #4(3(5(0(1(x1))))) -> #4(0(5(2(x1)))) 71.33/62.18 #185: #4(3(5(0(1(x1))))) -> #0(5(2(x1))) 71.33/62.18 #186: #4(1(2(0(1(x1))))) -> #0(4(2(1(3(1(x1)))))) 71.33/62.18 #187: #4(1(2(0(1(x1))))) -> #4(2(1(3(1(x1))))) 71.33/62.18 #188: #4(3(0(1(x1)))) -> #4(0(2(1(x1)))) 71.33/62.18 #189: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #190: #4(3(0(1(1(x1))))) -> #4(0(2(x1))) 71.33/62.18 #191: #4(3(0(1(1(x1))))) -> #0(2(x1)) 71.33/62.18 #192: #4(5(3(0(1(x1))))) -> #0(2(1(3(4(5(x1)))))) 71.33/62.18 #193: #4(5(3(0(1(x1))))) -> #4(5(x1)) 71.33/62.18 #194: #4(1(0(1(x1)))) -> #4(1(0(2(1(x1))))) 71.33/62.18 #195: #4(1(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #196: #4(5(1(1(x1)))) -> #4(2(5(2(1(1(x1)))))) 71.33/62.18 #197: #4(1(2(0(1(x1))))) -> #0(2(4(1(3(x1))))) 71.33/62.18 #198: #4(1(2(0(1(x1))))) -> #4(1(3(x1))) 71.33/62.18 #199: #4(5(3(1(1(x1))))) -> #4(1(3(x1))) 71.33/62.18 #200: #4(3(0(1(x1)))) -> #0(2(4(1(3(x1))))) 71.33/62.18 #201: #4(3(0(1(x1)))) -> #4(1(3(x1))) 71.33/62.18 #202: #4(3(0(1(x1)))) -> #0(2(1(3(3(4(x1)))))) 71.33/62.18 #203: #4(3(0(1(x1)))) -> #4(x1) 71.33/62.18 #204: #4(5(3(0(1(x1))))) -> #4(1(3(5(0(x1))))) 71.33/62.18 #205: #4(5(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #206: #4(3(0(1(x1)))) -> #4(0(2(1(3(x1))))) 71.33/62.18 #207: #4(3(0(1(x1)))) -> #0(2(1(3(x1)))) 71.33/62.18 #208: #4(3(2(1(1(x1))))) -> #4(1(2(x1))) 71.33/62.18 #209: #4(3(3(0(1(x1))))) -> #4(3(3(0(2(1(x1)))))) 71.33/62.18 #210: #4(3(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #211: #4(3(0(1(x1)))) -> #0(2(1(3(4(x1))))) 71.33/62.18 #212: #4(3(0(1(x1)))) -> #4(x1) 71.33/62.18 #213: #4(5(3(0(1(x1))))) -> #0(3(4(4(1(x1))))) 71.33/62.18 #214: #4(5(3(0(1(x1))))) -> #4(4(1(x1))) 71.33/62.18 #215: #4(5(3(0(1(x1))))) -> #4(1(x1)) 71.33/62.18 #216: #4(5(3(0(1(x1))))) -> #4(3(0(2(1(x1))))) 71.33/62.18 #217: #4(5(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #218: #4(5(3(0(1(x1))))) -> #4(1(3(0(1(x1))))) 71.33/62.18 #219: #4(5(5(1(1(x1))))) -> #4(x1) 71.33/62.18 #220: #4(0(3(0(1(x1))))) -> #0(4(0(1(3(x1))))) 71.33/62.18 #221: #4(0(3(0(1(x1))))) -> #4(0(1(3(x1)))) 71.33/62.18 #222: #4(0(3(0(1(x1))))) -> #0(1(3(x1))) 71.33/62.18 #223: #4(5(1(0(1(x1))))) -> #0(2(4(1(x1)))) 71.33/62.18 #224: #4(5(1(0(1(x1))))) -> #4(1(x1)) 71.33/62.18 #225: #4(3(0(1(x1)))) -> #0(4(2(1(3(x1))))) 71.33/62.18 #226: #4(3(0(1(x1)))) -> #4(2(1(3(x1)))) 71.33/62.18 #227: #4(3(0(1(x1)))) -> #0(4(2(1(x1)))) 71.33/62.18 #228: #4(3(0(1(x1)))) -> #4(2(1(x1))) 71.33/62.18 #229: #4(3(0(1(x1)))) -> #4(0(2(1(x1)))) 71.33/62.18 #230: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #231: #4(5(3(0(1(x1))))) -> #4(1(3(2(0(x1))))) 71.33/62.18 #232: #4(5(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #233: #4(5(3(0(1(x1))))) -> #0(3(3(4(x1)))) 71.33/62.18 #234: #4(5(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #235: #4(1(1(0(1(x1))))) -> #4(1(0(2(1(1(x1)))))) 71.33/62.18 #236: #4(1(1(0(1(x1))))) -> #0(2(1(1(x1)))) 71.33/62.18 #237: #4(5(3(0(1(x1))))) -> #4(5(2(0(3(1(x1)))))) 71.33/62.18 #238: #4(5(3(0(1(x1))))) -> #0(3(1(x1))) 71.33/62.18 #239: #4(3(5(1(1(x1))))) -> #4(1(5(2(1(3(x1)))))) 71.33/62.18 #240: #4(3(0(1(x1)))) -> #0(4(5(2(1(3(x1)))))) 71.33/62.18 #241: #4(3(0(1(x1)))) -> #4(5(2(1(3(x1))))) 71.33/62.18 #242: #4(3(5(0(1(x1))))) -> #4(0(2(x1))) 71.33/62.18 #243: #4(3(5(0(1(x1))))) -> #0(2(x1)) 71.33/62.18 #244: #4(3(2(1(1(x1))))) -> #4(1(3(1(2(2(x1)))))) 71.33/62.18 #245: #4(5(3(0(1(x1))))) -> #0(5(2(4(3(1(x1)))))) 71.33/62.18 #246: #4(5(3(0(1(x1))))) -> #4(3(1(x1))) 71.33/62.18 #247: #4(1(3(0(1(x1))))) -> #4(1(3(0(2(1(x1)))))) 71.33/62.18 #248: #4(1(3(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #249: #4(5(3(0(1(x1))))) -> #4(0(5(4(1(3(x1)))))) 71.33/62.18 #250: #4(5(3(0(1(x1))))) -> #0(5(4(1(3(x1))))) 71.33/62.18 #251: #4(5(3(0(1(x1))))) -> #4(1(3(x1))) 71.33/62.18 #252: #4(3(0(1(x1)))) -> #4(0(5(2(1(x1))))) 71.33/62.18 #253: #4(3(0(1(x1)))) -> #0(5(2(1(x1)))) 71.33/62.18 #254: #4(3(0(1(x1)))) -> #4(3(0(2(1(x1))))) 71.33/62.18 #255: #4(3(0(1(x1)))) -> #0(2(1(x1))) 71.33/62.18 #256: #4(3(0(1(x1)))) -> #0(2(4(1(3(x1))))) 71.33/62.18 #257: #4(3(0(1(x1)))) -> #4(1(3(x1))) 71.33/62.18 #258: #0(1(0(1(x1)))) -> #0(0(x1)) 71.33/62.18 #259: #0(1(0(1(x1)))) -> #0(x1) 71.33/62.18 #260: #4(3(1(0(1(x1))))) -> #4(0(2(1(x1)))) 71.33/62.18 #261: #4(3(1(0(1(x1))))) -> #0(2(1(x1))) 71.33/62.18 #262: #0(1(0(1(x1)))) -> #0(0(2(1(3(1(x1)))))) 71.33/62.18 #263: #0(1(0(1(x1)))) -> #0(2(1(3(1(x1))))) 71.33/62.18 #264: #4(5(3(0(1(x1))))) -> #4(1(3(0(x1)))) 71.33/62.18 #265: #4(5(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #266: #4(5(3(0(1(x1))))) -> #0(5(1(3(4(x1))))) 71.33/62.18 #267: #4(5(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #268: #0(4(3(0(1(x1))))) -> #0(4(0(x1))) 71.33/62.18 #269: #0(4(3(0(1(x1))))) -> #4(0(x1)) 71.33/62.18 #270: #0(4(3(0(1(x1))))) -> #0(x1) 71.33/62.18 #271: #4(1(0(1(x1)))) -> #0(2(4(1(3(x1))))) 71.33/62.18 #272: #4(1(0(1(x1)))) -> #4(1(3(x1))) 71.33/62.18 #273: #4(5(3(0(1(x1))))) -> #0(4(2(1(x1)))) 71.33/62.18 #274: #4(5(3(0(1(x1))))) -> #4(2(1(x1))) 71.33/62.18 #275: #4(5(3(0(1(x1))))) -> #0(5(2(1(3(4(x1)))))) 71.33/62.18 #276: #4(5(3(0(1(x1))))) -> #4(x1) 71.33/62.18 #277: #4(3(0(1(x1)))) -> #0(2(1(3(4(x1))))) 71.33/62.18 #278: #4(3(0(1(x1)))) -> #4(x1) 71.33/62.18 #279: #4(5(3(1(1(x1))))) -> #4(1(3(1(5(x1))))) 71.33/62.18 #280: #4(3(5(1(1(x1))))) -> #4(2(x1)) 71.33/62.18 #281: #4(3(5(1(1(x1))))) -> #4(5(2(1(x1)))) 71.33/62.18 #282: #4(1(0(1(x1)))) -> #0(4(2(1(x1)))) 71.33/62.18 #283: #4(1(0(1(x1)))) -> #4(2(1(x1))) 71.33/62.18 #284: #4(3(5(1(1(x1))))) -> #4(1(3(1(3(5(x1)))))) 71.33/62.18 #285: #4(3(2(0(1(x1))))) -> #4(0(2(1(3(1(x1)))))) 71.33/62.18 #286: #4(3(2(0(1(x1))))) -> #0(2(1(3(1(x1))))) 71.33/62.18 #287: #0(0(5(1(1(x1))))) -> #0(0(2(1(1(x1))))) 71.33/62.18 #288: #0(0(5(1(1(x1))))) -> #0(2(1(1(x1)))) 71.33/62.18 #289: #4(3(0(1(x1)))) -> #0(4(2(1(x1)))) 71.33/62.18 #290: #4(3(0(1(x1)))) -> #4(2(1(x1))) 71.33/62.18 Number of SCCs: 2, DPs: 29 71.33/62.18 SCC { #68 } 71.33/62.18 POLO(Sum)... succeeded. 71.33/62.18 #0 w: 0 71.33/62.18 1 w: x1 + 1 71.33/62.18 4 w: 0 71.33/62.18 5 w: 0 71.33/62.18 3 w: 0 71.33/62.18 #4 w: x1 71.33/62.18 0 w: x1 71.33/62.18 2 w: 0 71.33/62.18 USABLE RULES: { } 71.33/62.18 Removed DPs: #68 71.33/62.18 Number of SCCs: 1, DPs: 28 71.33/62.18 SCC { #30 #32 #38 #41 #54 #56 #78 #84 #105 #114 #141 #154..156 #193 #203 #205 #212 #219 #232 #234 #258 #259 #265 #267 #270 #276 #278 } 71.33/62.18 POLO(Sum)... succeeded. 71.33/62.18 #0 w: x1 71.33/62.18 1 w: x1 71.33/62.18 4 w: x1 71.33/62.18 5 w: x1 71.33/62.18 3 w: x1 71.33/62.18 #4 w: x1 71.33/62.18 0 w: x1 + 1 71.33/62.18 2 w: x1 71.33/62.18 USABLE RULES: { 1..151 } 71.33/62.18 Removed DPs: #30 #32 #38 #41 #56 #84 #105 #114 #141 #154 #156 #193 #203 #205 #212 #232 #234 #259 #265 #267 #270 #276 #278 71.33/62.18 Number of SCCs: 3, DPs: 3 71.33/62.18 SCC { #219 } 71.33/62.18 POLO(Sum)... succeeded. 71.33/62.18 #0 w: 0 71.33/62.18 1 w: x1 71.33/62.18 4 w: 0 71.33/62.18 5 w: x1 + 2 71.33/62.18 3 w: 0 71.33/62.18 #4 w: x1 71.33/62.18 0 w: 1 71.33/62.18 2 w: 0 71.33/62.18 USABLE RULES: { 2 3 44 49 51 54..56 60 61 71 73 74 82 91 102 126 134 145 } 71.33/62.18 Removed DPs: #219 71.33/62.18 Number of SCCs: 2, DPs: 2 71.33/62.18 SCC { #78 } 71.33/62.18 POLO(Sum)... succeeded. 71.33/62.18 #0 w: x1 71.33/62.18 1 w: x1 71.33/62.18 4 w: x1 + 1 71.33/62.18 5 w: 0 71.33/62.18 3 w: x1 71.33/62.18 #4 w: 0 71.33/62.18 0 w: x1 71.33/62.18 2 w: 0 71.33/62.18 USABLE RULES: { 1..151 } 71.33/62.18 Removed DPs: #78 71.33/62.18 Number of SCCs: 1, DPs: 1 71.33/62.18 SCC { #155 } 71.33/62.18 POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... succeeded. 71.33/62.18 #0 w: [1,0;0,0] * x1 71.33/62.18 1 w: [1,0;0,0] * x1 + [1;2] 71.33/62.18 4 w: [0,1;0,0] * x1 + [1;5] 71.33/62.18 5 w: [0,0;0,1] * x1 + [1;0] 71.33/62.18 3 w: [1,0;0,0] * x1 + [0;5] 71.33/62.18 #4 w: [0;0] 71.33/62.18 0 w: x1 71.33/62.18 2 w: [1;1] 71.33/62.18 USABLE RULES: { 1..151 } 71.33/62.18 Removed DPs: #155 71.33/62.18 Number of SCCs: 0, DPs: 0 71.33/62.18 EOF