I want to know the answer to the following question:
What is Brasilia's GDP?
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?