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