4.10/4.18	YES
4.10/4.18	
4.10/4.18	
4.10/4.18	Termination: (Ranking Functions Found)
4.10/4.18	------------
4.10/4.18	l2: < < 2 + x2_0, 0 > >
4.10/4.18	l3: < < 2 * x2_0, 2 * x2_0 > >
4.10/4.18	
4.10/4.18	
4.20/4.24	EOF