9.68/9.71	YES
9.68/9.71	
9.68/9.71	
9.68/9.71	Termination: (Ranking Functions Found)
9.68/9.71	------------
9.68/9.71	n_l2___1: < < oldX0_0 >, < x0_0 - x1_0 > >
9.68/9.71	
9.68/9.71	
9.68/9.76	EOF