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