64.57/64.58	YES
64.57/64.58	
64.57/64.58	
64.57/64.58	Termination: (Ranking Functions Found)
64.57/64.58	------------
64.57/64.58	l11: < < 90 * bSorted_0 -10 * ni_0, 9 * nDim_0 -10 * ni_0 > >
64.57/64.58	l8: < < 70 -10 * ni_0 > >
64.57/64.58	l5: < < 70 -10 * ni_0 > >
64.57/64.58	l7: < < 7 * nDim_0 -10 * ni_0 > >
64.57/64.58	l20: < < 9 * nDim_0 -10 * ni_0, 0 >, < 90 -10 * nj_0, 0 > >
64.57/64.58	l24: < < 90 * bSorted_0 -10 * ni_0, 0 >, < 90 -10 * nj_0, 90 * bSorted_0 -10 * nj_0 > >
64.57/64.58	l14: < < 90 * bSorted_0 -10 * ni_0, 0 > >
64.57/64.58	l13: < < 90 * bSorted_0 -10 * ni_0, 90 -10 * ni_0 > >
64.57/64.58	l12: < < 90 -10 * ni_0, 0 > >
64.57/64.58	l17: < < 9 * nDim_0 -10 * ni_0, 0 >, < 90 * bSorted_0 -10 * nj_0, 0 > >
64.57/64.58	l19: < < 90 * bSorted_0 -10 * ni_0, 90 * bSorted_0 -10 * ni_0 > >
64.57/64.58	l22: < < 90 -10 * ni_0, 0 >, < 90 -10 * nj_0, 0 > >
64.57/64.58	l18: < < 9 * nDim_0 -10 * ni_0, 0 >, < 9 * nDim_0 -10 * nj_0, 0 > >
64.57/64.58	l23: < < 9 * nDim_0 -10 * ni_0, 0 >, < 90 -10 * nj_0, 0 > >
64.57/64.58	l16: < < 90 * bSorted_0 -10 * ni_0, 0 > >
64.57/64.58	l15: < < 90 * bSorted_0 -10 * ni_0, 0 > >
64.57/64.58	l9: < < 80 -10 * ni_0 > >
64.57/64.58	l10: < < 10 * nDim_0 -10 * ni_0, 0 > >
64.57/64.58	l21: < < 90 * bSorted_0 -10 * ni_0, 0 >, < 9 * nDim_0 -10 * nj_0, 90 -10 * nj_0 > >
64.57/64.58	l6: < < 8 * nDim_0 -10 * ni_0 > >
64.57/64.58	
64.57/64.58	
64.57/64.65	EOF