1.89/1.95	YES
1.89/1.95	
1.89/1.95	
1.89/1.95	Termination: (Ranking Functions Found)
1.89/1.95	------------
1.89/1.95	l2: < < x_0 >, < y_0 > >
1.89/1.95	l0: < < x_0 >, < y_0 > >
1.89/1.95	l1: < < x_0 > >
1.89/1.95	
1.89/1.95	
1.97/2.01	EOF