2.36/2.40	YES
2.36/2.40	
2.36/2.40	
2.36/2.40	Termination: (Ranking Functions Found)
2.36/2.40	------------
2.36/2.40	l0: < < 90 -10 * i_0 > >
2.36/2.40	l2: < < -5 * j_0 + 9 * x_0 > >
2.36/2.40	
2.36/2.40	
2.36/2.46	EOF