113.43/113.49	YES
113.43/113.49	
113.43/113.49	
113.43/113.49	Termination: (Ranking Functions Found)
113.43/113.49	------------
113.43/113.49	l26: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l28: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l29: < < k_0 - kk_0 > >
113.43/113.49	l23: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l10: < < k_0 - kk_0 > >
113.43/113.49	l35: < < facm_0 - j_0 > >
113.43/113.49	l40: < < -6 * j_0 + 3 * m4_0 >, < -2 * j_0 + m4_0 > >
113.43/113.49	l19: < < k_0 - kk_0 >, < -4 * joff_0 >, < - j_0 + m4_0 > >
113.43/113.49	l16: < < k_0 - kk_0 >, < 2 * facm_0 - j_0 > >
113.43/113.49	l12: < < k_0 - kk_0 > >
113.43/113.49	l21: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l39: < < -6 * j_0 + 3 * m4_0 >, < -2 * j_0 + 2 * mm_0 > >
113.43/113.49	l37: < < -6 * j_0 -2 * m43_0 + 20 * m_0 >, < 4 * facm_0 -2 * j_0 > >
113.43/113.49	l22: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l34: < < facm_0 - j_0 > >
113.43/113.49	l9: < < k_0 - kk_0 > >
113.43/113.49	l20: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l11: < < k_0 - kk_0 > >
113.43/113.49	l13: < < k_0 - kk_0 > >
113.43/113.49	l36: < < -6 * j_0 + 12 * m_0 > >
113.43/113.49	l27: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l8: < < k_0 - kk_0 > >
113.43/113.49	l41: < < 12 * facm_0 -6 * j_0 >, < -2 * j_0 + 4 * m_0 > >
113.43/113.49	l18: < < k_0 - kk_0 >, < -4 * joff_0 - m44_0 + 2 * mm_0 >, < - joff_0 > >
113.43/113.49	l24: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l25: < < k_0 - kk_0 >, < -4 * joff_0 >, < - joff_0 > >
113.43/113.49	l6: < < -1 + k_0 - kk_0 > >
113.43/113.49	l7: < < k_0 - kk_0 > >
113.43/113.49	l17: < < k_0 - kk_0 >, < -4 * joff_0 >, < 4 * facm_0 - j_0 > >
113.43/113.49	l14: < < k_0 - kk_0 > >
113.43/113.49	l15: < < k_0 - kk_0 >, < 2 * facm_0 - j_0 > >
113.43/113.49	
113.43/113.49	
113.52/113.55	EOF