YES


Termination: (Ranking Functions Found)
------------
f252_0_main_LE: < < arg2 >, < arg1 > >
n_f252_0_main_LE___6: < < arg2 > >
f213_0_main_GT: < < arg2 >, < arg1 > >
n_f252_0_main_LE___3: < < arg1 > >
n_f213_0_main_GT___4: < < arg2 > >
n_f213_0_main_GT___1: < < arg1 > >
n_f252_0_main_LE___5: < < arg1 > >
n_f213_0_main_GT___2: < < arg1 > >