YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 21, 62, 64, 65 using the following rank functions:
    - Rank function 1:
      RF for loc. 19: 2*___const_50_0+-1-2*i_0
      RF for loc. 49: 2*___const_50_0-2*i_0
      Bound for (chained) transitions 21, 62: 1
    - Rank function 2:
      RF for loc. 19: 0
      RF for loc. 49: 1
      Bound for (chained) transitions 64: 1
      Bound for (chained) transitions 65: 1
 * Removed transitions 31, 52, 54, 55 using the following rank functions:
    - Rank function 1:
      RF for loc. 23: 2*___const_50_0+-1-2*i13_0
      RF for loc. 45: 2*___const_50_0-2*i13_0
      Bound for (chained) transitions 31, 52: 1
    - Rank function 2:
      RF for loc. 23: -1
      RF for loc. 45: 0
      Bound for (chained) transitions 54: 0
      Bound for (chained) transitions 55: 0
 * Removed transitions 41, 42, 44, 45 using the following rank functions:
    - Rank function 1:
      RF for loc. 27: 2*___const_50_0+-1-2*i11_0
      RF for loc. 41: 2*___const_50_0-2*i11_0
      Bound for (chained) transitions 41, 42: 1
    - Rank function 2:
      RF for loc. 27: -1
      RF for loc. 41: 0
      Bound for (chained) transitions 44: 0
      Bound for (chained) transitions 45: 0
 * Removed transitions 32, 34, 35, 51 using the following rank functions:
    - Rank function 1:
      RF for loc. 26: 2*___const_50_0+-1-2*i_0
      RF for loc. 37: 2*___const_50_0-2*i_0
      Bound for (chained) transitions 32, 51: 1
    - Rank function 2:
      RF for loc. 26: -1
      RF for loc. 37: 0
      Bound for (chained) transitions 34: 0
      Bound for (chained) transitions 35: 0
 * Removed transitions 22, 24, 25, 61 using the following rank functions:
    - Rank function 1:
      RF for loc. 22: 2*___const_50_0+-1-2*i9_0
      RF for loc. 33: 2*___const_50_0-2*i9_0
      Bound for (chained) transitions 22, 61: 1
    - Rank function 2:
      RF for loc. 22: -1
      RF for loc. 33: 0
      Bound for (chained) transitions 24: 0
      Bound for (chained) transitions 25: 0
 * Removed transitions 13, 15, 16, 71 using the following rank functions:
    - Rank function 1:
      RF for loc. 18: 2*___const_50_0+-1-2*i7_0
      RF for loc. 29: 2*___const_50_0-2*i7_0
      Bound for (chained) transitions 13, 71: 1
    - Rank function 2:
      RF for loc. 18: -1
      RF for loc. 29: 0
      Bound for (chained) transitions 15: 0
      Bound for (chained) transitions 16: 0
Errors: