YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 106, 108, 109, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121 using the following rank functions:
    - Rank function 1:
      RF for loc. 89: -3+6*a_358_0
      RF for loc. 90: -4+6*a_358_0
      RF for loc. 91: 1+6*a_388_0
      RF for loc. 92: 1+6*a_388_0
      RF for loc. 93: 6*a_388_0
      RF for loc. 94: -1+6*a_388_0
      RF for loc. 103: -2+6*a_358_0
      Bound for (chained) transitions 109: -2
    - Rank function 2:
      RF for loc. 89: -3+7*a_358_0
      RF for loc. 90: -4+7*a_358_0
      RF for loc. 91: 2+7*a_388_0
      RF for loc. 92: 1+7*a_388_0
      RF for loc. 93: 7*a_388_0
      RF for loc. 94: -1+7*a_388_0
      RF for loc. 103: -2+7*a_358_0
      Bound for (chained) transitions 108: -2
    - Rank function 3:
      RF for loc. 89: 4
      RF for loc. 90: 3
      RF for loc. 91: 2
      RF for loc. 92: 1
      RF for loc. 93: 0
      RF for loc. 94: -1
      RF for loc. 103: -2
      Bound for (chained) transitions 106, 121: -1
      Bound for (chained) transitions 112: 4
      Bound for (chained) transitions 113: 4
      Bound for (chained) transitions 114: 3
      Bound for (chained) transitions 115: 2
      Bound for (chained) transitions 116: 2
      Bound for (chained) transitions 117: 1
      Bound for (chained) transitions 118: 1
      Bound for (chained) transitions 119: 0
      Bound for (chained) transitions 120: 0
 * Removed transitions 80, 82, 83, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97 using the following rank functions:
    - Rank function 1:
      RF for loc. 80: -3+8*a_220_0
      RF for loc. 81: -4+8*a_220_0
      RF for loc. 82: 3+8*a_276_0
      RF for loc. 83: 2+8*a_276_0
      RF for loc. 84: 1+8*a_276_0
      RF for loc. 85: 8*a_276_0
      RF for loc. 86: -1+8*a_276_0
      RF for loc. 95: -2+8*a_220_0
      Bound for (chained) transitions 83: -2
    - Rank function 2:
      RF for loc. 80: -3+7*a_220_0
      RF for loc. 81: -4+7*a_220_0
      RF for loc. 82: 2+7*a_276_0
      RF for loc. 83: 1+7*a_276_0
      RF for loc. 84: 1+7*a_276_0
      RF for loc. 85: 7*a_276_0
      RF for loc. 86: -1+7*a_276_0
      RF for loc. 95: -2+7*a_220_0
      Bound for (chained) transitions 82: -2
    - Rank function 3:
      RF for loc. 80: 5
      RF for loc. 81: 4
      RF for loc. 82: 3
      RF for loc. 83: 2
      RF for loc. 84: 1
      RF for loc. 85: 0
      RF for loc. 86: -1
      RF for loc. 95: -2
      Bound for (chained) transitions 80, 97: -1
      Bound for (chained) transitions 86: 5
      Bound for (chained) transitions 87: 5
      Bound for (chained) transitions 88: 4
      Bound for (chained) transitions 89: 3
      Bound for (chained) transitions 90: 3
      Bound for (chained) transitions 91: 2
      Bound for (chained) transitions 92: 2
      Bound for (chained) transitions 93: 1
      Bound for (chained) transitions 94: 1
      Bound for (chained) transitions 95: 0
      Bound for (chained) transitions 96: 0
 * Removed transitions 99, 101, 102 using the following rank functions:
    - Rank function 1:
      RF for loc. 87: 1-2*i_33_0+2*length_32_0
      RF for loc. 99: -2*i_33_0+2*length_32_0
      Bound for (chained) transitions 101: 2
      Bound for (chained) transitions 102: 2
    - Rank function 2:
      RF for loc. 87: 0
      RF for loc. 99: -1
      Bound for (chained) transitions 99: 0
Errors: