2.13/2.21	YES
2.13/2.21	
2.13/2.21	
2.13/2.21	Termination: (Ranking Functions Found)
2.13/2.21	------------
2.13/2.21	l1: < < 9 - i_13_0 > >
2.13/2.21	l5: < < 8 - i_21_0 > >
2.13/2.21	
2.13/2.21	
2.20/2.27	EOF