YES


Termination: (Ranking Functions Found)
------------
l11: < < x6_0 > >
l12: < < x6_0 > >
l26: < < x5_0 > >
l27: < < x5_0 > >
n_l0___1: < < oldX4_0 > >
n_l14___1: < < x5_0 > >
n_l16___1: < < x4_0 > >
n_l18___1: < < oldX3_0 > >
n_l18___2: < < oldX3_0 > >
n_l21___3: < < oldX3_0 > >
n_l3___1: < < x3_0 > >
n_l5___3: < < oldX2_0 > >
n_l5___4: < < oldX2_0 > >
n_l7___1: < < oldX2_0 > >
n_l7___2: < < oldX2_0 > >
n_n_l18___1___2: < < oldX3_0 >, < x3_0 > >
n_n_l18___1___6: < < oldX3_0 >, < x3_0 > >
n_n_l18___2___1: < < oldX3_0 >, < x3_0 > >
n_n_l18___2___5: < < oldX3_0 >, < x3_0 > >
n_n_l21___3___3: < < oldX3_0 >, < x3_0 > >
n_n_l21___3___4: < < oldX3_0 >, < x3_0 > >
n_n_l5___3___2: < < oldX2_0 >, < oldX2_0 > >
n_n_l5___3___6: < < oldX2_0 >, < oldX2_0 > >
n_n_l5___4___1: < < oldX2_0 >, < oldX2_0 > >
n_n_l5___4___5: < < oldX2_0 >, < oldX2_0 > >
n_n_l7___1___3: < < oldX2_0 >, < oldX2_0 > >
n_n_l7___2___4: < < oldX2_0 >, < oldX2_0 > >
n_scc_init: < < oldX3_0 >, < x3_0 >, < oldX2_0 >, < oldX2_0 > >


method 1