YES


Termination: (Ranking Functions Found)
------------
f262_0_take_GE: < < - arg3 + arg5 > >