4.19/4.48	YES
4.19/4.48	
4.19/4.48	
4.19/4.48	Termination: (Ranking Functions Found)
4.19/4.48	------------
4.19/4.48	l5: < < -1 + x_0 + y_0 >, < -1 + x_0 + y_0 >, < - c_0 > >
4.19/4.48	l1: < < -1 + x_0 + y_0 >, < -1 + x_0 + y_0 >, < - c_0 > >
4.19/4.48	l0: < < x_0 + y_0 > >
4.19/4.48	l4: < < x_0 + y_0 >, < x_0 + y_0 >, < - c_0 > >
4.19/4.48	l3: < < x_0 + y_0 >, < x_0 + y_0 >, < 0 > >
4.19/4.48	
4.19/4.48	
4.28/4.54	EOF