Federal government civilian headcount got slashed by 162,000 in October and by 172,000 over the three months of September, October, and November, according to the delayed nonfarm payroll report for November, with backfilled data for October, released today by the Bureau of Labor Statistics, as part of its “establishments survey.”