2.06/2.13	YES
2.06/2.13	
2.06/2.13	
2.06/2.13	Termination: (Ranking Functions Found)
2.06/2.13	------------
2.06/2.13	l0: < < i_5_0 > >
2.06/2.13	l2: < < i_5_0 > >
2.06/2.13	
2.06/2.13	
2.13/2.19	EOF