If the total vote count for all participants in Florida 13 House General Election is above 290000, then the market resolves to Yes.