117.92/117.98	YES
117.92/117.98	
117.92/117.98	
117.92/117.98	Termination: (Ranking Functions Found)
117.92/117.98	------------
117.92/117.98	l31: < < a_149_0 > >
117.92/117.98	l38: < < -1 + a_149_0 > >
117.92/117.98	l0: < < - i_30_0 + length_28_0 > >
117.92/117.98	l36: < < -1 + a_149_0 > >
117.92/117.98	l8: < < a_149_0 + a_281_0 > >
117.92/117.98	l39: < < -1 + a_149_0 > >
117.92/117.98	l13: < < -1 + a_149_0 + a_281_0 > >
117.92/117.98	l34: < < a_149_0 > >
117.92/117.98	l12: < < -1 + a_149_0 + a_281_0 > >
117.92/117.98	l35: < < a_118_0 - len_134_0 > >
117.92/117.98	l9: < < a_149_0 + a_281_0 > >
117.92/117.98	l11: < < a_149_0 + a_281_0 > >
117.92/117.98	l6: < < a_149_0 + a_281_0 > >
117.92/117.98	l2: < < -1 - i_95_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
117.92/117.98	l10: < < a_149_0 + a_281_0 > >
117.92/117.98	l7: < < a_281_0 > >
117.92/117.98	l37: < < -1 + a_149_0 > >
117.92/117.98	
117.92/117.98	
118.03/118.06	EOF