Skip to main content

Quais estados usam votação eletrônica?

I. CAPÍTULO 3 COMO SURGIU A TEORIA DA SALVAÇÃO SÓ PELA FÉ (Abril 2025)

I. CAPÍTULO 3 COMO SURGIU A TEORIA DA SALVAÇÃO SÓ PELA FÉ (Abril 2025)
Anonim

O voto eletrônico é usado em todos os Estados Unidos, mas o tipo de votação eletrônica e o modo como é implementado variam muito. As eleições são regidas pelas leis federais e estaduais, mas são realizadas em nível local, de modo que pode haver uma grande variação dentro de um único estado.

Votação Eletrônica: Scan Ótico e Máquinas Eletrônicas de Gravação Direta (DRE)

Cada estado nos Estados Unidos usa alguma forma de votação eletrônica, mas apenas alguns eliminaram completamente as cédulas de papel. Da grande maioria dos estados que usam algum tipo de votação eletrônica, eles são divididos entre os estados que usam apenas máquinas de votação óticas e estados que usam uma mistura de máquinas de votação de varredura ótica e DRE.

Máquinas de votação ópticas usam cédulas de papel. Se os seus estados usarem estes, você preencherá uma cédula de papel em casa, se estiver votando ausente ou em um local de votação. A cédula é então digitalizada e tabulada eletronicamente. Normalmente, a cédula é retida após a verificação, caso seja necessária uma verificação ou recontagem.

As urnas eletrônicas de gravação direta não usam cédulas de papel. Se o seu estado usa isso, você insere suas escolhas diretamente na urna de votação. Algumas dessas máquinas criam uma trilha física de papel que você pode verificar e outras não.

Alguns estados também contam cédulas de papel manualmente, mas não há estados que usem esse método exclusivamente.

Estados com apenas máquinas de votação com exame ótico:

Alabama, Colorado, Connecticut, Iowa, Maine, Maryland, Massachusetts, Michigan, Minnesota, Montana, Nebraska, New Hampshire, Novo México, Nova Iorque, Dakota do Norte, Oregon, Rhode Island, Dakota do Sul, Vermont, Virgínia, Washington, Washington D.C.

Estados com varredura ótica e máquinas de votação DRE:

Alasca, Arizona, Arkansas, Califórnia, Florida, Havaí, Idaho, Illinois, Indiana, Kansas, Kentucky, Mississippi, Missouri, Nevada, Carolina do Norte, Ohio, Oklahoma, Pensilvânia, Tennessee, Texas, Utah, West Virginia, Wisconsin, Wyoming

Estados com apenas máquinas de votação DRE:

Delaware, Geórgia, Louisiana, Nova Jersey, Carolina do Sul

Alabama

O Alabama usa o voto eletrônico, mas é um dos estados que não usa máquinas de votação DRE. Todas as cédulas são em papel e são escaneadas ou contadas à mão. As recontagens são realizadas manualmente.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Albama Secretário de Estado

Alasca

O Alasca usa uma mistura de cédulas de papel contadas à mão e cédulas de papel que são digitalizadas para tabulação eletrônica. Alguns distritos também usam máquinas DRE que incluem uma trilha de papel.

  • Boletins de papel: Sim, mão contada e digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Divisão de Eleições do Alasca

Arizona

Arizona usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são digitalizadas para tabulação eletrônica, e as máquinas de DRE incluem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado do Arizona

Arkansas

Arkansas usa uma mistura de cédulas de papel e máquinas de votação DRE. Para votação antecipada e votação no dia da eleição, todas as cédulas de papel são tabuladas eletronicamente usando máquinas de varredura óptica. Os votos ausentes são expressos em boletos de papel que podem ser contados à mão ou escaneados para tabulação eletrônica. Alguns recintos com máquinas de votação DRE incluem uma trilha de papel verificável pelo eleitor e outros não.

  • Boletins de papel: Sim, mão contada e digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Arkansas Secretário de Estado

Califórnia

A Califórnia usa uma mistura de cédulas de papel e máquinas de votação DRE. Todas as cédulas de papel são digitalizadas para tabulação eletrônica, incluindo cédulas de ausência. Alguns distritos apenas permitem o voto por correspondência, e esses votos também são verificados para tabulação eletrônica. Os distritos que usam as máquinas de votação DRE apresentam trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica e votação por correio
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado da Califórnia

Colorado

As eleições no Colorado acontecem inteiramente através do correio dos EUA. Os votos são expressos usando cédulas de papel que são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, todos votam pelo correio.
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado do Colorado

Connecticut

Connecticut usa cédulas de papel exclusivamente. Tanto as cédulas de votos quanto os votos no dia das eleições são lidos por tabulação eletrônica. Nenhuma máquina DRE é empregada.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretária de Estado de Connecticut

Delaware

Delaware usa as máquinas de votação DRE e as cédulas de papel que são digitalizadas para tabulação eletrônica.Os votos dados no dia da eleição usam exclusivamente máquinas de DRE, e não há trilha de papel verificável pelos eleitores. Cédulas de absentista são lançadas usando cédulas de papel que são lidas e contadas através de scanners ópticos.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Departamento de Eleições de Delaware

Flórida

A Flórida usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são lidas e tabuladas usando scanners ópticos, e as máquinas DRE não incluem trilhas de papel verificáveis ​​pelo votante.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Divisão de Eleições da Flórida

Geórgia

A Geórgia usa máquinas de votação DRE sem trilhas de papel verificáveis ​​pelos eleitores para votação antecipada e votação no dia das eleições. Os votos ausentes são feitos através de cédulas de papel que são lidas e tabuladas usando scanners ópticos.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Geórgia Secretário de Estado

Havaí

O Havaí usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são lidas e tabuladas por scanners ópticos, e as máquinas de votação DRE incluem trilhas de papel verificáveis ​​pelo eleitor. Os votos ausentes são emitidos através de boletins de papel que são lidos por scanners ópticos.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Escritório das Eleições no Havaí

Idaho

Idaho usa principalmente cédulas de papel, mas alguns distritos possuem máquinas de votação DRE. As cédulas de papel podem ser contadas à mão ou lidas por scanners ópticos. As máquinas de DRE incluem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretária de Estado de Idaho

Illinois

Illinois usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são todas lidas e tabuladas por scanners ópticos, e as máquinas DRE incluem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Conselho de Eleições do Estado de Illinois

Indiana

Indiana usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel que são lançadas no dia da eleição são contadas através de scanners ópticos, e as cédulas de ausência são contadas à mão. Os distritos que usam máquinas de votação DRE não têm rastros de papel verificáveis ​​pelo votante no lugar.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Divisão eleitoral de Indiana

Iowa

Iowa usa cédulas de papel em todo o estado. As cédulas são contadas via varredura óptica, independentemente de serem lançadas no dia da eleição ou ausentes.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de estado de Iowa

Kansas

O Kansas usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel podem ser lidas e tabuladas através de scanners ópticos ou contadas à mão. Alguns recintos com máquinas DRE têm rastros de papel verificáveis ​​pelo eleitor, e outros não.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Secretário de Estado do Kansas

Kentucky

Kentucky usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são todas contadas através de scanners ópticos, e nenhuma das máquinas DRE possui trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Junta de Eleições do Estado de Kentucky

Louisiana

A Louisiana usa máquinas de votação DRE em todos os recintos, e as trilhas de papel verificáveis ​​pelos eleitores não estão disponíveis. Os votos ausentes são emitidos por meio de cédulas de papel e contados por exame ótico.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Secretário de Estado da Louisiana

Maine

Maine usa cédulas de papel em todo o estado. Os votos podem ser contados à mão ou digitalizados para tabulação eletrônica, dependendo do distrito.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Escritório de corporações, eleições e comissões de Maine

Maryland

Maryland usa cédulas de papel em todo o estado. As cédulas são escaneadas e contadas eletronicamente em todos os recintos.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Conselho de Eleições do Estado de Maryland

Massachusetts

Massachusetts usa cédulas de papel em todo o estado. Os votos podem ser contados à mão ou digitalizados para tabulação eletrônica, dependendo do distrito.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Divisão eleitoral de Massachusetts

Michigan

Michigan usa cédulas de papel em todo o estado. As cédulas são digitalizadas para tabulação eletrônica em todos os distritos.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado de Michigan

Minnesota

Minnesota usa cédulas de papel em todo o estado. Máquinas de varredura óptica são usadas em todos os recintos para tabular votos eletronicamente.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado de Minnesota

Mississippi

O Mississippi usa as cédulas de papel e as máquinas de votação DRE. As cédulas de papel são todas digitalizadas para tabulação eletrônica. Alguns distritos com máquinas DRE oferecem trilhas de papel verificáveis ​​pelos eleitores, e outros não.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Secretário de Estado do Mississippi

Missouri

O Missouri usa as cédulas de papel e as máquinas de votação DRE. Os boletins de papel são todos contados através de máquinas de digitalização óptica. Algumas máquinas de votação DRE incluem trilhas de papel e outras não.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Eleições e votação no Missouri

Montana

Montana usa cédulas de papel em todo o estado. As cédulas podem ser contadas à mão ou digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Eleições de Montana e serviços eleitorais

Nebraska

Nebraska usa cédulas de papel em todo o estado. As cédulas são digitalizadas para tabulação eletrônica, independentemente de serem lançadas no dia da eleição ou ausentes.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado do Nebraska

Nevada

Nevada usa máquinas de votação DRE com trilhas de papel verificáveis ​​pelo eleitor em todo o estado. Cédulas de papel de digitalização óptica são usadas para todas as votações ausentes e alguma votação antecipada.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Nevada Secretário de Estado

Nova Hampshire

New Hampshire usa cédulas de papel em todo o estado. As cédulas podem ser contadas à mão ou digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Divisão Eleitoral de New Hampshire

Nova Jersey

Nova Jersey usa máquinas de votação DRE sem trilhas de papel verificáveis ​​pelo eleitor em todo o estado. Cédulas ausentes são escaneadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Divisão de Eleições de New Jersey

Novo México

Novo México usa cédulas de papel em todo o estado. As cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado do Novo México

Nova york

Nova York usa cédulas de papel em todo o estado. As cédulas emitidas no dia da eleição são digitalizadas para tabulação eletrônica. Cédulas ausentes podem ser escaneadas ou contadas à mão.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Conselho de Eleições do Estado de Nova York

Carolina do Norte

Carolina do Norte usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são digitalizadas para tabulação eletrônica e as trilhas de papel verificáveis ​​pelos eleitores estão disponíveis em todos os recintos que apresentam máquinas DRE.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Conselho de Eleições do Estado da Carolina do Norte

Dakota do Norte

Dakota do Norte usa cédulas de papel em todo o estado. Alguns distritos têm locais de votação para a votação no dia da eleição, e alguns distritos apenas permitem que os votos sejam enviados através do correio dos EUA. Todas as cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado da Dakota do Norte

Ohio

Ohio usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são digitalizadas para tabulação eletrônica, e os distritos com máquinas DRE oferecem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado de Ohio

Oklahoma

Oklahoma usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são digitalizadas para tabulação eletrônica. Os distritos que têm máquinas de votação DRE não oferecem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Junta de Eleições do Estado de Oklahoma

Oregon

O Oregon usa cédulas de papel em todo o estado e as cédulas são enviadas exclusivamente pelo correio. As cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, todos votam pelo correio.
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado do Oregon

Pensilvânia

A Pensilvânia usa cédulas de papel em todo o estado. As cédulas de papel são digitalizadas para tabulação eletrônica. Os distritos que apresentam máquinas de votação DRE não oferecem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Departamento de Estado da Pensilvânia

Rhode Island

Rhode Island usa cédulas de papel em todo o estado. As cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Departamento de Estado de Rhode Island

Carolina do Sul

A Carolina do Sul usa máquinas de votação DRE sem trilhas de papel verificáveis ​​pelo eleitor em todo o estado. A votação ausente usa cédulas de papel que são contadas através de exame ótico.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Comissão Eleitoral da Carolina do Sul

Dakota do Sul

Dakota do Sul usa cédulas de papel em todo o estado. As cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado da Dakota do Sul

Tennessee

Tennessee usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são contadas através de exame ótico, e os distritos com máquinas de votação DRE não oferecem trilhas de papel verificáveis ​​pelo eleitor. Cédulas ausentes podem ser contadas à mão ou digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Secretário de Estado do Tennessee

Texas

O Texas usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel emitidas no dia da eleição são digitalizadas para tabulação eletrônica e as cédulas ausentes podem ser digitalizadas ou contadas manualmente. Os distritos que têm máquinas de votação DRE não oferecem trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: sim
  • Informações do eleitor: Texas Secretário de Estado

Utah

Utah usa uma mistura de cédulas de papel e máquinas de votação DRE. Alguns distritos oferecem cédulas de papel em locais de votação físicos no dia da eleição, e outros exigem que os eleitores enviem seus votos. As cédulas de papel são todas digitalizadas para tabulação eletrônica. As máquinas de DRE têm rastros de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Tenente Governador de Utah

Vermont

Vermont usa cédulas de papel em todo o estado. As cédulas podem ser escaneadas para tabulação eletrônica ou contadas à mão.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de estado de Vermont

Virgínia

Virgina usa cédulas de papel em todo o estado. As cédulas de papel são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Departamento de Eleições da Virgínia

Washington

Washington não usa locais de pesquisa físicos. Toda votação é realizada pelo correio. As cédulas de papel são enviadas pelos eleitores e escaneadas para tabulação eletrônica.

  • Boletins de papel: Sim, todos votam pelo correio.
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado de Washington

Washington DC.

Washington, D.C. usa cédulas de papel exclusivamente. As cédulas são digitalizadas para tabulação eletrônica.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: Não
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Conselho de Eleições do Distrito de Columbia

West Virginia

Virgínia Ocidental usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel podem ser contadas à mão ou digitalizadas para tabulação eletrônica. As máquinas DRE são equipadas com trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: sim
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretária de Estado da Virgínia Ocidental

Wisconsin

Wisconsin usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel podem ser contadas à mão ou digitalizadas para tabulação eletrônica. Onde as máquinas DRE estão disponíveis, há trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, escaneamento ótico e contagem manual
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Comissão Eleitoral de Wisconsin

Wyoming

Wyoming usa uma mistura de cédulas de papel e máquinas de votação DRE. As cédulas de papel são digitalizadas para tabulação eletrônica e as máquinas de votação DRE são equipadas com trilhas de papel verificáveis ​​pelo eleitor.

  • Boletins de papel: Sim, digitalização óptica
  • DRE com trilha de papel: sim
  • DRE sem rastro de papel: Não
  • Informações do eleitor: Secretário de Estado de Wyoming