120.48/120.52	YES
120.48/120.52	
120.48/120.52	
120.48/120.52	Termination: (Ranking Functions Found)
120.48/120.52	------------
120.48/120.52	l11: < < -150 * i9_0 + 100 * i_0 >, < 5 * i9_0 -5 * j10_0 > >
120.48/120.52	l10: < < -150 * i9_0 + 100 * i_0 + 3 * nmax_0 > >
120.48/120.52	l16: < < -75 * i9_0 + 50 * i_0, 0 >, < -10 * j10_0 + 10 * n8_0, 0 >, < -5 * k11_0 + 4 * n8_0 > >
120.48/120.52	l9: < < -150 * i9_0 + 100 * i_0 >, < 5 * i9_0 -5 * j10_0 - n_0 > >
120.48/120.52	l25: < < -10 * i_0 + nmax_0 >, < -10 * j_0 + nmax_0, -10 * j_0 + nmax_0 > >
120.48/120.52	l5: < < i9_0, i9_0 > >
120.48/120.52	l20: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -60 * n8_0 >, < -10 * j10_0 + nmax7_0, 0 > >
120.48/120.52	l4: < < i9_0, 0 >, < - j10_0 + n_0 > >
120.48/120.52	l13: < < -75 * i9_0 + 50 * i_0, 0 >, < -10 * j10_0 + nmax_0, 50 -10 * j10_0 > >
120.48/120.52	l18: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -6 * nmax_0 >, < -10 * j10_0 + 10 * n_0, 0 > >
120.48/120.52	l24: < < -10 * i_0 + 10 * n_0 >, < 50 -10 * j_0, 0 > >
120.48/120.52	l12: < < -75 * i9_0 + 50 * i_0, 0 >, < -10 * j10_0 + nmax7_0, -10 * j10_0 + nmax_0 > >
120.48/120.52	l0: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -60 * n8_0 >, < 60 -10 * j10_0, 0 > >
120.48/120.52	l15: < < -75 * i9_0 + 50 * i_0, 0 >, < -10 * j10_0 + 10 * n_0, 0 >, < 25 -5 * k11_0 > >
120.48/120.52	l8: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -6 * nmax_0 >, < -10 * j10_0 + nmax7_0, 0 >, < i9_0 - k11_0 > >
120.48/120.52	l3: < < i9_0, i9_0 > >
120.48/120.52	l23: < < -10 * i_0 + nmax_0 >, < -10 * j_0 + nmax_0, -10 * j_0 + nmax_0 > >
120.48/120.52	l1: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -60 * n8_0 >, < -10 * j10_0 + nmax_0, -10 * j10_0 + 10 * n_0 > >
120.48/120.52	l17: < < -75 * i9_0 + 50 * i_0, -75 * i9_0 + 50 * i_0 > >
120.48/120.52	l2: < < i9_0, 0 >, < 5 - j10_0 > >
120.48/120.52	l27: < < -10 * i_0 + nmax_0 > >
120.48/120.52	l14: < < -150 * i9_0 + 100 * i_0 + 30 * n8_0 > >
120.48/120.52	l21: < < -75 * i9_0 + 50 * i_0, -75 * i9_0 + 50 * i_0 > >
120.48/120.52	l19: < < -75 * i9_0 + 50 * i_0, -300 + 50 * i_0 >, < -10 * j10_0 + nmax_0, 0 > >
120.48/120.52	l7: < < -75 * i9_0 + 50 * i_0, 50 * i_0 -6 * nmax_0 >, < 50 -10 * j10_0, 0 >, < i9_0 - k11_0 > >
120.48/120.52	l22: < < -10 * i_0 + nmax_0 >, < 50 -10 * j_0, 0 > >
120.48/120.52	l26: < < 50 -10 * i_0 > >
120.48/120.52	
120.48/120.52	
120.49/120.58	EOF