1.59/1.62	YES
1.59/1.62	
1.59/1.62	
1.59/1.62	Termination: (Ranking Functions Found)
1.59/1.62	------------
1.59/1.62	l0: < < x_0 + y_0 > >
1.59/1.62	l1: < < -1 + x_0 + y_0 > >
1.59/1.62	
1.59/1.62	
1.59/1.67	EOF