6.18/6.22	YES
6.18/6.22	
6.18/6.22	
6.18/6.22	Termination: (Ranking Functions Found)
6.18/6.22	------------
6.18/6.22	l0: < < 99 - i_0 > >
6.18/6.22	l2: < < 99 - i_0 > >
6.18/6.22	
6.18/6.22	
6.23/6.28	EOF