27.99/28.04	YES
27.99/28.04	
27.99/28.04	
27.99/28.04	Termination: (Ranking Functions Found)
27.99/28.04	------------
27.99/28.04	l23: < < 1 + a_175_0 > >
27.99/28.04	l24: < < 1 + a_175_0 > >
27.99/28.04	l4: < < 1 + a_152_0 > >
27.99/28.04	l19: < < 1 + a_152_0 > >
27.99/28.04	l20: < < a_152_0 > >
27.99/28.04	l18: < < - i_13_0 + len_14_0 > >
27.99/28.04	l22: < < a_152_0 > >
27.99/28.04	l30: < < -1 - i_111_0 + len_14_0 > >
27.99/28.04	l21: < < a_152_0 > >
27.99/28.04	
27.99/28.04	
28.06/28.11	EOF