1.67/1.73	YES
1.67/1.73	
1.67/1.73	
1.67/1.73	Termination: (Ranking Functions Found)
1.67/1.73	------------
1.67/1.73	l2: < < __const_20_0 - j_0 > >
1.67/1.73	l0: < < 4 + __const_20_0 - i_0 > >
1.67/1.73	
1.67/1.73	
1.76/1.79	EOF