SortLibGiu: unneccessary slots deleted