3.70/3.80	YES
3.70/3.80	
3.70/3.80	
3.70/3.80	Termination: (Ranking Functions Found)
3.70/3.80	------------
3.70/3.80	l8: < < i8_0 > >
3.70/3.80	l5: < < i6_0 > >
3.70/3.80	l6: < < i8_0 > >
3.70/3.80	l4: < < i6_0 > >
3.70/3.80	
3.70/3.80	
3.79/3.86	EOF