What are the average, maximum and total revenues of all companies?
SELECT avg(revenue) ,  max(revenue) ,  sum(revenue) FROM manufacturers
SELECT avg(revenue) ,  max(revenue) ,  sum(revenue) FROM manufacturers
[{'avg(revenue)': 105.0, 'max(revenue)': 200.0, 'sum(revenue)': 630.0}]