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