153.02/153.03	YES
153.02/153.03	
153.02/153.03	
153.02/153.03	Termination: (Ranking Functions Found)
153.02/153.03	------------
153.02/153.03	l26: < < a_309_0 > >
153.02/153.03	l23: < < -1 - i_112_0 + length_29_0 > >
153.02/153.03	l53: < < a_174_0 > >
153.02/153.03	l57: < < a_174_0 > >
153.02/153.03	l54: < < a_174_0 > >
153.02/153.03	l25: < < a_279_0 > >
153.02/153.03	l55: < < a_174_0 > >
153.02/153.03	l32: < < -1 + a_279_0 > >
153.02/153.03	l30: < < -1 + a_279_0 > >
153.02/153.03	l56: < < a_174_0 > >
153.02/153.03	l52: < < 1 + a_174_0 > >
153.02/153.03	l28: < < -1 + a_279_0 > >
153.02/153.03	l1: < < 1 + a_174_0 > >
153.02/153.03	l20: < < - i_31_0 + length_29_0 > >
153.02/153.03	l31: < < -1 + a_279_0 > >
153.02/153.03	l29: < < -1 + a_279_0 > >
153.02/153.03	l27: < < -1 + a_279_0 > >
153.02/153.03	
153.02/153.03	
153.10/153.11	EOF