YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 13, 15, 16, 21, 22, 24, 25, 28, 29, 31, 32, 35, 36, 38, 39, 42, 43, 45, 46 using the following rank functions:
    - Rank function 1:
      RF for loc. 10: -9*arg2+9*arg5
      RF for loc. 11: -9*arg2+9*arg6
      RF for loc. 12: -9*arg2+9*arg8
      RF for loc. 13: -9*arg2+9*arg9
      RF for loc. 14: 1-9*arg2+9*arg3
      RF for loc. 18: -9*arg2+9*arg5
      RF for loc. 22: -9*arg2+9*arg6
      RF for loc. 26: -9*arg2+9*arg8
      RF for loc. 30: -9*arg2+9*arg9
      Bound for (chained) transitions 15: 10
      Bound for (chained) transitions 16: 10
    - Rank function 2:
      RF for loc. 10: 0
      RF for loc. 11: 0
      RF for loc. 12: 0
      RF for loc. 13: 0
      RF for loc. 14: -1
      RF for loc. 18: 0
      RF for loc. 22: 0
      RF for loc. 26: 0
      RF for loc. 30: 0
      Bound for (chained) transitions 13, 21: 0
    - Rank function 3:
      RF for loc. 10: 2-13*arg3+13*arg4
      RF for loc. 11: 13*arg3-13*arg4
      RF for loc. 12: 13*arg3-13*arg4
      RF for loc. 13: 13*arg3-13*arg4
      RF for loc. 18: 1-13*arg3+13*arg4
      RF for loc. 22: 13*arg3-13*arg4
      RF for loc. 26: 13*arg3-13*arg4
      RF for loc. 30: 13*arg3-13*arg4
      Bound for (chained) transitions 25: 14
    - Rank function 4:
      RF for loc. 10: 2-7*arg3+7*arg4
      RF for loc. 11: 7*arg3-7*arg4
      RF for loc. 12: 7*arg3-7*arg4
      RF for loc. 13: 7*arg3-7*arg4
      RF for loc. 18: 1-7*arg3+7*arg4
      RF for loc. 22: 7*arg3-7*arg4
      RF for loc. 26: 7*arg3-7*arg4
      RF for loc. 30: 7*arg3-7*arg4
      Bound for (chained) transitions 24: 8
    - Rank function 5:
      RF for loc. 10: -1
      RF for loc. 11: 0
      RF for loc. 12: 0
      RF for loc. 13: 0
      RF for loc. 18: -2
      RF for loc. 22: 0
      RF for loc. 26: 0
      RF for loc. 30: 0
      Bound for (chained) transitions 22: -1
      Bound for (chained) transitions 28: 0
    - Rank function 6:
      RF for loc. 11: 2+3*arg5
      RF for loc. 12: 3*arg5
      RF for loc. 13: 3*arg5
      RF for loc. 22: 2+3*arg5
      RF for loc. 26: 3*arg5
      RF for loc. 30: 3*arg5
      Bound for (chained) transitions 31: 2
    - Rank function 7:
      RF for loc. 11: 2+3*arg5
      RF for loc. 12: 3*arg5
      RF for loc. 13: 3*arg5
      RF for loc. 22: 1+3*arg5
      RF for loc. 26: 3*arg5
      RF for loc. 30: 3*arg5
      Bound for (chained) transitions 32: 1
    - Rank function 8:
      RF for loc. 11: -1
      RF for loc. 12: 0
      RF for loc. 13: 0
      RF for loc. 22: -2
      RF for loc. 26: 0
      RF for loc. 30: 0
      Bound for (chained) transitions 29: -1
      Bound for (chained) transitions 35: 0
    - Rank function 9:
      RF for loc. 12: 2-3*arg6+3*arg7
      RF for loc. 13: 3*arg6-3*arg7
      RF for loc. 26: 1-3*arg6+3*arg7
      RF for loc. 30: 3*arg6-3*arg7
      Bound for (chained) transitions 38: 4
    - Rank function 10:
      RF for loc. 12: 2-3*arg6+3*arg7
      RF for loc. 13: 3*arg6-3*arg7
      RF for loc. 26: 1-3*arg6+3*arg7
      RF for loc. 30: 3*arg6-3*arg7
      Bound for (chained) transitions 39: 4
    - Rank function 11:
      RF for loc. 12: -1
      RF for loc. 13: 0
      RF for loc. 26: -2
      RF for loc. 30: 0
      Bound for (chained) transitions 36: -1
      Bound for (chained) transitions 42: 0
    - Rank function 12:
      RF for loc. 13: 1+2*arg8
      RF for loc. 30: 2*arg8
      Bound for (chained) transitions 45: 0
      Bound for (chained) transitions 46: 0
    - Rank function 13:
      RF for loc. 13: 0
      RF for loc. 30: -1
      Bound for (chained) transitions 43: 0
Errors: