YES


Termination: (Ranking Functions Found)
------------
f671_0_main_LT: < < 9 - arg2, arg4 + 8 * arg5 -8 * arg6 >, < arg5 - arg6 > >