YES


Termination: (Ranking Functions Found)
------------
l24: < < -i_27_0 + length_26_0 > >
l30: < < -i_27_0 + length_26_0 > >
n_l2___2: < < a_139_0 > >
n_l2___6: < < a_139_0 > >
n_l5___1: < < a_139_0 > >
n_l5___5: < < a_139_0 > >
n_l7___10: < < a_139_0 > >
n_l7___9: < < a_139_0 > >
n_l8___3: < < a_139_0 > >
n_l8___4: < < a_139_0 > >
n_l8___7: < < a_139_0 > >
n_l8___8: < < a_139_0 > >
n_n_l2___2___2: < < a_139_0 > >
n_n_l2___2___5: < < a_139_0 > >
n_n_l2___6___2: < < a_139_0 > >
n_n_l2___6___5: < < a_139_0 > >
n_n_l7___10___3: < < a_139_0 > >
n_n_l7___10___4: < < a_139_0 > >
n_n_l7___9___3: < < a_139_0 > >
n_n_l7___9___4: < < a_139_0 > >
n_n_l8___4___1: < < a_139_0 > >
n_n_l8___8___1: < < a_139_0 > >
n_scc_init: < < a_139_0 >, < a_139_0 > >


method 1