1.89/1.97	YES
1.89/1.97	
1.89/1.97	
1.89/1.97	Termination: (Ranking Functions Found)
1.89/1.97	------------
1.89/1.97	l0: < < - x_0 >, < 3 - x_0 > >
1.89/1.97	l2: < < - x_0 >, < 3 - x_0 > >
1.89/1.97	l1: < < - x_0 >, < 3 - x_0 > >
1.89/1.97	
1.89/1.97	
1.97/2.03	EOF