1.65/1.73	YES
1.65/1.73	
1.65/1.73	
1.65/1.73	Termination: (Ranking Functions Found)
1.65/1.73	------------
1.65/1.73	l2: < < __const_10_0 - x_0 > >
1.65/1.73	l0: < < __const_10_0 - x_0 > >
1.65/1.73	
1.65/1.73	
1.73/1.79	EOF