As the count progresses, Bolsonaro is catching up with Lula - still, Polymarket is pretty sure Lula has won.