In the upcoming NFL game, scheduled for November 17 at 1:00PM ET: If the Jacksonville Jaguars win, the market will resolve to “Jaguars”. If the Detroit Lions win, the market will resolve to “Lions”. If the game is not completed by November 24, 2024 (11:59 PM ET) or it ends in a tie, the market will resolve 50-50