1.52/1.58	YES
1.52/1.58	
1.52/1.58	
1.52/1.58	Termination: (Ranking Functions Found)
1.52/1.58	------------
1.52/1.58	l1: < < i_5_0 > >
1.52/1.58	l0: < < i_5_0 > >
1.52/1.58	
1.52/1.58	
1.61/1.63	EOF