OpenLLM-France/wikimedia huggingface dataset:
# Fresh variable

In formal reasoning, in particular in mathematical logic, computer algebra, and automated theorem proving, a fresh variable is a variable that did not occur in the context considered so far. The concept is often used without explanation.
Fresh variables may be used to replace other variables, to eliminate variable shadowing or capture. For instance, in alpha-conversion, the processing of terms in the lambda calculus into equivalent terms with renamed variables, replacing variables with fresh variables can be helpful as a way to avoid accidentally capturing variables that should be free. Another use for fresh variables involves the development of loop invariants in formal program verification, where it is sometimes useful to replace constants by newly introduced fresh variables.

## Example

For example, in term rewriting, before applying a rule $l\to r$ to a given term $t$, each variable in $l\to r$ should be replaced by a fresh one to avoid clashes with variables occurring in $t$. Given the rule
    $append(cons(x,y),z)\to cons(x,append(y,z))$
and the term
    $append(cons(x,cons(y,nil)),cons(3,nil))$,
attempting to find a matching substitution of the rule's left-hand side, $append(cons(x,y),z)$, within $append(cons(x,cons(y,nil)),cons(3,nil))$ will fail, since $y$ cannot match $cons(y,nil)$. However, if the rule is replaced by a fresh copy
    $append(cons(v_{1},v_{2}),v_{3})\to cons(v_{1},append(v_{2},v_{3}))$
before, matching will succeed with the answer substitution $\{v_{1}\mapsto x,\;v_{2}\mapsto cons(y,nil),\;v_{3}\mapsto cons(3,nil)\}$.
# Mirza Muhammad Haidar Dughlat

Mirza Muhammad Haidar Dughlat Beg (Persian: میرزا محمد حیدر دولت بیگ; c. 1499/1500 – 1551) was a Chagatai Turco-Mongol military general, governor of Kashmir, and a historian. He was a Mughal Dughlat prince who wrote in both Chaghatai and Persian languages. Haidar and Babur were cousins on their mother's side, through the line of Genghis Khan. Unlike Babur, Haidar considered himself more of an ethnic Mongol of Moghulistan.

## Background

Mirza Haidar Dughlat Beg in the Tarikh-i Rashidi constantly alludes to a distinct tribe or community of Moghuls in Mughalistan, however reduced in numbers, who had preserved Mongol customs, and from the incidental references to Mongolian phrases and terms, likely retained elements of the original Mongolian language, despite the growth of Islam and the growing use of the Turki language, the latter which Haider naturally spoke. According to the Tarikh-i Rashidi, Haider Dughlat considered his "Moghul Ulus" to be a separate people from the settled Turks of Transoxiania, from the fifteenth century and the first half of the sixteenth century. According to Vasily Bartold, there are “some indications that the language of the Moghuls was Mongolian until the 16th century". For the sedentary Mongols in Transoxiana, the nomadic Mongols to their east in Xinjiang and Kashgar represented a bastion of true Mongol culture, hence the name "Moghulistan".

## Campaigns

However, he did not stay long in Kashmir, leaving after making a treaty with the local sultan and striking coins in the name of Said Khan. He had also attacked Tibet through Ladakh but failed to conquer Lhasa.
He returned in 1540, fighting for the Mughal Emperor Humayun. Arriving in Kashmir, Haidar installed as sultan the head of the Sayyid faction, Nazuk. In 1546, after Humayun recovered Kabul, Haidar removed Nazuk Shah and struck coins in the name of the Mughal emperor.
His mother was Khub Nigar Khanim, third daughter of Yunus Khan by Isan Daulat Begum, and a younger sister of Kutluk Nigar Khanim, mother of Babur. Mirza Muhammad Haidar Dughlat Beg governed Kashmir from 1540 to 1551, when he was killed in battle.
# The Wind

The Wind may refer to:

## Poetry and literature

* "The Wind" (poem), a 14th-century poem by Dafydd ap Gwilym
* "The Wind", a 1943 short story by Ray Bradbury appearing in Dark Carnival
* The Wind (novel), a 1925 supernatural novel by Dorothy Scarborough

## Films

* The Wind (1928 film), starring Lillian Gish, based on the novel
* The Wind (1934 film), a Chinese silent film
* The Wind (1982 film), a Malian film
* The Wind (1986 film), an American horror film
* The Wind (2018 film), an American western horror film

## Music

* Der Wind, ballet pantomime composition by Franz Schreker

### Albums

* The Wind (Warren Zevon album), 2003
* The Wind (Kayhan Kalhor and Erdal Erzincan album), 2006
* The Wind, a 2021 album by Balmorhea

### Songs

* "The Wind", a song by Cat Stevens on his 1971 album Teaser and the Firecat
* "The Wind", a song by Russ Freeman, also performed by Chet Baker, Keith Jarrett and Mariah Carey
* "The Wind" (Nolan Strong & The Diablos song)
* "The Wind" (Zac Brown Band song)
* "The Wind", a song by Kabir Suman on his 2003 album Reaching Out
* "The Wind", a song by Amos Lee on his 2006 album Supply and Demand
* "The Wind", a song by Demon Hunter on the 2010 Christmas compilation Happy Christmas Vol. 5
* "The Wind", a song by the Fray on their 2012 album Scars & Stories
* "The Wind", a song by Amorphis on their 2015 album Under the Red Cloud
# Alcorn McBride

Alcorn McBride is an American manufacturer of show control, audio and video equipment for the themed entertainment industry. Their equipment is used in theme parks, museums, restaurants, visitor centers, retail stores, kiosks, cruise ships, and trade shows.

## History

Alcorn McBride was founded in Southern California in 1986 by Steve Alcorn, an engineer who worked on Epcot and served as vice president of engineering for Linn Electronics, an electronic musical instrument manufacturer. As the company grew, Steve gradually brought in other engineers who had worked for him in the past. Most had Disney experience, and many had also worked in the electronic music industry.
Alcorn McBride moved their corporate office from Southern California to Florida in 1989. In 1992 the company purchased an office building in Orlando. The firm also owns a warehouse near the airport.
Alcorn McBride equipment is used in nearly all of the world’s theme parks. Prior to the 1990s, theme parks were reliant on magnetic tape or synchronized laserdiscs for multitrack playback. This entailed a high cost of preventative maintenance, with multitrack tape machines needing nightly lubrication, and laserdiscs requiring frequent dusting. Even with these preventative activities, down times were frequent, leading to guest dissatisfaction. By replacing the moving components in these audio and video sources with CompactFlash media, theme park down times caused by media problems have been dramatically reduced.
Alcorn McBride was named an Inc. magazine 5000 Fastest Growing Company for 2010, and received the Florida Governor’s Award for best new product for its high definition video player. It has also been noted by the Orlando Business Journal as among the 2016 Best Places to Work.

## Projects

Alcorn McBride is principally an equipment manufacturer. Their products are distributed worldwide through a network of dealers and distributors. Installations are typically done either by the venue owners themselves, or by audio, video or show control specialty firms working for the owners. The company’s products are used in theme parks, museums, retail stores, casinos, cruise ships, corporate lobbies, tour vehicles, and visitor centers.

### Example Theme Park Attractions

* Pirates 4-D, Thorpe Park: The Digital Binloop, a 12-channel high quality synchronized audio player, was used in the attraction's 4-D film and show. (1999)
* Porto Europa: Digital Binloops were used for both the Viking Adventure Stunt Show, and the Seafari simulator ride for triggered audio playback (the former) and synchronized film playback (the latter)(1994).

### Example Museums, Cultural Centers and Visitor Centers

* Muhammad Ali Center, Kentucky: "DVM8500 single-channel HD video players and A/V Binloop HD multi-channel synchronous video players [replace] the Center’s outdated proprietary servers and playback equipment."
* Ruby Falls on Lookout Mountain, Tennessee: Alcorn McBride's "Digital Audio Machine and Digital Video Machine HD" comprise a sound and light show for the underground waterfall." (2013)
(1) The Alcorn McBride Story
# Wolftail Mountain

Wolftail Mountain (8,176 feet (2,492 m)) is located in the Lewis Range, Glacier National Park in the U.S. state of Montana.

## Climate

According to the Köppen climate classification system, Wolftail Mountain is located in an alpine subarctic climate zone with long, cold, snowy winters, and cool to warm summers. Winter temperatures can drop below −10 °F with wind chill factors below −30 °F. Due to its altitude, it receives precipitation all year, as snow in winter, and as thunderstorms in summer.
# C. J. Reed

Clifford Jervon "C. J." Reed (born May 14, 1990) is an American former college basketball player at Georgia Southern University. Reed transferred to Georgia Southern after an All-American career at Bethune-Cookman University.
Reed, a 6'3" guard from Daytona Beach, Florida is the son of former Bethune-Cookman coach Clifford Reed. In 2008, after a standout career at Atlantic High School, Reed went to play for his father at BCU. Reed was an immediate impact player for the Wildcats, averaging 15 points per game in 2008–09 and earning Mid-Eastern Athletic Conference freshman of the year honors.
Reed improved his scoring to 15.8 as a sophomore (earning first team all-MEAC honors), and 18.8 per game as a junior in a year where he was named MEAC Player of the Year. and was an AP honorable mention All-American selection. The Wildcats won the MEAC regular season championship.
After the season, Clifford was fired as coach at Bethune-Cookman for failing to aid authorities in a rape investigation where C. J. was the lone suspect (charges were later dropped). Reed decided to transfer from the program, eventually settling on Central Florida over North Florida and Tennessee State. However, after spending a year at UCF, Reed left when the school received NCAA sanctions barring them from postseason play, choosing to transfer to Georgia Southern. Because of the sanctions, Reed was not required to sit out another season with the transfer. The move reunited C. J. with his father Clifford, who had been hired as an assistant.
On February 16, 2013, Reed scored his 2000th career point against the College of Charleston.
After college, Reed played semi-pro basketball in Australia.
# Gearoid Towey

Gearoid Towey (born 26 March 1977 in Fermoy, Ireland) is an Irish Olympic athlete, former world champion in rowing, and trans-Atlantic rower. He competed at three Olympics – Sydney 2000, Athens 2004 and Beijing 2008.
Towey, along with Ciaran Lewis, attempted to cross the Atlantic Ocean in 2005 in a 23 ft rowing boat. After 40 days at sea, having endured two tropical storms and a hurricane on the way, their boat was pitch poled by a 10-meter wave, leaving the men adrift 900 miles from landfall. They were rescued in the middle of a force 9 storm at night by the supertanker "Hispania Spirit".
Towey organised the first official Art O'Neill Challenge in 2009, to raise money for the Stuart Mangan Appeal.
He lives in Sydney Australia and is the founder of Crossing the Line Sport – an organisation dedicated to athlete mental health and transition out of sport. He is a regular speaker on the topic of transition, especially the transition from elite athlete to the next phase of life.
# Beat Again Tour

The Beat Again Tour was a concert tour by JLS that took place from October to November 2021. It was their first tour since 2013.

## Setlist

This setlist is based on the O2 Arena show on 19 November.
* The Club Is Alive
* Do You Feel What I Feel
* One Shot
* Take a Chance on Me
* Eyes Wide Shut
* Only Tonight
* Day One
* Love You More
* Private / Only Making Love / I Know What She Like / Better for You / So Many Girls
* Close To You
* Umbrella (Rihanna cover)
Interlude:
* Close to You
* Hottest Girl in the World
* She Makes Me Wanna
* Eternal Love
* Beat Again
Encore:
* Proud
* Everybody in Love

## Tour dates

The dates were rescheduled from their original 2020 dates.
* Wed 20 Oct 2021 - Glasgow The SSE Hydro
* Thu 21 Oct 2021 - Glasgow The SSE Hydro
* Fri 22 Oct 2021 - Newcastle Utilita Arena
* Sat 23 Oct 2021 - Birmingham Resorts World Arena
* Mon 25 Oct 2021 - Cardiff Motorpoint Arena
* Tue 26 Oct 2021 - Cardiff Motorpoint Arena
* Thu 28 Oct 2021 - Sheffield FlyDSA Arena
* Fri 29 Oct 2021 - Sheffield FlyDSA Arena
* Sat 30 Oct 2021 - Leeds First Direct Arena
* Sun 31 Oct 2021 - Cardiff Motorpoint Arena
* Tue 2 Nov 2021 - Liverpool M&S Bank Arena
* Wed 3 Nov 2021 - Liverpool M&S Bank Arena
* Thu 4 Nov 2021 - London The O2
* Fri 5 Nov 2021 - London The O2
* Sat 6 Nov 2021 - Newcastle Utilita Arena
* Mon 8 Nov 2021 - Brighton Centre
* Tue 9 Nov 2021 - Bournemouth International Centre
* Wed 10 Nov 2021 - Hull Bonus Arena
* Sun 14 Nov 2021 – Belfast SSE Arena
* Mon 15 Nov 2021 – Dublin 3Arena
* Wed 17 Nov 2021 - Nottingham Motorpoint Arena
* Thu 18 Nov 2021 - Nottingham Motorpoint Arena
* Fri 19 Nov 2021 - London The O2
* Sat 20 Nov 2021 - London The O2
* Tue 23 Nov 2021 - Manchester AO Arena
* Wed 24 Nov 2021 - Manchester AO Arena
* Fri 26 Nov 2021 - Birmingham Resorts World Arena
* Sat 27 Nov 2021 - Birmingham Resorts World Arena
* Sat 27 Nov 2021 - Birmingham Resorts World Arena

## Reviews

Renowned For Sound gave a positive review. Manchester Evening News gave five stars.
# Siu Chun Ming

Siu Chun Ming (Chinese: 蕭俊銘; born 27 December 1995) is a former Hong Kong professional footballer who played as an attacking midfielder.

## Club career

In the 2014–15 season, Siu scored 9 goals.
In 2015, Siu joined Dreams Metro Gallery.
On 12 July 2016, Siu was introduced as a Pegasus player during the club's season opening training session.
# Phosichthyidae

Lightfishes are small stomiiform fishes in the family Phosichthyidae
The earliest fossils of lightfishes are from Middle Eocene-aged Tethyan marine strata in Georgia.
They are very small fishes found in oceans throughout the world: most species grow no longer than 10 cm, while those in the genus Vinciguerria only reach 4 cm or so.
They make up for their small size with abundant numbers: Vinciguerria is thought — with the possible exception of Cyclothone — to be the most abundant genus of vertebrates. Deep-sea trawls of the Humboldt Current in the southeast Pacific have found that lightfishes make up 85% by mass of mesopelagic fishes, with Vinciguerria lucetia by far the most numerous species.
They are bioluminescent fishes, possessing rows of photophores along their sides, with which they hunt planktonic invertebrates, especially krill, copepods, and planktonic amphipods.
# Oliwia Zalewska

Oliwia Zalewska née Czuprynska (born 20 January 1995) is a Polish professional pool player. Zalewska is a former WPA World Nine-ball junior champion, winning the ladies event in 2011. She also reached the final the following year, losing in the final to Diana Khodjaeva. She is also a three-time winner of Euro Tour events, winning the 2015 Treviso Open, 2019 Antalya Open and 2019 Klagenfurt Open. In addition, she has reached four finals, and won a total of seven medals at events on the tour.

## Titles & Achievements

* 2024 Polish Pool Championship 10-ball
* 2024 Polish Pool Championship 9-ball
* 2023 Euro Tour Estonian Open
* 2022 European Pool Championships 9-ball
* 2021 European Pool Championships 8-ball
* 2021 Euro Tour Antalya Open
* 2019 Euro Tour Klagenfurt Open
* 2019 Euro Tour Antalya Open
* 2015 Euro Tour Treviso Open
* 2013 European Pool Championship Straight Pool
* 2011 WPA World Nine-ball Junior Championship
# Icca

Icca is a Japanese restaurant in New York City. Kazushige Suzuki is the chef. The restaurant serves sushi and has received a Michelin star.
# So Wai Chuen

Kumer So Wai Chuen (born 26 March 1988) is a former Hong Kong professional footballer who played as a centre back.

## Career statistics
### International
#### Hong Kong U-23

    As of 15 November 2010
| # | Date | Venue | Opponents | Result | Goals | Competition |
| 1 | 18 April 2007 | Mong Kok Stadium, Hong Kong | Malaysia | 0–1 | 0 | 2008 Summer Olympics qualification |
| 2 | 16 May 2007 | Hong Kong Stadium, Hong Kong | Japan | 0–4 | 0 | 2008 Summer Olympics qualification |
| 3 | 15 June 2008 | Estádio Campo Desportivo, Macau | Macau | 1–0 | 1 | 2008 Hong Kong–Macau Interport |
| 4 | 20 June 2009 | Mong Kok Stadium, Hong Kong | Macau | 5–1 | 0 | 2009 Hong Kong–Macau Interport |
| 5 | 4 December 2009 | Siu Sai Wan Sports Ground, Hong Kong | South Korea | 4–1 | 0 | 2009 East Asian Games |
| 6 | 8 December 2009 | Siu Sai Wan Sports Ground, Hong Kong | China | 0–1 | 0 | 2009 East Asian Games |
| 7 | 10 December 2009 | Hong Kong Stadium, Hong Kong | North Korea | 1–1 (4–2 PSO) | 0 | 2009 East Asian Games |
| 8 | 12 December 2009 | Hong Kong Stadium, Hong Kong | Japan | 1–1 (4–2 PSO) | 0 | 2009 East Asian Games |
| 9 | 20 June 2010 | Estádio Campo Desportivo, Macau | Macau | 5–1 | 0 | 2010 Hong Kong–Macau Interport |
| | 2 November 2010 | Siu Sai Wan Sports Ground, Hong Kong | South China | 0–4 | 0 | Friendly |
| 10 | 9 November 2010 | Huadu Stadium, Guangzhou, China | Uzbekistan | 1–0 | 0 | 2010 Asian Games |
| 11 | 15 November 2010 | Huangpu Sports Center, Guangzhou, China | Oman | 0–3 | 0 | 2010 Asian Games |

#### Hong Kong

    As of 28 July 2011
| # | Date | Venue | Opponents | Result | Goals | Competition |
| | 29 December 2009 | Siu Sai Wan Sports Ground, Hong Kong | Guangdong | 2–1 | 0 | 2010 Guangdong–Hong Kong Cup |
| | 2 January 2010 | Zhaoqing Sports Center, Zhaoqing, China | Guangdong | 0–2 | 0 | 2010 Guangdong–Hong Kong Cup |
| 1 | 3 June 2011 | Siu Sai Wan Sports Ground, Hong Kong | Malaysia | 1–1 | 0 | Friendly |
| 2 | 23 July 2011 | Prince Mohamed bin Fahd Stadium, Dammam | Saudi Arabia | 0–3 | 0 | 2014 FIFA World Cup qualification |
| 3 | 28 July 2011 | Siu Sai Wan Sports Ground, Hong Kong | Saudi Arabia | 0–5 | 0 | 2014 FIFA World Cup qualification |
# Jogamaya Devi College

Jogamaya Devi College is one of the oldest and leading women's colleges in Kolkata, India. It shares the same building with Asutosh College (day college) and Syamaprasad College (evening college) and is named after the wife of Sir Asutosh Mukherjee. It is a National Assessment and Accreditation Council (NAAC) accredited Grade "B" college. It offers undergraduate and postgraduate degrees and is affiliated to the University of Calcutta. It was established in 1932.

## Notable alumni

* Suchitra Bhattacharya, writer
* Mamata Banerjee, Chief Minister of West Bengal
* Locket Chatterjee, actress, BJP Member of Parliament
* Satabdi Roy, actress, politician
* Bijoya Ray, actress
* Ananya Chatterjee, National Award Winner Actress
# Mastuj Tehsil

Mastuj (Urdu: مستوج) is a tehsil and a valley in Upper Chitral District in Khyber Pakhtunkhwa province of Pakistan. Mastuj is the principal settlement. It is located at 36°17'0N 72°31'0E with an altitude of 2359 metres (7742 feet). There are ruins of old fort built originally in 18th century and reconstructed several times.

## Geography
### Adjacent administrative units

* Wakhan District, Badakhshan Province, Afghanistan (north)
* Ishkoman Tehsil, Ghizer District, Gilgit-Baltistan (northeast)
* Yasin Tehsil, Ghizer District, Gilgit-Baltistan (east)
* Gupis Tehsil, Ghizer District, Gilgit-Baltistan (southeast)
* Behrain Tehsil, Swat District (southeast)
* Sharingal Tehsil, Upper Dir District (southwest)
* Chitral Tehsil (southwest)

## Villages

The main villages include Buni, Charun-Oweer, Mastuj, Khouzh, Kargin, Marthing, Chuinj, Parkusap, Reshun, Parwak, Kuragh, Aveer, Chapali and Brep.
Tehsil Mastuj starts right after the end of Baranis, Reshun, Kuragh, Buni, Aveer, Parwak, Mastuj, Chinar, Chuinj, Chapali, Brep, Bang and Meragram are the main areas of Tehsil Mastuj.
# Blastobasis inouei

Blastobasis inouei is a species of moth in the family Blastobasidae. It was described by Sigeru Moriuti in 1987. It can be found in Russia and Japan.
# Joo Ok

Joo Ok (Korean: 주옥; lit. precious gem), also spelled Joo-Ok, is a Korean restaurant in Koreatown, Manhattan, New York City, United States. It first opened in 2016 in Seoul, South Korea. Its Seoul location received one Michelin star from 2018 to 2020. It received two stars from 2021 until 2023 before receiving 1 star in the 2024 Michelin NYC guide. In 2022, it was ranked 18th on the Asia's 50 Best Restaurants list. The restaurant then closed in December 2023, and announced that it would move to New York City with assistance from Hand Hospitality whoo also owns several other primarily Korean restaurants in New York. Around half the employees of the Seoul location went to New York City.
The restaurant is headed by Shin Chang-ho (신창호). Shin studied cooking in the United States beginning in 2013, in his mid-thirties, at the recommendation of Mingles chef Kang Min-gu. He worked at the Japanese restaurant Nobu in Miami. He reportedly decided, while at Nobu, to focus on Korean food, as his colleagues were curious about the cuisine. He began preparing for the move to New York in 2021, in part due to the economic impact of the COVID-19 pandemic in South Korea, and after observing the increasing acceptance of Korean cuisine in the city.
# Lutjanus decussatus

Lutjanus decussatus, the checkered snapper, checkered seaperch or cross-hatched snapper, is a species marine ray-finned fish belonging to the family Lutjanidae. It is native to the western Pacific and Indian Oceans.

## Taxonomy

Lutjanus decussatus was first formally described as Mesoprion decussatus in 1828 by the French zoologist Georges Cuvier with the type locality given as Java in Indonesia. The specific name decussatus means "divided crosswise in the form of an X", a reference to the checkered pattern on the body of this species made by five horizontal red bands crossed by seven vertical brown bands.

## Description

Lutjanus decussatus has a moderately deep body with a depth which is between a quarter and a third of its standard length with a moderately sloped upper profile to the head. The preoperculum has a weak knob and notch. The vomerine teeth are arranged in a crescent-shaped patch with no rearwards extension and there is a patch grain-like teeth on its tongue. The dorsal fin has 10 spines and 13-14 soft rays while the anal fin contains 3 spines and 8-9 soft rays. The rear part of the dorsal fin and the anal fin have a rounded shape. The maximum total length recorded for this species is 35 cm (14 in) although 25 cm (9.8 in) is more typical. This species has an overall colour of whitish to pale greyish brown to reddish-brown stripes and bars creating a checkered pattern on the upper flanks, and they have a large black spot on the base of the caudal fin. They have pale coloured fins and a red submarginal stripe on the caudal fin.

## Distribution and habitat

Lutjanus decussatus is found in the Indo-West Pacific region. Its range extends from Sri Lanka and eastern India east to Micronesia, north to the Ryukyu Islands of southern Japan and south to Australia. In Australia this species is found at the Dampier Archipelago and the offshore reefs of northern Western Australia, at the Ashmore Reef in the Timor Sea, and the northern Great Barrier Reef off Queensland. It is found in relatively shallow water, varying in depth from 2 to 30 m (6 ft 7 in to 98 ft 5 in) on coastal reef faces and sandy slopes where there are scattered patches of reef, they also less commonly occur on offshore reefs. Juveniles are found on sheltered reef flats.

## Biology

Lutjanus decussatus adults may be solitary or live in small schools. They feed on fishes and crustaceans. Off Okinawa this species spawned during June and October, the spawning events being determined by lunar cycles.

## Fisheries

Lutjanus decussatus is taken by subsistence fisheries which catch it with handlines, traps and gill nets, it is not very important to commercial fisheries, although it is taken by these fisheries in some parts of its range such as the Ryukyu Islands.. Small numbers sometimes appear in the aquarium trade.