I do not find the official ANN TEzos, anyone can tell me how much is the total SUPPLY of this coin. thanks and success to the project.