16.75/16.83	YES
16.75/16.83	
16.75/16.83	
16.75/16.83	Termination: (Ranking Functions Found)
16.75/16.83	------------
16.75/16.83	l3: < < 1 - m1_0 + n_0 >, < k_0 + m2_0 > >
16.75/16.83	l8: < < 1 - m1_0 + n_0 > >
16.75/16.83	l10: < < 1 - m1_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l13: < < 1 - j_0 + n_0 > >
16.75/16.83	l7: < < 1 - m1_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l1: < < - m_0 + n_0 > >
16.75/16.83	l12: < < - m_0 + n_0 > >
16.75/16.83	l11: < < 1 - m1_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l17: < < - m_0 + n_0 > >
16.75/16.83	l9: < < 1 - j_0 + n_0 > >
16.75/16.83	l6: < < - m_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l15: < < 1 - m1_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l14: < < - m_0 + n_0 >, < - j_0 + m1_0 > >
16.75/16.83	l2: < < - m_0 + n_0 >, < k_0 + m2_0 > >
16.75/16.83	
16.75/16.83	
16.88/16.90	EOF