YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 113 using the following rank functions:
    - Rank function 1:
      RF for loc. 45: -3-17*i_0
      RF for loc. 46: -3-17*i_0
      RF for loc. 47: -3-17*i_0
      RF for loc. 48: -3-17*i_0
      RF for loc. 49: -3-17*i_0
      RF for loc. 50: -3-17*i_0
      RF for loc. 51: -3-17*i_0
      RF for loc. 52: -3-17*i_0
      RF for loc. 53: -17*i_0
      RF for loc. 54: -17*i_0
      RF for loc. 55: -3-17*i_0
      RF for loc. 56: -3-17*i_0
      RF for loc. 57: -3-17*i_0
      RF for loc. 58: -3-17*i_0
      RF for loc. 59: -3-17*i_0
      RF for loc. 60: -3-17*i_0
      RF for loc. 61: -3-17*i_0
      RF for loc. 62: -3-17*i_0
      RF for loc. 63: -3-17*i_0
      RF for loc. 64: -3-17*i_0
      RF for loc. 65: -3-17*i_0
      RF for loc. 66: -3-17*i_0
      RF for loc. 67: -3-17*i_0
      RF for loc. 68: -3-17*i_0
      RF for loc. 69: -3-17*i_0
      RF for loc. 70: -3-17*i_0
      RF for loc. 71: -14-17*i_0
      RF for loc. 72: -14-17*i_0
      RF for loc. 73: -2-17*i_0
      RF for loc. 74: -1-17*i_0
      RF for loc. 75: -17*i_0
      RF for loc. 76: -17*i_0
      RF for loc. 79: 1-17*i_0
      RF for loc. 85: -17*i_0
      RF for loc. 89: -3-17*i_0
      RF for loc. 93: -3-17*i_0
      RF for loc. 97: -3-17*i_0
      RF for loc. 101: -3-17*i_0
      RF for loc. 105: -3-17*i_0
      RF for loc. 109: -3-17*i_0
      RF for loc. 113: -14-17*i_0
      RF for loc. 129: 2-17*i_0
      RF for loc. 133: -17*i_0
      Bound for (chained) transitions 113: -53
 * Removed transitions 145, 179, 181, 182 using the following rank functions:
    - Rank function 1:
      RF for loc. 77: -1-2*ip_0+2*n_0
      RF for loc. 125: -2*ip_0+2*n_0
      Bound for (chained) transitions 145, 179: -1
    - Rank function 2:
      RF for loc. 77: 0
      RF for loc. 125: 1
      Bound for (chained) transitions 181: 1
      Bound for (chained) transitions 182: 1
 * Removed transitions 155, 156, 158, 159, 161, 162, 169, 171, 172 using the following rank functions:
    - Rank function 1:
      RF for loc. 81: -iq_0+n_0
      RF for loc. 83: -iq_0+n_0
      RF for loc. 84: -iq_0+n_0
      RF for loc. 117: -iq_0+n_0
      RF for loc. 121: -iq_0+n_0
      Bound for (chained) transitions 156: 0
    - Rank function 2:
      RF for loc. 81: -1-6*ip_0+6*n_0
      RF for loc. 83: 1-6*ip_0+6*n_0
      RF for loc. 84: 2-6*ip_0+6*n_0
      RF for loc. 117: 3-6*ip_0+6*n_0
      RF for loc. 121: -6*ip_0+6*n_0
      Bound for (chained) transitions 158: 2
    - Rank function 3:
      RF for loc. 81: -1
      RF for loc. 83: 1
      RF for loc. 84: -3
      RF for loc. 117: -2
      RF for loc. 121: 0
      Bound for (chained) transitions 155, 159: -1
      Bound for (chained) transitions 161: -2
      Bound for (chained) transitions 162: -2
      Bound for (chained) transitions 169: 1
      Bound for (chained) transitions 171: 0
      Bound for (chained) transitions 172: 0
Errors: