The coins previously mined were traded for the coins in the HODL wallet. This allowed us to have access to three times (3x) the BTC we had originally mined. Those held in wallets were also spent on supporting the ORME coin market.