8.12/8.15	YES
8.12/8.15	
8.12/8.15	
8.12/8.15	Termination: (Ranking Functions Found)
8.12/8.15	------------
8.12/8.15	l10: < < 999 - i_0 > >
8.12/8.15	l5: < < 998 - i_0 > >
8.12/8.15	l7: < < 998 - i_0 > >
8.12/8.15	l6: < < 999 - i_0 > >
8.12/8.15	l12: < < 998 - i2_0 > >
8.12/8.15	l13: < < 998 - i_0 > >
8.12/8.15	l16: < < 998 - i_0 > >
8.12/8.15	l14: < < 998 - i_0 > >
8.12/8.15	l15: < < 998 - i_0 > >
8.12/8.15	l8: < < 998 - i_0 > >
8.12/8.15	l2: < < 998 - i_0 > >
8.12/8.15	l0: < < 999 - i_0 > >
8.12/8.15	l3: < < 998 - i_0 > >
8.12/8.15	l1: < < 999 - i_0 > >
8.12/8.15	l4: < < 998 - i_0 > >
8.12/8.15	l9: < < 998 - i_0 > >
8.12/8.15	
8.12/8.15	
8.12/8.21	EOF