YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 48, 51, 52, 60, 62, 63, 64 using the following rank functions:
    - Rank function 1:
      RF for loc. 16: 2-3*arg4+3*arg8
      RF for loc. 17: 3*arg10-3*arg3
      RF for loc. 26: 1-3*arg4+3*arg8
      RF for loc. 30: 3*arg10-3*arg3
      Bound for (chained) transitions 51: 4
      Bound for (chained) transitions 52: 4
    - Rank function 2:
      RF for loc. 16: 1
      RF for loc. 17: 2+2*arg4+arg5
      RF for loc. 26: 0
      RF for loc. 30: 2*arg4+arg5
      Bound for (chained) transitions 62: 4
      Bound for (chained) transitions 63: 5
      Bound for (chained) transitions 64: 3
    - Rank function 3:
      RF for loc. 16: 1
      RF for loc. 17: 0
      RF for loc. 26: 0
      RF for loc. 30: -1
      Bound for (chained) transitions 48: 1
      Bound for (chained) transitions 60: 0
 * Removed transitions 19, 24, 25, 26, 27, 28, 29, 47 using the following rank functions:
    - Rank function 1:
      RF for loc. 14: 2*arg4
      RF for loc. 15: 1+2*arg9
      RF for loc. 22: -1+2*arg4
      Bound for (chained) transitions 24: -1
      Bound for (chained) transitions 25: -1
      Bound for (chained) transitions 26: -1
      Bound for (chained) transitions 27: -1
      Bound for (chained) transitions 28: -1
      Bound for (chained) transitions 29: -1
      Bound for (chained) transitions 47: 1
    - Rank function 2:
      RF for loc. 14: 0
      RF for loc. 22: -1
      Bound for (chained) transitions 19: 0
 * Removed transitions 12, 15, 16 using the following rank functions:
    - Rank function 1:
      RF for loc. 13: 1+arg3-arg4
      RF for loc. 18: arg3-arg4
      Bound for (chained) transitions 15: 2
    - Rank function 2:
      RF for loc. 13: 1+arg3-arg4
      RF for loc. 18: arg3-arg4
      Bound for (chained) transitions 16: 2
    - Rank function 3:
      RF for loc. 13: 0
      RF for loc. 18: -1
      Bound for (chained) transitions 12: 0
Errors: