4.07/4.14	YES
4.07/4.14	
4.07/4.14	
4.07/4.14	Termination: (Ranking Functions Found)
4.07/4.14	------------
4.07/4.14	l0: < < 1 - x1_0 + x2_0, 0 > >
4.07/4.14	l1: < < x2_0, x2_0 > >
4.07/4.14	
4.07/4.14	
4.15/4.20	EOF