YES


Termination: (Ranking Functions Found)
------------
n_l0___15: < < -1 + x_0 > >
n_l0___24: < < y_0 > >
n_l0___25: < < x_0 + y_0 > >
n_l0___28: < < -1 -x_0 + y_0 > >
n_l0___32: < < -1 -x_0 > >
n_l0___40: < < -1 + x_0 -y_0 > >
n_l0___42: < < -1 -y_0 > >
n_l0___9: < < -1 -x_0 -y_0 > >
n_l1___13: < < y_0 > >
n_l1___19: < < x_0 > >
n_l1___22: < < x_0 + y_0 > >
n_l1___30: < < -x_0 + y_0 > >
n_l1___34: < < -x_0 > >
n_l1___38: < < -x_0 -y_0 > >
n_l1___44: < < x_0 -y_0 > >
n_l1___45: < < -y_0 > >
n_l2___10: < < -1 -x_0 -y_0 > >
n_l2___12: < < y_0 > >
n_l2___14: < < x_0 + y_0 > >
n_l2___17: < < -1 + x_0 > >
n_l2___29: < < -1 -x_0 + y_0 > >
n_l2___33: < < -1 -x_0 > >
n_l2___41: < < -1 + x_0 -y_0 > >
n_l2___43: < < -1 -y_0 > >


method 1