hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Alligator Alcatraz
Alligator Alcatraz, nomeado oficialmente South Florida Detention Facility (pt: Alcatraz dos Crocodilos) é um complexo de detenção de imigrantes construído no Aeroporto de Treinamento e Transição Dade-Collier dentro da Reserva Nacional Big Cypress em Ochopee, Flórida. Anunciado em junho de 2025 pelo procurador-geral James Uthmeier e defendido pelo governador da Flórida Ron DeSantis, o centro está localizado no Everglades, a oeste da cidade de Miami.

O complexo foi estabelecido para aliviar a lotação das prisões federais para imigrantes, tendo uma capacidade potencial de até 5.000 detidos numa área remota rodeada por pântanos. O nome faz alusão à fauna réptil local e à antiga Penitenciária Federal de Alcatraz, na Baía de São Francisco, Califórnia .

Reserva Nacional Big Cypress
A Reserva Nacional Big Cypress é uma Reserva nacional dos Estados Unidos localizada no sul da Flórida, cerca de 72 km de Miami. Os 2900 km2 de área, junto com a Reserva Nacional Big Thicket no Texas, tornaram-se as primeiras reservas nacionais dos Estados Unidos quando foram estabelecidas em 11 de outubro de 1974.
Roberto Chiappa
Roberto Chiappa (nascido em 11 de setembro de 1973) é um ex-ciclista italiano que participava em competições de ciclismo de pista. É campeão mundial no tandem, com Federico Paris e medalhista de bronze em 1994. Participou em quatro edições dos Jogos Olímpicos, em Barcelona 1992, Atlanta 1996, Sydney 2000 e Pequim 2008.

Bicicleta tandem
Uma Bicicleta Tandem é um veículo parecido com uma bicicleta, mas que é operado por mais de uma pessoa. 
Originalmente eram construídos soldando os quadros de duas bicicletas. Actualmente melhoraram-se todos os componentes e são construídos tandens tanto de estrada como de montanha.

Como uma Tandem tem que suportar mais peso do que uma bicicleta normal, os seus componentes são mais robustos. Quando bem montada, permite alcançar maiores velocidades em descidas e subidas, em curtas e longas distâncias. Em trilhas fechadas, torna-se complicada a direção agressiva, necessária nas montanhas.
Noël Martin Joseph de Necker
Noël Martin Joseph de Necker  ou Natalis-Josephi de Necker ( Lille, 25 de dezembro de 1729 - Mannheim, 30 de dezembro de  1793 ) foi um médico e botânico belga.

Foi médico do príncipe do Palatinado de  Mannheim. Se dedicou principalmente ao estudo dos  musgos, sobre os quais escreveu várias obras, destacando-se "Traité sur la mycitologie".

Foi o primeiro botânico a descrever o gênero de orquídeas Dactylorhiza da familia Orchidaceae.

A  família das  Neckeraceae e o  gênero Neckera da mesma família foram dedicados  em sua honra.

Palatinado
Um palatinado é um território administrado por um conde palatino, originalmente o representante direto de um soberano, mas posteriormente, o governante hereditário do território subordinado ao suserano da coroa. O termo foi usado por muitos estados dentro do Sacro Império Romano-Germânico.
Taça Juiz de Fora
Foi um torneio amistoso realizado entre Tupi, Cruzeiro, América RJ e Americano na cidade de Juiz de Fora em 1985.

O Cruzeiro conquistou o VI Taça Juiz de Fora todas as partidas foram disputadas no Estádio Dr. José Procópio Teixeira.

Luís Antônio Fernandes
Luís Antônio Fernandes, mais conhecido como Tostão (Santos, 6 de novembro 1957), é um ex-futebolista brasileiro, que atuava como meia.

Recebeu o apelido devido à comparação com o grande craque Tostão.
Neon (álbum de Jay Sean)
Neon é o quarto álbum de estúdio do cantor britânico de R&B Jay Sean, lançado em 30 de julho de 2013 pela Cash Money Records e distribuído pela Republic Records. O estilo do álbum é uma mistura de R&B e música pop, e conta com participações de Busta Rhymes, Ace Hood e Rick Ross.

Republic Records
Republic Records é uma gravadora americana pertencente a Universal Music Group, originalmente fundada como Cheese Factory Records. Após a Motown Records ser separada da Universal Motown Records devido ao fechamento da Universal Motown Republic Group, a editora foi relançada como Universal Republic Records, até seu nome original ser reativado um ano depois.

A Republic foca principalmente em artistas "urban" e "mainstream", e atualmente começou a realizar trabalhos com artistas de "kpop", além de trabalhar com outros artistas de grande destaque como Anitta, Liam Payne, Nicki Minaj, Ariana Grande, Drake, Lorde, Post Malone, TWICE, TXT, (G)I-DLE, Kelly Rowland, Austin Mahone, Nelly, Lil Wayne, Taylor Swift, Busta Rhymes, Amy Winehouse, Akon, Enrique Iglesias, Jessie J, Kim Petras e The Weeknd.
Número altamente poderoso
Na teoria elementar dos números, um número altamente poderoso é um número inteiro positivo que satisfaz uma propriedade introduzida pelo matemático indo-canadense Mathukumalli V. Subbarao. O conjunto de números altamente poderosos é um subconjunto próprio do conjunto de números poderosos.

Defina prodex(1)=1. Seja  um número inteiro positivo, de modo que ,  são  primos distintos em ordem crescente e  é um número inteiro positivo para . Defina . (sequência A005361 na OEIS) O inteiro positivo  é definido como um número altamente poderoso se e somente se, para cada inteiro positivo  implica que

Os primeiros 25 números altamente poderosos são: 1, 4, 8, 16, 32, 64, 128, 144, 216, 288, 432, 864, 1296, 1728, 2592, 3456, 5184, 7776, 10368, 15552, 20736, 31104, 41472, 62208, 86400. (sequência A005934 na OEIS)

Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é
MG-129
A MG-129 é uma rodovia brasileira do estado de Minas Gerais. Pela direção e sentido que ela percorre, é considerada uma rodovia longitudinal.

Liga a rodovia BR-120 nas proximidades da cidade de Itabira a Conselheiro Lafaiete. Possui 204,8 km de extensão, sendo 166,6 km pavimentados.

A estrada passa nas seguintes cidades:

Itabira

São Gonçalo do Rio Abaixo

Santa Bárbara

Catas Altas

Rio Piracicaba

Mariana

Ouro Branco

Conselheiro Lafaiete

São Gonçalo do Rio Abaixo
São Gonçalo do Rio Abaixo é um município brasileiro no estado de Minas Gerais, Região Sudeste do país. Pertence ao colar metropolitano de Belo Horizonte, estando situado a cerca de 90 km a leste da capital estadual. Ocupa uma área de aproximadamente 360 km², sendo que 4 km² estão em área urbana, e sua população foi estimada em 12 475 habitantes em 2025.
Elastano
Elastano, licra ou laicra (da marca registada Lycra) é uma fibra sintética de elevada elasticidade, obtida através de etano. Trata-se uma fibra muito utilizada na confecção de calças, meias-calças,  maiôs(pt-BR) ou fato de banho(pt-PT?), sungas, cintas e biquínis. Também na indústria existem utilizações: por exemplo, no fabrico de luvas para manuseamento de peças que não pode estar em contacto com a pele das mãos (exemplo: componentes eletrónicos ou peças com superfície polida, como as torneiras).

Há a versão essencialmente pura, sem adição de poliamida, que é denominada de laicra comercial ou industrial. É mais forte e duradora que a borracha (o seu principal concorrente) e foi inventada em 1959 por Joseph Shivers, da DuPont.

Quando foi colocado no mercado, revolucionou muitas áreas da indústria de vestuário.

Maiô
O maiô (português brasileiro) ou fato de banho (português europeu) é uma peça única de roupa de banho usada por mulheres. Antecedeu o biquíni na história das roupas. Seus modelos geralmente cobrem as regiões da genitália, o abdômen e o peito.

Possui vários modelos: mais ou menos reservados, decorados, frente única. Também há o chamado triquíni (maiô falso, em português do Brasil), já que atrás pode ser aberto a ponto de parecer um biquíni.

No início do século XX, as mulheres passaram a utilizar maiôs fechados, que cobriam boa parte das pernas. A partir da década de 1920, o maiô começa a perder seu alongamento nas pernas, ficando mais evidente nas coxas, mas é comum o uso de sapatos mesmo na areia.
Čumić
Čumić (em cirílico: Чумић) é uma vila da Sérvia localizada no município de Aerodrom, pertencente ao distrito de Šumadija, na região de Šumadija. A sua população era de 1449 habitantes segundo o censo de 2011.

Šumadija
Šumadija (em sérvio:  Шумадија — pronúncia: ʃumǎdija) é uma região geográfica na faixa central da Sérvia, continente europeu. Esta área originalmente apresentava densa cobertura vegetal, daí o nome na língua sérvia, šuma, que significa floresta. A cidade de Kragujevac é o polo da região, e o centro administrativo do distrito de Šumadija e da região estatística de Šumadija e Sérvia Ocidental. O solo é muito fértil, possibilitando a fruticultura extensiva — maçãs, uvas, ameixas, etc.
Comuna de Górno
Górno (polaco: Gmina Górno) é uma gminy (comuna) na Polónia, na voivodia de Santa Cruz e no condado de Kielecki. A sede do condado é a cidade de Górno.

De acordo com os censos de 2006, a comuna tem 12 943 habitantes, com uma densidade 153,7 hab/km².

Santa Cruz (voivodia)
Voivodia de Santa Cruz (em polonês/polaco: województwo świętokrzyskie) é uma unidade da divisão administrativa da Polônia e uma das 16 voivodias criadas em 1999. Está localizada na parte sul da Polônia central. Cobre uma área de 11 711 km² e tem 1 ,163 001 habitantes, segundo o censo de 31 de dezembro de 2024. Abrange aproximadamente a maioria da área da antiga voivodia de Kielce, parte da de Tarnobrzeg (condados atuais de Opatów, Sandomierz e Staszów) e partes das voivodias de Radom, Piotrków e Częstochowa.
Lago Assad
O Lago ou Lago Eufrates (em árabe: بحيرة الأسد; romaniz.: Buhayrat al-Furat) é uma albufeira do Eufrates na província de Raca, na Síria. Foi criado em 1974 quando a Barragem de Tabca foi fechada. O lago Eufrates é o maior lago da Síria, com uma capacidade máxima de 11,7 km3 e uma superfície máxima de 610 km2 Uma vasta rede de canais utiliza água do lago Eufrate spara irrigação de terras em ambos os lados do Eufrates. Além disso, o lago fornece água potável para a cidade de Alepo e comporta uma indústria pesqueira. As margens do lago desenvolveram-se em importantes zonas ecológicas.

Raca (província)
Raca ou Racca (em árabe: مُحافظة الرقة) é uma das quatorze províncias (muhafazat) da Síria. Está situado no norte do país, e cobre uma área de 19.616 km². Sua população na estimativa mais recente (2011) era de 944 mil habitantes. A capital é Raca.
Acupalpus parvulus
Acupalpus parvulus é uma espécie de insetos coleópteros pertencente à família Carabidae.

A autoridade científica da espécie é Sturm, tendo sido descrita no ano de 1825.

Trata-se de uma espécie presente no território português.

Jacob Sturm
Jacob (ou Jakob) W. Sturm (Nuremberg, 21 de março de 1771 – Nuremberg, 28 de novembro de 1848) foi um importante gravador de publicações científicas entomológicas e botânicas na Alemanha no final do século XVIII e início do século XIX.
Martin Horký
Martin Horký foi um matemático e astrônomo boêmio, conhecido por ter contestado a validade das observações de Galileu Galilei dos satélites de Júpiter, alegando que eles eram o resultado de aberrações ópticas introduzidas pelas lentes.

Depois de poder usar o telescópio de Galileu durante uma estada em Bolonha, ele primeiro expressou suas dúvidas em uma carta de 1610 a Johannes Kepler, e depois de uma maneira mais articulada na obra Brevissima Peregrinatio Contra Nuncium Sidereum.

A contestação de Horký levou Kepler a fazer suas próprias observações, o que levou à confirmação das observações de Galileu.

Bolonha
Bolonha (Bologna /boˈloɲɲa/ em italiano) é uma comuna italiana, capital e a maior cidade da região da Emília-Romanha, província de Bolonha, mais especificamente, entre os rios Reno e o Savena. Bolonha é uma cidade universitária com cerca de 400 000 habitantes, sendo a sétima maior cidade em termos de população na Itália e é o coração de uma área metropolitana (oficialmente reconhecida pelo governo italiano como uma cidade metropolitana) de cerca de 1 000 000 habitantes. Localiza-se no centro norte do país. Estende-se por uma área de 140 km², tendo uma densidade populacional de 2 643 hab/km².
Geon (física)
Na teoria da relatividade geral, um geon é uma onda gravitacional ou eletromagnética que se mantém unida em uma região confinada pela atração gravitacional de seu próprio campo de energia. Sua teoria foi inicialmente investigada em 1955 por John Archibald Wheeler, que denominou o termo como uma contração da expressão gravitational electromagnetic entity (entidade eletromagnética gravitacional).

John Archibald Wheeler
John Archibald Wheeler (Jacksonville, 9 de julho de 1911 – Hightstown, 13 de abril de 2008) foi um físico teórico estadunidense.

Um dos últimos colaboradores de Albert Einstein, tentou formular a concepção de Einstein de uma teoria do campo unificado.

Introduziu a Matriz S, fundamental na física de partículas. Foi um dos pioneiros na teoria de fissão nuclear.

Também é conhecido por cunhar o nome popular para o fenômeno espacial das estrelas colapsadas gravitacionalmente, a expressão buraco negro. Acadêmicos orientados por ele incluíram Richard Feynman e Kip Thorne.
Ana Caraiani
Ana Caraiani é uma matemática romeno-estadunidense, Royal Society University Research Fellow no Imperial College London. Suas áreas de pesquisa incluem teoria algébrica dos números e programa Langlands.

Teoria algébrica dos números
Teoria algébrica dos números é um ramo da teoria dos números em que o conceito de número é expandido para o de número algébrico, que são raízes de polinômios com coeficientes racionais. Um corpo de números algébricos é uma extensão de corpo finita (e por isso algébrica) dos números racionais. Estes domínios contêm elementos análogos aos inteiros, os chamados inteiros algébricos. Nesta conformação, as propriedades familiares aos inteiros (e.g. fatoração única) não necessitam valer. A virtude da maquinaria empregada — teoria de Galois, cohomologia de grupos, teoria dos corpos de classes, representação de grupo e funções-L — é que ela permite recobrar parcialmente tal ordem para essa nova classe de números.

Muitas questões em teoria de números são melhor atacadas estudando-as modulo p para todos os primos p (veja-se: corpos finitos). Isto é chamado localização e leva à construção dos números p-ádicos. Este campo de estudo é chamado análise local e emerge da teoria algébrica de números.
África Ocidental
A África Ocidental é uma região do oeste da África. Inclui os países na costa oriental do Oceano Atlântico e alguns que partilham a porção ocidental do deserto do Saara.

Os países que são normalmente considerados parte da África Ocidental são:

Benim, Burquina Fasso, Cabo Verde, Costa do Marfim, Gâmbia, Gana, Guiné, Guiné-Bissau, Libéria, Mali, Mauritânia, Níger, Nigéria, Senegal, Serra Leoa e Togo.

Os países insulares desta região e alguns do Golfo da Guiné, normalmente considerados parte da África Central, são para alguns efeitos, incluídos nesta sub-região:

Camarões, Chade, República do Congo, Guiné Equatorial, Gabão e São Tomé e Príncipe.

Antigas fronteiras coloniais formaram a base das atuais fronteiras entre estes países, muitas vezes dividindo culturas e etnias entre vários países, bem como agrupando culturas e etnias diferentes em um mesmo país.

A sub-região que estabelece a transição entre o deserto do Saara e a região equatorial é denominada Sahel.

Golfo da Guiné
O golfo da Guiné é uma grande reentrância na costa ocidental de África, fazendo parte portanto do oceano Atlântico. O seu nome provém da denominação que os europeus deram àquela parte do continente africano: Baixa Guiné, sendo que "Guiné" era, provavelmente, uma referência a "Gana", que era o nome pelo qual os nativos chamavam a área anteriormente ocupada pelo Império do Mali. Mas dois dos países africanos que atualmente detêm aquele nome - a República da Guiné e a Guiné-Bissau - não partilham a costa deste golfo; apenas a Guiné Equatorial se encontra nesta região (outro território a que os europeus deram este nome é a Nova Guiné, uma grande ilha no oceano Pacífico).
Up All Night: The Live Tour
Up All Night: The Live Tour é um DVD da boy band britânica One Direction lançado pela Columbia Records e dirigido por Andy Saunders. O vídeo tem a produção da dupla Andy Saunders e Tom Bairstaw e foi gravado durante a primeira turnê da banda, Up All Night Tour e consiste no primeiro álbum da banda Up All Night, além de cinco covers.

O show de gravação incluiu todas as canções do álbum Up All Night, inclusive as de versão de luxo, os cinco covers "I Gotta Feeling", "Stereo Hearts", "Use Somebody", "Valerie" e "Torn" foram apresentado em medley. O vídeo ao vivo da canção "Moments" foi liberada pela banda no You Tube em 10 de abril de 2012.

Stereo Hearts
"Stereo Hearts" (Corações Acústicos em Português) é o single de avanço do álbum de estúdio The Papercut Chronicles II do grupo inglês Gym Class Heroes. A canção conta com a participação de Adam Levine, vocalista do Maroon 5. Foi lançada em 14 de junho de 2011 pela gravadora independente Fueled By Ramen.

No Reino Unido, a canção teve originalmente lançada em 22 de agosto, no entanto o vídeo da música não foi lançado e então foi empurrado para 12 de setembro. No entanto foi novamente empurrada para 17 de outubro.
Mokhtar Hasni
Mokhtar Hasni (Siliana, 19 de março de 1952 – 21 de janeiro de 2024) foi um futebolista tunisiano. Ele competiu na Copa do Mundo FIFA de 1978, sediada na Argentina, na qual a seleção de seu país terminou na nona colocação dentre os 16 participantes.

Siliana
Siliana (em árabe: سليانة) é uma cidade e um município do centro-norte da Tunísia, capital da  província homónima. Em 2004 o município tinha 24 243 habitantes.

Situa-se na região do Tell superior, numa zona de passagem entre o noroeste e o centro do país, 130 km a sudoeste de Tunes, 90 km a leste de El Kef e 95 km a noroeste de Cairuão (distâncias por estrada). É o centro de uma região agrícola.

A antiga cidade de Zama ou Zama Regia, lugar provável da célebre batalha de Zama, decisiva para o desfecho da Segunda Guerra Púnica situava-se dez quilómteros a oeste de Siliana.
Núcleo híbrido
Núcleo híbrido é uma arquitetura kernel do sistema operacional, que tenta combinar aspectos e benefícios de microkernel e da arquiteturas do kernel monolítico, que são arquiteturas usados em sistemas operacionais de computadores.

As categorias do kernel tradicionais são kernels monolíticos e micronúcleos (com nanokernels e exokernels vistos como versões mais extremas de micronúcleos). A categoria de "híbrido" é controversa, devido à similaridade dos híbridos e kernels monolíticos; o termo teria sido criado pelo Linus Torvalds como uma forma marketing simples.

BeOS / Haiku

Microsoft Windows NT e derivados

XNU (núcleo do Darwin utilizado no Mac OS X)

BeOS
BeOS foi um sistema operacional (ou sistema operativo S.O.) multitarefa preemptivo e monousuário desenvolvido pela Be Incorporated.

O foco do desenvolvimento do BeOS desde o início foi em aplicações multimídia sendo escrito com o desempenho em mente que possibilitasse alta performance como o SMP (uso de mais de um processador quando disponível), micronúcleo, multithreading, sistema de arquivos de 64 bits e jornalado, arquitetura cliente-servidor, interface gráfica modularizada e programação orientada a objetos.

O BeOS não é baseado em UNIX, nem Windows - é um sistema único e distinto que surgiu como alternativa para produção de trabalhos que envolvem criação.
Phenix (revista)
Phenix foi uma revista brasileira dedicada a publicar artigos sobre histórias em quadrinhos criada por Wagner Augusto e Antônio Luiz Cagnin em 1996 e publicada pela editora CLUQ. Ganhou o Prêmio Vladimir Herzog de Direitos Humanos em 1996. No ano seguinte, ganhou o prêmio de "grande contribuição" no 9º Troféu HQ Mix.

CLUQ
CLUQ - Clube dos Quadrinhos é uma editora brasileira fundada pelo jornalista e pesquisador Wagner Augusto na década de 1980 e sediada em São Paulo.

A editora é conhecida por publicar no Brasil as histórias do personagem italiano Ken Parker.
Império Bizantino sob a dinastia teodosiana
A dinastia teodosiana do Império Bizantino começou com a ascensão de Teodósio I como imperador do Oriente. Enquanto o cristianismo foi gradativamente estabelecido como uma proeminente religião durante o período, as controvérsias em torno do arianismo e do nestorianismo ameaçaram a unidade do império.

Arianismo
O Arianismo (em grego koiné: Ἀρειανισμός, transl.: Areianismós) foi uma visão cristológica antitrinitária sustentada pelos seguidores de Ário, presbítero cristão de Alexandria nos primeiros tempos da Igreja primitiva, que negava a consubstancialidade entre Jesus e Deus Pai, que Os igualasse.

Jesus então, seria subordinado a Deus Pai, sendo Ele (Jesus) não O próprio Deus em Si e por Si mesmo. Segundo Ário, só existe um Deus e Jesus é Seu filho e não O próprio Deus. Ao mesmo tempo afirmava que Deus seria um grande eterno mistério, oculto em Si mesmo, e que nenhuma criatura conseguiria revelá-l’O, visto que Ele não pode revelar a Si mesmo. Com esta linha de pensamento, o historiador H. M. Gwatkin afirmou, na obra «The Arian Controversy»: «O Deus de Ário é um Deus desconhecido, cujo ser se acha oculto em eterno mistério.»

Foi condenada como heresia no Primeiro Concílio de Niceia em 325 d.C devido ao Antitrinitarismo da doutrina.
Celtic Pride
Celtic Pride (Brasil: Lance Livre ) é um filme de amigos e de comédia estadunidense de 1996, escrito por Judd Apatow e Colin Quinn, e dirigido por Tom DeCerchio. É estrelado por Daniel Stern e Dan Aykroyd como Mike O'Hara e Jimmy Flaherty, dois apaixonados fãs do Boston Celtics, e Damon Wayans como Lewis Scott, o atleta do Utah Jazz.

Filme de amigos
Filme de amigos (em inglês:  buddy movie) é um gênero cinematográfico em que duas pessoas - geralmente homens - são reúnem em uma aventura, uma missão ou uma viagem. Os dois, geralmente, têm personalidades diferentes, o que cria uma dinâmica diferentedo par de duas pessoas do sexo oposto na tela. O contraste às vezes é acentuado por uma diferença étnica entre os dois. Os filmes de amigos é comum no cinema americano; ao contrário de outros gêneros de filmes, ele se iniciou no século XX, com diferentes duplas e temas diferentes.
Amigos de um Berço Comum Futebol Clube
O ABC (Amigos de um Berço Comum) ou ABC de Patim é um clube de futebol de Patim na ilha do Fogo de Cabo Verde.

Em 17 de outubro de 2015, o ABC de Patim foi chamado de última hora para o torneio em homenagem a Preto.  Acabou vencendo a Segunda Divisão do Fogo e  retornando à Primeira Divisão regional oito anos depois.

Ilha do Fogo
Fogo (ou Djarfogo que significa Ilha do Fogo) é uma das 10 ilhas que constituem o arquipélago de Cabo Verde. Foi a segunda ilha a ser povoada. São Filipe é a terceira cidade mais antiga do arquipélago, atualmente divide com Mosteiros a posição de 5ª maior cidade do país. A ilha é vulcânica e é a mais saliente do grupo, devido à altitude do vulcão Pico do Fogo. O vulcão tem estado historicamente activo e sua última erupção teve início em 23 de Novembro de 2014. A sua característica mais espetacular é uma caldeira com 9 km de largura, com uma bordeira de 1 km de altura. A caldeira tem uma fenda, em sua parede oriental, e um grande pico eleva-se em seu centro. O cone central Pico constitui o ponto mais elevado da ilha (2829 m) e seu cume é cerca de 100 m mais alto do que a bordeira da cratera que o circunda. Lava do vulcão central da caldeira tem alcançado a costa oriental da ilha em tempos históricos.