3.70/3.74	YES
3.70/3.74	
3.70/3.74	
3.70/3.74	Termination: (Ranking Functions Found)
3.70/3.74	------------
3.70/3.74	n_l0___2: < < y_0 > >
3.70/3.74	
3.70/3.74	
3.70/3.80	EOF