YES


Termination: (Ranking Functions Found)
------------
l6: < < nDim_0 -ni_0 > >
l7: < < nDim_0 -ni_0 > >
n_l11___3: < < nDim_0 -ni_0 > >
n_l12___4: < < nDim_0 -ni_0 > >
n_l13___1: < < nDim_0 -ni_0 > >
n_l13___5: < < nDim_0 -ni_0 > >
n_l14___10: < < nDim_0 -ni_0 > >
n_l14___5: < < nDim_0 -ni_0 > >
n_l26___2: < < nDim_0 -ni_0 > >
n_l27___3: < < nDim_0 -ni_0 > >
n_l28___4: < < nDim_0 -ni_0 > >
n_l28___7: < < nDim_0 -ni_0 > >
n_l9___6: < < nDim_0 -ni_0 > >
n_l9___8: < < nDim_0 -ni_0 > >
n_n_l18___17___3: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l18___17___5: < < nDim_0 -nj_0 > >
n_n_l18___17___6: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l18___8___10: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l18___8___3: < < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l18___8___7: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l22___16___5: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l22___1___1: < < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l22___1___4: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l22___1___8: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l24___14___1: < < nDim_0 -nj_0 > >
n_n_l24___14___2: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l24___14___4: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l24___7___2: < < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l24___7___6: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l24___7___9: < < nDim_0 -ni_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 >, < nDim_0 -nj_0 > >
n_n_l9___6___1: < < nDim_0 -ni_0 >, < nDim_0 -ni_0 > >
n_n_l9___6___2: < < nDim_0 -ni_0 >, < nDim_0 -ni_0 > >
n_scc_init: < < nDim_0 -ni_0 >, < nDim_0 -ni_0 > >


method 1