MAYBE Input TRS: 1: 0(1(0(1(x1)))) -> 0(0(2(1(1(x1))))) 2: 0(1(0(1(x1)))) -> 0(0(1(2(1(2(x1)))))) 3: 0(1(0(1(x1)))) -> 0(0(1(3(3(1(x1)))))) 4: 0(1(0(1(x1)))) -> 0(0(2(1(4(1(x1)))))) 5: 0(1(0(1(x1)))) -> 0(0(3(4(1(1(x1)))))) 6: 0(1(0(1(x1)))) -> 1(1(3(4(0(0(x1)))))) 7: 0(1(5(1(x1)))) -> 0(1(1(3(5(x1))))) 8: 0(1(5(1(x1)))) -> 0(1(3(5(1(x1))))) 9: 0(1(5(1(x1)))) -> 1(1(3(5(0(x1))))) 10: 0(1(5(1(x1)))) -> 1(3(5(0(1(x1))))) 11: 0(1(5(1(x1)))) -> 5(0(1(1(3(x1))))) 12: 0(1(5(1(x1)))) -> 0(1(1(3(5(2(x1)))))) 13: 0(1(5(1(x1)))) -> 0(1(2(2(5(1(x1)))))) 14: 0(1(5(1(x1)))) -> 0(1(3(3(5(1(x1)))))) 15: 0(1(5(1(x1)))) -> 0(1(3(5(0(1(x1)))))) 16: 0(1(5(1(x1)))) -> 0(1(3(5(1(3(x1)))))) 17: 0(1(5(1(x1)))) -> 0(2(1(1(3(5(x1)))))) 18: 0(1(5(1(x1)))) -> 0(3(1(1(3(5(x1)))))) 19: 0(1(5(1(x1)))) -> 1(1(2(0(3(5(x1)))))) 20: 0(1(5(1(x1)))) -> 1(1(3(3(5(0(x1)))))) 21: 0(1(5(1(x1)))) -> 1(1(3(4(5(0(x1)))))) 22: 0(1(5(1(x1)))) -> 1(1(3(5(0(3(x1)))))) 23: 0(1(5(1(x1)))) -> 1(1(4(4(5(0(x1)))))) 24: 0(1(5(1(x1)))) -> 1(2(1(3(5(0(x1)))))) 25: 0(1(5(1(x1)))) -> 1(2(2(5(0(1(x1)))))) 26: 0(1(5(1(x1)))) -> 1(3(1(3(5(0(x1)))))) 27: 0(1(5(1(x1)))) -> 1(4(3(5(0(1(x1)))))) 28: 0(1(5(1(x1)))) -> 2(0(1(1(3(5(x1)))))) 29: 0(1(5(1(x1)))) -> 2(1(1(3(5(0(x1)))))) 30: 0(1(5(1(x1)))) -> 4(0(1(3(5(1(x1)))))) 31: 0(1(5(1(x1)))) -> 5(0(1(1(2(2(x1)))))) 32: 0(1(5(1(x1)))) -> 5(0(1(1(3(3(x1)))))) 33: 0(1(5(1(x1)))) -> 5(0(1(3(4(1(x1)))))) 34: 0(1(5(1(x1)))) -> 5(0(2(1(1(3(x1)))))) 35: 0(1(5(1(x1)))) -> 5(1(2(0(2(1(x1)))))) 36: 0(3(0(1(x1)))) -> 0(0(1(2(3(x1))))) 37: 0(3(0(1(x1)))) -> 0(0(2(1(3(x1))))) 38: 0(3(0(1(x1)))) -> 0(0(3(4(1(x1))))) 39: 0(3(0(1(x1)))) -> 0(1(3(4(0(x1))))) 40: 0(3(0(1(x1)))) -> 0(2(0(1(3(x1))))) 41: 0(3(0(1(x1)))) -> 0(3(4(0(1(x1))))) 42: 0(3(0(1(x1)))) -> 1(0(3(4(0(x1))))) 43: 0(3(0(1(x1)))) -> 4(0(0(1(3(x1))))) 44: 0(3(0(1(x1)))) -> 0(0(1(2(1(3(x1)))))) 45: 0(3(0(1(x1)))) -> 0(0(1(3(3(3(x1)))))) 46: 0(3(0(1(x1)))) -> 0(0(1(3(4(3(x1)))))) 47: 0(3(0(1(x1)))) -> 0(0(1(3(4(4(x1)))))) 48: 0(3(0(1(x1)))) -> 0(0(1(4(3(3(x1)))))) 49: 0(3(0(1(x1)))) -> 0(0(2(1(1(3(x1)))))) 50: 0(3(0(1(x1)))) -> 0(0(2(3(1(3(x1)))))) 51: 0(3(0(1(x1)))) -> 0(0(3(1(2(1(x1)))))) 52: 0(3(0(1(x1)))) -> 0(0(3(1(2(3(x1)))))) 53: 0(3(0(1(x1)))) -> 0(0(3(1(3(4(x1)))))) 54: 0(3(0(1(x1)))) -> 0(0(3(2(1(2(x1)))))) 55: 0(3(0(1(x1)))) -> 0(0(3(3(2(1(x1)))))) 56: 0(3(0(1(x1)))) -> 0(0(3(4(2(1(x1)))))) 57: 0(3(0(1(x1)))) -> 0(1(2(0(3(3(x1)))))) 58: 0(3(0(1(x1)))) -> 0(1(3(4(4(0(x1)))))) 59: 0(3(0(1(x1)))) -> 0(2(0(2(3(1(x1)))))) 60: 0(3(0(1(x1)))) -> 0(2(1(0(2(3(x1)))))) 61: 0(3(0(1(x1)))) -> 0(2(1(0(3(3(x1)))))) 62: 0(3(0(1(x1)))) -> 0(2(1(3(4(0(x1)))))) 63: 0(3(0(1(x1)))) -> 0(3(1(2(2(0(x1)))))) 64: 0(3(0(1(x1)))) -> 0(3(4(1(0(4(x1)))))) 65: 0(3(0(1(x1)))) -> 0(3(4(2(0(1(x1)))))) 66: 0(3(0(1(x1)))) -> 0(3(4(4(0(1(x1)))))) 67: 0(3(0(1(x1)))) -> 1(0(2(3(4(0(x1)))))) 68: 0(3(0(1(x1)))) -> 1(0(3(2(2(0(x1)))))) 69: 0(3(0(1(x1)))) -> 1(0(3(4(0(3(x1)))))) 70: 0(3(0(1(x1)))) -> 1(2(0(3(4(0(x1)))))) 71: 0(3(0(1(x1)))) -> 1(3(4(0(0(2(x1)))))) 72: 0(3(0(1(x1)))) -> 1(3(4(0(0(4(x1)))))) 73: 0(3(0(1(x1)))) -> 2(0(1(3(4(0(x1)))))) 74: 0(3(0(1(x1)))) -> 2(1(0(3(4(0(x1)))))) 75: 0(3(0(1(x1)))) -> 3(4(0(2(0(1(x1)))))) 76: 0(3(0(1(x1)))) -> 4(0(0(1(3(3(x1)))))) 77: 0(3(0(1(x1)))) -> 4(0(0(1(3(4(x1)))))) 78: 0(3(0(1(x1)))) -> 4(0(1(3(4(0(x1)))))) 79: 0(0(0(5(1(x1))))) -> 3(5(0(0(0(1(x1)))))) 80: 0(0(3(0(1(x1))))) -> 1(3(4(0(0(0(x1)))))) 81: 0(0(5(3(1(x1))))) -> 0(1(3(5(4(0(x1)))))) 82: 0(0(5(3(1(x1))))) -> 0(3(5(0(1(4(x1)))))) 83: 0(0(5(3(1(x1))))) -> 1(1(3(5(0(0(x1)))))) 84: 0(0(5(3(1(x1))))) -> 2(0(3(5(0(1(x1)))))) 85: 0(1(0(5(1(x1))))) -> 0(0(5(1(2(1(x1)))))) 86: 0(1(0(5(1(x1))))) -> 0(1(5(0(1(4(x1)))))) 87: 0(1(0(5(1(x1))))) -> 0(5(0(1(2(1(x1)))))) 88: 0(1(2(5(1(x1))))) -> 0(1(5(4(2(1(x1)))))) 89: 0(1(2(5(1(x1))))) -> 1(1(2(1(5(0(x1)))))) 90: 0(1(2(5(1(x1))))) -> 1(5(0(2(0(1(x1)))))) 91: 0(1(2(5(1(x1))))) -> 1(5(2(4(0(1(x1)))))) 92: 0(1(2(5(1(x1))))) -> 2(5(1(0(2(1(x1)))))) 93: 0(1(2(5(1(x1))))) -> 5(0(1(2(2(1(x1)))))) 94: 0(1(2(5(1(x1))))) -> 5(1(0(2(1(3(x1)))))) 95: 0(1(2(5(1(x1))))) -> 5(3(1(0(2(1(x1)))))) 96: 0(1(3(0(1(x1))))) -> 0(0(3(1(2(1(x1)))))) 97: 0(1(5(3(1(x1))))) -> 0(1(1(3(5(0(x1)))))) 98: 0(1(5(3(1(x1))))) -> 0(4(1(3(5(1(x1)))))) 99: 0(1(5(3(1(x1))))) -> 1(2(0(1(3(5(x1)))))) 100: 0(1(5(3(1(x1))))) -> 3(1(1(3(5(0(x1)))))) 101: 0(1(5(3(1(x1))))) -> 3(5(0(1(2(1(x1)))))) 102: 0(1(5(3(1(x1))))) -> 3(5(0(1(3(1(x1)))))) 103: 0(1(5(3(1(x1))))) -> 4(1(3(5(0(1(x1)))))) 104: 0(1(5(3(1(x1))))) -> 5(0(1(1(3(1(x1)))))) 105: 0(1(5(3(1(x1))))) -> 5(0(3(1(2(1(x1)))))) 106: 0(1(5(4(1(x1))))) -> 0(1(3(5(4(1(x1)))))) 107: 0(1(5(4(1(x1))))) -> 5(0(1(4(2(1(x1)))))) 108: 0(3(0(1(1(x1))))) -> 0(0(2(1(3(1(x1)))))) 109: 0(3(0(3(1(x1))))) -> 0(0(3(3(2(1(x1)))))) 110: 0(3(0(3(1(x1))))) -> 4(0(0(3(3(1(x1)))))) 111: 0(3(0(4(1(x1))))) -> 0(0(1(3(4(1(x1)))))) 112: 0(3(0(4(1(x1))))) -> 0(0(2(1(3(4(x1)))))) 113: 0(3(0(4(1(x1))))) -> 0(1(3(4(0(1(x1)))))) 114: 0(3(0(4(1(x1))))) -> 0(1(3(4(0(2(x1)))))) 115: 0(3(0(4(1(x1))))) -> 1(4(3(4(0(0(x1)))))) 116: 0(3(0(4(1(x1))))) -> 3(4(0(2(0(1(x1)))))) 117: 0(3(0(4(1(x1))))) -> 4(0(0(1(3(4(x1)))))) 118: 0(3(0(5(1(x1))))) -> 0(0(1(2(3(5(x1)))))) 119: 0(3(0(5(1(x1))))) -> 0(1(3(5(0(3(x1)))))) 120: 0(3(0(5(1(x1))))) -> 0(3(5(0(1(4(x1)))))) 121: 0(3(0(5(1(x1))))) -> 0(5(0(3(1(3(x1)))))) 122: 0(3(0(5(1(x1))))) -> 1(3(5(0(0(2(x1)))))) 123: 0(3(1(0(1(x1))))) -> 0(1(3(1(2(0(x1)))))) 124: 0(3(1(0(1(x1))))) -> 0(2(0(1(1(3(x1)))))) 125: 0(3(1(0(1(x1))))) -> 1(1(3(4(0(0(x1)))))) 126: 0(3(1(5(1(x1))))) -> 0(0(3(5(1(1(x1)))))) 127: 0(3(1(5(1(x1))))) -> 0(1(1(3(5(3(x1)))))) 128: 0(3(1(5(1(x1))))) -> 0(1(3(5(3(1(x1)))))) 129: 0(3(1(5(1(x1))))) -> 0(1(5(3(4(1(x1)))))) 130: 0(3(1(5(1(x1))))) -> 0(3(4(1(1(5(x1)))))) 131: 0(3(1(5(1(x1))))) -> 1(0(1(3(5(0(x1)))))) 132: 0(3(1(5(1(x1))))) -> 1(0(1(3(5(3(x1)))))) 133: 0(3(1(5(1(x1))))) -> 1(3(5(1(4(0(x1)))))) 134: 0(3(1(5(1(x1))))) -> 1(4(0(1(3(5(x1)))))) 135: 0(3(1(5(1(x1))))) -> 2(1(0(3(5(1(x1)))))) 136: 0(3(1(5(1(x1))))) -> 2(1(3(5(0(1(x1)))))) 137: 0(3(1(5(1(x1))))) -> 4(3(5(0(1(1(x1)))))) 138: 0(3(2(5(1(x1))))) -> 0(0(5(2(1(3(x1)))))) 139: 0(3(2(5(1(x1))))) -> 0(1(0(3(5(2(x1)))))) 140: 0(3(2(5(1(x1))))) -> 0(1(3(5(2(2(x1)))))) 141: 0(3(2(5(1(x1))))) -> 0(1(3(5(4(2(x1)))))) 142: 0(3(2(5(1(x1))))) -> 0(1(5(2(3(3(x1)))))) 143: 0(3(2(5(1(x1))))) -> 0(2(0(5(1(3(x1)))))) 144: 0(3(2(5(1(x1))))) -> 0(2(1(5(0(3(x1)))))) 145: 0(3(2(5(1(x1))))) -> 0(3(4(2(5(1(x1)))))) 146: 0(3(2(5(1(x1))))) -> 0(4(5(2(1(3(x1)))))) 147: 0(3(2(5(1(x1))))) -> 0(5(2(1(2(3(x1)))))) 148: 0(3(2(5(1(x1))))) -> 1(1(3(5(2(0(x1)))))) 149: 0(3(2(5(1(x1))))) -> 1(3(0(2(3(5(x1)))))) 150: 0(3(2(5(1(x1))))) -> 1(3(5(2(2(0(x1)))))) 151: 0(3(2(5(1(x1))))) -> 1(5(2(0(1(3(x1)))))) 152: 0(3(2(5(1(x1))))) -> 2(0(1(3(5(2(x1)))))) 153: 0(3(2(5(1(x1))))) -> 2(0(4(1(3(5(x1)))))) 154: 0(3(2(5(1(x1))))) -> 2(1(5(0(3(4(x1)))))) 155: 0(3(2(5(1(x1))))) -> 2(5(1(3(0(2(x1)))))) 156: 0(3(2(5(1(x1))))) -> 3(1(0(4(5(2(x1)))))) 157: 0(3(2(5(1(x1))))) -> 3(4(5(2(0(1(x1)))))) 158: 0(3(2(5(1(x1))))) -> 3(5(4(0(2(1(x1)))))) 159: 0(3(2(5(1(x1))))) -> 4(0(1(3(5(2(x1)))))) 160: 0(3(2(5(1(x1))))) -> 4(0(3(5(2(1(x1)))))) 161: 0(3(2(5(1(x1))))) -> 4(1(2(3(5(0(x1)))))) 162: 0(3(2(5(1(x1))))) -> 4(2(0(1(3(5(x1)))))) 163: 0(3(2(5(1(x1))))) -> 5(0(3(1(2(3(x1)))))) 164: 0(3(2(5(1(x1))))) -> 5(2(0(3(2(1(x1)))))) 165: 0(3(2(5(1(x1))))) -> 5(2(0(3(5(1(x1)))))) 166: 0(3(2(5(1(x1))))) -> 5(2(3(0(2(1(x1)))))) 167: 0(4(1(5(1(x1))))) -> 0(1(1(4(3(5(x1)))))) 168: 0(4(1(5(1(x1))))) -> 1(2(1(5(4(0(x1)))))) 169: 0(4(1(5(1(x1))))) -> 1(5(0(4(2(1(x1)))))) 170: 0(5(1(0(1(x1))))) -> 0(0(1(3(5(1(x1)))))) 171: 0(5(1(0(1(x1))))) -> 0(5(0(1(1(2(x1)))))) 172: 0(5(1(0(1(x1))))) -> 0(5(0(1(1(3(x1)))))) 173: 0(5(1(0(1(x1))))) -> 0(5(0(2(1(1(x1)))))) 174: 0(5(1(5(1(x1))))) -> 0(5(1(3(5(1(x1)))))) 175: 0(5(1(5(1(x1))))) -> 1(1(3(5(0(5(x1)))))) 176: 0(5(1(5(1(x1))))) -> 5(1(5(0(2(1(x1)))))) 177: 0(5(3(0(1(x1))))) -> 0(0(3(5(2(1(x1)))))) 178: 0(5(3(0(1(x1))))) -> 0(4(0(3(5(1(x1)))))) 179: 0(5(3(0(1(x1))))) -> 1(0(3(5(2(0(x1)))))) 180: 0(5(3(0(1(x1))))) -> 2(1(0(3(5(0(x1)))))) Number of strict rules: 180 Direct POLO(bPol) ... failed. Uncurrying 0^1_4 0^1_5 0 1: 0^1_1(0^1_1(x1)) -> 0^2_2(1(1(x1))) 2: 0^1_1(0^1_1(x1)) -> 0(0^1_1(2(1(2(x1))))) 3: 0^1_1(0^1_1(x1)) -> 0(0^1_1(3(3(1(x1))))) 4: 0^1_1(0^1_1(x1)) -> 0^2_2(1(4(1(x1)))) 5: 0^1_1(0^1_1(x1)) -> 0(0^1_3(4(1(1(x1))))) 6: 0^1_1(0^1_1(x1)) -> 1(1(3(4(0(0(x1)))))) 7: 0^1_1(5(1(x1))) -> 0^1_1(1(3(5(x1)))) 8: 0^1_1(5(1(x1))) -> 0^1_1(3(5(1(x1)))) 9: 0^1_1(5(1(x1))) -> 1(1(3(5(0(x1))))) 10: 0^1_1(5(1(x1))) -> 1(3(5(0^1_1(x1)))) 11: 0^1_1(5(1(x1))) -> 5(0^1_1(1(3(x1)))) 12: 0^1_1(5(1(x1))) -> 0^1_1(1(3(5(2(x1))))) 13: 0^1_1(5(1(x1))) -> 0^1_1(2(2(5(1(x1))))) 14: 0^1_1(5(1(x1))) -> 0^1_1(3(3(5(1(x1))))) 15: 0^1_1(5(1(x1))) -> 0^1_1(3(5(0^1_1(x1)))) 16: 0^1_1(5(1(x1))) -> 0^1_1(3(5(1(3(x1))))) 17: 0^1_1(5(1(x1))) -> 0^1_2(1(1(3(5(x1))))) 18: 0^1_1(5(1(x1))) -> 0^1_3(1(1(3(5(x1))))) 19: 0^1_1(5(1(x1))) -> 1(1(2(0^1_3(5(x1))))) 20: 0^1_1(5(1(x1))) -> 1(1(3(3(5(0(x1)))))) 21: 0^1_1(5(1(x1))) -> 1(1(3(4(5(0(x1)))))) 22: 0^1_1(5(1(x1))) -> 1(1(3(5(0^1_3(x1))))) 23: 0^1_1(5(1(x1))) -> 1(1(4(4(5(0(x1)))))) 24: 0^1_1(5(1(x1))) -> 1(2(1(3(5(0(x1)))))) 25: 0^1_1(5(1(x1))) -> 1(2(2(5(0^1_1(x1))))) 26: 0^1_1(5(1(x1))) -> 1(3(1(3(5(0(x1)))))) 27: 0^1_1(5(1(x1))) -> 1(4(3(5(0^1_1(x1))))) 28: 0^1_1(5(1(x1))) -> 2(0^1_1(1(3(5(x1))))) 29: 0^1_1(5(1(x1))) -> 2(1(1(3(5(0(x1)))))) 30: 0^1_1(5(1(x1))) -> 4(0^1_1(3(5(1(x1))))) 31: 0^1_1(5(1(x1))) -> 5(0^1_1(1(2(2(x1))))) 32: 0^1_1(5(1(x1))) -> 5(0^1_1(1(3(3(x1))))) 33: 0^1_1(5(1(x1))) -> 5(0^1_1(3(4(1(x1))))) 34: 0^1_1(5(1(x1))) -> 5(0^1_2(1(1(3(x1))))) 35: 0^1_1(5(1(x1))) -> 5(1(2(0^1_2(1(x1))))) 36: 0^1_3(0^1_1(x1)) -> 0(0^1_1(2(3(x1)))) 37: 0^1_3(0^1_1(x1)) -> 0^2_2(1(3(x1))) 38: 0^1_3(0^1_1(x1)) -> 0(0^1_3(4(1(x1)))) 39: 0^1_3(0^1_1(x1)) -> 0^1_1(3(4(0(x1)))) 40: 0^1_3(0^1_1(x1)) -> 0^1_2(0^1_1(3(x1))) 41: 0^1_3(0^1_1(x1)) -> 0^1_3(4(0^1_1(x1))) 42: 0^1_3(0^1_1(x1)) -> 1(0^1_3(4(0(x1)))) 43: 0^1_3(0^1_1(x1)) -> 4(0(0^1_1(3(x1)))) 44: 0^1_3(0^1_1(x1)) -> 0(0^1_1(2(1(3(x1))))) 45: 0^1_3(0^1_1(x1)) -> 0(0^1_1(3(3(3(x1))))) 46: 0^1_3(0^1_1(x1)) -> 0(0^1_1(3(4(3(x1))))) 47: 0^1_3(0^1_1(x1)) -> 0(0^1_1(3(4(4(x1))))) 48: 0^1_3(0^1_1(x1)) -> 0(0^1_1(4(3(3(x1))))) 49: 0^1_3(0^1_1(x1)) -> 0^2_2(1(1(3(x1)))) 50: 0^1_3(0^1_1(x1)) -> 0^2_2(3(1(3(x1)))) 51: 0^1_3(0^1_1(x1)) -> 0(0^1_3(1(2(1(x1))))) 52: 0^1_3(0^1_1(x1)) -> 0(0^1_3(1(2(3(x1))))) 53: 0^1_3(0^1_1(x1)) -> 0(0^1_3(1(3(4(x1))))) 54: 0^1_3(0^1_1(x1)) -> 0(0^1_3(2(1(2(x1))))) 55: 0^1_3(0^1_1(x1)) -> 0(0^1_3(3(2(1(x1))))) 56: 0^1_3(0^1_1(x1)) -> 0(0^1_3(4(2(1(x1))))) 57: 0^1_3(0^1_1(x1)) -> 0^1_1(2(0^1_3(3(x1)))) 58: 0^1_3(0^1_1(x1)) -> 0^1_1(3(4(4(0(x1))))) 59: 0^1_3(0^1_1(x1)) -> 0^1_2(0^1_2(3(1(x1)))) 60: 0^1_3(0^1_1(x1)) -> 0^1_2(1(0^1_2(3(x1)))) 61: 0^1_3(0^1_1(x1)) -> 0^1_2(1(0^1_3(3(x1)))) 62: 0^1_3(0^1_1(x1)) -> 0^1_2(1(3(4(0(x1))))) 63: 0^1_3(0^1_1(x1)) -> 0^1_3(1(2(2(0(x1))))) 64: 0^1_3(0^1_1(x1)) -> 0^1_3(4(1(0^1_4(x1)))) 65: 0^1_3(0^1_1(x1)) -> 0^1_3(4(2(0^1_1(x1)))) 66: 0^1_3(0^1_1(x1)) -> 0^1_3(4(4(0^1_1(x1)))) 67: 0^1_3(0^1_1(x1)) -> 1(0^1_2(3(4(0(x1))))) 68: 0^1_3(0^1_1(x1)) -> 1(0^1_3(2(2(0(x1))))) 69: 0^1_3(0^1_1(x1)) -> 1(0^1_3(4(0^1_3(x1)))) 70: 0^1_3(0^1_1(x1)) -> 1(2(0^1_3(4(0(x1))))) 71: 0^1_3(0^1_1(x1)) -> 1(3(4(0^2_2(x1)))) 72: 0^1_3(0^1_1(x1)) -> 1(3(4(0(0^1_4(x1))))) 73: 0^1_3(0^1_1(x1)) -> 2(0^1_1(3(4(0(x1))))) 74: 0^1_3(0^1_1(x1)) -> 2(1(0^1_3(4(0(x1))))) 75: 0^1_3(0^1_1(x1)) -> 3(4(0^1_2(0^1_1(x1)))) 76: 0^1_3(0^1_1(x1)) -> 4(0(0^1_1(3(3(x1))))) 77: 0^1_3(0^1_1(x1)) -> 4(0(0^1_1(3(4(x1))))) 78: 0^1_3(0^1_1(x1)) -> 4(0^1_1(3(4(0(x1))))) 79: 0(0(0^1_5^1_1(x1))) -> 3(5(0(0(0^1_1(x1))))) 80: 0(0^1_3(0^1_1(x1))) -> 1(3(4(0(0(0(x1)))))) 81: 0(0^1_5^1_3(1(x1))) -> 0^1_1(3(5(4(0(x1))))) 82: 0(0^1_5^1_3(1(x1))) -> 0^1_3(5(0^1_1(4(x1)))) 83: 0(0^1_5^1_3(1(x1))) -> 1(1(3(5(0(0(x1)))))) 84: 0(0^1_5^1_3(1(x1))) -> 2(0^1_3(5(0^1_1(x1)))) 85: 0^1_1(0^1_5^1_1(x1)) -> 0(0^1_5^1_1(2(1(x1)))) 86: 0^1_1(0^1_5^1_1(x1)) -> 0^1_1(5(0^1_1(4(x1)))) 87: 0^1_1(0^1_5^1_1(x1)) -> 0^1_5(0^1_1(2(1(x1)))) 88: 0^1_1(2(5(1(x1)))) -> 0^1_1(5(4(2(1(x1))))) 89: 0^1_1(2(5(1(x1)))) -> 1(1(2(1(5(0(x1)))))) 90: 0^1_1(2(5(1(x1)))) -> 1(5(0^1_2(0^1_1(x1)))) 91: 0^1_1(2(5(1(x1)))) -> 1(5(2(4(0^1_1(x1))))) 92: 0^1_1(2(5(1(x1)))) -> 2(5(1(0^1_2(1(x1))))) 93: 0^1_1(2(5(1(x1)))) -> 5(0^1_1(2(2(1(x1))))) 94: 0^1_1(2(5(1(x1)))) -> 5(1(0^1_2(1(3(x1))))) 95: 0^1_1(2(5(1(x1)))) -> 5(3(1(0^1_2(1(x1))))) 96: 0^1_1(3(0^1_1(x1))) -> 0(0^1_3(1(2(1(x1))))) 97: 0^1_1(5(3(1(x1)))) -> 0^1_1(1(3(5(0(x1))))) 98: 0^1_1(5(3(1(x1)))) -> 0^1_4^1_1(3(5(1(x1)))) 99: 0^1_1(5(3(1(x1)))) -> 1(2(0^1_1(3(5(x1))))) 100: 0^1_1(5(3(1(x1)))) -> 3(1(1(3(5(0(x1)))))) 101: 0^1_1(5(3(1(x1)))) -> 3(5(0^1_1(2(1(x1))))) 102: 0^1_1(5(3(1(x1)))) -> 3(5(0^1_1(3(1(x1))))) 103: 0^1_1(5(3(1(x1)))) -> 4(1(3(5(0^1_1(x1))))) 104: 0^1_1(5(3(1(x1)))) -> 5(0^1_1(1(3(1(x1))))) 105: 0^1_1(5(3(1(x1)))) -> 5(0^1_3(1(2(1(x1))))) 106: 0^1_1(5(4(1(x1)))) -> 0^1_1(3(5(4(1(x1))))) 107: 0^1_1(5(4(1(x1)))) -> 5(0^1_1(4(2(1(x1))))) 108: 0^1_3(0^1_1(1(x1))) -> 0^2_2(1(3(1(x1)))) 109: 0^1_3(0^1_3(1(x1))) -> 0(0^1_3(3(2(1(x1))))) 110: 0^1_3(0^1_3(1(x1))) -> 4(0(0^1_3(3(1(x1))))) 111: 0^1_3(0^1_4^1_1(x1)) -> 0(0^1_1(3(4(1(x1))))) 112: 0^1_3(0^1_4^1_1(x1)) -> 0^2_2(1(3(4(x1)))) 113: 0^1_3(0^1_4^1_1(x1)) -> 0^1_1(3(4(0^1_1(x1)))) 114: 0^1_3(0^1_4^1_1(x1)) -> 0^1_1(3(4(0^1_2(x1)))) 115: 0^1_3(0^1_4^1_1(x1)) -> 1(4(3(4(0(0(x1)))))) 116: 0^1_3(0^1_4^1_1(x1)) -> 3(4(0^1_2(0^1_1(x1)))) 117: 0^1_3(0^1_4^1_1(x1)) -> 4(0(0^1_1(3(4(x1))))) 118: 0^1_3(0^1_5^1_1(x1)) -> 0(0^1_1(2(3(5(x1))))) 119: 0^1_3(0^1_5^1_1(x1)) -> 0^1_1(3(5(0^1_3(x1)))) 120: 0^1_3(0^1_5^1_1(x1)) -> 0^1_3(5(0^1_1(4(x1)))) 121: 0^1_3(0^1_5^1_1(x1)) -> 0^1_5(0^1_3(1(3(x1)))) 122: 0^1_3(0^1_5^1_1(x1)) -> 1(3(5(0^2_2(x1)))) 123: 0^1_3(1(0^1_1(x1))) -> 0^1_1(3(1(2(0(x1))))) 124: 0^1_3(1(0^1_1(x1))) -> 0^1_2(0^1_1(1(3(x1)))) 125: 0^1_3(1(0^1_1(x1))) -> 1(1(3(4(0(0(x1)))))) 126: 0^1_3(1(5(1(x1)))) -> 0(0^1_3(5(1(1(x1))))) 127: 0^1_3(1(5(1(x1)))) -> 0^1_1(1(3(5(3(x1))))) 128: 0^1_3(1(5(1(x1)))) -> 0^1_1(3(5(3(1(x1))))) 129: 0^1_3(1(5(1(x1)))) -> 0^1_1(5(3(4(1(x1))))) 130: 0^1_3(1(5(1(x1)))) -> 0^1_3(4(1(1(5(x1))))) 131: 0^1_3(1(5(1(x1)))) -> 1(0^1_1(3(5(0(x1))))) 132: 0^1_3(1(5(1(x1)))) -> 1(0^1_1(3(5(3(x1))))) 133: 0^1_3(1(5(1(x1)))) -> 1(3(5(1(4(0(x1)))))) 134: 0^1_3(1(5(1(x1)))) -> 1(4(0^1_1(3(5(x1))))) 135: 0^1_3(1(5(1(x1)))) -> 2(1(0^1_3(5(1(x1))))) 136: 0^1_3(1(5(1(x1)))) -> 2(1(3(5(0^1_1(x1))))) 137: 0^1_3(1(5(1(x1)))) -> 4(3(5(0^1_1(1(x1))))) 138: 0^1_3(2(5(1(x1)))) -> 0(0^1_5^1_2(1(3(x1)))) 139: 0^1_3(2(5(1(x1)))) -> 0^1_1(0^1_3(5(2(x1)))) 140: 0^1_3(2(5(1(x1)))) -> 0^1_1(3(5(2(2(x1))))) 141: 0^1_3(2(5(1(x1)))) -> 0^1_1(3(5(4(2(x1))))) 142: 0^1_3(2(5(1(x1)))) -> 0^1_1(5(2(3(3(x1))))) 143: 0^1_3(2(5(1(x1)))) -> 0^1_2(0^1_5^1_1(3(x1))) 144: 0^1_3(2(5(1(x1)))) -> 0^1_2(1(5(0^1_3(x1)))) 145: 0^1_3(2(5(1(x1)))) -> 0^1_3(4(2(5(1(x1))))) 146: 0^1_3(2(5(1(x1)))) -> 0^1_4^1_5(2(1(3(x1)))) 147: 0^1_3(2(5(1(x1)))) -> 0^1_5^1_2(1(2(3(x1)))) 148: 0^1_3(2(5(1(x1)))) -> 1(1(3(5(2(0(x1)))))) 149: 0^1_3(2(5(1(x1)))) -> 1(3(0^1_2(3(5(x1))))) 150: 0^1_3(2(5(1(x1)))) -> 1(3(5(2(2(0(x1)))))) 151: 0^1_3(2(5(1(x1)))) -> 1(5(2(0^1_1(3(x1))))) 152: 0^1_3(2(5(1(x1)))) -> 2(0^1_1(3(5(2(x1))))) 153: 0^1_3(2(5(1(x1)))) -> 2(0^1_4^1_1(3(5(x1)))) 154: 0^1_3(2(5(1(x1)))) -> 2(1(5(0^1_3(4(x1))))) 155: 0^1_3(2(5(1(x1)))) -> 2(5(1(3(0^1_2(x1))))) 156: 0^1_3(2(5(1(x1)))) -> 3(1(0^1_4^1_5(2(x1)))) 157: 0^1_3(2(5(1(x1)))) -> 3(4(5(2(0^1_1(x1))))) 158: 0^1_3(2(5(1(x1)))) -> 3(5(4(0^1_2(1(x1))))) 159: 0^1_3(2(5(1(x1)))) -> 4(0^1_1(3(5(2(x1))))) 160: 0^1_3(2(5(1(x1)))) -> 4(0^1_3(5(2(1(x1))))) 161: 0^1_3(2(5(1(x1)))) -> 4(1(2(3(5(0(x1)))))) 162: 0^1_3(2(5(1(x1)))) -> 4(2(0^1_1(3(5(x1))))) 163: 0^1_3(2(5(1(x1)))) -> 5(0^1_3(1(2(3(x1))))) 164: 0^1_3(2(5(1(x1)))) -> 5(2(0^1_3(2(1(x1))))) 165: 0^1_3(2(5(1(x1)))) -> 5(2(0^1_3(5(1(x1))))) 166: 0^1_3(2(5(1(x1)))) -> 5(2(3(0^1_2(1(x1))))) 167: 0^1_4^1_1(5(1(x1))) -> 0^1_1(1(4(3(5(x1))))) 168: 0^1_4^1_1(5(1(x1))) -> 1(2(1(5(4(0(x1)))))) 169: 0^1_4^1_1(5(1(x1))) -> 1(5(0^1_4^1_2(1(x1)))) 170: 0^1_5^1_1(0^1_1(x1)) -> 0(0^1_1(3(5(1(x1))))) 171: 0^1_5^1_1(0^1_1(x1)) -> 0^1_5(0^1_1(1(2(x1)))) 172: 0^1_5^1_1(0^1_1(x1)) -> 0^1_5(0^1_1(1(3(x1)))) 173: 0^1_5^1_1(0^1_1(x1)) -> 0^1_5^1_0^1_2(1(1(x1))) 174: 0^1_5^1_1(5(1(x1))) -> 0^1_5^1_1(3(5(1(x1)))) 175: 0^1_5^1_1(5(1(x1))) -> 1(1(3(5(0^1_5(x1))))) 176: 0^1_5^1_1(5(1(x1))) -> 5(1(5(0^1_2(1(x1))))) 177: 0^1_5^1_3(0^1_1(x1)) -> 0(0^1_3(5(2(1(x1))))) 178: 0^1_5^1_3(0^1_1(x1)) -> 0^1_4(0^1_3(5(1(x1)))) 179: 0^1_5^1_3(0^1_1(x1)) -> 1(0^1_3(5(2(0(x1))))) 180: 0^1_5^1_3(0^1_1(x1)) -> 2(1(0^1_3(5(0(x1))))) 181: 0(2(_1)) ->= 0^1_2(_1) 182: 0(0^1_2(_1)) ->= 0^2_2(_1) 183: 0(1(_1)) ->= 0^1_1(_1) 184: 0(4(_1)) ->= 0^1_4(_1) 185: 0(5(_1)) ->= 0^1_5(_1) 186: 0(3(_1)) ->= 0^1_3(_1) 187: 0^1_5(2(_1)) ->= 0^1_5^1_2(_1) 188: 0^1_5(1(_1)) ->= 0^1_5^1_1(_1) 189: 0^1_5(0^1_2(_1)) ->= 0^1_5^1_0^1_2(_1) 190: 0^1_5(3(_1)) ->= 0^1_5^1_3(_1) 191: 0^1_4(2(_1)) ->= 0^1_4^1_2(_1) 192: 0^1_4(1(_1)) ->= 0^1_4^1_1(_1) 193: 0^1_4(5(_1)) ->= 0^1_4^1_5(_1) Number of strict rules: 180 Direct POLO(bPol) ... failed. Dependency Pairs: #1: #0^1_1(0^1_1(x1)) -> #0(0^1_1(2(1(2(x1))))) #2: #0^1_1(0^1_1(x1)) -> #0^1_1(2(1(2(x1)))) #3: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(x1))) #4: #0^1_3(0^1_1(x1)) -> #0^1_1(3(x1)) #5: #0^1_1(0^1_5^1_1(x1)) -> #0^1_1(5(0^1_1(4(x1)))) #6: #0^1_1(0^1_5^1_1(x1)) -> #0^1_1(4(x1)) #7: #0^1_1(5(1(x1))) -> #0(x1) #8: #0^1_3(0^1_1(x1)) -> #0^1_3(4(4(0^1_1(x1)))) #9: #0(0^1_5^1_3(1(x1))) -> #0(0(x1)) #10: #0(0^1_5^1_3(1(x1))) -> #0(x1) #11: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(4(3(x1))))) #12: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(3(x1)))) #13: #0^1_5^1_3(0^1_1(x1)) -> #0(0^1_3(5(2(1(x1))))) #14: #0^1_5^1_3(0^1_1(x1)) -> #0^1_3(5(2(1(x1)))) #15: #0^1_3(0^1_1(x1)) -> #0^1_3(4(0(x1))) #16: #0^1_3(0^1_1(x1)) -> #0(x1) #17: #0^1_3(0^1_4^1_1(x1)) -> #0(0(x1)) #18: #0^1_3(0^1_4^1_1(x1)) -> #0(x1) #19: #0^1_3(0^1_1(x1)) -> #0^1_3(4(0^1_1(x1))) #20: #0^1_1(5(3(1(x1)))) -> #0^1_1(3(5(x1))) #21: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(3(4(0^1_2(x1)))) #22: #0^1_3(2(5(1(x1)))) -> #0^1_3(1(2(3(x1)))) #23: #0^1_1(5(3(1(x1)))) -> #0^1_1(1(3(5(0(x1))))) #24: #0^1_1(5(3(1(x1)))) -> #0(x1) #25: #0^1_1(2(5(1(x1)))) -> #0^1_1(x1) #26: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(4(4(x1))))) #27: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(4(x1)))) #28: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(0(x1)))) #29: #0^1_3(0^1_1(x1)) -> #0(x1) #30: #0^1_3(0^1_1(x1)) -> #0(0^1_3(1(3(4(x1))))) #31: #0^1_3(0^1_1(x1)) -> #0^1_3(1(3(4(x1)))) #32: #0^1_3(2(5(1(x1)))) -> #0^1_1(0^1_3(5(2(x1)))) #33: #0^1_3(2(5(1(x1)))) -> #0^1_3(5(2(x1))) #34: #0^1_3(0^1_1(x1)) -> #0(0^1_1(4(3(3(x1))))) #35: #0^1_3(0^1_1(x1)) -> #0^1_1(4(3(3(x1)))) #36: #0^1_3(1(0^1_1(x1))) -> #0^1_1(3(1(2(0(x1))))) #37: #0^1_3(1(0^1_1(x1))) -> #0(x1) #38: #0^1_3(0^1_1(x1)) -> #0^1_3(4(0(x1))) #39: #0^1_3(0^1_1(x1)) -> #0(x1) #40: #0^1_5^1_3(0^1_1(x1)) -> #0^1_4(0^1_3(5(1(x1)))) #41: #0^1_5^1_3(0^1_1(x1)) -> #0^1_3(5(1(x1))) #42: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(4(0(x1))))) #43: #0^1_3(0^1_1(x1)) -> #0(x1) #44: #0^1_5^1_1(0^1_1(x1)) -> #0(0^1_1(3(5(1(x1))))) #45: #0^1_5^1_1(0^1_1(x1)) -> #0^1_1(3(5(1(x1)))) #46: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(3(4(0^1_1(x1)))) #47: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(x1) #48: #0^1_3(2(5(1(x1)))) -> #0(0^1_5^1_2(1(3(x1)))) #49: #0^1_3(0^1_1(x1)) -> #0(0^1_3(4(1(x1)))) #50: #0^1_3(0^1_1(x1)) -> #0^1_3(4(1(x1))) #51: #0^1_3(0^1_1(x1)) -> #0^1_3(3(x1)) #52: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(x1)) #53: #0^1_3(2(5(1(x1)))) -> #0^1_3(4(x1)) #54: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(x1) #55: #0^1_1(0^1_1(x1)) -> #0(0(x1)) #56: #0^1_1(0^1_1(x1)) -> #0(x1) #57: #0^1_3(2(5(1(x1)))) -> #0^1_3(5(1(x1))) #58: #0^1_3(0^1_3(1(x1))) -> #0(0^1_3(3(1(x1)))) #59: #0^1_3(0^1_3(1(x1))) -> #0^1_3(3(1(x1))) #60: #0^1_3(0^1_1(x1)) -> #0(0^1_3(3(2(1(x1))))) #61: #0^1_3(0^1_1(x1)) -> #0^1_3(3(2(1(x1)))) #62: #0^1_3(1(5(1(x1)))) -> #0^1_1(3(5(3(x1)))) #63: #0^1_3(0^1_1(x1)) -> #0(x1) #64: #0^1_3(0^1_1(x1)) -> #0^1_1(3(x1)) #65: #0^1_1(2(5(1(x1)))) -> #0^1_1(x1) #66: #0^1_3(0^1_1(x1)) -> #0(0^1_3(1(2(1(x1))))) #67: #0^1_3(0^1_1(x1)) -> #0^1_3(1(2(1(x1)))) #68: #0^1_1(5(4(1(x1)))) -> #0^1_1(4(2(1(x1)))) #69: #0^1_1(5(1(x1))) -> #0^1_1(2(2(5(1(x1))))) #70: #0^1_1(5(1(x1))) -> #0(x1) #71: #0^1_1(5(1(x1))) -> #0^1_1(1(3(x1))) #72: #0^1_1(5(3(1(x1)))) -> #0^1_4^1_1(3(5(1(x1)))) #73: #0^1_3(0^1_1(x1)) -> #0^1_1(2(0^1_3(3(x1)))) #74: #0^1_3(0^1_1(x1)) -> #0^1_3(3(x1)) #75: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(3(x1)))) #76: #0^1_3(0^1_1(x1)) -> #0^1_1(3(3(x1))) #77: #0^1_4^1_1(5(1(x1))) -> #0^1_1(1(4(3(5(x1))))) #78: #0^1_5(3(_1)) ->? #0^1_5^1_3(_1) #79: #0^1_3(0^1_3(1(x1))) -> #0(0^1_3(3(2(1(x1))))) #80: #0^1_3(0^1_3(1(x1))) -> #0^1_3(3(2(1(x1)))) #81: #0^1_1(5(1(x1))) -> #0(x1) #82: #0^1_3(1(5(1(x1)))) -> #0^1_1(3(5(x1))) #83: #0^1_3(0^1_1(x1)) -> #0^1_3(4(0(x1))) #84: #0^1_3(0^1_1(x1)) -> #0(x1) #85: #0^1_1(5(1(x1))) -> #0(x1) #86: #0(0^1_5^1_3(1(x1))) -> #0^1_1(3(5(4(0(x1))))) #87: #0(0^1_5^1_3(1(x1))) -> #0(x1) #88: #0^1_3(1(5(1(x1)))) -> #0^1_1(3(5(3(1(x1))))) #89: #0^1_3(0^1_5^1_1(x1)) -> #0(0^1_1(2(3(5(x1))))) #90: #0^1_3(0^1_5^1_1(x1)) -> #0^1_1(2(3(5(x1)))) #91: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(0(x1)))) #92: #0^1_3(0^1_1(x1)) -> #0(x1) #93: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(3(3(x1))))) #94: #0^1_3(0^1_1(x1)) -> #0^1_1(3(3(3(x1)))) #95: #0^1_1(3(0^1_1(x1))) -> #0(0^1_3(1(2(1(x1))))) #96: #0^1_1(3(0^1_1(x1))) -> #0^1_3(1(2(1(x1)))) #97: #0^1_3(0^1_1(x1)) -> #0^1_3(4(0^1_3(x1))) #98: #0^1_3(0^1_1(x1)) -> #0^1_3(x1) #99: #0^1_1(5(3(1(x1)))) -> #0^1_1(2(1(x1))) #100: #0^1_1(5(1(x1))) -> #0^1_1(1(3(5(2(x1))))) #101: #0^1_1(5(1(x1))) -> #0^1_1(1(2(2(x1)))) #102: #0^1_3(2(5(1(x1)))) -> #0^1_3(2(1(x1))) #103: #0^1_3(0^1_1(x1)) -> #0(0^1_3(4(2(1(x1))))) #104: #0^1_3(0^1_1(x1)) -> #0^1_3(4(2(1(x1)))) #105: #0(0(0^1_5^1_1(x1))) -> #0(0(0^1_1(x1))) #106: #0(0(0^1_5^1_1(x1))) -> #0(0^1_1(x1)) #107: #0(0(0^1_5^1_1(x1))) -> #0^1_1(x1) #108: #0^1_1(2(5(1(x1)))) -> #0(x1) #109: #0^1_3(1(5(1(x1)))) -> #0(x1) #110: #0(0^1_5^1_3(1(x1))) -> #0^1_3(5(0^1_1(4(x1)))) #111: #0(0^1_5^1_3(1(x1))) -> #0^1_1(4(x1)) #112: #0^1_1(5(1(x1))) -> #0^1_1(3(3(5(1(x1))))) #113: #0^1_3(0^1_4^1_1(x1)) -> #0(0^1_1(3(4(1(x1))))) #114: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(3(4(1(x1)))) #115: #0^1_1(5(4(1(x1)))) -> #0^1_1(3(5(4(1(x1))))) #116: #0(5(_1)) ->? #0^1_5(_1) #117: #0^1_1(5(1(x1))) -> #0^1_1(3(5(1(x1)))) #118: #0^1_3(0^1_1(x1)) -> #0(x1) #119: #0^1_3(0^1_1(x1)) -> #0(0^1_3(1(2(3(x1))))) #120: #0^1_3(0^1_1(x1)) -> #0^1_3(1(2(3(x1)))) #121: #0^1_1(5(1(x1))) -> #0^1_1(x1) #122: #0^1_3(1(5(1(x1)))) -> #0^1_3(4(1(1(5(x1))))) #123: #0^1_3(1(5(1(x1)))) -> #0^1_1(5(3(4(1(x1))))) #124: #0^1_1(5(1(x1))) -> #0(x1) #125: #0^1_3(1(5(1(x1)))) -> #0(0^1_3(5(1(1(x1))))) #126: #0^1_3(1(5(1(x1)))) -> #0^1_3(5(1(1(x1)))) #127: #0^1_5^1_3(0^1_1(x1)) -> #0^1_3(5(2(0(x1)))) #128: #0^1_5^1_3(0^1_1(x1)) -> #0(x1) #129: #0^1_5^1_1(5(1(x1))) -> #0^1_5^1_1(3(5(1(x1)))) #130: #0^1_1(5(1(x1))) -> #0^1_1(1(3(5(x1)))) #131: #0^1_1(2(5(1(x1)))) -> #0^1_1(5(4(2(1(x1))))) #132: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(0(x1)))) #133: #0^1_3(0^1_1(x1)) -> #0(x1) #134: #0^1_3(2(5(1(x1)))) -> #0^1_4^1_1(3(5(x1))) #135: #0^1_3(1(5(1(x1)))) -> #0^1_1(x1) #136: #0^1_1(5(1(x1))) -> #0^1_1(x1) #137: #0^1_1(2(5(1(x1)))) -> #0^1_1(2(2(1(x1)))) #138: #0^1_3(0^1_5^1_1(x1)) -> #0^1_1(3(5(0^1_3(x1)))) #139: #0^1_3(0^1_5^1_1(x1)) -> #0^1_3(x1) #140: #0^1_5^1_1(5(1(x1))) -> #0^1_5(x1) #141: #0^1_1(5(1(x1))) -> #0^1_1(3(4(1(x1)))) #142: #0^1_3(0^1_1(x1)) -> #0^1_3(4(1(0^1_4(x1)))) #143: #0^1_3(0^1_1(x1)) -> #0^1_4(x1) #144: #0^1_3(0^1_1(x1)) -> #0(0^1_4(x1)) #145: #0^1_3(0^1_1(x1)) -> #0^1_4(x1) #146: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(5(x1))) #147: #0(4(_1)) ->? #0^1_4(_1) #148: #0^1_1(0^1_1(x1)) -> #0(0^1_3(4(1(1(x1))))) #149: #0^1_1(0^1_1(x1)) -> #0^1_3(4(1(1(x1)))) #150: #0^1_3(0^1_5^1_1(x1)) -> #0^1_3(5(0^1_1(4(x1)))) #151: #0^1_3(0^1_5^1_1(x1)) -> #0^1_1(4(x1)) #152: #0^1_3(0^1_1(x1)) -> #0(0^1_1(2(1(3(x1))))) #153: #0^1_3(0^1_1(x1)) -> #0^1_1(2(1(3(x1)))) #154: #0^1_3(0^1_1(x1)) -> #0^1_3(4(2(0^1_1(x1)))) #155: #0^1_1(5(1(x1))) -> #0^1_1(1(3(5(x1)))) #156: #0^1_3(2(5(1(x1)))) -> #0(x1) #157: #0^1_1(5(1(x1))) -> #0^1_3(x1) #158: #0^1_3(1(5(1(x1)))) -> #0^1_1(1(3(5(3(x1))))) #159: #0^1_5^1_1(0^1_1(x1)) -> #0^1_5(0^1_1(1(2(x1)))) #160: #0^1_5^1_1(0^1_1(x1)) -> #0^1_1(1(2(x1))) #161: #0(1(_1)) ->? #0^1_1(_1) #162: #0(0^1_5^1_3(1(x1))) -> #0^1_3(5(0^1_1(x1))) #163: #0(0^1_5^1_3(1(x1))) -> #0^1_1(x1) #164: #0^1_1(0^1_5^1_1(x1)) -> #0^1_5(0^1_1(2(1(x1)))) #165: #0^1_1(0^1_5^1_1(x1)) -> #0^1_1(2(1(x1))) #166: #0^1_3(2(5(1(x1)))) -> #0^1_1(x1) #167: #0^1_1(5(1(x1))) -> #0^1_1(x1) #168: #0^1_3(1(5(1(x1)))) -> #0^1_1(1(x1)) #169: #0^1_3(2(5(1(x1)))) -> #0^1_1(5(2(3(3(x1))))) #170: #0^1_3(2(5(1(x1)))) -> #0^1_3(x1) #171: #0^1_3(2(5(1(x1)))) -> #0(x1) #172: #0^1_3(2(5(1(x1)))) -> #0(x1) #173: #0^1_3(0^1_4^1_1(x1)) -> #0(0^1_1(3(4(x1)))) #174: #0^1_3(0^1_4^1_1(x1)) -> #0^1_1(3(4(x1))) #175: #0^1_5^1_1(0^1_1(x1)) -> #0^1_5(0^1_1(1(3(x1)))) #176: #0^1_5^1_1(0^1_1(x1)) -> #0^1_1(1(3(x1))) #177: #0^1_1(5(1(x1))) -> #0^1_3(5(x1)) #178: #0^1_1(5(1(x1))) -> #0^1_1(1(3(3(x1)))) #179: #0^1_3(2(5(1(x1)))) -> #0^1_5^1_1(3(x1)) #180: #0^1_3(1(0^1_1(x1))) -> #0(0(x1)) #181: #0^1_3(1(0^1_1(x1))) -> #0(x1) #182: #0^1_4(1(_1)) ->? #0^1_4^1_1(_1) #183: #0(3(_1)) ->? #0^1_3(_1) #184: #0^1_3(0^1_1(x1)) -> #0^1_3(1(2(2(0(x1))))) #185: #0^1_3(0^1_1(x1)) -> #0(x1) #186: #0^1_3(1(5(1(x1)))) -> #0^1_3(5(1(x1))) #187: #0^1_1(5(1(x1))) -> #0(x1) #188: #0^1_1(5(3(1(x1)))) -> #0^1_3(1(2(1(x1)))) #189: #0^1_1(5(3(1(x1)))) -> #0(x1) #190: #0^1_1(0^1_5^1_1(x1)) -> #0(0^1_5^1_1(2(1(x1)))) #191: #0^1_1(0^1_5^1_1(x1)) -> #0^1_5^1_1(2(1(x1))) #192: #0^1_3(0^1_1(x1)) -> #0^1_3(2(2(0(x1)))) #193: #0^1_3(0^1_1(x1)) -> #0(x1) #194: #0^1_3(1(5(1(x1)))) -> #0^1_1(3(5(0(x1)))) #195: #0^1_3(1(5(1(x1)))) -> #0(x1) #196: #0^1_3(0^1_1(x1)) -> #0(0^1_1(2(3(x1)))) #197: #0^1_3(0^1_1(x1)) -> #0^1_1(2(3(x1))) #198: #0^1_1(5(1(x1))) -> #0(x1) #199: #0^1_1(5(1(x1))) -> #0^1_1(3(5(1(3(x1))))) #200: #0^1_1(0^1_1(x1)) -> #0(0^1_1(3(3(1(x1))))) #201: #0^1_1(0^1_1(x1)) -> #0^1_1(3(3(1(x1)))) #202: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(5(2(x1)))) #203: #0^1_3(0^1_1(x1)) -> #0(0^1_1(3(4(x1)))) #204: #0^1_3(0^1_1(x1)) -> #0^1_1(3(4(x1))) #205: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(5(2(2(x1))))) #206: #0^1_3(1(0^1_1(x1))) -> #0^1_1(1(3(x1))) #207: #0^1_3(0^1_1(x1)) -> #0(0^1_3(2(1(2(x1))))) #208: #0^1_3(0^1_1(x1)) -> #0^1_3(2(1(2(x1)))) #209: #0^1_1(5(1(x1))) -> #0^1_1(3(5(1(x1)))) #210: #0^1_3(2(5(1(x1)))) -> #0^1_3(5(2(1(x1)))) #211: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(5(2(x1)))) #212: #0^1_4^1_1(5(1(x1))) -> #0(x1) #213: #0^1_3(2(5(1(x1)))) -> #0^1_1(3(5(4(2(x1))))) #214: #0^1_3(0^1_5^1_1(x1)) -> #0^1_5(0^1_3(1(3(x1)))) #215: #0^1_3(0^1_5^1_1(x1)) -> #0^1_3(1(3(x1))) #216: #0^1_5^1_3(0^1_1(x1)) -> #0^1_3(5(0(x1))) #217: #0^1_5^1_3(0^1_1(x1)) -> #0(x1) #218: #0^1_1(5(1(x1))) -> #0^1_1(3(5(0^1_1(x1)))) #219: #0^1_1(5(1(x1))) -> #0^1_1(x1) #220: #0^1_3(2(5(1(x1)))) -> #0^1_3(4(2(5(1(x1))))) #221: #0^1_1(5(3(1(x1)))) -> #0^1_1(3(1(x1))) #222: #0^1_1(5(3(1(x1)))) -> #0^1_1(x1) #223: #0^1_5(1(_1)) ->? #0^1_5^1_1(_1) #224: #0^1_1(5(3(1(x1)))) -> #0^1_1(1(3(1(x1)))) #225: #0(0^1_3(0^1_1(x1))) -> #0(0(0(x1))) #226: #0(0^1_3(0^1_1(x1))) -> #0(0(x1)) #227: #0(0^1_3(0^1_1(x1))) -> #0(x1) #228: #0^1_1(5(1(x1))) -> #0^1_3(1(1(3(5(x1))))) Number of SCCs: 1, DPs: 72 SCC { #7 #9 #10 #16..18 #24 #25 #29 #37 #39 #43 #47 #54..56 #63 #65 #70 #78 #81 #84 #85 #87 #92 #98 #105..109 #116 #118 #121 #124 #128 #133 #135 #136 #139 #140 #143..145 #147 #156 #157 #161 #163 #166 #167 #170..172 #180..183 #185 #187 #189 #193 #195 #198 #212 #217 #219 #222 #223 #225..227 } POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed. Finding a loop... failed.