4.65/4.88 YES 4.65/4.88 Input TRS: 4.65/4.88 1: 0(1(1(2(x1)))) -> 0(1(0(3(1(2(x1)))))) 4.65/4.88 2: 0(2(3(1(x1)))) -> 0(3(2(0(1(x1))))) 4.65/4.88 3: 0(2(3(1(x1)))) -> 1(0(3(4(2(x1))))) 4.65/4.88 4: 0(2(3(1(x1)))) -> 4(0(3(2(1(x1))))) 4.65/4.88 5: 0(2(3(1(x1)))) -> 0(0(3(2(1(4(x1)))))) 4.65/4.88 6: 3(0(1(1(x1)))) -> 0(3(4(1(1(0(x1)))))) 4.65/4.88 7: 3(0(1(2(x1)))) -> 0(3(4(1(2(4(x1)))))) 4.65/4.88 8: 3(0(1(2(x1)))) -> 0(3(4(4(1(2(x1)))))) 4.65/4.88 9: 3(0(2(1(x1)))) -> 0(3(2(1(0(x1))))) 4.65/4.88 10: 3(0(2(1(x1)))) -> 0(3(2(1(4(x1))))) 4.65/4.88 11: 3(0(2(1(x1)))) -> 0(3(4(2(1(0(x1)))))) 4.65/4.88 12: 0(1(0(1(2(x1))))) -> 0(0(2(1(1(3(x1)))))) 4.65/4.88 13: 0(1(1(4(2(x1))))) -> 1(0(3(1(4(2(x1)))))) 4.65/4.88 14: 0(1(2(3(1(x1))))) -> 1(0(3(1(2(2(x1)))))) 4.65/4.88 15: 0(1(2(3(1(x1))))) -> 1(4(0(3(1(2(x1)))))) 4.65/4.88 16: 0(1(2(3(1(x1))))) -> 2(1(0(3(2(1(x1)))))) 4.65/4.88 17: 0(1(5(3(1(x1))))) -> 0(3(1(5(4(1(x1)))))) 4.65/4.88 18: 0(2(3(2(1(x1))))) -> 0(3(2(4(1(2(x1)))))) 4.65/4.88 19: 0(2(4(3(1(x1))))) -> 0(3(4(1(2(0(x1)))))) 4.65/4.88 20: 0(2(4(3(1(x1))))) -> 1(0(0(3(4(2(x1)))))) 4.65/4.88 21: 0(3(3(1(2(x1))))) -> 3(0(1(0(3(2(x1)))))) 4.65/4.88 22: 0(3(3(2(1(x1))))) -> 0(3(2(3(1(4(x1)))))) 4.65/4.88 23: 0(5(2(3(1(x1))))) -> 0(3(2(1(5(4(x1)))))) 4.65/4.88 24: 0(5(2(3(1(x1))))) -> 0(5(0(3(2(1(x1)))))) 4.65/4.88 25: 0(5(4(3(1(x1))))) -> 0(3(4(1(4(5(x1)))))) 4.65/4.88 26: 1(4(0(1(2(x1))))) -> 2(1(4(0(3(1(x1)))))) 4.65/4.88 27: 3(0(1(0(2(x1))))) -> 0(3(2(0(4(1(x1)))))) 4.65/4.88 28: 3(0(2(3(1(x1))))) -> 3(0(0(3(1(2(x1)))))) 4.65/4.88 29: 3(0(2(5(1(x1))))) -> 0(3(2(5(0(1(x1)))))) 4.65/4.88 30: 3(0(2(5(1(x1))))) -> 0(3(5(2(1(4(x1)))))) 4.65/4.88 31: 3(0(2(5(1(x1))))) -> 5(4(0(3(2(1(x1)))))) 4.65/4.88 32: 3(0(4(5(1(x1))))) -> 5(0(0(3(4(1(x1)))))) 4.65/4.88 33: 3(3(0(1(4(x1))))) -> 3(0(0(3(1(4(x1)))))) 4.65/4.88 34: 3(3(1(1(1(x1))))) -> 0(3(1(3(1(1(x1)))))) 4.65/4.88 35: 3(3(1(1(2(x1))))) -> 1(3(2(1(4(3(x1)))))) 4.65/4.88 36: 3(3(1(1(4(x1))))) -> 4(4(3(1(3(1(x1)))))) 4.65/4.88 37: 3(4(3(2(1(x1))))) -> 3(0(3(2(4(1(x1)))))) 4.65/4.88 38: 3(5(0(2(1(x1))))) -> 0(3(2(0(5(1(x1)))))) 4.65/4.88 39: 3(5(0(2(1(x1))))) -> 0(3(5(2(4(1(x1)))))) 4.65/4.88 40: 4(0(1(1(4(x1))))) -> 1(0(3(4(4(1(x1)))))) 4.65/4.88 41: 4(5(3(2(1(x1))))) -> 0(3(1(5(2(4(x1)))))) 4.65/4.88 42: 5(0(1(1(4(x1))))) -> 0(3(1(5(1(4(x1)))))) 4.65/4.88 43: 5(0(2(3(1(x1))))) -> 5(0(3(2(1(0(x1)))))) 4.65/4.88 44: 5(3(0(1(1(x1))))) -> 0(3(1(1(5(0(x1)))))) 4.65/4.88 45: 5(3(0(2(1(x1))))) -> 0(3(4(2(1(5(x1)))))) 4.65/4.88 46: 5(3(0(2(1(x1))))) -> 0(3(5(1(2(4(x1)))))) 4.65/4.88 47: 5(3(1(1(2(x1))))) -> 3(1(2(1(4(5(x1)))))) 4.65/4.88 48: 5(3(1(1(4(x1))))) -> 3(4(1(5(2(1(x1)))))) 4.65/4.88 49: 5(4(3(4(1(x1))))) -> 0(3(4(4(1(5(x1)))))) 4.65/4.88 Number of strict rules: 49 4.65/4.88 Direct POLO(bPol) ... removes: 44 25 49 45 23 48 47 41 42 4.65/4.88 1 w: x1 + 1 4.65/4.88 4 w: x1 4.65/4.88 5 w: 2 * x1 + 1 4.65/4.88 3 w: x1 4.65/4.88 0 w: x1 4.65/4.88 2 w: x1 4.65/4.88 Number of strict rules: 40 4.65/4.88 Direct POLO(bPol) ... failed. 4.65/4.88 Uncurrying ... failed. 4.65/4.88 Dependency Pairs: 4.65/4.88 #1: #0(2(3(1(x1)))) -> #0(3(2(0(1(x1))))) 4.65/4.88 #2: #0(2(3(1(x1)))) -> #3(2(0(1(x1)))) 4.65/4.88 #3: #0(2(3(1(x1)))) -> #0(1(x1)) 4.65/4.88 #4: #5(0(2(3(1(x1))))) -> #5(0(3(2(1(0(x1)))))) 4.65/4.88 #5: #5(0(2(3(1(x1))))) -> #0(3(2(1(0(x1))))) 4.65/4.88 #6: #5(0(2(3(1(x1))))) -> #3(2(1(0(x1)))) 4.65/4.88 #7: #5(0(2(3(1(x1))))) -> #1(0(x1)) 4.65/4.88 #8: #5(0(2(3(1(x1))))) -> #0(x1) 4.65/4.88 #9: #3(0(2(5(1(x1))))) -> #0(3(2(5(0(1(x1)))))) 4.65/4.88 #10: #3(0(2(5(1(x1))))) -> #3(2(5(0(1(x1))))) 4.65/4.88 #11: #3(0(2(5(1(x1))))) -> #5(0(1(x1))) 4.65/4.88 #12: #3(0(2(5(1(x1))))) -> #0(1(x1)) 4.65/4.88 #13: #3(3(1(1(2(x1))))) -> #1(3(2(1(4(3(x1)))))) 4.65/4.88 #14: #3(3(1(1(2(x1))))) -> #3(2(1(4(3(x1))))) 4.65/4.88 #15: #3(3(1(1(2(x1))))) -> #1(4(3(x1))) 4.65/4.88 #16: #3(3(1(1(2(x1))))) -> #4(3(x1)) 4.65/4.88 #17: #3(3(1(1(2(x1))))) -> #3(x1) 4.65/4.88 #18: #5(3(0(2(1(x1))))) -> #0(3(5(1(2(4(x1)))))) 4.65/4.88 #19: #5(3(0(2(1(x1))))) -> #3(5(1(2(4(x1))))) 4.65/4.88 #20: #5(3(0(2(1(x1))))) -> #5(1(2(4(x1)))) 4.65/4.88 #21: #5(3(0(2(1(x1))))) -> #1(2(4(x1))) 4.65/4.88 #22: #5(3(0(2(1(x1))))) -> #4(x1) 4.65/4.88 #23: #3(4(3(2(1(x1))))) -> #3(0(3(2(4(1(x1)))))) 4.65/4.88 #24: #3(4(3(2(1(x1))))) -> #0(3(2(4(1(x1))))) 4.65/4.88 #25: #3(4(3(2(1(x1))))) -> #3(2(4(1(x1)))) 4.65/4.88 #26: #3(4(3(2(1(x1))))) -> #4(1(x1)) 4.65/4.88 #27: #3(5(0(2(1(x1))))) -> #0(3(2(0(5(1(x1)))))) 4.65/4.88 #28: #3(5(0(2(1(x1))))) -> #3(2(0(5(1(x1))))) 4.65/4.88 #29: #3(5(0(2(1(x1))))) -> #0(5(1(x1))) 4.65/4.88 #30: #3(5(0(2(1(x1))))) -> #5(1(x1)) 4.65/4.88 #31: #3(0(1(1(x1)))) -> #0(3(4(1(1(0(x1)))))) 4.65/4.88 #32: #3(0(1(1(x1)))) -> #3(4(1(1(0(x1))))) 4.65/4.88 #33: #3(0(1(1(x1)))) -> #4(1(1(0(x1)))) 4.65/4.88 #34: #3(0(1(1(x1)))) -> #1(1(0(x1))) 4.65/4.88 #35: #3(0(1(1(x1)))) -> #1(0(x1)) 4.65/4.88 #36: #3(0(1(1(x1)))) -> #0(x1) 4.65/4.88 #37: #4(0(1(1(4(x1))))) -> #1(0(3(4(4(1(x1)))))) 4.65/4.88 #38: #4(0(1(1(4(x1))))) -> #0(3(4(4(1(x1))))) 4.65/4.88 #39: #4(0(1(1(4(x1))))) -> #3(4(4(1(x1)))) 4.65/4.88 #40: #4(0(1(1(4(x1))))) -> #4(4(1(x1))) 4.65/4.88 #41: #4(0(1(1(4(x1))))) -> #4(1(x1)) 4.65/4.88 #42: #4(0(1(1(4(x1))))) -> #1(x1) 4.65/4.88 #43: #0(1(1(4(2(x1))))) -> #1(0(3(1(4(2(x1)))))) 4.65/4.88 #44: #0(1(1(4(2(x1))))) -> #0(3(1(4(2(x1))))) 4.65/4.88 #45: #0(1(1(4(2(x1))))) -> #3(1(4(2(x1)))) 4.65/4.88 #46: #3(0(2(1(x1)))) -> #0(3(2(1(0(x1))))) 4.65/4.88 #47: #3(0(2(1(x1)))) -> #3(2(1(0(x1)))) 4.65/4.88 #48: #3(0(2(1(x1)))) -> #1(0(x1)) 4.65/4.88 #49: #3(0(2(1(x1)))) -> #0(x1) 4.65/4.88 #50: #3(0(2(1(x1)))) -> #0(3(4(2(1(0(x1)))))) 4.65/4.88 #51: #3(0(2(1(x1)))) -> #3(4(2(1(0(x1))))) 4.65/4.88 #52: #3(0(2(1(x1)))) -> #4(2(1(0(x1)))) 4.65/4.88 #53: #3(0(2(1(x1)))) -> #1(0(x1)) 4.65/4.88 #54: #3(0(2(1(x1)))) -> #0(x1) 4.65/4.88 #55: #0(5(2(3(1(x1))))) -> #0(5(0(3(2(1(x1)))))) 4.65/4.88 #56: #0(5(2(3(1(x1))))) -> #5(0(3(2(1(x1))))) 4.65/4.88 #57: #0(5(2(3(1(x1))))) -> #0(3(2(1(x1)))) 4.65/4.88 #58: #0(5(2(3(1(x1))))) -> #3(2(1(x1))) 4.65/4.88 #59: #0(1(0(1(2(x1))))) -> #0(0(2(1(1(3(x1)))))) 4.65/4.88 #60: #0(1(0(1(2(x1))))) -> #0(2(1(1(3(x1))))) 4.65/4.88 #61: #0(1(0(1(2(x1))))) -> #1(1(3(x1))) 4.65/4.88 #62: #0(1(0(1(2(x1))))) -> #1(3(x1)) 4.65/4.88 #63: #0(1(0(1(2(x1))))) -> #3(x1) 4.65/4.88 #64: #3(0(2(5(1(x1))))) -> #5(4(0(3(2(1(x1)))))) 4.65/4.88 #65: #3(0(2(5(1(x1))))) -> #4(0(3(2(1(x1))))) 4.65/4.88 #66: #3(0(2(5(1(x1))))) -> #0(3(2(1(x1)))) 4.65/4.88 #67: #3(0(2(5(1(x1))))) -> #3(2(1(x1))) 4.65/4.88 #68: #0(1(2(3(1(x1))))) -> #1(0(3(1(2(2(x1)))))) 4.65/4.88 #69: #0(1(2(3(1(x1))))) -> #0(3(1(2(2(x1))))) 4.65/4.88 #70: #0(1(2(3(1(x1))))) -> #3(1(2(2(x1)))) 4.65/4.88 #71: #0(1(2(3(1(x1))))) -> #1(2(2(x1))) 4.65/4.88 #72: #3(0(2(5(1(x1))))) -> #0(3(5(2(1(4(x1)))))) 4.65/4.88 #73: #3(0(2(5(1(x1))))) -> #3(5(2(1(4(x1))))) 4.65/4.88 #74: #3(0(2(5(1(x1))))) -> #5(2(1(4(x1)))) 4.65/4.88 #75: #3(0(2(5(1(x1))))) -> #1(4(x1)) 4.65/4.88 #76: #3(0(2(5(1(x1))))) -> #4(x1) 4.65/4.88 #77: #0(2(4(3(1(x1))))) -> #1(0(0(3(4(2(x1)))))) 4.65/4.88 #78: #0(2(4(3(1(x1))))) -> #0(0(3(4(2(x1))))) 4.65/4.88 #79: #0(2(4(3(1(x1))))) -> #0(3(4(2(x1)))) 4.65/4.88 #80: #0(2(4(3(1(x1))))) -> #3(4(2(x1))) 4.65/4.88 #81: #0(2(4(3(1(x1))))) -> #4(2(x1)) 4.65/4.88 #82: #3(0(1(2(x1)))) -> #0(3(4(1(2(4(x1)))))) 4.65/4.88 #83: #3(0(1(2(x1)))) -> #3(4(1(2(4(x1))))) 4.65/4.88 #84: #3(0(1(2(x1)))) -> #4(1(2(4(x1)))) 4.65/4.88 #85: #3(0(1(2(x1)))) -> #1(2(4(x1))) 4.65/4.88 #86: #3(0(1(2(x1)))) -> #4(x1) 4.65/4.88 #87: #3(5(0(2(1(x1))))) -> #0(3(5(2(4(1(x1)))))) 4.65/4.88 #88: #3(5(0(2(1(x1))))) -> #3(5(2(4(1(x1))))) 4.65/4.88 #89: #3(5(0(2(1(x1))))) -> #5(2(4(1(x1)))) 4.65/4.88 #90: #3(5(0(2(1(x1))))) -> #4(1(x1)) 4.65/4.88 #91: #3(0(2(1(x1)))) -> #0(3(2(1(4(x1))))) 4.65/4.88 #92: #3(0(2(1(x1)))) -> #3(2(1(4(x1)))) 4.65/4.88 #93: #3(0(2(1(x1)))) -> #1(4(x1)) 4.65/4.88 #94: #3(0(2(1(x1)))) -> #4(x1) 4.65/4.88 #95: #3(3(0(1(4(x1))))) -> #3(0(0(3(1(4(x1)))))) 4.65/4.88 #96: #3(3(0(1(4(x1))))) -> #0(0(3(1(4(x1))))) 4.65/4.88 #97: #3(3(0(1(4(x1))))) -> #0(3(1(4(x1)))) 4.65/4.88 #98: #3(3(0(1(4(x1))))) -> #3(1(4(x1))) 4.65/4.88 #99: #0(2(3(1(x1)))) -> #0(0(3(2(1(4(x1)))))) 4.65/4.88 #100: #0(2(3(1(x1)))) -> #0(3(2(1(4(x1))))) 4.65/4.88 #101: #0(2(3(1(x1)))) -> #3(2(1(4(x1)))) 4.65/4.88 #102: #0(2(3(1(x1)))) -> #1(4(x1)) 4.65/4.88 #103: #0(2(3(1(x1)))) -> #4(x1) 4.65/4.88 #104: #3(0(2(3(1(x1))))) -> #3(0(0(3(1(2(x1)))))) 4.65/4.88 #105: #3(0(2(3(1(x1))))) -> #0(0(3(1(2(x1))))) 4.65/4.88 #106: #3(0(2(3(1(x1))))) -> #0(3(1(2(x1)))) 4.65/4.88 #107: #3(0(2(3(1(x1))))) -> #3(1(2(x1))) 4.65/4.88 #108: #3(0(2(3(1(x1))))) -> #1(2(x1)) 4.65/4.88 #109: #0(3(3(2(1(x1))))) -> #0(3(2(3(1(4(x1)))))) 4.65/4.88 #110: #0(3(3(2(1(x1))))) -> #3(2(3(1(4(x1))))) 4.65/4.88 #111: #0(3(3(2(1(x1))))) -> #3(1(4(x1))) 4.65/4.88 #112: #0(3(3(2(1(x1))))) -> #1(4(x1)) 4.65/4.88 #113: #0(3(3(2(1(x1))))) -> #4(x1) 4.65/4.88 #114: #3(3(1(1(1(x1))))) -> #0(3(1(3(1(1(x1)))))) 4.65/4.88 #115: #3(3(1(1(1(x1))))) -> #3(1(3(1(1(x1))))) 4.65/4.88 #116: #3(3(1(1(1(x1))))) -> #1(3(1(1(x1)))) 4.65/4.88 #117: #3(3(1(1(1(x1))))) -> #3(1(1(x1))) 4.65/4.88 #118: #3(0(1(0(2(x1))))) -> #0(3(2(0(4(1(x1)))))) 4.65/4.88 #119: #3(0(1(0(2(x1))))) -> #3(2(0(4(1(x1))))) 4.65/4.88 #120: #3(0(1(0(2(x1))))) -> #0(4(1(x1))) 4.65/4.88 #121: #3(0(1(0(2(x1))))) -> #4(1(x1)) 4.65/4.88 #122: #3(0(1(0(2(x1))))) -> #1(x1) 4.65/4.88 #123: #0(1(5(3(1(x1))))) -> #0(3(1(5(4(1(x1)))))) 4.65/4.88 #124: #0(1(5(3(1(x1))))) -> #3(1(5(4(1(x1))))) 4.65/4.88 #125: #0(1(5(3(1(x1))))) -> #1(5(4(1(x1)))) 4.65/4.88 #126: #0(1(5(3(1(x1))))) -> #5(4(1(x1))) 4.65/4.88 #127: #0(1(5(3(1(x1))))) -> #4(1(x1)) 4.65/4.88 #128: #3(0(4(5(1(x1))))) -> #5(0(0(3(4(1(x1)))))) 4.65/4.88 #129: #3(0(4(5(1(x1))))) -> #0(0(3(4(1(x1))))) 4.65/4.88 #130: #3(0(4(5(1(x1))))) -> #0(3(4(1(x1)))) 4.65/4.88 #131: #3(0(4(5(1(x1))))) -> #3(4(1(x1))) 4.65/4.88 #132: #3(0(4(5(1(x1))))) -> #4(1(x1)) 4.65/4.88 #133: #0(2(4(3(1(x1))))) -> #0(3(4(1(2(0(x1)))))) 4.65/4.88 #134: #0(2(4(3(1(x1))))) -> #3(4(1(2(0(x1))))) 4.65/4.88 #135: #0(2(4(3(1(x1))))) -> #4(1(2(0(x1)))) 4.65/4.88 #136: #0(2(4(3(1(x1))))) -> #1(2(0(x1))) 4.65/4.88 #137: #0(2(4(3(1(x1))))) -> #0(x1) 4.65/4.88 #138: #1(4(0(1(2(x1))))) -> #1(4(0(3(1(x1))))) 4.65/4.88 #139: #1(4(0(1(2(x1))))) -> #4(0(3(1(x1)))) 4.65/4.88 #140: #1(4(0(1(2(x1))))) -> #0(3(1(x1))) 4.65/4.88 #141: #1(4(0(1(2(x1))))) -> #3(1(x1)) 4.65/4.88 #142: #1(4(0(1(2(x1))))) -> #1(x1) 4.65/4.88 #143: #3(3(1(1(4(x1))))) -> #4(4(3(1(3(1(x1)))))) 4.65/4.88 #144: #3(3(1(1(4(x1))))) -> #4(3(1(3(1(x1))))) 4.65/4.88 #145: #3(3(1(1(4(x1))))) -> #3(1(3(1(x1)))) 4.65/4.88 #146: #3(3(1(1(4(x1))))) -> #1(3(1(x1))) 4.65/4.88 #147: #3(3(1(1(4(x1))))) -> #3(1(x1)) 4.65/4.88 #148: #3(3(1(1(4(x1))))) -> #1(x1) 4.65/4.88 #149: #0(3(3(1(2(x1))))) -> #3(0(1(0(3(2(x1)))))) 4.65/4.88 #150: #0(3(3(1(2(x1))))) -> #0(1(0(3(2(x1))))) 4.65/4.88 #151: #0(3(3(1(2(x1))))) -> #1(0(3(2(x1)))) 4.65/4.88 #152: #0(3(3(1(2(x1))))) -> #0(3(2(x1))) 4.65/4.88 #153: #0(3(3(1(2(x1))))) -> #3(2(x1)) 4.65/4.88 #154: #0(1(2(3(1(x1))))) -> #1(0(3(2(1(x1))))) 4.65/4.88 #155: #0(1(2(3(1(x1))))) -> #0(3(2(1(x1)))) 4.65/4.88 #156: #0(1(2(3(1(x1))))) -> #3(2(1(x1))) 4.65/4.88 #157: #0(2(3(1(x1)))) -> #1(0(3(4(2(x1))))) 4.65/4.88 #158: #0(2(3(1(x1)))) -> #0(3(4(2(x1)))) 4.65/4.88 #159: #0(2(3(1(x1)))) -> #3(4(2(x1))) 4.65/4.88 #160: #0(2(3(1(x1)))) -> #4(2(x1)) 4.65/4.88 #161: #0(1(1(2(x1)))) -> #0(1(0(3(1(2(x1)))))) 4.65/4.88 #162: #0(1(1(2(x1)))) -> #1(0(3(1(2(x1))))) 4.65/4.88 #163: #0(1(1(2(x1)))) -> #0(3(1(2(x1)))) 4.65/4.88 #164: #0(1(1(2(x1)))) -> #3(1(2(x1))) 4.65/4.88 #165: #3(0(1(2(x1)))) -> #0(3(4(4(1(2(x1)))))) 4.65/4.88 #166: #3(0(1(2(x1)))) -> #3(4(4(1(2(x1))))) 4.65/4.88 #167: #3(0(1(2(x1)))) -> #4(4(1(2(x1)))) 4.65/4.88 #168: #3(0(1(2(x1)))) -> #4(1(2(x1))) 4.65/4.88 #169: #0(1(2(3(1(x1))))) -> #1(4(0(3(1(2(x1)))))) 4.65/4.88 #170: #0(1(2(3(1(x1))))) -> #4(0(3(1(2(x1))))) 4.65/4.88 #171: #0(1(2(3(1(x1))))) -> #0(3(1(2(x1)))) 4.65/4.88 #172: #0(1(2(3(1(x1))))) -> #3(1(2(x1))) 4.65/4.88 #173: #0(1(2(3(1(x1))))) -> #1(2(x1)) 4.65/4.88 #174: #0(2(3(1(x1)))) -> #4(0(3(2(1(x1))))) 4.65/4.88 #175: #0(2(3(1(x1)))) -> #0(3(2(1(x1)))) 4.65/4.88 #176: #0(2(3(1(x1)))) -> #3(2(1(x1))) 4.65/4.88 #177: #0(2(3(2(1(x1))))) -> #0(3(2(4(1(2(x1)))))) 4.65/4.88 #178: #0(2(3(2(1(x1))))) -> #3(2(4(1(2(x1))))) 4.65/4.88 #179: #0(2(3(2(1(x1))))) -> #4(1(2(x1))) 4.65/4.88 #180: #0(2(3(2(1(x1))))) -> #1(2(x1)) 4.65/4.88 Number of SCCs: 2, DPs: 9 4.65/4.88 SCC { #142 } 4.65/4.88 POLO(Sum)... succeeded. 4.65/4.88 #0 w: 0 4.65/4.88 1 w: x1 4.65/4.88 4 w: x1 4.65/4.88 5 w: 0 4.65/4.88 3 w: 0 4.65/4.88 #4 w: 0 4.65/4.88 0 w: x1 4.65/4.88 #3 w: 0 4.65/4.88 #5 w: 0 4.65/4.88 2 w: x1 + 1 4.65/4.88 #1 w: x1 4.65/4.88 USABLE RULES: { } 4.65/4.88 Removed DPs: #142 4.65/4.88 Number of SCCs: 1, DPs: 8 4.65/4.88 SCC { #3 #12 #17 #36 #49 #54 #63 #137 } 4.65/4.88 POLO(Sum)... succeeded. 4.65/4.88 #0 w: x1 4.65/4.88 1 w: x1 + 1 4.65/4.88 4 w: x1 4.65/4.88 5 w: x1 4.65/4.88 3 w: x1 4.65/4.88 #4 w: 0 4.65/4.88 0 w: x1 4.65/4.88 #3 w: x1 + 1 4.65/4.88 #5 w: 0 4.65/4.88 2 w: x1 4.65/4.88 #1 w: 0 4.65/4.88 USABLE RULES: { 1..22 24 26..40 43 46 } 4.65/4.88 Removed DPs: #12 #17 #36 #49 #54 #63 #137 4.65/4.88 Number of SCCs: 0, DPs: 0 4.65/4.88 EOF