The offer’s deadline closed on Wednesday after a federal judge ruled to end a temporary pause to the program put in place last week.

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.

A federal judge has allowed President Donald Trump to move forward with so-called buyout offers for the civilian federal workforce — and the administration quickly moved to close the offer period, with 75,