YES


Termination: (Ranking Functions Found)
------------
f375_0_dif_GE: < < 19 - arg2 > >
f484_0_dif_GE: < < 18 - arg2 >, < 19 - arg5 >, < 19 - arg5 >, < - arg3 > >