Almost guaranteed to be. The only other way would be to have issued them during the transaction with the Sec. There was no mention of that. 60billion of issued shares would have been mentioned. It's non trivial amount.