169.97/170.04	YES
169.97/170.04	
169.97/170.04	
169.97/170.04	Termination: (Ranking Functions Found)
169.97/170.04	------------
169.97/170.04	l51: < < a_267_0 > >
169.97/170.04	l50: < < -1 + a_210_0 > >
169.97/170.04	l38: < < - i_33_0 + result_dot_nondet_sdv_special_RETURN_VALUE_14_0 > >
169.97/170.04	l39: < < a_210_0 > >
169.97/170.04	l49: < < -1 + a_210_0 > >
169.97/170.04	l0: < < a_347_0 > >
169.97/170.04	l4: < < -1 + a_347_0 > >
169.97/170.04	l48: < < a_210_0 > >
169.97/170.04	l44: < < -1 - i_111_0 + length_32_0 > >
169.97/170.04	l5: < < -1 + a_347_0 > >
169.97/170.04	l7: < < -1 + a_347_0 > >
169.97/170.04	l52: < < -1 + a_210_0 > >
169.97/170.04	l6: < < -1 + a_347_0 > >
169.97/170.04	l8: < < -1 + a_347_0 > >
169.97/170.04	l2: < < a_347_0 > >
169.97/170.04	l3: < < -1 + a_347_0 > >
169.97/170.04	
169.97/170.04	
170.11/170.12	EOF