2.53/2.56	YES
2.53/2.56	
2.53/2.56	
2.53/2.56	Termination: (Ranking Functions Found)
2.53/2.56	------------
2.53/2.56	l0: < < __const_10_0 - i4_0 > >
2.53/2.56	l1: < < i4_0 - i7_0 > >
2.53/2.56	l3: < < -1 + i4_0 - i7_0 > >
2.53/2.56	l2: < < __const_10_0 - i4_0 > >
2.53/2.56	
2.53/2.56	
2.58/2.62	EOF