Question: What is the population of the city where the Estadio General Santander , used in the 1952 Campeonato Profesional , is located ?
Answer: 711,715