VLIB_COUNTRY [
  afghanistan {return("afghanistan")}
  albania {return("albania")}
  algeria {return("algeria")}
  ( american samoa ) {return("american samoa")}
  andorra {return("andorra")}
  angola {return("angola")}
  anguilla {return("anguilla")}
  antarctica {return("antarctica")}
  antigua {return("antigua and barbuda")}
  argentina {return("argentina")}
  armenia {return("armenia")}
  aruba {return("aruba")}
  australia {return("australia")}
  austria {return("austria")}
  ( ?the bahamas ) {return("bahamas")}
  bahrain {return("bahrain")}
  bangladesh {return("bangladesh")}
  barbados {return("barbados")}
  belarus {return("belarus")}
  belgium {return("belgium")}
  belize {return("belize")}
  benin {return("benin")}
  bermuda {return("bermuda")}
  bhutan {return("bhutan")}
  bolivia {return("bolivia")}
  bosnia {return("bosnia")}
  botswana {return("botswana")}
  brazil {return("brazil")}
  ( british virgin islands ) {return("british virgin islands")}
  brunei {return("brunei darussalam")}
  bulgaria {return("bulgaria")}
  ( burkina faso ) {return("burkina faso")}
  burma {return("burma")}
  burundi {return("burundi")}
  cambodia {return("cambodia")}
  cameroon {return("cameroon")}
  canada {return("canada")}
  ( cape verde ) {return("cape verde")}
  ( cayman ?islands ) {return("cayman islands")}
  ( central african republic ) {return("central african republic")}
  chad {return("chad")}
  chile {return("chile")}
  china {return("china")}
  colombia {return("colombia")}
  congo {return("congo")}
  ( costa rica ) {return("costa rica")}
  croatia {return("croatia")}
  cuba {return("cuba")}
  cyprus {return("cyprus")}
  ( ?the czech republic ) {return("czech republic")}
  czechoslovakia {return("czechoslovakia")}
  denmark {return("denmark")}
  djibouti {return("djibouti")}
  dominica {return("dominica")}
  ( dominican republic ) {return("dominican republic")}
  ecuador {return("ecuador")}
  egypt {return("egypt")}
  ( el salvador ) {return("el salvador")}
  england {return("england")}
  ( equatorial guinea ) {return("equatorial guinea")}
  estonia {return("estonia")}
  ethiopia {return("ethiopia")}
  fiji {return("fiji")}
  finland {return("finland")}
  france {return("france")}
  ( ?french guadeloupe ) {return("french guadeloupe")}
  ( french guyana ) {return("french guyana")}
  ( french southern territories ) {return("french southern territories")}
  gabon {return("gabon")}
  gambia {return("gambia")}
  ( ?(republic of) georgia ) {return("georgia")}
  germany {return("germany")}
  ghana {return("ghana")}
  gibraltar {return("gibraltar")}
  ( great britain ) {return("great britain")}
  greece {return("greece")}
  greenland {return("greenland")}
  grenada {return("grenada")}
  guam {return("guam")}
  guatemala {return("guatemala")}
  guinea {return("guinea")}
  guyana {return("guyana")}
  haiti {return("haiti")}
  honduras {return("honduras")}
  ( hong kong ) {return("hong kong")}
  hungary {return("hungary")}
  iceland {return("iceland")}
  india {return("india")}
  indonesia {return("indonesia")}
  iran {return("iran")}
  iraq {return("iraq")}
  ireland {return("ireland")}
  israel {return("israel")}
  italy {return("italy")}
  ( ivory coast ) {return("ivory coast")}
  jamaica {return("jamaica")}
  japan {return("japan")}
  jordan {return("jordan")}
  kazakhstan {return("kazakhstan")}
  kenya {return("kenya")}
  kiribati {return("kiribati")}
  kuwait {return("kuwait")}
  laos {return("laos")}
  latvia {return("latvia")}
  lebanon {return("lebanon")}
  lesotho {return("lesotho")}
  liberia {return("liberia")}
  libya {return("libya")}
  liechtenstein {return("liechtenstein")}
  lithuania {return("lithuania")}
  luxembourg {return("luxembourg")}
  macedonia {return("macedonia")}
  madagascar {return("madagascar")}
  malawi {return("malawi")}
  malaysia {return("malaysia")}
  maldives {return("maldives")}
  mali {return("mali")}
  malta {return("malta")}
  mauritania {return("mauritania")}
  mauritius {return("mauritius")}
  mayotte {return("mayotte")}
  mexico {return("mexico")}
  micronesia {return("micronesia")}
  moldavia {return("moldavia")}
  monaco {return("monaco")}
  mongolia {return("mongolia")}
  morocco {return("morocco")}
  mozambique {return("mozambique")}
  namibia {return("namibia")}
  nepal {return("nepal")}
  ( new zealand ) {return("new zealand")}
  nicaragua {return("nicaragua")}
  niger {return("niger")}
  nigeria {return("nigeria")}
  ( north korea ) {return("north korea")}
  norway {return("norway")}
  oman {return("oman")}
  pakistan {return("pakistan")}
  palau {return("palau")}
  panama {return("panama")}
  ( papua new guinea ) {return("papua new guinea")}
  paraguay {return("paraguay")}
  peru {return("peru")}
  ( ?the philippines ) {return("philippines")}
  poland {return("poland")}
  ( ?french polynesia ) {return("polynesia")}
  portugal {return("portugal")}
  ( puerto rico ) {return("puerto rico")}
  qatar {return("qatar")}
  romania {return("romania")}
  russia {return("russia")}
  rwanda {return("rwanda")}
  ( saint helena ) {return("saint helena")}
  ( saint lucia ) {return("saint lucia")}
  samoa {return("samoa")}
  ( san marino ) {return("san marino")}
  ( saudi arabia ) {return("saudi arabia")}
  scotland {return("scotland")}
  senegal {return("senegal")}
  ( sierra leone ) {return("sierra leone")}
  singapore {return("singapore")}
  ( slovak republic ) {return("slovak republic")}
  slovenia {return("slovenia")}
  somalia {return("somalia")}
  ( south africa ) {return("south africa")}
  ( ?south korea ) {return("south korea")}
  spain {return("spain")}
  ( [(sri lanka) ceylon] ) {return("sri lanka")}
  sudan {return("sudan")}
  suriname {return("suriname")}
  swaziland {return("swaziland")}
  sweden {return("sweden")}
  switzerland {return("switzerland")}
  syria {return("syria")}
  taiwan {return("taiwan")}
  tanzania {return("tanzania")}
  thailand {return("thailand")}
  ( [holland (?the netherlands)] ) {return("the netherlands")}
  ( ?the vatican ?city ) {return("the vatican city state")}
  togo {return("togo")}
  ( trinidad ?(?and tobago) ) {return("trinidad and tobago")}
  tunisia {return("tunisia")}
  turkey {return("turkey")}
  ( [(u a e) (united arab emirates)] ) {return("u a e")}
  ( (?the ?(u s) virgin islands) ) {return("u s virgin islands")}
  uganda {return("uganda")}
  ukraine {return("ukraine")}
  ( [(?the united kingdom) (?the u k)] ) {return("united kingdom")}
  ( [(?the united states ?(of america)) (u s a)] ) {return("united states")}
  uruguay {return("uruguay")}
  uzbekistan {return("uzbekistan")}
  vanuatu {return("vanuatu")}
  venezuela {return("venezuela")}
  vietnam {return("vietnam")}
  wales {return("wales")}
  ( west africa ) {return("west africa")}
  ( ?the west indies ) {return("west indies")}
  ( western sahara ) {return("western sahara")}
  yemen {return("yemen")}
  yugoslavia {return("yugoslavia")}
  zaire {return("zaire")}
  zambia {return("zambia")}
  zimbabwe {return("zimbabwe")}
]