What is the percentage of the tokens that is available for the sale?And when is distribution of those tokens?