246.38/246.45	YES
246.38/246.45	
246.38/246.45	
246.38/246.45	Termination: (Ranking Functions Found)
246.38/246.45	------------
246.38/246.45	n_l15___132: < < z_0 > >
246.38/246.45	n_l0___2: < < z_0 > >
246.38/246.45	n_l6___138: < < z_0 > >
246.38/246.45	n_l4___137: < < z_0 > >
246.38/246.45	n_l6___116: < < 2 * z_0 >, < 2 * z_0 > >
246.38/246.45	n_l4___115: < < 2 * z_0 > >
246.38/246.45	n_l4___69: < < 2 * z_0 > >
246.38/246.45	n_l4___135: < < z_0 > >
246.38/246.45	n_l6___71: < < 2 * z_0 > >
246.38/246.45	n_l15___110: < < 2 * z_0 >, < -2 * pattern_0 + 2 * z_0 > >
246.38/246.45	n_l15___48: < < - it_0 + 2 * z_0 > >
246.38/246.45	n_l4___136: < < z_0 > >
246.38/246.45	n_l0___111: < < 2 * z_0 > >
246.38/246.45	n_l4___114: < < 2 * z_0 > >
246.38/246.45	n_l0___133: < < z_0 >, < z_0 > >
246.38/246.45	n_l4___68: < < 2 * z_0 > >
246.38/246.45	n_l15___8: < < - yy_0 + z_0 >, < - seqlen_0 + z_0 > >
246.38/246.45	n_l4___113: < < 2 * z_0 >, < 2 * z_0 > >
246.38/246.45	n_l0___67: < < 2 * z_0 >, < - it_0 + 2 * z_0 > >
246.38/246.45	n_l6___6: < < z_0 >, < z_0 > >
246.38/246.45	n_l4___4: < < z_0 >, < z_0 > >
246.38/246.45	n_l4___70: < < 2 * z_0 > >
246.38/246.45	n_l4___5: < < z_0 >, < z_0 > >
246.38/246.45	n_l4___3: < < z_0 > >
246.38/246.45	
246.38/246.45	
246.40/246.52	EOF