53.72/53.78	YES
53.72/53.78	
53.72/53.78	
53.72/53.78	Termination: (Ranking Functions Found)
53.72/53.78	------------
53.72/53.78	l7: < < __const_12_0 - ni_0, __const_12_0 - ni_0 > >
53.72/53.78	l23: < < nDim_0 - ni_0, 0 >, < __const_12_0 - nj_0 > >
53.72/53.78	l8: < < nDim_0 - ni_0 > >
53.72/53.78	l22: < < __const_12_0 - ni_0, 0 >, < __const_12_0 - nj_0 > >
53.72/53.78	l18: < < nDim_0 - ni_0, 0 >, < nDim_0 - nj_0 > >
53.72/53.78	l15: < < nDim_0 - ni_0, __const_12_0 - ni_0 > >
53.72/53.78	l10: < < nDim_0 - ni_0 > >
53.72/53.78	l21: < < nDim_0 - ni_0, 0 >, < __const_12_0 - nj_0 > >
53.72/53.78	l17: < < __const_12_0 - ni_0, 0 >, < __const_12_0 - nj_0 > >
53.72/53.78	l16: < < __const_12_0 - ni_0 > >
53.72/53.78	l27: < < nDim_0 - ni_0, 0 > >
53.72/53.78	l9: < < __const_12_0 - ni_0 > >
53.72/53.78	l6: < < 1 + __const_12_0 - ni_0, 0 > >
53.72/53.78	l28: < < nDim_0 - ni_0, 0 > >
53.72/53.78	l24: < < __const_12_0 - ni_0, 0 >, < nDim_0 - nj_0 > >
53.72/53.78	l13: < < nDim_0 - ni_0 > >
53.72/53.78	l19: < < 1 + nDim_0 - ni_0, 0 > >
53.72/53.78	l26: < < __const_12_0 - ni_0, 0 > >
53.72/53.78	l25: < < nDim_0 - ni_0, 0 > >
53.72/53.78	l11: < < __const_12_0 - ni_0 > >
53.72/53.78	l12: < < __const_12_0 - ni_0 > >
53.72/53.78	l14: < < __const_12_0 + bGray_0 - ni_0, 0 > >
53.72/53.78	l20: < < __const_12_0 - ni_0, -2 + __const_12_0 - ni_0 > >
53.72/53.78	
53.72/53.78	
53.83/53.85	EOF