106.29/106.35	YES
106.29/106.35	
106.29/106.35	
106.29/106.35	Termination: (Ranking Functions Found)
106.29/106.35	------------
106.29/106.35	l48: < < -1 + a_144_0 > >
106.29/106.35	l46: < < -1 + a_144_0 > >
106.29/106.35	l2: < < a_234_0 > >
106.29/106.35	l47: < < -1 + a_144_0 > >
106.29/106.35	l45: < < -1 + a_144_0 > >
106.29/106.35	l9: < < -1 + a_234_0 > >
106.29/106.35	l4: < < a_257_0 > >
106.29/106.35	l7: < < -1 + a_234_0 > >
106.29/106.35	l10: < < -1 + a_234_0 > >
106.29/106.35	l40: < < - i_28_0 + length_27_0 > >
106.29/106.35	l49: < < a_181_0 > >
106.29/106.35	l5: < < -1 + a_234_0 > >
106.29/106.35	l64: < < -1 - i_92_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
106.29/106.35	l8: < < -1 + a_234_0 > >
106.29/106.35	l6: < < -1 + a_234_0 > >
106.29/106.35	l41: < < a_144_0 > >
106.29/106.35	l44: < < a_181_0 > >
106.29/106.35	
106.29/106.35	
106.41/106.45	EOF