I highly doubt that, the devs have a very large pool of pre-mined coins so that they don't have to mine.