Will the number of federal employees decrease by 25,000-50,000 between December and June?

This market will resolve based on the seasonally adjusted number of federal employees, as reported by the U.S. Bureau of Labor Statistics (BLS) under the "All Employees, Federal" series (CES9091000001), displayed here (https://fred.stlouisfed.org/series/CES9091000001) This market will resolve to “Yes” if the seasonally adjusted number of federal employees decreases by between 25,000 (inclusive) and 50,000 (exclusive) between the December 2024 report and the June 2025 report. Otherwise, it will resolve to "No". The difference will be calculated as the December 2024 value minus the June 2025 value. The December 2024 figure will be based on the initial December 2024 BLS Employment Situation report scheduled for release on January 3, 2025, and the initial June 2025 figure will be based on the report scheduled for release on July 3, 2025. Revisions made to these figures will not be considered, only the values reported in the initial reports will be used. The resolution source will be the BLS Employment Situation data, specifically the series CES9091000001, available at https://fred.stlouisfed.org/series/CES9091000001 or the official BLS website.