Question: What was the 2014 population size of the Brazilian city where the band  Cavaleiros do Forró formed?

full_context: Document 1: Recife: Recife (] ) is the fourth-largest urban agglomeration in Brazil with 3,995,949 inhabitants, the largest urban agglomeration of the North/Northeast Regions, and the capital and largest city of the state of Pernambuco in the northeast corner of South America. The population of the city proper was 1,625,583 in 2016.
Document 2: Cavaleiros do Forró - O Filme ao vivo em Natal: O Filme ao vivo em Natal is the first live album by the Brazilian band Cavaleiros do Forró, released in 2005. The album was recorded during a single concert performed on November 28, 2004, at Estádio Machadão in Natal, Rio Grande do Norte.
Document 3: MPB4: MPB4 (Short for "Música popular brasileira 4") is a vocal and instrumental Brazilian group formed in Niterói, Rio de Janeiro, in 1965, and has been active since.The group's main genres are sung samba and MPB, and they are considered among the best vocal interpretation group in Brazil. They have frequently collaborated with Quarteto em Cy, Toquinho and Chico Buarque. In 2001, MPB-4 completed a 36-year career with the same formation (registered in the Brazilian edition of the Guinness Book of Records).
Document 4: Fulano de Tal: Fulano de Tal was a north-American latin rock band, formed in 1995 in Miami, Florida. The original band members were: Elsten Torres (Lead Vocals, Guitar, & Songwriter), Brendan Buckley (Drummer, programming, vocals), Julian Adam Zimmon (Guitars), and Leo Nobre (Bass guitar, Background vocals). John Michael Falcone (Bass guitar, Vocals) replaced Leo in 1996. Fulano de Tal recorded two full-length albums. The name of the band is the Portuguese/Spanish variant of the American term "John Doe". The first album was called "Normal" and it was released in April 1997 through BMG/RCA records. At the time, Fulano was the first north-American latin rock band to be signed to a major label. The band toured extensively throughout the United States and some Latin American countries during the years of 1997 and 1999. In 2000, the band released their sophomore effort, "Etc." through the independent label: Radio Vox/DLN. It was also in 2000 that the band separated. Brendan and Julian joined pop/superstar Shakira as part of her touring band. Elsten Torres released the Grammy nominated album, "Individual" in 2006 under the name "Fulano", but it was his first solo album although both Brendan and Julian joined in the production and performance of the album.
Document 5: Raimundos: Raimundos is a Brazilian punk/hardcore band. They have major influences of 1980s punk bands, especially Ramones. The band was formed in Brasilia, in 1987 by Digão and Rodolfo Abrantes. The vocalist Derrick Green of Sepultura participated on their CD "Kavookavala" and João Gordo of Ratos de Porão participated on their first album "Raimundos" (1994) providing backing vocals on the song "MM's". The name of the band refers to one of its biggest influences, Ramones, being also one of the most common male first names in Brazilian northeast region.
Document 6: Cavaleiros do Forró: Cavaleiros do Forró is a Brazilian Forró band formed in Natal, Rio Grande do Norte in 2004. The group has sold more than 2.5 million albums.
Document 7: Far East Movement discography: The discography of Far East Movement, an American electronic pop rap group, consists of four studio albums, four extended plays, four mixtapes, eighteen singles (including three as featured artists) and thirty-three music videos. The group formed in 2003 in Los Angeles and released their first mixtape, "Audio-Bio", in 2005, with their first studio album "Folk Music" following in 2006. One of the songs from "Folk Music", "Round Round", brought the group their first major exposure after its use in the film "". The release of their second studio album, "Animal", brought the group to the attention to the Interscope Records subsidiary Cherrytree Records, who signed them.
Document 8: Teresina: 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.
Document 9: Max Cavalera: Massimiliano Antonio "Max" Cavalera (] , born August 4, 1969) is a Brazilian singer, guitarist, and songwriter who currently plays in heavy metal bands Soulfly, Cavalera Conspiracy, and Killer Be Killed. In 1984, he co-founded the acclaimed heavy metal band Sepultura with his brother Igor Cavalera and was the band's lead singer and rhythm guitarist until he left in 1996. Cavalera was also involved in a short-lived side project called Nailbomb.
Document 10: Natal, Rio Grande do Norte: 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.
Document 11: Rio de Janeiro: Rio de Janeiro ( ; ] ; "River of January"), or simply Rio, is the second-most populous municipality in Brazil and the sixth-most populous in the Americas. The metropolis is anchor to the Rio de Janeiro metropolitan area, the second-most populous metropolitan area in Brazil and sixth-most populous in the Americas. Rio de Janeiro the capital of the state of Rio de Janeiro, Brazil's third-most populous state. Part of the city has been designated as a World Heritage Site, named ""Rio de Janeiro: Carioca Landscapes between the Mountain and the Sea"", by UNESCO on 1 July 2012 as a Cultural Landscape.
Document 12: Ndé: NDE is one of the 58 divisions found in Cameroon. It is located in the western region of the Country, about 150km from Douala the economic capital and about 265 km from Yaoundé the political capital. Its estimated population is 200,000. There are two meanings that are attached to the acronym NDE. The first and most popular is Nobility, Dignity, Elegance. The second meaning is New, Deal, Economy. Bangangte has been the headquarter of the NDE division since June 14, 1961. Medumba is the most common language spoken in this region. Its kingdoms include; Bangangte, Bangoulap, Balengou, Bazou, Bakong, Bamena, Tonga (Badounga), Bahouoc, Bangang-Fokam, Bawock, Bangoua, Batchingou, Bamaha and Bagnoun. The main Religious belief is Christianity, with the two main denominations being Catholics and Protestant. Its climate ranges between 14- 22 Celsius at night and between 24-30 Celsius.
Document 13: Exo (band): Exo (Korean: 엑소 ; stylized as EXO) is a South Korean-Chinese boy group based in Seoul. Formed by S.M. Entertainment in 2011, the group debuted in 2012 with twelve members separated into two subgroups, Exo-K (Suho, Baekhyun, Chanyeol, D.O., Kai, and Sehun) and Exo-M (Xiumin, Lay, Chen and former members Kris, Luhan and Tao ), performing music in Korean and Mandarin respectively. Exo's first album "XOXO" (2013), which contained the breakthrough hit "Growl", was a critical and commercial success, winning both Disk Daesang at the 28th Golden Disk Awards and Album of the Year at the 15th Mnet Asian Music Awards. It sold over one million copies, making Exo the best-selling Korean artist in twelve years. Subsequent albums and EPs continued with strong sales, and Exo were ranked the most influential celebrity by "Forbes" Korea Power Celebrity for the years 2014 and 2015. They have been named "the biggest boyband in the world" by media outlets.
Document 14: Porto Alegre: 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.
Document 15: Darwin, Northern Territory: is the capital city of the Northern Territory of Australia. Situated on the Timor Sea, Darwin is the largest city in the sparsely populated Northern Territory, with a population of 142,300. It is the smallest and most northerly of the Australian capital cities, and acts as the Top End's regional centre.
ground_truth: 862,044