1.59/1.62	YES
1.59/1.62	
1.59/1.62	
1.59/1.62	Termination: (Ranking Functions Found)
1.59/1.62	------------
1.59/1.62	l2: < < 9 - i4_0 > >
1.59/1.62	l0: < < 9 - i4_0 > >
1.59/1.62	
1.59/1.62	
1.59/1.67	EOF