YES


Termination: (Ranking Functions Found)
------------
l38: < < -i_30_0 + length_29_0 > >
l65: < < -i_30_0 + length_29_0 > >
n_l0___1: < < a_237_0 > >
n_l41___1: < < a_147_0 > >


method 1