3.81/3.86	YES
3.81/3.86	
3.81/3.86	
3.81/3.86	Termination: (Ranking Functions Found)
3.81/3.86	------------
3.81/3.86	l2: < < 1 - x1_0 + x2_0, 0 > >
3.81/3.86	l3: < < x2_0, x2_0 > >
3.81/3.86	
3.81/3.86	
3.90/3.93	EOF