YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 32, 35, 36, 37, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57 using the following rank functions:
    - Rank function 1:
      RF for loc. 26: 4*arg3
      RF for loc. 27: -2+4*arg1
      RF for loc. 28: -1+4*arg1
      RF for loc. 29: -3+4*arg1
      RF for loc. 30: -2+4*arg1
      RF for loc. 33: -1+4*arg3
      Bound for (chained) transitions 35: 3
      Bound for (chained) transitions 48: 2
      Bound for (chained) transitions 49: 2
      Bound for (chained) transitions 54: 3
      Bound for (chained) transitions 55: 3
    - Rank function 2:
      RF for loc. 26: arg3+3*arg4-3*arg5
      RF for loc. 27: arg1+3*arg5-3*arg6
      RF for loc. 28: 1+arg1+3*arg5-3*arg6
      RF for loc. 29: arg1+3*arg4-3*arg5
      RF for loc. 30: arg1+3*arg4-3*arg5
      RF for loc. 33: -1+arg3+3*arg4-3*arg5
      Bound for (chained) transitions 36: 3
      Bound for (chained) transitions 37: 3
    - Rank function 3:
      RF for loc. 26: 0
      RF for loc. 27: -3+2*arg3
      RF for loc. 28: 2*arg3
      RF for loc. 29: arg3
      RF for loc. 30: arg2
      RF for loc. 33: -1
      Bound for (chained) transitions 32: 0
      Bound for (chained) transitions 47: 3
      Bound for (chained) transitions 50: 2
      Bound for (chained) transitions 51: 2
      Bound for (chained) transitions 52: 2
      Bound for (chained) transitions 53: 6
      Bound for (chained) transitions 56: 1
      Bound for (chained) transitions 57: 2
 * Removed transitions 84, 87, 88, 89, 90, 91, 92, 108 using the following rank functions:
    - Rank function 1:
      RF for loc. 31: -1+2*arg1
      RF for loc. 32: 2*arg3
      RF for loc. 41: -2+2*arg1
      Bound for (chained) transitions 87: 0
      Bound for (chained) transitions 88: 2
      Bound for (chained) transitions 89: 8
      Bound for (chained) transitions 90: 8
      Bound for (chained) transitions 91: 8
      Bound for (chained) transitions 92: 6
      Bound for (chained) transitions 108: 0
    - Rank function 2:
      RF for loc. 31: 1
      RF for loc. 41: 0
      Bound for (chained) transitions 84: 1
 * Removed transitions 58, 63, 64, 65, 66, 67, 83 using the following rank functions:
    - Rank function 1:
      RF for loc. 24: -2+3*arg3+3*arg4
      RF for loc. 25: 3*arg3+3*arg6
      RF for loc. 37: -4+3*arg3+3*arg4
      Bound for (chained) transitions 63: 2
      Bound for (chained) transitions 64: 11
      Bound for (chained) transitions 66: 11
      Bound for (chained) transitions 67: 8
      Bound for (chained) transitions 83: 0
    - Rank function 2:
      RF for loc. 24: 2
      RF for loc. 25: 0
      RF for loc. 37: 1
      Bound for (chained) transitions 58: 2
      Bound for (chained) transitions 65: 1
Errors: