SEC numbers and a few other sources. I read somewhere that currently the estimated number of shorts is 4x actual number of actual shares. Not sure if it's true though.