2.38/2.41	YES
2.38/2.41	
2.38/2.41	
2.38/2.41	Termination: (Ranking Functions Found)
2.38/2.41	------------
2.38/2.41	l0: < < __const_100_0 - i_5_0 > >
2.38/2.41	l2: < < __const_100_0 - i_5_0 > >
2.38/2.41	
2.38/2.41	
2.46/2.48	EOF