2.29/2.32	YES
2.29/2.32	
2.29/2.32	
2.29/2.32	Termination: (Ranking Functions Found)
2.29/2.32	------------
2.29/2.32	l0: < < 2 - i_0 > >
2.29/2.32	l2: < < 2 - i_0 > >
2.29/2.32	l3: < < 2 - i_0 > >
2.29/2.32	
2.29/2.32	
2.29/2.38	EOF