27.07/27.14	YES
27.07/27.14	
27.07/27.14	
27.07/27.14	Termination: (Ranking Functions Found)
27.07/27.14	------------
27.07/27.14	l0: < < - k_0 + n_0 >, < 1 - i_0 + n_0 > >
27.07/27.14	l9: < < -1 - k_0 + n_0 >, < - j_0 + n_0 > >
27.07/27.14	l15: < < -1 - k_0 + n_0 > >
27.07/27.14	l10: < < -1 - k_0 + n_0 >, < 1 - j_0 + n_0 > >
27.07/27.14	l14: < < - k_0 + n_0 > >
27.07/27.14	l20: < < -1 - k_0 + n_0 > >
27.07/27.14	l23: < < -1 - k_0 + n_0 > >
27.07/27.14	l16: < < -1 - k_0 + n_0 > >
27.07/27.14	l1: < < -1 - k_0 + n_0 > >
27.07/27.14	l17: < < - k_0 + n_0 > >
27.07/27.14	l22: < < -1 - k_0 + n_0 > >
27.07/27.14	l8: < < -1 - k_0 + n_0 >, < 1 - j_0 + n_0 > >
27.07/27.14	l3: < < - k_0 + n_0 >, < 1 - i_0 + n_0 > >
27.07/27.14	l13: < < -1 - k_0 + n_0 > >
27.07/27.14	l7: < < -1 - k_0 + n_0 >, < - j_0 + n_0 > >
27.07/27.14	l11: < < -1 - k_0 + n_0 >, < 1 - j_0 + n_0 > >
27.07/27.14	l24: < < -1 - k_0 + n_0 > >
27.07/27.14	l26: < < - k_0 + n_0 >, < - i_0 + n_0 > >
27.07/27.14	l2: < < - k_0 + n_0 >, < - i_0 + n_0 > >
27.07/27.14	l12: < < -1 - k_0 + n_0 >, < 1 - j_0 + n_0 > >
27.07/27.14	
27.07/27.14	
27.18/27.21	EOF