163.02/163.07	YES
163.02/163.07	
163.02/163.07	
163.02/163.07	Termination: (Ranking Functions Found)
163.02/163.07	------------
163.02/163.07	l21: < < 41 - j10_0, 0 > >
163.02/163.07	l15: < < -40 * j10_0 + 255 * len5_0, 10200 -40 * j10_0 > >
163.02/163.07	l12: < < -8 * j24_0 + 2040 * jrev21_0 >, < -40 * i1128_0 + 7 * n_0, -40 * i1128_0 + 280 * jrev21_0 > >
163.02/163.07	l22: < < - j10_0 + len5_0, - j10_0 + len5_0 > >
163.02/163.07	l25: < < - j10_0 + len5_0, 0 > >
163.02/163.07	l9: < < -8 * j24_0 + 51 * n_0 >, < -40 * i1128_0 + 280 * jrev7_0, 0 > >
163.02/163.07	l2: < < 42 * j10_0 -41 * j24_0, 0 > >
163.02/163.07	l30: < < 10200 * init_0 -40 * j10_0, 0 >, < -5 * i1114_0 + 35 * init_0, 0 > >
163.02/163.07	l11: < < -8 * j24_0 + 2040 * jrev7_0 >, < -40 * i1128_0 + 280 * init_0, 0 > >
163.02/163.07	l18: < < 10200 * init_0 -40 * j10_0, 0 >, < -5 * i1114_0 + n_0, 0 > >
163.02/163.07	l14: < < -40 * j10_0 + 256 * len5_0, 0 > >
163.02/163.07	l29: < < -40 * j10_0 + 255 * n_0, 0 >, < -5 * i1114_0 + 35 * jrev7_0, 0 > >
163.02/163.07	l5: < < 42 * j10_0 -41 * j24_0, 42 * j10_0 -41 * j24_0 > >
163.02/163.07	l10: < < -8 * j24_0 + 2040 * jrev7_0 >, < -40 * i1128_0 + 280 * jrev21_0, 280 -40 * i1128_0 > >
163.02/163.07	l16: < < -8 * j24_0 + 2040 * jrev7_0 > >
163.02/163.07	l4: < < 42 * j10_0 -41 * j24_0, 42 * j10_0 -41 * len19_0 > >
163.02/163.07	l13: < < -8 * j24_0 + 51 * n_0 > >
163.02/163.07	l24: < < - j10_0 + len5_0, 0 > >
163.02/163.07	l19: < < -40 * j10_0 + 255 * len5_0, 0 >, < -5 * i1114_0 + 35 * jrev7_0, -5 * i1114_0 + 35 * jrev7_0 > >
163.02/163.07	l3: < < 42 * j10_0 -41 * j24_0, 42 * j10_0 -41 * j24_0 > >
163.02/163.07	
163.02/163.07	
163.11/163.14	EOF