30.83/30.90	YES
30.83/30.90	
30.83/30.90	
30.83/30.90	Termination: (Ranking Functions Found)
30.83/30.90	------------
30.83/30.90	l1: < < i_8_0 - len_246_0 > >
30.83/30.90	l20: < < i_8_0 - len_246_0 > >
30.83/30.90	l19: < < -1 + i_8_0 - k_296_0 > >
30.83/30.90	l12: < < -1 - k_296_0 + length_7_0 > >
30.83/30.90	l14: < < -1 + i_8_0 - len_246_0 > >
30.83/30.90	l10: < < __const_17_0 - i_8_0 > >
30.83/30.90	l13: < < -1 - __patmp1_0 + i_8_0 > >
30.83/30.90	l0: < < -1 - i_8_0 + length_7_0 > >
30.83/30.90	
30.83/30.90	
30.90/30.97	EOF