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	l0: < < __const_10_0 - i4_0 > >
1.66/1.73	l2: < < __const_10_0 - i4_0 > >
1.66/1.73	
1.66/1.73	
1.77/1.79	EOF