Will the margin of victory for Republicans in the Colorado's 3rd District House election be at least 12 percentage points?

If the Republican Party wins the 2026 U.S. House of Representatives election in Colorado's 3rd District by 12 percentage points or more, then the market resolves to Yes. The margin of victory shall be calculated as follows based on the margin type. For percentage points: the vote percentage received by the Republican Party minus the vote percentage received by the candidate/party/option that finishes immediately behind the Republican Party if the Republican Party wins, or the candidate/party that finishes first if the Republican Party loses. Each margin range is inclusive of its lower bound and exclusive of its upper bound. No rounding shall be applied to the calculated margin. For example, for consecutive ranges of 5-6% and 6-7%, a margin of 5.99999% resolves within the 5-6% range, while a margin of exactly 6% resolves within the 6-7% range. If the Republican Party runs under multiple parties or is listed multiple times, votes attributable to the same underlying natural the Republican Party will be summed. If the Republican Party wins the election, the margin will be positive. If the Republican Party loses the election, the margin will be negative. If the Republican Party ties for first place, the margin shall be 0. For uncontested races where the Republican Party is the only candidate, the margin shall be 100 percentage points or the total number of votes cast (for raw votes).