C-Lane, here's how the Mamdani bets worked, leading to arbitrage. (plus what would happen if the bet amounts were changed).