4.59/4.67	YES
4.59/4.67	
4.59/4.67	
4.59/4.67	Termination: (Ranking Functions Found)
4.59/4.67	------------
4.59/4.67	l4: < < x_0 >, < y_0 > >
4.59/4.67	l5: < < x_0 >, < y_0 > >
4.59/4.67	l6: < < x_0 >, < -1 + y_0 > >
4.59/4.67	l3: < < x_0 >, < y_0 > >
4.59/4.67	l2: < < x_0 >, < y_0 > >
4.59/4.67	
4.59/4.67	
4.66/4.73	EOF