17.53/17.58	YES
17.53/17.58	
17.53/17.58	
17.53/17.58	Termination: (Ranking Functions Found)
17.53/17.58	------------
17.53/17.58	l6: < < __const_99_0 - i8_0, 0 > >
17.53/17.58	l1: < < 1 + __const_99_0 - i8_0, 0 > >
17.53/17.58	l12: < < __const_99_0 - i8_0, 0 >, < - Index7_0 + __const_99_0 >, < - Index7_0 + __const_99_0 > >
17.53/17.58	l0: < < - Index2_0 + __const_100_0 > >
17.53/17.58	l8: < < __const_99_0 - i8_0, 0 >, < -1 - Index7_0 + __const_99_0 >, < -1 - Index7_0 + __const_99_0 > >
17.53/17.58	l11: < < __const_99_0 - i8_0, 0 >, < - Index7_0 + __const_99_0 >, < - Index7_0 + __const_99_0 > >
17.53/17.58	l13: < < __const_99_0 - i8_0, 0 >, < - Index7_0 + __const_99_0 >, < - Index7_0 + __const_99_0 > >
17.53/17.58	l9: < < __const_99_0 - i8_0, 0 >, < - Index7_0 + __const_99_0 >, < - Index7_0 + __const_99_0 > >
17.53/17.58	l10: < < __const_99_0 - i8_0, __const_99_0 - i8_0 > >
17.53/17.58	l2: < < - Index2_0 + __const_100_0 > >
17.53/17.58	l7: < < __const_99_0 - i8_0, 0 > >
17.53/17.58	
17.53/17.58	
17.62/17.64	EOF