Context_1 : Maragogi is a municipality of the Brazilian state of Alagoas in the 125 km north of Maceió capital city. Has 25,726 inhabitants, a city situated on the northern coast of Alagoas state, Brazil, being the easternmost city of that state. Context_2 : Redinha beach is a beach located on the Brazilian capital city Natal, state of Rio Grande do Norte. Context_3 : Porto Alegre ( ] ; "Joyful Harbor") is the capital and largest city of the Brazilian state of Rio Grande do Sul. Founded in 1769 by Manuel Sepúlveda, its population of 1,481,019 inhabitants (2016) makes it the tenth most populous city in the country and the centre of Brazil's fifth largest metropolitan area, with 4,405,760 inhabitants (2010). The city is the southernmost capital city of a Brazilian state. Context_4 : Nova Petrópolis is a municipality in the Southern Brazilian state of Rio Grande do Sul. The main seat of the municipality is also called Nova Petrópolis. It is located in the Serra Gaúcha region, at 29º22'35" South, 51º06'52" West, about 100 km north of Porto Alegre, the state capital city. Nova Petrópolis is situated at an average altitude of 580m above sea level and covers an area of 293 km². Context_5 : Coruripe is a municipality located in the southern coast of the Brazilian state of Alagoas. Its population is 44,272 (2005) and its area is 913 km². It is the largest municipality in Alagoas by area, but among the largest municipalities of each Brazilian state, it is the smallest. It is situated at the edge of Coruripe river. Context_6 : Barra do Garças is a city with a population of 50,000 located in the Brazilian state of Mato Grosso, around 550 km far from the capital city of Cuiabá. It was founded on 13 June 1924, but it became political independent just on 15 September 1948. Nowadays, Barra do Garças is the 8th biggest city in Mato Grosso. It is situated on the border between Mato Grosso and Goiás states and due to this a geodesic center settled down there. Context_7 : Teresina is the capital and most populous municipality in the Brazilian state of Piauí. Being located in North-central Piauí 366 km from the coast, it is the only capital in the Brazilian Northeast that is not located on the shores of the Atlantic Ocean. With 814,439 inhabitants, Teresina is the 19th largest city in Brazil, and the 15th largest state capital in the country. Together with Timon in the nearby state of Maranhão, it forms a conurbation with a population of about 953,172 inhabitants; the entire metropolitan region of Teresina has over 1,135,920 inhabitants. The only natural barrier that separates Teresina from Timon is the Parnaíba river, one of the largest in the Northeast. Context_8 : Manaus (] ] ) or Manaós before 1939 or (formerly) Barra do Rio Negro, is the capital city of the state of Amazonas in the North Region of Brazil. It is situated near the confluence of the Negro and Solimões rivers. With a population of more than 2 million, it is the most populous city of both the Brazilian state of Amazonas and the Amazon rainforest. Context_9 : Tomar do Geru is a municipality located in the Brazilian state of Sergipe. Its population was 13,204 (2016) and it covers 305 km2 . Tomar do Geru has a population density of 43 inhabitants per square kilometer. It is located 131 km from the state capital of Sergipe, Aracaju. The Church of Nossa Senhora do Socorro was built by the Society of Jesus in 1688. It was listed as a historic structure by the Brazilian National Institute of Historic and Artistic Heritage (IPHAN) in 1943. Context_10 : Natal (] , "Christmas") is the capital and largest city of the state Rio Grande do Norte, located in northeastern Brazil. According to IBGE's July 2014 report, the city had a total population of 862,044, while Greater Natal had 1,485,505 inhabitants. fact_1 : Redinha beach is a beach located on the Brazilian capital city Natal, state of Rio Grande do Norte. fact_2 : Natal (] , "Christmas") is the capital and largest city of the state Rio Grande do Norte, located in northeastern Brazil. fact_3 :  According to IBGE's July 2014 report, the city had a total population of 862,044, while Greater Natal had 1,485,505 inhabitants. Question: What is the capital city's population of the Brazilian state in which Redinha beach is located?
Output: 862,044