5.96/6.00	YES
5.96/6.00	
5.96/6.00	
5.96/6.00	Termination: (Ranking Functions Found)
5.96/6.00	------------
5.96/6.00	l1: < < -1 + __const_100_0 - i_0 > >
5.96/6.00	l5: < < __const_100_0 - i_0 > >
5.96/6.00	l0: < < __const_100_0 - i_0 > >
5.96/6.00	l10: < < -1 + __const_100_0 - i_0 > >
5.96/6.00	l9: < < -1 + __const_100_0 - i_0 > >
5.96/6.00	l3: < < __const_200_0 - j_0 > >
5.96/6.00	l2: < < __const_100_0 - i_0 > >
5.96/6.00	l4: < < __const_200_0 - j_0 > >
5.96/6.00	l6: < < __const_200_0 - y8_0 > >
5.96/6.00	l7: < < __const_200_0 - j_0 > >
5.96/6.00	
5.96/6.00	
6.01/6.07	EOF