2.41/2.47	YES
2.41/2.47	
2.41/2.47	
2.41/2.47	Termination: (Ranking Functions Found)
2.41/2.47	------------
2.41/2.47	l2: < < 499 - i_13_0 > >
2.41/2.47	l4: < < 499 - i_13_0 > >
2.41/2.47	
2.41/2.47	
2.51/2.53	EOF