A federal judge lifted a previous order pausing the program Wednesday. Soon afterward, the Office of Personnel Management announced the program was closed.

Around 75,000 workers have reportedly taken the offer so far. That represents about 3% of those who were offered the deal—a large job cut by any measure, but short of the White House’s reported goal of slashing between 5% and 10% of the federal workforce through buyouts.