YES


Termination: (Ranking Functions Found)
------------
f671_0_main_LT: < < arg5 -arg6 >, < 9 -arg3, arg4 > >


method 1