2.41/2.44	YES
2.41/2.44	
2.41/2.44	
2.41/2.44	Termination: (Ranking Functions Found)
2.41/2.44	------------
2.41/2.44	l2: < < 49 - i5_0 > >
2.41/2.44	l0: < < 49 - i5_0 > >
2.41/2.44	l1: < < 50 - i_0, 0 > >
2.41/2.44	l3: < < 49 - i_0, 49 - i_0 > >
2.41/2.44	
2.41/2.44	
2.41/2.50	EOF