15.34/15.38	YES
15.34/15.38	
15.34/15.38	
15.34/15.38	Termination: (Ranking Functions Found)
15.34/15.38	------------
15.34/15.38	l1: < < -19998 * factor_0 -101 * i8_0, 198 * Index2_0 + 19998 * factor_0 > >
15.34/15.38	l0: < < 100 - Index2_0 > >
15.34/15.38	l7: < < -19897 * factor_0 -101 * i8_0, -19998 + 198 * Index2_0 > >
15.34/15.38	l12: < < -19897 * fact3_0 -101 * i8_0, -19998 + 198 * Index2_0 >, < 9702 * Index2_0 -9898 * Index7_0 > >
15.34/15.38	l11: < < 19897 -101 * i8_0, -19998 + 198 * Index2_0 >, < 9702 * Index2_0 -9999 * Index7_0 > >
15.34/15.38	l9: < < -19897 * fact3_0 -101 * i8_0, 198 * Index2_0 + 19998 * factor_0 >, < 9702 * Index2_0 -9999 * Index7_0 -9999 * fact3_0 > >
15.34/15.38	l2: < < - Index2_0 -100 * factor_0 > >
15.34/15.38	l13: < < 19897 -101 * i8_0, -19998 + 198 * Index2_0 >, < 9999 + 9702 * Index2_0 -9999 * Index7_0 > >
15.34/15.38	l10: < < -19897 * factor_0 -101 * i8_0, 198 * Index2_0 -202 * i8_0 > >
15.34/15.38	l8: < < 19897 -101 * i8_0, -19998 + 198 * Index2_0 >, < 9702 * Index2_0 -9999 * Index7_0 > >
15.34/15.38	l6: < < -19897 * factor_0 -101 * i8_0, 198 * Index2_0 + 19998 * fact3_0 > >
15.34/15.38	
15.34/15.38	
15.38/15.44	EOF