274.11/274.25	YES
274.11/274.25	
274.11/274.25	
274.11/274.25	Termination: (Ranking Functions Found)
274.11/274.25	------------
274.11/274.25	n_l4___101: < < 2 * c_0 -4 * f_0 >, < -1 + c_0 > >
274.11/274.25	n_l12___106: < < -4 + s_0 > >
274.11/274.25	n_l11___19: < < - c_0 > >
274.11/274.25	l4: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l0___4: < < __const_255_0 -2 * d_0 - s_0 > >
274.11/274.25	n_l0___98: < < 0 >, < c_0 > >
274.11/274.25	l10: < < - f_0 >, < - f_0 > >
274.11/274.25	l13: < < - f_0 >, < - f_0 > >
274.11/274.25	l5: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l9___110: < < s_0 > >
274.11/274.25	n_l4___108: < < s_0 > >
274.11/274.25	l8: < < - f_0 >, < - f_0 > >
274.11/274.25	l1: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l15___41: < < 2 * c_0 -4 * f_0 > >
274.11/274.25	n_l2___2: < < __const_255_0 - c_0 - s_0 > >
274.11/274.25	n_l12___21: < < - c_0 > >
274.11/274.25	n_l5___102: < < 2 * c_0 -2 * d_0 >, < c_0 - f_0 > >
274.11/274.25	n_l9___93: < < 2 * c_0 -6 * d_0 >, < s_0 > >
274.11/274.25	n_l12___43: < < -2 * f_0 >, < -1 + s_0 > >
274.11/274.25	l9: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l4___91: < < 2 * c_0 -6 * f_0 >, < - f_0 + s_0 > >
274.11/274.25	l3: < < - f_0 >, < - f_0 > >
274.11/274.25	l15: < < - f_0 >, < - f_0 > >
274.11/274.25	l2: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l2___42: < < 2 * c_0 -4 * f_0 > >
274.11/274.25	n_l4___5: < < __const_255_0 -2 * d_0 - s_0 > >
274.11/274.25	n_l5___109: < < s_0 > >
274.11/274.25	n_l5___6: < < __const_255_0 - c_0 - s_0 > >
274.11/274.25	l14: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l9___103: < < 2 * c_0 -2 * d_0 >, < c_0 - f_0 > >
274.11/274.25	n_l9___7: < < __const_255_0 - s_0 > >
274.11/274.25	l11: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l0___107: < < s_0 > >
274.11/274.25	n_l2___20: < < 0 >, < c_0 - f_0 > >
274.11/274.25	l12: < < - f_0 >, < - f_0 > >
274.11/274.25	l0: < < - f_0 >, < - f_0 > >
274.11/274.25	n_l5___92: < < -6 + 2 * c_0 >, < - f_0 + s_0 > >
274.11/274.25	n_l0___88: < < -4 + 2 * c_0 >, < - f_0 + s_0 > >
274.11/274.25	
274.11/274.25	
274.22/274.32	EOF