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