YES


Termination: (Ranking Functions Found)
------------
l24: < < -i_27_0 + length_26_0 > >
l30: < < -i_27_0 + length_26_0 > >
n_l2___1: < < a_139_0 > >


method 1