114.42/114.49	YES
114.42/114.49	
114.42/114.49	
114.42/114.49	Termination: (Ranking Functions Found)
114.42/114.49	------------
114.42/114.49	l60: < < a_328_0 + len_180_0 > >
114.42/114.49	l56: < < 1 + a_283_0 + a_328_0 > >
114.42/114.49	l59: < < -1 + a_305_0 + len_180_0 > >
114.42/114.49	l58: < < -1 + a_305_0 + len_180_0 > >
114.42/114.49	l44: < < a_197_0 > >
114.42/114.49	l48: < < a_197_0 > >
114.42/114.49	l40: < < 1 + a_197_0 > >
114.42/114.49	l43: < < 1 + a_197_0 > >
114.42/114.49	l33: < < - i_44_0 + length_43_0 > >
114.42/114.49	l4: < < 1 + a_283_0 + a_305_0 > >
114.42/114.49	l47: < < 1 + a_247_0 > >
114.42/114.49	l61: < < a_328_0 + len_180_0 > >
114.42/114.49	l57: < < a_283_0 + a_305_0 > >
114.42/114.49	l46: < < a_197_0 > >
114.42/114.49	l45: < < a_197_0 > >
114.42/114.49	l62: < < a_328_0 + len_180_0 > >
114.42/114.49	l39: < < -1 - i_108_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
114.42/114.49	
114.42/114.49	
114.55/114.58	EOF