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