YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 55, 56, 57, 58, 59, 84, 86, 87, 92, 94, 95, 100, 102, 103 using the following rank functions:
    - Rank function 1:
      RF for loc. 35: -k63_0
      RF for loc. 36: -k63_0
      RF for loc. 37: -k63_0
      RF for loc. 38: -k63_0
      RF for loc. 40: 1-k63_0
      RF for loc. 69: 2-k63_0
      RF for loc. 73: -k63_0
      RF for loc. 77: -k63_0
      Bound for (chained) transitions 59: -7
    - Rank function 2:
      RF for loc. 35: -5*i61_0
      RF for loc. 36: 4-5*i61_0
      RF for loc. 37: -5*i61_0
      RF for loc. 38: 2-5*i61_0
      RF for loc. 40: -5*i61_0
      RF for loc. 69: 1-5*i61_0
      RF for loc. 73: 3-5*i61_0
      RF for loc. 77: -5*i61_0
      Bound for (chained) transitions 58: -33
    - Rank function 3:
      RF for loc. 35: 1-3*j62_0
      RF for loc. 36: -3*j62_0
      RF for loc. 37: 3-3*j62_0
      RF for loc. 38: -1-3*j62_0
      RF for loc. 40: -3-3*j62_0
      RF for loc. 69: -2-3*j62_0
      RF for loc. 73: -1-3*j62_0
      RF for loc. 77: 2-3*j62_0
      Bound for (chained) transitions 56: -8
    - Rank function 4:
      RF for loc. 35: 1
      RF for loc. 36: 0
      RF for loc. 37: 3
      RF for loc. 38: -2
      RF for loc. 40: -4
      RF for loc. 69: -3
      RF for loc. 73: -1
      RF for loc. 77: 2
      Bound for (chained) transitions 55: 1
      Bound for (chained) transitions 57, 84: -2
      Bound for (chained) transitions 86: -3
      Bound for (chained) transitions 87: -3
      Bound for (chained) transitions 92: 0
      Bound for (chained) transitions 94: -1
      Bound for (chained) transitions 95: -1
      Bound for (chained) transitions 100: 3
      Bound for (chained) transitions 102: 2
      Bound for (chained) transitions 103: 2
 * Removed transitions 61, 64, 66, 67 using the following rank functions:
    - Rank function 1:
      RF for loc. 41: -1-2*j55_0+2*numbasis49_0
      RF for loc. 65: -2*j55_0+2*numbasis49_0
      Bound for (chained) transitions 61, 64: -1
    - Rank function 2:
      RF for loc. 41: -1
      RF for loc. 65: 0
      Bound for (chained) transitions 67: 0
    - Rank function 3:
      RF for loc. 41: 0
      RF for loc. 65: 1
      Bound for (chained) transitions 66: 1
 * Removed transitions 47, 49, 50, 63 using the following rank functions:
    - Rank function 1:
      RF for loc. 34: -1-2*n45_0
      RF for loc. 61: -2*n45_0
      Bound for (chained) transitions 47, 63: -99
    - Rank function 2:
      RF for loc. 34: 0
      RF for loc. 61: 1
      Bound for (chained) transitions 50: 1
    - Rank function 3:
      RF for loc. 34: 0
      RF for loc. 61: 1
      Bound for (chained) transitions 49: 1
 * Removed transitions 39, 41, 42, 73 using the following rank functions:
    - Rank function 1:
      RF for loc. 32: -1+2*i37_0
      RF for loc. 57: 2*i37_0
      Bound for (chained) transitions 39, 73: -1
    - Rank function 2:
      RF for loc. 32: 0
      RF for loc. 57: 1
      Bound for (chained) transitions 42: 1
    - Rank function 3:
      RF for loc. 32: 0
      RF for loc. 57: 1
      Bound for (chained) transitions 41: 1
 * Removed transitions 23, 25, 26, 31, 33, 34, 74, 75, 77 using the following rank functions:
    - Rank function 1:
      RF for loc. 28: -3*j26_0
      RF for loc. 29: -2-3*j26_0
      RF for loc. 30: -2-3*j26_0
      RF for loc. 49: 2-3*j26_0
      RF for loc. 53: -2-3*j26_0
      Bound for (chained) transitions 77: -297
    - Rank function 2:
      RF for loc. 28: -2-3*i25_0
      RF for loc. 29: 4-3*i25_0
      RF for loc. 30: -3*i25_0
      RF for loc. 49: -1-3*i25_0
      RF for loc. 53: 2-3*i25_0
      Bound for (chained) transitions 75: -93
    - Rank function 3:
      RF for loc. 28: -3
      RF for loc. 29: 1
      RF for loc. 30: -1
      RF for loc. 49: -2
      RF for loc. 53: 0
      Bound for (chained) transitions 23, 74: -1
      Bound for (chained) transitions 25: -2
      Bound for (chained) transitions 26: -2
      Bound for (chained) transitions 31: 1
      Bound for (chained) transitions 33: 0
      Bound for (chained) transitions 34: 0
 * Removed transitions 78, 79, 81, 116, 118, 119, 124, 126, 127 using the following rank functions:
    - Rank function 1:
      RF for loc. 43: -3*i19_0
      RF for loc. 45: -3*i19_0
      RF for loc. 46: 1-3*i19_0
      RF for loc. 85: 2-3*i19_0
      RF for loc. 89: -3*i19_0
      Bound for (chained) transitions 81: -146
    - Rank function 2:
      RF for loc. 43: -1-3*j20_0
      RF for loc. 45: 1-3*j20_0
      RF for loc. 46: -3-3*j20_0
      RF for loc. 85: -2-3*j20_0
      RF for loc. 89: -3*j20_0
      Bound for (chained) transitions 79: -148
    - Rank function 3:
      RF for loc. 43: -1
      RF for loc. 45: 1
      RF for loc. 46: -3
      RF for loc. 85: -2
      RF for loc. 89: 0
      Bound for (chained) transitions 78, 116: -1
      Bound for (chained) transitions 118: -2
      Bound for (chained) transitions 119: -2
      Bound for (chained) transitions 124: 1
      Bound for (chained) transitions 126: 0
      Bound for (chained) transitions 127: 0
 * Removed transitions 83, 108, 110, 111 using the following rank functions:
    - Rank function 1:
      RF for loc. 47: -1-2*i13_0
      RF for loc. 81: -2*i13_0
      Bound for (chained) transitions 83, 108: -299
    - Rank function 2:
      RF for loc. 47: -1
      RF for loc. 81: 0
      Bound for (chained) transitions 111: 0
    - Rank function 3:
      RF for loc. 47: -1
      RF for loc. 81: 0
      Bound for (chained) transitions 110: 0
Errors: