YES


Termination: (Ranking Functions Found)
------------
l5: < < -3990 * i8_0 + 3591 * in_len4_0 >, < 315 -35 * i8_0 > >
l1: < < -3990 * i8_0 + 112 * scale7_0 >, < 280 -35 * i8_0 > >
l7: < < 1026 * coef_len6_0 -3990 * i8_0 >, < 280 -35 * i8_0 >, < 1 + acc_length11_0 - j9_0, 0 > >
l0: < < 35910 -3990 * i8_0 > >
l3: < < -3990 * i8_0 + 126 * scale7_0 >, < 315 -35 * i8_0 > >
l2: < < 1026 * coef_len6_0 -3990 * i8_0 > >
l4: < < -3990 * i8_0 + 3591 * in_len4_0 >, < 8 * coef_len6_0 -35 * i8_0 > >
l6: < < -3990 * i8_0 + 126 * scale7_0 >, < -35 * i8_0 + 28 * in_len4_0 >, < acc_length11_0 - j9_0, acc_length11_0 - j9_0 > >