OpenLLM-France/wikimedia huggingface dataset:
# 68109 Naomipasachoff

68109 Naomipasachoff (provisional designation 2000 YH$_{135}$) is a background asteroid from the inner regions of the asteroid belt, approximately 3.5 kilometers in diameter. It was discovered on 17 December 2000, by astronomers of the LONEOS program at the Anderson Mesa Station near Flagstaff, Arizona, in the United States. The asteroid was named after American biographer and research associate, Naomi Pasachoff.

## Orbit and classification

Naomipasachoff is a non-family from the main belt's background population. It orbits the Sun in the inner asteroid belt at a distance of 2.2–2.7 AU once every 3 years and 11 months (1,418 days; semi-major axis of 2.47 AU). Its orbit has an eccentricity of 0.10 and an inclination of 9° with respect to the ecliptic.
The body's observation arc begins with a precovery taken at Lincoln Laboratory ETS in March 1998, more than 2 years prior to its official discovery observation at Anderson Mesa.

## Naming

This minor planet was named by LONEOS-astronomer Edward Bowell after American biographer and research associate, Naomi Pasachoff (born 1947), who has written several scientific biographies. Her published work includes biographies of Marie Curie, Alexander Graham Bell, Niels Bohr, Isaac Newton, Albert Einstein, Linus Pauling. She is also an amateur astronomer. The official naming citation was published by the Minor Planet Center on 6 January 2007 (M.P.C. 58596).

## Physical characteristics
### Rotation period

As of 2018, no rotational lightcurve of Naomipasachoff has been obtained from photometric observations. The body's rotation period, pole and shape remain unknown.

### Diameter and albedo

According to the survey carried out by the NEOWISE mission of NASA's Wide-field Infrared Survey Explorer, Naomipasachoff measures 3.581 kilometers in diameter and its surface has an albedo of 0.218. Based on its albedo and its location in the inner asteroid belt, Naomipasachoff is possibly a common, stony S-type asteroid.
# 66th Battalion (Edmonton Guards), CEF

The 66th Battalion (Edmonton Guards), CEF was an infantry battalion of the Canadian Expeditionary Force during the First World War. The battalion was authorized on 20 April 1915 and embarked for Britain on 28 April 1916. Its personnel were absorbed by the 9th Reserve Battalion, CEF on 7 July 1916 to provide reinforcements for the Canadian Corps in the field. The battalion was disbanded on 30 August 1920.
The battalion recruited in and was mobilized at Edmonton, Alberta. Training occurred at Sarcee Camp, Calgary, Alberta, at the foot of the present-day Battalion Park in the neighbourhood of Signal Hill. The battalion is one of many units whose glyphs, erected on the hillside, no longer exist as a result of a combination of indifference and neglect after the First World War as well as urbanization.
The battalion was commanded by Lieutenant-Colonel J.W.H. McKinery from 1 May 1916 to 14 August 1916.
The battalion was awarded the battle honour The Great War, 1916.
The perpetuation of the 66th Battalion was assigned in 1920 to the 5th Battalion, the Edmonton Regiment. When the Edmonton Regiment was split in 1924, the perpetuation passed to the 2nd Battalion, The Edmonton Fusiliers. The Edmonton Fusiliers are now incorporated (through amalgamations) in the South Alberta Light Horse, which carries on the perpetuation of the 66th Battalion.
# Blériot X

The Blériot X was an unfinished early French aeroplane by Louis Blériot. Its design was quite unlike anything else he had built and was modelled closely on the successful aircraft of the Wright brothers: a pusher biplane with elevators and rudders carried on outriggers. After exhibiting it at the Salon de l'Automobile et de l'Aéronautique in Paris in December 1908, Bleriot abandoned it and returned to developing his increasingly successful monoplane designs.

## Specifications

General characteristics
* Crew: one pilot
* Capacity: 2 passengers
* Length: 8.00 m (26 ft 3 in)
* Wingspan: 12.00 m (39 ft 4 in)
* Wing area: 60 m$^2$ (646 sq ft)
* Gross weight: 650 kg (1,430 lb)
* Powerplant: 1 × Antoinette 8V V-8 water-cooled piston engine , 37 kW (50 hp)
# Blue sign

A blue sign or blue board is used by inland waterways vessels within the Trans-European Inland Waterway network when performing a special manoeuvre or passing on the starboard side. On navigable waterways vessels normally pass each other on the port-side, so the display of the blue sign and flashing white light signal intention to pass each other on the starboard-side. This process is known as blue boarding or historically blue flagging.
The Code Européen des Voies de la Navigation Intérieure (CEVNI) regulations require upstream vessels operating on the opposite side to display a light-blue sign and scintillating (flashing) white light. Article 3.03 states that the board must be rectangular and 1-metre × 1-metre for large vessels, or 0.6-metres × 0.6-metres for small vessels.
The presence and status of the blue sign is transmitted by the ship's Inland-Automatic Identification System (Inland-AIS) transponder to other vessels. The status of the sign is transmitted using two bits of the "regional application flags"/"special manoeuvre field" in the AIS position reports. This must be transmitted every ten seconds.
# Bluejacket MS 23

The Bluejacket MS 23, also called the Bluejacket Motorsailer 23 and the Bluejacket 23 MS, is a Canadian trailerable sailboat that was designed by William Garden as a motorsailer and first built in 1984.
The design is a development of the earlier Garden-designed Family Cat 23.

## Production

The design was initially built by Halman Manufacturing in Beamsville, Ontario, Canada. Later it was produced by Collingwood Yachts, in Collingwood, Ontario, but it is now out of production. The boat was hand-built on an order basis and it is thought that fewer than ten boats were completed in total.

## Design

The Bluejacket MS 23 is a recreational motorsailer, built predominantly of fibreglass, with wood trim. It has a masthead sloop rig, a slightly reversed raked stem, a sharply angled transom, a keel-mounted rudder controlled by a tiller from the cockpit and a wheel from the wheelhouse. The wheel can be disconnected to allow tiller steering. It has a fixed long keel, displaces 6,000 lb (2,722 kg) and carries 700 lb (318 kg) of ballast.
The boat has a draft of 2.25 ft (0.69 m) with the standard keel.
The boat is fitted with a Japanese Yanmar 1GM diesel engine of 18 hp (13 kW) for docking and manoeuvring. The fuel tank holds 24 U.S. gallons (91 L; 20 imp gal) and the fresh water tank has a capacity of 15 U.S. gallons (57 L; 12 imp gal).
The design has sleeping accommodation for three people, with a double "V"-berth in the bow cabin. The main cabin has a dinette table, that can be converted into a third berth. The galley is located on the starboard side, just forward of the companionway ladder. The galley is equipped with a two-burner stove, a 3.3 cu ft (93 L) icebox and a sink. The enclosed head is located just aft of the bow cabin on the starboard side. Cabin headroom is 74 in (190 cm).
The design has a hull speed of 6.1 kn (11.3 km/h).

## Operational history

In a 2010 review Steve Henkel wrote, "best features: The accommodations offer great comfort for two. The furniture is mostly single function so, for example, you don't have to fold up your berth before you can have breakfast, or unfold the dinette (though the dinette does convert into a third berth if desired) ... Worst features: The towing weight of around 8,500 lbs (including 2,500 lbs. for stowed gear and the trailer itself) is a hefty load to pull, requiring a truck or SUV equivalent."
# Bluejeans & Moonbeams

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
| Christgau's Record Guide | B− |
Bluejeans & Moonbeams is the ninth LP by Captain Beefheart and the Magic Band, released in 1974. Despite its uncharacteristically mainstream sound the album failed to chart.

## Production and legacy

Having no musical training or instrumental experience, throughout his career Van Vliet had relied on a musical director within the band who could translate his often unorthodox ideas into a form that was musically playable. This role had been successively filled by Alex St. Clair, John French, and Bill Harkleroad on his previous albums. With the entire Magic Band having quit after the recording of his previous album he no longer had such an intermediary. As a result, the album is generally considered the nadir of Van Vliet's musical career. One of the musicians, Micheal Smotherman, said "Don was just as confused as he could be throughout the whole process ... I would push his face up to the microphone and he would start singing. And when it was time to stop I would pull him back gently."
The album does, however, have its influence: an early White Stripes EP entitled Party of Special Things to Do (2001) contains three Beefheart covers, including this album's opening track. Kate Bush in a Smash Hits interview considered this one of her top ten albums. Mercury Rev covered "Observatory Crest" for a BBC session in 1999, which was released as B-side on their "Little Rhymes" single in 2002.
John French listened to the album again in 2017, his apparent first listen since the album's release, and exclaimed that Van Vliet sounded almost lost in places, as if he didn't "really know exactly where to sing" – and that "it must have been difficult for him to function in that environment". According to French, Van Vliet said himself that the only good part about the album was the cover art by his cousin, Victor Hayden.

## Cover art

The album cover is a painting by Van Vliet's friend and cousin Victor Hayden, who featured on Trout Mask Replica with the nickname Beefheart bestowed upon him, The Mascara Snake.

## Personnel

The musicians in this version of the Magic Band appear on no other Beefheart album. Several of those who had played on Unconditionally Guaranteed and earlier albums had left to form Mallard.
* Captain Beefheart (Don Van Vliet) – vocals, harmonica
* Dean Smith – guitar, bottleneck guitar
* Micheal Smotherman – keyboards, backing vocals
* Ty Grimes – percussion

### Additional personnel

* Ira Ingber – bass
* Bob West – bass on "Observatory Crest"
* Gene Pello – drums
* Jimmy Caravan – keyboard, star machine
* Mark Gibbons – keyboards
The personnel for "Captain's Holiday" are Tulsa musicians Chuck Blackwell - drums; Steve Hickerson - guitar; Richard Feldman - bass and Walt Richmond (of The Tractors) - piano. They are credited as the composers of the track. They played with Leon Russell; JJ Cale amongst others The track was reportedly found on a discarded reel in the studio. The harmonica on the track is not played by Captain Beefheart (by his own admission).
# Bluejean Bop!

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
Bluejean Bop! is the debut studio album by American rockabilly singer and his backing band Gene Vincent and His Blue Caps, featuring rock and roll music as well as covers of pop standards. It was released in 1956 on the Capitol label. Bluejean Bop! was followed by Gene Vincent and His Blue Caps.

## Track listing

* "Bluejean Bop" (Hal Levy, Gene Vincent) – 2:35
* "Jezebel" (Wayne Shanklin) – 2:38
* "Who Slapped John?" (Tex Davis, Vincent) – 2:07
* "Ain't She Sweet" (Milton Ager, Jack Yellen) – 2:44
* "I Flipped" (Richard Penniman, Chilton Price) – 2:38
* "Waltz of the Wind" (Fred Rose) – 2:59
* "Jump Back, Honey, Jump Back" (Hadda Brooks) – 2:11
* "Wedding Bells (Are Breaking Up That Old Gang of Mine)" (Sammy Fain, Irving Kahal, Willie Raskin) – 2:45
* "Jumps, Giggles and Shouts" (Davis, Vincent) – 3:06
* "Up a Lazy River" (Sidney Arodin, Hoagy Carmichael) – 2:35
* "Bop Street" (Tex Davis, Cliff Gallup) – 2:38
* "Peg O' My Heart" (Alfred Bryan, Fred Fisher) – 2:27

## Personnel

* Gene Vincent – guitar, vocals

### The Blue Caps

* "Galloping" Cliff Gallup – lead guitar
* "Wee" Willie Williams – rhythm guitar
* "Jumpin'" Jack Neal – upright bass
* "Be-Bop" Dickie Harrell – drums
# Matching logic

Matching logic is a formal logic mainly used to reason about the correctness of computer programs. Its operators use pattern matching to operate on the power set of states, rather than the set of states. It was created by Grigore Roșu and is used in the K Framework.

## Overview

Matching logic operates on patterns. Statements evaluate to the set of values that "match" them, not to true or false.
Given a set of signatures $\Sigma$, a pattern can be:
* A variable: $x\in Var$
* A structure following signature $\sigma \in \Sigma$ using other patterns: $\sigma (p_{1},p_{2},...,p_{n})$
* The complement of another pattern: $\neg p$
* The intersection of two patterns: $p_{1}\land p_{2}$
* A binding: $\exists x.p$ with $x\in Var$
A matching logic may also have a set $S$ of sorts. In that case, each pattern belongs to a particular sort. Structures can be used to combine patterns of different sorts together. Some examples of sorts used when working with program semantics might be "32-bit integer values", "stack frames", or "heap memory".
Some derived concepts are defined as:
* $\top \equiv \exists x.x$
* $\bot \equiv \neg \top$
* $p_{1}\lor p_{2}\equiv \neg (\neg p_{1}\land \neg p_{2})$
* $p_{1}\implies p_{2}\equiv \neg p_{1}\lor p_{2}$
* $p_{1}\Leftrightarrow p_{2}\equiv p_{1}\implies p_{2}\land p_{2}\implies p_{1}$
* $\forall x.p\equiv \neg (\exists x.\neg p)$
$\top$ is matched by all elements. $\bot$ is matched by none.
"One should be careful when reasoning with such non-classic logics, as basic intuitions may deceive."
When interpreting matching logic (that is, defining its semantic meaning), a pattern is modeled with a power set. The statement's interpretation is the set of values that match the pattern.

### Matching μ-Logic

Matching $\mu$-logic adds a fixed-point operator $\mu$.

## Applications

Matching logic is used with reachability logic by the K Framework to specify an operational semantics and, from them, to create a Hoare logic.
Matching logic can be converted to first-order logic with equality, which allows the K Framework to use existing SMT-solvers to find proofs for theorems.
# Mathews, Alabama

Mathews is an unincorporated community in Montgomery County, Alabama, United States, located 18.7 miles (30.1 km) east-southeast of Montgomery. Mathews had a post office until it closed on November 19, 2011; it still has its own ZIP code, 36052. It was named for Revolutionary War hero and Georgia Governor George Mathews.
# 7-Hydroxymethyl chlorophyll a reductase

7-Hydroxymethyl chlorophyll a reductase (EC 1.17.7.2, HCAR) is an enzyme with systematic name 71-hydroxychlorophyll a:ferredoxin oxidoreductase. This enzyme catalyses the following chemical reaction
    71-hydroxychlorophyll a + 2 reduced ferredoxin + 2 H$^+$ $\rightleftharpoons$ chlorophyll a + 2 oxidized ferredoxin + H$_2$O
7-Hydroxymethyl chlorophyll is a reductase that contains FAD and an iron-sulfur center.
# Boat service

A boat service is regularly scheduled transport using one or more boats, typically on a river, at a set charge, normally depending on the length of the trip and the type of passenger. The service may only be available for foot passengers.

## Examples

* London, England: there is a boat service between Tate Britain and Tate Modern on the River Thames. London River Services (part of Transport for London) also provide a network of boat services on the Thames, for use by tourists and commuters.
* Scotland: Caledonian MacBrayne ferry company operates a network of boat services to 22 of Scotland's islands.
* Sydney, Australia: the Sydney Ferries provide an extensive network of boat services around Sydney Harbour and surrounding areas.
* Bangkok, Thailand: the Chao Phraya Express Boat serves piers along the Chao Phraya River, and the Khlong Saen Saep Express Boat provides motor boat services along the city's canals.
* Mahart in Budapest, Hungary
# Boa Vista do Incra

Boa Vista do Incra is a municipality in the state of Rio Grande do Sul in the Southern Region of Brazil.
# Master of the Die

Master of the Die (fl. 1525–1560) was an Italian engraver and printmaker. His year of birth and death are unknown.
The identity of the Master of the Die is uncertain. He was given this name because he signed his prints with a small die (dice). Some theories to the identity of the artist include Benedetto Verino, Marcantonio Raimondi's son Daddi or Dado, Giovanni Francesco Zabello, or Tommaso Vincidor. The artist known as the Master of the Die studied under Marcantonio Raimondi. He worked in the style of Raphael.
# Matt Pacifici

Matthew Pacifici (born August 31, 1993) is an American former professional soccer player who played as a goalkeeper. After graduating from Davidson College, he played for Columbus Crew.

## Youth and college career
### High school

Pacifici was a varsity soccer player at Charlotte Catholic High School for four years. He compiled at 46-4-4 record during his high school career. His final year, he led the nation with 21 shutouts including 16 consecutive shutouts. Pacifici was part of a 3-A State Championship team in 2008. Pacifici was a High School Academic All American, receiving his award in Baltimore, MD in 2011.

### College
#### Wake Forest

Pacifici spent his first year of college at Wake Forest. He sat out the season and received a medical redshirt.

#### Davidson

Pacifici transferred to Davidson College(Division I) beginning with the 2012 season. Pacifici played in 70 games over the course of his Davidson career going 28–31–10. His career goals against average was 1.45. He was named 2nd team All-Conference in 2014 while recording a 0.65 goals against average and seven shutouts. He was a two-year team captain. While at Davidson College Pacifici was a Collegiate Academic All-American.

## Club career

After graduating from Davidson, Pacifici went undrafted but was invited to training camp with the Columbus Crew. During the preseason, he held Real Salt Lake and Colorado Rapids scoreless. The Crew signed Pacifici to a contract in March 2016. A concussion placed Pacifici on the season ending injury list in July. He was forced to retire after developing postural orthostatic tachycardia syndrome following the concussion.

## Personal life

Pacifici became the fifth openly gay current or former Major League Soccer player when he came out on Instagram in January 2019.
# Mathabana

Mathabana was an essential part of ladies' costumes in Parsi culture in Zoroastrianism. Mathabana is a loose garment similar to the veil, particularly for preventing the display of hair. It was a piece of thin white linen to tie around the head. Parsi women were supposed to cover their hair to appear simple and limit their feminine beauty out of modesty and respect for their culture. The idea has initially been brought from Persia and continued until 50 years back. Males wore skull caps, and females were supposed to wear Mathabana; an uncovered head was considered sinful and against the religion.

## Purpose

The purpose of wearing Mathabana is religious beliefs in which the followers cover their heads Hindus Sikhism and Muslims.
# AAlib

AAlib is a software library which allows applications to automatically convert still and moving images into ASCII art. It was released by Jan Hubicka as part of the BBdemo project in 1997.
AAlib has been used in a wide variety of programs, including a conversion of Quake II which allows the 3D game to be played on dumb terminals, and to let media players output in text mode (Xine, MPlayer, VLC).
AAlib is freely distributed under the terms of the LGPLv2.
# 2020 Sofia Open

The 2020 Sofia Open was a men's tennis tournament played on indoor hard courts. It was the fifth edition of the Sofia Open as part of the ATP Tour 250 series of the 2020 ATP Tour. Originally scheduled for 28 September to 4 October at the Arena Armeec in Sofia, Bulgaria, but due to the COVID-19 pandemic it was rescheduled to 8 November until 14 November 2020. Unseeded Jannik Sinner won the singles title.

## Finals
### Singles

* Jannik Sinner defeated Vasek Pospisil, 6–4, 3–6, 7–6$^{(7–3)}$

### Doubles

* Jamie Murray / Neal Skupski defeated Jürgen Melzer / Édouard Roger-Vasselin, walkover

## Singles main-draw entrants
### Seeds

| Country | Player | Rank$^1$ | Seed |
| CAN | Denis Shapovalov | 12 | 1 |
| CAN | Félix Auger-Aliassime | 21 | 2 |
| AUS | Alex de Minaur | 25 | 3 |
| GER | Jan-Lennard Struff | 35 | 4 |
| FRA | Adrian Mannarino | 36 | 5 |
| AUS | John Millman | 38 | 6 |
| GEO | Nikoloz Basilashvili | 39 | 7 |
| CRO | Marin Čilić | 43 | 8 |
* $^1$ Rankings as of 2 November 2020

### Other entrants

The following players received wildcards into the singles main draw:
* Adrian Andreev
* Dimitar Kuzmanov
* Jonáš Forejtek
The following players received entry from the qualifying draw:
* Taro Daniel
* Aslan Karatsev
* Gilles Simon
* Viktor Troicki
The following players received entry as lucky losers:
* Marc-Andrea Hüsler
* Martin Kližan
* Illya Marchenko

### Withdrawals

* Kevin Anderson → replaced by Jannik Sinner
* Roberto Bautista Agut → replaced by Adrian Mannarino
* Pablo Carreño Busta → replaced by Andrej Martin
* Borna Ćorić → replaced by Marc-Andrea Hüsler
* Fabio Fognini → replaced by Marin Čilić
* Taylor Fritz → replaced by Salvatore Caruso
* Karen Khachanov → replaced by Illya Marchenko
* Filip Krajinović → replaced by Roberto Carballes Baena
* Dušan Lajović → replaced by Egor Gerasimov
* Gaël Monfils → replaced by Martin Kližan
* Kei Nishikori → replaced by Márton Fucsovics
* Milos Raonic → replaced by Radu Albot
* Casper Ruud → replaced by John Millman
* Diego Schwartzman → replaced by Yūichi Sugita

## Doubles main-draw entrants
### Seeds

| Country | Player | Country | Player | Rank$^1$ | Seed |
| AUT | Jürgen Melzer | FRA | Édouard Roger-Vasselin | 49 | 1 |
| GBR | Jamie Murray | GBR | Neal Skupski | 50 | 2 |
| AUS | Max Purcell | AUS | Luke Saville | 75 | 3 |
| BEL | Sander Gillé | BEL | Joran Vliegen | 78 | 4 |
* $^1$ Rankings are as of 2 November 2020.

### Other entrants

The following pairs received wildcards into the doubles main draw:
* Alexander Donski / Vasko Mladenov
* Dimitar Kuzmanov / Viktor Troicki