1.66/1.73	YES
1.66/1.73	
1.66/1.73	
1.66/1.73	Termination: (Ranking Functions Found)
1.66/1.73	------------
1.66/1.73	l3: < < 19 - i_0 > >
1.66/1.73	l2: < < 19 - i_0 > >
1.66/1.73	
1.66/1.73	
1.72/1.78	EOF