133.96/134.04	YES
133.96/134.04	
133.96/134.04	
133.96/134.04	Termination: (Ranking Functions Found)
133.96/134.04	------------
133.96/134.04	l11: < < 1 + 2 * a_271_0 + len_270_0 >, < a_215_0 > >
133.96/134.04	l37: < < - i_27_0 + length_14_0 > >
133.96/134.04	l10: < < 2 * a_215_0 + len_200_0 >, < 1 + a_271_0 > >
133.96/134.04	l5: < < a_271_0 + i_114_0 >, < 1 + a_271_0 > >
133.96/134.04	l12: < < -1 + a_215_0 + i_114_0 >, < a_215_0 > >
133.96/134.04	l8: < < 2 * a_215_0 + len_270_0 >, < 2 + a_271_0 > >
133.96/134.04	l9: < < 2 * a_215_0 + len_200_0 >, < a_143_0 - len_200_0 > >
133.96/134.04	l49: < < - i_27_0 + length_25_0 > >
133.96/134.04	l7: < < a_215_0 + i_114_0 >, < 1 + a_215_0 > >
133.96/134.04	l0: < < 1 + a_143_0 + a_215_0 >, < 1 + a_215_0 > >
133.96/134.04	l6: < < 1 + 2 * a_215_0 + len_200_0 >, < 1 + a_215_0 > >
133.96/134.04	
133.96/134.04	
134.09/134.12	EOF