16.61/16.65	YES
16.61/16.65	
16.61/16.65	
16.61/16.65	Termination: (Ranking Functions Found)
16.61/16.65	------------
16.61/16.65	l20: < < - m_0 + n_0 > >
16.61/16.65	l21: < < - m_0 + n_0 > >
16.61/16.65	l10: < < - m_0 + n_0 >, < - i_0 + n_0 > >
16.61/16.65	l13: < < - m_0 + n_0 >, < 1 - i_0 + n_0 >, < - i_0 + j_0 > >
16.61/16.65	l16: < < 1 - m_0 + n_0 > >
16.61/16.65	l9: < < - m_0 + n_0 >, < - i_0 + n_0 > >
16.61/16.65	l19: < < - m_0 + n_0 > >
16.61/16.65	l7: < < - m_0 + n_0 >, < 1 - i_0 + n_0 >, < - i_0 + j_0 > >
16.61/16.65	l3: < < 1 - m_0 + n_0 >, < 1 - j_0 + n_0 > >
16.61/16.65	l8: < < - m_0 + n_0 >, < - i_0 + n_0 > >
16.61/16.65	l5: < < 1 - m_0 + n_0 > >
16.61/16.65	l14: < < - m_0 + n_0 >, < 1 - i_0 + n_0 >, < - i_0 + j_0 > >
16.61/16.65	l12: < < - m_0 + n_0 >, < 1 - i_0 + n_0 > >
16.61/16.65	l15: < < - m_0 + n_0 > >
16.61/16.65	l22: < < 1 - m_0 + n_0 >, < - j_0 + n_0 > >
16.61/16.65	l2: < < 1 - m_0 + n_0 >, < - j_0 + n_0 > >
16.61/16.65	l11: < < - m_0 + n_0 >, < 1 - i_0 + n_0 > >
16.61/16.65	l4: < < - m_0 + n_0 > >
16.61/16.65	l18: < < - m_0 + n_0 > >
16.61/16.65	l1: < < - m_0 + n_0 > >
16.61/16.65	l6: < < - m_0 + n_0 >, < - i_0 + n_0 >, < -1 - i_0 + j_0 > >
16.61/16.65	l0: < < 1 - m_0 + n_0 >, < 1 - j_0 + n_0 > >
16.61/16.65	
16.61/16.65	
16.67/16.72	EOF