9.29/9.41	YES
9.29/9.41	
9.29/9.41	
9.29/9.41	Termination: (Ranking Functions Found)
9.29/9.41	------------
9.29/9.41	l5: < < __const_50_0 - i9_0 > >
9.29/9.41	l8: < < 1 + i11_0 - i13_0 > >
9.29/9.41	l11: < < __const_50_0 - i11_0 > >
9.29/9.41	l9: < < __const_50_0 - i_0 > >
9.29/9.41	l12: < < __const_50_0 - i11_0 > >
9.29/9.41	l0: < < 1 + __const_50_0 - i7_0, 0 > >
9.29/9.41	l10: < < __const_50_0 - i_0 > >
9.29/9.41	l1: < < __const_50_0 - i7_0, __const_50_0 - i7_0 > >
9.29/9.41	l6: < < __const_50_0 - i9_0 > >
9.29/9.41	l2: < < i13_0 - i_0 > >
9.29/9.41	l4: < < 1 + i13_0 - i_0 > >
9.29/9.41	l7: < < i11_0 - i13_0 > >
9.29/9.41	
9.29/9.41	
9.38/9.48	EOF