OpenLLM-France/wikimedia huggingface dataset:
# Y. Mhonbemo Hümtsoe

Y. Mhonbemo Humtsoe (born 1959) is an Indian politician from Nagaland. He is an MLA from Wokha Assembly constituency, which is reserved for Scheduled Tribe community, in Wokha District. He won the 2023 Nagaland Legislative Assembly election, representing Nationalist Congress Party.

## Early life and education

Humtsoe is from Wokha, Nagaland. He is the son of Yanphamo Humtsoe. He completed his M.A. in history in 1981 at North Eastern Hill University.

## Career

Humtsoe won from Wokha Assembly constituency representing Nationalist Congress Party in the 2023 Nagaland Legislative Assembly election. He polled 15,949 votes and defeated his nearest rival, Renponthung Ezung of the Bharatiya Janata Party, by a margin of 3,061 votes. Earlier, he lost the 2018 Nagaland Legislative Assembly election to Chumben Murry of Naga People's Front by a margin of 8,555 votes.
# Lise-Lotte Rebel

Lise-Lotte Rebel (born 23 January 1951) is a bishop of the Church of Denmark. Between 1995 and 2021, she served as the bishop of the Diocese of Helsingør in the Evangelical Lutheran Church of Denmark. She was the first woman to become a bishop in the Church of Denmark.

## Biography

Rebel studied theology at the University of Copenhagen in 1978. She was then appointed as pastor of Utterslev Church between 1978 and 1980. In 1980 she was transferred to Islev Church until 1987 when she was appointed as pastor of Helsingør Cathedral. She stayed in this position until her election as bishop of the same diocese in 1995.
Lise-Lotte Rebel was awarded the Order of the Dannebrog in 1996 and in 2001 became a Knight of the Order of the Dannebrog. On 1 January 2014 she became the Commander of the Order. She retired in 2021.
# Tonga at the 2020 Summer Olympics

Tonga competed at the 2020 Summer Olympics in Tokyo. Originally scheduled to take place from 24 July to 9 August 2020, the Games were postponed to 23 July to 8 August 2021, due to the COVID-19 pandemic. It was the nation's tenth consecutive appearance at the Summer Olympics.

## Competitors

The following is the list of number of competitors in the Games.
| Sport | Men | Women | Total |
| Athletics | 1 | 0 | 1 |
| Swimming | 1 | 1 | 2 |
| Taekwondo | 1 | 1 | 2 |
| Weightlifting | 0 | 1 | 1 |
| Total | 3 | 3 | 6 |

## Athletics

Tonga received a universality slot from the World Athletics to send a male track and field athlete to the Olympics.

### Key

* Note–Ranks given for track events are within the athlete's heat only
* Q = Qualified for the next round
* q = Qualified for the next round as a fastest loser or, in field events, by position without achieving the qualifying target
* NR = National record
* N/A = Round not applicable for the event
* Bye = Athlete not required to compete in round

### Track & road events

| Athlete | Event | Heat | Heat | Semifinal | Semifinal | Final | Final |
| Athlete | Event | Result | Rank | Result | Rank | Result | Rank |
| Ronald Fotofili | Men's 100 m | 11.19 SB | 8 | Did not advance | Did not advance | Did not advance | Did not advance |

## Swimming

Tonga received a universality invitation from FINA to send two top-ranked swimmers (one per gender) in their respective individual events to the Olympics, based on the FINA Points System of June 28, 2021.
| Athlete | Event | Heat | Heat | Semifinal | Semifinal | Final | Final |
| Athlete | Event | Time | Rank | Time | Rank | Time | Rank |
| Amini Fonua | Men's 100 m breaststroke | DSQ | DSQ | Did not advance | Did not advance | Did not advance | Did not advance |
| Noelani Day | Women's 50 m freestyle | 29.06 | 63 | Did not advance | Did not advance | Did not advance | Did not advance |

## Taekwondo

Tonga entered two athletes into the taekwondo competition at the Games. Rio 2016 Olympian Pita Taufatofua (men's +80 kg) and Malia Paseka (women's 67 kg) secured spots with a victory each in their respective weight classes at the 2020 Oceania Qualification Tournament in Gold Coast, Queensland, Australia.
| Athlete | Event | Round of 16 | Quarterfinals | Semifinals | Repechage | Final / BM | Final / BM |
| Athlete | Event | Opposition Result | Opposition Result | Opposition Result | Opposition Result | Opposition Result | Rank |
| Pita Taufatofua | Men's +80 kg | Larin (ROC) L 3–24 PTG | Did not advance | Did not advance | Trajkovič (SLO) L 1–22 PTG | Did not advance | 7 |
| Malia Paseka | Women's −67 kg | Williams (GBR) L RSC | Did not advance | Did not advance | Malak (EGY) L 0–19 | Did not advance | 7 |

## Weightlifting

Tonga received one tripartite invitation quota from the International Weightlifting Federation.
| Athlete | Event | Snatch | Snatch | Clean & Jerk | Clean & Jerk | Total | Rank |
| Athlete | Event | Result | Rank | Result | Rank | Total | Rank |
| Kuinini Manumua | Women's +87 kg | 103 | 8 | 125 | 9 | 228 | 8 |
# Chemical Warfare (Escape the Fate album)

Professional ratings :
| Review scores ||
| Source | Rating |
| Heavy Mag | 6/10 |
| Kerrang! | 4/5 |
| Metal Injection | 2/10 |
| Wall of Sound | 6.5/10 |
Chemical Warfare is the seventh studio album by American rock band Escape the Fate, released on April 16, 2021. The album was produced by the band's lead guitarist Kevin Gruft and John Feldmann, who also previously produced the band's albums This War Is Ours and Ungrateful. The album received mixed reviews.

## Charts

Chart performance for Escape the Fate :
| Chart (2021) | Peak position |
| German Albums (Offizielle Top 100) | 94 |
# P. Longon

Puthai Longon (born 1961) is an Indian politician from Nagaland. He is a four time MLA from Noklak Assembly constituency, which is reserved for Scheduled Tribes, in Noklak District. He won the 2023 Nagaland Legislative Assembly election, representing Nationalist Congress Party. He also served as a minister for 15 years and returned to electoral politics after a gap of five years in 2023.

## Early life and education

Longon is from Noklak, Nagaland. He is the son of late Puthai. He completed his B.A. in 1987 at Patkai College, North Eastern Hill University.

## Career

Longon won from Noklak Assembly constituency representing Nationalist Congress Party in the 2023 Nagaland Legislative Assembly election. He polled 8,482 votes and defeated his nearest rival and sitting MLA, H. Haiying of the Bharatiya Janata Party, by a margin of 734 votes.
He first became an MLA winning the 2003 Nagaland Legislative Assembly election representing Naga People's Front. In 2003, he polled 5,736 votes and defeated his nearest rival, Sedem Khaming of the Indian National Congress, by a margin of 943 votes. He retained the seat for NPF winning the 2008 Nagaland Legislative Assembly election, where he defeated Khaming again, by a huge margin of 5,772 votes. He won for a third consecutive term in the 2013 Nagaland Legislative Assembly election. In 2013, he polled 9,168 and defeated the Indian National Congress candidate, H. Haiying, by a margin of 3,305 votes.
However, in the 2018 Nagaland Legislative Assembly election, he lost as an NPF candidate to Haiying, who contested this time on the Bharatiya Janata Party ticket. He regained the seat winning the 2023 Assembly election after shifting to Nationalist Congress Party and became an MLA for the fourth time.
# Amadeus Serafini

Amadeus Serafini (born July 7, 1990) is an American actor from California. He is known for his role as Kieran Wilcox in the first two seasons of MTV's slasher series Scream.

## Career

Serafini started his career with a role in the short film Smoke (2013), and a minor role in the short web series Oh La La, Hollywood Speaks French! (2014) In 2015, he starred as Kieran Wilcox in the MTV horror series Scream. In 2018, Serafini guest starred as Josh in the web television series Impulse, and starred as Terry in the independent comedy film Summer Days, Summer Nights. In 2023, he starred as Henry Van Horne in the independent action-thriller Hidden Strike alongside John Cena and Jackie Chan. In 2024, Serafini starred in the romantic comedy film Wallbanger directed by Tosca Musk.

## Filmography
### Film

Key :
| † | Denotes films that have not yet been released |
| Year | Title | Role |
| 2018 | Summer Days, Summer Nights | Terry |
| 2020 | Smiley Face Killers | Gabriel |
| 2023 | Hidden Strike | Henry Van Horne |
| 2024 | Final Heist | Carl |
| 2024 | Wallbanger | Simon |
| 2024 | The Painted | Iver Franco |
| TBA | Where Did the Adults Go? † | Bryce |

### Television

| Year | Title | Role | Notes |
| 2015–2016 | Scream | Kieran Wilcox | Main (seasons 1–2) |
| 2018 | Impulse | Josh | 2 episodes |
| 2022 | Silence | Stavo | Main (1–2) |

### Web

| Year | Title | Role | Notes |
| 2014 | Oh La La, Hollywood Speaks French! | Theo / Lulu | 3 episodes |
| 2016 | Scream: If I Die | Kieran Wilcox | Episode: "Thank You Lakewood" |
# Norman Abbott

Norman Abbott (July 11, 1922 – July 9, 2016) was an American vaudevillian, actor, producer and television director.
Abbott was born in New York City, where his mother and his uncle, comedian Bud Abbott of Abbott and Costello, raised him. His early experience in entertainment was as a vaudeville performer, including summers working the 'borscht circuit" in resorts in the Catskill Mountains of New York.
While Abbott and Costello were filming Rio Rita in 1942, Bud Abbott arranged for his nephew to play an unbilled bit in the movie. This led to two more small roles in MGM "B" features. In the early 1940s, he and Pat Costello (brother of Lou Costello) worked as stand-ins for Abbott and Costello during the filming of Who Done It? (1942), and Norman played a bit as a pop-eyed radio organist. When actor Bernard Punsly left Universal's Little Tough Guys series to join the armed forces, Norman Abbott was recruited to replace Punsly in Abbott's only starring film, Keep 'Em Slugging (1943).
During World War II, Abbott served as a member of the original United States Navy SEALs team.
After the war, Abbott became a dialogue director on the Abbott and Costello films and was mentored by the team's director, Charles T. Barton. Abbott later directed episodes of The Jack Benny Program, Leave It to Beaver, Get Smart, The Munsters, Welcome Back, Kotter, Dennis the Menace, and Sanford and Son.
Abbott's obituary in The Hollywood Reporter described him as "the brainchild behind the Broadway sensation Sugar Babies, the comeback vehicle for Mickey Rooney in the late 1970s". He conceived the idea of a Broadway musical based on burlesque after inheriting his uncle's "treasure trove of burlesque material, including written gags, props, music and posters". Despite his having originated the concept, Abbott was fired as director of the show after two weeks of rehearsing.
Abbott died in Valencia, California, on July 9, 2016.

## Filmography

| Year | Title | Role | Notes |
| 1942 | Rio Rita | Hotel Laundry Boy | Uncredited |
| 1942 | Grand Central Murder | Whistling Messenger | Uncredited |
| 1942 | The Affairs of Martha | Newsboy | Uncredited |
| 1942 | Who Done It? | Organist | Uncredited |
| 1942 | Whistling in Dixie | Attendant | Uncredited |
| 1943 | Keep 'Em Slugging | Ape | (leading role) |
| 1950 | Katie Did It | Chick | Uncredited |
| 1953 | Walking My Baby Back Home | Doc | |
# Wendeng, Weihai

Wendeng District (Chinese: 文登区; pinyin: Wéndēng Qū) is a district of Weihai, Shandong province, China. Wendeng is primarily an industrial based area, with a large minority of citizens working as farmers. Wendeng was originally a county, then converted to a county-level city in 1988, then converted to an urban district in March 2014.

## Administrative divisions

As 2017, this district is divided to 3 subdistricts, 12 towns and 1 other.

### Subdistricts

* Longshanlu Subdistrict (龙山路街道)
* Tianfulu Subdistrict (天福路街道)
* Huanshanlu Subdistrict (环山路街道)

### Towns

| Wendengying (文登营镇) Dashuipo (大水泊镇) Zhangjiachan (张家产镇) Gaocun (高村镇) Zeku (泽库镇) Houjia (侯家镇) | Songcun (宋村镇) Zetou (泽头镇) Xiaoguan (小观镇) Gejia (葛家镇) Mishan (米山镇) Jieshi (界石镇) |

### Others

* Wendeng Development Zone (文登开发区)

## Climate

Climate data for Wendeng, elevation 118 m (387 ft), (1991–2020 normals, extremes 1981–2010) :
| Month | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Year |
| Record high °C (°F) | 12.8 (55.0) | 19.0 (66.2) | 22.8 (73.0) | 29.0 (84.2) | 33.6 (92.5) | 35.6 (96.1) | 35.7 (96.3) | 35.9 (96.6) | 33.5 (92.3) | 30.0 (86.0) | 23.5 (74.3) | 17.6 (63.7) | 35.9 (96.6) |
| Mean daily maximum °C (°F) | 2.4 (36.3) | 4.8 (40.6) | 10.0 (50.0) | 16.6 (61.9) | 22.6 (72.7) | 26.4 (79.5) | 28.7 (83.7) | 29.0 (84.2) | 25.8 (78.4) | 19.8 (67.6) | 12.1 (53.8) | 5.0 (41.0) | 16.9 (62.5) |
| Daily mean °C (°F) | −1.8 (28.8) | 0.1 (32.2) | 4.8 (40.6) | 11.2 (52.2) | 17.2 (63.0) | 21.6 (70.9) | 24.8 (76.6) | 25.0 (77.0) | 20.9 (69.6) | 14.6 (58.3) | 7.5 (45.5) | 0.8 (33.4) | 12.2 (54.0) |
| Mean daily minimum °C (°F) | −5.1 (22.8) | −3.5 (25.7) | 0.9 (33.6) | 6.9 (44.4) | 12.7 (54.9) | 17.9 (64.2) | 21.9 (71.4) | 21.8 (71.2) | 16.8 (62.2) | 10.2 (50.4) | 3.7 (38.7) | −2.5 (27.5) | 8.5 (47.3) |
| Record low °C (°F) | −18.2 (−0.8) | −17.8 (0.0) | −9.5 (14.9) | −5.9 (21.4) | 1.0 (33.8) | 7.7 (45.9) | 14.8 (58.6) | 12.1 (53.8) | 5.3 (41.5) | −2.0 (28.4) | −10.6 (12.9) | −19.0 (−2.2) | −19.0 (−2.2) |
| Average precipitation mm (inches) | 14.4 (0.57) | 15.6 (0.61) | 19.7 (0.78) | 43.5 (1.71) | 61.9 (2.44) | 82.8 (3.26) | 181.5 (7.15) | 189.2 (7.45) | 70.9 (2.79) | 28.4 (1.12) | 35.7 (1.41) | 27.2 (1.07) | 770.8 (30.36) |
| Average precipitation days (≥ 0.1 mm) | 6.6 | 4.8 | 4.3 | 5.8 | 7.9 | 8.2 | 12.3 | 11.0 | 7.4 | 5.9 | 6.7 | 8.6 | 89.5 |
| Average snowy days | 8.1 | 4.7 | 1.8 | 0.2 | 0 | 0 | 0 | 0 | 0 | 0.2 | 2.7 | 8.9 | 26.6 |
| Average relative humidity (%) | 67 | 65 | 62 | 61 | 65 | 75 | 83 | 83 | 74 | 69 | 69 | 68 | 70 |
| Mean monthly sunshine hours | 161.3 | 174.7 | 221.5 | 233.1 | 250.3 | 212.2 | 164.6 | 189.1 | 209.2 | 208.2 | 162.4 | 149.5 | 2,336.1 |
| Percent possible sunshine | 52 | 57 | 59 | 59 | 57 | 48 | 37 | 45 | 57 | 61 | 54 | 50 | 53 |
| Source: China Meteorological Administration ||||||||||||||

## Transport

* Weihai Dashuipo Airport
* China National Highway 309
* Yanji Expressway
* Qingwei Expressway
* Shandong Provincial Highway 204
* Shandong Provincial Highway 804
* Shandong Provincial Highway 901

## Friendship Cities

* Cheonan-si, South Chungcheong, South Korea
# Luz (2018 film)

Luz is a 2018 German supernatural horror film written, produced, edited and directed by Tilman Singer in his directorial debut. It stars Luana Velis as the titular character, a taxi driver who is questioned by the police following a mysterious accident.

## Plot

After getting into a car crash, taxi driver Luz is brought to the police station for questioning. A doctor attempts to hypnotize her and get information about the night. However, the doctor is possessed by an ancient demon that Luz summoned during her stay at a religious school back in her youth.

## Cast

* Luana Velis – Luz Carrara
* Jan Bluthardt – Dr. Rossini
* Julia Riedler – Nora Vanderkurt
* Nadja Stübiger – Bertillon
* Johannes Benecke – Olarte
* Lilli Lorenz – Margarita

## Production and release

The film is Singer's film school thesis project and an homage to 1980s European horror films. After debuting at the 2018 Berlin Film Festival, Yellow Veil Pictures was formed to buy the release ahead of the 2018 Fantasia Film Festival.

## Critical reception

Metacritic, which uses a weighted average, assigned the film a score of 63 out of 100, based on 12 critics, indicating "generally favorable" reviews. On the review aggregator website Rotten Tomatoes, 87% of 61 critics' reviews are positive, with an average rating of 7/10. The site's critical consensus reads, "Luz takes a refreshingly unique approach to horror possession tropes, elevated by a chilly mood and minimalist scares." Katie Rife of The A.V. Club gave the film a B rating, praising its attention to sound and how it advanced the horror genre's retro sensibilities, summing up the work as "unapologetically weird and utterly fearless". Variety praised the film's experimental technique, commenting that the film's chronology can be debatable and its plot incoherent but this style compels, "our imaginations to see things other than what’s immediately before us".
# Uniqueness of identity proofs

In type theory, uniqueness of identity proofs (UIP) is a possible axiom for dependent type theory which asserts that any two proofs of the same equality are themselves equal. An equivalent and closely related axiom is Streicher's axiom K, which asserts that any proof of an equality $x=x$ is equal to the trivial reflexivity proof.
These axioms thus have the respective types:
${\mathsf {UIP}}:\prod _{X:{\mathsf {Type}}}\prod _{x,y:X}\prod _{p,q:x=y}p=q$
${\mathsf {K}}:\prod _{X:{\mathsf {Type}}}\prod _{x:X}\prod _{p:x=x}p={\mathsf {refl}}_{x}$
In intensional type theory with the standard definition of the identity type as an indexed inductive type, UIP and K are unprovable, as first proved by Martin Hoffman and Thomas Streicher using a groupoid model. While this might first seem surprising since the identity type has just one constructor (reflexivity), the apparent contradiction is resolved by the fact that the identity type inductively defines the identity type family $x=\bullet$ rather than the single type $x=y$. According to the identity type's induction principle, given an element $x:X$ and a type family $C:\prod _{y:X}\prod _{p:x=y}{\mathsf {Type}}$ as well as an element $c:C(x,{\mathsf {refl}}_{x})$, we may build a function $f:\prod _{y:X}\prod _{p:x=y}C(y,p)$ satisfying the definitional equality $f(x,{\mathsf {refl}}_{x})\equiv c$. Informally speaking, the reason why this does not allow to prove, e.g., axiom K, is that the property to be proven should be $C(y,p):\equiv p={\mathsf {refl}}_{x}$, but this is ill-typed as $p$ has type $x=y$ while ${\mathsf {refl}}_{x}$ has type $x=x$.
The axioms UIP and K are equivalent. Indeed, K is a special case of UIP, while UIP can be deduced from K by equality induction on $p$.
In Martin-Löf's original extensional type theory, UIP and K are provable. This is because extensional type theory includes the so-called equality reflection rule that derives a judgmental equality from a propositional equality, which makes the function $C(y,p):\equiv p={\mathsf {refl}}_{x}$ well-typed. However, this type theory is not used in practice in proof assistants because it removes parts of proofs from the proof terms.
Martin Hofmann proved that together with functional extensionality, UIP and K in fact sufficient to capture the differences between intensional and extensional Martin-Löf type theory: extensional MLTT is conservative over intensional MLTT with the addition of the axioms of functional extensionality and UIP (or K).
In homotopy type theory, UIP has the interpretation that every type has a trivial homotopical structure where any two paths between the same points are homotopical (equivalently, as in axiom K, all loops are contractible). This is disprovable, as it contradicts the univalence axiom. However, many naturally occurring types $X$ do satisfy that any two equality proofs between elements of $X$ are equal. Such types are called sets, or h-sets, or homotopy 0-types, or 0-truncated types.
# Fountains of Barcelona

The fountains of Barcelona, in Spain, are a group of various jets of water that are utilized for the public benefit, or as ornamental elements to preexisting fountains, lakes, rivers, waterfalls, or diverse architectural installation. They can vary from the simplest pipe of water or the traditional symmetrical fountain, to complex arrays of founts decorated with sculptures or other ornamental elements. These fountains, as well as the various sculptures across the city, constitute an excellent example of the public art of Barcelona, which has so defined the City Condal. Many of the city's fountains add to its functional character an ornamental facet that, like the rest of its municipal art, has varied over time according to the artistic tendencies of the times, and has left the Catalan capital a collection of works admired greatly both by the citizens and by visitors. In Barcelona, there are some 1,800 public fountains, among which there are some 600 that produce drinkable water, and some 200 that are chiefly considered ornamental.
In the past, the fountains were installed in squares or central places in the villages chiefly to furnish a supply of water for the population. Upon the establishment of a source for this basic need, the water source became a location of public gathering for social exchange. Thereafter, these places increasingly gained importance and ornamentation, eventually turning into the monuments that they are today.

## List of fountains

* Font de Canaletes
* Magic Fountain of Montjuïc
# The Lonely Tree

The Lonely Tree (German: Der einsame Baum, sometimes translated as "The Solitary Tree") is an 1822 oil-on-canvas painting by German painter Caspar David Friedrich. It measures 55 × 71 centimetres (22 × 28 in). The work depicts a panoramic view of a romantic landscape of plains with mountains in the background. A solitary oak tree dominates the foreground.
An ancient oak stands at the centre of the painting, clearly damaged but still standing. The tree's branches, dark in silhouette, project into the largely overcast morning sky. Banks of cloud seem to form a dome above the tree. The crown of the tree is dead, and the top of its trunk and two truncated branches resemble a cross. A shepherd shelters under the leaf-bearing lower branches. His flock of sheep graze beside a pond in the wide grassy meadow around the tree. In the middle distance, villages and a town nestle among other trees and bushes. Tree-clad hills pile up into blue-grey mountains in the background.
The work was commissioned by banker and art collector Joachim Heinrich Wilhelm Wagener, together with a second painting Moonrise by the Sea (Mondaufgang am Meer) to create a pair of "times of the day", depicting morning and evening landscape scenes, in a tradition of Claude Lorrain. It was completed before November 1822 and has been held by the Berlin National Gallery since 1861, donated by Wagener as part of its founding collection. It is now in the Alte Nationalgalerie of the Staatliche Museen in Berlin.
Art historian Helmut Börsch-Supan has suggested that the mountains are in the Riesengebirge, now in the Czech Republic, which historically divided Silesia and Bohemia, southeast of Dresden, where Friedrich settled in 1798. Friedrich painted the mountains several times between 1806 and 1810. The double peak may be Jeschken.
The painting has drawn a number of interpretations. Ludwig Justi sees the old oak as a symbol of the German people, rooted in the landscape; Jens Christian Jensen sees it as a link between the past and the present; and Charlotte Margarethe de Prybram-Gladona sees it as a symbol of loneliness.
* Caspar David Friedrich, Moonrise over the Sea (Mondaufgang am Meer), 1822, Alte Nationalgalerie, Berlin
* Caspar David Friedrich, Morgen im Riesengebirge, 1810–11
* Photograph of the landscape in the Riesengebirge, including a view of Jeschken