On-chain data shows a single mint of 99,513,500 USDC.