As posted on the website of the Senate Committee on the Budget on June 27, 2025| Congressional Budget Office