1.56/1.59	YES
1.56/1.59	
1.56/1.59	
1.56/1.59	Termination: (Ranking Functions Found)
1.56/1.59	------------
1.56/1.59	l0: < < 10 - x_0 > >
1.56/1.59	l2: < < 10 - x_0 > >
1.56/1.59	
1.56/1.59	
1.56/1.65	EOF