105.69/105.78	YES
105.69/105.78	
105.69/105.78	
105.69/105.78	Termination: (Ranking Functions Found)
105.69/105.78	------------
105.69/105.78	l7: < < a_215_0 > >
105.69/105.78	l12: < < -1 + a_215_0 > >
105.69/105.78	l8: < < a_215_0 > >
105.69/105.78	l49: < < - i_27_0 + length_25_0 > >
105.69/105.78	l5: < < a_271_0 > >
105.69/105.78	l37: < < - i_27_0 + length_14_0 > >
105.69/105.78	l0: < < a_215_0 > >
105.69/105.78	l9: < < a_215_0 > >
105.69/105.78	l6: < < a_215_0 > >
105.69/105.78	l10: < < a_143_0 - len_200_0 > >
105.69/105.78	l11: < < a_215_0 > >
105.69/105.78	
105.69/105.78	
105.78/105.85	EOF