1.89/1.94	YES
1.89/1.94	
1.89/1.94	
1.89/1.94	Termination: (Ranking Functions Found)
1.89/1.94	------------
1.89/1.94	l2: < < x_0 >, < y_0 > >
1.89/1.94	l1: < < x_0 >, < y_0 > >
1.89/1.94	l0: < < 1 + x_0 > >
1.89/1.94	
1.89/1.94	
1.98/2.00	EOF