4.72/4.77	YES
4.72/4.77	
4.72/4.77	
4.72/4.77	Termination: (Ranking Functions Found)
4.72/4.77	------------
4.72/4.77	l0: < < - y_0 >, < - x_0 > >
4.72/4.77	l4: < < - y_0 >, < -1 - x_0 > >
4.72/4.77	l2: < < - y_0 >, < - x_0 > >
4.72/4.77	l3: < < - y_0 >, < -1 - x_0 > >
4.72/4.77	l5: < < 0 > >
4.72/4.77	
4.72/4.77	
4.80/4.83	EOF