MAYBE
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) -> x7
      8: P(x1,x2,x3,x4,x5,x6,x7) -> x6
      9: P(x1,x2,x3,x4,x5,x6,x7) -> x5
      10: P(x1,x2,x3,x4,x5,x6,x7) -> x4
      11: P(x1,x2,x3,x4,x5,x6,x7) -> x3
      12: P(x1,x2,x3,x4,x5,x6,x7) -> x2
      13: P(x1,x2,x3,x4,x5,x6,x7) -> x1
      14: M(x1,x2,x3,x4,x5,x6,x7) -> x7
      15: M(x1,x2,x3,x4,x5,x6,x7) -> x6
      16: M(x1,x2,x3,x4,x5,x6,x7) -> x5
      17: M(x1,x2,x3,x4,x5,x6,x7) -> x4
      18: M(x1,x2,x3,x4,x5,x6,x7) -> x3
      19: M(x1,x2,x3,x4,x5,x6,x7) -> x2
      20: M(x1,x2,x3,x4,x5,x6,x7) -> x1
      21: J1(x1,x2) -> x2
      22: J1(x1,x2) -> x1
      23: J2(x1,x2,x3) -> x3
      24: J2(x1,x2,x3) -> x2
      25: J2(x1,x2,x3) -> x1
      26: J3(x1,x2,x3,x4) -> x4
      27: J3(x1,x2,x3,x4) -> x3
      28: J3(x1,x2,x3,x4) -> x2
      29: J3(x1,x2,x3,x4) -> x1
      30: J4(x1,x2,x3,x4,x5) -> x5
      31: J4(x1,x2,x3,x4,x5) -> x4
      32: J4(x1,x2,x3,x4,x5) -> x3
      33: J4(x1,x2,x3,x4,x5) -> x2
      34: J4(x1,x2,x3,x4,x5) -> x1
      35: J5(x1,x2,x3,x4,x5,x6) -> x6
      36: J5(x1,x2,x3,x4,x5,x6) -> x5
      37: J5(x1,x2,x3,x4,x5,x6) -> x4
      38: J5(x1,x2,x3,x4,x5,x6) -> x3
      39: J5(x1,x2,x3,x4,x5,x6) -> x2
      40: J5(x1,x2,x3,x4,x5,x6) -> x1
      41: J6(x1,x2,x3,x4,x5,x6,x7) -> x7
      42: J6(x1,x2,x3,x4,x5,x6,x7) -> x6
      43: J6(x1,x2,x3,x4,x5,x6,x7) -> x5
      44: J6(x1,x2,x3,x4,x5,x6,x7) -> x4
      45: J6(x1,x2,x3,x4,x5,x6,x7) -> x3
      46: J6(x1,x2,x3,x4,x5,x6,x7) -> x2
      47: J6(x1,x2,x3,x4,x5,x6,x7) -> x1
      48: Q11(x1,x2) -> x2
      49: Q11(x1,x2) -> x1
      50: Q21(x1,x2,x3) -> x3
      51: Q21(x1,x2,x3) -> x2
      52: Q21(x1,x2,x3) -> x1
      53: Q22(x1,x2,x3) -> x3
      54: Q22(x1,x2,x3) -> x2
      55: Q22(x1,x2,x3) -> x1
      56: Q31(x1,x2,x3,x4) -> x4
      57: Q31(x1,x2,x3,x4) -> x3
      58: Q31(x1,x2,x3,x4) -> x2
      59: Q31(x1,x2,x3,x4) -> x1
      60: Q32(x1,x2,x3,x4) -> x4
      61: Q32(x1,x2,x3,x4) -> x3
      62: Q32(x1,x2,x3,x4) -> x2
      63: Q32(x1,x2,x3,x4) -> x1
      64: Q33(x1,x2,x3,x4) -> x4
      65: Q33(x1,x2,x3,x4) -> x3
      66: Q33(x1,x2,x3,x4) -> x2
      67: Q33(x1,x2,x3,x4) -> x1
      68: Q41(x1,x2,x3,x4,x5) -> x5
      69: Q41(x1,x2,x3,x4,x5) -> x4
      70: Q41(x1,x2,x3,x4,x5) -> x3
      71: Q41(x1,x2,x3,x4,x5) -> x2
      72: Q41(x1,x2,x3,x4,x5) -> x1
      73: Q42(x1,x2,x3,x4,x5) -> x5
      74: Q42(x1,x2,x3,x4,x5) -> x4
      75: Q42(x1,x2,x3,x4,x5) -> x3
      76: Q42(x1,x2,x3,x4,x5) -> x2
      77: Q42(x1,x2,x3,x4,x5) -> x1
      78: Q43(x1,x2,x3,x4,x5) -> x5
      79: Q43(x1,x2,x3,x4,x5) -> x4
      80: Q43(x1,x2,x3,x4,x5) -> x3
      81: Q43(x1,x2,x3,x4,x5) -> x2
      82: Q43(x1,x2,x3,x4,x5) -> x1
      83: Q44(x1,x2,x3,x4,x5) -> x5
      84: Q44(x1,x2,x3,x4,x5) -> x4
      85: Q44(x1,x2,x3,x4,x5) -> x3
      86: Q44(x1,x2,x3,x4,x5) -> x2
      87: Q44(x1,x2,x3,x4,x5) -> x1
      88: Q51(x1,x2,x3,x4,x5,x6) -> x6
      89: Q51(x1,x2,x3,x4,x5,x6) -> x5
      90: Q51(x1,x2,x3,x4,x5,x6) -> x4
      91: Q51(x1,x2,x3,x4,x5,x6) -> x3
      92: Q51(x1,x2,x3,x4,x5,x6) -> x2
      93: Q51(x1,x2,x3,x4,x5,x6) -> x1
      94: Q52(x1,x2,x3,x4,x5,x6) -> x6
      95: Q52(x1,x2,x3,x4,x5,x6) -> x5
      96: Q52(x1,x2,x3,x4,x5,x6) -> x4
      97: Q52(x1,x2,x3,x4,x5,x6) -> x3
      98: Q52(x1,x2,x3,x4,x5,x6) -> x2
      99: Q52(x1,x2,x3,x4,x5,x6) -> x1
      100: Q53(x1,x2,x3,x4,x5,x6) -> x6
      101: Q53(x1,x2,x3,x4,x5,x6) -> x5
      102: Q53(x1,x2,x3,x4,x5,x6) -> x4
      103: Q53(x1,x2,x3,x4,x5,x6) -> x3
      104: Q53(x1,x2,x3,x4,x5,x6) -> x2
      105: Q53(x1,x2,x3,x4,x5,x6) -> x1
      106: Q54(x1,x2,x3,x4,x5,x6) -> x6
      107: Q54(x1,x2,x3,x4,x5,x6) -> x5
      108: Q54(x1,x2,x3,x4,x5,x6) -> x4
      109: Q54(x1,x2,x3,x4,x5,x6) -> x3
      110: Q54(x1,x2,x3,x4,x5,x6) -> x2
      111: Q54(x1,x2,x3,x4,x5,x6) -> x1
      112: Q55(x1,x2,x3,x4,x5,x6) -> x6
      113: Q55(x1,x2,x3,x4,x5,x6) -> x5
      114: Q55(x1,x2,x3,x4,x5,x6) -> x4
      115: Q55(x1,x2,x3,x4,x5,x6) -> x3
      116: Q55(x1,x2,x3,x4,x5,x6) -> x2
      117: Q55(x1,x2,x3,x4,x5,x6) -> x1
      118: Q61(x1,x2,x3,x4,x5,x6,x7) -> x7
      119: Q61(x1,x2,x3,x4,x5,x6,x7) -> x6
      120: Q61(x1,x2,x3,x4,x5,x6,x7) -> x5
      121: Q61(x1,x2,x3,x4,x5,x6,x7) -> x4
      122: Q61(x1,x2,x3,x4,x5,x6,x7) -> x3
      123: Q61(x1,x2,x3,x4,x5,x6,x7) -> x2
      124: Q61(x1,x2,x3,x4,x5,x6,x7) -> x1
      125: Q62(x1,x2,x3,x4,x5,x6,x7) -> x7
      126: Q62(x1,x2,x3,x4,x5,x6,x7) -> x6
      127: Q62(x1,x2,x3,x4,x5,x6,x7) -> x5
      128: Q62(x1,x2,x3,x4,x5,x6,x7) -> x4
      129: Q62(x1,x2,x3,x4,x5,x6,x7) -> x3
      130: Q62(x1,x2,x3,x4,x5,x6,x7) -> x2
      131: Q62(x1,x2,x3,x4,x5,x6,x7) -> x1
      132: Q63(x1,x2,x3,x4,x5,x6,x7) -> x7
      133: Q63(x1,x2,x3,x4,x5,x6,x7) -> x6
      134: Q63(x1,x2,x3,x4,x5,x6,x7) -> x5
      135: Q63(x1,x2,x3,x4,x5,x6,x7) -> x4
      136: Q63(x1,x2,x3,x4,x5,x6,x7) -> x3
      137: Q63(x1,x2,x3,x4,x5,x6,x7) -> x2
      138: Q63(x1,x2,x3,x4,x5,x6,x7) -> x1
      139: Q64(x1,x2,x3,x4,x5,x6,x7) -> x7
      140: Q64(x1,x2,x3,x4,x5,x6,x7) -> x6
      141: Q64(x1,x2,x3,x4,x5,x6,x7) -> x5
      142: Q64(x1,x2,x3,x4,x5,x6,x7) -> x4
      143: Q64(x1,x2,x3,x4,x5,x6,x7) -> x3
      144: Q64(x1,x2,x3,x4,x5,x6,x7) -> x2
      145: Q64(x1,x2,x3,x4,x5,x6,x7) -> x1
      146: Q65(x1,x2,x3,x4,x5,x6,x7) -> x7
      147: Q65(x1,x2,x3,x4,x5,x6,x7) -> x6
      148: Q65(x1,x2,x3,x4,x5,x6,x7) -> x5
      149: Q65(x1,x2,x3,x4,x5,x6,x7) -> x4
      150: Q65(x1,x2,x3,x4,x5,x6,x7) -> x3
      151: Q65(x1,x2,x3,x4,x5,x6,x7) -> x2
      152: Q65(x1,x2,x3,x4,x5,x6,x7) -> x1
      153: Q66(x1,x2,x3,x4,x5,x6,x7) -> x7
      154: Q66(x1,x2,x3,x4,x5,x6,x7) -> x6
      155: Q66(x1,x2,x3,x4,x5,x6,x7) -> x5
      156: Q66(x1,x2,x3,x4,x5,x6,x7) -> x4
      157: Q66(x1,x2,x3,x4,x5,x6,x7) -> x3
      158: Q66(x1,x2,x3,x4,x5,x6,x7) -> x2
      159: Q66(x1,x2,x3,x4,x5,x6,x7) -> x1
      160: R1(x1,x2,x3) -> x3
      161: R1(x1,x2,x3) -> x2
      162: R1(x1,x2,x3) -> x1
      163: R2(x1,x2,x3,x4) -> x4
      164: R2(x1,x2,x3,x4) -> x3
      165: R2(x1,x2,x3,x4) -> x2
      166: R2(x1,x2,x3,x4) -> x1
      167: R3(x1,x2,x3,x4,x5) -> x5
      168: R3(x1,x2,x3,x4,x5) -> x4
      169: R3(x1,x2,x3,x4,x5) -> x3
      170: R3(x1,x2,x3,x4,x5) -> x2
      171: R3(x1,x2,x3,x4,x5) -> x1
      172: R4(x1,x2,x3,x4,x5,x6) -> x6
      173: R4(x1,x2,x3,x4,x5,x6) -> x5
      174: R4(x1,x2,x3,x4,x5,x6) -> x4
      175: R4(x1,x2,x3,x4,x5,x6) -> x3
      176: R4(x1,x2,x3,x4,x5,x6) -> x2
      177: R4(x1,x2,x3,x4,x5,x6) -> x1
      178: R5(x1,x2,x3,x4,x5,x6,x7) -> x7
      179: R5(x1,x2,x3,x4,x5,x6,x7) -> x6
      180: R5(x1,x2,x3,x4,x5,x6,x7) -> x5
      181: R5(x1,x2,x3,x4,x5,x6,x7) -> x4
      182: R5(x1,x2,x3,x4,x5,x6,x7) -> x3
      183: R5(x1,x2,x3,x4,x5,x6,x7) -> x2
      184: R5(x1,x2,x3,x4,x5,x6,x7) -> x1
      185: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x8
      186: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x7
      187: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x6
      188: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x5
      189: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x4
      190: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x3
      191: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x2
      192: R6(x1,x2,x3,x4,x5,x6,x7,x8) -> x1
      193: P(0(),0(),0(),0(),0(),0(),0()) -> S(0())
      194: +(x,S(y)) -> S(+(x,y))
      195: a(l(x)) -> l(a(a(x)))
      196: l(o(x)) -> o(l(l(x)))
      197: o(x) -> l(x)
      198: l(x) -> a(x)
      199: a(S(x)) -> S(l(x))
      200: a(+(x,y)) -> +(l(x),y)
      201: a(+(x,y)) -> +(x,l(y))
      202: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,x2,x3,x4,x5,x6,l(x7))
      203: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,x2,x3,x4,x5,l(x6),x7)
      204: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,x2,x3,x4,l(x5),x6,x7)
      205: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,x2,x3,l(x4),x5,x6,x7)
      206: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,x2,l(x3),x4,x5,x6,x7)
      207: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(x1,l(x2),x3,x4,x5,x6,x7)
      208: a(P(x1,x2,x3,x4,x5,x6,x7)) -> P(l(x1),x2,x3,x4,x5,x6,x7)
      209: +(x,o(y)) -> o(+(x,y))
      210: P(x1,x2,x3,x4,x5,x6,o(x7)) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      211: P(x1,x2,x3,x4,x5,o(x6),x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      212: P(x1,x2,x3,x4,o(x5),x6,x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      213: P(x1,x2,x3,o(x4),x5,x6,x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      214: P(x1,x2,o(x3),x4,x5,x6,x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      215: P(x1,o(x2),x3,x4,x5,x6,x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      216: P(o(x1),x2,x3,x4,x5,x6,x7) -> o(P(x1,x2,x3,x4,x5,x6,x7))
      217: M(x1,x2,x3,x4,x5,x6,l(y)) -> +(M(x1,x2,x3,x4,x5,x6,y),P(x1,x2,x3,x4,x5,x6,y))
      218: J6(x1,x2,x3,x4,x5,l(x6),y) -> P(x1,x2,x3,x4,x5,J6(x1,x2,x3,x4,x5,x6,y),0())
      219: J5(x1,x2,x3,x4,l(x5),y) -> P(x1,x2,x3,x4,J5(x1,x2,x3,x4,x5,y),0(),0())
      220: J4(x1,x2,x3,l(x4),y) -> P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0())
      221: J3(x1,x2,l(x3),y) -> P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0())
      222: J2(x1,l(x2),y) -> P(x1,J2(x1,x2,y),0(),0(),0(),0(),0())
      223: J1(l(x1),y) -> P(J1(x1,y),0(),0(),0(),0(),0(),0())
      224: a(S(x)) -> o(x)
      225: P(0(),0(),0(),0(),0(),0(),S(y)) -> o(M(0(),0(),0(),0(),0(),0(),y))
      226: P(0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y)) -> o(M(x1,x2,x3,x4,x5,x6,y))
      227: P(x1,x2,x3,x4,x5,S(x6),y) -> o(J6(x1,x2,x3,x4,x5,x6,y))
      228: P(x1,x2,x3,x4,S(x5),0(),y) -> o(J5(x1,x2,x3,x4,x5,y))
      229: P(x1,x2,x3,S(x4),0(),0(),y) -> o(J4(x1,x2,x3,x4,y))
      230: P(x1,x2,S(x3),0(),0(),0(),y) -> o(J3(x1,x2,x3,y))
      231: P(x1,S(x2),0(),0(),0(),0(),y) -> o(J2(x1,x2,y))
      232: P(S(x1),0(),0(),0(),0(),0(),y) -> o(J1(x1,y))
      233: P(x1,x2,x3,x4,x5,S(x6),S(y)) -> o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),y)))
      234: P(x1,x2,x3,x4,S(x5),0(),S(y)) -> o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),y)))
      235: P(x1,x2,x3,S(x4),0(),0(),S(y)) -> o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),y)))
      236: P(x1,x2,S(x3),0(),0(),0(),S(y)) -> o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),y)))
      237: P(x1,S(x2),0(),0(),0(),0(),S(y)) -> o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),y)))
      238: P(S(x1),0(),0(),0(),0(),0(),S(y)) -> o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),y)))
      239: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q66(x1,x2,x3,x4,x5,a(x6),x6)
      240: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q65(x1,x2,x3,x4,x5,a(x6),x5)
      241: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q64(x1,x2,x3,x4,x5,a(x6),x4)
      242: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q63(x1,x2,x3,x4,x5,a(x6),x3)
      243: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q62(x1,x2,x3,x4,x5,a(x6),x2)
      244: a(P(x1,x2,x3,x4,x5,x6,0())) -> Q61(x1,x2,x3,x4,x5,a(x6),x1)
      245: a(P(x1,x2,x3,x4,x5,0(),0())) -> Q55(x1,x2,x3,x4,a(x5),x5)
      246: a(P(x1,x2,x3,x4,x5,0(),0())) -> Q54(x1,x2,x3,x4,a(x5),x4)
      247: a(P(x1,x2,x3,x4,x5,0(),0())) -> Q53(x1,x2,x3,x4,a(x5),x3)
      248: a(P(x1,x2,x3,x4,x5,0(),0())) -> Q52(x1,x2,x3,x4,a(x5),x2)
      249: a(P(x1,x2,x3,x4,x5,0(),0())) -> Q51(x1,x2,x3,x4,a(x5),x1)
      250: a(P(x1,x2,x3,x4,0(),0(),0())) -> Q44(x1,x2,x3,a(x4),x4)
      251: a(P(x1,x2,x3,x4,0(),0(),0())) -> Q43(x1,x2,x3,a(x4),x3)
      252: a(P(x1,x2,x3,x4,0(),0(),0())) -> Q42(x1,x2,x3,a(x4),x2)
      253: a(P(x1,x2,x3,x4,0(),0(),0())) -> Q41(x1,x2,x3,a(x4),x1)
      254: a(P(x1,x2,x3,0(),0(),0(),0())) -> Q33(x1,x2,a(x3),x3)
      255: a(P(x1,x2,x3,0(),0(),0(),0())) -> Q32(x1,x2,a(x3),x2)
      256: a(P(x1,x2,x3,0(),0(),0(),0())) -> Q31(x1,x2,a(x3),x1)
      257: a(P(x1,x2,0(),0(),0(),0(),0())) -> Q22(x1,a(x2),x2)
      258: a(P(x1,x2,0(),0(),0(),0(),0())) -> Q21(x1,a(x2),x1)
      259: a(P(x1,0(),0(),0(),0(),0(),0())) -> Q11(a(x1),x1)
      260: Q66(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      261: Q65(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      262: Q64(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      263: Q63(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      264: Q62(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      265: Q61(x1,x2,x3,x4,x5,o(x6),y) -> o(P(x1,x2,x3,x4,x5,x6,y))
      266: Q55(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),y))
      267: Q54(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),y))
      268: Q53(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),y))
      269: Q52(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),y))
      270: Q51(x1,x2,x3,x4,o(x5),y) -> o(P(x1,x2,x3,x4,x5,0(),y))
      271: Q44(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),y))
      272: Q43(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),y))
      273: Q42(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),y))
      274: Q41(x1,x2,x3,o(x4),y) -> o(P(x1,x2,x3,x4,0(),0(),y))
      275: Q33(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),y))
      276: Q32(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),y))
      277: Q31(x1,x2,o(x3),y) -> o(P(x1,x2,x3,0(),0(),0(),y))
      278: Q22(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),y))
      279: Q21(x1,o(x2),y) -> o(P(x1,x2,0(),0(),0(),0(),y))
      280: Q11(o(x1),y) -> o(P(x1,0(),0(),0(),0(),0(),y))
      281: a(P(x1,x2,x3,x4,x5,x6,S(y))) -> R6(x1,x2,x3,x4,x5,a(x6),x6,y)
      282: a(P(x1,x2,x3,x4,x5,0(),S(y))) -> R5(x1,x2,x3,x4,a(x5),x5,y)
      283: a(P(x1,x2,x3,x4,0(),0(),S(y))) -> R4(x1,x2,x3,a(x4),x4,y)
      284: a(P(x1,x2,x3,0(),0(),0(),S(y))) -> R3(x1,x2,a(x3),x3,y)
      285: a(P(x1,x2,0(),0(),0(),0(),S(y))) -> R2(x1,a(x2),x2,y)
      286: a(P(x1,0(),0(),0(),0(),0(),S(y))) -> R1(a(x1),x1,y)
      287: R6(x1,x2,x3,x4,x5,o(x6),y,z) -> o(P(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,y,z)))
      288: R5(x1,x2,x3,x4,o(x5),y,z) -> o(P(x1,x2,x3,x4,x5,0(),P(x1,x2,x3,x4,y,0(),z)))
      289: R4(x1,x2,x3,o(x4),y,z) -> o(P(x1,x2,x3,x4,0(),0(),P(x1,x2,x3,y,0(),0(),z)))
      290: R3(x1,x2,o(x3),y,z) -> o(P(x1,x2,x3,0(),0(),0(),P(x1,x2,y,0(),0(),0(),z)))
      291: R2(x1,o(x2),y,z) -> o(P(x1,x2,0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),z)))
      292: R1(o(x1),y,z) -> o(P(x1,0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),z)))
Number of strict rules: 292
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #P(S(x1),0(),0(),0(),0(),0(),S(y)) -> #o(J1(x1,P(S(x1),0(),0(),0(),0(),0(),y)))
     #2: #P(S(x1),0(),0(),0(),0(),0(),S(y)) -> #J1(x1,P(S(x1),0(),0(),0(),0(),0(),y))
     #3: #P(S(x1),0(),0(),0(),0(),0(),S(y)) -> #P(S(x1),0(),0(),0(),0(),0(),y)
     #4: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #5: #Q63(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #6: #P(x1,x2,x3,S(x4),0(),0(),y) -> #o(J4(x1,x2,x3,x4,y))
     #7: #P(x1,x2,x3,S(x4),0(),0(),y) -> #J4(x1,x2,x3,x4,y)
     #8: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #o(P(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,y,z)))
     #9: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,y,z))
     #10: #R6(x1,x2,x3,x4,x5,o(x6),y,z) -> #P(x1,x2,x3,x4,x5,y,z)
     #11: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #Q41(x1,x2,x3,a(x4),x1)
     #12: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #a(x4)
     #13: #R3(x1,x2,o(x3),y,z) -> #o(P(x1,x2,x3,0(),0(),0(),P(x1,x2,y,0(),0(),0(),z)))
     #14: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,x3,0(),0(),0(),P(x1,x2,y,0(),0(),0(),z))
     #15: #R3(x1,x2,o(x3),y,z) -> #P(x1,x2,y,0(),0(),0(),z)
     #16: #P(S(x1),0(),0(),0(),0(),0(),y) -> #o(J1(x1,y))
     #17: #P(S(x1),0(),0(),0(),0(),0(),y) -> #J1(x1,y)
     #18: #l(x) -> #a(x)
     #19: #a(P(x1,x2,x3,x4,0(),0(),S(y))) -> #R4(x1,x2,x3,a(x4),x4,y)
     #20: #a(P(x1,x2,x3,x4,0(),0(),S(y))) -> #a(x4)
     #21: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #Q52(x1,x2,x3,x4,a(x5),x2)
     #22: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #a(x5)
     #23: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #24: #Q61(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #25: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #Q42(x1,x2,x3,a(x4),x2)
     #26: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #a(x4)
     #27: #P(x1,x2,S(x3),0(),0(),0(),y) -> #o(J3(x1,x2,x3,y))
     #28: #P(x1,x2,S(x3),0(),0(),0(),y) -> #J3(x1,x2,x3,y)
     #29: #a(P(x1,x2,x3,x4,x5,0(),S(y))) -> #R5(x1,x2,x3,x4,a(x5),x5,y)
     #30: #a(P(x1,x2,x3,x4,x5,0(),S(y))) -> #a(x5)
     #31: #J6(x1,x2,x3,x4,x5,l(x6),y) -> #P(x1,x2,x3,x4,x5,J6(x1,x2,x3,x4,x5,x6,y),0())
     #32: #J6(x1,x2,x3,x4,x5,l(x6),y) -> #J6(x1,x2,x3,x4,x5,x6,y)
     #33: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q65(x1,x2,x3,x4,x5,a(x6),x5)
     #34: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
     #35: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #36: #Q66(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #37: #P(x1,x2,x3,x4,S(x5),0(),S(y)) -> #o(J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),y)))
     #38: #P(x1,x2,x3,x4,S(x5),0(),S(y)) -> #J5(x1,x2,x3,x4,x5,P(x1,x2,x3,x4,S(x5),0(),y))
     #39: #P(x1,x2,x3,x4,S(x5),0(),S(y)) -> #P(x1,x2,x3,x4,S(x5),0(),y)
     #40: #Q54(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),y))
     #41: #Q54(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),y)
     #42: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #Q32(x1,x2,a(x3),x2)
     #43: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #a(x3)
     #44: #Q22(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),y))
     #45: #Q22(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),y)
     #46: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #Q31(x1,x2,a(x3),x1)
     #47: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #a(x3)
     #48: #J1(l(x1),y) -> #P(J1(x1,y),0(),0(),0(),0(),0(),0())
     #49: #J1(l(x1),y) -> #J1(x1,y)
     #50: #l(o(x)) -> #o(l(l(x)))
     #51: #l(o(x)) -> #l(l(x))
     #52: #l(o(x)) -> #l(x)
     #53: #P(0(),0(),0(),0(),0(),0(),0()) -> #S(0())
     #54: #P(x1,x2,x3,x4,x5,x6,o(x7)) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #55: #P(x1,x2,x3,x4,x5,x6,o(x7)) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #56: #Q53(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),y))
     #57: #Q53(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),y)
     #58: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #Q51(x1,x2,x3,x4,a(x5),x1)
     #59: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #a(x5)
     #60: #J4(x1,x2,x3,l(x4),y) -> #P(x1,x2,x3,J4(x1,x2,x3,x4,y),0(),0(),0())
     #61: #J4(x1,x2,x3,l(x4),y) -> #J4(x1,x2,x3,x4,y)
     #62: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,x2,x3,x4,x5,x6,l(x7))
     #63: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x7)
     #64: #P(x1,x2,o(x3),x4,x5,x6,x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #65: #P(x1,x2,o(x3),x4,x5,x6,x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #66: #a(P(x1,x2,0(),0(),0(),0(),0())) -> #Q22(x1,a(x2),x2)
     #67: #a(P(x1,x2,0(),0(),0(),0(),0())) -> #a(x2)
     #68: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #Q55(x1,x2,x3,x4,a(x5),x5)
     #69: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #a(x5)
     #70: #o(x) -> #l(x)
     #71: #Q42(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),y))
     #72: #Q42(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),y)
     #73: #a(P(x1,x2,0(),0(),0(),0(),S(y))) -> #R2(x1,a(x2),x2,y)
     #74: #a(P(x1,x2,0(),0(),0(),0(),S(y))) -> #a(x2)
     #75: #P(x1,x2,S(x3),0(),0(),0(),S(y)) -> #o(J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),y)))
     #76: #P(x1,x2,S(x3),0(),0(),0(),S(y)) -> #J3(x1,x2,x3,P(x1,x2,S(x3),0(),0(),0(),y))
     #77: #P(x1,x2,S(x3),0(),0(),0(),S(y)) -> #P(x1,x2,S(x3),0(),0(),0(),y)
     #78: #R5(x1,x2,x3,x4,o(x5),y,z) -> #o(P(x1,x2,x3,x4,x5,0(),P(x1,x2,x3,x4,y,0(),z)))
     #79: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,x5,0(),P(x1,x2,x3,x4,y,0(),z))
     #80: #R5(x1,x2,x3,x4,o(x5),y,z) -> #P(x1,x2,x3,x4,y,0(),z)
     #81: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,x2,x3,x4,x5,l(x6),x7)
     #82: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x6)
     #83: #a(+(x,y)) -> #+(x,l(y))
     #84: #a(+(x,y)) -> #l(y)
     #85: #+(x,o(y)) -> #o(+(x,y))
     #86: #+(x,o(y)) -> #+(x,y)
     #87: #Q51(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),y))
     #88: #Q51(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),y)
     #89: #M(x1,x2,x3,x4,x5,x6,l(y)) -> #+(M(x1,x2,x3,x4,x5,x6,y),P(x1,x2,x3,x4,x5,x6,y))
     #90: #M(x1,x2,x3,x4,x5,x6,l(y)) -> #M(x1,x2,x3,x4,x5,x6,y)
     #91: #M(x1,x2,x3,x4,x5,x6,l(y)) -> #P(x1,x2,x3,x4,x5,x6,y)
     #92: #R2(x1,o(x2),y,z) -> #o(P(x1,x2,0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),z)))
     #93: #R2(x1,o(x2),y,z) -> #P(x1,x2,0(),0(),0(),0(),P(x1,y,0(),0(),0(),0(),z))
     #94: #R2(x1,o(x2),y,z) -> #P(x1,y,0(),0(),0(),0(),z)
     #95: #Q31(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),y))
     #96: #Q31(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),y)
     #97: #Q55(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),y))
     #98: #Q55(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),y)
     #99: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,x2,l(x3),x4,x5,x6,x7)
     #100: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x3)
     #101: #a(P(x1,x2,x3,0(),0(),0(),S(y))) -> #R3(x1,x2,a(x3),x3,y)
     #102: #a(P(x1,x2,x3,0(),0(),0(),S(y))) -> #a(x3)
     #103: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #Q44(x1,x2,x3,a(x4),x4)
     #104: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #a(x4)
     #105: #a(+(x,y)) -> #+(l(x),y)
     #106: #a(+(x,y)) -> #l(x)
     #107: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,l(x2),x3,x4,x5,x6,x7)
     #108: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x2)
     #109: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #Q33(x1,x2,a(x3),x3)
     #110: #a(P(x1,x2,x3,0(),0(),0(),0())) -> #a(x3)
     #111: #a(S(x)) -> #o(x)
     #112: #P(x1,x2,x3,x4,x5,S(x6),S(y)) -> #o(J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),y)))
     #113: #P(x1,x2,x3,x4,x5,S(x6),S(y)) -> #J6(x1,x2,x3,x4,x5,x6,P(x1,x2,x3,x4,x5,S(x6),y))
     #114: #P(x1,x2,x3,x4,x5,S(x6),S(y)) -> #P(x1,x2,x3,x4,x5,S(x6),y)
     #115: #Q32(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),y))
     #116: #Q32(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),y)
     #117: #R1(o(x1),y,z) -> #o(P(x1,0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),z)))
     #118: #R1(o(x1),y,z) -> #P(x1,0(),0(),0(),0(),0(),P(y,0(),0(),0(),0(),0(),z))
     #119: #R1(o(x1),y,z) -> #P(y,0(),0(),0(),0(),0(),z)
     #120: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #121: #Q65(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #122: #Q11(o(x1),y) -> #o(P(x1,0(),0(),0(),0(),0(),y))
     #123: #Q11(o(x1),y) -> #P(x1,0(),0(),0(),0(),0(),y)
     #124: #a(P(x1,0(),0(),0(),0(),0(),S(y))) -> #R1(a(x1),x1,y)
     #125: #a(P(x1,0(),0(),0(),0(),0(),S(y))) -> #a(x1)
     #126: #J2(x1,l(x2),y) -> #P(x1,J2(x1,x2,y),0(),0(),0(),0(),0())
     #127: #J2(x1,l(x2),y) -> #J2(x1,x2,y)
     #128: #P(x1,o(x2),x3,x4,x5,x6,x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #129: #P(x1,o(x2),x3,x4,x5,x6,x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #130: #a(P(x1,x2,x3,x4,x5,x6,S(y))) -> #R6(x1,x2,x3,x4,x5,a(x6),x6,y)
     #131: #a(P(x1,x2,x3,x4,x5,x6,S(y))) -> #a(x6)
     #132: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #Q43(x1,x2,x3,a(x4),x3)
     #133: #a(P(x1,x2,x3,x4,0(),0(),0())) -> #a(x4)
     #134: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q64(x1,x2,x3,x4,x5,a(x6),x4)
     #135: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
     #136: #Q41(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),y))
     #137: #Q41(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),y)
     #138: #P(x1,x2,x3,x4,o(x5),x6,x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #139: #P(x1,x2,x3,x4,o(x5),x6,x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #140: #R4(x1,x2,x3,o(x4),y,z) -> #o(P(x1,x2,x3,x4,0(),0(),P(x1,x2,x3,y,0(),0(),z)))
     #141: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,x4,0(),0(),P(x1,x2,x3,y,0(),0(),z))
     #142: #R4(x1,x2,x3,o(x4),y,z) -> #P(x1,x2,x3,y,0(),0(),z)
     #143: #+(x,S(y)) -> #S(+(x,y))
     #144: #+(x,S(y)) -> #+(x,y)
     #145: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q62(x1,x2,x3,x4,x5,a(x6),x2)
     #146: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
     #147: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #148: #Q64(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #149: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q61(x1,x2,x3,x4,x5,a(x6),x1)
     #150: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
     #151: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(l(x1),x2,x3,x4,x5,x6,x7)
     #152: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x1)
     #153: #Q52(x1,x2,x3,x4,o(x5),y) -> #o(P(x1,x2,x3,x4,x5,0(),y))
     #154: #Q52(x1,x2,x3,x4,o(x5),y) -> #P(x1,x2,x3,x4,x5,0(),y)
     #155: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #o(P(x1,x2,x3,x4,x5,x6,y))
     #156: #Q62(x1,x2,x3,x4,x5,o(x6),y) -> #P(x1,x2,x3,x4,x5,x6,y)
     #157: #a(S(x)) -> #S(l(x))
     #158: #a(S(x)) -> #l(x)
     #159: #P(0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y)) -> #o(M(x1,x2,x3,x4,x5,x6,y))
     #160: #P(0(),0(),0(),0(),0(),0(),P(x1,x2,x3,x4,x5,x6,y)) -> #M(x1,x2,x3,x4,x5,x6,y)
     #161: #P(x1,x2,x3,x4,S(x5),0(),y) -> #o(J5(x1,x2,x3,x4,x5,y))
     #162: #P(x1,x2,x3,x4,S(x5),0(),y) -> #J5(x1,x2,x3,x4,x5,y)
     #163: #P(x1,x2,x3,x4,x5,S(x6),y) -> #o(J6(x1,x2,x3,x4,x5,x6,y))
     #164: #P(x1,x2,x3,x4,x5,S(x6),y) -> #J6(x1,x2,x3,x4,x5,x6,y)
     #165: #Q44(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),y))
     #166: #Q44(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),y)
     #167: #a(P(x1,0(),0(),0(),0(),0(),0())) -> #Q11(a(x1),x1)
     #168: #a(P(x1,0(),0(),0(),0(),0(),0())) -> #a(x1)
     #169: #P(x1,x2,x3,x4,x5,o(x6),x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #170: #P(x1,x2,x3,x4,x5,o(x6),x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #171: #Q21(x1,o(x2),y) -> #o(P(x1,x2,0(),0(),0(),0(),y))
     #172: #Q21(x1,o(x2),y) -> #P(x1,x2,0(),0(),0(),0(),y)
     #173: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #Q53(x1,x2,x3,x4,a(x5),x3)
     #174: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #a(x5)
     #175: #P(0(),0(),0(),0(),0(),0(),S(y)) -> #o(M(0(),0(),0(),0(),0(),0(),y))
     #176: #P(0(),0(),0(),0(),0(),0(),S(y)) -> #M(0(),0(),0(),0(),0(),0(),y)
     #177: #P(x1,S(x2),0(),0(),0(),0(),S(y)) -> #o(J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),y)))
     #178: #P(x1,S(x2),0(),0(),0(),0(),S(y)) -> #J2(x1,x2,P(x1,S(x2),0(),0(),0(),0(),y))
     #179: #P(x1,S(x2),0(),0(),0(),0(),S(y)) -> #P(x1,S(x2),0(),0(),0(),0(),y)
     #180: #P(x1,x2,x3,o(x4),x5,x6,x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #181: #P(x1,x2,x3,o(x4),x5,x6,x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #182: #P(x1,S(x2),0(),0(),0(),0(),y) -> #o(J2(x1,x2,y))
     #183: #P(x1,S(x2),0(),0(),0(),0(),y) -> #J2(x1,x2,y)
     #184: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q63(x1,x2,x3,x4,x5,a(x6),x3)
     #185: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
     #186: #a(l(x)) -> #l(a(a(x)))
     #187: #a(l(x)) -> #a(a(x))
     #188: #a(l(x)) -> #a(x)
     #189: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #Q54(x1,x2,x3,x4,a(x5),x4)
     #190: #a(P(x1,x2,x3,x4,x5,0(),0())) -> #a(x5)
     #191: #P(x1,x2,x3,S(x4),0(),0(),S(y)) -> #o(J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),y)))
     #192: #P(x1,x2,x3,S(x4),0(),0(),S(y)) -> #J4(x1,x2,x3,x4,P(x1,x2,x3,S(x4),0(),0(),y))
     #193: #P(x1,x2,x3,S(x4),0(),0(),S(y)) -> #P(x1,x2,x3,S(x4),0(),0(),y)
     #194: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,x2,x3,x4,l(x5),x6,x7)
     #195: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x5)
     #196: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #P(x1,x2,x3,l(x4),x5,x6,x7)
     #197: #a(P(x1,x2,x3,x4,x5,x6,x7)) -> #l(x4)
     #198: #P(o(x1),x2,x3,x4,x5,x6,x7) -> #o(P(x1,x2,x3,x4,x5,x6,x7))
     #199: #P(o(x1),x2,x3,x4,x5,x6,x7) -> #P(x1,x2,x3,x4,x5,x6,x7)
     #200: #Q33(x1,x2,o(x3),y) -> #o(P(x1,x2,x3,0(),0(),0(),y))
     #201: #Q33(x1,x2,o(x3),y) -> #P(x1,x2,x3,0(),0(),0(),y)
     #202: #J3(x1,x2,l(x3),y) -> #P(x1,x2,J3(x1,x2,x3,y),0(),0(),0(),0())
     #203: #J3(x1,x2,l(x3),y) -> #J3(x1,x2,x3,y)
     #204: #Q43(x1,x2,x3,o(x4),y) -> #o(P(x1,x2,x3,x4,0(),0(),y))
     #205: #Q43(x1,x2,x3,o(x4),y) -> #P(x1,x2,x3,x4,0(),0(),y)
     #206: #a(P(x1,x2,0(),0(),0(),0(),0())) -> #Q21(x1,a(x2),x1)
     #207: #a(P(x1,x2,0(),0(),0(),0(),0())) -> #a(x2)
     #208: #J5(x1,x2,x3,x4,l(x5),y) -> #P(x1,x2,x3,x4,J5(x1,x2,x3,x4,x5,y),0(),0())
     #209: #J5(x1,x2,x3,x4,l(x5),y) -> #J5(x1,x2,x3,x4,x5,y)
     #210: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #Q66(x1,x2,x3,x4,x5,a(x6),x6)
     #211: #a(P(x1,x2,x3,x4,x5,x6,0())) -> #a(x6)
Number of SCCs: 1, DPs: 208
  SCC { #1..52 #54..142 #144..156 #158..211 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.