4.47/4.52	YES
4.47/4.52	
4.47/4.52	
4.47/4.52	Termination: (Ranking Functions Found)
4.47/4.52	------------
4.47/4.52	l0: < < 4 * __const_8_0 - nI6_0 > >
4.47/4.52	l3: < < 4 * __const_8_0 - nI6_0 > >
4.47/4.52	l1: < < 4 * __const_8_0 - nI6_0 > >
4.47/4.52	l2: < < 4 * __const_8_0 - nI6_0 > >
4.47/4.52	
4.47/4.52	
4.56/4.61	EOF