SEC EDGAR

The SEC’s public filing system: Electronic Data Gathering, Analysis, and Retrieval. Thaler’s reported figures come from filings on EDGAR.