104.19/104.27	YES
104.19/104.27	
104.19/104.27	
104.19/104.27	Termination: (Ranking Functions Found)
104.19/104.27	------------
104.19/104.27	l10: < < -1 + a_234_0 >, < -1 + a_234_0 > >
104.19/104.27	l4: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l44: < < a_144_0 > >
104.19/104.27	l49: < < -1 + a_144_0 > >
104.19/104.27	l45: < < -1 + a_144_0 > >
104.19/104.27	l41: < < a_144_0 > >
104.19/104.27	l8: < < 1 + a_257_0 >, < a_234_0 > >
104.19/104.27	l6: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l46: < < -1 + a_144_0 > >
104.19/104.27	l9: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l48: < < i_28_0 - len_180_0 > >
104.19/104.27	l2: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l47: < < a_181_0 > >
104.19/104.27	l7: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l64: < < - i_28_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
104.19/104.27	l5: < < a_234_0 >, < a_234_0 > >
104.19/104.27	l40: < < - i_28_0 + length_27_0 > >
104.19/104.27	
104.19/104.27	
104.25/104.35	EOF