None of these are federal taxes though. From that set, they likely paid a lot of payroll tax, which is a fancy way of saying "income tax paid to support social security & medicare" that is kept distinct from "federal income tax" when these sorts of statistics are trotted out.