56.93/56.98	YES
56.93/56.98	
56.93/56.98	
56.93/56.98	Termination: (Ranking Functions Found)
56.93/56.98	------------
56.93/56.98	l8: < < 5 * nDim_0 -6 * ni_0, 0 > >
56.93/56.98	l7: < < 11 * bDomain_0 - ni_0, 11 * bAllDiff_0 - ni_0 > >
56.93/56.98	l28: < < 132 * bGray_0 -12 * ni_0, 0 > >
56.93/56.98	l25: < < 132 -12 * ni_0, 0 > >
56.93/56.98	l27: < < 132 * bAllDiff_0 -12 * ni_0, 0 > >
56.93/56.98	l16: < < 5 * nDim_0 -6 * ni_0, 60 -6 * ni_0 > >
56.93/56.98	l6: < < 12 * bAllDiff_0 - ni_0, 0 > >
56.93/56.98	l12: < < 5 * nDim_0 -6 * ni_0, 0 > >
56.93/56.98	l13: < < 60 -6 * ni_0, 0 > >
56.93/56.98	l18: < < 60 -6 * ni_0, 0 >, < 11 * nDim_0 -12 * nj_0, 132 -12 * nj_0 > >
56.93/56.98	l24: < < 60 * bGray_0 -6 * ni_0, 0 >, < 11 * nDim_0 -12 * nj_0, 11 * nDim_0 -12 * nj_0 > >
56.93/56.98	l11: < < 60 * bGray_0 -6 * ni_0, 0 > >
56.93/56.98	l14: < < 144 * bGray_0 -12 * ni_0, 0 > >
56.93/56.98	l9: < < 60 -6 * ni_0, 5 * nDim_0 -6 * ni_0 > >
56.93/56.98	l10: < < 60 -6 * ni_0, 0 > >
56.93/56.98	l15: < < 11 * nDim_0 -12 * ni_0, 132 -12 * ni_0 > >
56.93/56.98	l19: < < 66 -6 * ni_0, 0 > >
56.93/56.98	l22: < < 60 -6 * ni_0, 0 >, < 132 -12 * nj_0, 0 > >
56.93/56.98	l21: < < 60 * bGray_0 -6 * ni_0, 0 >, < 132 * bGray_0 -12 * nj_0, 0 > >
56.93/56.98	l26: < < 11 * nDim_0 -12 * ni_0, 0 > >
56.93/56.98	l17: < < 5 * nDim_0 -6 * ni_0, 0 >, < 132 -12 * nj_0, 0 > >
56.93/56.98	l23: < < 5 * nDim_0 -6 * ni_0, 0 >, < 132 -12 * nj_0, 0 > >
56.93/56.98	l20: < < 60 -6 * ni_0, 60 * bGray_0 -6 * ni_0 > >
56.93/56.98	
56.93/56.98	
57.04/57.06	EOF