47.06/47.17	YES
47.06/47.17	
47.06/47.17	
47.06/47.17	Termination: (Ranking Functions Found)
47.06/47.17	------------
47.06/47.17	l7: < < __const_10_0 - ni_0 >, < nDim_0 - ni_0 >, < __const_10_0 - ni_0 >, < 0 > >
47.06/47.17	l8: < < __const_10_0 - ni_0 >, < nDim_0 - ni_0 >, < 1 + nDim_0 - ni_0 >, < - bSorted_0 > >
47.06/47.17	l22: < < __const_10_0 - ni_0, 0 >, < nDim_0 - nj_0 >, < nDim_0 - nj_0 >, < nDim_0 - nj_0 > >
47.06/47.17	l6: < < __const_10_0 - ni_0 >, < __const_10_0 - ni_0 >, < 1 + nDim_0 - ni_0 >, < 0 > >
47.06/47.17	l13: < < __const_10_0 - ni_0, nDim_0 - ni_0 > >
47.06/47.17	l20: < < __const_10_0 - ni_0, 0 >, < __const_10_0 - nj_0 >, < __const_10_0 - nj_0 > >
47.06/47.17	l17: < < nDim_0 - ni_0, 0 >, < __const_10_0 - nj_0 > >
47.06/47.17	l21: < < __const_10_0 - ni_0, 0 >, < __const_10_0 - nj_0 >, < __const_10_0 - nj_0 >, < __const_10_0 - nj_0 > >
47.06/47.17	l19: < < __const_10_0 - ni_0, __const_10_0 - ni_0 > >
47.06/47.17	l9: < < nDim_0 - ni_0 >, < __const_10_0 - ni_0 >, < 1 + __const_10_0 - ni_0 >, < 0 > >
47.06/47.17	l12: < < nDim_0 - ni_0, 0 > >
47.06/47.17	l14: < < nDim_0 - ni_0, 0 > >
47.06/47.17	l10: < < 1 + __const_10_0 - ni_0, 0 > >
47.06/47.17	l18: < < __const_10_0 - ni_0, 0 >, < -1 + __const_10_0 - nj_0 >, < - bSorted_0 + nDim_0 - nj_0 >, < nDim_0 - nj_0 > >
47.06/47.17	l16: < < nDim_0 - ni_0, 0 > >
47.06/47.17	l15: < < __const_10_0 - ni_0, 0 > >
47.06/47.17	l24: < < __const_10_0 - ni_0, 0 >, < nDim_0 - nj_0 >, < __const_10_0 - nj_0 >, < __const_10_0 - nj_0 > >
47.06/47.17	l23: < < __const_10_0 - ni_0, 0 >, < __const_10_0 - nj_0 >, < nDim_0 - nj_0 >, < nDim_0 - nj_0 > >
47.06/47.17	l5: < < -1 + __const_10_0 - ni_0 >, < -1 + __const_10_0 - ni_0 >, < __const_10_0 - ni_0 >, < 0 > >
47.06/47.17	l11: < < __const_10_0 - ni_0, nDim_0 - ni_0 > >
47.06/47.17	
47.06/47.17	
47.13/47.24	EOF