97.28/97.31	YES
97.28/97.31	
97.28/97.31	
97.28/97.31	Termination: (Ranking Functions Found)
97.28/97.31	------------
97.28/97.31	l35: < < 199 - i62_0, 199 - i62_0 > >
97.28/97.31	l27: < < 19 - i48_0, 19 - i48_0 > >
97.28/97.31	l25: < < -200 * i34_0 - n19_0 + 10000 * tmp___036_0, -200 * i34_0 + 9800 * ret_check1040_0 > >
97.28/97.31	l17: < < -100 * i6_0 + 10000 * ret_check1012_0, 0 > >
97.28/97.31	l12: < < -100 * i20_0 + 199 * n5_0 > >
97.28/97.31	l18: < < -100 * i6_0 - n5_0 + 10000 * tmp___08_0, -100 * i6_0 + 9900 * ret_check1012_0 > >
97.28/97.31	l34: < < 200 - i62_0, 0 > >
97.28/97.31	l26: < < 20 - i48_0, 0 > >
97.28/97.31	l24: < < -200 * i34_0 + 10000 * ret_check1040_0, 0 > >
97.28/97.31	l11: < < 19900 -100 * i20_0 > >
97.28/97.31	
97.28/97.31	
97.36/97.39	EOF