Input: What is the population of the country that has an athlete on the list who was born in Lagos ?
Output: 83 million