Are the VIRTU tokens purchased for calculating airdrop amount?

Both mined VIRTU tokens and purchased VIRTU tokens are also considered to calculate the airdrop amount.