Delete BogoSort_mint