What happened to Brazil’s GDP following the end of military rule?

It rose slightly.
It rose a great deal.
It fell slightly.
It fell a great deal.