1.79/1.88	YES
1.79/1.88	
1.79/1.88	
1.79/1.88	Termination: (Ranking Functions Found)
1.79/1.88	------------
1.79/1.88	l0: < < y_0 > >
1.79/1.88	l2: < < y_0 > >
1.79/1.88	
1.79/1.88	
1.88/1.94	EOF