OpenLLM-France/wikimedia huggingface dataset:
# Alfonso Perales

Alfonso Perales Pizarro (19 July 1954, in Alcalá de los Gazules – 23 December 2006, in Conil de la Frontera) was a Spanish historian and politician.

## Biography

Graduated in History, he was a professor at the University of Cadiz. In political life, he joined the Spanish Socialist Workers' Party during his time in 1972.
He was a member of the management of the Socialist Youth, Secretary General of the PSOE in Cadiz, Secretary of Organization of the PSOE in Andalusia and Secretary of Municipal Policy and Secretary of Institutional and Autonomous Relations in the Federal Executive Committee of the PSOE.
Alfonso Perales was at the historic Suresnes Congress in 1974, and over time he helped rebuild the structure of the PSOE, first in Cadiz and then in Andalusia. Endowed with an extraordinary capacity for irony and sense of humour, he practised politics from the principles of loyalty to institutions and the search for agreement and consensus.
His last great contribution to the PSOE and to Spanish politics was the negotiation in the Congress of Deputies of the reform of the Statute of Andalusia with the rest of the political forces, his assistance being fundamental so that the reform of the Andalusian Statute, which had not been voted on by the PP in Andalusia, could achieve a broad consensus in the Spanish Parliament.
In the institutional field, he was elected councillor in the City Council of Cadiz and between 1983 and 1987 President of the Provincial Council of Cadiz. From 1989 to 1996, he obtained the act of deputy to the Congress, and later he joined the Andalusian Government as Minister of Governance. He returned as a member of Congress in 2004.
After the general elections of 2004, he coordinated the political position of the PSOE in the reforms of the Statutes of Autonomy of the Valencian Community, Catalonia and Andalusia. Upon his death, he was replaced as Secretary of Institutional Policy by Carmen Hermosín.
# Historia Anglorum

Historia Anglorum ("History of the English") is the title of two medieval works on the history of England:
* by Henry of Huntingdon (c. 1154)
* by Matthew Paris (c. 1255)
# The Shoals of Herring

"The Shoals of Herring" (Roud 13642) is a ballad, written by Ewan MacColl for the third of the original eight BBC Radio ballads Singing the Fishing, which was first broadcast on August 16, 1960. Ewan MacColl writes that the song was based on the life of Sam Larner, a fisherman and traditional singer from Winterton-on-Sea, Norfolk, England.$^{:46}$ Liam Clancy, who performed the song for decades, tells a more nuanced story, saying that MacColl "tape recorded all the old fisherman up along the east coast of England. And he never used one word of his own. ... He rhymed the lines that the fishermen had given him, and he made it into a song..."
It has been recorded by The Spinners, The Dubliners, The Clancy Brothers, The Corries, Three City Four (Martin Carthy, Leon Rosselson, Ralph Trainer and Marian McKenzie), Astrid Nijgh (in Dutch, as De scholen haring), Schooner Fare, Patrick Clifford and Breabach, The Longest Johns . It was also featured on the soundtrack for the 2013 film Inside Llewyn Davis, performed in the film by Oscar Isaac (accompanied on the soundtrack by Punch Brothers).
Being a well-documented song publicised by Mudcat, and Mainly Norfolk, the song was recorded by Jon Boden and Oli Steadman for inclusion in their respective lists of daily folk songs "A Folk Song A Day" and "365 Days Of Folk".
In an example of the folk process, the song's title and refrain have altered to "The Shores of Erin" when sung by some Irish traditional singers.
# Dicolectes

Dicolectes is a genus of leaf beetles in the subfamily Eumolpinae. It is distributed in Africa.

## Species

* Dicolectes atripes Pic, 1953
* Dicolectes aulicus Lefèvre, 1886
* Dicolectes clavareaui Kuntzen, 1914
* Dicolectes erythropus Lefèvre, 1886
* Dicolectes fortis (Weise, 1895)
* Dicolectes impressiceps Pic, 1938
* Dicolectes minor (Weise, 1903)
* Dicolectes ornatus (Jacoby, 1894)
* Dicolectes rufipes Pic, 1938
* Dicolectes rugulosus Lefèvre, 1886
* Dicolectes semipurpureus Pic, 1938
* Dicolectes spinicollis Burgeon, 1941
# St Aidan's Church, Caythorpe

St Aidan's Church, Caythorpe is a Chapel of Ease in the Church of England in Caythorpe, Nottinghamshire. It is notable as being one of very few surviving 'tin tabernacles' still in ecclesiastical use. It was granted Grade II listed status by Historic England in July 2022.

## History

The church was built in 1900 as a Chapel of Ease in the parish of Lowdham, and it remains in a joint parish with:
* St Mary's Church, Lowdham
* St John the Baptist's Church, Gunthorpe

## Organ

There is a pipe organ and a Canadian reed organ.
# Willie Waggonner

William Edward Waggonner (August 7, 1905 – May 9, 1976) was an American sheriff. He served as the sheriff in Bossier Parish, Louisiana from 1948 to 1976.
Born in Plain Dealing, Louisiana, the brother of politician Joe Waggonner. Waggonner attended at the Plain Dealing Middle/High School, where he later graduated. He served as a member of the Plain Dealing Masonic Lodge, with also being a member of the Plain Dealing Lions Club and Bossier Chamber of Commerce. In the 1960s, Waggonner was a part of rodeo performer Jack Favor's falsely accused murder and robbery case, in which he was exceedingly concerned along with district attorney Louis H. Padgett Jr. for which the case was solved.
Waggonner died in May 1976 of a heart attack at his home in Plain Dealing, Louisiana, at the age of 70. According to his The Times obituary, he survived at least three heart attacks.
# Baker's Island

Baker's Island is an island in Langstone Harbour, Hampshire, England. It is 400 m (1,300 ft) long and up to 300 m (980 ft) wide but only rises to a little over 2 m (7 ft) above Ordnance Datum. Mesolithic and Neolithic flintwork has been found on the island along with Bronze Age and Romano-British pottery. There are a number of structures on the island including the remains of a flint walled building and five 5 by 1.5 m (16.4 by 4.9 ft) brick shelters believed to be part of a World War Two starfish decoy site. In 1978 the island along with the other islands in Langstone Harbour was acquired by the Royal Society for the Protection of Birds who turned it into a bird sanctuary. Since that time unauthorised landings have been forbidden.
# Treaty of Lima

Treaty of Lima refers to a number of treaties.
* Treaty of Lima (1848), more formally known as the Treaty of Confederation between the Republics of Peru, Bolivia, Chile, Ecuador and New Granada, was signed on February 8, 1848.
* Treaty of Lima (1865), was two treaties, the Treaty of Union and Defensive Alliance and the Treaty for the Preservation of Peace, both agreed to by representatives from Argentina, Bolivia, Chile, Colombia, Ecuador, El Salvador, Guatemala, Venezuela and Peru. They were signed but never ratified.
* Treaty of Lima (1878), a Latin American "Treaty for the Establishment of Uniform Rules in Private International Law", was ratified only by Peru and did not go into effect.
* Treaty of Lima (1883) was a treaty of peace signed between Chile and Spain on 12 June 1883.
* Treaty of Lima (1929), replaced portions of the 1883 Treaty of Ancón dealing with the boundary between Peru and Chile and the provinces of Tacna and Arica.
# Ykiki Beat

Ykiki Beat was a five-piece indie pop band from Tokyo, Japan.
In January, 2017, they announced they had been on hiatus from December, 2016 and that they would disband. They also announced that each member would continue to make music their own way. Three members of the band, Akiyama, Kachi, and Kamoto, are currently members of four-piece indie rock band DYGL. Drummer Mizuki Sekigushi is currently a member of four-piece indie rock band Cairophenomenons.

## Band members

* Nobuki Akiyama – lead vocals, guitars
* Kohei Kamoto - guitar
* Koki Nozue - synthesizer
* Yotaro Kachi - bass
* Mizuki Sekiguchi - drum

## Discography
### Albums
#### Studio albums

| Title | Album details | Peak chart positions | Peak chart positions |
| Title | Album details | JPN Oricon | JPN Billboard |
| When the World is Wide | Released: 22 July 2015 Label: P-Vine Records Formats: CD, LP, digital download | 58 | 56 |

#### Extended plays

| Title | EP details | Peak chart positions | Peak chart positions |
| Title | EP details | JPN Oricon | JPN Billboard |
| Tired of Dreams | Released: 6 December 2013 Label: Self-released Formats: digital download | — | - |

### Singles
#### As lead artist

| Year | Single | Peak chart positions | Peak chart positions | Peak chart positions | Album |
| Year | Single | JPN Oricon | JPN Hot 100 | JPN Radio | Album |
| 2014 | "Forever" | - | 91 | 17 | When the World is Wide |
| 2016 | "Forever" (re-release) | 136 | - | - | When the World is Wide |

#### Promotional singles

| Year | Title | Album |
| 2013 | "Garden" | Tired of Dreams |

### Other appearances

List of non-single guest appearances, with other performing artists, showing year released and album name :
| Title | Year | Album |
| "Garden" | 2013 | Sauna Cool 1 |
| "Garden" | 2014 | Bonjour Colette |
| "Forever" | 2015 | magazine nero presents Flaming Fountain: mixtape vol. 1 "we forget all, don't we?" |
# Wendelstein Cable Car

The Wendelstein Cable Car (Wendelstein-Seilbahn) is a 2,953-metre (9,688-foot) long cable car (US: aerial tramway) running from the village of Bayrischzell Osterhofen to Mount Wendelstein in the Bavarian Alps in Germany. It has a maximum speed of 10 m/s (32.8 ft/s) (36 km/h or 22.4 mph) and its travel time is 6.5 minutes. The cabins each take up to 50 passengers, and the cable car system has a transport capacity of 450 people per hour. The cable car climbs an altitude difference of 932 metres (3,058 feet).
The cable car has a 50 mm (1.97 in) track rope and a 30 mm (1.18 in) haulage rope. Its engine has a maximum output of 490 hp (370 kW). It has one 75-metre (246-foot) tall pylon.
# The South Australian Record

The South Australian Record was an English newspaper founded in London in 1837 specialising in news about South Australia, directed at potential investors and emigrants to that British colony. It was founded by Henry Capper, emigration clerk with the South Australian Colonization Office at Adelphi, London, who was editor and part owner. During its five year existence the paper went through several changes of name and ambit.

## History

The Record was at first published monthly (price 5d.) by Capper and John Gliddon from an office at 37 Great Marlborough street, Westminster, from 8 November 1837.
A paragraph in the Record of (perhaps) 8 May 1839 contained a candid appraisal of one of the South Australian Company's representatives in the colony, which drew the ire of Robert Torrens, who recommended to the Governor that he publicly disown the statement as an "error" on Capper's part. Rather than submit to this insult, Capper resigned from his position with the Colonization Office, but continued publishing the Record.
The South Australian Record became briefly South Australian Record and Australasian Chronicle in 1840, became the South Australian Record and Australasian and South African Chronicle then in March 1841 the Australasian Record which ran to either late 1843 or early 1844.

### Digitization

Copies of the
* South Australian Record from 8 November 1837 to 15 January 1840 and
* South Australian Record and Australasian Chronicle published weekly from 22 February 1840 to 2 May 1840 and
* South Australian Record and Australasian and South African Chronicle published weekly (some issues missing) from 9 May 1840 to 24 February 1841
       have been digitized by the National Library of Australia and may be accessed using Trove.
# Break (2008 film)

Break is a 2008 action drama film starring Chad Everett, Sarah Thompson, Michael Madsen and James Russo.

## Plot

A terminally ill crime boss, known only as The Man, hires a hit man named Frank to carry out his own assassination as well as the assassination of The Woman he loves. When The Woman turns out to be Frank's long lost lover, he turns against The Man becoming the target himself.

## Cast

* Frank Krueger as Frank
* Sarah Thompson as The Woman
* Chad Everett as The Man
* Mackenzie Firgens as The Mysterious Brunette
* Michael Madsen as The Associate
* Charles Durning as The Wise Man
* Matthew Jones as Haiku
* James Russo as The Father
* David Carradine as The Bishop

## Reception

It won Best Drama at the Action On Film International Film Festival.
# Habalakatti

Habalakatti is a village in the Kushtagi taluk of Koppal district in the Indian state of Karnataka.

## Demographics

As of 2001 India census, Habalakatti had a population of 1,817 with 914 males and 903 females and 297 Households.
# St Aidan's College

St Aidan's College may refer to:
* St Aidan's College, Birkenhead, a former Church of England theological college
* St Aidan's College, Durham, England, part of the University of Durham
* St Aidan's Theological College, Ballarat, a former Anglican college in Australia
# Alt-Ergo

Alt-Ergo, an automatic solver for mathematical formulas, is mainly used in formal program verification. It operates on the principle of satisfiability modulo theories (SMT). Development was undertaken by researchers at the Paris-Sud University, Laboratoire de Recherche en Informatique, Inria Saclay Ile-de-France, and CNRS. Since 2013, project management and oversight has been conducted by OCamlPro company. It is released under the free and open-source software CeCILL-C license.

## Technologies
### Design choices

Alt-Ergo employs a specialized input language with prenex polymorphism, designed to reduce the number of axioms requiring quantification and to simplify the complexity of problems. While Alt-Ergo offers partial support for the SMT-LIB 2 language, its efficiency with SMT files is comparatively limited.

### Main components

The core architecture of Alt-Ergo comprises three main elements: a depth-first search (DFS)-based SAT solver, a quantifiers instantiation engine that uses e-matching, and an assembly of decision procedures for a range of built-in theories. These components collectively enable Alt-Ergo's abilities in automatic formula solving.

### Built-in theories

Alt-Ergo implements (semi-)decision procedures for the following theories:
* Empty theory
* Linear integer arithmetic
* Linear rational arithmetic
* Non-linear arithmetic
* Floating point arithmetic
* Polymorphic arrays
* Enumerated data types
* AC symbols
* Record data types

## Industrial uses

Several verification platforms are built on Alt-Ergo:
* Why3, a platform for deductive program verification, uses Alt-Ergo as main prover
* CAVEAT, a C-verifier developed by CEA and used by Airbus; Alt-Ergo was included in the qualification DO-178C of one of its aircraft
* Frama-C, a framework to analyse C-code, uses Alt-Ergo in the Jessie and WP plugins (dedicated to deductive program verification)
* SPARK, uses Alt-Ergo (behind GNATprove) to automate the verification of some assertions in Spark 2014
* Atelier-B can use Alt-Ergo instead of its main prover (raising success from 84% to 98% on ANR Bware project benchmarks)
* Rodin, a B-method framework developed by Systerel, can use Alt-Ergo as a back-end
* Cubicle, an open source model checker to verify safety properties of array-based transition systems
* EasyCrypt, a toolset for reasoning about relational properties of probabilistic computations with adversarial code
* BWARE
* Cafein
* FUI Hi-Lite
* Decert
* ADT Alt-Ergo
* A3PAT
# Balasaheb Bharde

Balasaheb Shivram Bharde (1912–2006), also known as Trimbak, was an Indian independence activist, social worker, educationist and the speaker of Maharashtra Legislative Assembly. He was known for his contributions to the cooperative movement in Maharashtra as the Minister of Co-operation (1957–1962). He was associated with several social and government organizations such as Khadi Gramodhyog, Harijan Sevak Sangh and Maharashtra Gandhi Smarak Nidhi (MGSN) and served as the chairman of the first named and as the second president of the MGS Nidhi. He also chaired the Maharashtra State Khadi Board.
Born in 1912 at Shevgaon, a small village in Ahmednagar district of the Indian state of Maharashtra, he represented his native constituency at the State Legislative Assembly for two decades from 1952. The Government of India awarded him the third highest civilian honour of the Padma Bhushan, in 2001, for his contributions to society. He died on 22 November 2006 at the age of 94, in Pune. He had a wife, five sons and a daughter. Several educational institutions and a public library in Shevgaon have been named after Bharde.
# Glyptoscelis squamulata

Glyptoscelis squamulata, the grape bud beetle, is a leaf beetle. The species was first described by George Robert Crotch in 1873. It is found in the western United States.
In the 1920s to 1940s, G. squamulata was considered a major pest of table grapes in Coachella Valley of southern California. It is now considered to be a minor pest.
# Weir River

Weir River may refer to:

## Australia

* Weir River (Queensland), Australia, a tributary of Barwon River
* Weir River, Queensland, a locality in the Western Downs Region, Australia

## United States

* Weir River (Massachusetts), U.S., which ends in Boston Harbor
* Weir River (Manitoba), a tributary of the Nelson River
# The South Butt

The South Butt, LLC was an American clothing and accessories company founded in May 2007 by Jimmy Winkelmann Sr. and Jr., the latter of whom was at the time a 16-year-old student at Chaminade College Preparatory School in St. Louis, Missouri. The South Butt dissolved in June 2011.
Winkelmann Jr. claimed the company was a parody of The North Face, an American outdoor product company. In August 2008, The North Face sent a cease and desist letter to Winkelmann threatening to sue him if he did not "cease all promotion and sales of South Butt products and abandon his trademark registration application." According to The North Face, his "use of the South Butt & design mark and the Never Stop Relaxing tagline [was] not defensible as a parody[.]" The North Face sought an amicable resolution of the matter, voluntary abandonment of the pending trademark application, and immediate discontinuance of the company's name, mark, and tagline. In response, Winkelmann offered to sell his company to The North Face for $1 million, an offer that he later rescinded as The South Butt grew.
In December 2008, The North Face filed a lawsuit in the United States District Court for the Eastern District of Missouri against Winkelmann, The South Butt, and Williams Pharmacy, a company which handled the products' marketing and manufacturing details. The court ordered mediation in the case, and on April 1, 2010, the parties reached a closed settlement agreement. Two days later, Winkelmann Sr. formed a company called "Why Climb Mountains" which sold "The Butt Face" products. In October 2012, the Winkelmanns admitted in court that they violated the settlement agreement with The North Face. In addition, the court ordered them to abandon a trademark registration application for The Butt Face, shut down their web store and Facebook page, surrender all merchandise, and pay $65,000, an amount that would be reduced by $1,000 for every month of compliance.
# Diary (Tino Coury song)

"Diary" is a song recorded by American singer-songwriter Tino Coury, released as the first single from his debut EP, Page One, on May 4, 2010. The single peaked in the top twenty of the Billboard Dance/Club Play chart. The song was featured in the games Tap Tap Revenge 3 and Tap Tap Revenge 4.

## Chart positions

| Chart (2010) | Peak position |
| U.S. Billboard Dance/Club Play Songs | 11 |
# Brezni Vrh

Brezni Vrh (pronounced) is a dispersed settlement in the hills north of the Drava River in the Municipality of Radlje ob Dravi in Slovenia, on the border with Austria.
# A Song Across Wires

Professional ratings :
| Review scores ||
| Source | Rating |
| Mixmag | |
A Song Across Wires (promoted by the hashtag #ASAW) is the ninth studio album by composer and electronica artist BT, released on August 16, 2013. This album features more vocal tracks and a plethora of guest artists as part of his alternate instrumental and vocal album productions. The album consists of 12 songs and was released in both digital and physical copies. On the album, BT collaborates with singers and producers of his previous album, These Hopeful Machines, such as Christian Burns and JES, as well as new ones, such as Arty, Nadia Ali, Aqualung, tyDi and more.

## Background

There have been four #1 Beatport trance singles from BT's ninth artist album on the Beatport genre charts. The first single from the album, "Tomahawk", was released on October 31, 2011. "Must Be the Love" is the second album single, produced alongside Arty and Nadia Ali, and released on September 17, 2012. The official music video for the song premiered on February 22, 2013. The third single released from the album is "Skylarking", an instrumental track that appeared in Armin van Buuren's A State of Trance 2013 and came out on February 18, 2013, with its official music video being released on June 10, 2013. "Surrounded", the fourth single from A Song Across Wires, was released on July 15, 2013.
The official track list of the album was released by BT himself on July 10, 2013. The album trailer was released on August 3, 2013. On CD, the album consisted of a 79-minute DJ set of all 12 songs. Digitally, the album was released either entirely in radio edits (such as on iTunes and through record label Armada's own website) or in extended form, alongside the DJ mix. Notably, Extended Versions features an extended mix of the previously released "Must Be the Love". The album itself contains "City Life", a song sung entirely in Korean, along with a new recording of BT's 1995 single "Anomaly - Calling Your Name", which was originally released under the name Libra presents Taylor and was featured in Mortal Kombat Annihilation and American Pie.

## Charts

| Chart (2013) | Peak position |
| Dutch Albums (Album Top 100) | 10 |
| US Billboard 200 | 188 |
| US Top Dance/Electronic Albums (Billboard) | 5 |
| US Heatseekers Albums (Billboard) | 7 |
# St. Paul Elementary School

St. Paul Elementary School can refer to:
* St. Paul Elementary School (Kentucky) in the Archdiocese of Louisville, Kentucky
* St. Paul Elementary School (Quebec) in Beaconsfield, Quebec
* St. Paul Elementary School (Toronto) in Toronto, Ontario
* St. Paul Elementary School (Virginia) in St. Paul, Virginia
# Amanecer

Amanecer may refer to:

## Music

* Amanecer (Joey Calderazzo album), 2007
* Amanecer (Bomba Estéreo album), 2015
* "Amanecer" (song), 2015, performed by Spanish singer Edurne
* "Amanecer", a 1978 song by Armando Manzanero
* "Amanecer", a 1982 song by Tish Hinojosa

## Other uses

* Amanecer (film), a 2009 short film by Alvaro D. Ruiz
* CP Amanecer, a Spanish football team