If the total vote count for all participants in the 2026 Florida Republican gubernatorial primary is above 1600000, then the market resolves to Yes.