YES


Termination: (Ranking Functions Found)
------------
l0: < < N_0 -i_0 > >
l1: < < N_0 -i_0 > >
l4: < < N6_0 -j7_0 > >
l6: < < N6_0 -j7_0 > >
n_n_l10___2___1: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l10___2___10: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l10___2___3: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l10___2___6: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l10___5___14: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l7___4___12: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l7___4___13: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l7___4___8: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l7___4___9: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l7___7___5: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l8___3___11: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l8___3___2: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l8___3___4: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >
n_n_l8___3___7: < < N6_0 -j7_0 >, < N6_0 -j7_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -i8_0 >, < N6_0 -min9_0 > >


method 1