That's the hack tokens right?
I don't know what the procedures are but the hacker was able to send the tokens to IDEX.
55 million tokens is not that big IMO, personally I own millions of tokens and it does not value a lot for me with the current price.