YES
Termination proof succeeded
Used the following cutpoint-specific lexicographic rank functions:
* For cutpoint 58, used the following rank functions/bounds (in descending priority order):
- RF x_13_0, bound 1
* For cutpoint 61, used the following rank functions/bounds (in descending priority order):
- RF y_15_0, bound 1
* For cutpoint 76, used the following rank functions/bounds (in descending priority order):
- RF x_13_0, bound 1
Errors: