YES


Termination: (Ranking Functions Found)
------------
l1: < < i_8_0 - len_246_0 > >
l12: < < -1 - k_296_0 + length_7_0 > >
l10: < < __const_17_0 - i_8_0 > >
l0: < < -1 - i_8_0 + length_7_0 > >
l13: < < -1 - __patmp1_0 + i_8_0 > >
l19: < < -1 + i_8_0 - k_296_0 > >
l14: < < -1 + i_8_0 - len_246_0 > >
l20: < < i_8_0 - len_246_0 > >