Do I include the $3100 in workers’ compensation on the 1040 form? If so, where?