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