2.32/2.34	YES
2.32/2.34	
2.32/2.34	
2.32/2.34	Termination: (Ranking Functions Found)
2.32/2.34	------------
2.32/2.34	l0: < < - i_0 + n_0 >, < i_0 - j_0 > >
2.32/2.34	l1: < < - i_0 + n_0 > >
2.32/2.34	l2: < < - i_0 + n_0 >, < i_0 - j_0 > >
2.32/2.34	
2.32/2.34	
2.37/2.40	EOF