OpenLLM-France/wikimedia huggingface dataset:
# Halton Mayfly

The Halton Mayfly was a British two-seat biplane designed by C.H. Latimer-Needham and built by the Halton Aero Club between 1926 and 1927. Registered G-EBOO and named the HAC.1 Mayfly it first flew on 31 January 1927. It was converted to a single-seater and was flown in a number of air races including the King's Cup Race. It was entered in the 1926 Lympne light aircraft trials as No. 8 but failed to arrive in time for the elimination trials.
By 1928 the aircraft had been converted from a biplane to a parasol monoplane and was renamed the Halton HAC.2 Minus. It was used again for air racing, being entered in the 1928 and 1928 King's Cup Races. The aircraft was dismantled at Halton in 1930.

## Variants
### HAC.1 Mayfly

    Two-seat then single-seat biplane powered by a Bristol Cherub III engine.

### HAC.2 Minus

    The Mayfly converted into a parasol monoplane.

## Specifications (Mayfly)

Data from
General characteristics
* Crew: one
* Length: 22 ft 0 in (6.71 m)
* Upper wingspan: 28 ft 6 in (8.69 m)
* Lower wingspan: 22 ft 0 in (6.71 m)
* Wing area: 195 sq ft (18.1 m$^2$)
* Empty weight: 480 lb (218 kg)
* Gross weight: 920 lb (417 kg)
* Powerplant: 1 × Bristol Cherub III Two-cylinder, air-cooled piston engine, 32 hp (24 kW)
Performance
* Maximum speed: 83.5 mph (134.4 km/h, 72.6 kn)
* Cruise speed: 75 mph (121 km/h, 65 kn)
# Hatillo de Loba

Hatillo de Loba is a town and municipality located in the Bolívar Department, northern Colombia.
# MV Västan

Västan is a motor vessel, and former steam ship, that was built in 1900 in Motala. She was originally named Nya Svartsjölandet and traded between Stockholm and Slut on Lake Mälaren. She was sold to Waxholmsbolaget for use in the Stockholm archipelago in 1937 and renamed Västan. She was converted to diesel power in 1953. The Västan is today the oldest of Waxholmsbolaget's classic fleet, operating alongside Storskär and Norrskär which, although newer, have retained their original steam propulsion. She is a listed historic ship of Sweden.

## History

Nya Svartsjölandet was built by the Motala Verkstad in Motala and was delivered to Nya Svartsjölandet Ångfartygs AB in May 1900. On May 21, she was introduced on the route from Stockholm and Slut via Ådö [sv] and Säbyholm [sv]. In 1937 she was purchased by Waxholms Nya Ångfartygs AB, better known as Waxholmsbolaget, and was renamed Västan. Initially the Västan operated on the Stockholm to Östhammar route.
In 1953 the Västan was rebuilt, receiving a new wheelhouse. and was converted from steam power to diesel power. Further rebuilds have taken place in 1966, 1969, 1990, 2002 and 2012. During the 2012 rebuild, a new diesel-electric power system was installed.

## Operation

Västan has been in regular traffic in the archipelago since 1937. Today, along with Vaxholmsbolaget's other classic ships, she is in regular traffic between May and September, serving the route from Stockholm to Vaxholm and other central archipelago islands. She has a top speed of 10.9 knots (20.2 km/h; 12.5 mph), a length of 32.47 metres (106.5 ft), a beam of 5.91 metres (19.4 ft), a draft of 2.50 metres (8 ft 2 in), and carries 180 passengers.
# Intellectual Property Law Association of Chicago

The Intellectual Property Law Association of Chicago ("IPLAC") is the oldest intellectual property law association in the United States. Founded in Chicago in 1884 as the “Patent Law Association” and later incorporated on September 23, 1924, as the Patent Law Association of Chicago, it changed to its current name in the late 20th century to reflect the practice of its members within intellectual property law.

## Goals

IPLAC is a not-for-profit organization "dedicated to maintaining a high standard of professionalism in the practice of patent, trademark, copyright, trade secret, and related fields of law". One of IPLAC's principal goals is to aid in the development and administration of intellectual property law and the manner by which it is applied by the courts, the United States Patent and Trademark Office, and the United States Copyright Office. IPLAC also provides a medium for the exchange of views on intellectual property law among those practicing in the field, and aim to educate the public at large. IPLAC provides many continuing legal education ("CLE") programs in intellectual property law and legal ethics to its members and others who are interested. Through its Creative Achievement Award, IPLAC annually recognizes the inventive and creative achievements of individuals and groups in the Chicago area. The organization also established the IPLAC Educational Foundation, which awards scholarships to Chicago area high school graduates intending to pursue college-level study in engineering and science.

## Members

IPLAC's over 1,100 members are centered primarily in the Chicago area. They represent a full spectrum of the intellectual property law profession and include attorneys in private and corporate practice, law school professors, paralegals, law students, and other intellectual property law professionals. IPLAC also has approximately 30 honorary members from the federal judiciary.

## Judges' Dinner and Annual Symposium

One of IPLAC's longstanding traditions is the annual Judges’ Dinner to honor the federal Judiciary, with the first dinner held in its founding year. In 2007, IPLAC began presenting an annual patent law symposium on the same day as the Judges’ Dinner.

## Patent Claim Construction Book

Another project of IPLAC is an annual review of patent claim interpretation law of the U.S. Court of Appeals for the Federal Circuit. Originally distributed in manuscript form to federal judges in Chicago, in 2006 it became a West publication and is currently distributed under the title, Patent Claim Construction in the Federal Circuit. This title is also available on WESTLAW under the database CLAIMCFC.
# Hawkenbury Meadow

Hawkenbury Meadow is a 1.6 hectare Local Nature Reserve in Harlow in Essex. It is owned and managed by Harlow District Council.
The site is neutral grassland with a brook running through it. It has a variety of wild flowers including yellow rattle, common spotted orchid, cowslip, wild carrot and grass vetchling. There are strips of mature woodland along the margins, and a stand of willow trees. A damper area in the north of the site has marshland plants.
There is access from Paycock Road.
# Ma Jolie

Ma Jolie may refer to:
* Ma Jolie (1912), Cubist painting by Pablo Picasso currently located in New York City
* Ma Jolie (1914), oil painting by Pablo Picasso currently located in Indianapolis
# MWB Group Holdings

MWB Group Holdings was a British-based property investment and development business. Headquartered in London, it was listed on the London Stock Exchange, before being put into administration in 2012. As of late 2015, together with MWB Management Services, and MWB Serviced Office Holdings, the company was recorded by Companies House as "in liquidation". Also as of late 2015, hospitality business magazine The Caterer listed MWG Group Holdings as "no longer trading".

## Operation

The Group's business interests included providing serviced office accommodation at offices in the UK through a 71.5% interest in MWB Business Exchange plc. MWB were also involved in the operation of the Malmaison and Hotel du Vin hotel chains, as well as the Liberty & Co. department store on Regent Street in the West End of London's shopping district. Opened originally in 1874 by Arthur Lasenby Liberty, Liberty & Co. was sold for an undisclosed fee in 2010.
# International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it joins with CADE and TPHOLs into the International Joint Conference on Automated Reasoning (IJCAR).
The first table convened in 1992. Since 1995, the proceedings of this conference have been published by Springer's LNAI series.
In August 2006 TABLEAUX was part of the Federated Logic Conference in Seattle, USA. The following TABLEAUX were held in 2007 in Aix en Provence, France, as part of IJCAR 2008, in Sydney, Australia, as TABLEAUX 2009, in Oslo, Norway, as part of IJCAR 2010, Edinburgh, UK, as TABLEAUX 2011, in Bern, Switzerland, 4–8 July 2011, as part of IJCAR 2012, Manchester, United Kingdom, as TABLEAUX 2013, Nancy, France, 16–19 September 2013, and as part of IJCAR 2014, Vienna, Austria, 19–22 July 2014.
# International Conference on Automated Software Engineering

The International Conference on Automated Software Engineering (ASE) is a large annual software engineering conference. The first conference in the series was held in 1986. Between 1986 and 1990 the conference was known as Knowledge-Based Software Assistant (KBSA), between 1991 and 1996 the conference was known as Knowledge-Based Software Engineering (KBSE).

## List of Conferences

Past and future ASE conferences include:
| Year | Conference | City | Country | Notes |
| 2022 | ASE-37 | Ann Arbor, Michigan | USA | |
| 2021 | ASE-36 | Melbourne, Australia | Australia | Online due to pandemic |
| 2020 | ASE-35 | Melbourne, Australia | Australia | Online due to pandemic |
| 2019 | ASE-34 | San Diego, California | USA | |
| 2018 | ASE-33 | Montpellier, France | France | |
| 2017 | ASE-32 | Urbana Champaign, Illinois | USA | |
| 2016 | ASE-31 | Singapore, Singapore | Singapore | |
| 2015 | ASE-30 | Lincoln, Nebraska | USA | |
| 2014 | ASE-29 | Västerås, Sweden | Sweden | |
| 2013 | ASE-28 | Palo Alto, California | USA | |
| 2012 | ASE-27 | Essen, Germany | Germany | |
| 2011 | ASE-26 | Lawrence, Kansas | USA | |
| 2010 | ASE-25 | Antwerp | Belgium | |
| 2009 | ASE-24 | Auckland | New Zealand | |
| 2008 | ASE-23 | L'Aquila | Italy | |
| 2007 | ASE-22 | Atlanta | USA | |
| 2006 | ASE-21 | Tokyo | Japan | |
| 2005 | ASE-20 | Long Beach, California | USA | |
| 2004 | ASE-19 | Linz | Austria | |
| 2003 | ASE-18 | Montreal | Canada | |
| 2002 | ASE-17 | Edinburgh | UK | |
| 2001 | ASE-16 | San Diego | USA | |
| 2000 | ASE-15 | Grenoble | France | |
| 1999 | ASE-14 | Cocoa Beach, Florida | USA | |
| 1998 | ASE-13 | Honolulu, Hawaii | USA | |
| 1997 | ASE-12 | Lake Tahoe, Nevada | USA | |
| 1996 | KBSE-11 | Syracuse, New York | USA | program |
| 1995 | KBSE-10 | Boston, Massachusetts | USA | program, summary |
| 1994 | KBSE-9 | Monterey, California | USA | program |
| 1993 | KBSE-8 | Chicago, Illinois | USA | program, summary |
| 1992 | KBSE-7 | McLean, Virginia | USA | program, summary |
| 1991 | KBSE-6 | Syracuse, New York | USA | summary |
| 1990 | KBSA-5 | Syracuse, New York | USA | summary |
| 1989 | KBSA-4 | | | |
| 1988 | KBSA-3 | | | |
| 1987 | KBSA-2 | | | |
| 1986 | KBSA-1 | | | |
# Intezar Ahmed Abidi

Intezar Abidi (born 11 July 1976) is an Indian politician with the Bahujan Samaj Party in Uttar Pradesh. Also known as Bobby, he is accused in many cases involving murder and other charges. Before being arrested in June 2011, he was a member of the state government(MINISTER) cabinet under Mayawati, heading of the UP Kisan Ganna Sansthan, a state body that imparts training to sugarcane growers.
Abidi hails from the Bahera Sadat village of Fatehpur district, and has a BSc and LLB from Shia Degree College. He is closely related with Syed Shahenshah Haider Abidi of Samajwadi Party. In 2009, Abidi and BSP politician Jitendra Singh were identified as leaders in a group of 150 arsonists responsible for attacking and setting fire to the house of UP State Congress chief Rita Bahuguna. Two years later, in March 2011, Abidi was arrested in this case. Shortly thereafter, he was elevated to ministerial status by Mayawati. He is currently a zonal co-ordinator of lucknow and kanpur zone of Bahujan Samaj Party which is a very important post in the political party.
# Machimia miltosparsa

Machimia miltosparsa is a moth in the family Depressariidae. It was described by Alfred Jefferis Turner in 1914. It is found in Australia, where it has been recorded from New South Wales.
The wingspan is about 22 mm. The forewings are whitish-grey, irrorated with brick red and with pale fuscous markings. The costal edge is whitish and there is a minute dot in the disc at one-fourth, a second beyond it on the fold and a third in the middle. There is a slender dentate line from the midcosta outwards, curved to the dorsum before the tornus. There is a series of small dots on the apical fourth of the costa and on the termen. The hindwings are grey-whitish.
# Machimia oxybela

Machimia oxybela is a moth in the family Depressariidae. It was described by Edward Meyrick in 1931. It is found in Brazil.
# International Fantasy Award

The International Fantasy Award was an annual literary award for the best science fiction or fantasy book and, in 1951-1953, the best non-fiction book of interest to science fiction and fantasy readers. The IFA was given by an international panel of prominent fans and professionals in 1951-1955 and then again in 1957.

## Winners

* 1951
** Fiction: Earth Abides by George R. Stewart
** Non-fiction: The Conquest of Space by Willy Ley & Chesley Bonestell
* 1952
** Fiction: Fancies and Goodnights by John Collier
** Non-fiction: The Exploration of Space by Arthur C. Clarke
* 1953
** Fiction: City by Clifford D. Simak
** Non-fiction: Lands Beyond by L. Sprague de Camp & Willy Ley
* 1954
** Fiction: More Than Human by Theodore Sturgeon
* 1955
** Fiction: A Mirror for Observers by Edgar Pangborn
* 1957
** Fiction: The Lord of the Rings by J. R. R. Tolkien
# Mackey–Arens theorem

The Mackey–Arens theorem is an important theorem in functional analysis that characterizes those locally convex vector topologies that have some given space of linear functionals as their continuous dual space. According to Narici (2011), this profound result is central to duality theory; a theory that is "the central part of the modern theory of topological vector spaces."

## Prerequisites

Let X be a vector space and let Y be a vector subspace of the algebraic dual of X that separates points on X. If 𝜏 is any other locally convex Hausdorff topological vector space topology on X, then we say that 𝜏 is compatible with duality between X and Y if when X is equipped with 𝜏, then it has Y as its continuous dual space. If we give X the weak topology 𝜎(X, Y) then X$_{𝜎(X,Y)}$ is a Hausdorff locally convex topological vector space (TVS) and 𝜎(X, Y) is compatible with duality between X and Y (i.e. $X_{\sigma (X,Y)}^{\prime }=\left(X_{\sigma (X,Y)}\right)^{\prime }=Y$). We can now ask the question: what are all of the locally convex Hausdorff TVS topologies that we can place on X that are compatible with duality between X and Y? The answer to this question is called the Mackey–Arens theorem.

## Mackey–Arens theorem

Mackey–Arens theorem — Let X be a vector space and let 𝒯 be a locally convex Hausdorff topological vector space topology on X. Let X' denote the continuous dual space of X and let $X_{\mathcal {T}}$ denote X with the topology 𝒯. Then the following are equivalent:
* 𝒯 is identical to a ${\mathcal {G}}^{\prime }$-topology on X, where ${\mathcal {G}}^{\prime }$ is a covering of <X' consisting of convex, balanced, σ(X', X)-compact sets with the properties that If $G_{1}^{\prime },G_{2}^{\prime }\in {\mathcal {G}}^{\prime }$ then there exists a $G^{\prime }\in {\mathcal {G}}^{\prime }$ such that $G_{1}^{\prime }\cup G_{2}^{\prime }\subseteq G^{\prime }$, andIf $G_{1}^{\prime }\in {\mathcal {G}}^{\prime }$ and $\lambda$ is a scalar then there exists a $G^{\prime }\in {\mathcal {G}}^{\prime }$ such that $\lambda G_{1}^{\prime }\subseteq G^{\prime }$.
* The continuous dual of $X_{\mathcal {T}}$ is identical to X'.
And furthermore,
* the topology 𝒯 is identical to the ε(X, X') topology, that is, to the topology of uniform on convergence on the equicontinuous subsets of X'.
* the Mackey topology τ(X, X') is the finest locally convex Hausdorff TVS topology on X that is compatible with duality between X and $X_{\mathcal {T}}^{\prime }$, and
* the weak topology σ(X, X') is the coarsest locally convex Hausdorff TVS topology on X that is compatible with duality between X and $X_{\mathcal {T}}^{\prime }$.
# Macdougal Bay

Macdougal Bay (60°42′S 44°33′W﻿ / ﻿60.700°S 44.550°W﻿ / -60.700; -44.550) is a small bay lying between Ferguslie Peninsula and Watson Peninsula on the north coast of Laurie Island, in the South Orkney Islands, Antarctica. It was charted in 1903 by the Scottish National Antarctic Expedition under William Speirs Bruce, who named it for J. Macdougal, third mate of the expedition ship Scotia.
# Macdonald Commission

The Royal Commission on the Economic Union and Development Prospects for Canada, also known as the Macdonald Commission, was a historic landmark in Canadian economy policy. Prime Minister Pierre Trudeau appointed the Royal Commission in 1982, and it presented its recommendations to Prime Minister Brian Mulroney in 1984. The commission's recommendations reflect three broad themes mainly derived from neoconservative ideology.
Firstly, the report suggested for Canada to foster a more flexible economy, which would be capable of adjusting to international and technological change, and it recommended greater reliance on the market mechanisms and a free trade agreement with the United States. Secondly, the commission recommended various reforms to the welfare state model and emphasized social equity and economic efficiency. Thirdly, the commission recommended the adoption of an elected Senate in order to better represent Canada's diverse regions.
Most notably, the commission’s recommendations affected trade policy directly by giving greater legitimacy and momentum to the debate surrounding free trade with the United States. Mulroney began trade negotiations with the American administration shortly after the report was released. Indeed, free trade is regarded as the signature recommendation of the commission.

## Members

* Chair – Donald S. Macdonald
* Executive Director – Gerry Godsoe
* Director of Policy – Alan Nymark
* Directors of Research – Ivan Bernier, Alan Cairns, and David Chadwick Smith (Later, Kenneth Norrie and John Hartley Sargent took on the roles of co-Directors of Research).
* Joint Editorial Head – David Ablett and Michel Vastel.
# Haven (software)

Haven is a free and open-source security application for Android designed to monitor activity occurring in the vicinity of a device using its built-in sensors, and to alert the device owner of such activity. Haven was co-developed by Edward Snowden, and The Guardian Project, under the auspices of Freedom of the Press Foundation.

## Functionality

The Haven app can detect motion, send app alerts to users, record set periods of time, hear/record sound (record sound is only when users record periods of time, when the app hears motion it alerts the users phone or sms alerts the user) and detect physical phone movement (like intruder banging on the walls).

## Limitations

The Haven app does need a SIM card to send SMS alerts as well as there is no live feed and only records events if set to record a period of time. Video and sound quality depends on the device's video and microphone quality.
# Health Sciences Association of Alberta

Health Sciences Association of Alberta (HSAA) is a trade union in Alberta, Canada, which represents approximately 29,800 members.

## Background

In 1971, eleven "paramedical technical and professional members" established the HSAA to have a stronger representation than that provided by the larger existing labour unions.
HSAA membership include employees in Alberta's public and private health-care sectors, such as "paramedics, lab technologists, psychologists, pharmacists, and respiratory therapists."
The United Conservative Party (UCP) government under Premier Jason Kenney and Alberta Health Services, notified Health Sciences Association of Alberta, United Nurses of Alberta, and the Alberta Union of Provincial Employees of the government's intentions to cut an "estimated 6,400 to 7,400 unionized public-sector jobs by 2023".
In February 2020, the consulting firm Ernst and Young, submitted their commissioned report to Premier Kenney, in which they recommended "contracting out surgeries, hospital food service, housekeeping, laundry, security, laboratory testing". The HSAA warned that "contracting out surgeries, hospital food service, housekeeping, laundry, security, laboratory testing and more will lead to bigger hits to government coffers down the road." The HSAA said that "privatizing lab services in Alberta could affect 850 full-time positions".

## Bargaining rights and labour negotiations

The Public Sector Wage Arbitration Deferral Act (Bill 9) which became law on June 20, 2019, suspended and delayed hearings related to wage arbitration for Alberta's 180,000 public service workers represented by unions in 24 collective agreements, which included the HSAA, until August, when Janice MacKinnon's "Report and Recommendations: Blue Ribbon Panel on Alberta's Finances" was submitted.
In February 2020, an independent public-sector wage arbitrator decided for the Provincial government and against the HSAA with a "zero per cent wage increase" to HSAA workers. In his February 6 statement, Alberta Finance Minister Travis Toews said that the UCP provincial government prioritizes "service delivery over salary increases for public sector workers".
# Maarit

Maarit is a Finnish female given name equivalent to Margaret. It may refer to:
* Maarit Hurmerinta (born 1953), Finnish singer known by her mononym Maarit
* Maarit Lalli (born 1964), Finnish film director, film producer and screenwriter
* Maarit Toivanen (born 1954), Finnish business executive
# Macrocell array
## Macrocell arrays in PLDs

Programmable logic devices, such as programmable array logic and complex programmable logic devices, typically have a macrocell on every output pin.

## Macrocell arrays in ASICs

A macrocell array is an approach to the design and manufacture of ASICs. Essentially, it is a small step up from the otherwise similar gate array, but rather than being a prefabricated array of simple logic gates, the macrocell array is a prefabricated array of higher-level logic functions such as flip-flops, ALU functions, registers, and the like. These logic functions are simply placed at regular predefined positions and manufactured on a wafer, usually called master slice. Creation of a circuit with a specified function is accomplished by adding metal interconnects to the chips on the master slice late in the manufacturing process, allowing the function of the chip to be customised as desired.
Macrocell array master slices are usually prefabricated and stockpiled in large quantities regardless of customer orders. The fabrication according to the individual customer specifications may be finished in a shorter time compared with standard cell or full custom design. The macrocell array approach reduces the mask costs since fewer custom masks need to be produced. In addition manufacturing test tooling lead time and costs are reduced since the same test fixtures may be used for all macrocell array products manufactured on the same die size.
Drawbacks are somewhat low density and performance than other approaches to ASIC design. However this style is often a viable approach for low production volumes.
A standard cell library is sometimes called a "macrocell library".
# Macha crater

Macha (Russian: Мача) is a field of five meteorite craters located 685 kilometers (425 miles) northeast of Yakutsk in the Sakha Republic in Siberia, Russia, ranging from 60 to 300 m (200 to 980 ft) in diameter.
The two largest craters form the pear-shaped Abram Lake while the remaining three are located to the north. They have been very well preserved.
The craters are the result of the fall of possible iron meteorites at approximately 5300 BCE (Holocene), which would give them an age of about 7,300 years.