2.35/2.39	YES
2.35/2.39	
2.35/2.39	
2.35/2.39	Termination: (Ranking Functions Found)
2.35/2.39	------------
2.35/2.39	l1: < < __const_10_0 - i_13_0 > >
2.35/2.39	l5: < < -1 + __const_10_0 - i_21_0 > >
2.35/2.39	
2.35/2.39	
2.41/2.45	EOF