2.24/2.28	YES
2.24/2.28	
2.24/2.28	
2.24/2.28	Termination: (Ranking Functions Found)
2.24/2.28	------------
2.24/2.28	l3: < < t_16_0 + 2 * t_22_0 - y_21_0 > >
2.24/2.28	l1: < < 2 * x_13_0 > >
2.24/2.28	
2.24/2.28	
2.33/2.34	EOF