4.20/4.28	YES
4.20/4.28	
4.20/4.28	
4.20/4.28	Termination: (Ranking Functions Found)
4.20/4.28	------------
4.20/4.28	l2: < < -2 + x1_0 + x2_0, x2_0 > >
4.20/4.28	l3: < < -1 + x1_0 + x2_0, x1_0 > >
4.20/4.28	
4.20/4.28	
4.29/4.35	EOF