3.47/3.51	YES
3.47/3.51	
3.47/3.51	
3.47/3.51	Termination: (Ranking Functions Found)
3.47/3.51	------------
3.47/3.51	l0: < < __const_30_0 - i4_0 > >
3.47/3.51	l2: < < - i4_0 + n3_0 > >
3.47/3.51	
3.47/3.51	
3.51/3.57	EOF