3.29/3.39	YES
3.29/3.39	
3.29/3.39	
3.29/3.39	Termination: (Ranking Functions Found)
3.29/3.39	------------
3.29/3.39	l3: < < y_0 > >
3.29/3.39	l1: < < x_0 > >
3.29/3.39	l2: < < y_0 > >
3.29/3.39	l4: < < - x_0 + z_0 > >
3.29/3.39	l7: < < y_0 - z_0 > >
3.29/3.39	l5: < < - x_0 + z_0 > >
3.29/3.39	l0: < < x_0 > >
3.29/3.39	l6: < < -1 + y_0 - z_0 > >
3.29/3.39	
3.29/3.39	
3.38/3.45	EOF