239.85/239.92	YES
239.85/239.92	
239.85/239.92	
239.85/239.92	Termination: (Ranking Functions Found)
239.85/239.92	------------
239.85/239.92	n_l5___6: < < 502 * d_0 -4 * s_0 > >
239.85/239.92	n_l4___123: < < 253 * c_0 -253 * f_0 >, < 6 * c_0 -6 * f_0 > >
239.85/239.92	l0: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l0___120: < < 253 * c_0 >, < 6 * c_0 > >
239.85/239.92	n_l0___139: < < s_0 > >
239.85/239.92	l4: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l9___142: < < s_0 > >
239.85/239.92	l2: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l4___5: < < 502 * d_0 -4 * s_0 > >
239.85/239.92	l3: < < - f_0 >, < - f_0 > >
239.85/239.92	l10: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l5___141: < < s_0 > >
239.85/239.92	n_l2___42: < < 253 * c_0 >, < 6 * c_0 -4 * d_0 > >
239.85/239.92	n_l12___21: < < 251 + s_0 >, < 2 + 2 * c_0 > >
239.85/239.92	l5: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l5___134: < < 253 * c_0 >, < 2 * c_0 >, < 2 * c_0 - d_0 > >
239.85/239.92	l13: < < - f_0 >, < - f_0 > >
239.85/239.92	l14: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l4___133: < < 506 >, < 2 * c_0 >, < 2 * c_0 -2 * f_0 > >
239.85/239.92	l15: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l11___19: < < 251 + s_0 >, < 2 * c_0 + d_0 > >
239.85/239.92	n_l0___4: < < 502 * d_0 -4 * s_0 > >
239.85/239.92	n_l9___7: < < 1020 -4 * s_0 > >
239.85/239.92	l9: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l0___130: < < 506 * f_0 >, < 2 * c_0 + 2 * f_0 >, < 2 * c_0 > >
239.85/239.92	l8: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l12___138: < < -4 * d_0 + s_0 > >
239.85/239.92	n_l4___140: < < s_0 > >
239.85/239.92	n_l2___2: < < 251 * c_0 -4 * s_0 > >
239.85/239.92	n_l15___41: < < 253 * c_0 >, < 6 * c_0 -4 * f_0 > >
239.85/239.92	n_l9___135: < < 253 * c_0 >, < 2 * c_0 >, < 2 * c_0 > >
239.85/239.92	l1: < < - f_0 >, < - f_0 > >
239.85/239.92	l12: < < - f_0 >, < - f_0 > >
239.85/239.92	n_l2___20: < < 506 >, < 2 * c_0 >, < 2 * c_0 > >
239.85/239.92	n_l5___124: < < -253 + 253 * c_0 >, < 6 * c_0 -6 * f_0 > >
239.85/239.92	n_l12___43: < < 253 * c_0 -253 * d_0 > >
239.85/239.92	n_l9___125: < < -253 + 253 * c_0 >, < 6 * c_0 -6 * f_0 > >
239.85/239.92	l11: < < - f_0 >, < - f_0 > >
239.85/239.92	
239.85/239.92	
239.92/239.98	EOF