Will Elon and DOGE cut more than 200k employees in 2025?

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 according to the decrease in the seasonally adjusted number of federal employees between the December 2024 report and the December 2025 report. If the reported value falls exactly between two brackets, then this market will resolve to the higher range bracket. The difference will be calculated as the December 2024 value minus the December 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 December 2025 figure will be based on the report scheduled for release on January 9, 2026. 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.