YES


Termination: (Ranking Functions Found)
------------
f458_0_sort_GE: < < 99 - arg1 > >
f543_0_sort_GE: < < 98 - arg1 >, < 98 - arg2 >, < 99 - arg1 - arg2 > >