2.58/2.65	YES
2.58/2.65	
2.58/2.65	
2.58/2.65	Termination: (Ranking Functions Found)
2.58/2.65	------------
2.58/2.65	l1: < < 199 - j_0 > >
2.58/2.65	l0: < < 99 - i_0 > >
2.58/2.65	l2: < < 99 - i_0 > >
2.58/2.65	l3: < < 199 - j_0 > >
2.58/2.65	
2.58/2.65	
2.70/2.71	EOF