Сколько токенов Vert вы намайнили на данный момент?