/export/starexec/sandbox2/solver/bin/starexec_run_Default: line 4: 50676 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 50677 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 1: a(x1) -> x1 2: o(x1) -> x1 3: l(x1) -> x1 4: S(x1) -> x1 5: +(x1,x2) -> x2 6: +(x1,x2) -> x1 7: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 8: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 9: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 10: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 11: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 12: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 13: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 14: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 15: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 16: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 17: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 18: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 19: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 20: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 21: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 22: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 23: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 24: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 25: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 26: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 27: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 28: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 29: J1(x1,x2) -> x2 30: J1(x1,x2) -> x1 31: J2(x1,x2,x3) -> x3 32: J2(x1,x2,x3) -> x2 33: J2(x1,x2,x3) -> x1 34: J3(x1,x2,x3,x4) -> x4 35: J3(x1,x2,x3,x4) -> x3 36: J3(x1,x2,x3,x4) -> x2 37: J3(x1,x2,x3,x4) -> x1 38: J4(x1,x2,x3,x4,x5) -> x5 39: J4(x1,x2,x3,x4,x5) -> x4 40: J4(x1,x2,x3,x4,x5) -> x3 41: J4(x1,x2,x3,x4,x5) -> x2 42: J4(x1,x2,x3,x4,x5) -> x1 43: J5(x1,x2,x3,x4,x5,x6) -> x6 44: J5(x1,x2,x3,x4,x5,x6) -> x5 45: J5(x1,x2,x3,x4,x5,x6) -> x4 46: J5(x1,x2,x3,x4,x5,x6) -> x3 47: J5(x1,x2,x3,x4,x5,x6) -> x2 48: J5(x1,x2,x3,x4,x5,x6) -> x1 49: J6(x1,x2,x3,x4,x5,x6,x7) -> x7 50: J6(x1,x2,x3,x4,x5,x6,x7) -> x6 51: J6(x1,x2,x3,x4,x5,x6,x7) -> x5 52: J6(x1,x2,x3,x4,x5,x6,x7) -> x4 53: J6(x1,x2,x3,x4,x5,x6,x7) -> x3 54: J6(x1,x2,x3,x4,x5,x6,x7) -> x2 55: J6(x1,x2,x3,x4,x5,x6,x7) -> x1 56: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 57: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 58: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 59: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 60: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 61: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 62: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 63: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 64: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 65: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 66: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 67: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 68: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 69: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 70: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 71: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 72: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 73: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 74: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 75: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 76: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 77: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 78: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 79: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 80: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 81: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 82: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 83: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 84: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 85: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 86: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 87: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 88: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 89: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 90: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 91: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 92: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 93: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 94: Q11(x1,x2) -> x2 95: Q11(x1,x2) -> x1 96: Q21(x1,x2,x3) -> x3 97: Q21(x1,x2,x3) -> x2 98: Q21(x1,x2,x3) -> x1 99: Q22(x1,x2,x3) -> x3 100: Q22(x1,x2,x3) -> x2 101: Q22(x1,x2,x3) -> x1 102: Q31(x1,x2,x3,x4) -> x4 103: Q31(x1,x2,x3,x4) -> x3 104: Q31(x1,x2,x3,x4) -> x2 105: Q31(x1,x2,x3,x4) -> x1 106: Q32(x1,x2,x3,x4) -> x4 107: Q32(x1,x2,x3,x4) -> x3 108: Q32(x1,x2,x3,x4) -> x2 109: Q32(x1,x2,x3,x4) -> x1 110: Q33(x1,x2,x3,x4) -> x4 111: Q33(x1,x2,x3,x4) -> x3 112: Q33(x1,x2,x3,x4) -> x2 113: Q33(x1,x2,x3,x4) -> x1 114: Q41(x1,x2,x3,x4,x5) -> x5 115: Q41(x1,x2,x3,x4,x5) -> x4 116: Q41(x1,x2,x3,x4,x5) -> x3 117: Q41(x1,x2,x3,x4,x5) -> x2 118: Q41(x1,x2,x3,x4,x5) -> x1 119: Q42(x1,x2,x3,x4,x5) -> x5 120: Q42(x1,x2,x3,x4,x5) -> x4 121: Q42(x1,x2,x3,x4,x5) -> x3 122: Q42(x1,x2,x3,x4,x5) -> x2 123: Q42(x1,x2,x3,x4,x5) -> x1 124: Q43(x1,x2,x3,x4,x5) -> x5 125: Q43(x1,x2,x3,x4,x5) -> x4 126: Q43(x1,x2,x3,x4,x5) -> x3 127: Q43(x1,x2,x3,x4,x5) -> x2 128: Q43(x1,x2,x3,x4,x5) -> x1 129: Q44(x1,x2,x3,x4,x5) -> x5 130: Q44(x1,x2,x3,x4,x5) -> x4 131: Q44(x1,x2,x3,x4,x5) -> x3 132: Q44(x1,x2,x3,x4,x5) -> x2 133: Q44(x1,x2,x3,x4,x5) -> x1 134: Q51(x1,x2,x3,x4,x5,x6) -> x6 135: Q51(x1,x2,x3,x4,x5,x6) -> x5 136: Q51(x1,x2,x3,x4,x5,x6) -> x4 137: Q51(x1,x2,x3,x4,x5,x6) -> x3 138: Q51(x1,x2,x3,x4,x5,x6) -> x2 139: Q51(x1,x2,x3,x4,x5,x6) -> x1 140: Q52(x1,x2,x3,x4,x5,x6) -> x6 141: Q52(x1,x2,x3,x4,x5,x6) -> x5 142: Q52(x1,x2,x3,x4,x5,x6) -> x4 143: Q52(x1,x2,x3,x4,x5,x6) -> x3 144: Q52(x1,x2,x3,x4,x5,x6) -> x2 145: Q52(x1,x2,x3,x4,x5,x6) -> x1 146: Q53(x1,x2,x3,x4,x5,x6) -> x6 147: Q53(x1,x2,x3,x4,x5,x6) -> x5 148: Q53(x1,x2,x3,x4,x5,x6) -> x4 149: Q53(x1,x2,x3,x4,x5,x6) -> x3 150: Q53(x1,x2,x3,x4,x5,x6) -> x2 151: Q53(x1,x2,x3,x4,x5,x6) -> x1 152: Q54(x1,x2,x3,x4,x5,x6) -> x6 153: Q54(x1,x2,x3,x4,x5,x6) -> x5 154: Q54(x1,x2,x3,x4,x5,x6) -> x4 155: Q54(x1,x2,x3,x4,x5,x6) -> x3 156: Q54(x1,x2,x3,x4,x5,x6) -> x2 157: Q54(x1,x2,x3,x4,x5,x6) -> x1 158: Q55(x1,x2,x3,x4,x5,x6) -> x6 159: Q55(x1,x2,x3,x4,x5,x6) -> x5 160: Q55(x1,x2,x3,x4,x5,x6) -> x4 161: Q55(x1,x2,x3,x4,x5,x6) -> x3 162: Q55(x1,x2,x3,x4,x5,x6) -> x2 163: Q55(x1,x2,x3,x4,x5,x6) -> x1 164: Q61(x1,x2,x3,x4,x5,x6,x7) -> x7 165: Q61(x1,x2,x3,x4,x5,x6,x7) -> x6 166: Q61(x1,x2,x3,x4,x5,x6,x7) -> x5 167: Q61(x1,x2,x3,x4,x5,x6,x7) -> x4 168: Q61(x1,x2,x3,x4,x5,x6,x7) -> x3 169: Q61(x1,x2,x3,x4,x5,x6,x7) -> x2 170: Q61(x1,x2,x3,x4,x5,x6,x7) -> x1 171: Q62(x1,x2,x3,x4,x5,x6,x7) -> x7 172: Q62(x1,x2,x3,x4,x5,x6,x7) -> x6 173: Q62(x1,x2,x3,x4,x5,x6,x7) -> x5 174: Q62(x1,x2,x3,x4,x5,x6,x7) -> x4 175: Q62(x1,x2,x3,x4,x5,x6,x7) -> x3 176: Q62(x1,x2,x3,x4,x5,x6,x7) -> x2 177: Q62(x1,x2,x3,x4,x5,x6,x7) -> x1 178: Q63(x1,x2,x3,x4,x5,x6,x7) -> x7 179: Q63(x1,x2,x3,x4,x5,x6,x7) -> x6 180: Q63(x1,x2,x3,x4,x5,x6,x7) -> x5 181: Q63(x1,x2,x3,x4,x5,x6,x7) -> x4 182: Q63(x1,x2,x3,x4,x5,x6,x7) -> x3 183: Q63(x1,x2,x3,x4,x5,x6,x7) -> x2 184: Q63(x1,x2,x3,x4,x5,x6,x7) -> x1 185: Q64(x1,x2,x3,x4,x5,x6,x7) -> x7 186: Q64(x1,x2,x3,x4,x5,x6,x7) -> x6 187: Q64(x1,x2,x3,x4,x5,x6,x7) -> x5 188: Q64(x1,x2,x3,x4,x5,x6,x7) -> x4 189: Q64(x1,x2,x3,x4,x5,x6,x7) -> x3 190: Q64(x1,x2,x3,x4,x5,x6,x7) -> x2 191: Q64(x1,x2,x3,x4,x5,x6,x7) -> x1 192: Q65(x1,x2,x3,x4,x5,x6,x7) -> x7 193: Q65(x1,x2,x3,x4,x5,x6,x7) -> x6 194: Q65(x1,x2,x3,x4,x5,x6,x7) -> x5 195: Q65(x1,x2,x3,x4,x5,x6,x7) -> x4 196: Q65(x1,x2,x3,x4,x5,x6,x7) -> x3 197: Q65(x1,x2,x3,x4,x5,x6,x7) -> x2 198: Q65(x1,x2,x3,x4,x5,x6,x7) -> x1 199: Q66(x1,x2,x3,x4,x5,x6,x7) -> x7 200: Q66(x1,x2,x3,x4,x5,x6,x7) -> x6 201: Q66(x1,x2,x3,x4,x5,x6,x7) -> x5 202: Q66(x1,x2,x3,x4,x5,x6,x7) -> x4 203: Q66(x1,x2,x3,x4,x5,x6,x7) -> x3 204: Q66(x1,x2,x3,x4,x5,x6,x7) -> x2 205: Q66(x1,x2,x3,x4,x5,x6,x7) -> x1 206: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 207: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 208: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 209: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 210: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 211: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 212: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 213: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 214: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 215: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 216: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 217: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 218: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 219: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 220: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 221: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 222: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 223: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 224: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 225: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 226: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 227: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 228: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 229: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 230: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 231: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 232: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 233: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 234: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 235: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 236: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 237: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 238: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 239: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 240: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 241: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 242: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 243: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 244: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 245: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 246: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 247: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 248: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 249: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 250: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 251: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 252: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 253: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 254: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 255: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 256: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 257: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 258: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 259: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 260: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 261: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 262: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 263: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 264: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 265: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 266: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 267: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 268: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 269: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 270: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 271: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 272: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 273: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 274: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 275: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 276: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 277: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 278: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 279: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 280: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 281: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 282: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 283: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 284: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 285: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 286: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 287: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 288: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 289: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 290: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 291: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 292: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 293: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 294: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 295: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 296: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 297: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 298: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 299: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 300: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 301: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 302: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 303: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 304: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 305: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 306: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 307: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 308: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 309: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 310: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 311: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 312: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 313: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 314: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 315: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 316: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 317: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 318: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 319: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 320: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 321: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 322: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 323: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 324: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 325: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 326: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 327: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 328: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 329: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 330: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 331: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 332: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 333: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 334: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 335: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 336: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 337: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 338: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 339: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 340: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 341: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 342: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 343: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 344: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 345: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 346: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 347: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 348: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 349: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 350: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 351: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 352: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 353: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 354: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 355: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 356: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 357: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 358: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 359: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 360: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 361: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 362: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 363: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 364: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 365: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 366: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 367: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 368: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 369: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 370: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 371: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 372: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 373: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 374: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 375: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 376: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 377: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 378: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 379: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 380: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 381: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 382: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 383: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 384: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 385: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 386: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 387: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 388: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 389: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 390: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 391: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 392: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 393: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 394: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 395: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 396: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 397: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 398: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 399: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 400: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 401: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 402: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 403: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 404: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 405: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 406: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 407: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 408: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 409: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 410: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 411: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 412: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 413: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 414: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 415: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 416: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 417: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 418: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 419: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 420: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 421: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 422: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 423: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 424: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 425: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 426: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 427: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 428: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 429: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 430: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 431: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 432: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 433: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 434: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 435: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 436: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 437: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 438: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 439: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 440: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 441: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 442: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 443: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 444: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 445: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 446: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 447: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 448: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 449: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 450: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 451: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 452: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 453: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 454: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 455: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 456: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 457: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 458: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 459: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 460: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 461: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 462: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 463: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 464: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 465: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 466: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 467: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 468: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 469: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 470: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 471: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 472: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 473: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 474: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 475: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 476: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 477: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 478: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 479: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 480: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 481: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 482: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 483: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 484: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 485: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 486: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 487: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 488: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 489: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 490: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 491: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 492: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 493: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 494: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 495: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 496: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 497: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 498: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 499: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 500: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 501: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 502: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 503: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 504: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 505: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 506: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 507: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 508: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 509: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 510: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 511: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 512: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 513: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 514: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 515: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 516: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 517: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 518: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 519: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 520: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 521: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 522: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 523: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 524: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 525: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 526: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 527: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 528: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 529: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 530: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 531: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 532: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 533: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 534: R1(x1,x2,x3) -> x3 535: R1(x1,x2,x3) -> x2 536: R1(x1,x2,x3) -> x1 537: R2(x1,x2,x3,x4) -> x4 538: R2(x1,x2,x3,x4) -> x3 539: R2(x1,x2,x3,x4) -> x2 540: R2(x1,x2,x3,x4) -> x1 541: R3(x1,x2,x3,x4,x5) -> x5 542: R3(x1,x2,x3,x4,x5) -> x4 543: R3(x1,x2,x3,x4,x5) -> x3 544: R3(x1,x2,x3,x4,x5) -> x2 545: R3(x1,x2,x3,x4,x5) -> x1 546: R4(x1,x2,x3,x4,x5,x6) -> x6 547: R4(x1,x2,x3,x4,x5,x6) -> x5 548: R4(x1,x2,x3,x4,x5,x6) -> x4 549: R4(x1,x2,x3,x4,x5,x6) -> x3 550: R4(x1,x2,x3,x4,x5,x6) -> x2 551: R4(x1,x2,x3,x4,x5,x6) -> x1 552: R5(x1,x2,x3,x4,x5,x6,x7) -> x7 553: R5(x1,x2,x3,x4,x5,x6,x7) -> x6 554: R5(x1,x2,x3,x4,x5,x6,x7) -> x5 555: R5(x1,x2,x3,x4,x5,x6,x7) -> x4 556: R5(x1,x2,x3,x4,x5,x6,x7) -> x3 557: R5(x1,x2,x3,x4,x5,x6,x7) -> x2 558: R5(x1,x2,x3,x4,x5,x6,x7) -> x1 559: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x8 560: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x7 561: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x6 562: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x5 563: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x4 564: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x3 565: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x2 566: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x1 567: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9 568: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8 569: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7 570: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6 571: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5 572: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4 573: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3 574: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2 575: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1 576: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10 577: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9 578: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8 579: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7 580: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6 581: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5 582: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4 583: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3 584: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2 585: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1 586: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11 587: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10 588: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9 589: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8 590: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7 591: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6 592: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5 593: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4 594: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3 595: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2 596: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1 597: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x12 598: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x11 599: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x10 600: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x9 601: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x8 602: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x7 603: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x6 604: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x5 605: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x4 606: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x3 607: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x2 608: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> x1 609: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) -> S(0()) 610: +(x,S(y)) -> S(+(x,y)) 611: a(l(x)) -> l(a(a(x))) 612: l(o(x)) -> o(l(l(x))) 613: o(x) -> l(x) 614: l(x) -> a(x) 615: a(S(x)) -> S(l(x)) 616: a(+(x,y)) -> +(l(x),y) 617: a(+(x,y)) -> +(x,l(y)) 618: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(x11)) 619: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10),x11) 620: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),x10,x11) 621: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,x6,x7,l(x8),x9,x10,x11) 622: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,x6,l(x7),x8,x9,x10,x11) 623: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,x5,l(x6),x7,x8,x9,x10,x11) 624: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,x4,l(x5),x6,x7,x8,x9,x10,x11) 625: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,x3,l(x4),x5,x6,x7,x8,x9,x10,x11) 626: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,x2,l(x3),x4,x5,x6,x7,x8,x9,x10,x11) 627: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(x1,l(x2),x3,x4,x5,x6,x7,x8,x9,x10,x11) 628: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> P(l(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) 629: +(x,o(y)) -> o(+(x,y)) 630: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,o(x11)) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 631: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 632: P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 633: P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 634: P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 635: P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 636: P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 637: P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 638: P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 639: P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 640: P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) 641: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(y)) -> +(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 642: J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10),y) -> P(x1,x2,x3,x4,x5,x6,x7,x8,x9,J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y),0()) 643: J9(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),y) -> P(x1,x2,x3,x4,x5,x6,x7,x8,J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y),0(),0()) 644: J8(x1,x2,x3,x4,x5,x6,x7,l(x8),y) -> P(x1,x2,x3,x4,x5,x6,x7,J8(x1,x2,x3,x4,x5,x6,x7,x8,y),0(),0(),0()) 645: J7(x1,x2,x3,x4,x5,x6,l(x7),y) -> P(x1,x2,x3,x4,x5,x6,J7(x1,x2,x3,x4,x5,x6,x7,y),0(),0(),0(),0()) 646: J6(x1,x2,x3,x4,x5,l(x6),y) -> P(x1,x2,x3,x4,x5,J6(x1,x2,x3,x4,x5,x6,y),0(),0(),0(),0(),0()) 647: J5(x1,x2,x3,x4,l(x5),y) -> P(x1,x2,x3,x4,J5(x1,x2,x3,x4,x5,y),0(),0(),0(),0(),0(),0()) 648: J4(x1,x2,x3,l(x4),y) -> P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0(),0(),0(),0(),0()) 649: J3(x1,x2,l(x3),y) -> P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0(),0(),0(),0(),0()) 650: J2(x1,l(x2),y) -> P(x1,J2(x1,x2,y),0(),0(),0(),0(),0(),0(),0(),0(),0()) 651: J1(l(x1),y) -> P(J1(x1,y),0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) 652: a(S(x)) -> o(x) 653: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(M(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),y)) 654: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) -> o(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 655: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y) -> o(J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 656: P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y) -> o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)) 657: P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y) -> o(J8(x1,x2,x3,x4,x5,x6,x7,x8,y)) 658: P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y) -> o(J7(x1,x2,x3,x4,x5,x6,x7,y)) 659: P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y) -> o(J6(x1,x2,x3,x4,x5,x6,y)) 660: P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y) -> o(J5(x1,x2,x3,x4,x5,y)) 661: P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y) -> o(J4(x1,x2,x3,x4,y)) 662: P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y) -> o(J3(x1,x2,x3,y)) 663: P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y) -> o(J2(x1,x2,y)) 664: P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y) -> o(J1(x1,y)) 665: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),S(y)) -> o(J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y))) 666: P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),S(y)) -> o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y))) 667: P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),S(y)) -> o(J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y))) 668: P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),S(y)) -> o(J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y))) 669: P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),S(y)) -> o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y))) 670: P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),S(y)) -> o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y))) 671: P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),S(y)) -> o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y))) 672: P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y))) 673: P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y))) 674: P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y))) 675: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x10) 676: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x9) 677: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x8) 678: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x7) 679: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x6) 680: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x5) 681: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x4) 682: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x3) 683: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x2) 684: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x1) 685: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q99(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9) 686: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q98(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x8) 687: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q97(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x7) 688: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q96(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x6) 689: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q95(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x5) 690: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q94(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x4) 691: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q93(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x3) 692: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q92(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x2) 693: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> Q91(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x1) 694: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q88(x1,x2,x3,x4,x5,x6,x7,a(x8),x8) 695: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q87(x1,x2,x3,x4,x5,x6,x7,a(x8),x7) 696: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q86(x1,x2,x3,x4,x5,x6,x7,a(x8),x6) 697: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q85(x1,x2,x3,x4,x5,x6,x7,a(x8),x5) 698: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q84(x1,x2,x3,x4,x5,x6,x7,a(x8),x4) 699: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q83(x1,x2,x3,x4,x5,x6,x7,a(x8),x3) 700: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q82(x1,x2,x3,x4,x5,x6,x7,a(x8),x2) 701: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> Q81(x1,x2,x3,x4,x5,x6,x7,a(x8),x1) 702: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q77(x1,x2,x3,x4,x5,x6,a(x7),x7) 703: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q76(x1,x2,x3,x4,x5,x6,a(x7),x6) 704: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q75(x1,x2,x3,x4,x5,x6,a(x7),x5) 705: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q74(x1,x2,x3,x4,x5,x6,a(x7),x4) 706: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q73(x1,x2,x3,x4,x5,x6,a(x7),x3) 707: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q72(x1,x2,x3,x4,x5,x6,a(x7),x2) 708: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> Q71(x1,x2,x3,x4,x5,x6,a(x7),x1) 709: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q66(x1,x2,x3,x4,x5,a(x6),x6) 710: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q65(x1,x2,x3,x4,x5,a(x6),x5) 711: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q64(x1,x2,x3,x4,x5,a(x6),x4) 712: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q63(x1,x2,x3,x4,x5,a(x6),x3) 713: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q62(x1,x2,x3,x4,x5,a(x6),x2) 714: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> Q61(x1,x2,x3,x4,x5,a(x6),x1) 715: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> Q55(x1,x2,x3,x4,a(x5),x5) 716: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> Q54(x1,x2,x3,x4,a(x5),x4) 717: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> Q53(x1,x2,x3,x4,a(x5),x3) 718: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> Q52(x1,x2,x3,x4,a(x5),x2) 719: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> Q51(x1,x2,x3,x4,a(x5),x1) 720: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> Q44(x1,x2,x3,a(x4),x4) 721: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> Q43(x1,x2,x3,a(x4),x3) 722: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> Q42(x1,x2,x3,a(x4),x2) 723: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> Q41(x1,x2,x3,a(x4),x1) 724: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> Q33(x1,x2,a(x3),x3) 725: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> Q32(x1,x2,a(x3),x2) 726: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> Q31(x1,x2,a(x3),x1) 727: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> Q22(x1,a(x2),x2) 728: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> Q21(x1,a(x2),x1) 729: a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),0())) -> Q11(a(x1),x1) 730: Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 731: Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 732: Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 733: Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 734: Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 735: Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 736: Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 737: Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 738: Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 739: Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) 740: Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 741: Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 742: Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 743: Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 744: Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 745: Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 746: Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 747: Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 748: Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) 749: Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 750: Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 751: Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 752: Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 753: Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 754: Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 755: Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 756: Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) 757: Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 758: Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 759: Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 760: Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 761: Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 762: Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 763: Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) 764: Q66(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 765: Q65(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 766: Q64(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 767: Q63(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 768: Q62(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 769: Q61(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) 770: Q55(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) 771: Q54(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) 772: Q53(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) 773: Q52(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) 774: Q51(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) 775: Q44(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) 776: Q43(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) 777: Q42(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) 778: Q41(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) 779: Q33(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) 780: Q32(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) 781: Q31(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) 782: Q22(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y)) 783: Q21(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y)) 784: Q11(o(x1),y) -> o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),y)) 785: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,S(y))) -> R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x10,y) 786: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),S(y))) -> R9(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9,y) 787: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),S(y))) -> R8(x1,x2,x3,x4,x5,x6,x7,a(x8),x8,y) 788: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),S(y))) -> R7(x1,x2,x3,x4,x5,x6,a(x7),x7,y) 789: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),S(y))) -> R6(x1,x2,x3,x4,x5,a(x6),x6,y) 790: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),S(y))) -> R5(x1,x2,x3,x4,a(x5),x5,y) 791: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),S(y))) -> R4(x1,x2,x3,a(x4),x4,y) 792: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),S(y))) -> R3(x1,x2,a(x3),x3,y) 793: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> R2(x1,a(x2),x2,y) 794: a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> R1(a(x1),x1,y) 795: R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y,z))) 796: R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),P(x1,x2,x3,x4,x5,x6,x7,x8,y,0(),z))) 797: R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),0(),z))) 798: R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),0(),z))) 799: R6(x1,x2,x3,x4,x5,o(x6),y,z) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),0(),z))) 800: R5(x1,x2,x3,x4,o(x5),y,z) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),0(),z))) 801: R4(x1,x2,x3,o(x4),y,z) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),0(),z))) 802: R3(x1,x2,o(x3),y,z) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),0(),z))) 803: R2(x1,o(x2),y,z) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),0(),z))) 804: R1(o(x1),y,z) -> o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),0(),z))) Number of strict rules: 804 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),x10,x11) #2: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x9) #3: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #o(J1(x1,y)) #4: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #J1(x1,y) #5: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,x6,x7,l(x8),x9,x10,x11) #6: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x8) #7: #Q54(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) #8: #Q54(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y) #9: #Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #10: #Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #11: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q61(x1,x2,x3,x4,x5,a(x6),x1) #12: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #13: #J9(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y),0(),0()) #14: #J9(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),y) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y) #15: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(y)) -> #+(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #16: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(y)) -> #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #17: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #18: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #Q54(x1,x2,x3,x4,a(x5),x4) #19: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #a(x5) #20: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q97(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x7) #21: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #22: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x5) #23: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #24: #a(S(x)) -> #o(x) #25: #Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #26: #Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #27: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #Q42(x1,x2,x3,a(x4),x2) #28: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #a(x4) #29: #Q44(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) #30: #Q44(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y) #31: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q66(x1,x2,x3,x4,x5,a(x6),x6) #32: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #33: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q85(x1,x2,x3,x4,x5,x6,x7,a(x8),x5) #34: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #35: #Q55(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) #36: #Q55(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y) #37: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x6) #38: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #39: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) -> #S(0()) #40: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),S(y)) -> #o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y))) #41: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),S(y)) -> #J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y)) #42: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),S(y)) -> #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y) #43: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q84(x1,x2,x3,x4,x5,x6,x7,a(x8),x4) #44: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #45: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y) -> #o(J8(x1,x2,x3,x4,x5,x6,x7,x8,y)) #46: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,y) #47: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y) -> #o(J6(x1,x2,x3,x4,x5,x6,y)) #48: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y) -> #J6(x1,x2,x3,x4,x5,x6,y) #49: #Q52(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) #50: #Q52(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y) #51: #J4(x1,x2,x3,l(x4),y) -> #P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0(),0(),0(),0(),0()) #52: #J4(x1,x2,x3,l(x4),y) -> #J4(x1,x2,x3,x4,y) #53: #a(l(x)) -> #l(a(a(x))) #54: #a(l(x)) -> #a(a(x)) #55: #a(l(x)) -> #a(x) #56: #l(o(x)) -> #o(l(l(x))) #57: #l(o(x)) -> #l(l(x)) #58: #l(o(x)) -> #l(x) #59: #Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #60: #Q105(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #61: #Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #62: #Q106(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #63: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #Q51(x1,x2,x3,x4,a(x5),x1) #64: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #a(x5) #65: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #66: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #67: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q64(x1,x2,x3,x4,x5,a(x6),x4) #68: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #69: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #R1(a(x1),x1,y) #70: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #a(x1) #71: #Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #72: #Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #73: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,o(x11)) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #74: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,o(x11)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #75: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #o(J2(x1,x2,y)) #76: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #J2(x1,x2,y) #77: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q86(x1,x2,x3,x4,x5,x6,x7,a(x8),x6) #78: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #79: #J6(x1,x2,x3,x4,x5,l(x6),y) -> #P(x1,x2,x3,x4,x5,J6(x1,x2,x3,x4,x5,x6,y),0(),0(),0(),0(),0()) #80: #J6(x1,x2,x3,x4,x5,l(x6),y) -> #J6(x1,x2,x3,x4,x5,x6,y) #81: #a(+(x,y)) -> #+(l(x),y) #82: #a(+(x,y)) -> #l(x) #83: #Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #84: #Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #85: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y))) #86: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y)) #87: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),0(),y) #88: #Q53(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) #89: #Q53(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y) #90: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #Q52(x1,x2,x3,x4,a(x5),x2) #91: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #a(x5) #92: #Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #93: #Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #94: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q75(x1,x2,x3,x4,x5,x6,a(x7),x5) #95: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #96: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,l(x11)) #97: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x11) #98: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),P(x1,x2,x3,x4,x5,x6,x7,x8,y,0(),z))) #99: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),P(x1,x2,x3,x4,x5,x6,x7,x8,y,0(),z)) #100: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,y,0(),z) #101: #Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #102: #Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #103: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q96(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x6) #104: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #105: #P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #106: #P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #107: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(M(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),y)) #108: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #M(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),y) #109: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,l(x4),x5,x6,x7,x8,x9,x10,x11) #110: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x4) #111: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q92(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x2) #112: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #113: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y) -> #o(J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #114: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y) -> #J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #115: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y) -> #o(J4(x1,x2,x3,x4,y)) #116: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y) -> #J4(x1,x2,x3,x4,y) #117: #P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #118: #P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #119: #Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #120: #Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #121: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q81(x1,x2,x3,x4,x5,x6,x7,a(x8),x1) #122: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #123: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q82(x1,x2,x3,x4,x5,x6,x7,a(x8),x2) #124: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #125: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),S(y))) -> #R7(x1,x2,x3,x4,x5,x6,a(x7),x7,y) #126: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),S(y))) -> #a(x7) #127: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q71(x1,x2,x3,x4,x5,x6,a(x7),x1) #128: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #129: #Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #130: #Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #131: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q74(x1,x2,x3,x4,x5,x6,a(x7),x4) #132: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #133: #l(x) -> #a(x) #134: #Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #135: #Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #136: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x2) #137: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #138: #Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #139: #Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #140: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q77(x1,x2,x3,x4,x5,x6,a(x7),x7) #141: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #142: #+(x,o(y)) -> #o(+(x,y)) #143: #+(x,o(y)) -> #+(x,y) #144: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q73(x1,x2,x3,x4,x5,x6,a(x7),x3) #145: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #146: #Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #147: #Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #148: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x9) #149: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #150: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #R2(x1,a(x2),x2,y) #151: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #a(x2) #152: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y) -> #o(J7(x1,x2,x3,x4,x5,x6,x7,y)) #153: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y) -> #J7(x1,x2,x3,x4,x5,x6,x7,y) #154: #P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #155: #P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #156: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q101(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x1) #157: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #158: #J8(x1,x2,x3,x4,x5,x6,x7,l(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,J8(x1,x2,x3,x4,x5,x6,x7,x8,y),0(),0(),0()) #159: #J8(x1,x2,x3,x4,x5,x6,x7,l(x8),y) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,y) #160: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #Q53(x1,x2,x3,x4,a(x5),x3) #161: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #a(x5) #162: #Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #163: #Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #164: #o(x) -> #l(x) #165: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y) -> #o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)) #166: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y) #167: #Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #168: #Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #169: #R2(x1,o(x2),y,z) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),0(),z))) #170: #R2(x1,o(x2),y,z) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),0(),z)) #171: #R2(x1,o(x2),y,z) -> #P(x1,y,0(),0(),0(),0(),0(),0(),0(),0(),z) #172: #Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #173: #Q109(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #174: #Q51(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y)) #175: #Q51(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),y) #176: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x3) #177: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #178: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #179: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #180: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q94(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x4) #181: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #182: #Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #183: #Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #184: #Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #185: #Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #186: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q88(x1,x2,x3,x4,x5,x6,x7,a(x8),x8) #187: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #188: #Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #189: #Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #190: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),0(),z))) #191: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),0(),z)) #192: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,y,0(),0(),z) #193: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #Q31(x1,x2,a(x3),x1) #194: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x3) #195: #Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #196: #Q103(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #197: #R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y,z))) #198: #R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y,z)) #199: #R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y,z) #200: #Q11(o(x1),y) -> #o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),y)) #201: #Q11(o(x1),y) -> #P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),y) #202: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q107(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x7) #203: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #204: #Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #205: #Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #206: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y) -> #o(J3(x1,x2,x3,y)) #207: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y) -> #J3(x1,x2,x3,y) #208: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q108(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x8) #209: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #210: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #211: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #212: #Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #213: #Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #214: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #215: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #216: #P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #217: #P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #218: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y) -> #o(J5(x1,x2,x3,x4,x5,y)) #219: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),0(),y) -> #J5(x1,x2,x3,x4,x5,y) #220: #J5(x1,x2,x3,x4,l(x5),y) -> #P(x1,x2,x3,x4,J5(x1,x2,x3,x4,x5,y),0(),0(),0(),0(),0(),0()) #221: #J5(x1,x2,x3,x4,l(x5),y) -> #J5(x1,x2,x3,x4,x5,y) #222: #Q22(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y)) #223: #Q22(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y) #224: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #Q41(x1,x2,x3,a(x4),x1) #225: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #a(x4) #226: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #227: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #228: #R3(x1,x2,o(x3),y,z) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),0(),z))) #229: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),0(),z)) #230: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,y,0(),0(),0(),0(),0(),0(),0(),z) #231: #Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #232: #Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #233: #J3(x1,x2,l(x3),y) -> #P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0(),0(),0(),0(),0()) #234: #J3(x1,x2,l(x3),y) -> #J3(x1,x2,x3,y) #235: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q62(x1,x2,x3,x4,x5,a(x6),x2) #236: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #237: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #Q33(x1,x2,a(x3),x3) #238: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x3) #239: #R5(x1,x2,x3,x4,o(x5),y,z) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),0(),z))) #240: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),0(),z)) #241: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,y,0(),0(),0(),0(),0(),z) #242: #P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #243: #P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #244: #R4(x1,x2,x3,o(x4),y,z) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),0(),z))) #245: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),0(),z)) #246: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,y,0(),0(),0(),0(),0(),0(),z) #247: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x10) #248: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #249: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #Q104(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x4) #250: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,0())) -> #a(x10) #251: #Q33(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) #252: #Q33(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y) #253: #Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #254: #Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #255: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),S(y)) -> #o(J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y))) #256: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),S(y)) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y)) #257: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),S(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),0(),y) #258: #Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #259: #Q102(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #260: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q99(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9) #261: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #262: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q91(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x1) #263: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #264: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #Q32(x1,x2,a(x3),x2) #265: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x3) #266: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),S(y)) -> #o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y))) #267: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),S(y)) -> #J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y)) #268: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),S(y)) -> #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),0(),y) #269: #Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #270: #Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #271: #+(x,S(y)) -> #S(+(x,y)) #272: #+(x,S(y)) -> #+(x,y) #273: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),0(),z))) #274: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),0(),z)) #275: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #P(x1,x2,x3,x4,x5,x6,y,0(),0(),0(),z) #276: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y))) #277: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y)) #278: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),0(),y) #279: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q63(x1,x2,x3,x4,x5,a(x6),x3) #280: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #281: #J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y),0()) #282: #J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10),y) -> #J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #283: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),S(y)) -> #o(J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y))) #284: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),S(y)) -> #J10(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y)) #285: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),S(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(x10),y) #286: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q83(x1,x2,x3,x4,x5,x6,x7,a(x8),x3) #287: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #288: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #Q55(x1,x2,x3,x4,a(x5),x5) #289: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),0())) -> #a(x5) #290: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),S(y)) -> #o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y))) #291: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),S(y)) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y)) #292: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),S(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),0(),y) #293: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #Q87(x1,x2,x3,x4,x5,x6,x7,a(x8),x7) #294: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),0())) -> #a(x8) #295: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #Q21(x1,a(x2),x1) #296: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x2) #297: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #Q11(a(x1),x1) #298: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x1) #299: #Q21(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y)) #300: #Q21(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),y) #301: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q72(x1,x2,x3,x4,x5,x6,a(x7),x2) #302: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #303: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,l(x3),x4,x5,x6,x7,x8,x9,x10,x11) #304: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x3) #305: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #Q76(x1,x2,x3,x4,x5,x6,a(x7),x6) #306: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),0())) -> #a(x7) #307: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,S(y))) -> #R10(x1,x2,x3,x4,x5,x6,x7,x8,x9,a(x10),x10,y) #308: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,S(y))) -> #a(x10) #309: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,l(x6),x7,x8,x9,x10,x11) #310: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x6) #311: #P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #312: #P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #313: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q95(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x5) #314: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #315: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #Q43(x1,x2,x3,a(x4),x3) #316: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #a(x4) #317: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y))) #318: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),S(y)) -> #J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y)) #319: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),S(y)) -> #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),0(),y) #320: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #Q22(x1,a(x2),x2) #321: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x2) #322: #R1(o(x1),y,z) -> #o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),0(),z))) #323: #R1(o(x1),y,z) -> #P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),0(),z)) #324: #R1(o(x1),y,z) -> #P(y,0(),0(),0(),0(),0(),0(),0(),0(),0(),z) #325: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),S(y))) -> #R5(x1,x2,x3,x4,a(x5),x5,y) #326: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0(),S(y))) -> #a(x5) #327: #J1(l(x1),y) -> #P(J1(x1,y),0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) #328: #J1(l(x1),y) -> #J1(x1,y) #329: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y))) #330: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y)) #331: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),0(),y) #332: #a(+(x,y)) -> #+(x,l(y)) #333: #a(+(x,y)) -> #l(y) #334: #Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #335: #Q1010(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #336: #Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #337: #Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #338: #J7(x1,x2,x3,x4,x5,x6,l(x7),y) -> #P(x1,x2,x3,x4,x5,x6,J7(x1,x2,x3,x4,x5,x6,x7,y),0(),0(),0(),0()) #339: #J7(x1,x2,x3,x4,x5,x6,l(x7),y) -> #J7(x1,x2,x3,x4,x5,x6,x7,y) #340: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),S(y))) -> #R8(x1,x2,x3,x4,x5,x6,x7,a(x8),x8,y) #341: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),S(y))) -> #a(x8) #342: #Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #343: #Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #344: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),S(y))) -> #R3(x1,x2,a(x3),x3,y) #345: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),S(y))) -> #a(x3) #346: #Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y)) #347: #Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0(),y) #348: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #Q65(x1,x2,x3,x4,x5,a(x6),x5) #349: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),0())) -> #a(x6) #350: #P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #351: #P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #352: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q98(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x8) #353: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #354: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,l(x2),x3,x4,x5,x6,x7,x8,x9,x10,x11) #355: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x2) #356: #P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #357: #P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #358: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),S(y))) -> #R9(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9,y) #359: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),S(y))) -> #a(x9) #360: #a(S(x)) -> #S(l(x)) #361: #a(S(x)) -> #l(x) #362: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),S(y)) -> #o(J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y))) #363: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),S(y)) -> #J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y)) #364: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),S(y)) -> #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),0(),y) #365: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #366: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #367: #Q43(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) #368: #Q43(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y) #369: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10),x11) #370: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x10) #371: #J2(x1,l(x2),y) -> #P(x1,J2(x1,x2,y),0(),0(),0(),0(),0(),0(),0(),0(),0()) #372: #J2(x1,l(x2),y) -> #J2(x1,x2,y) #373: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y)) #374: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),y) #375: #Q31(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) #376: #Q31(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y) #377: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #Q44(x1,x2,x3,a(x4),x4) #378: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),0())) -> #a(x4) #379: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #Q93(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x3) #380: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),0())) -> #a(x9) #381: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(l(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #382: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x1) #383: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),S(y))) -> #R4(x1,x2,x3,a(x4),x4,y) #384: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),S(y))) -> #a(x4) #385: #Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y)) #386: #Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0(),y) #387: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,x5,x6,l(x7),x8,x9,x10,x11) #388: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x7) #389: #Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #390: #Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #391: #Q32(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y)) #392: #Q32(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0(),y) #393: #P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10,x11) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) #394: #P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10,x11) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) #395: #Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #396: #Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #397: #Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y)) #398: #Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0(),y) #399: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),S(y))) -> #R6(x1,x2,x3,x4,x5,a(x6),x6,y) #400: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),S(y))) -> #a(x6) #401: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) -> #o(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) #402: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y)) -> #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y) #403: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),0(),z))) #404: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),0(),z)) #405: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,y,0(),0(),0(),0(),z) #406: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #P(x1,x2,x3,x4,l(x5),x6,x7,x8,x9,x10,x11) #407: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11)) -> #l(x5) #408: #Q42(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) #409: #Q42(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y) #410: #Q41(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y)) #411: #Q41(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0(),y) Number of SCCs: 1, DPs: 408 SCC { #1..38 #40..270 #272..359 #361..411 } POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)...