17.45/17.50	YES
17.45/17.50	
17.45/17.50	
17.45/17.50	Termination: (Ranking Functions Found)
17.45/17.50	------------
17.45/17.50	l3: < < - m_0 + n_0 >, < - j_0 + n_0, - j_0 + n_0 > >
17.45/17.50	l22: < < - m_0 + n_0 >, < - j_0 + n_0, 0 > >
17.45/17.50	l15: < < - m_0 + n_0 >, < -1 - i_0 + j_0 > >
17.45/17.50	l8: < < - m_0 + n_0 >, < -1 - i_0 + j_0 >, < -1 - i_0 + j_0 > >
17.45/17.50	l11: < < - m_0 + n_0 > >
17.45/17.50	l18: < < - m_0 + n_0 >, < - i_0 + j_0 >, < - i_0 + j_0 > >
17.45/17.50	l17: < < - m_0 + n_0 >, < - i_0 + j_0 >, < - i_0 + j_0 > >
17.45/17.50	l14: < < - m_0 + n_0 >, < -1 - i_0 + j_0 > >
17.45/17.50	l9: < < - m_0 + n_0 >, < - i_0 + j_0 >, < - i_0 + j_0 > >
17.45/17.50	l2: < < - m_0 + n_0 >, < 1 - j_0 + n_0, 0 > >
17.45/17.50	l21: < < - m_0 + n_0 >, < - j_0 + n_0, 0 > >
17.45/17.50	l10: < < - m_0 + n_0 > >
17.45/17.50	l6: < < - m_0 + n_0 > >
17.45/17.50	l4: < < - m_0 + n_0 > >
17.45/17.50	l16: < < - m_0 + n_0 >, < - i_0 + j_0 > >
17.45/17.50	l7: < < 1 - m_0 + n_0 > >
17.45/17.50	l20: < < - m_0 + n_0 > >
17.45/17.50	l13: < < - m_0 + n_0 >, < -1 - i_0 + j_0 > >
17.45/17.50	l19: < < - m_0 + n_0 > >
17.45/17.50	l12: < < - m_0 + n_0 >, < -1 - i_0 + j_0 > >
17.45/17.50	l0: < < 1 - m_0 + n_0 > >
17.45/17.50	l5: < < - m_0 + n_0 > >
17.45/17.50	
17.45/17.50	
17.52/17.57	EOF