2.10/2.19	YES
2.10/2.19	
2.10/2.19	
2.10/2.19	Termination: (Ranking Functions Found)
2.10/2.19	------------
2.10/2.19	l2: < < __const_10_0 - i5_0 > >
2.10/2.19	l0: < < __const_10_0 - i5_0 > >
2.10/2.19	
2.10/2.19	
2.21/2.25	EOF