180.61/180.73	YES
180.61/180.73	
180.61/180.73	
180.61/180.73	Termination: (Ranking Functions Found)
180.61/180.73	------------
180.61/180.73	l15: < < a_330_0 > >
180.61/180.73	l88: < < a_241_0 > >
180.61/180.73	l91: < < a_241_0 > >
180.61/180.73	l18: < < a_330_0 > >
180.61/180.73	l36: < < 1 + a_147_0 > >
180.61/180.73	l41: < < a_147_0 > >
180.61/180.73	l81: < < - i_30_0 + length_29_0 > >
180.61/180.73	l42: < < 1 + a_184_0 > >
180.61/180.73	l84: < < -1 - i_94_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > >
180.61/180.73	l16: < < a_330_0 > >
180.61/180.73	l39: < < 1 + a_184_0 > >
180.61/180.73	l13: < < a_330_0 > >
180.61/180.73	l14: < < a_330_0 > >
180.61/180.73	l40: < < a_147_0 > >
180.61/180.73	l90: < < a_241_0 > >
180.61/180.73	l10: < < 1 + a_330_0 > >
180.61/180.73	l89: < < - a_147_0 + i_30_0 - len_226_0 > >
180.61/180.73	l4: < < 1 + a_241_0 > >
180.61/180.73	l43: < < a_147_0 > >
180.61/180.73	l12: < < 1 + a_353_0 > >
180.61/180.73	l87: < < 1 + a_241_0 > >
180.61/180.73	l17: < < a_330_0 > >
180.61/180.73	l44: < < a_147_0 > >
180.61/180.73	l92: < < a_241_0 > >
180.61/180.73	
180.61/180.73	
180.75/180.81	EOF