according to data from fees.pump.fun, since Pump.fun started repurchasing PUMP tokens on July 15th, it has repurchased approximately $94.5 million worth of PUMP tokens, reducing the total circulating supply by 6.578%.