136.59/136.63	YES
136.59/136.63	
136.59/136.63	
136.59/136.63	Termination: (Ranking Functions Found)
136.59/136.63	------------
136.59/136.63	l10: < < - i9_0 + n_0 > >
136.59/136.63	l9: < < -1 + __const_5_0 - i9_0 >, < -1 + i9_0 - j10_0 > >
136.59/136.63	l26: < < - i_0 + n_0, __const_5_0 - i_0 > >
136.59/136.63	l11: < < -1 - i9_0 + n_0 >, < i9_0 - j10_0 > >
136.59/136.63	l0: < < - i9_0 + i_0 >, < i_0 - j10_0, 0 > >
136.59/136.63	l25: < < __const_5_0 - i_0, 0 >, < - j_0 + n_0 > >
136.59/136.63	l3: < < i9_0 > >
136.59/136.63	l12: < < - i9_0 + i_0 >, < __const_5_0 - j10_0 > >
136.59/136.63	l5: < < i9_0 > >
136.59/136.63	l23: < < - i_0 + n_0, 0 >, < __const_5_0 - j_0 > >
136.59/136.63	l21: < < - i9_0 + i_0 > >
136.59/136.63	l15: < < - i9_0 + i_0 >, < - j10_0 + n_0 >, < j10_0 - k11_0, 0 > >
136.59/136.63	l27: < < __const_5_0 - i_0, __const_5_0 - i_0 > >
136.59/136.63	l19: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, 0 > >
136.59/136.63	l24: < < __const_5_0 - i_0, 0 >, < __const_5_0 - j_0 > >
136.59/136.63	l2: < < i9_0 >, < __const_5_0 - j10_0 > >
136.59/136.63	l13: < < - i9_0 + i_0 >, < - j10_0 + n8_0 > >
136.59/136.63	l1: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, -1 + i_0 - j10_0 > >
136.59/136.63	l7: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, 0 >, < i9_0 - k11_0 > >
136.59/136.63	l4: < < i9_0 >, < __const_5_0 - j10_0 > >
136.59/136.63	l17: < < - i9_0 + i_0 > >
136.59/136.63	l14: < < __const_5_0 - i9_0 > >
136.59/136.63	l8: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, 0 >, < i9_0 - k11_0 > >
136.59/136.63	l22: < < __const_5_0 - i_0, 0 >, < __const_5_0 - j_0 > >
136.59/136.63	l20: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, -1 + i_0 - n8_0 > >
136.59/136.63	l16: < < - i9_0 + i_0 >, < __const_5_0 - j10_0 >, < -1 + j10_0 - k11_0, i9_0 - k11_0 > >
136.59/136.63	l18: < < - i9_0 + i_0 >, < -1 + i_0 - j10_0, 0 > >
136.59/136.63	
136.59/136.63	
136.66/136.69	EOF