6.71/6.73	YES
6.71/6.73	
6.71/6.73	
6.71/6.73	Termination: (Ranking Functions Found)
6.71/6.73	------------
6.71/6.73	l9: < < 0 >, < 1 >, < 1 > >
6.71/6.73	l5: < < -1 >, < 0 >, < 0 > >
6.71/6.73	l6: < < 1 - i_0 > >
6.71/6.73	l4: < < -1 >, < 0 >, < 0 > >
6.71/6.73	l16: < < 0 > >
6.71/6.73	l13: < < 0 > >
6.71/6.73	l1: < < - i_0 >, < 1 - i_0 >, < 1 - i_0 > >
6.71/6.73	l3: < < -1 >, < 0 >, < 0 > >
6.71/6.73	l2: < < 0 > >
6.71/6.73	l12: < < 0 > >
6.71/6.73	l0: < < 1 - i_0 > >
6.71/6.73	l8: < < -1 >, < 0 >, < 0 > >
6.71/6.73	l15: < < 0 > >
6.71/6.73	l14: < < 0 > >
6.71/6.73	l7: < < -1 >, < 0 >, < 0 > >
6.71/6.73	l10: < < - i_0 >, < 1 - i_0 >, < 1 - i_0 > >
6.71/6.73	
6.71/6.73	
6.77/6.80	EOF