60.11/60.16	YES
60.11/60.16	
60.11/60.16	
60.11/60.16	Termination: (Ranking Functions Found)
60.11/60.16	------------
60.11/60.16	l30: < < -200 * i48_0 + 4000 * ret_check852_0, 0 > >
60.11/60.16	l25: < < 49 - i34_0, 49 - i34_0 > >
60.11/60.16	l11: < < 39800 -200 * i20_0 > >
60.11/60.16	l22: < < 99 - i6_0, 99 - i6_0 > >
60.11/60.16	l12: < < -200 * i20_0 + 199 * n19_0 > >
60.11/60.16	l24: < < 50 - i34_0, 0 > >
60.11/60.16	l31: < < -200 * i48_0 - n19_0 + 4000 * ret_check852_0, -200 * i48_0 + 3800 * ret_check852_0 > >
60.11/60.16	l21: < < 100 - i6_0, 0 > >
60.11/60.16	
60.11/60.16	
60.15/60.23	EOF