<lab>redix sort