OpenLLM-France/wikimedia huggingface dataset:
# Petrorhagia

Petrorhagia is a small genus of annual and perennial plants of the family Caryophyllaceae, mostly native to the Mediterranean region. It is low-growing with wiry stems and narrow, grass-like leaves. The flowers are small, in clusters similar to members of the genus Dianthus, in pink, lilac, or white. Petrorhagia saxifraga is the tunic flower or coat flower, similar to baby's breath, but shorter, and used in rock gardens.
These plants are mainly native to Eurasia, but some species can be found nearly worldwide, having been introduced to other continents.

## Species

As of 2024, Kew's Plants of the World Online lists 29 accepted species of Petrorhagia:
* Petrorhagia arabica (Boiss.) P.W.Ball & Heywood
* Petrorhagia cyrenaica (E.A.Durand & Barratte) P.W.Ball &
* Petrorhagia dianthoides (Sm.) P.W.Ball & Heywood
* Petrorhagia dubia (Raf.) G.López & Romo – hairy pink
* Petrorhagia elymaitica (Mozaff.) Falat., Assadi & F.Ghahrem.
* Petrorhagia fasciculata (Margot & Reut.) P.W.Ball &
* Petrorhagia glumacea (Bory & Chaub.) P.W.Ball &
* Petrorhagia graminea (Sm.) P.W.Ball & Heywood
* Petrorhagia grandiflora Iatroú
* Petrorhagia hispidula (Boiss. & Heldr.) P.W.Ball &
* Petrorhagia kennedyae (A.K.Jacks. & Turrill) P.W.Ball &
* Petrorhagia laconica Trigas, Kalpoutz. & Kougioum.
* Petrorhagia lycica (P.H.Davis) P.W.Ball & Heywood
* Petrorhagia macra (Boiss. & Hausskn.) P.W.Ball &
* Petrorhagia nanteuilii (Burnat) P.W.Ball & Heywood – childing pink
* Petrorhagia obcordata (Margot & Reut.) Greuter &
* Petrorhagia ochroleuca (Sm.) P.W.Ball & Heywood
* Petrorhagia pamphylica (Boiss. & Balansa) P.W.Ball &
* Petrorhagia peroninii (Boiss.) P.W.Ball & Heywood
* Petrorhagia phthiotica (Boiss. & Heldr.) P.W.Ball &
* Petrorhagia prolifera (L.) P.W.Ball & Heywood – proliferous pink
* Petrorhagia rhiphaea (Pau & Font Quer) P.W.Ball
* Petrorhagia rupestris Brullo & Furnari
* Petrorhagia sarbaghiae S.A.Ahmad
* Petrorhagia saxifraga (L.) Link – tunic-flower
* Petrorhagia syriaca (Boiss.) Mouterde & Greuter
* Petrorhagia thessala (Boiss.) P.W.Ball & Heywood
* Petrorhagia wheeler-hainesii Rech.f.
* Petrorhagia zoharyana Liston
# Shitte Freight Terminal

Shitte Freight Terminal (知手駅, Shitte-eki) is a railway freight terminal in Kamisu, Ibaraki Prefecture, Japan, operated by the Kashima Rinkai Railway.

## Lines

The terminal is located on the Kashima Rinkō freight line from Kashima Soccer Stadium to Okunoyahama Freight Terminal, a distance of 16.4 km from Kashima Soccer Stadium.

## History

The terminal opened on 12 November 1970.
# Hoseynabad, Bagh Safa

Hoseynabad (Persian: حسين اباد, also romanized as Ḩoseynābād; also known as Ḩoseynābād-e Bāgh-e Sīāh and Husainābād) is a village in Bagh Safa Rural District, Sarchehan District, Bavanat County, Fars province, Iran. At the 2006 census its population was 429, in 93 families.
# 2024 FINA Diving World Cup

The 2024 FINA Diving World Cup took place in Xi'an, China, from 19 to 21 April 2024. It was the 25th edition of the diving competition, and the eighth time this specific FINA event was held in China.
The event served as a Super Final to two previous events, Stops 1 and 2 of the Diving World Cup, held in Montreal, Canada (29 February – 3 March 2024) and Berlin, Germany (21 – 24 March 2024).

## Schedule

All times are local China Standard Time (UTC+8) and based on approximate entry numbers. They will be subject to revision.
| Day | Date |
| 1 | 19 Apr |
| 2 | 20 Apr |
| 3 | 21 Apr |

## Medal summary
### Men's events

| Event | Gold | Gold | Silver | Silver | Bronze | Bronze |
| 3m springboard details | Wang Zongyuan China | 525.00 | Osmar Olvera Mexico | 475.55 | Jack Laugher Great Britain | 472.85 |
| 10m platform details | Yang Hao China | 557.60 | Rikuto Tamai Japan | 531.55 | Randal Willars Mexico | 492.50 |
| Synchronized 3m Springboard details | China Wang Zongyuan and Long Daoyi | 474.75 | Mexico Juan Celaya and Osmar Olvera | 420.81 | Great Britain Jack Laugher and Anthony Harding | 403.89 |
| Synchronized 10m Platform details | China Yang Hao and Lian Junjie | 472.92 | Great Britain Noah Williams and Tom Daley | 440.37 | Germany Jaden Eikermann and Timo Barthel | 393.09 |

### Women's events

| Event | Gold | Gold | Silver | Silver | Bronze | Bronze |
| 3m springboard details | Chen Yiwen China | 376.05 | Chiara Pellacani Italy | 301.95 | Maddison Keeney Australia | 291.15 |
| 10m platform details | Chen Yuxi China | 443.20 | Quan Hongchan China | 410.70 | Andrea Spendolini-Sirieix Great Britain | 344.60 |
| Synchronized 3m Springboard details | Australia Anabelle Smith and Maddison Keeney | 284.67 | United States Kassidy Cook and Sarah Bacon | 284.10 | Italy Chiara Pellacani and Elena Bertocchi | 268.92 |
| Synchronized 10m Platform details | China Quan Hongchan and Chen Yuxi | 364.86 | Canada Kate Miller and Caeli McKay | 296.10 | Ukraine Kseniia Bailo and Sofiia Lyskun | 294.42 |

### Mixed events

| Event | Gold | Gold | Silver | Silver | Bronze | Bronze |
| Team Event | Chen Yiwen Wang Zongyuan Yang Hao Chen Yuxi China | 500.75 | Daniel Goodfellow Tom Daley Grace Reid Andrea Spendolini-Sirieix Great Britain | 456.75 | Cassiel Rousseau Emily Meaney Maddison Keeney Kurtis Mathews Australia | 440.20 |

### Medal table

* Host nation (China)
| Rank | Nation | Gold | Silver | Bronze | Total |
| 1 | China* | 8 | 1 | 0 | 9 |
| 2 | Australia | 1 | 0 | 2 | 3 |
| 3 | Great Britain | 0 | 2 | 3 | 5 |
| 4 | Mexico | 0 | 2 | 1 | 3 |
| 5 | Italy | 0 | 1 | 1 | 2 |
| 6 | Canada | 0 | 1 | 0 | 1 |
| 6 | Japan | 0 | 1 | 0 | 1 |
| 6 | United States | 0 | 1 | 0 | 1 |
| 9 | Germany | 0 | 0 | 1 | 1 |
| 9 | Ukraine | 0 | 0 | 1 | 1 |
| Totals (10 entries) | Totals (10 entries) | 9 | 9 | 9 | 27 |

## Participating countries

A total of 0 countries have confirmed to participate in the event
# United Nations Security Council Resolution 1595

United Nations Security Council resolution 1595, adopted unanimously on 7 April 2005, after recalling its support for the sovereignty, territorial integrity and independence of Lebanon, the council established a commission to assist Lebanese authorities in their investigation of the assassination of former Prime Minister Rafic Hariri in Beirut on 14 February 2005.
The resolution effectively established the United Nations' first-ever murder investigation.

## Resolution
### Observations

In the preamble of the resolution, the Council condemned the assassination of Rafic Hariri in the Lebanese capital, and urged all concerned to act with restraint. A fact-finding mission had reported that the Lebanese investigation into the incident would reach a satisfactory or credible conclusion. Therefore, the Council decided that an international independent investigation would be necessary, as it was aware that those responsible for the attack had to be identified and held accountable. It thanked the Lebanese government for approving permission for an international inquiry.

### Acts

The council established an international commission to investigate the assassination and identify the perpetrators, further calling upon the Lebanese government to ensure its findings were taken fully into account. It stated that the commission would have full freedom of movement, co-operation from Lebanese authorities, collect additional evidence and have the necessary facilities in order to perform its functions appropriately. The Secretary-General Kofi Annan was asked to assist in the establishment of the commission and recruitment of its staff.
All countries were called upon to co-operate with the commission, which was instructed to complete its work within three months, though the Secretary-General could authorise an additional three-month extension if required.
# Mogens Frey

Mogens Frey Jensen (born 2 July 1941) is a retired Danish amateur cyclist who competed successfully both on the road and on track. He won, along with Gunnar Asmussen, Per Lyngemark and Reno Olsen, a gold medal at the 1968 Summer Olympics in the 4 km team pursuit and finished second individually. However, he is more famous for the way he won stage 9 in the 1970 Tour de France. Here, he defeated his own team captain Joaquim Agostinho. Agostinho was first over the finish line, but was immediately disqualified for putting his hand on Frey's handlebars, thus holding him back in the sprint. It was the only Danish Tour de France stage win until 1983.
Frey also won the individual pursuit event at the 1968 world championships and finished second in 1967 behind Gert Bongers.

## Major results
### 1968

    1968 Summer Olympics:
       Team Track Pursuit (with Per Lyngemark, Reno Olsen and Gunnar Asmussen)
       Track Pursuit
    World Amateur Track Pursuit Champion

### 1969

    GP ZTS Dubnica nad Vahom
    World Amateur Track Pursuit Champion

### 1970

    Tour de France:
       Winner stage 9
# Mito Station (Ibaraki)

Mito Station (水戸駅, Mito-eki) is a joint-use passenger railway station in the city of Mito, Ibaraki, Japan, operated by the East Japan Railway Company (JR East) and the third sector Kashima Rinkai Railway. The station premises are managed by JR East.

## Lines

Mito Station is served by the JR East Jōban Line and Suigun Line, and also by the Kashima Rinkai Railway's Ōarai-Kashima Line. It is located 115.3 km from the official starting point of the Jōban Line at Nippori Station and is a terminus of the Suigun Line and of the Ōarai-Kashima Line.

## Station layout

The station consists of four island platforms serving eight tracks. The station has a Midori no Madoguchi staffed ticket office and a "View Plaza" travel agency.

### Platforms

| 1/2 | ■ Suigun Line | for Kami-Sugaya, Hitachi-Ōta, Hitachi-Daigo, and Kōriyama |
| 3/4 | ■ Jōban Line | for Katsuta, Hitachi, Takahagi, Iwaki, Haranomachi and Sendai |
| 5/6 | ■ Jōban Line (JU Ueno-Tokyo Line) | for Tomobe, Ishioka, Tsuchiura, Toride, Ueno, Tokyo and Shinagawa |
| 5/6 | ■ Mito Line | for Tomobe, Kasama, Shimodate, and Oyama |
| 7 | ■ Jōban Line Limited Express (JU Ueno-Tokyo Line) | for Tomobe, Ishioka, Tsuchiura, Ueno, Tokyo and Shinagawa |
| 8 | ■ Kashima Rinkai Tetsudo Ōarai-Kashima Line | for Ōarai, Shin-Hokota, and Kashima-Jingu |

## History

Mito station opened on the Mito Line on 16 January 1889. The Suigun Line opened on 16 November 1897. The station was absorbed into the JR East network upon the privatization of the Japanese National Railways (JNR) on 1 April 1987. A new station building was completed in July 1994.
The Kashima Rinkai Tetsudo Ōarai-Kashima Line opened on 14 March 1985.

## Passenger statistics

In fiscal 2019, the JR East portion of the station was used by an average of 29,172 passengers daily (boarding passengers only). In fiscal 2019, the Kashima Rinkai Railway portion of the station was used by an average of 2064 passengers daily.
The passenger figures (boarding passengers only) for previous years are as shown below.
| Fiscal year | Daily average |
| 1913 | 807 |
| 1960 | 27,589 |
| 1971 | 31,085 |
| 1984 | 31,976 |
| 2000 | 30,421 |
| 2005 | 29,216 |
| 2010 | 27,109 |
| 2015 | 29,767 |

## Surrounding area

* Kōdōkan
* Art Tower Mito
# Fred Birnstihl

Frederick George Birnstihl (16 October 1904 – 12 July 1983) was an Australian rules footballer who played with Footscray in the Victorian Football League (VFL).
# Adele of Vermandois

Adele of Vermandois (bef. 915–960) was both a Carolingian as well as a Robertian Frankish noblewoman who was the Countess of Flanders by marriage (934–960).

## Life

Adele, born c. 910–915 was a daughter of Herbert II of Vermandois and his wife, Adele, daughter of Robert I of France. She died in 960 in Bruges.
In 934 Adele married Count Arnulf I of Flanders (c. 890 – 965). Together they had the following children:
* Hildegarde, born c. 934, died 990; she married Dirk II, Count of Holland.
* Liutgard, born in 935, died in 962; married Wichmann IV, Count of Hamaland.
* Egbert, died 953.
* Baldwin III of Flanders. (c. 940 – 962). Married Mathilde Billung of Saxony (c. 940 – 1008), daughter of Hermann Billung, and had issue, Arnulf II, Count of Flanders (c. 960 – 987), who succeeded as count after Arnulf I, skipping one generation.
* Elftrude; married Siegfried, Count of Guînes.

## Ancestry

Ancestors of Adele of Vermandois :
# Galerida

Galerida is a genus of birds in the family Alaudidae. The current scientific name is derived from Latin. Galerida was the name for a lark with a crest, from galerum, "cap". The name Galerida is synonymous with the earlier genus names Calendula, Heliocorys and Ptilocorys.

## Taxonomy and systematics

The genus Galerida was established by the German zoologist Friedrich Boie in 1828. The type species was subsequently designated as the crested lark.

### Extant species

The genus contains seven species:
| Scientific name | Common Name | Distribution |
| Galerida deva | Sykes's lark | central India |
| Galerida modesta | Sun lark | Guinea to South Sudan |
| Galerida magnirostris | Large-billed lark | southern Africa |
| Galerida theklae | Thekla lark | Iberian Peninsula, in northern Africa, and sub-Saharan Africa from Senegal to Somalia |
| Galerida cristata | Crested lark | northern Africa and in parts of western Asia and China |
| Galerida malabarica | Malabar lark | western India. |
| Galerida macrorhyncha | Maghreb lark | Maghreb desert of north-eastern Africa. |

### Extinct species

There are at least two fossil species which are included in this genus:
* †Galerida bulgarica (late Pliocene of Varshets, Bulgaria)
* †Galerida pannonica (Pliocene of Csarnota, Hungary)

### Former species

Formerly, some authorities also considered the following species (or subspecies) as species within the genus Galerida:
* Short-tailed lark (as Galerida fremantlii)
* Dunn's lark (as Calendula dunni)
# Roman Catholic Diocese of Gregorio de Laferrere

The Roman Catholic Diocese of Gregorio de Laferrere (erected 25 November 2000) is in Argentina and is a suffragan of the Archdiocese of Buenos Aires.

## Ordinaries

* Juan Horacio Suárez (25 November 2000 − 19 December 2013)
* Gabriel Bernardo Barba (1 March 2014 – 9 June 2020), appointed Bishop of San Luis
* Jorge Martín Torres Carbonell (30 June 2020 – present)

## External links and references

* "Diocese of Gregorio de Laferrere". Catholic-Hierarchy. Retrieved 2007-03-30. $^{[self-published]}$
* This article on a Roman Catholic diocese in Argentina is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Rabe Ferguson Marsh Jr.

Rabe Ferguson Marsh Jr. (April 26, 1905 – April 19, 1993) was a United States district judge of the United States District Court for the Western District of Pennsylvania.

## Education and career

Born in Greensburg, Pennsylvania, Marsh received an Artium Baccalaureus degree from Lafayette College in 1927 and a Bachelor of Laws from the University of Pittsburgh School of Law in 1930. He was in private practice in Greensburg from 1930 to 1950. He was an assistant district attorney of Westmoreland County, Pennsylvania from 1942 to 1950.

## Federal judicial service

On March 27, 1950, Marsh was nominated by President Harry S. Truman to a seat on the United States District Court for the Western District of Pennsylvania vacated by Judge Robert Murray Gibson. Marsh was confirmed by the United States Senate on June 2, 1950, and received his commission on June 8. He served as Chief Judge from 1969 to 1975, and assumed senior status on January 31, 1977. Marsh served in that capacity until his death on April 19, 1993, in Greensburg.
# Taiyō Station

Taiyō Station (大洋駅, Taiyō-eki) is a passenger railway station in the town of Hokota, Ibaraki Prefecture, Japan operated by the third sector Kashima Rinkai Railway.

## Lines

Taiyō Station is served by the Kashima Rinkai Railway’s Ōarai Kashima Line, and is located 39.0 km from the official starting point of the line at Mito Station.

## Station layout

The station consists of a single island platform, connected to the road and parking lot by footbridges. There is no station building, and the station is unattended.

### Platforms

| 1 | ■ Ōarai Kashima Line | for Kashimajingū |
| 2 | ■ Ōarai Kashima Line | for Ōarai and Mito |

## History

Taiyō Station was opened on 14 March 1985 with the opening of the Ōarai Kashima Line.

## Passenger statistics

In fiscal 2015, the station was used by an average of 239 passengers daily.

## Surrounding area

* National Route 51
* National Route 354
* former Taiyō Village Hall
* Kumiage Post Office
# Chad at the 2023 African Games

Chad competed at the 2023 African Games held from 8 to 23 March 2024 in Accra, Ghana. Chad competed in 5 sports.

## Medal table

| Medal | Name | Sport | Event | Date |
| Bronze | Casimir Betel | Taekwondo | Men's −58 kg | 20 March |
# Ahlstrom (disambiguation)

Ahlstrom, Ahlström, or Åhlström may refer to:

## People

* Ahlström family, Finnish industrialists who founded the Ahlstrom Corporation, including:
** Antti Ahlström (1827–1896), founder of the Ahlstrom Corporation
** Maire Ahlström (1907–1990), art collector and co-founder of the Artek furniture company
* Anders Ahlström (born 1948), Swedish footballer and football manager
* Anna Ahlström (1863–1943), Swedish teacher, principal, school founder
* Jacob Niclas Ahlström (1805–1857), Swedish composer
* Kattis Ahlström (born 1966), Swedish journalist and TV presenter
* Lavern Ahlstrom, politician and former leader of the Alberta Social Credit Party
* Olof Åhlström (1756–1835), Swedish civil servant, composer and music publisher
* Oscar Ahlström (born 1986), Swedish professional ice hockey player
* Sydney E. Ahlstrom (1919–1984), American educator and historian
* Thomas Ahlström (born 1952), former Swedish footballer
* Victor Ahlström (born 1986), Swedish professional ice hockey player
* Vilma Åhlström, Swedish curler

## Other uses

* Ahlstrom, now Ahlstrom-Munksjö, an international company that produces fiber-based materials
* Alhambra/Ahlstrom Aerodrome, in Alhambra, Alberta, Canada
# Z3 Theorem Prover

Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.

## Overview

Z3 was developed in the Research in Software Engineering (RiSE) group at Microsoft Research Redmond and is targeted at solving problems that arise in software verification and program analysis. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. Its main applications are extended static checking, test case generation, and predicate abstraction.
Z3 was open sourced in the beginning of 2015. The source code is licensed under MIT License and hosted on GitHub. The solver can be built using Visual Studio, a makefile or using CMake and runs on Windows, FreeBSD, Linux, and macOS.
The default input format for Z3 is SMTLIB2. It also has officially supported bindings for several programming languages, including C, C++, Python, .NET, Java, and OCaml.

## Examples
### Propositional and predicate logic

In this example propositional logic assertions are checked using functions to represent the propositions a and b. The following Z3 script checks to see if ${\overline {a\land b}}\equiv {\overline {a}}\lor {\overline {b}}$:
Result:
Note that the script asserts the negation of the proposition of interest. The unsat result means that the negated proposition is not satisfiable, thus proving the desired result (De Morgan's law).

### Solving equations

The following script solves the two given equations, finding suitable values for the variables a and b:
Result:

## Awards

In 2015, Z3 received the Programming Languages Software Award from ACM SIGPLAN. In 2018, Z3 received the Test of Time Award from the European Joint Conferences on Theory and Practice of Software (ETAPS). Microsoft researchers Nikolaj Bjørner and Leonardo de Moura received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving with Z3.
# Brian Jensen (footballer, born 1968)

Brian Boye Jensen (born 23 April 1968) is a Danish former football player, who most notably played for Danish club Brøndby IF, as well as Stade Rennais FC and AS Cannes in France. Jensen played six games for the Danish national team from 1991 to 1994.

## Career

Born in Glostrup, Jensen begun his career with local club Glostrup IF 32, before joining Brøndby IF. After a loan spell at Helsingør IF, Jensen got his breakthrough as a defender in Brøndby, and he made his Danish national team debut in June 1991. Jensen made six international appearances for Denmark over the next three years, under manager Richard Møller Nielsen. His sixth national team appearance came in June 1994.
In the winter 1994, Jensen moved abroad to play for Stade Rennais FC in France. He initially signed a half-year loan deal, for the remainder of the 1994–95 Ligue 1 season. In his first time at Rennais, Jensen was a mainstay in the defence, as the club finished 13th of 20 teams in the 1994–95 season. In the summer 1995, Jensen signed a three-year contract with Rennais, and was named team captain. With Rennais' purchase of French international defender Jean-Pierre Cyprien in the summer 1995, Jensen was dropped from the starting line-up halfway through the 1995–96 Ligue 1 season. In the summer of 1996, a number of clubs were reportedly interested in signing Jensen, including FC Lugano, Stoke City, Udinese Calcio, FC Utrecht, and Troyes AC, but they could not overcome the economic demands of Rennais. In the final stage of the 1996–97 Ligue 1 season, Rennais were in danger of relegation. Jensen was brought back into the starting formation, and helped the club stay in the top-flight league.
In the summer 1997, Jensen left Rennais for rival team AS Cannes, signing a two-year contract. Though he played 17 league games for Cannes in the first half of the 1997–98 Ligue 1 season, Jensen and his family never adjusted to life in Cannes, and wanted to return to Denmark in February 1998. Within a month, Jensen signed a two-year contract with defending Danish champions Brøndby IF, who bought him for 300.000 French franc. Having played 13 Superliga games for Brøndby, Jensen suffered a heel injury. Following surgery in the winter 1998, he retired from the game in the winter 1999, at age 31. Jensen played a total 166 first team games for Brøndby IF in all competitions.