Presumably the prediction market has been settled.

According to the some Brazilian sources the election could be annulled.

yeah, that'll be a fun exercise to roll that back!!