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