<question>: What are the average, maximum and total revenues of all companies? <context>: CREATE TABLE manufacturers (revenue INTEGER)
SELECT AVG(revenue), MAX(revenue), SUM(revenue) FROM manufacturers