1.80/1.86	YES
1.80/1.86	
1.80/1.86	
1.80/1.86	Termination: (Ranking Functions Found)
1.80/1.86	------------
1.80/1.86	l2: < < 1 + x_5_0 > >
1.80/1.86	l0: < < y_6_0 > >
1.80/1.86	
1.80/1.86	
1.88/1.91	EOF