OpenLLM-France/wikimedia huggingface dataset:
# Chest Township, Clearfield County, Pennsylvania

Chest Township is a township in Clearfield County, Pennsylvania, United States. The population was 510 at the 2020 census.

## Geography

According to the United States Census Bureau, the township has a total area of 35.8 square miles (93 km$^2$), all land.

## Communities

* Five Points
* La Jose
* McPherron
* Thompsontown
* Waukesha

## Demographics

At the 2000 census there were 547 people, 188 households, and 150 families in the township. The population density was 15.3 people per square mile (5.9/km$^2$). There were 252 housing units at an average density of 7.0/sq mi (2.7/km$^2$). The racial makeup of the township was 99.27% White, 0.18% African American, and 0.55% from two or more races. There were 188 households, 34.0% had children under the age of 18 living with them, 66.5% were married couples living together, 9.6% had a female householder with no husband present, and 19.7% were non-families. 16.0% of households were made up of individuals, and 7.4% were one person aged 65 or older. The average household size was 2.88 and the average family size was 3.21.
The age distribution was 25.0% under the age of 18, 10.2% from 18 to 24, 25.4% from 25 to 44, 26.5% from 45 to 64, and 12.8% 65 or older. The median age was 38 years. For every 100 females there were 102.6 males. For every 100 females age 18 and over, there were 97.1 males.
The median household income was $26,442 and the median family income was $27,500. Males had a median income of $24,500 versus $14,464 for females. The per capita income for the township was $10,760. About 18.5% of families and 23.2% of the population were below the poverty line, including 41.6% of those under age 18 and 9.1% of those age 65 or over.

## Education

Students in Chest Township attend schools in the Harmony Area School District.
# Interactive Theorem Proving (conference)

Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, Lean, NuPRL, PVS, and Twelf. Individual workshops or meetings devoted to individual systems are usually held concurrently with the conference.
Together with CADE and TABLEAUX, ITP is usually one of the three main conferences of the International Joint Conference on Automated Reasoning (IJCAR) whenever it convenes,

## History

The inaugural meeting of ITP was held on 11–14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference. It is the extension of the Theorem Proving in Higher Order Logics (TPHOLs) conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009.
The first three were informal users' meetings for the HOL system and were the only ones without published papers. Since 1990 TPHOLs has published formal peer-reviewed proceedings, published by Springer's Lecture Notes in Computer Science series. It has also entertained an increasingly wide field of interest.
# Coddle Creek Township, Iredell County, North Carolina

Coddle Creek Township is a non-functioning civil township in Iredell County, North Carolina, United States. By the requirements of the North Carolina Constitution of 1868, the counties were divided into townships, including sixteen in Iredell County. Part of the town of Mooresville is within Coddle Creek Township.
# Dover Township, Griggs County, North Dakota

Dover Township is a township in Griggs County, North Dakota, United States.

## Demographics

Its population during the 2010 census was 46.

## Location within Griggs County

Dover Township is located in Township 144 Range 61 west of the Fifth principal meridian.
| | Range 61 | Range 60 | Range 59 | Range 58 |
| Township 148 | Rosendal | Willow | Pilot Mound | Lenora |
| Township 147 | Bryan | Addie | Tyrol | Romness |
| Township 146 | Kingsley | Clearfield | Cooperstown | Washburn |
| Township 145 | Mabel | Helena | Ball Hill | Sverdrup |
| Township 144 | Dover | Bartley | Greenfield | Broadview |
# Hambidge Center Historic District

The Hambidge Center Historic District is a 660 acres (2.7 km$^2$) historic district near the community of Dillard in Rabun County, Georgia, United States.
Located west of Dillard on Betty's Creek Rd., Hambidge Center was listed on the National Register of Historic Places in 1982. The district comprises 25 separate contributing properties, including a log cabin dating to the 1830s.
# Elk Township, Tioga County, Pennsylvania

Elk Township is a township in Tioga County, Pennsylvania, United States. The population was 45 at the 2020 census, and 49 at the 2010 census. There were five children under the age of 19 years.

## Geography

According to the United States Census Bureau, the township has a total area of 74.0 square miles (192 km$^2$), of which 73.9 square miles (191 km$^2$) is land and 0.1 square miles (0.26 km$^2$) (0.15%) is water.
Elk Township is bordered by Gaines and Shippen Townships to the north, Delmar and Morris Townships to the east, Lycoming County to the south and Potter County to the west.

## Demographics

As of the census of 2000, there were 51 people, 24 households, and 18 families residing in the township. The population density was 0.7 people per square mile (0.3/km$^2$). There were 185 housing units at an average density of 2.5/sq mi (1.0/km$^2$). The racial makeup of the township was 100.00% White.
There were 24 households, out of which 12.5% had children under the age of 18 living with them, 66.7% were married couples living together, and 25.0% were non-families. 25.0% of all households were made up of individuals, and 4.2% had someone living alone who was 65 years of age or older. The average household size was 2.13 and the average family size was 2.44.
In the township the population was spread out, with 7.8% under the age of 18, 3.9% from 18 to 24, 19.6% from 25 to 44, 41.2% from 45 to 64, and 27.5% who were 65 years of age or older. The median age was 58 years. For every 100 females there were 112.5 males. For every 100 females age 18 and over, there were 104.3 males.
The median income for a household in the township was $29,583, and the median income for a family was $22,188. Males had a median income of $52,500 versus $0 for females. The per capita income for the township was $18,576. There were 17.6% of families and 11.8% of the population living below the poverty line, including no under eighteens and none of those over 64.

## Communities and locations

* Leetonia – A village within the Tioga State Forest in the east-central part of the township.
* Tioga State Forest – The majority of Elk Township is covered by the Tioga State Forest.
# Hamilton Historic District (Carnesville, Georgia)

The Hamilton Historic District, in Franklin County, Georgia near Carnesville, Georgia is located on GA 51, approximately .5 mi. NW of jct. with I-85. It is a 25 acres (10 ha) historic district which was listed on the National Register of Historic Places in 1996. The listing included 13 contributing buildings and three non-contributing ones.
One of the two oldest homes is the Brawner-Kennedy-Hamilton House, built in the 1850s or 1860s. It is a Plantation Plain-style house with a rear kitchen extension. It was home of medical Dr. Asa W. Brawner (b.1830), who served as Franklin County's representative to the state General Assembly during the American Civil War. He was also in the Georgia State Guard "and was assigned to stay in the area and care for residents and the many young soldiers returning from the war."
# Eureka Township, Michigan

Eureka Township is a charter township of Montcalm County in the U.S. state of Michigan. The population was 4,211 at the 2020 census, up from 3,959 in 2010.
The township surrounds the city of Greenville, a separate municipality, and the Greenville post office, with ZIP code 48838, serves all of Eureka Township. Eureka Township was established in 1850.

## Geography

The township is in southern Montcalm County, bordered to the north by Montcalm Township, to the northeast by Sidney Township, to the east by Fairplain Township, to the south by Ionia County, and to the west by Kent County. The city of Greenville occupies what was originally the northern part of Eureka Township.
State highways M-57 and M-91 cross the township, intersecting in Greenville. M-57 leads east 20 miles (32 km) to Carson City and west 16 miles (26 km) to U.S. Route 131 near Edgerton, while M-91 leads south 6 miles (10 km) to its terminus near Belding and north 19 miles (31 km) to Lakeview.
According to the U.S. Census Bureau, Eureka Township has a total area of 29.6 square miles (77 km$^2$), of which 28.7 square miles (74 km$^2$) are land and 0.9 square miles (2.3 km$^2$), or 2.89%, are water. The township is drained by the Flat River, which flows through Greenville and across the southeast part of the township, part of the Grand River watershed. Wabasis Creek, a tributary of the Flat River, drains the southwest part of the township.

## Demographics

As of the census of 2000, there were 3,271 people, 1,179 households, and 929 families residing in the township. The population density was 110.7 inhabitants per square mile (42.7/km$^2$). There were 1,248 housing units at an average density of 42.2 per square mile (16.3/km$^2$). The racial makeup of the township was 96.36% White, 0.15% African American, 0.55% Native American, 0.43% Asian, 1.35% from other races, and 1.16% from two or more races. Hispanic or Latino of any race were 3.15% of the population.
There were 1,179 households, out of which 37.4% had children under the age of 18 living with them, 68.4% were married couples living together, 6.5% had a female householder with no husband present, and 21.2% were non-families. 17.2% of all households were made up of individuals, and 5.5% had someone living alone who was 65 years of age or older. The average household size was 2.77 and the average family size was 3.09.
In the township the population was spread out, with 27.9% under the age of 18, 7.1% from 18 to 24, 29.5% from 25 to 44, 25.1% from 45 to 64, and 10.4% who were 65 years of age or older. The median age was 37 years. For every 100 females, there were 102.9 males. For every 100 females age 18 and over, there were 102.3 males.
The median income for a household in the township was $50,566, and the median income for a family was $53,380. Males had a median income of $39,919 versus $28,173 for females. The per capita income for the township was $20,223. About 3.2% of families and 5.4% of the population were below the poverty line, including 4.1% of those under age 18 and 9.6% of those age 65 or over.
# Ferguson Township, Clearfield County, Pennsylvania

Ferguson Township is a township in Clearfield County, Pennsylvania, United States. The population was 545 at the 2020 census.

## Geography

According to the United States Census Bureau, the township has a total area of 23.8 square miles (62 km$^2$), of which 23.6 square miles (61 km$^2$) is land and 0.2 square miles (0.52 km$^2$) (0.67%) is water.

## Communities

* Gazzam
* Lumber City as of January 6, 2014
* Marron

## Demographics

As of the census of 2000, there were 410 people, 158 households, and 114 families living in the township. The population density was 17.4 people per square mile (6.7/km$^2$). There were 200 housing units at an average density of 8.5/sq mi (3.3/km$^2$). The racial makeup of the township was 99.27% White, 0.24% Asian, 0.24% Pacific Islander, 0.24% from other races.
There were 158 households, out of which 29.7% had children under the age of 18 living with them, 62.0% were married couples living together, 6.3% had a female householder with no husband present, and 27.8% were non-families. 24.7% of all households were made up of individuals, and 11.4% had someone living alone who was 65 years of age or older. The average household size was 2.59 and the average family size was 3.10.
In the township the population was spread out, with 24.9% under the age of 18, 8.0% from 18 to 24, 28.3% from 25 to 44, 22.0% from 45 to 64, and 16.8% who were 65 years of age or older. The median age was 37 years. For every 100 females there were 105.0 males. For every 100 females age 18 and over, there were 106.7 males.
The median income for a household in the township was $30,250, and the median income for a family was $36,625. Males had a median income of $27,841 versus $16,111 for females. The per capita income for the township was $14,337. About 9.9% of families and 11.2% of the population were below the poverty line, including 3.1% of those under age 18 and 19.0% of those age 65 or over.

## Education

Students in Ferguson Township are served by the Curwensville Area School District.
# Happy Hollow Heights Historic District

Happy Hollow Heights Historic District is a national historic district located at West Lafayette, Tippecanoe County, Indiana. The district encompasses 54 contributing buildings in a predominantly planned residential section of Lafayette, platted in 1953 and expanded in 1958. It developed between about 1953 and 1967 and includes representative examples of Ranch, Modern, and Split-level style architecture.
It was listed on the National Register of Historic Places in 2015.
# Hardscrabble Farm

Hardscrabble Farm is a historic farm property in rural Searsmont, Maine, United States. Located south of its village center at 122 Maine State Route 131, the 70-acre (28 ha) property features a typical New England connected farmstead with a c. 1840s Greek Revival farmhouse. The property is notable as the leisure time summer residence of author Ben Ames Williams, who fictionalized Searsmont as the town of "Fraternity" in his works. The property was listed on the National Register of Historic Places in 1994.

## Description and history

Hardscrabble Farm is located south of the village center of Searsmont, on the east side of Maine SR 131 near its junction with Appleton Ridge Road. The main farm complex has as its main house a 1+1⁄2-story wood-frame structure, oriented facing west toward the road, with a side-gable roof and central chimney. The main façade is symmetrical, with a recessed center entrance flanked by sidelight windows and wide pilasters, with an entablature above. A series of ells, telescoping in size, join the house to a 19th-century barn. Although the interior has had some modernization done in the 20th century, it has retained some Greek Revival features, including fireplace mantels, and the staircase to the upper level, which, in an unusual configuration, extends as a single run from the entry vestibule between two fireplace flues.
The farmhouse is estimated to have been either built or extensively modified in the 1840s. A house was standing on the property when it was purchased by David Lincoln in 1841, but it is not known if this house is a restyling of an earlier 19th-century house, or a new construction. In 1852 the property came into the Weed family, whose descendants would own it until the death of Bert McCorisson in 1931. During that period, the farm became known as "Hardscrabble Farm", honoring the same-named property of American Civil War General and United States President Ulysses S. Grant. Bert McCorisson was a close friend of author Ben Ames Williams, and willed the property to his friend upon his death. Williams made the property his summer home until his own death in 1953. Williams was known for his prodigious short story output and a number of novels. Some of his writing was set in the fictional rural Maine community of "Fraternity", based loosely on Searsmont. Bert McCorrison appeared in some of his works as "Bert McAusland".
# Hardwick Street Historic District

The Hardwick Street Historic District encompasses the earliest settlement area of Hardwick, Vermont. Extending along Hardwick Street and Bayley-Hazen Road in a rural area of eastern Hardwick, it includes eight farm properties dating to the early 19th century. It was listed on the National Register of Historic Places in 1979.

## Description and history

The town of Hardwick was first settled in 1793, by Asa Warner. He came along the Bayley-Hazen Military Road, built by Continental Army forces during the American Revolutionary War as a potential route for an attack on the British Province of Quebec. The road was never used militarily, but opened remote northern Vermont for settlement. Warner settled in what is now eastern Hardwick, on a stretch of Hardwick Street that is part of the old military road, and operated an inn and stagecoach tavern. Others followed, and by 1810 the area also had a post office and general store, a building that now survives as a private residence. The area was eclipsed in economic and civic importance after the American Civil War.
The historic district covers a stretch of Hardwick Street, roughly between Country Club Road in the north and the Bayley-Hazen Road to the south, and extends along the latter road to the Hazen Road Cemetery, where many of the region's early settlers are buried. The historic buildings in the district are generally wood-frame structures 1-1/2 or 2-1/2 stories in height, and were built between about 1810 and 1855. Also included in the district is a stone marker placed by a local Grange organization in 1906, marking the history of the military road.
# Wide-column store

A wide-column store (or extensible record store) is a type of NoSQL database. It uses tables, rows, and columns, but unlike a relational database, the names and format of the columns can vary from row to row in the same table. A wide-column store can be interpreted as a two-dimensional key–value store. Google's Bigtable is one of the prototypical examples of a wide-column store.

## Wide-column stores versus columnar databases

Wide-column stores such as Bigtable and Apache Cassandra are not column stores in the original sense of the term, since their two-level structures do not use a columnar data layout. In genuine column stores, a columnar data layout is adopted such that each column is stored separately on disk. Wide-column stores do often support the notion of column families that are stored separately. However, each such column family typically contains multiple columns that are used together, similar to traditional relational database tables. Within a given column family, all data is stored in a row-by-row fashion, such that the columns for a given row are stored together, rather than each column being stored separately.
Wide-column stores that support column families are also known as column family databases.

## Notable examples

Notable wide-column stores include:
* Apache Accumulo
* Apache Cassandra
* Apache HBase
* Bigtable
* DataStax Enterprise (uses Apache Cassandra)
* DataStax Astra DB (uses Apache Cassandra)
* Hypertable
* Azure Tables
* ScyllaDB
# Dubuque Millworking Historic District

The Dubuque Millworking Historic District is a nationally recognized historic district located in Dubuque, Iowa, United States. It was listed on the National Register of Historic Places in 2008. At the time of its nomination it consisted of 24 resources, which included 19 contributing buildings, and five contributing structures. Made up of large industrial buildings, the district represents the period of transition when Dubuque went from lumber production to millwork production. The buildings are associated with two local millworking firms, Carr, Ryder & Adams and Farley Loetscher. All of the buildings are brick construction, and are between two and five stories in height. Decorative features include pavilions, pilasters, large entry arches, decorative pediments and parapets. Two of the buildings fill an entire block, while three cover a half block. The most substantial buildings were built between 1881 and 1924.
# Stephen Bate

Stephen Stanley Bate (born 24 August 1977) is a New Zealand–British Paralympic cyclist who competes in tandem races as an athlete with a visual impairment. Since 2014, Bate has been piloted by Adam Duggleby. At the 2016 Rio Olympics, the pair won gold in the men's individual pursuit B and men's road time trial B, and bronze in the men's road race B.
In 2018 Bate and Duggleby won the UCI World Para-cycling Tandem B Individual Pursuit and the UCI World Para-cycling Tandem B Individual Time Trial to become double World Champions. The pair are current World Tandem B Time Trial champions, after winning the title in 2021 at the UCI Paracycling World Championships in Cascais, Portugal.

## Cycling career

Bate was introduced to the ideas of para-cycling by friend and Great Britain team member Karen Darke; both of whom have conquered El Capitan in Yosemite National Park. Bate has climbed the rock face 3 times including a solo ascent of Zodiac, becoming the first visually impaired person to achieve this. In 2013 he was accepted onto British Cycling’s Paralympic Development Programme and, was teamed up with sight piloted Adam Duggleby. In December 2014, after became the British road and time trial national champion, Bate was advanced from the development programme to the Paralympic Podium Programme, for athletes who British Cycling believe have medal potential at Paralympic level. The next year he made his World Championship debut, competing at the 2015 Championships in Apeldoorn.
In 2015 Bate and Duggleby won their first World Cup medals together. At Maniago in Italy they took silver in the road race and a bronze in the time trial; and followed this with a gold medal in the time trial at the Pietermaritzburg World Cup in South Africa. In July 2016, Bate was named in the Great Britain team to compete at the 2016 Summer Paralympics in Rio.
Bate was appointed Member of the Order of the British Empire (MBE) in the 2017 New Year Honours for services to cycling.
At the 2020 Tokyo Paralympics, Duggleby and Bate won silver in the men's individual pursuit B.
At the 2024 Summer Paralympics in Paris, France, Bate competed with sighted pilot Christopher Latham in the men's pursuit B. The pair set a new world record in qualifying to reach the gold medal final. However, previous world record holders Tristan Bangma and Patrick Bos of the Netherlands retook the world record in their qualifying run and went on to beat Bate and Latham in the final, meaning the British pair won a silver medal.

## Personal history

Bate was born (in 1977) and brought up in New Zealand and attended Mount Albert Grammar School, from 1991-1994, before moving to Moray in Scotland in adulthood. He has Retinitis Pigmentosa which has left him with a 10% field of vision.