YES


Termination: (Ranking Functions Found)
------------
n_f306_0_main_LE___1: < < arg3 > >
n_f306_0_main_LE___2: < < arg3 > >
n_f306_0_main_LE___3: < < -arg1 + arg2 > >
n_f306_0_main_LE___4: < < arg3 > >


method 1