Find the total population of the top 3 districts with the largest area.
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}]