/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 50269 Done                    xsltproc "$DIR/xtc2tpdb.xml" "$1"
     50270 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) -> x10
      8: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      9: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      10: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      11: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      12: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      13: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      14: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      15: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      16: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      17: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      18: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      19: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      20: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      21: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      22: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      23: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      24: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      25: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      26: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      27: J1(x1,x2) -> x2
      28: J1(x1,x2) -> x1
      29: J2(x1,x2,x3) -> x3
      30: J2(x1,x2,x3) -> x2
      31: J2(x1,x2,x3) -> x1
      32: J3(x1,x2,x3,x4) -> x4
      33: J3(x1,x2,x3,x4) -> x3
      34: J3(x1,x2,x3,x4) -> x2
      35: J3(x1,x2,x3,x4) -> x1
      36: J4(x1,x2,x3,x4,x5) -> x5
      37: J4(x1,x2,x3,x4,x5) -> x4
      38: J4(x1,x2,x3,x4,x5) -> x3
      39: J4(x1,x2,x3,x4,x5) -> x2
      40: J4(x1,x2,x3,x4,x5) -> x1
      41: J5(x1,x2,x3,x4,x5,x6) -> x6
      42: J5(x1,x2,x3,x4,x5,x6) -> x5
      43: J5(x1,x2,x3,x4,x5,x6) -> x4
      44: J5(x1,x2,x3,x4,x5,x6) -> x3
      45: J5(x1,x2,x3,x4,x5,x6) -> x2
      46: J5(x1,x2,x3,x4,x5,x6) -> x1
      47: J6(x1,x2,x3,x4,x5,x6,x7) -> x7
      48: J6(x1,x2,x3,x4,x5,x6,x7) -> x6
      49: J6(x1,x2,x3,x4,x5,x6,x7) -> x5
      50: J6(x1,x2,x3,x4,x5,x6,x7) -> x4
      51: J6(x1,x2,x3,x4,x5,x6,x7) -> x3
      52: J6(x1,x2,x3,x4,x5,x6,x7) -> x2
      53: J6(x1,x2,x3,x4,x5,x6,x7) -> x1
      54: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      55: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      56: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      57: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      58: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      59: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      60: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      61: J7(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      62: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      63: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      64: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      65: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      66: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      67: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      68: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      69: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      70: J8(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      71: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      72: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      73: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      74: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      75: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      76: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      77: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      78: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      79: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      80: J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      81: Q11(x1,x2) -> x2
      82: Q11(x1,x2) -> x1
      83: Q21(x1,x2,x3) -> x3
      84: Q21(x1,x2,x3) -> x2
      85: Q21(x1,x2,x3) -> x1
      86: Q22(x1,x2,x3) -> x3
      87: Q22(x1,x2,x3) -> x2
      88: Q22(x1,x2,x3) -> x1
      89: Q31(x1,x2,x3,x4) -> x4
      90: Q31(x1,x2,x3,x4) -> x3
      91: Q31(x1,x2,x3,x4) -> x2
      92: Q31(x1,x2,x3,x4) -> x1
      93: Q32(x1,x2,x3,x4) -> x4
      94: Q32(x1,x2,x3,x4) -> x3
      95: Q32(x1,x2,x3,x4) -> x2
      96: Q32(x1,x2,x3,x4) -> x1
      97: Q33(x1,x2,x3,x4) -> x4
      98: Q33(x1,x2,x3,x4) -> x3
      99: Q33(x1,x2,x3,x4) -> x2
      100: Q33(x1,x2,x3,x4) -> x1
      101: Q41(x1,x2,x3,x4,x5) -> x5
      102: Q41(x1,x2,x3,x4,x5) -> x4
      103: Q41(x1,x2,x3,x4,x5) -> x3
      104: Q41(x1,x2,x3,x4,x5) -> x2
      105: Q41(x1,x2,x3,x4,x5) -> x1
      106: Q42(x1,x2,x3,x4,x5) -> x5
      107: Q42(x1,x2,x3,x4,x5) -> x4
      108: Q42(x1,x2,x3,x4,x5) -> x3
      109: Q42(x1,x2,x3,x4,x5) -> x2
      110: Q42(x1,x2,x3,x4,x5) -> x1
      111: Q43(x1,x2,x3,x4,x5) -> x5
      112: Q43(x1,x2,x3,x4,x5) -> x4
      113: Q43(x1,x2,x3,x4,x5) -> x3
      114: Q43(x1,x2,x3,x4,x5) -> x2
      115: Q43(x1,x2,x3,x4,x5) -> x1
      116: Q44(x1,x2,x3,x4,x5) -> x5
      117: Q44(x1,x2,x3,x4,x5) -> x4
      118: Q44(x1,x2,x3,x4,x5) -> x3
      119: Q44(x1,x2,x3,x4,x5) -> x2
      120: Q44(x1,x2,x3,x4,x5) -> x1
      121: Q51(x1,x2,x3,x4,x5,x6) -> x6
      122: Q51(x1,x2,x3,x4,x5,x6) -> x5
      123: Q51(x1,x2,x3,x4,x5,x6) -> x4
      124: Q51(x1,x2,x3,x4,x5,x6) -> x3
      125: Q51(x1,x2,x3,x4,x5,x6) -> x2
      126: Q51(x1,x2,x3,x4,x5,x6) -> x1
      127: Q52(x1,x2,x3,x4,x5,x6) -> x6
      128: Q52(x1,x2,x3,x4,x5,x6) -> x5
      129: Q52(x1,x2,x3,x4,x5,x6) -> x4
      130: Q52(x1,x2,x3,x4,x5,x6) -> x3
      131: Q52(x1,x2,x3,x4,x5,x6) -> x2
      132: Q52(x1,x2,x3,x4,x5,x6) -> x1
      133: Q53(x1,x2,x3,x4,x5,x6) -> x6
      134: Q53(x1,x2,x3,x4,x5,x6) -> x5
      135: Q53(x1,x2,x3,x4,x5,x6) -> x4
      136: Q53(x1,x2,x3,x4,x5,x6) -> x3
      137: Q53(x1,x2,x3,x4,x5,x6) -> x2
      138: Q53(x1,x2,x3,x4,x5,x6) -> x1
      139: Q54(x1,x2,x3,x4,x5,x6) -> x6
      140: Q54(x1,x2,x3,x4,x5,x6) -> x5
      141: Q54(x1,x2,x3,x4,x5,x6) -> x4
      142: Q54(x1,x2,x3,x4,x5,x6) -> x3
      143: Q54(x1,x2,x3,x4,x5,x6) -> x2
      144: Q54(x1,x2,x3,x4,x5,x6) -> x1
      145: Q55(x1,x2,x3,x4,x5,x6) -> x6
      146: Q55(x1,x2,x3,x4,x5,x6) -> x5
      147: Q55(x1,x2,x3,x4,x5,x6) -> x4
      148: Q55(x1,x2,x3,x4,x5,x6) -> x3
      149: Q55(x1,x2,x3,x4,x5,x6) -> x2
      150: Q55(x1,x2,x3,x4,x5,x6) -> x1
      151: Q61(x1,x2,x3,x4,x5,x6,x7) -> x7
      152: Q61(x1,x2,x3,x4,x5,x6,x7) -> x6
      153: Q61(x1,x2,x3,x4,x5,x6,x7) -> x5
      154: Q61(x1,x2,x3,x4,x5,x6,x7) -> x4
      155: Q61(x1,x2,x3,x4,x5,x6,x7) -> x3
      156: Q61(x1,x2,x3,x4,x5,x6,x7) -> x2
      157: Q61(x1,x2,x3,x4,x5,x6,x7) -> x1
      158: Q62(x1,x2,x3,x4,x5,x6,x7) -> x7
      159: Q62(x1,x2,x3,x4,x5,x6,x7) -> x6
      160: Q62(x1,x2,x3,x4,x5,x6,x7) -> x5
      161: Q62(x1,x2,x3,x4,x5,x6,x7) -> x4
      162: Q62(x1,x2,x3,x4,x5,x6,x7) -> x3
      163: Q62(x1,x2,x3,x4,x5,x6,x7) -> x2
      164: Q62(x1,x2,x3,x4,x5,x6,x7) -> x1
      165: Q63(x1,x2,x3,x4,x5,x6,x7) -> x7
      166: Q63(x1,x2,x3,x4,x5,x6,x7) -> x6
      167: Q63(x1,x2,x3,x4,x5,x6,x7) -> x5
      168: Q63(x1,x2,x3,x4,x5,x6,x7) -> x4
      169: Q63(x1,x2,x3,x4,x5,x6,x7) -> x3
      170: Q63(x1,x2,x3,x4,x5,x6,x7) -> x2
      171: Q63(x1,x2,x3,x4,x5,x6,x7) -> x1
      172: Q64(x1,x2,x3,x4,x5,x6,x7) -> x7
      173: Q64(x1,x2,x3,x4,x5,x6,x7) -> x6
      174: Q64(x1,x2,x3,x4,x5,x6,x7) -> x5
      175: Q64(x1,x2,x3,x4,x5,x6,x7) -> x4
      176: Q64(x1,x2,x3,x4,x5,x6,x7) -> x3
      177: Q64(x1,x2,x3,x4,x5,x6,x7) -> x2
      178: Q64(x1,x2,x3,x4,x5,x6,x7) -> x1
      179: Q65(x1,x2,x3,x4,x5,x6,x7) -> x7
      180: Q65(x1,x2,x3,x4,x5,x6,x7) -> x6
      181: Q65(x1,x2,x3,x4,x5,x6,x7) -> x5
      182: Q65(x1,x2,x3,x4,x5,x6,x7) -> x4
      183: Q65(x1,x2,x3,x4,x5,x6,x7) -> x3
      184: Q65(x1,x2,x3,x4,x5,x6,x7) -> x2
      185: Q65(x1,x2,x3,x4,x5,x6,x7) -> x1
      186: Q66(x1,x2,x3,x4,x5,x6,x7) -> x7
      187: Q66(x1,x2,x3,x4,x5,x6,x7) -> x6
      188: Q66(x1,x2,x3,x4,x5,x6,x7) -> x5
      189: Q66(x1,x2,x3,x4,x5,x6,x7) -> x4
      190: Q66(x1,x2,x3,x4,x5,x6,x7) -> x3
      191: Q66(x1,x2,x3,x4,x5,x6,x7) -> x2
      192: Q66(x1,x2,x3,x4,x5,x6,x7) -> x1
      193: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      194: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      195: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      196: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      197: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      198: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      199: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      200: Q71(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      201: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      202: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      203: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      204: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      205: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      206: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      207: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      208: Q72(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      209: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      210: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      211: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      212: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      213: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      214: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      215: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      216: Q73(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      217: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      218: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      219: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      220: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      221: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      222: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      223: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      224: Q74(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      225: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      226: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      227: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      228: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      229: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      230: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      231: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      232: Q75(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      233: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      234: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      235: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      236: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      237: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      238: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      239: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      240: Q76(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      241: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      242: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      243: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      244: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      245: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      246: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      247: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      248: Q77(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      249: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      250: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      251: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      252: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      253: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      254: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      255: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      256: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      257: Q81(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      258: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      259: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      260: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      261: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      262: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      263: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      264: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      265: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      266: Q82(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      267: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      268: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      269: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      270: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      271: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      272: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      273: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      274: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      275: Q83(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      276: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      277: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      278: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      279: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      280: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      281: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      282: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      283: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      284: Q84(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      285: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      286: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      287: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      288: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      289: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      290: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      291: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      292: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      293: Q85(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      294: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      295: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      296: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      297: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      298: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      299: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      300: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      301: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      302: Q86(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      303: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      304: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      305: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      306: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      307: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      308: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      309: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      310: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      311: Q87(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      312: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      313: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      314: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      315: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      316: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      317: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      318: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      319: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      320: Q88(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      321: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      322: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      323: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      324: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      325: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      326: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      327: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      328: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      329: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      330: Q91(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      331: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      332: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      333: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      334: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      335: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      336: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      337: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      338: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      339: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      340: Q92(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      341: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      342: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      343: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      344: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      345: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      346: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      347: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      348: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      349: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      350: Q93(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      351: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      352: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      353: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      354: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      355: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      356: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      357: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      358: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      359: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      360: Q94(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      361: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      362: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      363: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      364: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      365: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      366: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      367: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      368: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      369: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      370: Q95(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      371: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      372: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      373: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      374: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      375: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      376: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      377: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      378: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      379: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      380: Q96(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      381: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      382: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      383: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      384: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      385: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      386: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      387: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      388: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      389: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      390: Q97(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      391: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      392: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      393: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      394: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      395: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      396: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      397: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      398: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      399: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      400: Q98(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      401: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      402: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      403: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      404: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      405: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      406: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      407: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      408: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      409: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      410: Q99(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      411: R1(x1,x2,x3) -> x3
      412: R1(x1,x2,x3) -> x2
      413: R1(x1,x2,x3) -> x1
      414: R2(x1,x2,x3,x4) -> x4
      415: R2(x1,x2,x3,x4) -> x3
      416: R2(x1,x2,x3,x4) -> x2
      417: R2(x1,x2,x3,x4) -> x1
      418: R3(x1,x2,x3,x4,x5) -> x5
      419: R3(x1,x2,x3,x4,x5) -> x4
      420: R3(x1,x2,x3,x4,x5) -> x3
      421: R3(x1,x2,x3,x4,x5) -> x2
      422: R3(x1,x2,x3,x4,x5) -> x1
      423: R4(x1,x2,x3,x4,x5,x6) -> x6
      424: R4(x1,x2,x3,x4,x5,x6) -> x5
      425: R4(x1,x2,x3,x4,x5,x6) -> x4
      426: R4(x1,x2,x3,x4,x5,x6) -> x3
      427: R4(x1,x2,x3,x4,x5,x6) -> x2
      428: R4(x1,x2,x3,x4,x5,x6) -> x1
      429: R5(x1,x2,x3,x4,x5,x6,x7) -> x7
      430: R5(x1,x2,x3,x4,x5,x6,x7) -> x6
      431: R5(x1,x2,x3,x4,x5,x6,x7) -> x5
      432: R5(x1,x2,x3,x4,x5,x6,x7) -> x4
      433: R5(x1,x2,x3,x4,x5,x6,x7) -> x3
      434: R5(x1,x2,x3,x4,x5,x6,x7) -> x2
      435: R5(x1,x2,x3,x4,x5,x6,x7) -> x1
      436: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      437: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      438: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      439: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      440: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      441: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      442: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      443: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      444: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x9
      445: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x8
      446: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x7
      447: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x6
      448: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x5
      449: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x4
      450: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x3
      451: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x2
      452: R7(x1,x2,x3,x4,x5,x6,x7,x8,x9) -> x1
      453: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x10
      454: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x9
      455: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x8
      456: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x7
      457: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x6
      458: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x5
      459: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x4
      460: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x3
      461: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x2
      462: R8(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> x1
      463: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x11
      464: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x10
      465: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x9
      466: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x8
      467: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x7
      468: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x6
      469: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x5
      470: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x4
      471: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x3
      472: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x2
      473: R9(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> x1
      474: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) -> S(0())
      475: +(x,S(y)) -> S(+(x,y))
      476: a(l(x)) -> l(a(a(x)))
      477: l(o(x)) -> o(l(l(x)))
      478: o(x) -> l(x)
      479: l(x) -> a(x)
      480: a(S(x)) -> S(l(x))
      481: a(+(x,y)) -> +(l(x),y)
      482: a(+(x,y)) -> +(x,l(y))
      483: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10))
      484: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),x10)
      485: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,x5,x6,x7,l(x8),x9,x10)
      486: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,x5,x6,l(x7),x8,x9,x10)
      487: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,x5,l(x6),x7,x8,x9,x10)
      488: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,x4,l(x5),x6,x7,x8,x9,x10)
      489: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,x3,l(x4),x5,x6,x7,x8,x9,x10)
      490: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,x2,l(x3),x4,x5,x6,x7,x8,x9,x10)
      491: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(x1,l(x2),x3,x4,x5,x6,x7,x8,x9,x10)
      492: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> P(l(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10)
      493: +(x,o(y)) -> o(+(x,y))
      494: P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10)) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      495: P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      496: P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      497: P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      498: P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      499: P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      500: P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      501: P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      502: P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      503: P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
      504: M(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(y)) -> +(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      505: 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())
      506: 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())
      507: 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())
      508: 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())
      509: 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())
      510: J4(x1,x2,x3,l(x4),y) -> P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0(),0(),0(),0())
      511: J3(x1,x2,l(x3),y) -> P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0(),0(),0(),0())
      512: J2(x1,l(x2),y) -> P(x1,J2(x1,x2,y),0(),0(),0(),0(),0(),0(),0(),0())
      513: J1(l(x1),y) -> P(J1(x1,y),0(),0(),0(),0(),0(),0(),0(),0(),0())
      514: a(S(x)) -> o(x)
      515: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(M(0(),0(),0(),0(),0(),0(),0(),0(),0(),y))
      516: P(0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)) -> o(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      517: P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y) -> o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      518: P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y) -> o(J8(x1,x2,x3,x4,x5,x6,x7,x8,y))
      519: P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y) -> o(J7(x1,x2,x3,x4,x5,x6,x7,y))
      520: P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y) -> o(J6(x1,x2,x3,x4,x5,x6,y))
      521: P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y) -> o(J5(x1,x2,x3,x4,x5,y))
      522: P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y) -> o(J4(x1,x2,x3,x4,y))
      523: P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y) -> o(J3(x1,x2,x3,y))
      524: P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y) -> o(J2(x1,x2,y))
      525: P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y) -> o(J1(x1,y))
      526: P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),S(y)) -> o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y)))
      527: P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),S(y)) -> o(J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y)))
      528: P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),S(y)) -> o(J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y)))
      529: P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),S(y)) -> o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y)))
      530: P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),S(y)) -> o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y)))
      531: P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),S(y)) -> o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y)))
      532: P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),S(y)) -> o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y)))
      533: P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y)))
      534: P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y)))
      535: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q99(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9)
      536: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q98(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x8)
      537: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q97(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x7)
      538: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q96(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x6)
      539: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q95(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x5)
      540: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q94(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x4)
      541: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q93(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x3)
      542: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q92(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x2)
      543: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> Q91(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x1)
      544: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q88(x1,x2,x3,x4,x5,x6,x7,a(x8),x8)
      545: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q87(x1,x2,x3,x4,x5,x6,x7,a(x8),x7)
      546: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q86(x1,x2,x3,x4,x5,x6,x7,a(x8),x6)
      547: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q85(x1,x2,x3,x4,x5,x6,x7,a(x8),x5)
      548: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q84(x1,x2,x3,x4,x5,x6,x7,a(x8),x4)
      549: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q83(x1,x2,x3,x4,x5,x6,x7,a(x8),x3)
      550: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q82(x1,x2,x3,x4,x5,x6,x7,a(x8),x2)
      551: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> Q81(x1,x2,x3,x4,x5,x6,x7,a(x8),x1)
      552: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q77(x1,x2,x3,x4,x5,x6,a(x7),x7)
      553: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q76(x1,x2,x3,x4,x5,x6,a(x7),x6)
      554: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q75(x1,x2,x3,x4,x5,x6,a(x7),x5)
      555: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q74(x1,x2,x3,x4,x5,x6,a(x7),x4)
      556: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q73(x1,x2,x3,x4,x5,x6,a(x7),x3)
      557: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q72(x1,x2,x3,x4,x5,x6,a(x7),x2)
      558: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> Q71(x1,x2,x3,x4,x5,x6,a(x7),x1)
      559: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q66(x1,x2,x3,x4,x5,a(x6),x6)
      560: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q65(x1,x2,x3,x4,x5,a(x6),x5)
      561: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q64(x1,x2,x3,x4,x5,a(x6),x4)
      562: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q63(x1,x2,x3,x4,x5,a(x6),x3)
      563: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q62(x1,x2,x3,x4,x5,a(x6),x2)
      564: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> Q61(x1,x2,x3,x4,x5,a(x6),x1)
      565: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> Q55(x1,x2,x3,x4,a(x5),x5)
      566: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> Q54(x1,x2,x3,x4,a(x5),x4)
      567: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> Q53(x1,x2,x3,x4,a(x5),x3)
      568: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> Q52(x1,x2,x3,x4,a(x5),x2)
      569: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> Q51(x1,x2,x3,x4,a(x5),x1)
      570: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> Q44(x1,x2,x3,a(x4),x4)
      571: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> Q43(x1,x2,x3,a(x4),x3)
      572: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> Q42(x1,x2,x3,a(x4),x2)
      573: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> Q41(x1,x2,x3,a(x4),x1)
      574: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> Q33(x1,x2,a(x3),x3)
      575: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> Q32(x1,x2,a(x3),x2)
      576: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> Q31(x1,x2,a(x3),x1)
      577: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> Q22(x1,a(x2),x2)
      578: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> Q21(x1,a(x2),x1)
      579: a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> Q11(a(x1),x1)
      580: Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      581: Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      582: Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      583: Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      584: Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      585: Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      586: Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      587: Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      588: Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
      589: Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      590: Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      591: Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      592: Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      593: Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      594: Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      595: Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      596: Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
      597: Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      598: Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      599: Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      600: Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      601: Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      602: Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      603: Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
      604: Q66(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      605: Q65(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      606: Q64(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      607: Q63(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      608: Q62(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      609: Q61(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
      610: Q55(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
      611: Q54(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
      612: Q53(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
      613: Q52(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
      614: Q51(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
      615: Q44(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
      616: Q43(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
      617: Q42(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
      618: Q41(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
      619: Q33(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
      620: Q32(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
      621: Q31(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
      622: Q22(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y))
      623: Q21(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y))
      624: Q11(o(x1),y) -> o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),y))
      625: a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(y))) -> R9(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9,y)
      626: a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),S(y))) -> R8(x1,x2,x3,x4,x5,x6,x7,a(x8),x8,y)
      627: a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),S(y))) -> R7(x1,x2,x3,x4,x5,x6,a(x7),x7,y)
      628: a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),S(y))) -> R6(x1,x2,x3,x4,x5,a(x6),x6,y)
      629: a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),S(y))) -> R5(x1,x2,x3,x4,a(x5),x5,y)
      630: a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),S(y))) -> R4(x1,x2,x3,a(x4),x4,y)
      631: a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),S(y))) -> R3(x1,x2,a(x3),x3,y)
      632: a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),S(y))) -> R2(x1,a(x2),x2,y)
      633: a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> R1(a(x1),x1,y)
      634: R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,y,z)))
      635: R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),z)))
      636: R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),z)))
      637: R6(x1,x2,x3,x4,x5,o(x6),y,z) -> o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),z)))
      638: R5(x1,x2,x3,x4,o(x5),y,z) -> o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),z)))
      639: R4(x1,x2,x3,o(x4),y,z) -> o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),z)))
      640: R3(x1,x2,o(x3),y,z) -> o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),z)))
      641: R2(x1,o(x2),y,z) -> o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),z)))
      642: R1(o(x1),y,z) -> o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),z)))
Number of strict rules: 642
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #Q32(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
     #2: #Q32(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y)
     #3: #Q31(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
     #4: #Q31(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y)
     #5: #Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #6: #Q71(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #7: #Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #8: #Q77(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #9: #R2(x1,o(x2),y,z) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),z)))
     #10: #R2(x1,o(x2),y,z) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),0(),0(),0(),z))
     #11: #R2(x1,o(x2),y,z) -> #P(x1,y,0(),0(),0(),0(),0(),0(),0(),z)
     #12: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,x5,x6,l(x7),x8,x9,x10)
     #13: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x7)
     #14: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #Q53(x1,x2,x3,x4,a(x5),x3)
     #15: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #a(x5)
     #16: #Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #17: #Q83(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #18: #J4(x1,x2,x3,l(x4),y) -> #P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0(),0(),0(),0())
     #19: #J4(x1,x2,x3,l(x4),y) -> #J4(x1,x2,x3,x4,y)
     #20: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)) -> #o(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #21: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)) -> #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #22: #Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #23: #Q93(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #24: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y) -> #o(J2(x1,x2,y))
     #25: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y) -> #J2(x1,x2,y)
     #26: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q98(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x8)
     #27: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #28: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10)) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #29: #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,o(x10)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #30: #Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #31: #Q95(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #32: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),S(y)) -> #o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y)))
     #33: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),S(y)) -> #J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y))
     #34: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),S(y)) -> #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y)
     #35: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #Q32(x1,x2,a(x3),x2)
     #36: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #a(x3)
     #37: #Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #38: #Q82(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #39: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q83(x1,x2,x3,x4,x5,x6,x7,a(x8),x3)
     #40: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #41: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #42: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #43: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),S(y)) -> #o(J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y)))
     #44: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),S(y)) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y))
     #45: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),S(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y)
     #46: #Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #47: #Q76(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #48: #Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #49: #Q73(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #50: #Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #51: #Q97(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #52: #Q54(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
     #53: #Q54(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y)
     #54: #Q53(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
     #55: #Q53(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y)
     #56: #P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #57: #P(x1,x2,x3,o(x4),x5,x6,x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #58: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),S(y))) -> #R4(x1,x2,x3,a(x4),x4,y)
     #59: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),S(y))) -> #a(x4)
     #60: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #Q54(x1,x2,x3,x4,a(x5),x4)
     #61: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #a(x5)
     #62: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),S(y)) -> #o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y)))
     #63: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),S(y)) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y))
     #64: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),S(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y)
     #65: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #Q42(x1,x2,x3,a(x4),x2)
     #66: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #a(x4)
     #67: #Q43(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
     #68: #Q43(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y)
     #69: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #Q33(x1,x2,a(x3),x3)
     #70: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #a(x3)
     #71: #Q41(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
     #72: #Q41(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y)
     #73: #+(x,o(y)) -> #o(+(x,y))
     #74: #+(x,o(y)) -> #+(x,y)
     #75: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),S(y))) -> #R2(x1,a(x2),x2,y)
     #76: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),S(y))) -> #a(x2)
     #77: #l(x) -> #a(x)
     #78: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(y))) -> #R9(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9,y)
     #79: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,S(y))) -> #a(x9)
     #80: #P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #81: #P(x1,x2,o(x3),x4,x5,x6,x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #82: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #R1(a(x1),x1,y)
     #83: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),S(y))) -> #a(x1)
     #84: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #Q43(x1,x2,x3,a(x4),x3)
     #85: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #a(x4)
     #86: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #Q31(x1,x2,a(x3),x1)
     #87: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),0())) -> #a(x3)
     #88: #Q51(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
     #89: #Q51(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y)
     #90: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),S(y))) -> #R5(x1,x2,x3,x4,a(x5),x5,y)
     #91: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),S(y))) -> #a(x5)
     #92: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #93: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #94: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q86(x1,x2,x3,x4,x5,x6,x7,a(x8),x6)
     #95: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #96: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #o(J1(x1,y))
     #97: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y) -> #J1(x1,y)
     #98: #a(S(x)) -> #o(x)
     #99: #P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #100: #P(o(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #101: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #102: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #103: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q87(x1,x2,x3,x4,x5,x6,x7,a(x8),x7)
     #104: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #105: #P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #106: #P(x1,x2,x3,x4,x5,x6,o(x7),x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #107: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q92(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x2)
     #108: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #109: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(M(0(),0(),0(),0(),0(),0(),0(),0(),0(),y))
     #110: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #M(0(),0(),0(),0(),0(),0(),0(),0(),0(),y)
     #111: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q64(x1,x2,x3,x4,x5,a(x6),x4)
     #112: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #113: #J1(l(x1),y) -> #P(J1(x1,y),0(),0(),0(),0(),0(),0(),0(),0(),0())
     #114: #J1(l(x1),y) -> #J1(x1,y)
     #115: #R5(x1,x2,x3,x4,o(x5),y,z) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),z)))
     #116: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),P(x1,x2,x3,x4,y,0(),0(),0(),0(),z))
     #117: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,y,0(),0(),0(),0(),z)
     #118: #Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #119: #Q72(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #120: #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())
     #121: #J8(x1,x2,x3,x4,x5,x6,x7,l(x8),y) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,y)
     #122: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q93(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x3)
     #123: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #124: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #125: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #126: #Q52(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
     #127: #Q52(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y)
     #128: #P(0(),0(),0(),0(),0(),0(),0(),0(),0(),0()) -> #S(0())
     #129: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q76(x1,x2,x3,x4,x5,x6,a(x7),x6)
     #130: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #131: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(y)) -> #+(M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y),P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #132: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(y)) -> #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #133: #M(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(y)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #134: #+(x,S(y)) -> #S(+(x,y))
     #135: #+(x,S(y)) -> #+(x,y)
     #136: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q65(x1,x2,x3,x4,x5,a(x6),x5)
     #137: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #138: #P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #139: #P(x1,o(x2),x3,x4,x5,x6,x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #140: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,l(x4),x5,x6,x7,x8,x9,x10)
     #141: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x4)
     #142: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y) -> #o(J6(x1,x2,x3,x4,x5,x6,y))
     #143: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y) -> #J6(x1,x2,x3,x4,x5,x6,y)
     #144: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),S(y)) -> #o(J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y)))
     #145: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),S(y)) -> #J7(x1,x2,x3,x4,x5,x6,x7,P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y))
     #146: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),S(y)) -> #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y)
     #147: #a(+(x,y)) -> #+(l(x),y)
     #148: #a(+(x,y)) -> #l(x)
     #149: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y) -> #o(J3(x1,x2,x3,y))
     #150: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y) -> #J3(x1,x2,x3,y)
     #151: #o(x) -> #l(x)
     #152: #l(o(x)) -> #o(l(l(x)))
     #153: #l(o(x)) -> #l(l(x))
     #154: #l(o(x)) -> #l(x)
     #155: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q88(x1,x2,x3,x4,x5,x6,x7,a(x8),x8)
     #156: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #157: #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())
     #158: #J6(x1,x2,x3,x4,x5,l(x6),y) -> #J6(x1,x2,x3,x4,x5,x6,y)
     #159: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q97(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x7)
     #160: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #161: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y)))
     #162: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),S(y)) -> #J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y))
     #163: #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),S(y)) -> #P(x1,x2,S(x3),0(),0(),0(),0(),0(),0(),y)
     #164: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #Q52(x1,x2,x3,x4,a(x5),x2)
     #165: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #a(x5)
     #166: #J2(x1,l(x2),y) -> #P(x1,J2(x1,x2,y),0(),0(),0(),0(),0(),0(),0(),0())
     #167: #J2(x1,l(x2),y) -> #J2(x1,x2,y)
     #168: #P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #169: #P(x1,x2,x3,x4,x5,x6,x7,o(x8),x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #170: #Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #171: #Q88(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #172: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #Q44(x1,x2,x3,a(x4),x4)
     #173: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #a(x4)
     #174: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),S(y))) -> #R3(x1,x2,a(x3),x3,y)
     #175: #a(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),S(y))) -> #a(x3)
     #176: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y)))
     #177: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y))
     #178: #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #P(x1,S(x2),0(),0(),0(),0(),0(),0(),0(),y)
     #179: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),z)))
     #180: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),P(x1,x2,x3,x4,x5,x6,y,0(),0(),z))
     #181: #R7(x1,x2,x3,x4,x5,x6,o(x7),y,z) -> #P(x1,x2,x3,x4,x5,x6,y,0(),0(),z)
     #182: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q96(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x6)
     #183: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #184: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q85(x1,x2,x3,x4,x5,x6,x7,a(x8),x5)
     #185: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #186: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q71(x1,x2,x3,x4,x5,x6,a(x7),x1)
     #187: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #188: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),z)))
     #189: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),P(x1,x2,x3,x4,x5,x6,x7,y,0(),z))
     #190: #R8(x1,x2,x3,x4,x5,x6,x7,o(x8),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,y,0(),z)
     #191: #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())
     #192: #J9(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),y) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #193: #P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #194: #P(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #195: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y) -> #o(J4(x1,x2,x3,x4,y))
     #196: #P(x1,x2,x3,S(x4),0(),0(),0(),0(),0(),y) -> #J4(x1,x2,x3,x4,y)
     #197: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),S(y)) -> #o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y)))
     #198: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),S(y)) -> #J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y))
     #199: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),S(y)) -> #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y)
     #200: #Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #201: #Q85(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #202: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,l(x10))
     #203: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x10)
     #204: #Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #205: #Q75(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #206: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y) -> #o(J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #207: #P(x1,x2,x3,x4,x5,x6,x7,x8,S(x9),y) -> #J9(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #208: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y) -> #o(J8(x1,x2,x3,x4,x5,x6,x7,x8,y))
     #209: #P(x1,x2,x3,x4,x5,x6,x7,S(x8),0(),y) -> #J8(x1,x2,x3,x4,x5,x6,x7,x8,y)
     #210: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q77(x1,x2,x3,x4,x5,x6,a(x7),x7)
     #211: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #212: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q99(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x9)
     #213: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #214: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,x5,x6,x7,l(x8),x9,x10)
     #215: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x8)
     #216: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),S(y)) -> #o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y)))
     #217: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),S(y)) -> #J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y))
     #218: #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),S(y)) -> #P(x1,x2,x3,x4,x5,S(x6),0(),0(),0(),y)
     #219: #Q55(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y))
     #220: #Q55(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),0(),0(),0(),y)
     #221: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q91(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x1)
     #222: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #223: #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())
     #224: #J7(x1,x2,x3,x4,x5,x6,l(x7),y) -> #J7(x1,x2,x3,x4,x5,x6,x7,y)
     #225: #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())
     #226: #J5(x1,x2,x3,x4,l(x5),y) -> #J5(x1,x2,x3,x4,x5,y)
     #227: #a(l(x)) -> #l(a(a(x)))
     #228: #a(l(x)) -> #a(a(x))
     #229: #a(l(x)) -> #a(x)
     #230: #R1(o(x1),y,z) -> #o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),z)))
     #231: #R1(o(x1),y,z) -> #P(x1,0(),0(),0(),0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),0(),0(),0(),z))
     #232: #R1(o(x1),y,z) -> #P(y,0(),0(),0(),0(),0(),0(),0(),0(),z)
     #233: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q73(x1,x2,x3,x4,x5,x6,a(x7),x3)
     #234: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #235: #Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #236: #Q87(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #237: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q75(x1,x2,x3,x4,x5,x6,a(x7),x5)
     #238: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #239: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #Q41(x1,x2,x3,a(x4),x1)
     #240: #a(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),0())) -> #a(x4)
     #241: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y)))
     #242: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #J1(x1,P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y))
     #243: #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),S(y)) -> #P(S(x1),0(),0(),0(),0(),0(),0(),0(),0(),y)
     #244: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> #Q21(x1,a(x2),x1)
     #245: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x2)
     #246: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,x5,l(x6),x7,x8,x9,x10)
     #247: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x6)
     #248: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q81(x1,x2,x3,x4,x5,x6,x7,a(x8),x1)
     #249: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #250: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),S(y))) -> #R8(x1,x2,x3,x4,x5,x6,x7,a(x8),x8,y)
     #251: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),S(y))) -> #a(x8)
     #252: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #Q55(x1,x2,x3,x4,a(x5),x5)
     #253: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #a(x5)
     #254: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,l(x2),x3,x4,x5,x6,x7,x8,x9,x10)
     #255: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x2)
     #256: #Q21(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y))
     #257: #Q21(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y)
     #258: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> #Q22(x1,a(x2),x2)
     #259: #a(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x2)
     #260: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(l(x1),x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #261: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x1)
     #262: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),z)))
     #263: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),P(x1,x2,x3,x4,x5,y,0(),0(),0(),z))
     #264: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,y,0(),0(),0(),z)
     #265: #Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #266: #Q86(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #267: #Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #268: #Q96(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #269: #P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #270: #P(x1,x2,x3,x4,x5,o(x6),x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #271: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #272: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #273: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q94(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x4)
     #274: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #275: #Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #276: #Q84(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #277: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q61(x1,x2,x3,x4,x5,a(x6),x1)
     #278: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #279: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #Q95(x1,x2,x3,x4,x5,x6,x7,x8,a(x9),x5)
     #280: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,0())) -> #a(x9)
     #281: #Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y))
     #282: #Q81(x1,x2,x3,x4,x5,x6,x7,o(x8),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,0(),y)
     #283: #Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y))
     #284: #Q74(x1,x2,x3,x4,x5,x6,o(x7),y) -> #P(x1,x2,x3,x4,x5,x6,x7,0(),0(),y)
     #285: #a(+(x,y)) -> #+(x,l(y))
     #286: #a(+(x,y)) -> #l(y)
     #287: #Q42(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
     #288: #Q42(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y)
     #289: #Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #290: #Q99(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #291: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q63(x1,x2,x3,x4,x5,a(x6),x3)
     #292: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #293: #a(S(x)) -> #S(l(x))
     #294: #a(S(x)) -> #l(x)
     #295: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,l(x3),x4,x5,x6,x7,x8,x9,x10)
     #296: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x3)
     #297: #J3(x1,x2,l(x3),y) -> #P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0(),0(),0(),0())
     #298: #J3(x1,x2,l(x3),y) -> #J3(x1,x2,x3,y)
     #299: #Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #300: #Q92(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #301: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q82(x1,x2,x3,x4,x5,x6,x7,a(x8),x2)
     #302: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #303: #P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10))
     #304: #P(x1,x2,x3,x4,o(x5),x6,x7,x8,x9,x10) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)
     #305: #R3(x1,x2,o(x3),y,z) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),z)))
     #306: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),P(x1,x2,y,0(),0(),0(),0(),0(),0(),z))
     #307: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,y,0(),0(),0(),0(),0(),0(),z)
     #308: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),S(y))) -> #R7(x1,x2,x3,x4,x5,x6,a(x7),x7,y)
     #309: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),S(y))) -> #a(x7)
     #310: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #Q51(x1,x2,x3,x4,a(x5),x1)
     #311: #a(P(x1,x2,x3,x4,x5,0(),0(),0(),0(),0())) -> #a(x5)
     #312: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,y,z)))
     #313: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,P(x1,x2,x3,x4,x5,x6,x7,x8,y,z))
     #314: #R9(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y,z) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,y,z)
     #315: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q74(x1,x2,x3,x4,x5,x6,a(x7),x4)
     #316: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #317: #Q44(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y))
     #318: #Q44(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),y)
     #319: #Q33(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y))
     #320: #Q33(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),0(),0(),0(),y)
     #321: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q62(x1,x2,x3,x4,x5,a(x6),x2)
     #322: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #323: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y) -> #o(J7(x1,x2,x3,x4,x5,x6,x7,y))
     #324: #P(x1,x2,x3,x4,x5,x6,S(x7),0(),0(),y) -> #J7(x1,x2,x3,x4,x5,x6,x7,y)
     #325: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y) -> #o(J5(x1,x2,x3,x4,x5,y))
     #326: #P(x1,x2,x3,x4,S(x5),0(),0(),0(),0(),y) -> #J5(x1,x2,x3,x4,x5,y)
     #327: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,l(x9),x10)
     #328: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x9)
     #329: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),S(y))) -> #R6(x1,x2,x3,x4,x5,a(x6),x6,y)
     #330: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),S(y))) -> #a(x6)
     #331: #Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #332: #Q98(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #333: #Q22(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y))
     #334: #Q22(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),0(),0(),0(),y)
     #335: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #Q11(a(x1),x1)
     #336: #a(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),0())) -> #a(x1)
     #337: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #Q84(x1,x2,x3,x4,x5,x6,x7,a(x8),x4)
     #338: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,0(),0())) -> #a(x8)
     #339: #R4(x1,x2,x3,o(x4),y,z) -> #o(P(x1,x2,x3,x4,0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),z)))
     #340: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,x4,0(),0(),0(),0(),0(),P(x1,x2,x3,y,0(),0(),0(),0(),0(),z))
     #341: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,y,0(),0(),0(),0(),0(),z)
     #342: #Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #343: #Q94(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
     #344: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y))
     #345: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,0(),0(),0(),y)
     #346: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #Q66(x1,x2,x3,x4,x5,a(x6),x6)
     #347: #a(P(x1,x2,x3,x4,x5,x6,0(),0(),0(),0())) -> #a(x6)
     #348: #Q11(o(x1),y) -> #o(P(x1,0(),0(),0(),0(),0(),0(),0(),0(),y))
     #349: #Q11(o(x1),y) -> #P(x1,0(),0(),0(),0(),0(),0(),0(),0(),y)
     #350: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #P(x1,x2,x3,x4,l(x5),x6,x7,x8,x9,x10)
     #351: #a(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10)) -> #l(x5)
     #352: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #Q72(x1,x2,x3,x4,x5,x6,a(x7),x2)
     #353: #a(P(x1,x2,x3,x4,x5,x6,x7,0(),0(),0())) -> #a(x7)
     #354: #Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #o(P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y))
     #355: #Q91(x1,x2,x3,x4,x5,x6,x7,x8,o(x9),y) -> #P(x1,x2,x3,x4,x5,x6,x7,x8,x9,y)
Number of SCCs: 1, DPs: 352
  SCC { #1..127 #129..133 #135..292 #294..355 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)...