I'm not sure what the net workforce reduction will actually be on final tally. Some that were let go were re-hired or came back as contractors (generally higher $).

The less tangible but important question is workforce efficiency. Government tends to have a lot of tribal knowledge not captured in written processes, or "if you need to do x you have to talk to y", and if y isn't there anymore will things get slower (as no one else knows how) or faster (as they were a roadblock).