They probably make a Freedom of Information Act request.
https://www.irs.gov/privacy-disclosure/irs-freedom-of-information-act
