2.12/2.19	YES
2.12/2.19	
2.12/2.19	
2.12/2.19	Termination: (Ranking Functions Found)
2.12/2.19	------------
2.12/2.19	l1: < < y_0 >, < -1 + x_0 > >
2.12/2.19	l0: < < y_0 >, < x_0 > >
2.12/2.19	
2.12/2.19	
2.21/2.25	EOF