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