If the total vote count for all participants in Ohio Senate General Election is above 4100000, then the market resolves to Yes.