OpenLLM-France/wikimedia huggingface dataset:
# Implication table

An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then eliminate combinations that are not possible. When all the impossible combinations have been eliminated, the remaining state combinations are valid, and thus can be combined.
The procedure is as follows:
* List state-combination possibilities in an implication table,
* Eliminate combinations that are impossible because the states produce different outputs,
* Eliminate combinations that are impossible because the combination depends on the equivalence of a previously eliminated possibility,
* Repeat the above step until no more eliminations are possible.
# John Harvey (British politician)

John Edgar Harvey CBE (4 April 1920 – 13 January 2008) was a British Conservative Party politician.

## Early life

Harvey was born in Derry. He attended Xavierian College in Bruges and Lyme Regis Grammar School. During the Second World War, he served in the Merchant Navy.

## Parliamentary career

He was elected at the 1955 general election as Member of Parliament (MP) for Walthamstow East, retaining the seat with a majority of 1,129 over the sitting Labour MP Harry Wallace. Harvey held his seat at the next two general elections, until his defeat at the 1966 election by Labour's William Robinson.

## After politics

After losing his seat in 1966, he left politics to concentrate on his business career. He was a director and deputy chairman of Burmah Castrol Europe until his retirement. Harvey lived in Loughton, and was a verderer of Epping Forest.
He was appointed CBE in the 1994 Birthday Honours for political and public service.
Harvey should not be confused with John Harvey-Jones, former chairman of ICI who died in the same week.
# List of lakes of Nordwestmecklenburg

Lakes in the Nordwestmecklenburg district, Mecklenburg-Vorpommern, Germany are:
| Lake Name | Elevation | Surface Area |
| Barner Stücker See | 39.9 m (131 ft) | 0.102 km$^2$ (0.039 sq mi) |
| Bibowsee | 20.1 m (66 ft) | 0.79 km$^2$ (0.31 sq mi) |
| Cambser See | 30.9 m (101 ft) | 2.85 km$^2$ (1.10 sq mi) |
| Cramoner See | 43.1 m (141 ft) | 0.53 km$^2$ (0.20 sq mi) |
| Dümmer See | 45.5 m (149 ft) | 1.59 km$^2$ (0.61 sq mi) |
| Fischteich | 6.8 m (22 ft) | 0.266 km$^2$ (0.103 sq mi) |
| Glammsee | 18.4 m (60 ft) | 0.66 km$^2$ (0.25 sq mi) |
| Goldensee | 36.1 m (118 ft) | 0.94 km$^2$ (0.36 sq mi) |
| Groß Labenzer See | 24.6 m (81 ft) | 2.3 km$^2$ (0.89 sq mi) |
| Großer Dambecker See | 52.4 m (172 ft) | 0.94 km$^2$ (0.36 sq mi) |
| Großer Wariner See | 21.1 m (69 ft) | 2.6 km$^2$ (1.0 sq mi) |
| Heidensee | 37.8 m (124 ft) | 0.24 km$^2$ (0.093 sq mi) |
| Hofsee | 49.2 m (161 ft) | 0.1 km$^2$ (0.039 sq mi) |
| Kirch Stücker See | 40 m (130 ft) | 0.37 km$^2$ (0.14 sq mi) |
| Kleiner Dambecker See | 52.4 m (172 ft) | 0.42 km$^2$ (0.16 sq mi) |
| Lankower See | 42.5 m (139 ft) | 0.916 km$^2$ (0.354 sq mi) |
| Mechower See | 31.5 m (103 ft) | 1.64 km$^2$ (0.63 sq mi) |
| Neuhofer See | 18.1 m (59 ft) | 0.79 km$^2$ (0.31 sq mi) |
| Neuklostersee | 25.2 m (83 ft) | 2.69 km$^2$ (1.04 sq mi) |
| Ostorfer See | 39.5 m (130 ft) | 2.089 km$^2$ (0.807 sq mi) |
| Ploggensee | 32.9 m (108 ft) | 0.15 km$^2$ (0.058 sq mi) |
| Reinstorfer See | 46.9 m (154 ft) | 0.074 km$^2$ (0.029 sq mi) |
| Röggeliner See | 37.2 m (122 ft) | 1.77 km$^2$ (0.68 sq mi) |
| Santower See | 36 m (118 ft) | 1.03 km$^2$ (0.40 sq mi) |
| See Döpe | 38 m (125 ft) | 0.77 km$^2$ (0.30 sq mi) |
| Tempziner See | 17.6 m (58 ft) | 1.6 km$^2$ (0.62 sq mi) |
| Tramser See | 31.9 m (105 ft) | 0.26 km$^2$ (0.10 sq mi) |
| Ziegelsee | 37.8 m (124 ft) | 3 km$^2$ (1.2 sq mi) |
# Bulletin of the Astronomical Society of India

The Bulletin of the Astronomical Society of India is the official quarterly peer-reviewed scientific journal of the Astronomical Society of India established in 1973 and published until the end of 2014. It covers all areas of astrophysics and astronomy. The editor-in-chief is D. J. Saikia (National Centre for Radio Astrophysics).

## Editors

The following persons have been editor-in-chief of the journal:
* D. J. Saikia (2010–2014)
* G. C. Anupama (2004–2010)
* H. C. Bhatt (2001–2004)
* Vinod Krishnan (1995–2001)
* K. D. Abhyankar (1992–1995)
* S. K. Trehan (1981–1992)
* M. S. Vardya (1974–1981)
# Kittle (surname)

Kittle is a surname.
Notable people bearing it include:
* Hub Kittle (1917–2004), American baseball player and manager
* Ron Kittle (born 1958), American baseball player
* Katrina Kittle (fl. 2000s), American novelist
* George Kittle (born 1993), American football tight end
# Kokufu, Tottori

Kokufu (国府町, Kokufu-chō) was a town located in Iwami District, Tottori Prefecture, Japan.
As of 2003, the town had an estimated population of 8,629 and a density of 92.39 persons per km$^2$. The total area was 93.40 km$^2$.
On November 1, 2004, Kokufu, along with the village of Fukube (also from Iwami District), the towns of Aoya, Ketaka and Shikano (all from Ketaka District), the towns of Kawahara and Mochigase, and the village of Saji (all from Yazu District), was merged into the expanded city of Tottori.
# Mount Morris Park

Mount Morris Park may refer to:
* Marcus Garvey Park or Mount Morris Park
* Mount Morris Park Historic District, the neighborhood surrounding Marcus Garvey Park
# Avions Fairey Belfair

The Avions Fairey Belfair, also known as the Tipsy Belfair after its designer, Ernest Oscar Tips, was a two-seat light aircraft built in Belgium following World War II.

## Design and development

The Belfair was based on the Tipsy B built before the war, but featured a fully enclosed cabin. It was a low-wing cantilever monoplane of conventional configuration with exceptionally clean lines. It was fitted with tailwheel undercarriage with spatted mainwheels.
The aircraft boasted splendid performance, twice breaking the world distance record for aircraft in its class (FAI class 1A - under 500 kg). The first of these flights was made by Albert van Cothem on 21 August 1950 and covered 945 km (587 mi). The second, made by P. Anderson on 3 August 1955 nearly trebled this to 2,635 km (1,637 mi). Both records were set in the same aircraft, construction number 533, registration OO-TIC.
Unfortunately, the Belfair was a victim of the glut of light aircraft on the market following World War II. The aircraft was priced at BEF 200,000, when war-surplus Piper Cubs and similar aircraft were selling for around BEF 30,000. Consequently, although six airframes past the prototype were under construction, only three had been completed when Tips made the decision that the aircraft was simply not commercially viable and sold the remaining airframes "as is". They were purchased by D. Heaton of Speeton, Yorkshire and completed in the UK, with a further aircraft converted from a prewar Tipsy Trainer to the same standard. One of these aircraft (c/n 535, G-APIE, ex OO-TIE) was still flying in 2015, while another (c/n 536, G-APOD) was under restoration as of 2001.

## Specifications

Data from Janes's All The World's Aircraft 1951–52
General characteristics
* Crew: 2
* Length: 6.60 m (21 ft 8 in)
* Wingspan: 9.50 m (31 ft 2 in)
* Height: 6.60 m (21 ft 8 in)
* Wing area: 12 m$^2$ (130 sq ft)
* Empty weight: 245 kg (540 lb)
* Gross weight: 500 kg (1,102 lb)
* Fuel capacity: 60 L (13 imp gal; 16 US gal)
* Powerplant: 1 × Walter Mikron II air-cooled four-cylinder inverted inline engine, 46 kW (62 hp)
Performance
* Maximum speed: 177 km/h (110 mph, 96 kn)
* Cruise speed: 160 km/h (99 mph, 86 kn)
* Stall speed: 60 km/h (37 mph, 32 kn)
* Range: 750 km (470 mi, 400 nmi)
* Service ceiling: 6,000 m (20,000 ft)
* Rate of climb: 2.5 m/s (500 ft/min)
# John Hine Mundy

John Hine Mundy (December 29, 1917 – April 13, 2004) was a British-American medievalist. He was professor of history emeritus at Columbia University, where he taught for more than forty years.

## Biography

Mundy was born on December 29, 1917, in London. His father, John Mundy, was a cellist, and his mother was the Australian-born opera singer Clytie Hine, who was a principal of the Beecham Opera Company. His sister, Meg Mundy, later became an actress. In 1921, his family emigrated to the United States, settling in New York City, where his father played cello for the Vertchamps Quartet and the CBS Radio Orchestra, eventually becoming orchestra manager of the Metropolitan Opera.
Mundy was educated at the Saint Thomas Choir School, where he was trained a chorister and boy soprano, and the Trinity School. Mundy graduated from Columbia University in 1940 with a bachelor's degree and in 1941 with a master's degree, where his master's thesis examined the Albigensian Crusade.
In 1943, he was drafted into the United States Army and served with the Army Signal Corps in Europe. He was discharged in 1945 and returned to Columbia, earning his doctorate in 1950 and published his dissertation as Liberty and Political Power in Toulouse, 1050–1230. He continued his research interest in the city of Toulouse, writing about the city's society, government during the Middle Ages. He became an assistant professor at Columbia in 1950, an associate professor in 1956, and full professor in 1962, before chairing the history department between 1967 and 1970. Mundy also held positions at the School for Advanced Studies in the Social Sciences.
Mundy was the author of the textbook Europe in the High Middle Ages, 1150–1230 that was known for its reliance on primary sources. He was also a recognized authority on medieval life. He was a two-time recipient of the Guggenheim Fellowship in 1963 and 1977 and was elected a fellow of the American Academy of Arts and Sciences in 1981. He was elected a fellow of the Medieval Academy of America and became its president in 1981.
Mundy died on April 13, 2004, at his home.
# Judicial economy

Judicial economy or procedural economy is the principle that the limited resources of the legal system or a given court should be conserved by the refusal to decide one or more claims raised in a case. For example, the plaintiff may claim that the defendant's actions violated three distinct laws. Having found for the plaintiff for a violation of the first law, the court then has the discretion to exercise judicial economy and refuse to make a decision on the remaining two claims, on the grounds that the finding of one violation should be sufficient to satisfy the plaintiff.

## Threshold issue in a given case

In the presence of a threshold issue that will ultimately decide a case, a court may, depending on the degree of prejudice to the litigants rights, elect to hear that issue rather than proceeding with a full-blown trial.

## Class action lawsuits

Class action lawsuits are another example of judicial economy in action, as they are often tried as a single case, yet involve many cases with similar facts. Rather than trying each case individually, which would unduly burden the judicial system, the cases can be consolidated into a class action.
# Kleenex/LiLiPUT

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
| The Austin Chronicle | |
| Christgau's Consumer Guide | A |
| NME | 9/10 |
| Pitchfork | 9.0/10 |
| Spin | 9/10 |
| Spin Alternative Record Guide | 9/10 |
Kleenex/LiLiPUT (also referred to as LiLiPUT) is a compilation album by Swiss punk rock band LiLiPUT. Released by Off Course Records in 1993, the album compiles the band's entire recorded output, from their first recordings under the name Kleenex to their later material after changing their name to LiLiPUT.
The album was reissued by Kill Rock Stars on 20 February 2001.

## Personnel

Credits are adapted from the album's liner notes.
LiLiPUT
* Lislot Ha (Lieselotte Hafner) – drums (disc one: tracks 1–19)
* Klaudia Schiff (Klaudia Schifferle) – bass, vocals, drums (disc two: tracks 1–11), guitar (disc two)
* Regula Sing – vocals (disc one: tracks 1–10)
* Marlene Marder (Marlene Marti) – guitar, bass (disc two), noises (disc two: tracks 1–11), percussion (disc two: tracks 1–11), vocals (disc one: tracks 20, 21)
* Chrigle Freund – vocals (disc one: tracks 11–21), drums (disc one: tracks 20, 21)
* Angie Barrack – saxophone (disc one: tracks 11–19), vocals (disc one: tracks 11–19)
* Christoph Herzog – saxophone (disc one: tracks 22–24)
* Beat Schlatter – drums (disc one: tracks 22–24; disc two: tracks 20–22)
* Astrid Spirit (Astrid Spirig) – vocals (disc one: tracks 22–24; disc two), bass (disc two: tracks 1–11), percussion (disc one: tracks 22–24; disc two), violin (disc two)
Additional musicians
* Major (Klaus Heuser) – bongos (disc two: tracks 15, 20, 22)
* Juliana Müller – piano (disc two: tracks 14, 17)
* Susanne Müller – saxophone (disc two: track 20)
Production
* Bob Broglia – recording (disc one: tracks 9, 10)
* Etienne Conod – recording (disc one: tracks 1–8, 11–14)
* Dr. Rolf Schmidt – remastering
* Schweizer Radio DRS – recording (disc one: tracks 11–19)
* Röbel Vogel – recording (disc one: tracks 20, 21)
* Harry Zindel – recording (disc two)
Design
* Katja Becker – photography
* Byland & Zuber Graficdesign – graphic design
* LiLiPUT – photography
* Livio Piatti – photography
* Klaudia Schiff – cover artwork
# Full-text database

A full-text database or a complete-text database is a database that contains the complete text of books, dissertations, journals, magazines, newspapers or other kinds of textual documents. They differ from bibliographic databases (which contain only bibliographical metadata, including abstracts in some cases) and non-bibliographic databases (such as directories and numeric databases).
One of the earliest systems was IBM STAIRS, introduced in 1973.
Full-text databases became common about 1990 when computer storage technology made them economic and technologically possible. There are two main classes: an extension of the classical bibliographical databases into full-text databases (e.g. on hosts such as BRS, Dialog, LexisNexis and Westlaw) and Internet-based full-text databases (based on search engines or XML).
# Ceroplesis arcuata

Ceroplesis arcuata is a species of beetle in the family Cerambycidae. It was described by Harold in 1879. It is known from Angola, the Democratic Republic of the Congo, and Tanzania.
# Imre Bárány

Imre Bárány (Mátyásföld, Budapest, 7 December 1947) is a Hungarian mathematician, working in combinatorics and discrete geometry. He works at the Rényi Mathematical Institute of the Hungarian Academy of Sciences, and has a part-time appointment at University College London.

## Notable results

* He gave a surprisingly simple alternative proof of László Lovász's theorem on Kneser graphs.
* He gave a new proof of the Borsuk–Ulam theorem.
* Bárány gave a colored version of Carathéodory's theorem.
* He solved an old problem of James Joseph Sylvester on the probability of random point sets in convex position.
* With Van H. Vu proved a central limit theorem on random points in convex bodies.
* With Zoltán Füredi he gave an algorithm for mental poker.
* With Füredi he proved that no deterministic polynomial time algorithm determines the volume of convex bodies in dimension d within a multiplicative error d$^d$.
* With Füredi and János Pach he proved the following six circle conjecture of László Fejes Tóth: if in a planar circle packing each circle is tangent to at least 6 other circles, then either it is the hexagonal system of circles with identical radii, or there are circles with arbitrarily small radius.

## Career

Bárány received the Mathematical Prize (now Paul Erdős Prize) of the Hungarian Academy of Sciences in 1985. He was an invited speaker at the Combinatorics session of the International Congress of Mathematicians, in Beijing, 2002. He was an Erdős Lecturer at Hebrew University of Jerusalem in 2004. He was elected a corresponding (2010), full (2016) member of the Hungarian Academy of Sciences. In 2012 he became a fellow of the American Mathematical Society. Since 2021, he is a member of the Academia Europaea
He is an editor-in-chief for the journal Combinatorica, and an Editorial Board member for Mathematika and the Online Journal of Analytic Combinatorics". He is area editor of the journal Mathematics of Operations Research.
# John Greenhalgh

John Greenhalgh may refer to:
* John Greenhalgh (footballer) (1898–1987), English footballer with Burnley and Accrington Stanley
* John Greenhalgh (governor) (died 1651), governor of the Isle of Man
* Jack Greenhalgh (trade unionist), British trade union leader
# Constantinos Decavallas

Constantinos Decavallas (1925 – February 2023) was a Greek modernist architect.

## Biography

Constantinos Decavallas was born in Athens in 1925. He studied at the School of Architecture of the National Technical University of Athens (N.T.U.A.) (1948), Columbia University (1953), and the University of London (1956). On returning to Greece, he worked on the Asteras tourist complex in Glyfada, then at the Ministry of Public Works in charge of the reconstruction of Santorini. From 1960 to 1969, he was the architect for the National Bank of Greece. From 1960, he has maintained an architectural and city-planning design practice.
In 1980, he became a professor at the N.T.U.A. School of Architecture. His four architectural "credos" are: incorporating a building into its natural environment and utilizing bioclimatic architecture; respect for the structural environment; organically incorporating visual arts into a building; and most importantly, the knowledge and joy an architect has in collaborating with a team.
Decavallas died in February 2023, at the age of 97.

## Works

* Astir Beach and Resort (Glyfada Beach, Attica, 1955–58)
* Bank of Crete Branch (Voukourestiou and Valaoritou Sts., Athens 1975–78)
* Exarchia Theatre (69 Themistokleous, Athens, 1987–90)
* M. Goulandris Vacation Home (Kavouri, Attica, 1968–71)
* M. P Nomikos Vacation Home since 2012 Santozeum Museum (Thira Town, Santorini, 1958–60)
* Nafsika Astir Pallas Hotel (Mikro Kavouri, Vouliagmeni, 1976–79)
# Komola Umarova

Komola Umarova (born 23 October 1999) is an Uzbekistani female tennis player.
Umarova has a career high WTA singles ranking of 762, achieved on 30 January 2017. Umarova also has a career high WTA doubles ranking of 738 achieved on 17 July 2017.
Umarova made her WTA main draw debut at the 2016 Tashkent Open, where she lost to Nao Hibino in the first round.
Playing for Uzbekistan in Fed Cup, she has a career W/L record of 1–0.
Umarova is currently studying at Florida International University, where she plays tennis for the Panthers.
# Cuverville, Seine-Maritime

Cuverville (French pronunciation: ) is a commune in the Seine-Maritime department in the Normandy region in northern France.

## Geography

A small farming village situated in the Pays de Caux, some 13 miles (21 km) northeast of Le Havre, on the D239 road.

## Places of interest

* The church of Notre-Dame, dating from the sixteenth century.
* An eighteenth century chateau.
* Remains of a feudal castle.

## Notable people

* André Gide is buried here.
# Comoros at the 2017 World Aquatics Championships

Comoros competed at the 2017 World Aquatics Championships in Budapest, Hungary from 14 July to 30 July.

## Swimming

Comoros has received a Universality invitation from FINA to send three swimmers (two men and one woman) to the World Championships.
| Athlete | Event | Heat | Heat | Semifinal | Semifinal | Final | Final |
| Athlete | Event | Time | Rank | Time | Rank | Time | Rank |
| Chaoili Aonzoudine | Men's 50 m freestyle | DNS | DNS | Did not advance | Did not advance | Did not advance | Did not advance |
| Chaoili Aonzoudine | Men's 50 m backstroke | DNS | DNS | Did not advance | Did not advance | Did not advance | Did not advance |
| Athoumane Solihi | Men's 50 m breaststroke | 36.61 | 78 | Did not advance | Did not advance | Did not advance | Did not advance |
| Athoumane Solihi | Men's 50 m butterfly | 30.53 | 79 | Did not advance | Did not advance | Did not advance | Did not advance |
| Nazlati Mohamed Andhumdine | Women's 50 m freestyle | DNS | DNS | Did not advance | Did not advance | Did not advance | Did not advance |
| Nazlati Mohamed Andhumdine | Women's 50 m backstroke | 48.32 | 63 | Did not advance | Did not advance | Did not advance | Did not advance |
# Inanimae: The Secret Way

Inanimae: The Secret Way is a 1998 role-playing game supplement published by White Wolf Publishing for Changeling: The Dreaming.

## Contents

Inanimae: The Secret Way is a supplement about a kind of changeling that takes other forms rather than living among humans.

## Reviews

* SF Site
* Backstab #12
* Casus Belli #116
# John Hunter (classicist)

John Hunter FRSE (7 September 1746 – 18 January 1837) was a Scottish classicist and horticulturalist. In 1783 he was a joint founder of the Royal Society of Edinburgh.

## Life

Hunter was born in Closeburn, Dumfries and Galloway on 7 September 1746. He was educated nearby at Wallace Hall School. He was then attended the University of Edinburgh, graduation with an MA in 1768.
His first role was as private secretary to Lord Monboddo. In 1775 he then accepted the role of Professor of Humanity at the United College in University of St Andrews, continuing in this role until 1826. In 1826 (aged 80) he took on the role of Principal of the twin colleges of St Leonards and St Salvators at the University.
The University of Edinburgh awarded him an honorary doctorate (LLD) in later life.
He died at St Andrews on 18 January 1837, and is buried in St Andrews Cathedral churchyard.

## Family

He married twice, firstly around 1770 to Elizabeth Miln and together they had a son, James Hunter (1772-1845) who was Professor of Logic and Rhetoric at St Andrews University. He was also minister of St Leonards Church in St Andrews.
On the death of Elizabeth, Hunter married Margaret Hadow.