What is the total number of residents for the districts with the 3 largest areas?
SELECT sum(city_population) FROM district ORDER BY city_area DESC LIMIT 3
SELECT sum(city_population) FROM district ORDER BY city_area DESC LIMIT 3
[{'sum(city_population)': 7478157.0}]