OpenLLM-France/wikimedia huggingface dataset:
# Dialectica space

Dialectica spaces are a categorical way of constructing models of linear logic.
They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Gödel's Dialectica interpretation—hence the name.
Given a category C and a specific object K of C with certain (logical) properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a C-morphism into K. Morphisms of Dialectica spaces are similar to Chu space morphisms, but instead of an equality condition, they have an inequality condition, which is read as a logical implication: the first object implies the second.
# Gambogi

Gambogi is a surname. Notable people with the surname include:
* Elin Danielson-Gambogi (1861–1919), Finnish painter
* Raffaello Gambogi (1874–1943), Italian painter
# Reed-Cooke

Reed-Cooke is a small urban neighborhood in Northwest Washington, D.C., situated within the boundaries of the larger and more prominent neighborhood of Adams Morgan, just north of the city's original L'Enfant-planned area. Its residents, and its local civic organization, the Reed-Cooke Neighborhood Association, generally consider it to be a distinct local neighborhood, although it is not on the city's list of formally recognized neighborhoods. While Reed-Cooke is most popularly considered a section of Adams Morgan, the area is sometimes considered to be an extension of the Meridian Hill neighborhood.
Located just to the west of Meridian Hill Park, Reed-Cooke is bounded by 16th Street on the east, 18th Street on the west, U St to the south, and Columbia Road to the north. This area takes its name from the two schools that sit within its borders: the H.D. Cooke Elementary School, and the Marie Reed Elementary School and Learning Center. Reed-Cooke began to develop its own identity in the 1980s as renewed citizen interest in the city was generally occurring, and the area's residents began to take a more active interest in the local neighborhood's future. This interest resulted in the creation of the "Reed-Cooke Overlay District", a zoning area formed by the city in 1991 to help conserve the existing neighborhood's composition, and to manage new development. (The Overlay District also includes a small area south of Florida Avenue, down to U Street.) Since the year 2000, and working within this zoning framework, a number of new mid-rise apartment houses and condo buildings have been constructed in the area.
The land of the neighborhood was once a part of the old Meridian Hill estate of Commodore David Porter, who created that noted estate in 1816. Following the end of the Civil War, Meridian Hill's land was sold and then subdivided in 1867, creating one of Washington's earliest planned subdivisions. Initially this area grew slowly, with the Reed-Cooke portion of the tract subsequently being developed in large part from just after 1900. The neighborhood today continues to evolve and is mainly composed of a mix of rowhouses and low- to mid-rise apartment buildings, in a variety of styles and sizes, from simple to quite elaborate. Many of the apartment buildings are condos or co-ops. There are also several stretches of light commercial buildings along Columbia Road. With the city of Washington's population continuing to grow, Reed-Cooke is also slowly growing, mostly with in-fill construction. At the end of 2017, a new boutique hotel, named The Line, opened at 1770 Euclid Street in the northwest corner of the neighborhood. In the years after 2018 some residents and groups have also been using the older "Meridian Hill" name when referring to the area.
Reed-Cooke is a part of the District's ward 1. And within D.C.'s Advisory Neighborhood Commission system, it is a part of ANC 1-C.
# Archias of Pella

Archias, son of Anaxidotus from Pella (Greek: Ἀρχίας Ἀναξιδότου Πελλαῖος), was a Macedonian officer and geographer who served as Trierarch under Admiral Nearchus. Archias was despatched with a galley of 30 oars, and reached the island of Failaka (Kuwait) and Tylos (Bahrain group). Tylos, Archias reported, was "about a day and a night's sail" from the mouth of the Euphrates.
# 3 by 5 Initiative

The 3 by 5 Initiative was an initiative of the World Health Organization (WHO) to provide antiretroviral treatment to patients with HIV/AIDS in low- and middle-income countries. The program lasted from December 2003 to December 2005, and the name "3 by 5" refers to the goal of treating 3 million people by 2005. The 3 by 5 Initiative is seen as the beginning of the scaling of antiretroviral treatments, and evaluations of the Initiative take this into account.

## Strategy

The 3 by 5 Initiative was guided by five "strategic pillars":$^{:11}$
   * global leadership, strong partnership and advocacy
   * urgent, sustained country support
   * simplified, standardized tools for delivering antiretroviral therapy
   * effective, reliable supply of medicines and diagnostics
   * rapidly identifying and reapplying new knowledge and successes

## Evaluation of the initiative

An evaluation team commissioned by the Canadian International Development Agency (CIDA) and WHO reviewed the 3 by 5 initiative between July 2005 and March 2006. The evaluation team published their report in March 2006, titled Progress on global access to HIV antiretroviral therapy: a report on "3 by 5" and beyond. It found that 1.3 million people were receiving antiretroviral treatment in the target countries by December 2005, up from 400,000 before the start of the initiative. The evaluation team also found that many of the worst-affected countries were still far from containing their AIDS crises. It also credits the 3 by 5 Initiative with establishing antiretroviral treatment as an essential public health intervention.$^{:XIX–XX}$
The evaluation team attributes some of the difficulties in achieving the goals of the Initiative to an initial lack of secured funding (resulting in delays) and an unstable management of the HIV/AIDS program (due to the high turnover rate of WHO directors).$^{:XXIX}$
The 3 by 5 Initiative has been criticized by Arthur J. Ammann for focusing only on treatment of HIV (instead of also focusing on testing and prevention), for the high costs of the program, and for being "top down" instead of allowing target countries to take charge of their own AIDS programs.
# 2000–01 Macedonian Second Football League

The 2000–01 Macedonian Second Football League was the ninth season since its establishment. It began on 19 August 2000 and ended in May 2001.

## Participating teams

| Club | City |
| 11 Oktomvri | Prilep |
| Alumina | Skopje |
| Bashkimi | Kumanovo |
| Bregalnica | Delchevo |
| Jaka | Radovish |
| Jugohrom | Jegunovce |
| Karaorman | Struga |
| Kumanovo | Kumanovo |
| Malesh | Berovo |
| Mesna Industrija | Sveti Nikole |
| Mladost GT | Orizari |
| Napredok | Kichevo |
| Novaci | Novaci |
| Ohrid | Ohrid |
| Sloga | Vinica |
| Shkëndija | Arachinovo |
| Teteks | Tetovo |
| Vardar | Negotino |

## League standing

| Pos | Team | Pld | W | D | L | GF | GA | GD | Pts | Promotion or relegation |
| 1 | Kumanovo (C, P) | 34 | 23 | 8 | 3 | 79 | 27 | +52 | 77 | Promotion to Macedonian First League |
| 2 | Napredok (P) | 34 | 23 | 3 | 8 | 74 | 43 | +31 | 72 | Promotion to Macedonian First League |
| 3 | Jugohrom | 34 | 21 | 4 | 9 | 68 | 39 | +29 | 67 | |
| 4 | Sloga Vinica | 34 | 19 | 5 | 10 | 66 | 32 | +34 | 59 | |
| 5 | Karaorman | 34 | 17 | 4 | 13 | 65 | 43 | +22 | 55 | |
| 6 | Shkëndija Arachinovo | 34 | 17 | 4 | 13 | 60 | 54 | +6 | 55 | |
| 7 | Alumina | 34 | 16 | 6 | 12 | 64 | 49 | +15 | 54 | |
| 8 | Ohrid | 34 | 16 | 5 | 13 | 55 | 51 | +4 | 53 | |
| 9 | Novaci | 34 | 16 | 4 | 14 | 56 | 43 | +13 | 52 | |
| 10 | Teteks | 34 | 15 | 6 | 13 | 56 | 40 | +16 | 51 | |
| 11 | Jaka Radovish | 34 | 13 | 10 | 11 | 53 | 51 | +2 | 49 | |
| 12 | Bashkimi | 34 | 15 | 3 | 16 | 64 | 51 | +13 | 48 | |
| 13 | Bregalnica Delchevo | 34 | 13 | 4 | 17 | 50 | 49 | +1 | 43 | |
| 14 | 11 Oktomvri | 34 | 12 | 7 | 15 | 59 | 69 | −10 | 43 | |
| 15 | Mladost GT Orizari (R) | 34 | 10 | 4 | 20 | 52 | 82 | −30 | 34 | Relegation to Macedonian Third League |
| 16 | Vardar Negotino (R) | 34 | 7 | 2 | 25 | 35 | 107 | −72 | 23 | Relegation to Macedonian Third League |
| 17 | Mesna Industrija (R) | 34 | 4 | 6 | 24 | 32 | 89 | −57 | 18 | Relegation to Macedonian Third League |
| 18 | Malesh (R) | 34 | 5 | 3 | 26 | 29 | 98 | −69 | 18 | Relegation to Macedonian Third League |
* ↑ Sloga Vinica was deducted 3 points.
# Free program

Free program may refer to:
* Free software
* Free skating
# Røvassdalen

Røvassdalen is a valley in Rana Municipality in Nordland county, Norway. The upper part of the valley is located within the Saltfjellet–Svartisen National Park. The river of Røvassåga flows through the valley, and later it joins with the rivers Blakkåga and Svartisåga and further down with the Langvassåga. The karst caves Setergrotta and Grønnligrotta are located in the valley.
# Dichomeris traumatias

Dichomeris traumatias is a moth in the family Gelechiidae. It was described by Edward Meyrick in 1923. It is found on Borneo.
The wingspan is about 21 mm (0.83 in). The forewings are violet fuscous with the costal edge bright ferruginous and short red median and subdorsal streaks almost from the base, the former terminating in a small spot. There is a small red spot beneath the fold at one-fourth. The stigmata form small red spots, the plical hardly before the first discal. There is an additional spot in the disc at one-fourth, tending to form an oblique streak with the plical, and another spot below the middle of the disc. There are also irregularly arranged red dashes on the veins posteriorly, forming two series separated by an obscure pale or whitish-tinged rather curved subterminal shade. The hindwings are dark fuscous.
# Gallbladder polyp

Gallbladder polyps are growths or lesions resembling growths (polypoid lesions) in the wall of the gallbladder. True polyps are abnormal accumulations of mucous membrane tissue that would normally be shed by the body.

## Signs and symptoms

Most polyps do not cause noticeable symptoms. Gallbladder polyps are usually found incidentally when examining the abdomen by ultrasound for other conditions, usually abdominal pain.

## Pathology

Most small polyps (less than 1 cm) are not cancerous and may remain unchanged for years. However, when small polyps occur with other conditions, such as primary sclerosing cholangitis, they are less likely to be benign. Larger polyps are more likely to develop into adenocarcinomas.
Cholesterolosis is characterized by an outgrowth of the mucosal lining of the gallbladder into fingerlike projections due to the excessive accumulation of cholesterol and triglycerides within macrophages in the epithelial lining. These cholesterol polyps account for most benign gallbladder polyps.
Adenomyomatosis describes a diseased state of the gallbladder in which the gallbladder wall is excessively thick, due to proliferation of subsurface cellular layer. It is characterized by deep folds into the muscularis propria. Ultrasonography may reveal the thickened gallbladder wall with intramural diverticulae, called Rokitansky-Aschoff sinuses.

## Diagnosis

Diagnosis is typically by ultrasound or CT imaging.
Upon histopathology of resected gallbladders, gallbladder polyps may be classified into the following main types:
* Non-neoplastic polyps: Cholesterol, hyperplastic, and inflammatory polyps, adenomyomas, leiomyomas, fibromas, and lipomas
* Neoplastic polyps: adenomas, adenocarcinomas, and squamous cell carcinomas
* Ultrasound image of gallbladder polyps measuring 3–7 mm.
* Gallbladder polyp types by relative incidence.
* Photograph of a 6 mm large hyperplastic polyp of the gallbladder.
* Histopathology of a hyperplastic polyp: There is no dysplasia.

## Treatment

Most polyps are benign and do not need to be removed. Surgical removal of the gallbladder (cholecystectomy) is recommended when a gallbladder polyp larger than 1 cm is found, even if the person has no symptoms clearly related to the polyp. Laparoscopic surgery is an option for small or solitary polyps.

## Epidemiology

Polypoid lesions of the gallbladder affect approximately 5% of the adult population. The causes are uncertain, but there is a definite correlation with increasing age and the presence of gallstones (cholelithiasis). Most affected individuals do not have symptoms. The gallbladder polyps are detected during abdominal ultrasonography performed for other reasons.
The incidence of gallbladder polyps is higher among men than women. The overall prevalence among men of Chinese ancestry is 9.5%, higher than other ethnic types.
# Refined oil

Refined oil may refer to:
* Refined edible oil, Edible oil refining result
* Petroleum products derived from crude oil (petroleum) as it is processed in oil refineries
# Endometrial arteries

Arcuate arteries located in the uterus branch out and supply blood to different layers of the uterus. These arteries meet the myometrial-endometrial junction and lead to straight and endometrial arteries. The endometrium receives blood from endometrial arteries which are also called spiral arteries. Endometrial arteries proliferate rapidly and react to different hormones released. These hormones are progesterone and estrogen released by the ovaries and produced by the endocrine system. The endometrial arteries not only supply blood to the endometrium but are also important during pregnancy. They are the initial site of transportation of blood from the mother to the baby.

## Location of endometrial arteries

The uterus, part of the female reproductive system, is composed of the myometrium and the endometrium. The myometrium is made of smooth tissue and the endometrium lines the uterus. The endometrium is important in pregnancy because it is involved in the development of the placenta and it is where the fertilized egg implants itself during pregnancy. In the endometrium there are endometrial arteries which are also known as spiral arteries. The arcuate arteries located in the myometrium, branch out into the myometrium and then spread throughout endometrium forming endometrial arteries which is how the endometrium obtains blood. Endometrial arteries are coiled and is why they are also called spiral arteries. The spiral arteries are coiled towards the upper part of the endometrium and straight towards the base of the endometrium.

## Function of endometrial arteries during pregnancy

In the endometrium there are straight and spiral arteries. Straight arteries specifically branch to the base of the endometrium therefore supplying blood to the base of the endometrium. Spiral arteries supply blood to the rest of the endometrium. They grow rapidly, covering much of the space of the endometrium and end up coiled. When hormones levels are low, the endometrial arteries react by becoming narrow. Endometrial arteries supply blood to the endometrium but are also beneficial during pregnancy. When a female is pregnant a placenta develops. The baby receives blood, nutrients and oxygen via the umbilical cord which is attached to the placenta. Between the placenta and the myometrium are intervillous spaces where the endometrial arteries supply blood to. The placenta has villous trees which allow for blood to circulate and then be transported to the baby via the placenta.

## Other functions of endometrial arteries

Endometrial arteries are divided into the common ones and the arteriovenous anastomosis. The common ones are arteries that are homologous to the arteries of the rest of the body and they enrich the endometrium of the uterus. The joining of endometrial arteries and veins of the endometrium is known as arteriovenous. Endometrial arteries are also involved in the menstrual cycle. When the egg implants onto the endometrium and is not fertilized the endometrial arteries become narrow and the endometrium begins to disintegrate. This is when the endometrium sheds and results in menstruation.
# Arcade Game Construction Kit

Arcade Game Construction Kit is a 1988 game creation system for making action video games. It was developed by Mike Livesay and published by Broderbund for the Commodore 64 on four floppy disks. The program uses a joystick-driven menu system and includes six pre-made games to learn from and play.

## Included games

* AGCK TUTORIAL GAME -- This is a simple variation on classic arcade shooters such as Galaxian.
* KANGARANG (designed by Gregory Hammond) -- The player is a kangaroo mother looking to rescue its baby and return to safety. Hazards include falling boulders, jumping fish, monkeys and natives.
* ISLE QUEST (designed by Greg Johnson and Paul Reiche III) -- The player is a brave explorer in search of new lands and riches. Hazards include pirate ships, hostile natives.
* MUSASHI (designed by Greg Johnson and Paul Reiche III) -- The player is an ancient samurai warrior looking to rescue his princess. The player must fight through a fortress, collecting gold, sushi, and the mighty Sword of the Samurai.
* GERG'S ADVENTURE (designed by Gregory Hammond) -- The player is Gerg, a tiny creature who wants to get back to his home. Gerg must pick up a variety of orbs to power up, and to clear each level.
* SPACE WORRIES (designed by Paul Reiche III and Greg Johnson) -- The player controls a space ship, looking to collect mysterious metallic cylinders to destroy an enemy that has taken control of your planet.
# Oh What a Shame

"Oh What a Shame" is a 1975 single, which was written and produced by Roy Wood. Wood played all of the musical instruments on the recording, as well as supplying lead and multi-tracked backing vocals. The song was jointly globally published by Carlin Music Corp and Roy Wood Music.
The track reached number 13 in the UK Singles Chart. The single remained in the UK chart for seven weeks, starting in May 1975. It was also released as a single in Belgium, Australia, Netherlands, Ireland and the US. The single was the final solo Wood recording to reach the UK Singles Chart. In 1977, two years after "Oh What A Shame" left the UK Top 20, Wood commented, "I've written something like 30 hit songs, you know? It's not easy now to accept that I'm not a success anymore".
"Oh What a Shame" has appeared on numerous compilation albums, including Wood's own Singles (1993, Connoisseur Records). and Exotic Mixture: Best of Singles A's & B's (1999). It also appeared on the 1999 expanded CD reissue of Wood's 1975 album, Mustard.
The record still commands national radio play in the UK; the most recent airing being on BBC Radio 2's Pick of the Pops on 6 July 2019.
# Kyewu

Kyewu is a town in the Garzê Tibetan Autonomous Prefecture of Sichuan, China.
# S. R. Chishti

S. R. Chishti is a tabla player of Lucknow gharana (tabla) and composer. S R Chishti completed his PhD from Dr. B. R. Ambedkar University, Agra in music (Tabla).

## Career

He is music (tabla) instructor at Cultural Education Center, Aligarh Muslim University, Aligarh and authored Fun-e-Tabla the first ever book on the art of playing Tabla in Urdu language after 1906. He has various books on the different topics of Tabla.

## Published books

He has published five books so far, which include:
* Fan-E-Tabla (Urdu) published in 2011
* Tabla Sanchayan (Hindi) published in 2012
* Tabla Mein Das Anko Ka Mahetv (Hindi) published in 2013
* Bhartiye Talon Mein Theke Ke Vibhinn Sworoop (Hindi) published in 2014
* Compositions of The Great Tabla Maestros (English)

## Awards and honors

* Regular ‘B-High’ grade artist of AIR Agra since 1995
* Honored by Swami D. R. Pavertikar Sangeet Sansthan, Mathura in 2004
* Given estimation and prestigious judgment for various musical competitions
* Tabla concert in “SPIC-MACAY”, “TAJ MAHOTSAV”, LUCKNOW MAHOTSAV” and Governor House Lucknow

## Views

Khalifa Ustad Afaq Husain Khan (Tabla Maestro, Lucknow Gharana)
   Mr. Chishti is my one of my talented disciple. I am satisfied with his progress and proficiency considering his qualification and ability. I hope Mr. Chishti would give fame to Lucknow Gharana [June 11, 1989].
Ustad Shafi Ahmad Khan (Vocalist), Sangeet Research Academy, ITC, Kolkata
   Mr. S.R. Chishti is a talented Tabla player and a radio artist who has performed in a number of programs particularly in SPIC-MACAY and he is always with me for my Tabla sangat. He is one of the best disciples of Khalifa Ustad Afaq Husain Khan of Lucknow Gharana. I wish him all success in his future life. [January 12, 1998].
# Diamella kaszabi

Diamella kaszabi is a species of ground beetle in the Lebiinae subfamily that is endemic to the Taiwan (Formosa). The species is black coloured with brown legs and is 8.1 millimetres (0.32 in) in length.
# Ganso Saiyūki: Super Monkey Daibōken

Ganso Saiyūki: Super Monkey Daibōken (元祖西遊記 スーパーモンキー大冒険) is an action video game for the Family Computer which was released exclusively in Japan on November 21, 1986. The game is based on the novel Journey to the West.

## Gameplay

Sun Wukong must assist the Buddhist monk Xuanzang with his task of collecting some sūtras as they make the treacherous voyage from China to India. Other guardians can be asked to join the adventuring party after meeting up with them. Most of the storyline in this video game is based on the Chinese novel Journey to the West. Players can enter a code that allows them to return to any stage at any time; similar to a password system.
It is possible to die of starvation and/or hunger without the proper food/drink items. A meter for water and food are automatically deducted for every move that is made while travelling from landmark to landmark. These food and drink items are found inside people's houses for consumption. Houses appears as buildings representing pagodas. Certain landmarks must be entered in order to progress the game's storyline; these are represented in-game as a grey square with a drawbridge-like structure. An onslaught of enemies must be defeated in the side-scrolling segments of the game.
This video game was featured in the Japanese TV show Game Center CX. It was declared to be one of the hardest (and least comprehensible) video games in the history of Japanese video games. It is often considered a kusoge.

## Hidden message

An explicit message is hidden within the game's tileset, not accessible during gameplay, containing a developer's personal sexual information.
# Gagea granatellii

Gagea granatellii is a Mediterranean and Black Sea species of plants in the lily family. It is native to Spain incl. Balearic Islands, France incl. Corsica, Italy (incl Sardinia + Sicily), Libya, Greece, Romania, and Crimea.
Gagea granatellii is a bulb-forming herb with yellow flowers and red stems.
# Draganchetata

Draganchetata is a village in Gabrovo Municipality, in Gabrovo Province, in northern central Bulgaria.
# 5th meridian

5th meridian may refer to:
* 5th meridian east, a line of longitude east of the Greenwich Meridian
* 5th meridian west, a line of longitude west of the Greenwich Meridian
* The Fifth principal meridian in Arkansas, Iowa, Minnesota, Mississippi, North Dakota and South Dakota, United States, 91°03'42" west of Greenwich
* The Fifth Meridian of the Dominion Land Survey in Canada, 114° west of Greenwich
* Meridian 5; the fifth satellite in the Meridian series of communications satellites
# Old Tennent Cemetery

The Old Tennent Cemetery is a non-denominational community cemetery adjacent to the Old Tennent Church in Manalapan, New Jersey, with which it was affiliated until 1910. The cemetery was established in 1731, when the congregation moved from its location in nearby Wickatunk, New Jersey. The cemetery replaced what is known as the Old Scots Burying Ground.

## Notable burials

* Elmer H. Geran (1875–1954), Democratic Party politician who represented New Jersey's 3rd congressional district from 1925–1927
* Thomas Henderson (1743–1824), U.S. Representative and New Jersey Governor
* Henry Monckton (1740–1778), British Army officer during the American Revolutionary War
* Catherine Dale Owen (1900–1965), stage and film actress
* Nathaniel Scudder (1733–1781 †), Continental Congressman
* Guy Tripp (1865–1927), business executive and U.S. Army brigadier general