2.29/2.36	YES
2.29/2.36	
2.29/2.36	
2.29/2.36	Termination: (Ranking Functions Found)
2.29/2.36	------------
2.29/2.36	l0: < < 41 - i1_0, 0 > >
2.29/2.36	l3: < < 41 - i1_0, 0 > >
2.29/2.36	l4: < < 41 - i1_0, 41 - i1_0 > >
2.29/2.36	l2: < < 41 - i1_0, 0 > >
2.29/2.36	l1: < < 41 - i1_0, 41 - i1_0 > >
2.29/2.36	
2.29/2.36	
2.38/2.41	EOF