OpenLLM-France/wikimedia huggingface dataset:
# Looking Glass Falls

Looking Glass Falls is a waterfall in Western North Carolina, located near Brevard.

## Natural history

The name comes from nearby Looking Glass Rock, which resembles a wintertime mirror (or "looking glass") of sunlight, as water freezes on its sides and reflects the sun, and from the name of the stream from which the falls plunge, Looking Glass Creek.

## Geology

The waterway is Looking Glass Creek, which flows through the Pisgah National Forest.

## Visiting the Falls

The falls are open to the public and are accessible on the side of U.S. Highway 276, approximately 5.6 miles north of the intersection of 276, U.S. Highway 64, and NC Highway 280 in Pisgah Forest, North Carolina. The falls are just under 70' tall from top to bottom, with the main falls at 60'. It is an extremely popular waterfall, due to ease of access to the falls directly on the side of the road. There is a path that leads to the plunge pool. During the winter when the falls freeze solid, they are popular Ice Climbing destination.
According to local Emergency Services personnel, there have been many injuries and deaths at the falls, mainly due to individuals who rock climb near the edge of the falls and accidentally fall in the plunge pool, or persons who jump in the plunge pool. In 1990, South African kayaker Corran Addison kayaked over the falls successfully, but injured his back in the process. Persons who visit Looking Glass Falls should take care to respect both basic safety rules and the fragile environment that exist at the falls.

## Nearby Falls

* Slick Rock Falls
* Moore Cove Falls
* Sliding Rock
* Cedar Rock Falls
* Cove Creek Falls
* Daniel Ridge Falls
* Twin Falls
* Log Hollow Falls
* Falls on Log Hollow Branch
* Key Falls
# Codie Spearman

Codie Spearman (January 3, 1898 – January 1965) was an American baseball right fielder in the Negro leagues. He played with the Cleveland Elites in 1926. His brothers, Charlie, Henry, Clyde, and Willie, and nephew Fred all played in the Negro leagues.
# West High School (Columbus, Ohio)

West High School is a public high school located on the west side of Columbus, Ohio, in the Westgate neighborhood in the Hilltop area. It is a part of Columbus City Schools.

## History

Due to overcrowding at Central High School in 1890s, a section of students split and were moved to another location, setting the foundation for what would become three new schools, including West High School.
Designed by the first architect of Columbus schools, David Riebel, the Neo-Classical Revival style building was constructed in 1908 and opened in 1909 on South Central Avenue. The building became Starling Middle School when the new West High School opened. The new West High School opened in 1929. It was designed by prominent Ohio architect Howard Dwight Smith who also designed Ohio Stadium.
West High School continues today at its current location at 179 South Powell Avenue. In August 2016, the cupola was removed because it was deemed unstable and a new cupola was installed and celebrated with a lighting ceremony in 2018.
The school colors are buff and brown. The school nickname is the Cowboys.

## Extracurricular activities
### Athletics

Sports include:
* Basketball
* Football
* Cross-Country
* Baseball/Softball
* Volleyball
* Soccer
* Golf
* Boys' Tennis/Girls' Tennis
* Wrestling
* Track and Field

#### Ohio High School Athletic Association State Championships

* Baseball – 1975

## Notable alumni

* Richard E. Carey, U.S. Marine Corps Lieutenant General who organized and executed the American withdrawal from Saigon effectively ending US military operations in Southeast Asia
* Lawrence Carter, historian, author, and civil rights scholar
* Johnny Edwards (baseball), Major League Baseball catcher for Cincinnati Reds and Houston Astros
* Donn F. Eisele, NASA astronaut, flew on Apollo 7
* Joe Johns, CNN Reporter
* Michael Redd, NBA player for the Milwaukee Bucks
* Aurealius Thomas, Football player Ohio State University
* Jack Underman, Basketball player for Ohio State
* Nancy Wilson, Jazz and Blues singer and three-time Grammy recipient
* Sir Da Yung OG, Radio Host and Producer for Urban One.
# Tim Torn Teutenberg

Tim Torn Teutenberg (born 19 June 2002) is a German cyclist, who currently rides for UCI WorldTeam Lidl–Trek.
He is from a family of cyclists: His father Lars, uncle Sven, aunt Ina-Yoko and sister Lea Lin are all current or former professional cyclists.

## Major results
### Road
#### 2019

    2nd Overall Tour de Gironde
       1st Young rider classification
    9th Overall Internationale Cottbuser Junioren-Etappenfahrt

#### 2022

    4th Overall Orlen Nations Grand Prix
    4th Midden–Brabant Poort Omloop
    6th Kattekoers
    8th Overall Le Triptyque des Monts et Chateaux
    8th Ronde van Overijssel
    9th Overall Olympia's Tour
    9th Visit Friesland Elfsteden Race

#### 2023

    2nd Road race, National Under-23 Championships
    2nd Ronde van Overijssel
    6th Road race, UEC European Under-23 Championships

#### 2024

    1st Time Trial, National Under-23 Championships
    1st Overall Olympia's Tour
       1st Points classification
       1st Young rider classification
    1st Paris–Roubaix Espoirs
    1st Stage 1 Tour de Bretagne
    1st Stage 1 Flèche du Sud
    3rd Clàssica Comunitat Valenciana 1969
    3rd Youngster Coast Challenge
    4th Trofeo Palma
    5th Road race, National Championships
    7th Trofeo Ses Salines–Felanitx
    7th Ster van Zwolle

#### 2025

    3rd Surf Coast Classic

### Track
#### 2019

    UEC European Junior Championships
       1st Elimination
       3rd Madison (with Luca Dreßler)
    National Junior Championships
       1st Omnium
       1st Madison (with Luca Dreßler)
    2nd Elimination, UCI World Junior Championships

#### 2020

    UEC European Junior Championships
       2nd Omnium
       3rd Madison (with Benjamin Boos)

#### 2021

    2nd Elimination, UEC European Under-23 Championships

#### 2022

    National Championships
       1st Omnium
       1st Scratch
       1st Elimination
    UEC European Under-23 Championships
       2nd Omnium
       2nd Elimination
       3rd Madison (with Malte Maschke)
    UCI Nations Cup
       3rd Elimination, Glasgow
       3rd Elimination, Milton

#### 2023

    1st Elimination, UEC European Championships
    UEC European Under-23 Championships
       1st Omnium
       1st Elimination
       3rd Madison (with Benjamin Boos)
    2nd Omnium, UCI Nations Cup, Milton

#### 2024

    UCI World Championships
       1st Madison (with Roger Kluge)
       3rd Team pursuit

#### 2025

    UEC European Championships
       1st Elimination
       1st Omnium
       2nd Madison (with Roger Kluge)
# Pannecé

Pannecé (French pronunciation: ; Breton: Panezeg) is a commune in the Loire-Atlantique department in western France.
# Weiss Lake

Weiss Lake in northeastern Alabama is owned and operated by the Alabama Power Company. At full summer pool, Weiss Lake sits 564 feet (172 m) above sea level. The lake covers 30,200 acres (122 km$^2$) from the Coosa River, Chattooga River (Alabama–Georgia) and Little River, offering over 447 miles (719 km) of shoreline and shallow flats, large coves, under-water drop offs and deep channels. Weiss Lake also has privately owned hotels, marinas, campground and bait and tackle stores. There are 11 bridges that cross Weiss Lake.
Weiss Dam, creating the reservoir, was begun as the first of seven hydroelectric projects on the Coosa in 1958, and finished three years later. It is a concrete and earthen gravity dam, 126 feet (38 m) high, named after Fernand C. Weiss, a former chief engineer of Alabama Power. A book by local newspaper editor Douglas Scott Wright, titled A History of Weiss Lake, describes the decades-long battle to build a series of dams along the upper Coosa River, the farmers who tried to stop construction of Weiss Dam, the lake's namesake, and the ups and downs that the community have experienced since it was completed in June 1961.
Weiss Lake contains crappie, largemouth bass, and striped bass. In 2009, the population of bass consists of 15–18 inch preferred size bass as well as abundant numbers of young growing bass. The striped bass population primarily consist of 3–7 pound fish, but fish over 25 pounds have been caught as well. The best seasons for fishing crappie are March through May, yet September through November months are good as well. The best bass months are February through May, and in October and November. The Rome Sailing Club began at Garden Lakes in 1955, but moved to Weiss Lake in 1980.
# Martina Dominici

Martina Dominici (born 3 January 2002) is an Argentine artistic gymnast. As a junior, she was the first non-European and the first Argentinian gymnast to win the TopGym, a famous junior competition held in Belgium. A senior gymnast since 2018, she has represented Argentina at the 2018 and 2019 World Championships as well as the 2019 Pan American Games. She is currently suspended for 3 years after testing positive for a banned substance in the 2021 Pan American Gymnastics Championships
Dominici qualified to represent Argentina at the 2020 Summer Olympics in women's artistic gymnastics. On 23 June 2021, it was reported that Dominici had tested positive for a banned substance, which resulted in her exclusion from the 2020 Summer Olympics. She accepted a three-year period of ineligibility that began on 21 June 2021.
# Climate Change Agreement (UK)

When the Climate Change Levy was introduced in the United Kingdom, the position of energy-intensive industries was considered, given their energy usage, the requirements of the Integrated Pollution Prevention and Control regime and their exposure to international competition. As a result, a 65% discount from the levy was allowed for those sectors that agreed targets for improving their energy efficiency or reducing carbon emissions. The discount on electricity increased to 90% in 2013.
An 'energy-intensive' sector is one which either carries out activities which are listed as Part A(1) or A(2) activities in Part 2 of Schedule 1 to the Environmental Permitting (England and Wales) Regulations 2010 (Statutory Instrument 2010 No.675) (as amended), or that satisfies energy intensity criteria provided by the Department of Energy and Climate Change.
The regulations cover the ten main energy-intensive sectors of industry (aluminium, cement, ceramics, chemicals, food and drink, foundries, glass, non-ferrous metals, paper, and steel) and over thirty smaller sectors, and in agriculture, livestock units for the intensive rearing of pigs and poultry.
# Vince Kendrick

Vincent Kendrick (March 18, 1952 – March 21, 2015) was an American former college and professional football player who was a running back in the National Football League (NFL) for two seasons during the 1970s. Kendrick played college football for the University of Florida, and thereafter, he played professionally for the Atlanta Falcons and Tampa Bay Buccaneers of the NFL.

## Early life

Kendrick was born in Miami, Florida, in 1952 to Green Lester and Pearlie Mae Kendrick. He attended Miami Springs High School in Miami Springs, Florida, where he played high school football for the Miami Springs Golden Hawks.

## College career

Kendrick received an athletic scholarship to attend the University of Florida in Gainesville, Florida, where he played for coach Doug Dickey's Florida Gators football team from 1971 to 1973. As a senior team captain in 1973, he rushed 127 times for 567 yards and five touchdowns. In his three-year college career, he totaled 1,269 yards on 279 attempts in an injury-plagued career spent primarily blocking for tailback Nat Moore.
Kendrick graduated from the University of Florida with a bachelor's degree in broadcasting in 1980.

## Professional career

The Atlanta Falcons selected Kendrick in the fourth round (96th pick overall) of the 1974 NFL draft, and he played for the Falcons for a single season in 1974, mainly as a backup and on special teams. He sat out 1975 after suffering a knee injury in a preseason game against the New York Jets. One of many injured Falcons, he was left unprotected for the 1976 NFL Expansion Draft, and was selected by the Tampa Bay Buccaneers expansion team. In Tampa Bay, he found himself in competition with his Florida Gators successor, Jimmy DuBose, for the fullback spot on the Bucs' roster. He scored the Bucs' first franchise touchdown, in an exhibition game against the Falcons, but was never able to regain his pre-injury form and was released after the season opener against the Houston Oilers.

## Life after the NFL

Kendrick returned to Gainesville after his two seasons in the NFL, first as a graduate assistant for Florida Gators head coach Doug Dickey, and then as an assistant coach for new head coach Charley Pell, working with the Florida Gators running backs. After his first wife died, Kendrick and his young son Vinnie briefly lived in the football dormitory. Kendrick left coaching after the 1983 season, and eventually married his second wife, Altermease Kendrick, owner of My Choice Community Development, Inc. He worked as the community service director for the city of Deerfield Beach, Florida. Vince volunteers his wisdom and talent with his wife as they embark on starting a charter school (My Choice Academy) in Lake Park, Florida. Together they have four children: Robert Sr., Paula (deceased 2014), Vinnie and Alexis. They also have seven grandchildren Brittany, Robert Jr., Devin, JeMiah, Jocelyn, Naima , and Caleb. Naima was one of the few grandchildren who spent time with him. He loved her and supported her through everything and was basically a 2nd dad to her.
Kendrick died on March 21, 2015, from cancer.
# Fred Spearman

Frederick Douglas "Babe" Spearman (January 18, 1917 – November 10, 2010) was an American baseball third baseman in the Negro leagues. He played with the Newark Eagles in 1936. His father, Charlie, and four of his uncles, Henry, Clyde, Willie, and Codie, all played in the Negro leagues.
# Ottringham railway station

Ottringham railway station is a disused railway station on the North Eastern Railway's Hull and Holderness Railway to the north of Ottringham, East Riding of Yorkshire, England.

## History

It was opened by the Hull and Holderness Railway on 27 June 1854. The station was closed to passengers on 19 October 1964 and to goods on 3 May 1965.
| Preceding station | Disused railways | Following station |
| Keyingham | North Eastern Railway Hull and Holderness Railway | Winestead |
# 1935 Daily Mail Gold Cup

The 1935 Daily Mail Gold Cup was a professional billiards tournament sponsored by the Daily Mail. Tom Newman won the Gold Cup, winning all his four matches, ahead of Willie Smith who had three wins. It was the first Daily Mail Gold Cup tournament, an event which ran from 1935 to 1940.

## Format

The event was a round-robin tournament played from 7 January to 16 March 1935 at Thurston's Hall in London, England. There were 5 competitors and a total of 10 matches. Each match lasted six days (Monday to Saturday) and consisted of two sessions of two hours each day. The 5 competitors were Joe Davis, Tom Newman, Willie Smith, Melbourne Inman and Tom Reece. The event was a sealed handicap in which the handicap was determined before the event started but was not disclosed to the players until after the tournament finished.

## Results

| Winner | Score | H'cap | Total | Loser | Score | H'cap | Total | Dates |
| Tom Reece | 5,474 | 1,000 | 6,474 | Melbourne Inman | 5,674 | – | 5,674 | 7–12 January |
| Tom Newman | 10,973 | 1,000 | 11,973 | Joe Davis | 11,067 | – | 11,067 | 14–19 January |
| Willie Smith | 14,289 | – | 14,289 | Tom Reece | 4,252 | 8,000 | 12,252 | 21–26 January |
| Joe Davis | 15,605 | – | 15,605 | Melbourne Inman | 4,654 | 8,000 | 12,654 | 28 January–2 February |
| Tom Newman | 11,260 | – | 11,260 | Willie Smith | 8,252 | 500 | 8,752 | 4–9 February |
| Joe Davis | 16,093 | – | 16,093 | Tom Reece | 5,997 | 9,000 | 14,997 | 11–16 February |
| Willie Smith | 12,821 | – | 12,821 | Melbourne Inman | 3,845 | 7,000 | 10,845 | 18–23 February |
| Tom Newman | 14,943 | – | 14,943 | Tom Reece | 4,412 | 9,000 | 13,412 | 25 February–2 March |
| Willie Smith | 11,255 | 1,500 | 12,755 | Joe Davis | 8,959 | – | 8,959 | 4–9 March |
| Tom Newman | 12,444 | – | 12,444 | Melbourne Inman | 4,261 | 7,000 | 11,261 | 11–16 March |
Table
| Pos | Player | Pld | Won |
| 1 | Tom Newman | 4 | 4 |
| 2 | Willie Smith | 4 | 3 |
| 3 | Joe Davis | 4 | 2 |
| 4 | Tom Reece | 4 | 1 |
| 5 | Melbourne Inman | 4 | 0 |
# MINLOG

MINLOG is a proof assistant developed at the University of Munich by the team of Helmut Schwichtenberg.
MINLOG is based on first order natural deduction calculus. It is intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The primary motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are, in fact, treated as first-class objects, which can be normalized. If a formula is existential, then its proof can be used for reading off an instance of it or changed appropriately for program development by proof transformation. To this end, MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device.
# Kathleen Doyle

Kathleen Mae Doyle (born June 11, 1998) is an American professional basketball player who previously played in the Women's National Basketball Association (WNBA). She played college basketball for the Iowa Hawkeyes. After a successful college career with Iowa, Doyle was drafted by the Indiana Fever with the 14th overall pick in the 2nd round of the 2020 WNBA Draft.
Growing up in the Chicago suburb of La Grange Park, Illinois, she attended Benet Academy in another suburb, Lisle, where she led the Redwings to state championships in her final two seasons in 2015 and 2016. In 2024, Doyle became the first female athlete to have her number retired by the school.
A member of the All-Big Ten freshman team in 2017, and a three-time All-Big Ten selection (second team by coaches in 2018, first team by coaches and second team by media in 2019, and first team by both in 2020), she was named Big Ten Player of the Year in her senior (final) season in 2020. During her time at Iowa, Doyle also represented the US at the 2019 Pan American Games, winning a silver medal with Team USA.
Doyle played one season for the Fever and two more in Poland and Turkey. She retired from professional basketball in 2023.

## Career statistics
### College

Source
Ratios :
| YEAR | Team | GP | FG% | 3P% | FT% | RBG | APG | BPG | SPG | PPG |
| 2016–17 | Iowa | 34 | 39.1% | 23.4% | 70.1% | 2.65 | 4.35 | 0.38 | 2.09 | 9.21 |
| 2017–18 | Iowa | 30 | 37.8% | 34.7% | 68.4% | 3.73 | 6.63 | 0.67 | 1.53 | 11.07 |
| 2018–19 | Iowa | 29 | 39.6% | 30.5% | 74.4% | 3.00 | 5.86 | 0.38 | 2.28 | 12.00 |
| 2019–20 | Iowa | 30 | 44.1% | 32.7% | 79.0% | 4.63 | 6.30 | 0.27 | 1.83 | 18.13 |
| Career | | 123 | 40.5% | 30.5% | 74.2% | 3.48 | 5.74 | 0.42 | 1.93 | 12.50 |
Totals :
| YEAR | Team | GP | FG | FGA | 3P | 3PA | FT | FTA | REB | A | BK | ST | PTS |
| 2016-17 | Iowa | 34 | 115 | 294 | 22 | 94 | 61 | 87 | 90 | 148 | 13 | 71 | 313 |
| 2017-18 | Iowa | 30 | 116 | 307 | 33 | 95 | 67 | 98 | 112 | 199 | 20 | 46 | 332 |
| 2018-19 | Iowa | 29 | 124 | 313 | 36 | 118 | 64 | 86 | 87 | 170 | 11 | 66 | 348 |
| 2019-20 | Iowa | 30 | 180 | 408 | 37 | 113 | 147 | 186 | 139 | 189 | 8 | 55 | 544 |
| Career | | 123 | 535 | 1322 | 128 | 420 | 339 | 457 | 428 | 706 | 52 | 238 | 1537 |

### WNBA

Source
| Year | Team | GP | GS | MPG | FG% | 3P% | FT% | RPG | APG | SPG | BPG | TO | PPG |
| 2020 | Indiana | 18 | 0 | 8.6 | .244 | .238 | .500 | .8 | 1.1 | .4 | .0 | 1.0 | 1.5 |
# Rikke Ibsen

Rikke Mæng Ibsen (born 30 November 1990) is a Danish sport shooter.
She participated at the 2018 ISSF World Shooting Championships, winning a medal.
# 1985–86 FIBA Women's European Champions Cup

The 1985-86 FIBA Women's European Champions Cup was the 28th edition of FIBA Europe's competition for national champions women's basketball clubs, running from 3 October 1985 to 20 March 1986. Defending champion Primigi Vicenza defeated Agon Düsseldorf in a rematch of the 1983 edition's final to win its third title.

## Qualifying round

| Team #1 | Agg. | Team #2 | 1st | 2nd |
| Sporting Athens | 145–141 | Pully Lausanne | 79–63 | 66–78 |
| Tungsram Budapest | 143–126 | Charles Quint | 80–64 | 63–62 |
| Elitzur Holon | 126–174 | Universitatea Cluj | 63–87 | 63–87 |
| Naomh Muire | 98–269 | Doppeldouche Den Helder | 65–134 | 33–135 |
| Besiktas | 77–179 | Partizan | 34–89 | 43–90 |
| Avon Northampton | 103–177 | Sampo Lahti | 47–83 | 56–94 |
| Real Canoe | 112–145 | Stade Français | 64–64 | 48–81 |
| Høybråten | 109–150 | Slavia Prague | 59–75 | 50–75 |
| Black Star Mersch | 109–150 | UBLV Wien | 55–66 | 57–94 |

## First round

| Team #1 | Agg. | Team #2 | 1st | 2nd |
| Sporting Athens | 77–172 | Levski Sofia | 50–73 | 27–99 |
| Tungsram Budapest | 145–152 | Universitatea Cluj | 84–66 | 61–86 |
| Doppeldouche Den Helder | 132–174 | Partizan | 67–81 | 65–93 |
| Sampo Lahti | 141–181 | Agon Düsseldorf | 67–88 | 74–93 |
| Wisla Krakow | 131–181 | Stade Françáis | 67–88 | 64–93 |
| UBLV Wien | 104–180 | Slavia Prague | 58–91 | 46–89 |

## Group stage
### Group A

| Team | Pld | W | L | PF | PA |
| Primigi Vicenza | 6 | 4 | 2 | 477 | 384 |
| Levski Sofia | 6 | 4 | 2 | 486 | 446 |
| Universitatea Cluj | 6 | 4 | 2 | 474 | 491 |
| Partizan | 6 | 0 | 6 | 438 | 554 |

### Group B

| Team | Pld | W | L | PF | PA |
| Agon Düsseldorf | 6 | 6 | 0 | 436 | 382 |
| CSKA Moscow | 6 | 4 | 2 | 463 | 426 |
| Stade Français | 6 | 2 | 4 | 409 | 431 |
| Slavia Prague | 6 | 0 | 6 | 376 | 445 |

## Semifinals

| Team #1 | Agg. | Team #2 | 1st | 2nd |
| CSKA Moscow | 128–151 | Primigi Vicenza | 82–84 | 46–67 |
| Levski Sofia | 152–154 | Agon Düsseldorf | 79–64 | 73–90 |

## Final

| Team #1 | | Team #2 |
| Primigi Vicenza | 71–57 | Agon Düsseldorf |