YES


Termination: (Ranking Functions Found)
------------
l1: < < a_924_0 > >
l119: < < 2 * i_27_0 + i_30_0, 0 > >
l120: < < 1 + a_1162_0 > >
l131: < < -2 + 2 * i_106_0 + i_107_0, 0 > >
l132: < < -2 + 2 * i_27_0 + i_30_0, 2 * i_27_0 > >
l133: < < -2 + 2 * i_27_0 + i_30_0, 2 * i_27_0 > >
l134: < < -2 + 2 * i_27_0 + i_30_0, 2 * i_27_0 > >
l135: < < -2 + 2 * i_27_0 + i_30_0, 2 * i_27_0 > >
l136: < < i_107_0 + 2 * i_27_0, 0 > >
l137: < < 2 * i_27_0 + i_30_0, 0 > >
l138: < < -2 + 2 * i_106_0 + i_107_0, 0 > >
l146: < < -i_30_0 + length_29_0 > >
l150: < < 1 + a_1162_0 > >
l151: < < a_1162_0 > >
l152: < < a_1162_0 > >
l153: < < a_1162_0 > >
l154: < < a_1162_0 > >
l155: < < a_1162_0 > >
l156: < < 1 + a_1236_0 > >
l16: < < i_113_0 -len_161_0 >, < a_176_0 > >
l169: < < a_947_0 > >
l17: < < -1 + a_176_0 > >
l170: < < -1 + a_924_0 > >
l171: < < -1 + a_924_0 > >
l172: < < -1 + a_924_0 > >
l173: < < -1 + a_924_0 > >
l174: < < -1 + a_924_0 > >
l175: < < -1 + a_924_0 > >
l18: < < -1 + a_176_0 > >
l19: < < -1 + a_176_0 > >
l20: < < -1 + a_176_0 > >
l21: < < -1 + a_176_0 > >
l22: < < -1 + a_176_0 > >
l222: < < -1 -i_94_0 + length_29_0 > >
l23: < < a_239_0 >, < i_229_0 > >
l24: < < a_176_0 >, < i_27_0 > >
l25: < < a_176_0 >, < i_27_0 > >
l26: < < a_176_0 >, < i_27_0 > >
l27: < < a_176_0 >, < i_27_0 > >
l28: < < a_239_0 >, < i_229_0 > >
l29: < < a_176_0 >, < i_229_0 > >
l30: < < a_239_0 >, < i_229_0 > >
l31: < < a_176_0 >, < i_229_0 > >
l32: < < a_176_0 >, < i_229_0 > >
l35: < < 1 + a_176_0 >, < a_862_0 > >
l36: < < a_176_0 >, < -1 + a_176_0 > >
l37: < < a_176_0 >, < -1 + a_176_0 > >
l38: < < a_176_0 >, < -1 + a_176_0 > >
l39: < < a_176_0 >, < -1 + a_176_0 > >
l40: < < a_176_0 >, < -1 + a_176_0 > >
l41: < < a_176_0 > >
l42: < < a_176_0 > >
l43: < < a_176_0 > >
l44: < < a_176_0 > >
l45: < < a_176_0 > >
l46: < < a_176_0 > >
l47: < < a_176_0 > >
l48: < < a_176_0 > >
l49: < < i_27_0, 0 > >
l61: < < i_1248_0 -result_dot_nondet_sdv_special_RETURN_VALUE_13_0, 0 > >
l62: < < -1 + i_27_0, -1 + i_27_0 > >
l63: < < -1 + i_27_0, -1 + i_27_0 > >
l64: < < -1 + i_27_0, 0 > >
l65: < < -1 + i_27_0, 0 > >
l66: < < i_1248_0 -result_dot_nondet_sdv_special_RETURN_VALUE_13_0, 0 > >
l67: < < i_1248_0 -result_dot_nondet_sdv_special_RETURN_VALUE_13_0, 0 > >
l68: < < -1 + i_1248_0, 0 > >
l8: < < 1 + a_121_0 -len_161_0 >, < 1 + i_27_0 > >


method 1