I want to know the answer to the following question:
How much of Brazil's GDP comes from Brasilia?
All the background I'm provided with is that "Brasília has the highest city gross domestic product (GDP) of 99.5 billion reais representing 3.76% of the total Brazilian GDP.". Is that enough to answer the question?