8.21/8.24	YES
8.21/8.24	
8.21/8.24	
8.21/8.24	Termination: (Ranking Functions Found)
8.21/8.24	------------
8.21/8.24	l3: < < 8 - i_0 > >
8.21/8.24	l9: < < 8 - i_0 > >
8.21/8.24	l8: < < 8 - i_0 > >
8.21/8.24	l12: < < 8 - i2_0 > >
8.21/8.24	l15: < < 8 - i_0 > >
8.21/8.24	l0: < < 9 - i_0 > >
8.21/8.24	l4: < < 8 - i_0 > >
8.21/8.24	l1: < < 9 - i_0 > >
8.21/8.24	l6: < < 9 - i_0 > >
8.21/8.24	l16: < < 8 - i2_0 > >
8.21/8.24	l14: < < 8 - i2_0 > >
8.21/8.24	l7: < < 8 - i_0 > >
8.21/8.24	l5: < < 8 - i_0 > >
8.21/8.24	l2: < < 8 - i_0 > >
8.21/8.24	l10: < < 9 - i_0 > >
8.21/8.24	l13: < < 8 - i_0 > >
8.21/8.24	
8.21/8.24	
8.28/8.30	EOF