how to swap HAI tokens from tomochain to erc20? Glad to hear that Hacken will list in Bithumb, one by one, exchange with good reputation began to see the potential Hacken.