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