1.88/1.98	YES
1.88/1.98	
1.88/1.98	
1.88/1.98	Termination: (Ranking Functions Found)
1.88/1.98	------------
1.88/1.98	l0: < < x_0 >, < y_0 > >
1.88/1.98	l1: < < x_0 > >
1.88/1.98	l2: < < x_0 >, < y_0 > >
1.88/1.98	
1.88/1.98	
1.97/2.04	EOF