Yes. They come straight from US Congressional Budget Office. These are government published numbers:

US Federal Tax Revenues (2019): $3.5 Trillion

SOURCE: https://www.google.com/search?q=us+tax+revenues+2019&oq=us+t...

US Capital Gains (2018): $170 Billion (4.8%)

SOURCE: https://taxfoundation.org/federal-capital-gains-tax-collecti...

US Corporate Taxes: 3.9% of US Tax Revenues

https://taxfoundation.org/us-tax-revenue-2021/#:~:text=Corpo....

> US Federal Tax Revenues (2019)

> US Capital Gains (2018)

Is that a typo or are you comparing revenues from two different years?