200.68/200.81	YES
200.68/200.81	
200.68/200.81	
200.68/200.81	Termination: (Ranking Functions Found)
200.68/200.81	------------
200.68/200.81	l19: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l31: < < 1 - i_0 + n_0 >, < - i_0 + n_0 > >
200.68/200.81	l64: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < i_0 >, < i_0 - j_0 > >
200.68/200.81	l18: < < 1 - i_0 + n_0 >, < - i_0 + n_0 > >
200.68/200.81	l3: < < __const_200_0 - its_0 > >
200.68/200.81	l38: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l61: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < - i_0 + n_0 > >
200.68/200.81	l33: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l28: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l15: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l46: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l54: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l56: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l37: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l23: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l13: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l34: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l22: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l24: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l65: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < i_0 > >
200.68/200.81	l40: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l63: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < i_0 > >
200.68/200.81	l20: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l17: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 > >
200.68/200.81	l5: < < - i_0 + n_0 >, < -1 - i_0 + n_0 > >
200.68/200.81	l60: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < - i_0 + n_0 > >
200.68/200.81	l1: < < __const_200_0 - its_0 - skip_0 > >
200.68/200.81	l10: < < -1 + __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l8: < < __const_200_0 - its_0 > >
200.68/200.81	l21: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 >, < i_0 - j_0 > >
200.68/200.81	l82: < < __const_200_0 - its_0 - skip_0 > >
200.68/200.81	l11: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l51: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l0: < < __const_200_0 - its_0 > >
200.68/200.81	l6: < < 1 - i_0 + n_0 >, < - i_0 + n_0 > >
200.68/200.81	l30: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l58: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l36: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 > >
200.68/200.81	l49: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l26: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 > >
200.68/200.81	l16: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 > >
200.68/200.81	l25: < < __const_200_0 - its_0 >, < __const_200_0 - its_0 >, < i_0 - k_0 > >
200.68/200.81	l62: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 >, < i_0 >, < i_0 - j_0 > >
200.68/200.81	l45: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	l7: < < __const_200_0 - its_0 > >
200.68/200.81	l9: < < __const_200_0 - its_0 > >
200.68/200.81	l44: < < -1 + __const_200_0 - its_0 >, < -1 + __const_200_0 - its_0 > >
200.68/200.81	
200.68/200.81	
200.76/200.87	EOF