He wasn’t condemned for treason. (I don’t think anybody ever was.) And yeah, that’s the one crime Brazil punishes with death.

He was condemned to 24 years in prison. That’s probably enough for him to never get out anyway.