1.53/1.62	YES
1.53/1.62	
1.53/1.62	
1.53/1.62	Termination: (Ranking Functions Found)
1.53/1.62	------------
1.53/1.62	l2: < < 17 - j_0 > >
1.53/1.62	l0: < < 19 - j_0 > >
1.53/1.62	
1.53/1.62	
1.61/1.68	EOF