9.68/9.72	YES
9.68/9.72	
9.68/9.72	
9.68/9.72	Termination: (Ranking Functions Found)
9.68/9.72	------------
9.68/9.72	l1: < < N_0 - i_0, N_0 - i_0 > >
9.68/9.72	l7: < < i_0 - j7_0 >, < 1 - i8_0 + i_0, 0 > >
9.68/9.72	l2: < < 1 + i_0 - j7_0 > >
9.68/9.72	l4: < < N6_0 - j7_0, N6_0 - j7_0 > >
9.68/9.72	l9: < < i_0 - j7_0 >, < - i8_0 + i_0, - i8_0 + i_0 > >
9.68/9.72	l3: < < i_0 - j7_0 > >
9.68/9.72	l6: < < 1 + N6_0 - j7_0, 0 > >
9.68/9.72	l10: < < i_0 - j7_0 >, < - i8_0 + i_0, - i8_0 + i_0 > >
9.68/9.72	l0: < < 1 + N_0 - i_0, 0 > >
9.68/9.72	l8: < < i_0 - j7_0 >, < - i8_0 + i_0, - i8_0 + i_0 > >
9.68/9.72	
9.68/9.72	
9.68/9.78	EOF