4.85/4.91	YES
4.85/4.91	
4.85/4.91	
4.85/4.91	Termination: (Ranking Functions Found)
4.85/4.91	------------
4.85/4.91	l6: < < - i2_0 + size1_0, - i2_0 + size1_0 > >
4.85/4.91	l1: < < - i2_0 + size1010_0, - i2_0 + size1_0 > >
4.85/4.91	l5: < < 1 + __const_10_0 - i2_0, 0 > >
4.85/4.91	l2: < < __const_10_0 - i2_0 > >
4.85/4.91	l4: < < - i2_0 + size1010_0 > >
4.85/4.91	l0: < < 1 + __const_10_0 - i2_0, 0 > >
4.85/4.91	
4.85/4.91	
4.94/4.97	EOF