YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 81, 84, 85, 93, 95, 96, 97 using the following rank functions:
    - Rank function 1:
      RF for loc. 22: 2-3*arg4+3*arg8
      RF for loc. 23: 3*arg10-3*arg3
      RF for loc. 40: -3*arg4+3*arg8
      RF for loc. 44: 3*arg10-3*arg3
      Bound for (chained) transitions 85: 3
    - Rank function 2:
      RF for loc. 22: 2-3*arg4+3*arg8
      RF for loc. 23: 3*arg10-3*arg3
      RF for loc. 40: 1-3*arg4+3*arg8
      RF for loc. 44: 3*arg10-3*arg3
      Bound for (chained) transitions 84: 4
    - Rank function 3:
      RF for loc. 22: 0
      RF for loc. 23: 2*arg4+arg6
      RF for loc. 40: -1
      RF for loc. 44: -1+2*arg4+arg6
      Bound for (chained) transitions 81: 0
      Bound for (chained) transitions 95: 1
      Bound for (chained) transitions 96: 2
      Bound for (chained) transitions 97: 0
    - Rank function 4:
      RF for loc. 23: 0
      RF for loc. 44: -1
      Bound for (chained) transitions 93: 0
 * Removed transitions 61, 66, 67, 68, 69, 70, 71, 80 using the following rank functions:
    - Rank function 1:
      RF for loc. 17: 2*arg4
      RF for loc. 18: 1+2*arg10
      RF for loc. 36: -1+2*arg4
      Bound for (chained) transitions 66: -1
      Bound for (chained) transitions 67: -1
      Bound for (chained) transitions 68: -1
      Bound for (chained) transitions 70: -1
      Bound for (chained) transitions 71: -1
      Bound for (chained) transitions 80: 1
    - Rank function 2:
      RF for loc. 17: 2*arg4
      RF for loc. 36: -1+2*arg4
      Bound for (chained) transitions 69: -1
    - Rank function 3:
      RF for loc. 17: 1
      RF for loc. 36: 0
      Bound for (chained) transitions 61: 1
 * Removed transitions 26, 29, 30 using the following rank functions:
    - Rank function 1:
      RF for loc. 16: 1+arg3-arg4
      RF for loc. 24: arg3-arg4
      Bound for (chained) transitions 29: 2
    - Rank function 2:
      RF for loc. 16: arg3-arg4
      RF for loc. 24: -1+arg3-arg4
      Bound for (chained) transitions 30: 1
    - Rank function 3:
      RF for loc. 16: 1
      RF for loc. 24: 0
      Bound for (chained) transitions 26: 1
 * Removed transitions 36, 38, 39, 44, 46, 49, 50, 51, 52, 59 using the following rank functions:
    - Rank function 1:
      RF for loc. 20: -2*arg2+2*arg5
      RF for loc. 21: -2*arg2-arg4+2*arg6
      RF for loc. 28: 1-2*arg2+2*arg3
      RF for loc. 32: -2*arg2+2*arg5
      Bound for (chained) transitions 38: 3
      Bound for (chained) transitions 39: 3
      Bound for (chained) transitions 50: 2
    - Rank function 2:
      RF for loc. 20: 3*arg3
      RF for loc. 21: -4+3*arg3
      RF for loc. 28: -arg1P
      RF for loc. 32: -2+3*arg3
      Bound for (chained) transitions 36, 44: 0
      Bound for (chained) transitions 49: -2
      Bound for (chained) transitions 51: -2
      Bound for (chained) transitions 52: -2
      Bound for (chained) transitions 59: 5
    - Rank function 3:
      RF for loc. 20: 1
      RF for loc. 32: 0
      Bound for (chained) transitions 46: 1
Errors: