294.38/294.45	YES
294.38/294.45	
294.38/294.45	
294.38/294.45	Termination: (Ranking Functions Found)
294.38/294.45	------------
294.38/294.45	l18: < < 9 * nDim_0 -9 * ni_0, 0 > >
294.38/294.45	l20: < < 8 * nDim_0 -9 * ni_0, 0 >, < 72 -9 * nj_0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 72 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 8 * nDim_0 -9 * nj_0 > >
294.38/294.45	l23: < < 8 * nDim_0 -9 * ni_0, 0 > >
294.38/294.45	l8: < < 81 -9 * ni_0, 0 > >
294.38/294.45	l11: < < -9 * ni_0 + 72 * tmp___1_0, 0 >, < -9 * nj_0 + 72 * tmp___1_0 >, < 72 * bNoCapture_0 -9 * nj_0 > >
294.38/294.45	l22: < < 8 * nDim_0 -9 * ni_0, 0 > >
294.38/294.45	l24: < < 8 * nDim_0 -9 * ni_0, 0 > >
294.38/294.45	l5: < < 8 * nDim_0 -9 * ni_0, 0 >, < 7 * nDim_0 -9 * nj_0 >, < 63 -9 * nj_0 >, < 7 * nDim_0 -9 * nj_0 >, < 63 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 7 * nDim_0 -9 * nj_0 > >
294.38/294.45	l13: < < 8 * nDim_0 -9 * ni_0, 0 >, < 72 -9 * nj_0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < -1 > >
294.38/294.45	l6: < < 72 -9 * ni_0, 0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 8 * nDim_0 -9 * nj_0 > >
294.38/294.45	l19: < < 8 * nDim_0 -9 * ni_0, 8 * nDim_0 -9 * ni_0 > >
294.38/294.45	l7: < < 72 -9 * ni_0, 0 >, < 63 -9 * nj_0 >, < 63 -9 * nj_0 >, < 7 * nDim_0 -9 * nj_0 >, < 7 * nDim_0 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 63 -9 * nj_0 > >
294.38/294.45	l14: < < 72 -9 * ni_0, 0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 0 >, < - tmp___1_0 >, < 0 >, < -1 >, < 0 >, < -1 > >
294.38/294.45	l21: < < 8 * nDim_0 -9 * ni_0, 0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 72 -9 * nj_0 > >
294.38/294.45	l17: < < 8 * nDim_0 -9 * ni_0, 0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 > >
294.38/294.45	l25: < < 72 -9 * ni_0, 0 > >
294.38/294.45	l12: < < 72 * bNoCapture_0 -9 * ni_0, 0 >, < 72 * bNoCapture_0 -9 * nj_0 >, < 72 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 > >
294.38/294.45	l16: < < 8 * nDim_0 -9 * ni_0, 0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < 0 >, < -1 >, < -1 > >
294.38/294.45	l10: < < 72 -9 * ni_0, 0 >, < 72 * bNoCapture_0 -9 * nj_0 > >
294.38/294.45	l15: < < 8 * nDim_0 -9 * ni_0, 0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 8 * nDim_0 -9 * nj_0 >, < 72 -9 * nj_0 >, < 0 >, < 0 >, < - nDim_0 >, < 0 >, < -1 > >
294.38/294.45	l9: < < 8 * nDim_0 -9 * ni_0, 72 -9 * ni_0 > >
294.38/294.45	
294.38/294.45	
294.42/294.51	EOF