8.20/8.29	YES
8.20/8.29	
8.20/8.29	
8.20/8.29	Termination: (Ranking Functions Found)
8.20/8.29	------------
8.20/8.29	n_l1___6: < < -2 * y_0 >, < 1 + x_0 - y_0 > >
8.20/8.29	n_l1___8: < < -2 + 2 * y_0 >, < - x_0 + y_0 > >
8.20/8.29	n_l0___3: < < -2 * x_0 >, < - x_0 - y_0 > >
8.20/8.29	n_l1___5: < < -2 + 2 * x_0 >, < x_0 + y_0 > >
8.20/8.29	n_l1___7: < < -2 * x_0 >, < - x_0 - y_0 > >
8.20/8.29	n_l0___1: < < -2 + 2 * x_0 >, < -1 + x_0 + y_0 > >
8.20/8.29	n_l0___2: < < -2 * y_0 >, < x_0 - y_0 > >
8.20/8.29	n_l0___4: < < -2 + 2 * y_0 >, < -1 - x_0 + y_0 > >
8.20/8.29	
8.20/8.29	
8.26/8.35	EOF