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