OpenLLM-France/wikimedia huggingface dataset:
# Ohio State Route 771

State Route 771 (SR 771) is a 7.11-mile-long (11.44 km) state highway located entirely in Highland County, Ohio. The north–south route connects SR 138 in Paint Township and SR 28 in Leesburg.

## Route description

The route begins at an unsignalized T-intersection with SR 138 in northern Paint Township. SR 771 heads north-northwest through first lightly wooded areas transitioning to farmland as it enters Fairfield Township. The elevation of the route remains relatively flat except when it dips slightly to cross the Hardin Creek in Fairfield Township. North of the creek, SR 771 enters the village limits of Leesburg and passes the Fairfield High School. While in Leesburg, the road name is South Fairfield Street. As the route enters downtown Leesburg, it passes through residential neighborhoods and light industrial facilities. After crossing the Indiana and Ohio railroad at-grade, SR 771 enters the central business district of the town and ends at a signalized intersection with SR 28.

## History

SR 771 was designated on a SR 138–Leesburg route around 1937 on a gravel road. However, it did not end in downtown Leesburg as it does today; US 62 was routed through the town therefore SR 771 ended at US 62 where County Route 60 intersects the route today. By 1941, the entire route was paved. Between 1969 and 1971, US 62 was rerouted on a bypass around the village which lead to the extension of SR 771 into downtown Leesburg. Since then, no major changes have affected the highway.

## Major intersections

The entire route is in Highland County.
| Location | mi | km | Destinations |
| Paint Township | 0.00 | 0.00 | SR 138 |
| Leesburg | 7.11 | 11.44 | SR 28 (Main Street) / North Fairfield Street |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi |||||
# Wysoka Góra, Podlaskie Voivodeship

Wysoka Góra, was a village in the administrative district of Gmina Krasnopol, within Sejny County, Podlaskie Voivodeship, in north-eastern Poland. The location lies approximately 7 kilometres (4 mi) west of Krasnopol, 17 km (11 mi) west of Sejny, and 113 km (70 mi) north of the regional capital Białystok.
From 1975-1998 the village was administratively governed by the Suwałki Voivodeship.
# Ohio State Route 822

State Route 822 (SR 822) is an unsigned east–west state highway in the eastern portion of the U.S. state of Ohio. The short route was designated in 1990. Its western terminus is at the intersection of 7th Street and the on-/off-ramps for U.S. Route 22 (US 22), where it serves as a connection between the U.S. Route and SR 7, the route's eastern terminus. The whole route is in Steubenville, after multiple truncations due to the demolition of Fort Steuben Bridge.

## Route description

SR 822 starts at 7th Street on University Boulevard, where it immediately meets US 22 east at an interchange with on-/off-ramps. SR 822 then passes through 6th Street, before ending at SR 7 at a T-intersection, which later becomes concurrent with US 22. SR 822 has open fields and ramps north of it, and businesses south of it.
Around 11,580 vehicles use the route on average each day.

## History

SR 822 was designated in 1990 as US 22's alignment was moved to the Veterans Memorial Bridge from Fort Steuben Bridge. Traffic began to drop as the structure of the bridge deteriorated, and the weight limit was lowered in 2004. The Fort Steuben Bridge was closed in 2009, a few years after plans of closure and demolition were announced. It was closed due to deteriorating conditions and limited use. The Ohio Department of Transportation (ODOT) created a temporary eastern terminus for the route at the north end of the SR 7/822 concurrency, where the bridge approach ramps began. The eastern terminus was changed to the south end of the SR 7/822 concurrency in 2013.

## Major intersections

| County | Location | mi | km | Destinations | Notes |
| Jefferson | Steubenville | 0.00 | 0.00 | 7th Street / University Boulevard | |
| Jefferson | Steubenville | 0.01– 0.06 | 0.016– 0.097 | US 22 east – Pittsburgh, PA | Access to only US 22 eastbound, with on-/off-ramps; access westbound via SR 7 |
| Jefferson | Steubenville | 0.13 | 0.21 | SR 7 to US 22 west – Mingo Junction, Toronto | Current eastern terminus |
| Jefferson | Steubenville | 0.27 | 0.43 | SR 7 | Eastern terminus from 2010–2013 |
| Ohio River | Ohio River | 0.39– 0.70 | 0.63– 1.13 | Fort Steuben Bridge | Fort Steuben Bridge |
| Brooke | Weirton | 0.70 | 1.13 | CR 507 (Freedom Way) | Eastern terminus before bridge closure, western terminus of WVCR 507 |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi Closed/former Incomplete access ||||||
# Chris Harris (musician)

Chris Harris is a Canadian musician from Vancouver, British Columbia. He is most noted for the 2020 album Philadelphia, a collaboration with Joseph Shabason and Nicholas Krgovich which was a longlisted nominee for the 2021 Polaris Music Prize.
He was active in Vancouver's music scene in the 2000s and 2010s as a keyboardist in the post-rock combo The Secret Three, as a solo artist who released an EP in 2004 under the moniker Parks and Rec, as a multi-instrumentalist with Krgovich's P:ano, as a bass player in Destroyer, and as a singer and guitarist in the short-lived post-hardcore band Womankind.
In 2021, Shabason, Krgovich and Harris again collaborated on the instrumental followup release Florence. Harris contributed to the track "I'm Dancing" on Shabason and Krgovich's 2022 album At Scaramouche, but was not credited as a principal performer.
# Ohio State Route 844

State Route 844 (SR 844) is a 2.395-mile (3.854 km) state route that runs between Beavercreek and Wright-Patterson Air Force Base in the US state of Ohio. The north–south signed route is a spur freeway which mainly passes through government-owned properties. For some of its path, SR 844 passes through Wright State University. The highway was first signed in 1995 on the same alignment as today. SR 844 replaced the SR 444A designation of the highway, which dated back to 1989.

## Route description

Traffic volume on State Route 844 :
| County Log Point | Volume |
| 0.746 | 16,660 |
| 1.2 | 20,520 |
| 1.85 | 15,530 |
| 2.2 | 8,590 |
| Volume: AADT Source: ||
The highway is maintained by the Ohio Department of Transportation (ODOT). SR 844 begins at a partial interchange with Interstate 675 (I-675). The route heads northeast as a four-lane controlled-access highway, passing under North Fairfield Road. The road has a partial interchange with Colonel Glenn Highway, before passing on the southeast and east sides of Wright State University. The highway curves due north, having an interchange with University Boulevard. After the interchange with University Boulevard, the road curves northwest, passing over SR 444. Followed by an interchange with SR 444, SR 844 ends at Gate 15A of Wright-Patterson Air Force Base.
SR 844 is signed as "McClernon Memorial Skyway", after the late Brigadier General Glen J. McClernon. McClernon had been base commander during the time the university was being established—partially on land deeded to it by the Air Force base—and also had been a two-term mayor of Fairborn.

## History

SR 844 was originally SR 444A, which opened by 1989. After a public comment period in 1994, ODOT changed the number to "844" by 1995. Although legally designated as "McClernon-Skyway Memorial Drive" on September 22, 1989, SR 844 is both signed and recognized by the state as "McClernon Memorial Skyway".

## Future

There are plans to add a ramp from northbound SR 844 to northbound SR 444, and to add a ramp from northbound SR 444 to southbound SR 844. As of October 2013, the status and funding for this project are unknown.

## Major junctions

The entire route is in Greene County.
| Location | mi | km | Exit | Destinations | Notes |
| Beavercreek | 0.00 | 0.00 | | I-675 | Southbound exit and northbound entrance; exit 17 on I-675 |
| Fairborn | 1.013 | 1.630 | 1 | Colonel Glenn Highway | Southbound exit and northbound entrance |
| Fairborn | 1.448– 2.043 | 2.330– 3.288 | 2 | University Boulevard | Access to Wright State University |
| Fairborn | 2.100 | 3.380 | 3 | SR 444 (Broad Street) | Partial cloverleaf interchange; no access from SR 444 to SR 844 northbound |
| Wright-Patterson Air Force Base | 2.395 | 3.854 | | Wright-Patterson Air Force Base Gate 15A | At-grade intersection; access pass required |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi Incomplete access ||||||
# 1st Step to Heaven

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
1st Step to Heaven is a 1986 album by Deutsch Amerikanische Freundschaft, released on Dean Records via Ariola in Europe.
It is their only album in English rather than German. Singer Gabi Delgado-López later noted: "So we wanted to break our own rules and said: OK, so now we sing in English, now we don’t wear black. (laughing) With purpose. Because we wanted to break our own rules."
The album charted for one week on the Swedish album charts at No. 46. The first single from the album, "Voulez-vous coucher avec moi ce soir" (an original, though the title is a quote from the lyrics of "Lady Marmalade"), reached No. 47 on the German singles chart (charting for 7 weeks) and No. 17 on the Belgian singles chart (charting for 5 weeks). Another single, "Brothers", reached No. 23 on the Belgian singles chart (charting for 4 weeks).
The band reunited to make the album but split again soon after its release.
A variant track listing was released in the US as Hitz Blitz in 1989.

## Track listing

* All songs written and arranged by DAF, except where noted.
* LP (Dean 207 435)
    Side A:
   * "Voulez-vous coucher avec moi" 5:04
   * "Opium" 1:58
   * "Brothers" 3:55
   * "Voulez-vous coucher avec moi Part II" 5:13 (Bob Crewe, Kenny Nolan, Gorl)
    Side B:
   * "Sex Up" 3:26
   * "Pure Joy" 3:30
   * "Party" 3:23
   * "1st Step to Heaven" 5:53
* CD (Dean 257 435)
* "Voulez-vous coucher avec moi - Part I" (2:25)
* "Pure Joy" (4:47)
* "Blond Hair Dark Brown Hair" (3:10)
* "Sex Up" (3:15)
* "Absolute Bodycontrol" (5:18)
* "Voulez-vous coucher avec moi - Part II" (5:28)
* "Crazy Crazy" (3:08)
* "Opium" - Mix (2:10)
* "Brother/Brother" (3:37)
* "1st Step to Heaven" - Mix (5:46)
* Hitz Blitz CD (JCI JCD-9027)
* "The Gun" ("Powder Keg Mix") 8:22
* "Voulez-vous coucher avec moi Part 2" 5:28
* "Pure Joy" 4:47
* "Brothers" 3:37
* "Absolute Bodycontrol" 5:18
* "Sex Up" 3:15
* "Voulez-vous coucher avec moi Part 1" 2:25
* "1st Step to Heaven Medley" 8:07
* "Opium Mix" 2:10
* "Crazy Crazy" 3:08
* "Blond Hair Dark Brown Hair" 3:10
* "1st Step to Heaven Mix" 5:46
* "The Gun" ("Bang Bang Mix") 6:23
# Temple Baptist Academy (Powell)

Temple Baptist Academy is a private Christian school located in Powell, Tennessee. It was established in 1971.
In 2022 enrollment was 226 students, from pre-Kindergarten to 12th grade.
# Utah State Route 111

State Route 111 (SR-111) is a state highway in the U.S state of Utah that runs north–south across the west side of the Salt Lake Valley in Salt Lake County. It connects SR-201 in Magna to SR-209 in West Jordan in a span of 10.6 miles (17.06 km). It is known as 8400 West and Bacchus Highway throughout the route's course, in respect of north to south.
Prior to 1969, SR-111 extended past SR-209 (then SR-48) and passed through Herriman before terminating at SR-71.

## Route description

The route begins at a junction with SR-209 on the rural western end of West Jordan, near Copperton. It continues north as a two-lane road and curves northwest past its junction with 7800 South. The highway widens to four lanes by the time 5400 West terminates on the road. Past 5400 West, SR-111 turns north and passes the ghost town of Bacchus, where there is currently an industrial presence. SR-111 continues into Magna and cuts a path through the center of the town before terminating at SR-201, an expressway/freeway that connects the west-central fringes of the county to Salt Lake City.
Between the intersection of 5400 South and 4100 South, a brake check area is provided to northbound traffic.
The entire route is included as part of the National Highway System.

## History

The state legislature created State Route 111 in 1931, running west from SR-71 in Draper to SR-68 in Riverton. State Route 159, added in 1933, continued west from Riverton through Herriman to Lark and then turned north along the Oquirrh foothills to U.S. Route 50 (US-50), present-day SR-171 (3500 South), near Magna. The two routes were combined as SR-111 in 1945, and in 1957 the east end was extended north along 700 East, which had been SR-71, to 7700 South north of Sandy, only to be truncated back to Draper in 1959 when SR-71 was again restored there. In 1962, the northern terminus of SR-111 was extended north slightly from 3500 South (by then SR-171) to US-50 Alternate (now SR-201). The final change was a major truncation in 1969, moving the south end of SR-111 to its present location near Copperton, at the New Bingham Highway (SR-48 until 2015, SR-209 since). The portion of old SR-111 from SR-68 in Riverton to SR-71 in Draper became an extension of SR-71, but the remainder was removed from the state highway system.

## Major intersections

The entire route is in Salt Lake County.
| Location | mi | km | Destinations | Notes |
| West Jordan | 0.000 | 0.000 | SR-209 (New Bingham Highway) | Southern terminus |
| West Valley City | 5.733 | 9.226 | SR-173 (5400 West) | |
| Magna | 9.104 | 14.651 | SR-171 (3500 West) | |
| Magna | 10.534 | 16.953 | SR-201 east | Seagull intersection |
| Magna | 10.596 | 17.053 | SR-201 west to I-80 | Northern terminus |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi |||||
# Charlie Cox (disambiguation)

Charlie Cox (born 1982) is an English actor.
Charlie Cox may also refer to:
* Charlie Cox (footballer, born 1905) (1905–1978), English footballer
* Charlie Cox (footballer, born 1926) (1926–2008), Scottish footballer
* Charlie Cox (Australian footballer) (1873–1947), Australian rules footballer
* Charlie Cox (racing driver) (born 1960), Australia motor racing commentator
# Total functional programming

Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating.

## Restrictions

Termination is guaranteed by the following restrictions:
* A restricted form of recursion, which operates only upon 'reduced' forms of its arguments, such as Walther recursion, substructural recursion, or "strongly normalizing" as proven by abstract interpretation of code.
* Every function must be a total (as opposed to partial) function. That is, it must have a definition for everything inside its domain.
** There are several possible ways to extend commonly used partial functions such as division to be total: choosing an arbitrary result for inputs on which the function is normally undefined (such as $\forall x\in \mathbb {N} .x\div 0=0$ for division); adding another argument to specify the result for those inputs; or excluding them by use of type system features such as refinement types.
These restrictions mean that total functional programming is not Turing-complete. However, the set of algorithms that can be used is still huge. For example, any algorithm for which an asymptotic upper bound can be calculated (by a program that itself only uses Walther recursion) can be trivially transformed into a provably-terminating function by using the upper bound as an extra argument decremented on each iteration or recursion.
For example, quicksort is not trivially shown to be substructural recursive, but it only recurs to a maximum depth of the length of the vector (worst-case time complexity O(n$^2$)). A quicksort implementation on lists (which would be rejected by a substructural recursive checker) is, using Haskell:
To make it substructural recursive using the length of the vector as a limit, we could do:
Some classes of algorithms have no theoretical upper bound but do have a practical upper bound (for example, some heuristic-based algorithms can be programmed to "give up" after so many recursions, also ensuring termination).
Another outcome of total functional programming is that both strict evaluation and lazy evaluation result in the same behaviour, in principle; however, one or the other may still be preferable (or even required) for performance reasons.
In total functional programming, a distinction is made between data and codata—the former is finitary, while the latter is potentially infinite. Such potentially infinite data structures are used for applications such as I/O. Using codata entails the usage of such operations as corecursion. However, it is possible to do I/O in a total functional programming language (with dependent types) also without codata.
Both Epigram and Charity could be considered total functional programming languages, even though they do not work in the way Turner specifies in his paper. So could programming directly in plain System F, in Martin-Löf type theory or the Calculus of Constructions.
# Valandovo Municipality

Valandovo (Macedonian: Валандово ) is a municipality in the southern part of North Macedonia. Valandovo is also the name of the town where the municipal seat is found. Valandovo Municipality is part of Southeastern Statistical Region.

## Geography

The municipality borders Demir Kapija Municipality to the northwest, Konče Municipality to the north, Strumica Municipality to the northeast, Greece to the east, Dojran Municipality and Bogdanci Municipality to the south, and Gevgelija Municipality to the southwest.

## Demographics

According to the 2021 North Macedonia census, this municipality has 10,580 inhabitants. Ethnic groups in the municipality include:
| | 2002 | 2002 | 2021 | 2021 |
| | Number | % | Number | % |
| TOTAL | 11,890 | 100 | 10,508 | 100 |
| Macedonians | 9,830 | 82.67 | 8,166 | 77.71 |
| Turks | 1,333 | 11.21 | 1,412 | 13.44 |
| Serbs | 639 | 5.37 | 469 | 4.46 |
| Roma | 32 | 0.27 | 24 | 0.23 |
| Albanians | | | 10 | 0.1 |
| Bosniaks | 1 | 0.01 | 4 | 0.04 |
| Vlachs | 1 | 0.01 | | |
| Other / Undeclared / Unknown | 54 | 0.46 | 59 | 0.56 |
| Persons for whom data are taken from administrative sources | | | 364 | 3.46 |
# Ayala Tower One

Tower One & Exchange Plaza is one of the tallest skyscrapers in the Philippines. It is located in the Makati Central Business District and has a height of 160 meters (520 ft). The building has 35 floors above ground level, and is originally planned to be the first of three towers for the Ayala Triangle. Plans for the construction of the two additional buildings did not materialize until 2021, due to the completion of the Ayala Triangle North complex. The area adjacent to the tower composes of 3 buildings, the Ayala Tower One, The Makati Stock Exchange (MkSE) and the former trading floor of the Philippine Stock Exchange.
Tower One & Exchange Plaza was designed by Skidmore, Owings and Merrill, LLP. Leandro V. Locsin & Partners was the local architect of record. The building is owned by Ayala Land, a subsidiary of the Ayala Corporation, which is headquartered in the building. Other institutions that headquartered at Ayala Tower One include the primary trading floor of the Philippine Stock Exchange (Until February 2018) and Banco de Oro Universal Bank (BDO). The tower also served as the headquarters of the Ayala Corporation, the company that built the Makati Central Business District, from its opening in 1996 to 2021, as the company moved its headquarters to the Ayala Triangle Gardens Tower 2, which is also located close within the vicinity of the Ayala Triangle complex.

## Location

The building is located at the corner of Ayala Avenue and Paseo de Roxas, on one of the three ends of the Ayala Triangle Gardens. Tower One & Exchange Plaza is located near two other famous buildings, the headquarters of Bank of the Philippine Islands, an Ayala Corporation company, and the former main office of Insular Life.

## History

This building was built solely as a response to the Philippine Stock Exchange relocating from Makati to the Tektite Towers - West Tower in Ortigas Center. Ayala Land was hoping that the Philippine Stock Exchange would reconsider its plan. It did not completely succeed with its attempt to keep the stock exchange exclusively in Makati since the Philippine Stock Exchange ultimately decided to have two trading floors: one each in Makati and Ortigas Center.

## Ownership

The building is strata title having multiple unit owners.
# Utah State Route 119

State Route 119 (SR-119) is a 8.753-mile-long (14.087 km) state highway in the U.S. state of Utah, connecting SR-119 in Richfield to SR-24 near Glenwood.

## Route description

SR-119 begins on the eastern outskirts of Richfield at SR-118 (former US-89), which follows 300 North east from downtown Richfield and curves northeast towards Sigurd. The western half of SR-119 is a straight flat road through the Sevier Valley. After it reaches Main Street, which heads south into the town of Glenwood, the highway begins to curve and climb, crossing the Rainbow Hills before ending at SR-24 near the mouth of Kings Meadow Canyon.

## History

The state legislature created SR-119 in 1931, connecting SR-11 (US-89, now SR-118) in Richfield to SR-24 through Glenwood. The route was modified to bypass Glenwood in 1959, and a portion of the old route became State Route 263, which began at SR-119 and headed south on Main Street and east on Center Street to 200 East. SR-263 was removed from the state highway system in 1969, and simultaneously, as part of the truncation of SR-11 due to the proposed SR-4 (I-70), SR-119 was extended west over old SR-11 (still signed as US-89) to SR-120. This extension was undone in 1992, when US-89 was moved to follow I-70, and old US-89 through Richfield became SR-118 (also replacing SR-135 and most of SR-258).

## Major intersections

The entire route is in Sevier County.
| Location | mi | km | Destinations | Notes |
| Richfield | 0.000 | 0.000 | SR-118 | |
| ​ | 4.212 | 6.779 | Main Street – Glenwood | Former SR-263 |
| ​ | 8.753 | 14.087 | SR-24 | |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi |||||