YES Termination: (Ranking Functions Found) ------------ l0: < < 255 * i_8_0 -272 * len_48_0 > > l1: < < a_243_0 > > l2: < < -17 * len_48_0 + 15 * length_7_0 > > l4: < < -1 + a_243_0 > > method 1