2.51/2.55	YES
2.51/2.55	
2.51/2.55	
2.51/2.55	Termination: (Ranking Functions Found)
2.51/2.55	------------
2.51/2.55	l1: < < __const_42_0 - i1_0 > >
2.51/2.55	l4: < < __const_42_0 - i1_0 > >
2.51/2.55	l2: < < __const_42_0 - i1_0 > >
2.51/2.55	l0: < < __const_42_0 - i1_0 > >
2.51/2.55	l3: < < __const_42_0 - i1_0 > >
2.51/2.55	
2.51/2.55	
2.58/2.61	EOF