25.69/25.77	YES
25.69/25.77	
25.69/25.77	
25.69/25.77	Termination: (Ranking Functions Found)
25.69/25.77	------------
25.69/25.77	l4: < < a_152_0 > >
25.69/25.77	l24: < < -1 + a_152_0 > >
25.69/25.77	l22: < < a_175_0 > >
25.69/25.77	l30: < < -1 - i_111_0 + len_14_0 > >
25.69/25.77	l21: < < -1 + a_152_0 > >
25.69/25.77	l20: < < -1 + a_152_0 > >
25.69/25.77	l18: < < - i_13_0 + len_14_0 > >
25.69/25.77	l23: < < -1 + a_152_0 > >
25.69/25.77	l19: < < a_175_0 > >
25.69/25.77	
25.69/25.77	
25.76/25.83	EOF