31.86/31.93	YES
31.86/31.93	
31.86/31.93	
31.86/31.93	Termination: (Ranking Functions Found)
31.86/31.93	------------
31.86/31.93	l24: < < - i_27_0 + length_26_0 > >
31.86/31.93	l8: < < a_162_0 + i_108_0 > >
31.86/31.93	l6: < < a_117_0 + a_139_0 > >
31.86/31.93	l2: < < a_117_0 + a_139_0 > >
31.86/31.93	l5: < < a_117_0 + a_139_0 > >
31.86/31.93	l9: < < a_162_0 + i_108_0 > >
31.86/31.93	l7: < < a_117_0 + a_139_0 > >
31.86/31.93	l4: < < a_117_0 + a_139_0 > >
31.86/31.93	l30: < < -1 - i_90_0 + length_26_0 > >
31.86/31.93	
31.86/31.93	
31.97/32.00	EOF