YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 73, 92, 113, 115, 116 using the following rank functions:
    - Rank function 1:
      RF for loc. 40: -1+2*x0_0-2*x1_0
      RF for loc. 72: 2*x0_0-2*x1_0
      Bound for (chained) transitions 73, 92, 113: -1
    - Rank function 2:
      RF for loc. 40: 0
      RF for loc. 72: 1
      Bound for (chained) transitions 115: 1
    - Rank function 3:
      RF for loc. 40: -1
      RF for loc. 72: 0
      Bound for (chained) transitions 116: 0
 * Removed transitions 103, 104, 105, 107, 108 using the following rank functions:
    - Rank function 1:
      RF for loc. 51: -1+2*x0_0-2*x1_0
      RF for loc. 68: 2*x0_0-2*x1_0
      Bound for (chained) transitions 103, 104, 105: -1
    - Rank function 2:
      RF for loc. 51: -1
      RF for loc. 68: 0
      Bound for (chained) transitions 108: 0
    - Rank function 3:
      RF for loc. 51: -1
      RF for loc. 68: 0
      Bound for (chained) transitions 107: 0
 * Removed transitions 93, 94, 95, 97, 98 using the following rank functions:
    - Rank function 1:
      RF for loc. 48: -1-2*x0_0+2*x1_0
      RF for loc. 64: -2*x0_0+2*x1_0
      Bound for (chained) transitions 93, 94, 95: -1
    - Rank function 2:
      RF for loc. 48: -1
      RF for loc. 64: 0
      Bound for (chained) transitions 97: 0
    - Rank function 3:
      RF for loc. 48: -1
      RF for loc. 64: 0
      Bound for (chained) transitions 98: 0
 * Removed transitions 82, 83, 84, 86, 87 using the following rank functions:
    - Rank function 1:
      RF for loc. 45: -1-2*x0_0+2*x1_0
      RF for loc. 60: -2*x0_0+2*x1_0
      Bound for (chained) transitions 82, 83, 84: -1
    - Rank function 2:
      RF for loc. 45: -1
      RF for loc. 60: 0
      Bound for (chained) transitions 86: 0
    - Rank function 3:
      RF for loc. 45: -1
      RF for loc. 60: 0
      Bound for (chained) transitions 87: 0
 * Removed transitions 74, 76, 78, 79 using the following rank functions:
    - Rank function 1:
      RF for loc. 41: -1+2*x0_0-2*x1_0
      RF for loc. 56: 2*x0_0-2*x1_0
      Bound for (chained) transitions 78: 2
      Bound for (chained) transitions 79: 2
    - Rank function 2:
      RF for loc. 41: 1
      RF for loc. 56: 0
      Bound for (chained) transitions 74, 76: 1
 * Removed transitions 63, 64, 65, 67, 68 using the following rank functions:
    - Rank function 1:
      RF for loc. 37: -1-2*x0_0+2*x1_0
      RF for loc. 52: -2*x0_0+2*x1_0
      Bound for (chained) transitions 63, 64, 65: -1
    - Rank function 2:
      RF for loc. 37: 0
      RF for loc. 52: 1
      Bound for (chained) transitions 67: 1
      Bound for (chained) transitions 68: 1
Errors: