YES


Termination: (Ranking Functions Found)
------------
l38: < < -i_33_0 + length_32_0 > >
l44: < < -i_33_0 + length_32_0 > >
n_l0___1: < < a_347_0 > >
n_l39___1: < < a_210_0 > >


method 1