8.10/8.17	YES
8.10/8.17	
8.10/8.17	
8.10/8.17	Termination: (Ranking Functions Found)
8.10/8.17	------------
8.10/8.17	l1: < < 99 - i_0 > >
8.10/8.17	l9: < < 98 - i_0 > >
8.10/8.17	l6: < < 99 - i_0 > >
8.10/8.17	l15: < < 98 - i_0 > >
8.10/8.17	l16: < < 98 - i_0 > >
8.10/8.17	l7: < < 98 - i_0 > >
8.10/8.17	l4: < < 98 - i_0 > >
8.10/8.17	l12: < < 98 - i2_0 > >
8.10/8.17	l13: < < 98 - i_0 > >
8.10/8.17	l3: < < 98 - i_0 > >
8.10/8.17	l0: < < 99 - i_0 > >
8.10/8.17	l5: < < 98 - i_0 > >
8.10/8.17	l8: < < 98 - i_0 > >
8.10/8.17	l14: < < 98 - i_0 > >
8.10/8.17	l2: < < 98 - i_0 > >
8.10/8.17	l10: < < 99 - i_0 > >
8.10/8.17	
8.10/8.17	
8.17/8.23	EOF