38.72/38.80	YES
38.72/38.80	
38.72/38.80	
38.72/38.80	Termination: (Ranking Functions Found)
38.72/38.80	------------
38.72/38.80	l12: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - j_0 + n_0 > >
38.72/38.80	l0: < < - k_0 + n_0, 1 > >
38.72/38.80	l16: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l15: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l11: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l23: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l6: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - i_0 + n_0 > >
38.72/38.80	l9: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - j_0 + n_0 > >
38.72/38.80	l14: < < -1 - k_0 + n_0, - k_0 + n_0 >, < 1 - j_0 + n_0 > >
38.72/38.80	l7: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - j_0 + n_0 > >
38.72/38.80	l19: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l18: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l25: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - i_0 + n_0 > >
38.72/38.80	l10: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l8: < < -1 - k_0 + n_0, - k_0 + n_0 >, < 1 - j_0 + n_0 > >
38.72/38.80	l17: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l5: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - i_0 + n_0 > >
38.72/38.80	l13: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - j_0 + n_0 > >
38.72/38.80	l1: < < -1 - k_0 + n_0, - k_0 + n_0 > >
38.72/38.80	l24: < < -1 - k_0 + n_0, - k_0 + n_0 >, < - i_0 + n_0 > >
38.72/38.80	
38.72/38.80	
38.80/38.88	EOF