1.67/1.74	YES
1.67/1.74	
1.67/1.74	
1.67/1.74	Termination: (Ranking Functions Found)
1.67/1.74	------------
1.67/1.74	l0: < < __const_50_0 - i_0 > >
1.67/1.74	l2: < < __const_50_0 - i_0 > >
1.67/1.74	
1.67/1.74	
1.76/1.80	EOF