If Tie is the result of the Cerro Porteno vs Luqueno professional APF Division de Honor soccer game originally scheduled for Aug 1, 2026 after 90 minutes plus stoppage time (does not include extra time or penalties), then the market resolves to Yes.