OpenLLM-France/wikimedia huggingface dataset:
# Rumiwasi

Rumiwasi (Quechua rumi stone, wasi house, "stone house", hispanicized spelling Rumihuasi) or Phaqchayuq (Quechua phaqcha waterfall, -yuq a suffix to indicate ownership, "the one with a waterfall", hispanicized Phaqchayoc) is an archaeological site in Peru. It is located in the Cusco Region, Cusco Province, San Sebastián District, north of the central square of San Sebastián.
# Qiu Guanghe

Qiu Guanghe (born 1951) is a Chinese entrepreneur, the founder and CEO of the retail clothing chain, Semir.

## Early life

Qiu Guanghe was born in 1951. He ended his education with high school.

## Career

Qiu Guanghe worked in the home-appliance industry, before founding clothes retailer Semir in Wenzhou, his hometown. Semir opened its first store in 1997 in Jiangsu Province, selling leisurewear. Semir is now one of China's largest clothing retailers, with more than 7,500 stores.
Qiu Guanghe shares his fortune with his family, including his son Qiu Jianqiang, who is vice chairman of the listed company, and son-in-law Zhou Pingfan, who is a senior executive at Semir. Semir owns Balabala, which is China's leading children's clothing brand.

## Personal life

He is married with two children and lives in Wenzhou, China.
# Chad (Saturday Night Live)

Chad is a fictional character from Saturday Night Live, portrayed by Pete Davidson.

## Background

The character was created by Pete Davidson, Streeter Seidell, and Mikey Day, and is played by Davidson. The name Chad has been used during the last couple of decades as slang for a range of male stereotypes, which the SNL character plays on ironically.
He first appears in the SNL sketch "Pool Boy," which is part of the episode that aired on April 16, 2016, in which he is depicted as the 23-year-old pool boy of a housewife named Mrs. Handler (Julia Louis-Dreyfus), who has an affair with him. In the sketch, Mrs. Handler dramatically breaks off the affair with Chad, wanting to protect both their families from the scandal and citing her own personal conflict; Chad responds with little enthusiasm or care, and twice ignores Mrs. Handler to continue cleaning up the pool.

## Personality

Chad is an easily distracted, chill, apathetic man. He has no known last name. In the sketch "Pool Boy," it is stated that he is 23. Many of the sketches depict him as doing various things such as going to a Narnia-like world through his closet, being targeted by a serial killer, going to a haunted mansion, touring with RuPaul, and going on a SpaceX mission. He is oblivious to the things that are about to happen to him, and usually just responds with "OK" or "cool." He is usually well-liked by other characters, and even unintentionally saves the world in his SpaceX sketch. In other sketches, Chad becomes the target of affection of various individuals, typically the celebrity host, such as his tutor, doctor, or Jennifer Lopez, who similarly to Mrs. Handler, confess their love of Chad and personal problems while he reacts apathetically.

## Reception

Chad was generally well received by different sources. Entertainment Tonight described the character as "hilariously stupid," and Rolling Stone described him as a "stereotypical stoner bro".
# Camporredondo District

Camporredondo is a district of the province of Luya. The District of Camporredondo, there is placed in the part Nor Occidental of the Province of Luya, influenced on one hand of the central mountain range of the Andes, is located in the low part of the hill Condorpuñuna to an altitude of more or less 1700 m.s.n.m. and an approximate distance of 6 km. With regard to the River Cashew.
The District of Camporredondo borders:
* For the North: With the District of Lonya Grande by means of the gorge of Trancahuaico in his top part and the River Guangoza in the low part with his mouth in the River Cashew
* For the South: With the Districts of Ocallí and Ocumal by means of the Rivers Huamboya and Jumite respectively
* For the East: With the District of Conila by means of the hill of Huixocunga
* For the West: With the River Cashew, the same one that separates from the District of Choropampa His Province of Chota, Department of Cajamarca
Camporredondo is located in a warm zone, surrounds to the River Cashew. Cocabamba offers several attractive places for tourists as ruins of the culture Chachapoya. Also he emphasizes the big variety of fruits that grows in the zone.
The management holiday of the capital Camporredondo is celebrated from June 28 until June 30, in honor to the Holy Boss, Apostle San Pedro.
As typical meals there is known the Purutemote, Yucca Chi Chic, Timbuche the Tacacho with Dirty person between others.
In the north the District of Camporredondo has border with the District of Conila, in the East with the District of Ocalli, in the south with the District of Providence (Luya), in the south-west with the District of Chimban.
# Bad Behaviour (song)

"Bad Behaviour" is the second single from Irish pop duo Jedward's second studio album, Victory. The single was released on 1 July 2011 in Ireland, and 4 July 2011 in the UK. The single peaked at No. 1 on the Irish Singles Chart.

## Music video

The music video for "Bad Behaviour" premiered on YouTube on 29 June 2011. The video was filmed on 14 May 2011 and was directed by American music video director Rage. With a premise inspired by the films Home Alone and Risky Business, John and Edward play two brothers who throw a chaotic party when their parents go away for the weekend. The video received its first television play on 4Music on 30 June. American gossip blogger Perez Hilton makes a cameo appearance in the video.

## Chart performance

| Chart (2011) | Peak position |
| Ireland (IRMA) | 1 |
| Latvia (European Hit Radio) | 16 |
| South Korea (GAON) | 43 |

## Release history

| Country | Release date | Label |
| Ireland | 1 July 2011 | Universal Music Group |
| United Kingdom | 4 July 2011 | Universal Music Group |
| Germany | 15 July 2011 | Universal Music Group |
# Taqrachullu

Taqrachullu, Pukara Taqrachullu, T'akrachullu, Pukara T'akrachullu (Quechua t'akra uncultivated land, an infertile or rocky piece of land, chullu spur of land which ends in the confluence of two rivers / something soaked) or María Fortaleza is an archaeological site in Peru. It is located in the Cusco Region, Espinar Province, Suykutambo District.
The site was declared a National Cultural Heritage (Patrimonio Cultural) of Peru.
# Murder of Emmanuel Chidi

Emmanuel Chidi Nnamdi was a Nigerian immigrant who fled Nigeria with his partner Chinyery, after their families were killed by the extremist group Boko Haram in 2015. During their journey across the Mediterranean, their baby died. They arrived in Fermo, Italy, in November 2015, where they were taken in by a local Christian charity.

## Murder

On July 5, 2016, Nnamdi and Chinyery were walking in Fermo, Italy, when they were subjected to racist abuse by a local man who called Chinyery a "monkey". Nnamdi confronted the man, leading to a physical altercation during which Nnamdi was attacked with a traffic pole. He sustained severe injuries, fell into a coma, and later died the following day due to fractured skull in the hospital. Amedeo Mancini, a 35-year-old local "ultra" football fan, was arrested on suspicion of racially aggravated manslaughter. Mancini's lawyer later claimed in court that he acted in self-defense and did not intend to kill Emmanuel.

## Reaction

The murder was widely condemned in Italy and across Europe. Prime Minister Matteo Renzi and other government officials denounced the killing, using the hashtag "#Emmanuel" on social media. Interior Minister Angelino Alfano visited Fermo, emphasizing the need to combat racism and announcing that Chinyery had been granted refugee status. Minister for Parliamentary Relations Maria Elena Boschi expressed solidarity with Chinyery, stating that she had "the embrace of all Italy".
Local churches working with migrants had been targeted by small bombs, according to Father Vinicio Albanesi. The European Network Against Racism (ENAR) condemned the killing, highlighting it as part of a broader pattern of racist violence in Europe. ENAR called for urgent action against hate crime, hate speech, and Afrophobia, criticizing the European Union and its member states for failing to address rising racism and xenophobia. ENAR's Chair, Amel Yacef, emphasized the need for Europe to take racism and violence seriously, framing the murder as a wake-up call for the continent.
Paolo Calcinaro, the mayor of Fermo, stated that the town had a history of welcoming outsiders and had not previously encountered racism. He urged Europe to provide more support to Italy in coping with the arrival of migrants and emphasized the importance of vigilance against increasing racism. Cécile Kyenge, an MEP and Italy's first black minister, called for a political and cultural shift in the country, noting that politicians' racist statements have a harmful impact on society.

## Legacy

The 5 July Committee, which was established after the killing of Emmanuel, commemorates his death each year by holding events to honor his memory and promote inclusivity and human rights.
# Bowdon, North Dakota

Bowdon is a city in Wells County, North Dakota, United States. The population was 137 at the 2020 census.
Bowdon was founded in 1899 by Richard Sykes, a landowner from England who named it after Bowdon, near Manchester where he lived.

## Geography

According to the United States Census Bureau, the city has a total area of 0.25 square miles (0.65 km$^2$), all land.

## Demographics
### 2010 census

As of the census of 2010, there were 131 people, 77 households, and 37 families residing in the city. The population density was 524.0 inhabitants per square mile (202.3/km$^2$). There were 94 housing units at an average density of 376.0 per square mile (145.2/km$^2$). The racial makeup of the city was 99.2% White and 0.8% Native American. Hispanic or Latino of any race were 1.5% of the population.
There were 77 households, of which 6.5% had children under the age of 18 living with them, 40.3% were married couples living together, 6.5% had a female householder with no husband present, 1.3% had a male householder with no wife present, and 51.9% were non-families. 49.4% of all households were made up of individuals, and 29.9% had someone living alone who was 65 years of age or older. The average household size was 1.70 and the average family size was 2.41.
The median age in the city was 63.9 years. 7.6% of residents were under the age of 18; 0.1% were between the ages of 18 and 24; 11.4% were from 25 to 44; 32.2% were from 45 to 64; and 48.9% were 65 years of age or older. The gender makeup of the city was 43.5% male and 56.5% female.

### 2000 census

As of the census of 2000, there were 139 people, 83 households, and 43 families residing in the city. The population density was 544.4 inhabitants per square mile (210.2/km$^2$). There were 104 housing units at an average density of 407.3 per square mile (157.3/km$^2$). The racial makeup of the city was 99.28% White and 0.72% African American.
There were 83 households, out of which 4.8% had children under the age of 18 living with them, 44.6% were married couples living together, 6.0% had a female householder with no husband present, and 47.0% were non-families. 45.8% of all households were made up of individuals, and 33.7% had someone living alone who was 65 years of age or older. The average household size was 1.67 and the average family size was 2.25.
In the city, the population was spread out, with 7.9% under the age of 18, 2.9% from 18 to 24, 16.5% from 25 to 44, 19.4% from 45 to 64, and 53.2% who were 65 years of age or older. The median age was 66 years. For every 100 females, there were 93.1 males. For every 100 females age 18 and over, there were 88.2 males.
The median income for a household in the city was $22,375, and the median income for a family was $31,250. Males had a median income of $30,250 versus $21,250 for females. The per capita income for the city was $24,843. There were 6.5% of families and 17.2% of the population living below the poverty line, including 33.3% of under eighteens and 17.6% of those over 64.

## Event

* Duck Fest October

## Notable people

* Phyllis Bryn-Julson, opera singer
# Tanzi railway station

Tanzi (Chinese: 潭子車站; pinyin: Tánzi Chēzhàn) is a railway station on the Taiwan Railways Administration West Coast line (Mountain line) located in Tanzi District, Taichung City, Taiwan. The station was once the eastern terminal for the now defunct TRA Shengang line. The current station is located on ground level. As part of the elevatization process of the West Coast line, a new elevated Tanzi Station is currently under construction and will open on 29 March 2016.

## Platform Layout

| 1 | 1A | ■ West Coast line (southbound) | Towards Taichung, Tainan, Kaohsiung, Pingtung |
| 1 | 1A | ■ West Coast line (southbound Sea line, through Chengzhui line) | Towards Zhuifen, Shalu, Dajia, Tongxiao |
| 1 | 1A | ■ West Coast line (southbound) | Towards Fangliao, Taitung (via South-link line) |
| 2 | 1B | ■ West Coast line (northbound) | Towards Fengyuan, Hsinchu, Taipei, Keelung |
| 2 | 1B | ■ West Coast line (southbound) | Towards Yilan, Taitung, Fangliao, Kaohsiung (via South-link line) |

## Train services

As a minor station, Tanzi Station is primarily serviced by Local Trains (區間車). A few times per day a Chu-Kuang Express (莒光號) or a Tzu-Chiang Limited Express (自強號) stops at the station.

## Around the station

* Zhaixing Villa
# China International Fair for Investment and Trade

The China International Fair for Investment and Trade (CIFIT, simplified Chinese: 中国国际投资贸易洽谈会; traditional Chinese: 中國國際投資貿易洽談會), approved by the State Council of the People's Republic of China, takes place on September every year in Xiamen, China. Themed on Introducing FDI and Going Global, CIFIT features a focus upon nationality and internationality, upon investment negotiation and investment policy promotion, upon coordinated development of national and regional economy, and upon economic and trade exchanges across the Taiwan Strait. CIFIT is currently China's only international investment promotion event aimed at facilitating bilateral investment. It's also the largest global investment event approved by UFI.

## Location

The trade show is held annually on September 8–11 in the southern coastal city of Xiamen, Fujian on mainland China.

## Major events

Major events of the 16th CIFIT (2012)
September 6: Press conference
September 7: Welcoming banquet and welcoming cocktail party
September 8:International investment forum (by invitation)
September 7–11: Series of forums and seminars
September 7–11: Matchmaking Symposia on investment projects
09:08-9:45 September 8: Opening ceremony (by invitation)
September 8–11: Exhibition

## Themes

"Introducing FDI": Showcase China's investment environment, image, policies and business opportunities to promote foreign investment in China.
"Going Global": Showcase investment environment, image, policies and business opportunities of all over the world, guide Chinese enterprises to invest overseas in a positive manner.

## History of CIFIT

CIFIT started out as the Fujian Fair for International Investment & Trade (FFIIT). It was held for the ten years between 1987 and 1996. Then came the Ministry of Foreign Trade and Economic Cooperation (Moftec) of the People's Republic of China who saw the opportunity to expand this trade show to include marketing the rest of China for foreign direct investment. Consequently, the FFIIT was promoted officially to CIFIT in January 1997.
# Back Up (Snoop Dogg song)

"Back Up" is a song by American West Coast hip hop recording artist Snoop Dogg. It was released for digital download and streaming on November 18, 2015. The song is the first single released from the Mixtape Beach City (2015). The song produced by Scoop DeVille and mixing by Todd Cooper. The artwork was created by John Fenerides.

## Commercial performance

"Back Up" entered the Canadian Songs Chart dated November 22, 2015 at number 89. The song has peaked at number 80 on the chart.

## Track listing

* Download digital
* Back Up (Explicit) — 4:30
* Music streaming
* Back Up — 4:30

## Music video

On December 16, 2015 Snoop uploaded the lyric video for "Back Up" on his YouTube account.

## Charts
### Weekly charts

| Chart (2015) | Peak position |
| Canada (Canadian Songs Chart) | 80 |
# Wanakawri (Cusco)

Wanakawri (Quechua, also spelled Guanacaure, Guanacauri, Huanacaure, Huanacauri, Wanacaure, Wanacauri, Wanakaure, Wanakauri) is an archaeological site and a legendary mountain in Peru. It is situated in the Cusco Region, Cusco Province, in the districts San Jerónimo and San Sebastián, and in the Paruro Province, Yaurisque District. The mountain with the archaeological remains is 4,089 metres (13,415 ft) high and one of the highest elevations near Cusco.
Wanakawri was one of the most important wak'as of the Inca culture.

## Gallery

* Guaman Poma 1615: "IDOLOS DE LOS INGAS INTI, UANACAURI, TAMBOTOCO" (Idolos de los Incas Inti, Wanakawri, Tampu T'uqu)
# Qallwa (Andagua)

Qallwa (Quechua for a little branch, also for an instrument out of wood or bones which the weavers use to press the threads of the cloth, Hispanicized spelling Jallhua) is a 5,110-metre-high (16,765 ft) mountain in the Andes of Peru. It is located in the Arequipa Region, Castilla Province, Andagua District.
# Correctness (computer science)

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input–output behavior of the algorithm: for each input it produces an output satisfying the specification.
Within the latter notion, partial correctness, requiring that if an answer is returned it will be correct, is distinguished from total correctness, which additionally requires that an answer is eventually returned, i.e. the algorithm terminates. Correspondingly, to prove a program's total correctness, it is sufficient to prove its partial correctness, and its termination. The latter kind of proof (termination proof) can never be fully automated, since the halting problem is undecidable.
* Partially correct C program to find the least odd perfect number, its total correctness is unknown as of 2023
* // return the sum of proper divisors of n
* static int divisorSum(int n) {
* int i, sum = 0;
* for (i=1; i<n; ++i)
* if (n % i == 0)
* sum += i;
* return sum;
* // return the least odd perfect number
* int leastPerfectNumber(void) {
* int n;
* for (n=1; ; n+=2)
* if (n == divisorSum(n))
* return n;
For example, successively searching through integers 1, 2, 3, … to see if we can find an example of some phenomenon—say an odd perfect number—it is quite easy to write a partially correct program (see box). But to say this program is totally correct would be to assert something currently not known in number theory.
A proof would have to be a mathematical proof, assuming both the algorithm and specification are given formally. In particular it is not expected to be a correctness assertion for a given program implementing the algorithm on a given machine. That would involve such considerations as limitations on computer memory.
A deep result in proof theory, the Curry–Howard correspondence, states that a proof of functional correctness in constructive logic corresponds to a certain program in the lambda calculus. Converting a proof in this way is called program extraction.
Hoare logic is a specific formal system for reasoning rigorously about the correctness of computer programs. It uses axiomatic techniques to define programming language semantics and argue about the correctness of programs through assertions known as Hoare triples.
Software testing is any activity aimed at evaluating an attribute or capability of a program or system and determining that it meets its required results. Although crucial to software quality and widely deployed by programmers and testers, software testing still remains an art, due to limited understanding of the principles of software. The difficulty in software testing stems from the complexity of software: we can not completely test a program with moderate complexity. Testing is more than just debugging. The purpose of testing can be quality assurance, verification and validation, or reliability estimation. Testing can be used as a generic metric as well. Correctness testing and reliability testing are two major areas of testing. Software testing is a trade-off between budget, time and quality.
# Cocabamba District

Cocabamba is a district of the province of Luya in the Amazonas Region of Peru.

## Geography

Cocabamba is located in a temperate portion where Tomás lowers from the Saint's heights up to the river Cashew.
In the north the District of Cocabamba has border with the District of Pisuquía, in the East with Maria's District, the Saint's District Tomás (Luya) and the District of Leymebamba (Chachapoyas), in the southeast with the District of Rafts (Chachapoyas), in the south-west with the District of Celendin, in the west with the District of Chumuch. The principal entry to the District of Cocabamba is for the Saint's District Tomás (Luya), where it finishes the highway.

## Tourism

Cocabamba has several places for tourists, including several waterfalls and ruins of the Chachapoyas culture. The paved roads do not reach all the way to Cocabamba, so people who come by car must walk the last section.

## Culture

The public holiday of the capital Cocabamba is celebrated on October 8. Typical meals are the Purtumote (nickname: the Locro), stew and wheat resvaldo, among others. The District of Cocabamba Tomás (Luya) belongs to the parroquía of the Saint's District.
* This Amazonas geography article is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Bag Skyerne

"Bag Skyerne" is a song by Danish singer and songwriter Anne Gadegaard. It was released as a digital download in Denmark on 6 May 2013 through Awake Music. The song peaked to number 10 on the Danish Singles Chart

## Music video

A music video to accompany the release of "Bag Skyerne" was first released onto YouTube on 9 May 2013 at a total length of three minutes and forty-nine seconds.

## Chart performance
### Weekly charts

| Chart (2013) | Peak position |
| Denmark (Tracklisten) | 10 |

## Release history

| Region | Date | Format | Label |
| Denmark | 6 May 2013 | Digital download | Awake Music |