These are the numbers provided in the report to Congress. The way it was written was just as I presented, but they may have included DoD in the the Federal workforce numbers and then separated them out,
1 Like