YES


Termination: (Ranking Functions Found)
------------
n_l0___6: < < -OuterIndex6_0 > >
n_l3___2: < < -Outer9_0 > >
n_l4___4: < < -OuterIndex6_0 > >
n_l5___3: < < -OuterIndex6_0 > >
n_l7___1: < < -Outer9_0 > >
n_l8___7: < < -Outer9_0 > >
n_n_l3___10___4: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l3___10___8: < < -Inner10_0 -Outer9_0 >, < -Inner10_0 -Outer9_0 > >
n_n_l3___6___11: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l3___6___2: < < -Inner10_0 -Outer9_0 >, < -Inner10_0 -Outer9_0 > >
n_n_l3___6___7: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l4___5___4: < < -InnerIndex7_0 -OuterIndex6_0 > >
n_n_l4___5___5: < < -OuterIndex6_0 + __const_10_0 >, < -InnerIndex7_0 + __const_10_0 > >
n_n_l4___5___8: < < -OuterIndex6_0 + __const_10_0 >, < -InnerIndex7_0 + __const_10_0 > >
n_n_l4___8___1: < < -OuterIndex6_0 + __const_10_0 >, < -InnerIndex7_0 + __const_10_0 > >
n_n_l4___8___6: < < -InnerIndex7_0 -OuterIndex6_0 > >
n_n_l5___2___2: < < -OuterIndex6_0 + __const_10_0 >, < -InnerIndex7_0 + __const_10_0 > >
n_n_l5___2___3: < < -InnerIndex7_0 -OuterIndex6_0 > >
n_n_l5___2___7: < < -OuterIndex6_0 + __const_10_0 >, < -InnerIndex7_0 + __const_10_0 > >
n_n_l6___4___5: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l6___4___9: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l6___8___12: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l6___8___3: < < -Inner10_0 -Outer9_0 >, < -Inner10_0 -Outer9_0 > >
n_n_l7___5___1: < < -Inner10_0 -Outer9_0 >, < -Inner10_0 -Outer9_0 > >
n_n_l7___5___10: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >
n_n_l7___5___6: < < -Outer9_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 >, < -Inner10_0 + __const_10_0 > >


method 1