YES


Termination: (Ranking Functions Found)
------------
n_n_n_l16___21___3___2: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l16___21___3___7: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l16___21___9___4: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l16___21___9___9: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l18___22___10___10: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l18___22___10___5: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l18___22___7___3: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l18___22___7___8: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l19___15___12___11: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l19___19___2___1: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >
n_n_n_l19___19___2___6: < < -ni_0 >, < -nj_0 >, < 1 -nj_0 > >


method 4