Federal government employee count

If there are more than 100000 federal employees no longer working relative to the December 2025 employee count before January 2027, then the market resolves to Yes.