168.26/168.33	YES
168.26/168.33	
168.26/168.33	
168.26/168.33	Termination: (Ranking Functions Found)
168.26/168.33	------------
168.26/168.33	n_l6___48: < < - N_0 + 2 * z_0 > >
168.26/168.33	n_l2___42: < < 2 * z_0 >, < -2 > >
168.26/168.33	n_l2___20: < < 0 >, < 0 > >
168.26/168.33	n_n_l6___21___15: < < -2 * walker_0 + 2 * z_0 > >
168.26/168.33	n_l3___27: < < 0 >, < 0 > >
168.26/168.33	n_l2___23: < < 0 >, < 0 > >
168.26/168.33	n_l6___21: < < 0 >, < 0 > >
168.26/168.33	n_l2___25: < < 0 >, < 0 > >
168.26/168.33	n_n_l3___28___19: < < 2 * i_0 -2 * walker_0 + 2 * z_0 > >
168.26/168.33	n_l3___28: < < 2 - walker_0 >, < 2 - walker_0 > >
168.26/168.33	n_n_l6___26___18: < < -4 + 2 * z_0 > >
168.26/168.33	n_l3___40: < < -2 + 2 * z_0 > >
168.26/168.33	n_n_l2___20___14: < < 2 * z_0 > >
168.26/168.33	n_l3___45: < < 2 * z_0 >, < 4 -2 * walker_0 > >
168.26/168.33	n_l6___43: < < 2 * z_0 >, < - N_0 > >
168.26/168.33	n_l2___12: < < 0 >, < 0 > >
168.26/168.33	n_n_l2___25___17: < < - seq_0 + 2 * z_0 > >
168.26/168.33	n_l2___22: < < 0 >, < 0 > >
168.26/168.33	n_l2___47: < < 2 * z_0 > >
168.26/168.33	n_l5___24: < < 0 >, < 0 > >
168.26/168.33	n_l6___26: < < 0 >, < 0 > >
168.26/168.33	n_l5___19: < < 0 >, < 0 > >
168.26/168.33	
168.26/168.33	
168.34/168.40	EOF