YES


Termination: (Ranking Functions Found)
------------
l0: < < 2 -l_0 + n_0 >, < -k_0 + n_0 > >
l1: < < -i_0 + n_0 > >
l10: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l105: < < i_0, 0 > >
l106: < < i_0, 0 >, < i_0 -j_0 + n_0, 0 > >
l107: < < i_0, 0 >, < -1 + i_0 -j_0 + n_0, -j_0 + n_0 > >
l108: < < i_0, 0 > >
l109: < < i_0, 0 > >
l11: < < 1 -i_0 + n_0 >, < -j_0 + n_0 > >
l110: < < -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l111: < < -i_0 + n_0 >, < -j_0 + n_0 >, < 1 -l_0 + n_0 > >
l112: < < -i_0 + n_0 > >
l113: < < -i_0 + n_0 > >
l12: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l13: < < 1 -i_0 + n_0 >, < -j_0 + n_0 > >
l14: < < -its_0 + 30 * k_0 >, < flag_0 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 > >
l15: < < -its_0 + 30 * k_0 >, < flag_0 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 > >
l16: < < 1 -i_0 + n_0 >, < -j_0 + n_0 > >
l17: < < 1 -i_0 + n_0 >, < -j_0 + n_0 > >
l18: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l19: < < -flag_0 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 >, < flag_0 -i_0 + 2 * k_0, -flag_0 + k_0 > >
l2: < < 1 -i_0 + n_0 >, < -k_0 + n_0 > >
l20: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 >, < -i_0 + 2 * k_0, -i_0 + 2 * k_0 > >
l21: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l22: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l23: < < -flag_0 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 >, < -i_0 + 2 * k_0, k_0 >, < 1 -j_0 + m_0, 0 > >
l24: < < -flag_0 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 >, < -i_0 + 2 * k_0, k_0 >, < -j_0 + m_0, -j_0 + m_0 > >
l25: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l26: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l27: < < 2 -l_0 + n_0 >, < -j_0 + n_0 >, < 1 -l_0 + n_0 > >
l28: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * l_0 >, < -1 -its_0 + 30 * l_0 >, < -j_0 + n_0 -z_0, 0 > >
l29: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * l_0 >, < -1 -its_0 + 30 * l_0 >, < -1 -j_0 + n_0 -z_0, -j_0 + n_0 > >
l3: < < 2 -l_0 + n_0 >, < i_0 -j_0 >, < -i_0 + n_0 > >
l30: < < 2 -l_0 + n_0 >, < -j_0 + n_0 >, < 1 -l_0 + n_0 >, < -k_0 + m_0 > >
l31: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 >, < -k_0 + m_0 > >
l32: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < 1 -l_0 + n_0 > >
l33: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l34: < < 1 + i_0, 0 > >
l35: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < 2 -j_0 + nm_0, 0 > >
l36: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < -j_0 + k_0, -j_0 + k_0 > >
l37: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l38: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < -1 + k_0 > >
l39: < < 29 -its_0 + 30 * k_0 >, < 29 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 >, < k_0 > >
l4: < < 1 -l_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l40: < < 29 -its_0 + 30 * nm_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < 1 -i_0 + k_0, 0 >, < -jj_0 + m_0 + nm_0, -jj_0 + m_0 > >
l41: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < -j_0 + k_0, 0 >, < -jj_0 + k_0 + m_0, 0 > >
l42: < < -1 -its_0 + 30 * k_0 >, < 29 -its_0 + 29 * nm_0 >, < -i_0 -its_0 + j_0 + k_0 + 29 * l_0 >, < 2 -i_0 + nm_0, 0 > >
l43: < < 29 -its_0 + 30 * nm_0 >, < 29 -its_0 + 29 * nm_0 >, < -its_0 + 29 * l_0 + nm_0 >, < 1 -i_0 + k_0, 0 > >
l44: < < 29 -its_0 + 30 * nm_0 >, < -its_0 + 29 * k_0 >, < -its_0 + 29 * l_0 + nm_0 >, < 1 -j_0 + nm_0, 0 > >
l45: < < -i_0 -its_0 + j_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -its_0 + 29 * l_0 + nm_0 >, < 1 -i_0 + k_0, 1 -j_0 + nm_0 >, < -jj_0 + n_0 > >
l46: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < 1 -i_0 + k_0, -j_0 + k_0 >, < -jj_0 + n_0 > >
l47: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -its_0 + 29 * l_0 + nm_0 > >
l48: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -its_0 + 29 * l_0 + nm_0 > >
l49: < < -i_0 + n_0 > >
l5: < < 2 -l_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l50: < < -i_0 + n_0 > >
l51: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l52: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l53: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * l_0 >, < -1 -its_0 + 30 * k_0 > >
l54: < < -i_0 + n_0 > >
l55: < < -i_0 + n_0 > >
l56: < < -1 -its_0 + 30 * l_0 >, < -its_0 + 29 * l_0 >, < -1 -its_0 + 30 * k_0 > >
l57: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l58: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 > >
l59: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l6: < < 2 -l_0 + n_0 >, < -j_0 + n_0 >, < 1 -l_0 + n_0 > >
l60: < < -i_0 + n_0 >, < -j_0 + m_0 > >
l61: < < 1 -l_0 + n_0 >, < -j_0 + m_0 > >
l62: < < -i_0 + n_0 >, < -j_0 + m_0 > >
l63: < < -i_0 + n_0 >, < -j_0 + m_0 > >
l64: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < -i_0 + 2 * k_0, k_0 > >
l65: < < -flag_0 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 >, < -i_0 + 2 * k_0, k_0 > >
l66: < < -i_0 + n_0 >, < -j_0 + m_0 > >
l67: < < -i_0 + n_0 >, < -j_0 + m_0 > >
l68: < < -flag_0 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l69: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 > >
l7: < < -its_0 + 30 * k_0 >, < 1 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 >, < k_0 > >
l70: < < -1 -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 >, < -1 -its_0 + k_0 + 29 * l_0 > >
l71: < < -its_0 + 30 * k_0 >, < flag_0 -its_0 + 29 * k_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 > >
l72: < < -its_0 + 30 * k_0 >, < flag_0 -its_0 + 29 * k_0 >, < 28 -its_0 + k_0 + 29 * nm_0 > >
l73: < < -its_0 + 30 * k_0 >, < -its_0 + 29 * k_0 + l_0 -nm_0 >, < -flag_0 -its_0 + k_0 + 29 * l_0 > >
l74: < < -i_0 + n_0 > >
l75: < < -i_0 + n_0 > >
l76: < < -its_0 + 30 * k_0 >, < flag_0 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 28 * l_0 + nm_0 > >
l77: < < 29 -its_0 + 30 * k_0 >, < 29 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 >, < k_0 > >
l79: < < i_0, i_0 > >
l8: < < -its_0 + 30 * k_0 >, < 1 -its_0 + 29 * k_0 >, < -its_0 + k_0 + 29 * l_0 >, < k_0 > >
l84: < < i_0, 0 >, < 1 -j_0 + n_0, 0 > >
l85: < < i_0, 0 >, < -j_0 + n_0, -j_0 + n_0 > >
l9: < < 1 -i_0 + n_0 >, < -j_0 + n_0 >, < -i_0 + n_0 > >
l91: < < i_0, 0 > >
l92: < < i_0, 0 > >


method 1