OpenLLM-France/wikimedia huggingface dataset:
# List of ship commissionings in 1946

The list of ship commissionings in 1946 includes a chronological list of all ships decommissioned in 1946.
| | Operator | Ship | Class and type | Pennant | Other notes |
| 15 January | United States Navy | USS Palau | Commencement Bay-class escort carrier | CVE-122 | |
| 25 January | Royal Navy | HMS Warrior | Majestic-class aircraft carrier | 31 | |
| 27 February | United States Navy | USS Sicily | Commencement Bay-class escort carrier | CVE-118 | |
| 2 March | United States Navy | USS Kearsarge | Essex-class aircraft carrier | CV-33 | |
| 14 March | Royal Canadian Navy | HMCS Warrior | Majestic-class aircraft carrier | CVL 20 | Former HMS Warrior |
| 23 March | Royal Netherlands Navy | HNLMS Karel Doorman | Majestic-class aircraft carrier | CVL 20 | |
| 11 April | United States Navy | USS Leyte | Essex-class aircraft carrier | CV-32 | |
| 11 April | United States Navy | USS Valley Forge | Essex-class aircraft carrier | CV-45 | |
| 11 May | United States Navy | USS Philippine Sea | Essex-class aircraft carrier | CV-47 | |
| 14 July | United States Navy | USS Saipan | Saipan-class light aircraft carrier | CVL-48 | |
| Date uncertain | French Navy | Arromanches | Colossus-class aircraft carrier | R95 | Loaned from the Royal Navy; former HMS Colossus |
| Date uncertain | Royal Canadian Navy | HMCS Magnificent | Majestic-class aircraft carrier | CVL 21 | Purchased from the Royal Navy |
# Karunapura

Karunapura is a suburb of Mysore city in Karnataka state, India.

## History

Karunapura was established by the Wesleyan Missionaries in 1898 pestilence in Mysuru. The people who lived near Veeranagere when deadly plague took many lives at the end of 19th century. The Maharaja decided to move them from the highly insanitary and infectious area to a better place by offering the poor vacant sites on the outskirts. Rev. Holdsworth, in whose wife's name stands the popular Holdsworth Memorial Hospital, now governed by Church of South India, were granted a piece of land and settlement was named as Karunapura, meaning the City of Mercy.

## Location

Located between Veeranagere, Narasimharaja Mohalla, Gayathripuram is one of the old localities in Mysore.
# Hanamaki Onsenkyō Prefectural Natural Park

Hanamaki Onsenkyō Prefectural Natural Park (花巻温泉郷県立自然公園, Hanamaki Onsenkyō kenritsu shizen kōen) is a Prefectural Natural Park in Iwate Prefecture, Japan. Established in 1961, the park is wholly within the municipality of Hanamaki.
# Hexthorpe & Balby North (ward)

53°30′57″N 1°09′06″W﻿ / ﻿53.5157°N 1.1518°W﻿ / 53.5157; -1.1518
Hexthorpe & Balby North—consisting of Hexthorpe and the northern part of Balby—is one of 21 electoral wards in the Metropolitan Borough of Doncaster, South Yorkshire, England. It forms part of the Doncaster Central parliamentary constituency. It elects 2 councillors.
# List of places in Arizona

Because this list was automatically generated, there will be errors. Please fix these as you find them. Thanks! List of places in the U.S. state of Arizona.
The current cities, towns, unincorporated communities, counties, and other recognized places in the state. It also includes information on the number and names of counties in which a place lies, and its lower and upper ZIP code bounds when applicable.
# Matita

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man–machine collaboration, providing a programming environment where formal specifications, executable algorithms and automatically verifiable correctness certificates naturally coexist.
Matita is based on a dependent type system known as the calculus of (co)inductive constructions (a derivative of the calculus of constructions), and is compatible, to some extent, with Coq.
The word "matita" means "pencil" in Italian (a simple and widespread editing tool). It is a reasonably small and simple application, whose architectural and software complexity is meant to be mastered by students, providing a tool particularly suited for testing innovative ideas and solutions. Matita adopts a tactic-based editing mode; (XML-encoded) proof objects are produced for storage and exchange.

## Main features

Existential variables are native in Matita, allowing a simpler management of dependent goals.
Matita implements a bidirectional type inference algorithm exploiting both inferred and expected types.
The power of the type inference system (refiner) is further augmented by a mechanism of hints that helps in synthesizing unifiers in particular situations specified by the user.
Matita supports a sophisticated disambiguation strategy based on a dialog between the parser and the typechecker.
At the interactive level, the system implements a small step execution of structured tactics allowing a much better management of the proof development, and naturally leading to more structured and readable scripts.

## Applications

Matita has been employed in CerCo (Certified Complexity): a FP7 European Project focused on the development of a formally verified, complexity preserving compiler from a large subset of C to the assembly language of a MCS-51 microprocessor.

## Documentation

The Matita tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of non-trivial examples in the field of software specification and verification.
# Getúlio Côrtes

Getúlio Francisco Côrtes (born 22 March 1938) is a singer, songwriter, and music player from Brazil.
Born in Rio de Janeiro, he began his career as a music artist by interpreting the music of American musicians such as Frank Sinatra and Louis Armstrong.
Côrtes gained notability as a songwriter thanks to fellow Brazilian musician Roberto Carlos, who received wide appraise for his interpretations of songs written by Côrtes. These songs include: Negro Gato (1966), Atitudes (1973), O Sósia (1967), O Gênio (1966), Noite de Terror (1965), Por Motivo de Força Maior (1976).
# List of speakers of the Løgting of the Faroe Islands

List of speakers of the Løgting of the Faroe Islands. Speaker is the presiding office in Løgting.
Below is a list of office-holders:
| Name | Entered office | Left office | Party |
| Amtmaður of the Faroes (The Governor) | 1852 | 1923 |
| Oliver Effersøe | 1924 | 1928 | Sambandsflokkurin |
| Edward Mitens [da] | 1928 | 1930 | Sjálvstýrisflokkin |
| Oliver Effersøe | 1930 | 1932 | Sambandsflokkurin |
| Johan Poulsen | 1932 | 1936 | Sambandsflokkurin |
| Edward Mitens [da] | 1936 | 1940 | Sjálvstýrisflokkin |
| Johan H. Danbjørg | 1940 | 1943 | Javnaðarflokkurin |
| Thorstein Petersen [de] | 1943 | 1945 | Fólkaflokkurin |
| Kristian Djurhuus | 1945 | 1945 | Sambandsflokkurin |
| Thorstein Petersen [de] | 1945 | 1946 | Fólkaflokkurin |
| Jákup Frederik Øregaard [da] | 1946 | 1950 | Javnaðarflokkurin |
| Thorstein Petersen [de] | 1950 | 1950 | Fólkaflokkurin |
| Hákun Djurhuus | 1950 | 1951 | Fólkaflokkurin |
| Johan Poulsen | 1951 | 1958 | Sambandsflokkurin |
| Jákup Frederik Øregaard [da] | 1958 | 1963 | Javnaðarflokkurin |
| Sámal Petersen [no] | 1963 | 1966 | Sjálvstýrisflokkin |
| Jákup Frederik Øregaard [da] | 1966 | 1978 | Javnaðarflokkin |
| Agnar Nielsen [fo] | 1978 | 1979 | Sambandsflokkurin |
| Hilmar Bech [da] | 1979 | 1980 | Javnaðarflokkurin |
| Jógvan Sundstein | 1980 | 1984 | Fólkaflokkurin |
| Jacob Lindenskov [no] | 1984 | 1987 | Javnaðarflokkurin |
| Hergeir Nielsen [no] | 1987 | 1988 | Tjóðveldisflokkurin |
| Jógvan Sundstein | 1988 | 1989 | Fólkaflokkurin |
| Hergeir Nielsen [no] | 1989 | 1990 | Tjóðveldisflokkurin |
| Jørgin Thomsen | 1990 | 1991 | Javnaðarflokkurin |
| Anfinn Kallsberg | 1991 | 1993 | Fólkaflokkurin |
| Lasse Klein [da] | 1993 | 1994 | Javnaðarflokkurin |
| Jógvan Ingvard Olsen [fo] | 1994 | 1994 | Sambandsflokkurin |
| Marita Petersen | 1994 | 1995 | Javnaðarflokkurin |
| Jógvan Ingvard Olsen [fo] | 1995 | 1998 | Sambandsflokkurin |
| Finnbogi Ísakson | 1998 | 2002 | Tjóðveldisflokkurin |
| Edmund Joensen | 2002 | 2008 | Sambandsflokkurin |
| Hergeir Nielsen [no] | 2008 | 2011 | Tjóðveldisflokkurin |
| Jógvan á Lakjuni | 2011 | 2015 | Fólkaflokkurin |
| Páll á Reynatúgvu | 2015 | 2019 | Tjóðveldisflokkurin |
| Jógvan á Lakjuni | 2019 | 2022 | Fólkaflokkurin |
| Bjørt Samuelsen | 2022 | now | Tjóðveldisflokkurin |
# Karolinów, Świętokrzyskie Voivodeship

Karolinów is a village in the administrative district of Gmina Krasocin, within Włoszczowa County, Świętokrzyskie Voivodeship, in south-central Poland. It lies approximately 5 kilometres (3 mi) north-east of Krasocin, 16 km (10 mi) north-east of Włoszczowa, and 32 km (20 mi) west of the regional capital Kielce.
# List of Cal State Hayward Pioneers head football coaches

The Cal State Hayward Pioneers football program represented California State University, Hayward—now known as California State University, East Bay. The Pioneers began play in the Far Western Conference (FWC) in their inaugural 1965 season. They remained a member of the conference until the school gave up football after the 1993 season. The conference was renamed to the Northern California Athletic Conference (NCAC) in 1983. The school was known as California State College at Hayward through 1971, changing to California State University, Hayward in 1972. The school was not known as Cal State East Bay until 2005.
The program had four head coaches in its 29 seasons of existence and had an all time record of 125 wins, 159 losses, and 7 ties.

## Key

Key to symbols in coaches list :
| General | General | Overall | Overall | Conference | Conference | Postseason | Postseason |
| No. | Order of coaches | GC | Games coached | CW | Conference wins | PW | Postseason wins |
| DC | Division championships | OW | Overall wins | CL | Conference losses | PL | Postseason losses |
| CC | Conference championships | OL | Overall losses | CT | Conference ties | PT | Postseason ties |
| NC | National championships | OT | Overall ties | C% | Conference winning percentage | | |
| † | Elected to the College Football Hall of Fame | O% | Overall winning percentage | | | | |

## Coaches

List of head football coaches showing season(s) coached, overall records, conference records, postseason records, and championships. :
| No. | Name | Season(s) | GC | OW | OL | OT | O% | CW | CL | CT | C% | PW | PL | PT | CCs | NCs |
| 1 | Darryl Rogers | 1965 | 10 | 3 | 7 | 0 | 0.300 | 0 | 0 | 0 | – | — | — | — | 0 | 0 |
| 2 | Les Davis | 1966–1970 | 51 | 30 | 20 | 1 | 0.598 | 13 | 13 | 1 | 0.500 | — | — | — | 2 | 0 |
| 3 | Bob Rodrigo | 1971–1974 | 39 | 15 | 23 | 1 | 0.397 | 10 | 10 | 1 | 0.500 | — | — | — | 0 | 0 |
| 4 | Tim Tierney | 1975–1993 | 191 | 77 | 109 | 5 | 0.416 | 40 | 54 | 2 | 0.427 | — | — | — | 1 | 0 |
# Hexthorpe rail accident

53°30′43″N 1°09′13″W﻿ / ﻿53.5119°N 1.1537°W﻿ / 53.5119; -1.1537
The Hexthorpe rail accident occurred on 16 September 1887 at Hexthorpe railway platform some 1.5 miles (2.4 km) west of Doncaster on the South Yorkshire Railway line to Sheffield and Barnsley. The platform was situated within a block section between Hexthorpe Junction and Cherry Tree Lane and so had no signals of its own. The railway platform was a simple wooden structure on the Doncaster - bound line usually used for the collection of tickets from the many trains arriving in the town for the St. Leger race meeting.
The usual method of working the 1.5-mile (2.4 km) section of line was to pass trains from Hexthorpe Junction under a 'permissive' block ruling, not usually used on passenger lines, with additional control by two flagmen spaced between the junction box and the ticket platform. On this day two trains were in the section, the first, a Midland Railway train, stood at the platform, the second, another Midland train waiting just to its rear. As the first train moved off the second moved onto the platform so that tickets could be checked.
The third train was a Liverpool to Hull express worked by a MS&LR crew and probably the crew who should have understood the working of the line better than any other. This train came over Hexthorpe Junction with, first the 'distant' signal and then the 'home' signal at danger. With speed down to a crawl the 'home' signal was lowered, the driver assumed, wrongly, that with no other fixed signals to Cherry Tree Lane his route was clear and speed gradually rose. In the official report it was said that the first of the flagmen gave no indication and the second gave an ambiguous signal which was seen by the fireman but not properly understood. The express was reported travelling between 35 and 40 m.p.h. when they rounded the curve and saw the Midland train still in the platform. The driver applied the 'simple' vacuum brake and threw the locomotive into reverse but could not stop within the short distance of less than 250 yards.
The trial of the driver and fireman at York, before the Lord Chief Justice was the first big legal case in which the newly formed trade union A.S.L.E.F. were part and for which they engaged eminent counsel to defend their members. The jury returned a verdict of 'not guilty' and the Lord Chief Justice said in his summing up that ".....he could not but think that the railway company was seriously to blame for having had in use a brake which not only was not the best in existence, but which was known to be insufficient and liable to break down". The management were "thick skinned" over all safety matters and in this case Sir Edward Watkin, the company chairman, said "....it was a misfortune that the Lord Chief Justice should have exonerated the driver and fireman". Regardless of Sir Edward's thinking the Hexthorpe accident, closely followed by the Armagh rail disaster in Northern Ireland sounded the death knell of the 'simple' vacuum brake.
# 1893–94 Northern Football League

The 1893–94 Northern Football League season was the fifth in the history of the Northern Football League, a football competition in Northern England.

## Clubs

The league featured 3 clubs which competed in the last season, along with five new clubs:
* South Bank
* Bishop Auckland
* Whitby
* North Skelton Rovers
* Darlington St. Augustine's

### League table

| Pos | Team | Pld | W | D | L | GF | GA | GR | Pts |
| 1 | Middlesbrough | 14 | 11 | 1 | 2 | 51 | 16 | 3.188 | 23 |
| 2 | Stockton | 14 | 10 | 1 | 3 | 41 | 23 | 1.783 | 21 |
| 3 | South Bank | 14 | 8 | 0 | 6 | 36 | 34 | 1.059 | 16 |
| 4 | Darlington | 14 | 7 | 1 | 6 | 25 | 20 | 1.250 | 15 |
| 5 | Bishop Auckland | 14 | 6 | 0 | 8 | 41 | 39 | 1.051 | 12 |
| 6 | Whitby | 14 | 5 | 2 | 7 | 45 | 43 | 1.047 | 12 |
| 7 | North Skelton Rovers | 14 | 3 | 1 | 10 | 25 | 52 | 0.481 | 7 |
| 8 | Darlington St Augustine's | 14 | 3 | 0 | 11 | 25 | 62 | 0.403 | 6 |
# Leptoceryx

Leptoceryx is a genus of moths in the subfamily Arctiinae.

## Species

* Leptoceryx caudatula Kiriakoff, 1953
* Leptoceryx pusilla Kiriakoff, 1953
# Karolis Babkauskas

Karolis Babkauskas (born 18 March 1991) is a Lithuanian professional basketball player. He participated in the 2012 LKL Three–point Shootout, finishing in fourth place.

## Early life

When he was 17, Babkauskas played for Zalgiris Kaunas' junior team. In the group stage of the Nike International Junior Tournament qualifiers, he scored 16 points in a win over the Stella Azzura. They finished fourth in that tournament, losing to Virtus Bologna in the battle for third place. He also played for them in the 2008–09 season of the National Basketball League (NKL). They were one of the teams at the bottom of the standings that season. The following season, they just missed out on the top 12.
# List of Japanese writers: G

The following is a list of Japanese writers whose family name begins with the letter G
* Gato Shoji
* Gomi Kosuke (1921–1980)
* Gomikawa Junpei (1916 – c. 1990)
* Emperor Go-Toba, emperor of Japan (August 6, 1180 – March 28, 1239)
* Goto Ben (born 1929)
* Goto Chugai (December 23, 1866 – June 12, 1938)
* Goto Meisei (April 4, 1932 – August 2, 1999)
# List of rivers and nullahs in Hong Kong

The location of Hong Kong, adjacent to the coast, is not close to the system of major rivers in southern China, though the water to the west of Hong Kong is influenced by Pearl River. In 1,103 km$^2$ of land, the territory is largely hilly with over 200 islands. Because of this, the terrain can nurture relatively shorter and smaller rivers in Hong Kong than in southern China.
Historically, these rivers once sustained intensive farming for the need of population before the age of developing new towns. Many rivers can be found in the New Territories, especially in the areas north of Tai Mo Shan, where rice growing and fish farming were once everywhere amidst several river systems.

## Kowloon and New Kowloon

* Name
* Fung Wong Kai Stream (鳳凰溪)
* Jordan Valley Nullah (佐敦谷渠)
* Kai Tak Nullah (啟德渠)
* Kwun Tong Nullah (觀塘渠)
* Tonkin Street Nullah (東京街渠)
* Tso Kung Tam [zh] (曹公潭)

## Hong Kong Island

| Name | Image |
| Staunton Creek Nullah (黃竹坑渠) | |

## New Territories
### Mainland

* Name
* Fairview Park Nullah (錦繡花園明渠)
* Fo Tan Nullah (火炭渠)
* Ha Tsuen Nullah (廈村明渠)
* Ho Chung River (蠔涌河)
* Kam Tin River (錦田河)
* Kap Man Hang (夾萬坑)
* Kau To Hang (九肚坑)
* Kwan Tei River (軍地河)
* Lam Tsuen River (林村河)
* Lung Hang (龍坑)
* Ma Liu River (馬尿河)
* Ma Wat River (麻笏河)
* Nam Chung River (南涌河)
* Ng Tung River (梧桐河)
* Pak Sha O River (白沙澳河)
* Ping Yuen River (平原河)
* Sha Tau Kok River (沙頭角河)
* Sham Chun River (深圳河)
* Shan Pui River (山貝河)
* She Shan River (社山河)
* Shek Sheung River (石上河)
* Sheung Yue River (雙魚河)
* Shing Mun River (城門河)
* Siu Lek Yuen Nullah (小瀝源渠)
* Tai Lam Chung (大欖涌)
* Tai Po Kau Stream (大埔滘溪)
* Tai Po River (大埔河)
* Tai Shing Stream (大城石澗)
* Tai Shui Hang (大水坑)
* Tan Shan River (丹山河)
* Tin Shui Wai Nullah (天水圍渠)
* Tuen Mun River (屯門河)
* Tung Wan Hang (東灣坑)
* Wong Chuk Chung (黃竹涌)
* Yuen Long Nullah (元朗渠)

### Lantau Island

* Name
* Silver River (銀河)
* Tai O Chung (大澳涌)
* Tai O Chung (大澳涌)
* Tung Chung River (東涌河)
* Wong Lung Hang (黃龍坑)
# Lucky Man (Montgomery Gentry song)

"Lucky Man" is a song written by David Cory Lee and Dave Turnbull and recorded by American country music duo Montgomery Gentry. It was released in January 2007 as the second single from the duo's 2006 album Some People Change. The song became their third number one single on the US Billboard Hot Country Songs chart and stayed there for two weeks.
The song received a 2008 nomination for Grammy Award for Best Country Performance by a Duo or Group with Vocal, the duo's first nomination.

## Content

The song opens with the narrator listing various small things that annoy him, such as his job and the weather; however, he then reminds himself, "I know I'm a lucky man / God's given me a pretty fair hand", and turns to recounting all of the luxuries in his life, from his family to his health to his truck to his new fishing rod.
The second line of the song's first verse, "And last Sunday, when my Bengals lost / Lord, it put me in a bad mood" was edited for different markets; 81 additional team names from the MLB, NHL, NBA, NFL, and NCAA (in place of the Cincinnati Bengals) in these different edits, depending on the market.

## 20 Years of Hits Version

In November 2018, Montgomery Gentry released a new rendition of the song, featuring fellow American country artist Darius Rucker. The new rendition is part of a 20th anniversary album, Montgomery Gentry: 20 Years of Hits.

## Chart positions

| Chart (2007) | Peak position |
| US Hot Country Songs (Billboard) | 1 |
| US Billboard Hot 100 | 65 |
| Canada Country (Billboard) | 10 |
| Canada (Canadian Hot 100) | 88 |

### Year-end charts

| Chart (2007) | Position |
| US Country Songs (Billboard) | 15 |
# Systoloneura randiae

Systoloneura randiae is a moth of the family Gracillariidae. It is known from South Africa.
The larvae feed on Coddia rudis. They probably mine the leaves of their host plant.
# Lert

Lert may refer to:
* Lert (surname)
* Lerd, Ardabil
# Katherine Kealoha

Katherine Puana Kealoha is a former Deputy Prosecutor with the City and County of Honolulu and a convicted felon. She resigned from the position of deputy prosecutor in September 2017 after she and her husband Louis Kealoha were indicted on eight counts of bank fraud. Her husband is a former Chief of Police.

## Education

Kealoha grew up in Kahalu‘u, on the windward side of Oahu. She attended high school at the Mid-Pacific Institute. She obtained a bachelor's degree in political science and a master's degree in Criminal Justice Administration at Chaminade University. Kealoha attended the William S. Richardson School of Law at the University of Hawaii at Manoa and received a Juris Doctor.

## Career

Kealoha worked at the Law Offices of Katherine Kealoha and Associates between 2000 and 2006. Kealoha was appointed as the director of the state Office of Environmental Quality Control in 2009 by then-governor of Hawaii, Linda Lingle.

## Legal issues
### Civil case

In 2011, Kealoha was accused of stealing hundreds of thousands of dollars from her grandmother, Florence Puana. Kealoha's grandmother and uncle, Gerard Puana filed a civil suit against Kealoha based on the accusations. Kealoha won the civil suit against her grandmother and uncle.

### Mailbox theft incident

On June 22, 2013, Kealoha reported to the Honolulu Police that her mailbox was stolen from her home in Kahala. Kealoha alleged that her uncle Gerard could be seen stealing the mailbox on video taken via her home surveillance system. After having the case transferred from Honolulu Police, the U.S. Postal Inspection Service determined that the man in the video was not Gerard Puana. On July 1, 2013, Gerard Puana was charged by federal prosecutors with destroying a mailbox. Puana's trial began on December 4, 2014. While testifying against Puana, Kealoha's husband, Louis Kealoha perpetuated a mistrial by informing the jury about Puana's former criminal conviction. In December 2013, Niall Silva, a retired policeman from the Honolulu Police Department, pleaded guilty to conspiring with Katherine Kealoha to frame Gerard Puana.
On June 27, 2019, Kealoha was convicted of federal conspiracy and obstruction of justice charges.
In January 2020, Kealoha was scheduled for trial on allegations of bank fraud and identity theft. In October 2019, Kealoha pled guilty to bank fraud, aggravated identity theft and drug charges as part of a plea arrangement.
On November 30, 2020, she was sentenced to 13 years in Federal prison.