OpenLLM-France/wikimedia huggingface dataset:
# Aurora (CityNightLine)

Aurora was the name given to Basel‒Copenhagen night train services operating as part of the CityNightLine network.
The train was shunted in the middle of the night at Hannover, with other parts of the train connecting to Amsterdam and Berlin/Prague.
The stations served by the Aurora are:
| Outward journey | Return journey |
| Basel SBB | Copenhagen C |
| Basel Bad Bf (Basel German Station) | Roskilde |
| Freiburg (Brg) Hbf | Ringsted |
| Offenburg | Odense |
| Karlsruhe Hbf | Kolding |
| Mannheim Hbf | Padborg |
| Frankfurt (Main) Süd | Flensburg |
| Fulda Hbf | Neumünster |
| Neumünster | Fulda |
| Flensburg | Frankfurt (Main) Süd |
| Padborg | Mannheim Hbf |
| Kolding | Karlsruhe Hbf |
| Odense | Offenburg |
| Ringsted | Freiburg (Brg) Hbf |
| Roskilde | Basel Bad Bf |
| Copenhagen C | Basel SBB |

## Reintroduction

As of March 2025, Swiss Federal Railways were planning to restart night train services from Switzerland to Copenhagen and Malmö—within one year.
The restored night train service to Copenhagen/Malmö would be operated together with Railroad Development Corporation (RDC)—operators of the overnight Motorail services between Lörrach and Hamburg—with Swiss Railways selling night train tickets via their App.
Rolling stock would be transferred from the existing Amsterdam‒Zürich night train route, following the introduction of new Austrian Railways (ÖBB) Nightjet trains.
# Association football in Laos

Some activities of the sport of soccer in the country of Laos is run by the Lao Football Federation.
# Musa (name)

Musa is an Arabic male name, Arabic: موسی, a cognate for "Moses".

## People with the given name

* Musa al-Hadi (764-786), fourth caliph of the Abbasid Caliphate (reigned from 785 to 786)
* Musa ibn Isa ibn Musa al-Hashimi (746-?), 8th-century Abbasid governor
* Musa ibn Musa al-Hadi, an Abbasid prince and son of Al-Hadi
* Musa Aman (born 1951), Malaysian politician
* Musa Aydın (born 1980), Turkish footballer
* Musa Beg, official in Safavid Iran
* Musa Bility (born 1967), Liberian politician and businessman
* Musa Çağıran (born 1992), Turkish footballer
* Musa Çelebi (died 1413), 15th-century Ottoman prince
* Musa Cälil (1906–1944), Soviet poet and World War II resistance fighter
* Musa Ćazim Ćatić (1878–1915), Bosnian poet
* Musa al-Kadhim (745-799), seventh imam in Twelver Shia Islam
* Musa McKim (1908–1992), American artist and poet
* Musa Nizam (born 1990), Turkish footballer
* Musa Nur Amin, Somali politician
* Musa ibn Nusayr (640–716), Yemeni Muslim governor and general under the Umayyads, Viceroy of North Africa since 698; invaded Spain in 711
* Mūsā ibn Shākir, Persian engineer and astronomer
* Musa ibn Musa al-Qasawi (died 862), leader of the muwallad Banu Qasi clan's
* Musa Hitam (born 1934), Malaysian politician; former Deputy Prime Minister of Malaysia
* Musa I of Mali (1280-1337), Mansa of the Mali Empire between 1312 and 1337
* Musa Sor, Yazidi saint
* Musa Yakub, Bruneian military officer

## People with the surname

* Ahmed Musa (born 1992), Nigerian footballer
* Antonius Musa, Roman botanist and physician
* Balkisu Musa (born 1970), Nigerian weightlifter
* Banū Mūsā (died 873), 9th century Persian family of scholars
* Džanan Musa (born 1999), Bosnian-Herzegovinian basketball player
* Igor Musa (born 1973), Croatian footballer
* Isaac Musa (died 2008), Liberian military official and politician
* Mansa Musa (born 1280), political figure, 10th mansa of the Mali empire (reign 1312–1337)
* Mírzá Músá (died 1887), surnamed Áqáy-i-Kalím, was the brother of Bahá'u'lláh, the founder of the Bahá'í Faith
* Quintus Pomponius Musa, first-century Roman banker and moneyer
* Said Musa (born 1944), Prime Minister of Belize from 1996 to 2008
* Sunusi Musa (born 1978), Nigerian politician

## Derived name

Umm Musa is a female name of Semitic origin. It meaning is mother of Musa.
* Umm Musa (Jochebed), mother of prophet Musa.
* Arwa bint Mansur al-Himyari (734-764) also known as Umm Musa, was the wife of Caliph al-Mansur.
* Umm Musa al-Hashimiyya, was a Qahramana courtier of the caliph's harem during the reign of Caliph al-Muqtadir (r. 908–929).
# Interactive Theorem Proving (conference)

Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, Lean, NuPRL, PVS, and Twelf. Individual workshops or meetings devoted to individual systems are usually held concurrently with the conference.

## History

The inaugural meeting of ITP was held on 11–14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference. It is the extension of the Theorem Proving in Higher Order Logics (TPHOLs) conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009.
The first three were informal users' meetings for the HOL system and were the only ones without published papers. Since 1990 TPHOLs has published formal peer-reviewed proceedings, published by Springer's Lecture Notes in Computer Science series. It has also entertained an increasingly wide field of interest.
# Genneya Walton

Genneya Walton (born February 22, 1999) is an American actress. She is known for playing Bryden Bandweth in Project Mc$^2$, and Chloe Barris in BlackAF.

## Early life

Genneya Walton was born in Chicago, Illinois. She started her career as a dancer at the age of 7.

## Career

Walton appeared in episodic roles in the television shows: Jessie, Extant, The Thundermans, Kirby Buckets, School of Rock, Criminal Minds, Adam Ruins Everything, 9-1-1 and The Resident.
In 2014, Walton made her feature film debut in the role of Renata in the direct-to-video musical An American Girl: Isabelle Dances Into the Spotlight opposite Erin Pitt, Grace Davidson and Devyn Nekoda.
From 2015 to 2017, Walton was cast to play the main role in the comedy series Project Mc$^2$.
In 2020, she was cast for a role as Chloe Barris in Netflix television series BlackAF alongside Kenya Barris and Rashida Jones.
In 2022, Walton appeared in the supernatural teen comedy film Darby and the Dead starring Riele Downs and Auliʻi Cravalho, which was released by 20th Century Studios as a Hulu original film on December 2, 2022. She was also in Never Have I Ever's final season.

## Filmography

Television and film roles :
| Year | Film | Role | Notes |
| 2014 | An American Girl: Isabelle Dances Into the Spotlight | Renata | Direct-to-video film |
| 2015 | Jessie | Nora St. Claire | Episode: "Dance, Dance, Resolution" |
| 2015 | Extant | Teenage Tera | 4 episodes |
| 2015–2016 | The Thundermans | Simone Kickbutt | Episodes: "Cape Fear", "Chutes and Splatters" |
| 2015–2017 | Project Mc$^2$ | Bryden Bandweth | Main role |
| 2016 | Kirby Buckets | Birds | Episode: "Twinsies" |
| 2016 | School of Rock | Maddy Wayne | Episode: "Freddy Fights for His Right to Party" |
| 2016 | Criminal Minds | Francesca Morales | Episode: "Sick Day" |
| 2017 | Adam Ruins Everything | Winnie | Episode: "Adam Ruins Science" |
| 2018 | 9-1-1 | Laila Creedy | Episodes: "Next of Kin", "Worst Day Ever" |
| 2019 | The Resident | Valerie | Episode: "Emergency Contact" |
| 2020 | BlackAF | Chloe Barris | Main role |
| 2022 | Darby and the Dead | Bree | Supporting role |
| 2023 | Never Have I Ever | Lindsay Thompson | Supporting role (Season 4) |
| 2023 | Candy Cane Lane | Joy Carver | Supporting role |
| 2025–present | Daredevil: Born Again | BB Urich | 4 episodes |
# Miguel García (runner)

Miguel García Onsalo (20 June 1897 – 30 October 1994) was a Spanish sprinter. He competed in the men's 400 metres at the 1920 Summer Olympics.
# Lost River (Cacapon River tributary)

The Lost River is a 31.1-mile-long (50.1 km) river in the Appalachian Mountains of Hardy County in West Virginia's Potomac Highlands region. The Lost River is geologically the same river as the Cacapon River: it flows into an underground channel northeast of McCauley along West Virginia Route 259 at "the Sinks" and reappears near Wardensville as the Cacapon. The source of the Lost River lies south of Mathias near the West Virginia/Virginia border. Along with the Cacapon and North Rivers, the Lost River serves as one of the three main segments of the Cacapon River and its watershed.
The river is listed as impaired due to pathogens by the state of West Virginia; this is likely due to the livestock and poultry raising activities throughout the valley.
The river was named for the fact it is a losing stream.

## Tributaries

Tributary streams are listed from south (source) to north ("the Sinks").
* Culler Run
* Snyder Run
* Upper Cove Run
* Howards Lick Run
* Whitehead Run
* Lower Cove Run
** Adams Run
* Mill Gap Run
* Kimsey Run
** Camp Branch
** Gap Run
* Fravel Run
* Baker Run
** Long Lick Run
** Camp Branch
* Three Springs Run

## Cities and towns along the Lost River

* Baker
* Lost City
* Lost River
* Mathias
* McCauley
# Isleworth Hundred

Isleworth Hundred was a subdivision of the historic county of Middlesex, England. In Domesday Book (1086) it was recorded as Hundeslaw Hundred ("Hounslow Hundred" in modern spelling).
It contained three parishes, whose acreage and square miles area is given as at the 1870s-1880s:
| Heston | 3720 acres | = 15.1 square kilometres (5.8 sq mi) |
| Isleworth | 3143 acres | = 12.7 square kilometres (4.9 sq mi) |
| Twickenham | 2249 acres | = 9.1 square kilometres (3.5 sq mi) |
In 1801 Middlesex measured 734 km². This, the smallest of the county's six hundreds, amounted to 5% of that area.
The hundred's name means 'enclosure of Gislhere'.
All of the above area in earliest records was exceptionally part of one manor, that of Isleworth based at Syon Abbey. The ownership separated in the middle of the medieval centuries; that of Heston was inherited from marriage of the daughter of Francis Child by the Earl of Jersey (with the Childs-Villier and later Villier surname) until the 20th century seated at the house built by Child employing Robert Adam, Osterley House in the north-east of Isleworth parish. The others two main manors fell into the hands of the Duke of Northumberland (with the surname Percy) who took over the abbey's demense and built Syon House in the east of in Isleworth. The Domesday Book of 1086 names the unit (in its heavily abbreviated fusion of Latin and French) Hounslow Hundred, a term never found again. Hampton to the south-west was stated to be under Hounslow Hundred Court at that date. In the many Feet of Fines, Assize Rolls, subsidy rolls and other central government and manorial court documents, save for a similar reference to Isleworth Hundred in a charter of the 12th century, Hampton is listed as unequivocally part of Spelthorne Hundred. This is explained by the abbey's and then the Percy family's holdings there.
Further named clusters of buildings (sometimes termed hamlets) emerged during its relevant currency:
* Hounslow which was from the 16th century straddled the divide between the first-two named parishes.
* Whitton in the parish of Twickenham
* North Hyde in the parish of Heston
* Sutton in the parish of Heston
* Lampton in the parish of Heston
* Worton in the parish of Isleworth
* Wyke in the parish of Isleworth
* Scrattage (now part of Osterley) in the parish of Heston
# KPI

KPI may refer to:

## Companies and organizations

* Indonesian Broadcasting Commission (Komisi Penyiaran Indonesia)
** Indonesian Broadcasting Commission Awards (Anugerah KPI)
* Kralyevich Productions, an American video production company
* Kuwait Petroleum International

### Institutes

* Kansas Policy Institute, a think tank in Wichita, U.S.
* Kharkiv Polytechnic Institute (abbr. KhPI), Ukraine
* Khulna Polytechnic Institute, Bangladesh
* Kyiv Polytechnic Institute (abbr. KPI), Ukraine
* Kryvyi Rih Pedagogical Institute, Ukraine

## Other uses

* Kapit Airport, IATA airport code "KPI"
* Key performance indicator
* Kingpin inclination
* KPi, an extension of Kripke–Platek set theory based on recursively inaccessible ordinals, in mathematics
# Watermelon Pictures

Watermelon Pictures is an American film production and distribution company founded in 2024 by Badie and Hamza Ali. The company has distributed Israelism (2023), Life Is Beautiful (2023), From Ground Zero (2024), To a Land Unknown (2024), and The Encampments (2025)

## History

In April 2024, it was announced Badie and Hamza Ali, had launched Watermelon Pictures a company specializing in film production, financing, and distribution, with Alana Hadid set to serve as creative director. The mission of the company is to showcase Palestinians and Arabs, who have been poorly represented and dehumanized in mainstream media.
The company's first release Walled Off, a documentary focusing on The Walled Off Hotel, directed by Vin Arfuso, and executive produced by Roger Waters, Kweku Mandela and Anwar Hadid was released on May 3, 2024.
# BYD Seal 06

BYD Seal 06 can refer to 4 vehicles by BYD Auto:
* BYD Seal 06 DM-i, a plug-in hybrid sedan and station wagon
* BYD Seal 06 GT, a battery electric hatchback
* BYD Seal 06 EV, an upcoming battery electric sedan
* BYD Seal 06 DM-i
* BYD Seal 06 GT
# János Martonyi

János Martonyi (born in Kolozsvár, Hungary (today Cluj-Napoca, Romania), 5 April 1944) is a Hungarian politician, who served as Minister of Foreign Affairs from 1998 to 2002 and from 2010 to 2014. He is a member of the Fidesz – Hungarian Civic Union party. He was part of the Amato Group that unofficially drafted a new treaty for the European Union after the European Constitution was rejected by the French and Dutch voters.

## Political career

He was a member of the Hungarian Socialist Workers' Party (MSZMP) which he entered in 1988, which later he declared as a personal mistake.
On 29 May 2010 he was reappointed as Minister of Foreign Affairs. His most prominent tasks were the development of a strong and effective foreign policy, and planning for Hungarian Presidency of the European Union from January to July 2011. He visited Slovakia before his inauguration on the occasion of the passing of the Hungarian law allowing citizenship to be given to Hungarians living in neighboring countries. The Slovak government has considered the new law to be an aggressive move, with insufficient negotiation between the two countries. Martonyi said that hysteria in Slovakia is a result of the election campaign there.
Martonyi's foreign policy's motto was a quote from 17th-century poet Miklós Zrínyi: "Don't hurt the Hungarian!"
His first visit abroad was to Serbia. Martonyi mentioned the improved relations between the two countries. He said that Hungary has to help Serbia join the European Union. Martonyi met Vuk Jeremić who said the Hungarian EU Presidency will be very important for the integration of the Western Balkan countries. The Hungarian foreign minister also met Prime Minister Mirko Cvetković and President Boris Tadić.
At the end of the Hungarian Presidency of the European Union he said "the past six months of Hungary’s EU presidency demonstrated that Europe was able to function and react to challenges, even if sometimes slowly and unevenly". Martonyi noted that number of integration issues has resolved during EU presidency, including EU enlargement, the approval of the Roma Framework Strategy and the Danube Strategy, completion of accession negotiations with Croatia, as well as progress towards the admission of Romania and Bulgaria to the Schengen zone.

## Memberhips

Martonyi is a member of the European Academy of Sciences and Arts, the Board of MOL and the Wilfred Marten Centre for European Studies.
# Brushy Creek (Saint Johns Creek tributary)

Brushy Creek (also called Brushy Fork) is a stream in Franklin County in the U.S. state of Missouri. It is a tributary of Saint Johns Creek. The stream headwaters are at 38°29′52″N 91°10′23″W﻿ / ﻿38.49778°N 91.17306°W﻿ / 38.49778; -91.17306 and the confluence with Saint Johns Creek is at 38°31′16″N 91°06′55″W﻿ / ﻿38.52111°N 91.11528°W﻿ / 38.52111; -91.11528 at an elevation of 512 feet (156 m).
Brushy Creek was so named on account of brush along its course.
# Hina Spani

Hina Spani (15 February 1890 – 11 July 1969) was an Argentine soprano. Her real name was Higinia Tuñón and she enjoyed a major opera career centred on Italy during the 1920s and 1930s.

## Overview

Spani was born in Puán, Province of Buenos Aires, an old town located in the pampas of Argentina. When it was discovered that she had a clear, pleasing voice, a landowner from the vicinity of her home town agreed to help her to meet the costs of studying voice, first in Buenos Aires with Amanda Campodónico and later in Milan with Vittorio Moratti.
She made her operatic début at La Scala, Milan, in 1915, in the secondary rôle of Anna in Alfredo Catalani's La Wally. She sang regularly at La Scala—Italy's most important theatre—and in all the leading Italian theaters until 1934. She also toured Australia with a first-rate troupe composed of some of La Scala's leading singers.
At the Teatro Colón she was heard between 1915 and 1940, creating the title part in the world première of Respighi's Maria Egiziaca in 1934, as well as several operas by Argentine composers. She sang over 70 rôles ranging from Ottavia in Monteverdi's 17th century opera L'incoronazione di Poppea to works by then living composers.
After retiring from the operatic stage, she taught at the Vocal Art Institut of the Teatro Colón, which she directed.
Spani died in Buenos Aires on 11 July 1969.

## Recordings

Spani made some 40 sides for the Italian Columbia and La voce del padrone recording companies. Reissues of her best 78-rpm records can be heard on excellent CDs produced by the Preiser and Pearl labels. Marston Records have also reissued in 2CD their complete recordings.

## Appreciation

Spani's style and technique were typical of a Latin soprano of the 1920-1945 period, but her rich tone was much smoother and her musicianship more subtle than that of most of her contemporaries. She was an outstanding spinto with a constant appreciation of the expressive limits of the music that she sang; as a result, she invested her operatic interpretations with a unique combination of intensity and restraint.
Inter-war opera-goers spoke admiringly of the "grand", expansive quality that her voice possessed when it was experienced in the acoustics of a theatre as opposed to a boxy recording studio. She also had a vast concert repertory which she had been encouraged to acquire by her first teacher in Buenos Aires. Very little of this is documented on record (although she did leave a handful of lovely song recordings), but those who saw her in recital remembered the joy that she communicated. In this respect, she was a real cosmopolitan artist.
# Brothers' Quarrel

The Brothers' Quarrel (German: Bruderzwist) was a conflict between Rudolf II, Holy Roman Emperor and his brother, Matthias in the early 17th century.
Their other brothers (Maximilian III and Albert VII) and their cousins, especially Ferdinand II and Leopold V, were also deeply involved in the dispute. The family feud weakened the Habsburgs' position and enabled the estates of their realms to win widespread political and religious concessions.
The 19th-century Austrian writer Franz Grillparzer dedicated a play to the events.
# János Martonyi

János Martonyi (born in Kolozsvár, Hungary (today Cluj-Napoca, Romania), 5 April 1944) is a Hungarian politician, who served as Minister of Foreign Affairs from 1998 to 2002 and from 2010 to 2014. He is a member of the Fidesz – Hungarian Civic Union party. He was part of the Amato Group that unofficially drafted a new treaty for the European Union after the European Constitution was rejected by the French and Dutch voters.

## Political career

He was a member of the Hungarian Socialist Workers' Party (MSZMP) which he entered in 1988, which later he declared as a personal mistake.
On 29 May 2010 he was reappointed as Minister of Foreign Affairs. His most prominent tasks were the development of a strong and effective foreign policy, and planning for Hungarian Presidency of the European Union from January to July 2011. He visited Slovakia before his inauguration on the occasion of the passing of the Hungarian law allowing citizenship to be given to Hungarians living in neighboring countries. The Slovak government has considered the new law to be an aggressive move, with insufficient negotiation between the two countries. Martonyi said that hysteria in Slovakia is a result of the election campaign there.
Martonyi's foreign policy's motto was a quote from 17th-century poet Miklós Zrínyi: "Don't hurt the Hungarian!"
His first visit abroad was to Serbia. Martonyi mentioned the improved relations between the two countries. He said that Hungary has to help Serbia join the European Union. Martonyi met Vuk Jeremić who said the Hungarian EU Presidency will be very important for the integration of the Western Balkan countries. The Hungarian foreign minister also met Prime Minister Mirko Cvetković and President Boris Tadić.
At the end of the Hungarian Presidency of the European Union he said "the past six months of Hungary’s EU presidency demonstrated that Europe was able to function and react to challenges, even if sometimes slowly and unevenly". Martonyi noted that number of integration issues has resolved during EU presidency, including EU enlargement, the approval of the Roma Framework Strategy and the Danube Strategy, completion of accession negotiations with Croatia, as well as progress towards the admission of Romania and Bulgaria to the Schengen zone.

## Memberships

Martonyi is a member of the European Academy of Sciences and Arts, the Board of MOL and the Wilfred Marten Centre for European Studies.