5.88/5.95	YES
5.88/5.95	
5.88/5.95	
5.88/5.95	Termination: (Ranking Functions Found)
5.88/5.95	------------
5.88/5.95	l0: < < - i_0 + j_0 + n_0 >, < 1 -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	l7: < < -1 - i_0 + j_0 + n_0 >, < -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	l5: < < - i_0 + j_0 + n_0 >, < 1 -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	l8: < < - i_0 + j_0 + n_0 >, < -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	l6: < < -1 - i_0 + n_0 >, < -1 -2 * i_0 + 2 * n_0 > >
5.88/5.95	l3: < < -1 - i_0 + n_0 >, < -1 -2 * i_0 + 2 * n_0 > >
5.88/5.95	l2: < < - i_0 + j_0 + n_0 >, < -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	l1: < < -1 - i_0 + j_0 + n_0 >, < -2 * i_0 + j_0 + 2 * n_0 > >
5.88/5.95	
5.88/5.95	
5.99/6.44	EOF