OpenLLM-France/wikimedia huggingface dataset:
# Porous set

In mathematics, a porous set is a concept in the study of metric spaces. Like the concepts of meagre and measure zero sets, a porous set can be considered "sparse" or "lacking bulk"; however, porous sets are not equivalent to either meagre sets or measure zero sets, as shown below.

## Definition

Let (X, d) be a complete metric space and let E be a subset of X. Let B(x, r) denote the closed ball in (X, d) with centre x ∈ X and radius r > 0. E is said to be porous if there exist constants 0 < α < 1 and r$_0$ > 0 such that, for every 0 < r ≤ r$_0$ and every x ∈ X, there is some point y ∈ X with
    $B(y,\alpha r)\subseteq B(x,r)\setminus E.$
A subset of X is called σ-porous if it is a countable union of porous subsets of X.

## Properties

* Any porous set is nowhere dense. Hence, all σ-porous sets are meagre sets (or of the first category).
* If X is a finite-dimensional Euclidean space R$^n$, then porous subsets are sets of Lebesgue measure zero.
* However, there does exist a non-σ-porous subset P of R$^n$ which is of the first category and of Lebesgue measure zero. This is known as Zajíček's theorem.
* The relationship between porosity and being nowhere dense can be illustrated as follows: if E is nowhere dense, then for x ∈ X and r > 0, there is a point y ∈ X and s > 0 such that
       $B(y,s)\subseteq B(x,r)\setminus E.$
    However, if E is also porous, then it is possible to take s = αr (at least for small enough r), where 0 < α < 1 is a constant that depends only on E.
# NVN (disambiguation)

NVN most often refers to North Vietnam.
NVN may also refer to:
* N. V. N. Somu (1937–1997), Indian politician
* Nahverkehrs-Zweckverband Niederrhein, a subsidiary of Verkehrsverbund Rhein-Ruhr
* National Videotex Network, a defunct online service provider
* Nervino Airport (IATA: NVN), Beckwourth, California
* Newhaven Town railway station, a railway station in Sussex, England
* Nundinae, in Latin inscriptions
* Nventa Biopharmaceuticals Corporation (TSX: NVN)
# Baba Banda Singh Bahadur Inter State Bus Terminus

Baba Banda Singh Bahadur Inter State Bus Terminus (Punjabi: ਬਾਬਾ ਬੰਦਾ ਸਿੰਘ ਬਹਾਦਰ ਇੰਟਰ ਸਟੇਟ ਬੱਸ ਟਰਮਿਨਸ) or Mohali Bus Stand (Punjabi: ਮੋਹਾਲੀ ਬਸ ਅੱਡਾ) is India's first air conditioned bus station located in the sector 56-57 (Phase VI) of Mohali city. It was constructed at a cost of ₹700 crore (US$82 million) and opened to public on 16 December 2016. It will have 1844 Punjab Roadways buses with 1810 ordinary and 34 super integral coach AC buses.

## Services

The Mohali bus stand will have Terminal A, Terminal B and Terminal C. Other facilities includes a food court, ticket counters, retail outlets, free wi-fi, ATMs, cyber cafes, medical aid and pharmacy, multi-level parking, cloak rooms, tourist information booths, AC dormitories and waiting lounges and sniffer dogs. About 1,900 buses could ply from the terminus A and it will remain operational for 24 hours.
This bus stand was a public-private partnership initiative. Under which Google was Given a responsibility to make this Bus Terminal.

## Filmmaking

2017 Punjabi film Dushman was shot in this bus stand by director Mahesh Bhatt with actors Gulshan Grover, Jashan Singh, Kartar Cheema and Sakshi.

## Old bus stand

Old Bus Stand was located on Phase 8 (Sector 62) of Mohali illegally on the land of City Center Mohali owned by Greater Mohali Area Development Authority. In April 2014, GMADA dug up the approach road and the parking bays of the old bus stand. It was always in dirty condition with broken infrastructure. This bus stand was converted to a local bus service station. There are 14 local bus routes decided by Mohali Municipal Corporation.
# Hasan Raza (Khyber Pakhtunkhwa cricketer)

Hasan Raza (born 6 January 1995) is a Pakistani first-class cricketer who plays for Habib Bank Limited.
# Saazish (1988 film)

Saazish is a 1988 Indian Hindi-language film directed by Rajkumar Kohli, starring Raaj Kumar, Mithun Chakraborty, Raj Babbar, Dimple Kapadia, Anita Raj, Vinod Mehra, Kader Khan and Amrish Puri. The film was a Flop.

## Plot

In this convoluted plot, Diwan, Dr. Kalidas and another secret person run a crime syndicate. They take insurance policies with fake identities and then fake their own deaths and claim insurance. Prem Krishan, a crime reporter, unearths this nefarious plan but is killed by Diwan. Prem Krishan's step brother Kailash is implicated in Prem Krishan's murder. Anand is in search of his sister who married her lover without informing him, and has gone missing thereafter. When Anand finally finds her, she is in a mental asylum, her husband is reported dead and Anand's friend Prakash finds evidence which proves that Kailash is again responsible for her husband's murder. As if his troubles are not enough, Kailash's step sister and Anand's girl friend Meena also has a low opinion of Kailash. Chased by cops and Anand, Kailash fakes his own death, but returns to town with a fake identity. After a series of badly scripted events, Kailash proves his innocence, Prakash turns out to be the secret third villain (who cheated Anand's sister) and all the bad guys are caught by police. Poor Anand does not get to protect his sister from villains, but no problem, the police inspector Saxena saves her.

## Cast

* Raaj Kumar as Kailash
* Mithun Chakraborty as Anand Kumar
* Raj Babbar as Prakash
* Dimple Kapadia as Meena
* Anita Raj as Roma
* Vinod Mehra as Inspector Saxena
* Jagdeep as 009
* Kader Khan as Dr. Kalidas
* Amrish Puri as Diwan
* Tej Sapru as Lobo
* Bob Christo
* Jagdish Raj

## Music

| Song | Singer |
| "Yeh Shahar Bada Mashoor Hai, Yeh Singapur Hai" | Asha Bhosle, Kishore Kumar |
| "Yeh Jawani Badi Deewani, Khatron Ki Hai Yeh Nishani" | Asha Bhosle, Amit Kumar |
| "Mera Intezaar Karti Ho, Karti Hoon" | Mohammed Aziz, Alka Yagnik |
| "Mere Sawaal Ka Tum Do Jawab" | Suresh Wadkar, Sapna Mukherjee |
# Yeşilvadi, Aziziye

Yeşilvadi is a neighbourhood in the municipality and district of Aziziye, Erzurum Province in Turkey. Its population is 71 and is inhabited by Turks (2022).
# Russian National Public Library for Science and Technology

The Russian National Public Library for Science and Technology (Russian: Государственная Публичная Научно-Техническая Библиотека России), abbreviated GPNTB (Russian: ГПНТБ) is a national library for engineering, science, and technology in Moscow, Russia. It was founded in 1958 on the basis of the State Science Library of the Ministry of Higher Education of the Soviet Union. It is located in Khoroshyovsky district of Moscow.
The mission of the library is to collect and store national and foreign science and technical literature, then disseminate information and bibliographical services for commercial, organisations and other institutions of the Russian Federation, development and application of up-to-date automated information technologies.
# Shaiza Khan

Shaiza Said Khan (born 18 March 1969) is a Pakistani former cricketer who played as a right-arm leg break bowler and right-handed batter. She and her sister, Sharmeen, are considered pioneers of women's cricket in Pakistan. She appeared in three Test matches and 40 One Day Internationals for Pakistan between 1997 and 2004, captaining the side throughout this period. She played domestic cricket for Karachi.
Shaiza Khan was born to a wealthy carpet merchant in Karachi. She attended the Convent of Jesus and Mary, Karachi and then joined the Concord College, Acton Burnell, Shropshire for her O & A Levels. She later on went to University of Leeds where she studied Textile Engineering, as well as becoming the first non-British captain of the women's cricket team. She also played a match for Middlesex in 1991, against East Anglia, in which she took 6/39 from her 11 overs.
She holds the world record the best bowling figures in a Test match, taking 13/226 against the West Indies in 2004 in Karachi. During her 13 wicket haul she also took a hat-trick, the second in women's Test history after Betty Wilson.
She also held the record for the most wickets on a single ground in WODIs, with 23 wickets at National Stadium, Karachi, until it was broken by Shabnim Ismail in 2019.
# Yusuke Kato

Yusuke Kato (加藤 友介, Katō Yūsuke, born 13 February 1986) is a Japanese former football midfielder who last played for Muktijoddha Sangsad KC in Bangladesh. Kato is the second Japanese player to play in Argentina's top division football league after Naohiro Takahara.
At the age of 14, he went to Argentina to learn football, and after graduating from high school, went to Argentina again to play football.
He is the first Japanese football player to play in the first division (Primera Division) after promoting from the U-20 in Argentina.
Antonio Mohamed, the manager of that time, said, “Kato is my son. He has a great scoring ability.”
The manager Osvaldo Ardiles said, “He can definitely play well in J League.”
The teammates who have played together so far are Javier Pastore, Dani Osvaldo, Joaquín Larrivey and Mario Bolatti.
When he played in Thailand, he played under Sven-Göran Eriksson and was said, “I assure that Kato’s ability to play in Thailand’s top team.”

## Career
### Argentina

Kato made Japanese football history when he joined Argentine Primera División side Huracán. He stayed there from 2006 to 2010 making 15 league appearances and scoring once. Kato scored his first goal for Huracán against Talleres de Cordoba in 2007.

### Dempo

On 30 January 2012 it was confirmed that Kato had signed a deal with Indian I-League team Dempo S.C. for the 2011–12 season. He scored his first goal in I-League for Dempo S.C. on 24 March 2012 against HAL SC, in which Dempo won 3–0.

### Muktijoddha Sangsad KC

Kato had his first stint with Muktijoddha Sangsad KC during the 2018–19 Bangladesh Premier League season. After spending the 2019-20 season with Sheikh Jamal Dhanmondi he returned to the club, on 16 November 2020. Before the start of the 2021 Bangladesh Premier League season the clubs higher-ups decided against participating in the league due to financial problems. Kato helped the club tremendously by seeking help from the Japanese community and was able to get a donation of Tk30. The donations allowed the club to take part in the Bangladesh Premier League and they ended the season finishing in tenth place out of 13 teams which was safe from relegation.
On 18 November 2021, before the start of the 2021–22 Bangladesh Premier League season, Kato retired from professional football and became a member of Muktijoddha's coaching staff for a short while. He is thought to be a modern day Muktijoddha Sangsad KC legend.

## Honours

Dempo SC
* I-League: 2011–12
South China
* Hong Kong FA Cup Runner-up: 2016–17
# Gunmen from Laredo

Gunmen from Laredo is a 1959 American Western film produced and directed by Wallace MacDonald, which stars Robert Knapp, Jana Davi and Walter Coy.

## Cast

* Robert Knapp as Gil Reardon
* Jana Davi as Rosita
* Walter Coy as Ben Keefer
* Paul Birch as Matt Crawford
* Don C. Harvey as Dave Marlow
* Clarence Straight as Frank Bass
* Jerry Barclay as Jordan Keefer
* Ron Hayes as Walt Keefer
* Charles Horvath as Coloradas
* Jean Moorhead as Katy Reardon
* X Brands as Delgados
* Harry Antrim as Judge Raymond Parker
* John Cason as Bob Sutton
* Hank Patterson as Stableman
* Dan White as Jury foreman
* Joseph Breen as Walker
* Bill Hale as Dodge
* Gil Perkins as Bowdrie
* Larry Thor as Capt. Garrick
* Don Blackman as Smoky
* Martin Garralaga as Fierro
# Bernice Steadman

Bernice Steadman (née Trimble; July 9, 1925 – March 18, 2015) was an American aviator and businesswoman. Steadman was one of thirteen women chosen to take the same tests as the astronauts of the Mercury 7 during the early 1960s. The group later became known as the Mercury 13. Steadman and the other twelve women in the program were denied the opportunity to become astronauts due to their gender. Steadman, a professional pilot, later co-founded the International Women's Air & Space Museum in Ohio during the 1980s.

## Biography

Steadman was born Bernice Trimble in Rudyard, Michigan in 1925. Her father, sisters, and brother were killed in a fire at their home when she was only one year old. She graduated from Flint Central High School in Flint, Michigan.
She took a job at AC Spark Plug after high school to save money for flight lessons. She obtained her pilot's license before she received a driver's license. She became a charter pilot and eventually opened her own flight school and charter company, Trimble Aviation, based in Flint, Michigan. Steadman trained more than 200 men who ultimately became airline pilots at her school. Bernice Steadman became one of the first women in the United States to obtain an Airline Transport Rating (ATR), the highest rating a pilot can receive.
Steadman was a charter member of the Federal Aviation Agency's (FAA) on women's advisory committee on aviation. She also chaired the Airport Commission in Ann Arbor, Michigan. Steadman was inducted into the Michigan Aviation Hall of Fame in 2002 and the Michigan Women's Hall of Fame in 2003.
In 2001, Steadman published her autobiography, Tethered Mercury: A Pilot's Memoir: The Right Stuff — But the Wrong Sex, detailing her career and the Mercury 13 program. She noted that U.S. President Lyndon B. Johnson had written "Stop This Now" across a document upon learning of the Mercury 13 project.
Bernice Steadman died at her home on Traverse City, Michigan, on March 18, 2015, at the age of 89 following a lengthy battle with Alzheimer's disease.
# Shaad Ali

Shaad Ali is an Indian film director and screenwriter.

## Early life and education

Ali was born to Muzaffar Ali and Subhashini Ali (née Sahgal), an Indian politician and member of the Communist Party of India (Marxist). He is thus the grandson of Azad Hind Fauj commander Lakshmi Sahgal and Colonel Prem Sahgal. He studied at the Welham Boys' School and the Lawrence School, Sanawar.
His paternal grandfather, Raja Syed Sajid Husain Ali, was the former ruling prince of the principality of Kotwara in Awadh of pre-independence India. Ali is the nephew of environmental educator Kartikeya Sarabhai and the Indian classical dancer Mallika Sarabhai.

## Career

Shaad Ali started his career as an assistant director to Mani Ratnam, and assisted him on the film Dil Se.. (1998).
He made his directorial debut under Yash Raj Films and Madras Talkies, with Saathiya (2002), starring Vivek Oberoi and Rani Mukerji. The film was a remake of Mani Ratnam's Tamil film Alaipayuthey (2000). Saathiya's script was written by Ratnam. The film did well and established Ali in the industry.
His second film was Bunty Aur Babli (2005) which for the first time brought together real-life father and son Amitabh Bachchan and Abhishek Bachchan alongside Rani Mukerji. The film was one of the biggest hits of the year.
Ali's third film, released on 15 June 2007 and titled Jhoom Barabar Jhoom, stars Abhishek Bachchan, Preity Zinta, Bobby Deol and Lara Dutta in lead roles.
His fourth directorial venture was Kill Dil which was released on 14 November 2014. The movie received average reviews from critics and got lukewarm response at the Box office.
He then directed the movie Ok Jaanu which released on 13 January 2017. It is a remake of Mani Ratnam's Tamil movie O Kadhal Kanmani. This film reunited him with composer A. R. Rahman after Saathiya (2002), after Rahman turned down Bunty Aur Babli citing a busy schedule.
His next movie was Soorma, a biographical sports drama film based on the life of hockey player Sandeep Singh, releasied on 13 July 2018.

## Personal life

Ali married Shazmeen Hussain, daughter of conceptual artist Rummana Hussain and businessman Ishaat Hussain, in 2006. The couple divorced in 2011. He briefly dated Pooja Shetty, daughter of Adlabs founder Manmohan Shetty. In 2013, he married Aarti Patkar.

## Filmography

| Year | Title | Director | Assistant Director |
| 1998 | Dil Se.. | | Yes |
| 2002 | Saathiya | Yes | |
| 2005 | Bunty Aur Babli | Yes | |
| 2007 | Jhoom Barabar Jhoom | Yes | |
| 2007 | Guru | | Yes |
| 2010 | Raavan | | Yes |
| 2010 | Raavanan | | Yes |
| 2014 | Kill Dil | Yes | |
| 2017 | Ok Jaanu | Yes | |
| 2018 | Soorma | Yes | |
| 2022 | Mister Mummy | Yes | |

### Web series

* Pawan & Pooja (2020)
* Call My Agent: Bollywood (2021)
* Bloody Brothers (2022)
# Kharqan District

Kharqan District (Persian: بخش خرقان) is in Zarandiyeh County, Markazi province, Iran. Its capital is the city of Razeqan.

## Demographics
### Population

At the time of the 2006 National Census, the district's population was 9,276 in 2,726 households. The following census in 2011 counted 7,809 people in 2,433 households. The 2016 census measured the population of the district as 10,055 inhabitants in 3,389 households.

### Administrative divisions

Kharqan District Population :
| Administrative Divisions | 2006 | 2011 | 2016 |
| Alishar RD | 2,349 | 2,093 | 1,969 |
| Alvir RD | 3,187 | 2,110 | 3,463 |
| Duzaj RD | 3,314 | 3,109 | 3,797 |
| Razeqan (city) | 426 | 497 | 826 |
| Total | 9,276 | 7,809 | 10,055 |
| RD = Rural District ||||
# The Forbidden Territory

The Forbidden Territory is a novel by British writer Dennis Wheatley, published by Hutchinson in 1933. His first published novel, it was an instant success and was translated into a number of languages. Alfred Hitchcock quickly bought the film rights.

## Plot summary

The Duke de Richleau receives a letter that is a code from his missing friend the young American Rex Van Ryn, who hunted for treasure lost during the Soviet takeover of Russia, but who is now in prison somewhere in that vast country. He shares the letter with another young friend, Simon Aron, who agrees to accompany him to search for their friend.

## Publication history

* Wheatley, Dennis (1933). The Forbidden Territory. Hutchinson.

## Film adaptation

The novel was bought for adaptation to film by Richard Wainwright for Alfred Hitchcock to direct. Hitchcock was unable to be released from other film projects at Gaumont-British studios. The film was directed Phil Rosen and was released in 1934, distributed by Gaumont-British Picture Corporation. Its main actors were Gregory Ratoff, Ronald Squire, and Binnie Barnes.
# Yoncalık, Aziziye

Yoncalık is a neighbourhood in the municipality and district of Aziziye, Erzurum Province in Turkey. Its population is 505 and is inhabited by Turks (2022).
# Kasireddy Narayan Reddy

Kasireddy Narayan Reddy (born 1964) is an Indian politician from Telangana state. He is an MLA from Kalwakurthy Assembly constituency in Nagarkurnool district. He represents Indian National Congress and won the 2023 Telangana Legislative Assembly election.

## Early life and education

Reddy is from Kalwakurthy, Ranga Reddy district. His late father Durga Reddy is from an agricultural family. He completed his Master of Technology in Mechanical Engineering at Vinayaka Missions University.

## Career

Reddy won from Kalwakurthy Assembly constituency representing Indian National Congress in the 2023 Telangana Legislative Assembly election. He polled 75,858 votes and defeated his nearest rival, Talloju Achary of Bharatiya Janata Party, by a narrow margin of 5,410 votes.
# Hansaka Wijemuni

Hansaka Wijemuni is a Sri Lankan politician and a member of the National People's Power. He was elected to the parliament in the 2024 Sri Lankan parliamentary election representing Kandy Electoral District. He is a doctor by profession and an executive committee member of Kandy District.

## Electoral history

Electoral history of Hansaka Wijemuni :
| Election | Constituency | Party | Party | Alliance | Votes | Result | Ref. |
| 2024 parliamentary | Kandy District | JVP | | NPP | 82,926 | Elected | |
# Yusuf Dikko

Yusuf Dikko is a Nigerian politician born in December 1947. He represented the Katsina Rimi/Charanchi/Batagarawa Federal Constituency in the 5th National Assembly from 2003 to 2007, under the Peoples Democratic Party (PDP).
# Bill O'Hara (baseball)

William Alexander O'Hara (August 14, 1883 – June 13, 1931) was a Major League Baseball outfielder. He started his professional baseball career in 1902 and played for the Baltimore Orioles from 1905 to 1908. He then played in the National League for the New York Giants and St. Louis Cardinals before finishing his career with the Toronto Maple Leafs.
# Society for Protection of the Harbour

Society for Protection of the Harbour (SPH) (Chinese: 保護海港協會) is a Hong-Kong-based organisation founded in November 1995. It is a charitable, non-political and non-profit making green group. The objectives of the organisation are to protect the Victoria Harbour in Hong Kong from destruction caused by Government's excessive reclamation and improper development, and to arouse public aspirations for the Harbour. To preserve the Harbour, SPH has raised a number of objections on related Government policies, undertaken numerous conservation projects, suggested constructive urban planning along the waterfront and carried out public education on harbour protection.
# Lingkong Road station

Lingkong Road (Chinese: 凌空路; pinyin: Língkōng Lù) is a station on Line 2 of the Shanghai Metro in the town of Chuanshaxin, Pudong. This station is part of the eastward extension from Guanglan Road to Pudong International Airport that opened on 8 April 2010.

## History

Construction on Line 2 was finished through Guanglan Road by March 2010. On April 8 that same year, Line 2 was extended past the station through the Tangzhen, Middle Chuangxin Road, and Chuansha stations, through the Lingkong Road station, as well as the Yuandong Avenue and Haitiansan Road stations to Pudong International Airport station, which serves Shanghai Pudong International Airport. This extension originally used four-carriage trains as opposed to the eight-carriage trains used west of Guanglan Road, which served as the transfer point until eight-carriage through trains were introduced in April 2019.

## Facilities

The station is located in the town of Chuanxinsha in Pudong. The station, shaped like an oblong rectangle, is nestled at the corner of its namesake road and West Huazhou Road (华洲西路). There are three exits, numbered 3, 4 and 5. Exit 3 is the only one located south of the line, reaching surface level near Huazhou Road. Exit 4 is located nearer to Lingkong Road than exit 5, both of which are located north of the line. Located beneath a small farm amid the city, the station is close to the Taiping Market.

## Service

Along Line 2, the station is located between Chuansha and Yuandong Avenue. It takes approximately 80 minutes to ride the train to East Xujing, the west end of the line, and 15 minutes to Pudong International Airport, the eastern terminus. The train operates from 6:45 to 21:15 westbound and begins and ends service four minutes later eastbound. On weekdays, trains leave the station approximately every eight minutes and thirty seconds.