I figured it out. It goes on the 1040. Simply under "other income". No other forms or schedules needed.
found this publication: https://www.irs.gov/pub/irs-pdf/p3204.pdf
