2.41/2.45	YES
2.41/2.45	
2.41/2.45	
2.41/2.45	Termination: (Ranking Functions Found)
2.41/2.45	------------
2.41/2.45	l0: < < 10 - x0_0, 0 > >
2.41/2.45	l1: < < 10 - x0_0, 10 - x0_0 > >
2.41/2.45	
2.41/2.45	
2.49/2.51	EOF