Will there be more than 100000 government employees cut before Jan 2026?

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