3.05/3.13	YES
3.05/3.13	
3.05/3.13	
3.05/3.13	Termination: (Ranking Functions Found)
3.05/3.13	------------
3.05/3.13	l3: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
3.05/3.13	l2: < < 3 -2 * x0_0 + x1_0, 0 > >
3.05/3.13	
3.05/3.13	
3.18/3.19	EOF