2.48/2.53	YES
2.48/2.53	
2.48/2.53	
2.48/2.53	Termination: (Ranking Functions Found)
2.48/2.53	------------
2.48/2.53	l4: < < x0_0, x0_0 > >
2.48/2.53	l2: < < x0_0, x0_0 > >
2.48/2.53	l0: < < x0_0, 0 > >
2.48/2.53	
2.48/2.53	
2.58/2.60	EOF