Cry me a shutdown river: Average federal salary was $84,913 in 2017, 76% more than the average W-2 employee at $48,251.57

Office of Personnel Management here, Social Security here.