I want to know the answer to the following question:
How much of Alaskan state revenue comes from petroleum extraction?
All the background I'm provided with is that "The oil and gas industry dominates the Alaskan economy, with more than 80% of the state's revenues derived from petroleum extraction.". Is that enough to answer the question?