9.64/9.69	YES
9.64/9.69	
9.64/9.69	
9.64/9.69	Termination: (Ranking Functions Found)
9.64/9.69	------------
9.64/9.69	l1: < < a_243_0 > >
9.64/9.69	l4: < < -1 + a_243_0 > >
9.64/9.69	l2: < < - i_8_0 + length_7_0 > >
9.64/9.69	l0: < < __const_17_0 - i_8_0 > >
9.64/9.69	
9.64/9.69	
9.73/9.75	EOF