YES


Termination: (Ranking Functions Found)
------------
n_l15___1: < < 999 -i_0 > >
n_l1___3: < < 999 -i_0 > >
n_l2___2: < < 999 -i_0 > >
n_l6___3: < < 999 -i_0 > >
n_l7___1: < < 999 -i_0 > >
n_l9___2: < < 999 -i_0 > >
n_n_l15___1___2: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l1___3___1: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l1___3___4: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l2___2___3: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l6___3___1: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l6___3___4: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l7___1___2: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_n_l9___2___3: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >
n_scc_init: < < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 >, < 999 -i_0 > >


method 1