99.19/99.26	YES
99.19/99.26	
99.19/99.26	
99.19/99.26	Termination: (Ranking Functions Found)
99.19/99.26	------------
99.19/99.26	l3: < < a_215_0 + a_237_0 > >
99.19/99.26	l48: < < a_147_0 > >
99.19/99.26	l45: < < a_147_0 > >
99.19/99.26	l2: < < 1 + a_215_0 + a_237_0 > >
99.19/99.26	l38: < < -1 - i_30_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
99.19/99.26	l6: < < a_260_0 + len_132_0 > >
99.19/99.26	l7: < < a_260_0 + len_132_0 > >
99.19/99.26	l44: < < 1 + i_30_0 - len_132_0 > >
99.19/99.26	l65: < < - i_30_0 + length_29_0 > >
99.19/99.26	l8: < < a_260_0 + len_132_0 > >
99.19/99.26	l5: < < -1 + a_237_0 + len_132_0 > >
99.19/99.26	l41: < < 1 + a_147_0 > >
99.19/99.26	l47: < < 1 + a_184_0 > >
99.19/99.26	l4: < < a_215_0 + a_237_0 > >
99.19/99.26	l49: < < a_147_0 > >
99.19/99.26	l0: < < 1 + a_215_0 + a_237_0 > >
99.19/99.26	l46: < < a_147_0 > >
99.19/99.26	
99.19/99.26	
99.25/99.34	EOF