1.49/1.55	YES
1.49/1.55	
1.49/1.55	
1.49/1.55	Termination: (Ranking Functions Found)
1.49/1.55	------------
1.49/1.55	l0: < < 1 - y_0, x_0 > >
1.49/1.55	l1: < < 1 - y_0, x_0 > >
1.49/1.55	
1.49/1.55	
1.57/1.60	EOF