--# -path=.:englishExtended
concrete CountriesAndRegionsEng of CountriesAndRegions = MidLevelOntologyEng ** open ParadigmsEng,NounEng  in {
  
lin 
  NewJersey = UsePN (mkPN "New Jersey") ;
  NewYorkState = UsePN (mkPN "New York") ;
  Texas = UsePN (mkPN "Texas") ;
  AdanaTurkey = UsePN (mkPN "Adana") ;
  AddisAbabaEthiopia = UsePN (mkPN "Addis Ababa") ;
  AdenYemen = UsePN (mkPN "Aden") ;
  AdoraWestBank = UsePN (mkPN "Adora") ;
  AfulaIsrael = UsePN (mkPN "Afula") ;
  AgriTurkey = UsePN (mkPN "Agri") ;
  AinDeflaAlgeria = UsePN (mkPN "Ain Defla") ;
  AinElHajarAlgeria = UsePN (mkPN "Ain el Hajar") ;
  AjaccioFrance = UsePN (mkPN "Ajaccio") ;
  AlBalamandLebanon = UsePN (mkPN "Al-Balamand") ;
  AleiSinaiGazaStrip = UsePN (mkPN "Alei Sinai") ;
  AleiZahavWestBank = UsePN (mkPN "Alei Zahav") ;
  AleyLebanon = UsePN (mkPN "Aley") ;
  AlgiersAlgeria = UsePN (mkPN "Algiers") ;
  AlkhanYurtRussia = UsePN (mkPN "Alkhan-Yurt") ;
  AlonMorehWestBank = UsePN (mkPN "Alon Moreh") ;
  AmbonIndonesia = UsePN (mkPN "Ambon") ;
  AmmanJordan = UsePN (mkPN "Amman") ;
  AnNuwaydiratBahrain = UsePN (mkPN "An Nuwaydirat") ;
  AndeanSpain = UsePN (mkPN "Andean") ;
  AngkorWatCambodia = UsePN (mkPN "Angkor Wat") ;
  AnkaraTurkey = UsePN (mkPN "Ankara") ;
  AntalyaTurkey = UsePN (mkPN "Antalya") ;
  AntioquiaColombia = UsePN (mkPN "Antioquia") ;
  AntwerpBelgium = UsePN (mkPN "Antwerp") ;
  ApumiracPeru = UsePN (mkPN "Apumirac") ;
  ApureVenezuela = UsePN (mkPN "Apure") ;
  AraucaColombia = UsePN (mkPN "Arauca") ;
  ArgunRussia = UsePN (mkPN "Argun") ;
  ArielWestBank = UsePN (mkPN "Ariel") ;
  ArmaghNorthernIreland = UsePN (mkPN "Armagh") ;
  ArzewAlgeria = UsePN (mkPN "Arzew") ;
  AshdodIsrael = UsePN (mkPN "Ashdod") ;
  AskelonIsrael = UsePN (mkPN "Askelon") ;
  AsmaraEritrea = UsePN (mkPN "Asmara") ;
  AssamIndia = UsePN (mkPN "Assam") ;
  AswanEgypt = UsePN (mkPN "Aswan") ;
  AsyutEgypt = UsePN (mkPN "Asyut") ;
  AthensGreece = UsePN (mkPN "Athens") ;
  AtrushIraq = UsePN (mkPN "Atrush") ;
  AtzmonaGazaStrip = UsePN (mkPN "Atzmona") ;
  AvneiHefetzIsrael = UsePN (mkPN "Avnei Hefetz") ;
  AyacuchoPeru = UsePN (mkPN "Ayacucho") ;
  AzorIsrael = UsePN (mkPN "Azor") ;
  BadVilbelGermany = UsePN (mkPN "Bad Vilbel") ;
  BaghdadIraq = UsePN (mkPN "Baghdad") ;
  BagreColombia = UsePN (mkPN "Bagre") ;
  Bahamas = UsePN (mkPN "Bahamas") ;
  BahawalpurPakistan = UsePN (mkPN "Bahawalpur") ;
  BakaAlGarbiyehIsrael = UsePN (mkPN "Baka al-Garbiyeh") ;
  BakkaAlSharkiyaWestBank = UsePN (mkPN "Bakka al-Sharkiya") ;
  BakuAzerbaijan = UsePN (mkPN "Baku") ;
  BaleEthiopia = UsePN (mkPN "Bale") ;
  BanbridgeNorthernIreland = UsePN (mkPN "Banbridge") ;
  BangkokThailand = UsePN (mkPN "Bangkok") ;
  BangorNorthernIreland = UsePN (mkPN "Bangor") ;
  BanguiCentralAfricanRepublic = UsePN (mkPN "Bangui") ;
  BarcelonaSpain = UsePN (mkPN "Barcelona") ;
  BarkeoCambodia = UsePN (mkPN "Barkeo") ;
  BarrancabermejaColombia = UsePN (mkPN "Barrancabermeja") ;
  BasraIsrael = UsePN (mkPN "Basra") ;
  BatYamIsrael = UsePN (mkPN "Bat Yam") ;
  BatmanTurkey = UsePN (mkPN "Batman") ;
  BeasainSpain = UsePN (mkPN "Beasain") ;
  BeErShevaIsrael = UsePN (mkPN "Be'er Sheva") ;
  BeirutLebanon = UsePN (mkPN "Beirut") ;
  BeitElWestBank = UsePN (mkPN "Beit El") ;
  BeitHaggaiWestBank = UsePN (mkPN "Beit Haggai") ;
  BeitSahurWestBank = UsePN (mkPN "Beit Sahur") ;
  BeitSheAnIsrael = UsePN (mkPN "Beit She'an") ;
  BeitShemeshIsrael = UsePN (mkPN "Beit Shemesh") ;
  BeledweyneSomalia = UsePN (mkPN "Beledweyne") ;
  BelfastNorthernIreland = UsePN (mkPN "Belfast") ;
  BelgradeSerbiaAndMontenegro = UsePN (mkPN "Belgrade") ;
  BerlinGermany = UsePN (mkPN "Berlin") ;
  BetLeHiyehGazaStrip = UsePN (mkPN "Bet LeHiyeh") ;
  BetLidJunctionIsrael = UsePN (mkPN "Bet Lid Junction") ;
  BethElIsrael = UsePN (mkPN "Beth El") ;
  BethlehemWestBank = UsePN (mkPN "Bethlehem") ;
  BidyaWestBank = UsePN (mkPN "Bidya") ;
  BilbaoSpain = UsePN (mkPN "Bilbao") ;
  BillabonaSpain = UsePN (mkPN "Billabona") ;
  BinyaminaIsrael = UsePN (mkPN "Binyamina") ;
  BKaotWestBank = UsePN (mkPN "B'kaot") ;
  BneiAyishIsrael = UsePN (mkPN "Bnei Ayish") ;
  BogotaColombia = UsePN (mkPN "Bogota") ;
  BolognaItaly = UsePN (mkPN "Bologna") ;
  BonnGermany = UsePN (mkPN "Bonn") ;
  BosphorousStraitsTurkey = UsePN (mkPN "BosphorousStraits") ;
  BouiraAlgeria = UsePN (mkPN "Bouira") ;
  BouzeGueneAlgeria = UsePN (mkPN "Bouze-guene") ;
  BrusselsBelgium = UsePN (mkPN "Brussels") ;
  BucaramangaColombia = UsePN (mkPN "Bucaramanga") ;
  BucharestRomania = UsePN (mkPN "Bucharest") ;
  BuenosAiresArgentina = UsePN (mkPN "Buenos Aires") ;
  BuinakskRussia = UsePN (mkPN "Buinaksk") ;
  Burma = UsePN (mkPN "Burma") ;
  BwindiforestUganda = UsePN (mkPN "Bwindi forest") ;
  CabindaAngola = UsePN (mkPN "Cabinda") ;
  CaglayanTurkey = UsePN (mkPN "Caglayan") ;
  CairoEgypt = UsePN (mkPN "Cairo") ;
  CalcuttaIndia = UsePN (mkPN "Calcutta") ;
  CaliColombia = UsePN (mkPN "Cali") ;
  CampZamaJapan = UsePN (mkPN "Camp Zama") ;
  CankiriTurkey = UsePN (mkPN "Cankiri") ;
  CapeTownSouthAfrica = UsePN (mkPN "Cape Town") ;
  CaritasPolandChechnya = UsePN (mkPN "Caritas Poland") ;
  CarmelIsrael = UsePN (mkPN "Carmel") ;
  CarmenDeBolivarColombia = UsePN (mkPN "Carmen de Bolivar") ;
  CarrejonColombia = UsePN (mkPN "Carrejon") ;
  ChamanPakistan = UsePN (mkPN "Chaman") ;
  ChararESharifIndia = UsePN (mkPN "Charar-e-Sharif") ;
  CharsaadaPakistan = UsePN (mkPN "Charsaada") ;
  ChernoRechyeRussia = UsePN (mkPN "Cherno-rechye") ;
  ChicagoUnitedStates = UsePN (mkPN "Chicago") ;
  ChisimayuSomalia = UsePN (mkPN "Chisimayu") ;
  ChittagongBangladesh = UsePN (mkPN "Chittagong") ;
  ChobaAngola = UsePN (mkPN "Choba") ;
  ChocoColombia = UsePN (mkPN "Choco") ;
  ChorrosQueroVenezuela = UsePN (mkPN "Chorros-quero") ;
  ClarkAirbasePhilippines = UsePN (mkPN "Clark Airbase") ;
  CoimbatoreIndia = UsePN (mkPN "Coimbatore") ;
  CologneGermany = UsePN (mkPN "Cologne") ;
  ColombiaCityColombia = UsePN (mkPN "Colombia City") ;
  ColombiaPanama = UsePN (mkPN "Colombia") ;
  ColomboSriLanka = UsePN (mkPN "Colombo") ;
  ComayaguaHonduras = UsePN (mkPN "Comayagua") ;
  Congo = UsePN (mkPN "Congo") ;
  CopacaBanaCuba = UsePN (mkPN "Copaca-bana") ;
  CopenhagenDenmark = UsePN (mkPN "Copenhagen") ;
  CorsicaFrance = UsePN (mkPN "Corsica") ;
  CorteFrance = UsePN (mkPN "Corte") ;
  CorumTurkey = UsePN (mkPN "Corum") ;
  CundiNamarcaColombia = UsePN (mkPN "Cundi-namarca") ;
  CupiaguaColombia = UsePN (mkPN "Cupiagua") ;
  CuzcoPeru = UsePN (mkPN "Cuzco") ;
  DagestanRussia = UsePN (mkPN "Dagestan") ;
  DahukIraq = UsePN (mkPN "Dahuk") ;
  DangDistrictNepal = UsePN (mkPN "Dang district") ;
  DarEsSalaAmTanzania = UsePN (mkPN "Dar es Sala'am") ;
  DarvazTajikistan = UsePN (mkPN "Darvaz") ;
  DebaSpain = UsePN (mkPN "Deba") ;
  DelhiIndia = UsePN (mkPN "Delhi") ;
  DhahranSaudiArabia = UsePN (mkPN "Dhahran") ;
  DhakaBangladesh = UsePN (mkPN "Dhaka") ;
  DinanFrance = UsePN (mkPN "Dinan") ;
  DirNaballahWestBank = UsePN (mkPN "Dir Naballah") ;
  DireDawaEthiopia = UsePN (mkPN "Dire Dawa") ;
  DistrictOfMansehraPakistan = UsePN (mkPN "district of Mansehra") ;
  DjakashariGeorgia = UsePN (mkPN "Djakashari") ;
  DjerbaTunisia = UsePN (mkPN "Djerba") ;
  DodaIndia = UsePN (mkPN "Doda") ;
  DortmundGermany = UsePN (mkPN "Dortmund") ;
  DublinIreland = UsePN (mkPN "Dublin") ;
  DuesseldorfGermany = UsePN (mkPN "Duesseldorf") ;
  DugitGazaStrip = UsePN (mkPN "Dugit") ;
  DurangoSpain = UsePN (mkPN "Durango") ;
  DushanbeTajikistan = UsePN (mkPN "Dushanbe") ;
  DushanbeAirportTajikistan = UsePN (mkPN "Dushanbe airport") ;
  DushanbeGarmTajikistan = UsePN (mkPN "Dushanbe Garm") ;
  EastJerusalemIsrael = UsePN (mkPN "East Jerusalem") ;
  EfratWestBank = UsePN (mkPN "Efrat") ;
  EilatIsrael = UsePN (mkPN "Eilat") ;
  EinavWestBank = UsePN (mkPN "Einav") ;
  ElBagreColombia = UsePN (mkPN "El Bagre") ;
  ElBirehWestBank = UsePN (mkPN "El Bireh") ;
  ElPlayonColombia = UsePN (mkPN "El Playon") ;
  ElRipialApureVenezuela = UsePN (mkPN "El Ripial Apure") ;
  ElayoSomalia = UsePN (mkPN "Elayo") ;
  ElAzzariyaWestBank = UsePN (mkPN "el-Azzariya") ;
  EleiSinaiGazaStrip = UsePN (mkPN "Elei Sinai") ;
  EmmanuelWestBank = UsePN (mkPN "Emmanuel") ;
  ErezGazaStrip = UsePN (mkPN "Erez") ;
  FethiyeAndMarmarisTurkey = UsePN (mkPN "Fethiye and Marmaris") ;
  FloridaUnitedStates = UsePN (mkPN "Florida") ;
  FormequeColombia = UsePN (mkPN "Formeque") ;
  FrankfurtGermany = UsePN (mkPN "Frankfurt") ;
  FrenchHillIsrael = UsePN (mkPN "French Hill") ;
  FuengirolaSpain = UsePN (mkPN "Fuengirola") ;
  FusagasusaColombia = UsePN (mkPN "Fusagasusa") ;
  GaliAbkhaziaGeorgia = UsePN (mkPN "Gali Abkhazia") ;
  GanimWestBank = UsePN (mkPN "Ganim") ;
  GashuriIsrael = UsePN (mkPN "Gashuri") ;
  GeneralSantosPhilippines = UsePN (mkPN "General Santos") ;
  GenevaSwitzerland = UsePN (mkPN "Geneva") ;
  Georgia = UsePN (mkPN "Georgia") ;
  GetxoSpain = UsePN (mkPN "Getxo") ;
  GhalebiehIraq = UsePN (mkPN "Ghalebieh") ;
  GhaziabadUttarPradeshIndia = UsePN (mkPN "Ghaziabad Uttar Pradesh") ;
  GiloIsrael = UsePN (mkPN "Gilo") ;
  GivatZeEvWestBank = UsePN (mkPN "Givat Ze'ev") ;
  GizaEgypt = UsePN (mkPN "Giza") ;
  GonegalleSriLanka = UsePN (mkPN "Gonegalle") ;
  GranadaSpain = UsePN (mkPN "Granada") ;
  GrazAustria = UsePN (mkPN "Graz") ;
  GroznyChechnya = UsePN (mkPN "Grozny") ;
  GuilinChina = UsePN (mkPN "Guilin") ;
  GujaratIndia = UsePN (mkPN "Gujarat") ;
  GushEtzionWestBank = UsePN (mkPN "Gush Etzion") ;
  GushKatifGazaStrip = UsePN (mkPN "Gush Katif") ;
  HaderaIsrael = UsePN (mkPN "Hadera") ;
  HaifaIsrael = UsePN (mkPN "Haifa") ;
  HamburgGermany = UsePN (mkPN "Hamburg") ;
  HamisMiliyanaAlgeria = UsePN (mkPN "Hamis Miliyana") ;
  HamraWestBank = UsePN (mkPN "Hamra") ;
  HannoverGermany = UsePN (mkPN "Hannover") ;
  HarBrachaWestBank = UsePN (mkPN "Har Bracha") ;
  HarerEthiopia = UsePN (mkPN "Harer") ;
  HavanaCuba = UsePN (mkPN "Havana") ;
  HawanaIraq = UsePN (mkPN "Hawana") ;
  HeartAfghanistan = UsePN (mkPN "Heart") ;
  HebronWestBank = UsePN (mkPN "Hebron") ;
  HermeshIsrael = UsePN (mkPN "Hermesh") ;
  HernaniSpain = UsePN (mkPN "Hernani") ;
  HerzliyaIsrael = UsePN (mkPN "Herzliya") ;
  HilversumNetherlands = UsePN (mkPN "Hilversum") ;
  HizmaWestBank = UsePN (mkPN "Hizma") ;
  HodayaJunctionIsrael = UsePN (mkPN "Hodaya Junction") ;
  HolonJunctionIsrael = UsePN (mkPN "Holon Junction") ;
  HuallgaPeru = UsePN (mkPN "Huallga") ;
  HurghadaEgypt = UsePN (mkPN "Hurghada") ;
  HyderabadPakistan = UsePN (mkPN "Hyderabad") ;
  IbsrilIraq = UsePN (mkPN "Ibsril") ;
  IncirlikAirbaseTurkey = UsePN (mkPN "Incirlik Airbase") ;
  IpilPhilippines = UsePN (mkPN "Ipil") ;
  IrbilIraq = UsePN (mkPN "Irbil") ;
  IslamabadPakistan = UsePN (mkPN "Islamabad") ;
  IslandOfBaliIndonesia = UsePN (mkPN "Island of Bali") ;
  IstanbulTurkey = UsePN (mkPN "Istanbul") ;
  ItamarWestBank = UsePN (mkPN "Itamar") ;
  IzmirTurkey = UsePN (mkPN "Izmir") ;
  JaffaIsrael = UsePN (mkPN "Jaffa") ;
  JaffnaSriLanka = UsePN (mkPN "Jaffna") ;
  JakartaIndonesia = UsePN (mkPN "Jakarta") ;
  JalahIndia = UsePN (mkPN "Jalah") ;
  JalpaiguriRailwayStationIndia = UsePN (mkPN "Jalpaiguri Railway Station") ;
  JammuIndia = UsePN (mkPN "Jammu") ;
  JangasPeru = UsePN (mkPN "Jangas") ;
  JeninWestBank = UsePN (mkPN "Jenin") ;
  JerusalemIsrael = UsePN (mkPN "Jerusalem") ;
  JMainWestBank = UsePN (mkPN "J'main") ;
  JohannesburgSouthAfrica = UsePN (mkPN "Johannesburg") ;
  JoloPhilippines = UsePN (mkPN "Jolo") ;
  JubialSaudiArabia = UsePN (mkPN "Jubial") ;
  JullundurIndia = UsePN (mkPN "Jullundur") ;
  KabacanPhilippines = UsePN (mkPN "Kabacan") ;
  KabulAfghanistan = UsePN (mkPN "Kabul") ;
  KafrAkabWestBank = UsePN (mkPN "Kafr Akab") ;
  KafrIdnaWestBank = UsePN (mkPN "Kafr Idna") ;
  KalkilyaWestBank = UsePN (mkPN "Kalkilya") ;
  KalmunaiSriLanka = UsePN (mkPN "Kalmunai") ;
  KampalaUganda = UsePN (mkPN "Kampala") ;
  KandySriLanka = UsePN (mkPN "Kandy") ;
  KanihamaIndia = UsePN (mkPN "Kanihama") ;
  KarachiPakistan = UsePN (mkPN "Karachi") ;
  KarkurIsrael = UsePN (mkPN "Karkur") ;
  KarmeiTzurWestBank = UsePN (mkPN "Karmei Tzur") ;
  KarneiShomronWestBank = UsePN (mkPN "Karnei Shomron") ;
  KashmirIndia = UsePN (mkPN "Kashmir") ;
  KatmanduAirportNepal = UsePN (mkPN "Katmandu Airport") ;
  KedumimWestBank = UsePN (mkPN "Kedumim") ;
  KedumimSettlementWestBank = UsePN (mkPN "Kedumim Settlement") ;
  KfarBaAnehIsrael = UsePN (mkPN "Kfar Ba'aneh") ;
  KfarDaromGazaStrip = UsePN (mkPN "Kfar Darom") ;
  KfarHessIsrael = UsePN (mkPN "Kfar Hess") ;
  KfarSabaIsrael = UsePN (mkPN "Kfar Saba") ;
  KfarTzurifWestBank = UsePN (mkPN "Kfar Tzurif") ;
  KfarYamGazaStrip = UsePN (mkPN "Kfar Yam") ;
  KfarDaromNetzarimIsrael = UsePN (mkPN "Kfar-Darom Netzarim") ;
  KhankalaChechnya = UsePN (mkPN "Khankala") ;
  KhartoumSudan = UsePN (mkPN "Khartoum") ;
  KhelilAlgeria = UsePN (mkPN "Khelil") ;
  KhobarSaudiArabia = UsePN (mkPN "Khobar") ;
  KibbutzGalEdIsrael = UsePN (mkPN "Kibbutz Gal 'Ed") ;
  KibbutzMeravIsrael = UsePN (mkPN "Kibbutz Merav") ;
  KibbutzSheluhotIsrael = UsePN (mkPN "Kibbutz Sheluhot") ;
  KidapawanPhilippines = UsePN (mkPN "Kidapawan") ;
  KigaliRwanda = UsePN (mkPN "Kigali") ;
  KirikkaleTurkey = UsePN (mkPN "Kirikkale") ;
  KiryatArbaWestBank = UsePN (mkPN "Kiryat Arba") ;
  KiryatMotzkinIsrael = UsePN (mkPN "Kiryat Motzkin") ;
  KiryatNetafimWestBank = UsePN (mkPN "Kiryat Netafim") ;
  KissufimGazaStrip = UsePN (mkPN "Kissufim") ;
  KiursehirBoztepTurkey = UsePN (mkPN "Kiursehir-Boztep") ;
  KlaiyatLebanon = UsePN (mkPN "Klaiyat") ;
  KohlanYemen = UsePN (mkPN "Kohlan") ;
  KomsomoLabadTajikistan = UsePN (mkPN "Komsomo-labad") ;
  KuwaitCityKuwait = UsePN (mkPN "Kuwait City") ;
  LaCeibaHonduras = UsePN (mkPN "La Ceiba") ;
  LaGabarraVenezuela = UsePN (mkPN "La Gabarra") ;
  LaGuajiraColombia = UsePN (mkPN "La Guajira") ;
  LaPazBolivia = UsePN (mkPN "La Paz") ;
  LaVictoriaVenezuela = UsePN (mkPN "La Victoria") ;
  LahorePakistan = UsePN (mkPN "Lahore") ;
  LarbaAlgeria = UsePN (mkPN "Larba") ;
  LarnacaCyprus = UsePN (mkPN "Larnaca") ;
  LasarteSpain = UsePN (mkPN "Lasarte") ;
  LeizaSpain = UsePN (mkPN "Leiza") ;
  LesEucalyptusDistrictAlgeria = UsePN (mkPN "Les Eucalyptus district") ;
  LibertadorVenezuela = UsePN (mkPN "Libertador") ;
  LiceTurkey = UsePN (mkPN "Lice") ;
  LIleRousseFrance = UsePN (mkPN "L'Ile-Rousse") ;
  LimaPeru = UsePN (mkPN "Lima") ;
  LindosRhodes = UsePN (mkPN "Lindos") ;
  LinzAustralia = UsePN (mkPN "Linz") ;
  LockerbieUnitedKingdom = UsePN (mkPN "Lockerbie") ;
  LogornoSpain = UsePN (mkPN "Logorno") ;
  LondonUnitedKingdom = UsePN (mkPN "London") ;
  LondonberryNorthernIreland = UsePN (mkPN "Londonberry") ;
  LosAngelesUnitedStates = UsePN (mkPN "Los Angeles") ;
  LosAngelesInternationalAirportUnitedStates = UsePN (mkPN "Los Angeles International Airport") ;
  LosBancosVenezuela = UsePN (mkPN "Los Bancos") ;
  LosKatiosNationalParkColombia = UsePN (mkPN "Los Katios National Park") ;
  LuandaAngola = UsePN (mkPN "Luanda") ;
  LuebeckGermany = UsePN (mkPN "Luebeck") ;
  LundaNorteAngola = UsePN (mkPN "Lunda Norte") ;
  LuxorEgypt = UsePN (mkPN "Luxor") ;
  LyonsFrance = UsePN (mkPN "Lyons") ;
  MaAlehMichmashWestBank = UsePN (mkPN "Ma'aleh Michmash") ;
  MaccabimIsrael = UsePN (mkPN "Maccabim") ;
  MadhuSriLanka = UsePN (mkPN "Madhu") ;
  MadrasIndia = UsePN (mkPN "Madras") ;
  MadridSpain = UsePN (mkPN "Madrid") ;
  MagdalenaColombia = UsePN (mkPN "Magdalena") ;
  MaidanSharAfghanistan = UsePN (mkPN "Maidan Shar") ;
  MakhachkalaRussia = UsePN (mkPN "Makhachkala") ;
  MalagaSpain = UsePN (mkPN "Malaga") ;
  MalukkaIslandsIndonesia = UsePN (mkPN "Malukka islands") ;
  ManaguaNigeria = UsePN (mkPN "Managua") ;
  ManamaBahrain = UsePN (mkPN "Manama") ;
  ManchesterUnitedKingdom = UsePN (mkPN "Manchester") ;
  MangalsenAndSanpheBagarNepal = UsePN (mkPN "Mangalsen and Sanphe Bagar") ;
  ManilaPhilippines = UsePN (mkPN "Manila") ;
  MaonIsrael = UsePN (mkPN "Maon") ;
  MapourditSudan = UsePN (mkPN "Mapourdit") ;
  MarSabaWestBank = UsePN (mkPN "Mar Saba") ;
  MarawiPhilippines = UsePN (mkPN "Marawi") ;
  MardanPakistan = UsePN (mkPN "Mardan") ;
  MarmarisTurkey = UsePN (mkPN "Marmaris") ;
  MarseillesFrance = UsePN (mkPN "Marseilles") ;
  MashaWestBank = UsePN (mkPN "Masha") ;
  MatsumotoJapan = UsePN (mkPN "Matsumoto") ;
  MawdiyahYemen = UsePN (mkPN "Mawdiyah") ;
  MeaShearimIsrael = UsePN (mkPN "Mea Shearim") ;
  MeccaSaudiArabia = UsePN (mkPN "Mecca") ;
  MechoraWestBank = UsePN (mkPN "Mechora") ;
  MedanIndonesia = UsePN (mkPN "Medan") ;
  MedellinColombia = UsePN (mkPN "Medellin") ;
  MegidoIsrael = UsePN (mkPN "Megido") ;
  MeholaIsrael = UsePN (mkPN "Mehola") ;
  MekholahIsrael = UsePN (mkPN "Mekholah") ;
  MersinTurkey = UsePN (mkPN "Mersin") ;
  MetaColombia = UsePN (mkPN "Meta") ;
  MetullaIsrael = UsePN (mkPN "Metulla") ;
  MetzerIsrael = UsePN (mkPN "Metzer") ;
  MilanItaly = UsePN (mkPN "Milan") ;
  MindanaoPhilippines = UsePN (mkPN "Mindanao") ;
  MinharotRoadWestBank = UsePN (mkPN "Minharot Road") ;
  MiranShahPakistan = UsePN (mkPN "Miran Shah") ;
  MituColombia = UsePN (mkPN "Mitu") ;
  ModiinIllitWestBank = UsePN (mkPN "Modiin Illit") ;
  MombassaKenya = UsePN (mkPN "Mombassa") ;
  MoragJunctionGazaStrip = UsePN (mkPN "Morag Junction") ;
  MoscowRussia = UsePN (mkPN "Moscow") ;
  MoshavHagorIsrael = UsePN (mkPN "Moshav Hagor") ;
  MoshavTomerWestBank = UsePN (mkPN "Moshav Tomer") ;
  MukallahAdenYemen = UsePN (mkPN "Mukallah-Aden") ;
  MunchenGladbachGermany = UsePN (mkPN "Munchen-Gladbach") ;
  MunsterGermany = UsePN (mkPN "Munster") ;
  MurloughNorthernIreland = UsePN (mkPN "Murlough") ;
  MusMusIsrael = UsePN (mkPN "Mus Mus") ;
  MutataColombia = UsePN (mkPN "Mutata") ;
  MutturSriLanka = UsePN (mkPN "Muttur") ;
  NaAlinWestBank = UsePN (mkPN "Na'alin") ;
  NablusWestBank = UsePN (mkPN "Nablus") ;
  NahalOzGazaStrip = UsePN (mkPN "Nahal Oz") ;
  NaharaimIsrael = UsePN (mkPN "Naharaim") ;
  NahariyaIsrael = UsePN (mkPN "Nahariya") ;
  NairobiKenya = UsePN (mkPN "Nairobi") ;
  NajafIraq = UsePN (mkPN "Najaf") ;
  NallurAreaSriLanka = UsePN (mkPN "Nallur Area") ;
  NaquraLebanon = UsePN (mkPN "Naqura") ;
  NarayangangBangladesh = UsePN (mkPN "Narayangang") ;
  NetanyaIsrael = UsePN (mkPN "Netanya") ;
  NetzarimGazaStrip = UsePN (mkPN "Netzarim") ;
  NetzerHazaniGazaStrip = UsePN (mkPN "Netzer Hazani") ;
  NeveDanielWestBank = UsePN (mkPN "Neve Daniel") ;
  NeveYaminIsrael = UsePN (mkPN "Neve Yamin") ;
  NewDelhiIndia = UsePN (mkPN "New Delhi") ;
  NewYorkCityUnitedStates = UsePN (mkPN "New York City") ;
  NeztarimSettlementGazaStrip = UsePN (mkPN "Neztarim Settlement") ;
  NiameyNiger = UsePN (mkPN "Niamey") ;
  NissanitGazaStrip = UsePN (mkPN "Nissanit") ;
  NitzaneiOzWestBank = UsePN (mkPN "Nitzanei Oz") ;
  NitzanimIsrael = UsePN (mkPN "Nitzanim") ;
  NokdimTekoaRdWestBank = UsePN (mkPN "Nokdim-Tekoa Rd.") ;
  NorteDeSantanderColombia = UsePN (mkPN "Norte de Santander") ;
  NorthernCaucasiusChechnya = UsePN (mkPN "Northern Caucasius") ;
  NovogroznyRussia = UsePN (mkPN "Novogrozny") ;
  NovyyAtagiRussia = UsePN (mkPN "Novyy Atagi") ;
  OberwartAustria = UsePN (mkPN "Oberwart") ;
  OfraWestBank = UsePN (mkPN "Ofra") ;
  OilbaseAlgeria = UsePN (mkPN "Oil base") ;
  oilfieldsVenezuela = UsePN (mkPN "oilfields") ;
  OkaraPakistan = UsePN (mkPN "Okara") ;
  OlayaHerreraColombia = UsePN (mkPN "Olaya Herrera") ;
  OmaghNorthernIreland = UsePN (mkPN "Omagh") ;
  OrYehudaIsrael = UsePN (mkPN "Or Yehuda") ;
  OranAlgeria = UsePN (mkPN "Oran") ;
  OsakaJapan = UsePN (mkPN "Osaka") ;
  OsloNorway = UsePN (mkPN "Oslo") ;
  OssnabruckGermany = UsePN (mkPN "Ossnabruck") ;
  OthnielJunctionIsrael = UsePN (mkPN "Othniel Junction") ;
  OtnielWestBank = UsePN (mkPN "Otniel") ;
  OtzarinWestBank = UsePN (mkPN "Otzarin") ;
  OzamisPhilippines = UsePN (mkPN "Ozamis") ;
  PahalgamIndia = UsePN (mkPN "Pahalgam") ;
  PalorinyaUganda = UsePN (mkPN "Palorinya") ;
  PamplonaSpain = UsePN (mkPN "Pamplona") ;
  PanamaCityPanama = UsePN (mkPN "Panama City") ;
  PantrasGreece = UsePN (mkPN "Pantras") ;
  PapayinColombia = UsePN (mkPN "Papayin") ;
  PapuaIndonesia = UsePN (mkPN "Papua") ;
  ParisFrance = UsePN (mkPN "Paris") ;
  PatikulPhilippines = UsePN (mkPN "Patikul") ;
  PauFrance = UsePN (mkPN "Pau") ;
  PeAtSadehGazaStrip = UsePN (mkPN "Pe'at Sadeh") ;
  PeshawarPakistan = UsePN (mkPN "Peshawar") ;
  PetahTikvahIsrael = UsePN (mkPN "Petah Tikvah") ;
  PhnomPenhCambodia = UsePN (mkPN "Phnom Penh") ;
  PortadownIreland = UsePN (mkPN "Portadown") ;
  PragueCzechRepublic = UsePN (mkPN "Prague") ;
  PuertoAlviraColombia = UsePN (mkPN "Puerto Alvira") ;
  PuertoLlerasColombia = UsePN (mkPN "Puerto Lleras") ;
  PunjabPakistan = UsePN (mkPN "Punjab") ;
  QuettaPakistan = UsePN (mkPN "Quetta") ;
  QuitoEcuador = UsePN (mkPN "Quito") ;
  RadaAmanYemen = UsePN (mkPN "Rada-Aman") ;
  RafahGazaStrip = UsePN (mkPN "Rafah") ;
  RamaJunctionWestBank = UsePN (mkPN "Rama Junction") ;
  RamalDeAspusanaPeru = UsePN (mkPN "Ramal de Aspusana") ;
  RamallahWestBank = UsePN (mkPN "Ramallah") ;
  RamatGanIsrael = UsePN (mkPN "Ramat Gan") ;
  RaminWestBank = UsePN (mkPN "Ramin") ;
  RamleIsrael = UsePN (mkPN "Ramle") ;
  RawalpindiPakistan = UsePN (mkPN "Rawalpindi") ;
  ReusSpain = UsePN (mkPN "Reus") ;
  RigaLatvia = UsePN (mkPN "Riga") ;
  RijekaCroatia = UsePN (mkPN "Rijeka") ;
  RimalDistrictGazaStrip = UsePN (mkPN "Rimal district") ;
  RishonLeZionIsrael = UsePN (mkPN "Rishon Le Zion") ;
  RiyadhSaudiArabia = UsePN (mkPN "Riyadh") ;
  RoermondNetherlands = UsePN (mkPN "Roermond") ;
  RomeItaly = UsePN (mkPN "Rome") ;
  RosasSpain = UsePN (mkPN "Rosas") ;
  RostovOnDonRussia = UsePN (mkPN "Rostov-on-Don") ;
  RuhengeriRwanda = UsePN (mkPN "Ruhengeri") ;
  SaadaYemen = UsePN (mkPN "Saada") ;
  SabatenaColombia = UsePN (mkPN "Sabatena") ;
  SacramentoUnitedStates = UsePN (mkPN "Sacramento") ;
  SaintAvoldFrance = UsePN (mkPN "Saint Avold") ;
  SaintSebastianSpain = UsePN (mkPN "Saint Sebastian") ;
  SaintJeanDeLuzFrance = UsePN (mkPN "Saint-Jean-de-Luz") ;
  SairanbarIraq = UsePN (mkPN "Sairanbar") ;
  SajaIAGazaStrip = UsePN (mkPN "Saja'i'a") ;
  SallentDeGallegoSpain = UsePN (mkPN "Sallent de Gallego") ;
  SamariaWestBank = UsePN (mkPN "Samaria") ;
  SamashkiRussia = UsePN (mkPN "Samashki") ;
  SanDiegoColombia = UsePN (mkPN "San Diego") ;
  SanJoseCostaRica = UsePN (mkPN "San Jose") ;
  SanLuisColombia = UsePN (mkPN "San Luis") ;
  SanMiguelElSalvador = UsePN (mkPN "San Miguel") ;
  SanPabloColombia = UsePN (mkPN "San Pablo") ;
  SanSabatianSpain = UsePN (mkPN "San Sabatian") ;
  SanaaYemen = UsePN (mkPN "Sanaa") ;
  SangaldanIndia = UsePN (mkPN "Sangaldan") ;
  SantaMartaColombia = UsePN (mkPN "Santa Marta") ;
  SantaPolaSpain = UsePN (mkPN "Santa Pola") ;
  SantaRitaMountainsPanama = UsePN (mkPN "Santa Rita Mountains") ;
  SantiagoChile = UsePN (mkPN "Santiago") ;
  SanurIsrael = UsePN (mkPN "Sanur") ;
  SarajevoBosniaAndHerzegovina = UsePN (mkPN "Sarajevo") ;
  SatkhiraBangladesh = UsePN (mkPN "Satkhira") ;
  SegoviaColombia = UsePN (mkPN "Segovia") ;
  SeoulSouthKorea = UsePN (mkPN "Seoul") ;
  SevilleSpain = UsePN (mkPN "Seville") ;
  ShadmotMeholaWestBank = UsePN (mkPN "Shadmot Mehola") ;
  ShaveiShomronWestBank = UsePN (mkPN "Shavei Shomron") ;
  SheikhAjlunGazaStrip = UsePN (mkPN "Sheikh Ajlun") ;
  ShiloWestBank = UsePN (mkPN "Shilo") ;
  ShimiEcuador = UsePN (mkPN "Shimi") ;
  ShlomiIsrael = UsePN (mkPN "Shlomi") ;
  SidiHalifahLibya = UsePN (mkPN "Sidi Halifah") ;
  SidonLebanon = UsePN (mkPN "Sidon") ;
  SiirtTurkey = UsePN (mkPN "Siirt") ;
  SilatADaharWestBank = UsePN (mkPN "Silat a-Dahar") ;
  SipadanIslandMalaysia = UsePN (mkPN "Sipadan Island") ;
  SitrahBahrain = UsePN (mkPN "Sitrah") ;
  SoporeIndia = UsePN (mkPN "Sopore") ;
  SrinagarIndia = UsePN (mkPN "Srinagar") ;
  SrinigarIndia = UsePN (mkPN "Srinigar") ;
  SriperumbudurIndia = UsePN (mkPN "Sriperumbudur") ;
  StewartstownNorthernIreland = UsePN (mkPN "Stewartstown") ;
  StockholmSweden = UsePN (mkPN "Stockholm") ;
  StrasbourgFrance = UsePN (mkPN "Strasbourg") ;
  SukaimaniyahIraq = UsePN (mkPN "Sukai-maniyah") ;
  SulawesiIndonesia = UsePN (mkPN "Sulawesi") ;
  SulaymaniyahIraq = UsePN (mkPN "Sulaymaniyah") ;
  SumayrYemen = UsePN (mkPN "Sumayr") ;
  SusiyaWestBank = UsePN (mkPN "Susiya") ;
  TailaPakistan = UsePN (mkPN "Taila") ;
  TamezGuidaAlgeria = UsePN (mkPN "Tamez-guida") ;
  TandySriLanka = UsePN (mkPN "Tandy") ;
  TaxilaPakistan = UsePN (mkPN "Taxila") ;
  TBilisiGeorgia = UsePN (mkPN "T'bilisi") ;
  TegucigalpaHonduras = UsePN (mkPN "Tegucigalpa") ;
  TeheranIran = UsePN (mkPN "Teheran") ;
  TekoaWestBank = UsePN (mkPN "Tekoa") ;
  TelAvivIsrael = UsePN (mkPN "Tel Aviv" | mkPN "Tel-Aviv") ;
  TelHaShomerJunctionIsrael = UsePN (mkPN "Tel HaShomer Junction") ;
  TelQateifaGazaStrip = UsePN (mkPN "Tel Qateifa") ;
  TelRumeiydaIsrael = UsePN (mkPN "Tel Rumeiyda") ;
  TelemIsrael = UsePN (mkPN "Telem") ;
  TenaWestBank = UsePN (mkPN "Tena") ;
  TheHagueNetherlands = UsePN (mkPN "The Hague") ;
  TheKyrgyzCapitalBishkekChina = UsePN (mkPN "The Kyrgyz capital Bishkek.") ;
  ThekraguriIndia = UsePN (mkPN "Thekraguri") ;
  TiaretAlgeria = UsePN (mkPN "Tiaret") ;
  TiratAlgeria = UsePN (mkPN "Tirat") ;
  TokyoJapan = UsePN (mkPN "Tokyo") ;
  TolosaSpain = UsePN (mkPN "Tolosa") ;
  TopkakiTurkey = UsePN (mkPN "Topkaki") ;
  TrabzonTurkey = UsePN (mkPN "Trabzon") ;
  TrincomaleeHarborSriLanka = UsePN (mkPN "Trincomalee Harbor") ;
  TripoliLibya = UsePN (mkPN "Tripoli") ;
  TulkaremWestBank = UsePN (mkPN "Tulkarem") ;
  TulkarmWestBank = UsePN (mkPN "Tulkarm") ;
  TunceliTurkey = UsePN (mkPN "Tunceli") ;
  TurbatPakistan = UsePN (mkPN "Turbat") ;
  UmAlFahmIsrael = UsePN (mkPN "Um al-Fahm") ;
  UmmQasrIraq = UsePN (mkPN "Umm Qasr") ;
  UrenaVenezuela = UsePN (mkPN "Urena") ;
  UrraColombia = UsePN (mkPN "Urra") ;
  UrsMartanRussia = UsePN (mkPN "Urs-Martan") ;
  UWaIndianReservationColombia = UsePN (mkPN "U'wa Indian reservation") ;
  ValenciaSpain = UsePN (mkPN "Valencia") ;
  ValleduparColombia = UsePN (mkPN "Valledupar") ;
  VanTurkey = UsePN (mkPN "Van") ;
  VavuniyaSriLanka = UsePN (mkPN "Vavuniya") ;
  ViennaAustria = UsePN (mkPN "Vienna") ;
  VientianeLaos = UsePN (mkPN "Vientiane") ;
  VillavicencioColombia = UsePN (mkPN "Villavicencio") ;
  VitoriaSpain = UsePN (mkPN "Vitoria") ;
  VitrollesFrance = UsePN (mkPN "Vitrolles") ;
  VladikavkazRussia = UsePN (mkPN "Vladikavkaz") ;
  VladivostokRussia = UsePN (mkPN "Vladivostok") ;
  VolgodonskRussia = UsePN (mkPN "Volgodonsk") ;
  WadiAlDabaatYemen = UsePN (mkPN "Wadi al-Dabaat") ;
  WadiAraIsrael = UsePN (mkPN "Wadi Ara") ;
  WadiKeltWestBank = UsePN (mkPN "Wadi Kelt") ;
  WarsawPoland = UsePN (mkPN "Warsaw") ;
  WashingtonDCUnitedStates = UsePN (mkPN "Washington DC.") ;
  WattyanBahrain = UsePN (mkPN "Wattyan") ;
  WestBeirutLebanon = UsePN (mkPN "West Beirut") ;
  XiAnChina = UsePN (mkPN "Xi'an") ;
  YaAbadWestBank = UsePN (mkPN "Ya'abad") ;
  YagurJunctionIsrael = UsePN (mkPN "Yagur Junction") ;
  YehudIsrael = UsePN (mkPN "Yehud") ;
  YerevanArmenia = UsePN (mkPN "Yerevan") ;
  YitzharWestBank = UsePN (mkPN "Yitzhar") ;
  YokotaJapan = UsePN (mkPN "Yokota") ;
  YopalColombia = UsePN (mkPN "Yopal") ;
  YuksekovaTurkey = UsePN (mkPN "Yuksekova") ;
  ZaitaIsrael = UsePN (mkPN "Zaita") ;
  ZamarYemen = UsePN (mkPN "Zamar") ;
  ZamboangaPhilippines = UsePN (mkPN "Zamboanga") ;
  ZaragozaSpain = UsePN (mkPN "Zaragoza") ;
  ZarauzSpain = UsePN (mkPN "Zarauz") ;
  ZeifIntersectionWestBank = UsePN (mkPN "Zeif intersection") ;
  ZekharyaIsrael = UsePN (mkPN "Zekharya") ;
  ZuliaColombia = UsePN (mkPN "Zulia") ;
  ZumaiaSpain = UsePN (mkPN "Zumaia") ;
  ZumarragaSpain = UsePN (mkPN "Zumarraga") ;
  Burundi = UsePN (mkPN "Burundi") ;
  CentralAfricanRepublic = UsePN (mkPN "Central African Republic") ;
  Chad = UsePN (mkPN "Chad") ;
  DemocraticRepublicOfTheCongo = UsePN (mkPN "Democratic Republic of the Congo") ;
  Rwanda = UsePN (mkPN "Rwanda") ;
  Djibouti = UsePN (mkPN "Djibouti") ;
  Eritrea = UsePN (mkPN "Eritrea") ;
  Ethiopia = UsePN (mkPN "Ethiopia") ;
  Kenya = UsePN (mkPN "Kenya") ;
  Seychelles = UsePN (mkPN "Seychelles") ;
  Somalia = UsePN (mkPN "Somalia") ;
  Tanzania = UsePN (mkPN "Tanzania") ;
  Uganda = UsePN (mkPN "Uganda") ;
  Algeria = UsePN (mkPN "Algeria") ;
  Egypt = UsePN (mkPN "Egypt") ;
  Libya = UsePN (mkPN "Libya") ;
  Mauritania = UsePN (mkPN "Mauritania") ;
  Morocco = UsePN (mkPN "Morocco") ;
  Sudan = UsePN (mkPN "Sudan") ;
  Tunisia = UsePN (mkPN "Tunisia") ;
  WesternSahara = UsePN (mkPN "Western Sahara") ;
  Angola = UsePN (mkPN "Angola") ;
  BassasDaIndia = UsePN (mkPN "Bassas da India") ;
  Botswana = UsePN (mkPN "Botswana") ;
  BouvetIsland = UsePN (mkPN "Bouvet Island") ;
  Comoros = UsePN (mkPN "Comoros") ;
  EuropaIsland = UsePN (mkPN "Europa Island") ;
  GloriosoIslands = UsePN (mkPN "Glorioso Islands") ;
  HeardIslandAndMcDonaldIslands = UsePN (mkPN "Heard Island and McDonald Islands") ;
  JuanDeNovaIsland = UsePN (mkPN "Juan de Nova Island") ;
  Lesotho = UsePN (mkPN "Lesotho" | mkPN "Basutoland") ;
  Madagascar = UsePN (mkPN "Madagascar") ;
  Malawi = UsePN (mkPN "Malawi") ;
  Mauritius = UsePN (mkPN "Mauritius") ;
  Mayotte = UsePN (mkPN "Mayotte") ;
  Mozambique = UsePN (mkPN "Mozambique") ;
  Namibia = UsePN (mkPN "Namibia") ;
  Reunion = UsePN (mkPN "Reunion") ;
  SouthAfrica = UsePN (mkPN "South Africa") ;
  Swaziland = UsePN (mkPN "Swaziland") ;
  TromelinIsland = UsePN (mkPN "Tromelin Island") ;
  Zambia = UsePN (mkPN "Zambia") ;
  Zimbabwe = UsePN (mkPN "Zimbabwe") ;
  Benin = UsePN (mkPN "Benin") ;
  BurkinaFaso = UsePN (mkPN "Burkina Faso") ;
  Cameroon = UsePN (mkPN "Cameroon") ;
  CapeVerde = UsePN (mkPN "Cape Verde") ;
  CoteDIvoire = UsePN (mkPN "Cote d'Ivoire") ;
  EquatorialGuinea = UsePN (mkPN "Equatorial Guinea") ;
  Gabon = UsePN (mkPN "Gabon") ;
  Gambia = UsePN (mkPN "Gambia") ;
  Ghana = UsePN (mkPN "Ghana") ;
  Guinea = UsePN (mkPN "Guinea") ;
  GuineaBissau = UsePN (mkPN "Guinea Bissau") ;
  Liberia = UsePN (mkPN "Liberia") ;
  Mali = UsePN (mkPN "Mali") ;
  Niger = UsePN (mkPN "Niger") ;
  Nigeria = UsePN (mkPN "Nigeria") ;
  Senegal = UsePN (mkPN "Senegal") ;
  SierraLeone = UsePN (mkPN "Sierra Leone") ;
  Togo = UsePN (mkPN "Togo") ;
  SaintHelena = UsePN (mkPN "Saint Helena") ;
  Bahrain = UsePN (mkPN "Bahrain") ;
  Cyprus = UsePN (mkPN "Cyprus") ;
  GazaStrip = UsePN (mkPN "Gaza Strip") ;
  Iran = UsePN (mkPN "Iran") ;
  Iraq = UsePN (mkPN "Iraq") ;
  Israel = UsePN (mkPN "Israel") ;
  Jordan = UsePN (mkPN "Jordan") ;
  Kuwait = UsePN (mkPN "Kuwait") ;
  Lebanon = UsePN (mkPN "Lebanon") ;
  Oman = UsePN (mkPN "Oman") ;
  Qatar = UsePN (mkPN "Qatar") ;
  SaudiArabia = UsePN (mkPN "Saudi Arabia") ;
  Syria = UsePN (mkPN "Syria") ;
  UnitedArabEmirates = UsePN (mkPN "United Arab Emirates") ;
  WestBank = UsePN (mkPN "West Bank") ;
  Yemen = UsePN (mkPN "Yemen") ;
  Austria = UsePN (mkPN "Austria") ;
  CzechRepublic = UsePN (mkPN "Czech Republic") ;
  Germany = UsePN (mkPN "Germany") ;
  Hungary = UsePN (mkPN "Hungary") ;
  Liechtenstein = UsePN (mkPN "Liechtenstein") ;
  Poland = UsePN (mkPN "Poland") ;
  Slovakia = UsePN (mkPN "Slovakia") ;
  Slovenia = UsePN (mkPN "Slovenia") ;
  Switzerland = UsePN (mkPN "Switzerland") ;
  Belarus = UsePN (mkPN "Belarus") ;
  Estonia = UsePN (mkPN "Estonia") ;
  Latvia = UsePN (mkPN "Latvia") ;
  Lithuania = UsePN (mkPN "Lithuania") ;
  Moldova = UsePN (mkPN "Moldova") ;
  Ukraine = UsePN (mkPN "Ukraine") ;
  Denmark = UsePN (mkPN "Denmark") ;
  FaroeIslands = UsePN (mkPN "Faroe Islands") ;
  Finland = UsePN (mkPN "Finland") ;
  Iceland = UsePN (mkPN "Iceland") ;
  JanMayenIsland = UsePN (mkPN "Jan Mayen Island") ;
  Norway = UsePN (mkPN "Norway") ;
  Svalbard = UsePN (mkPN "Svalbard") ;
  Sweden = UsePN (mkPN "Sweden") ;
  Greece = UsePN (mkPN "Greece") ;
  HolySee = UsePN (mkPN "Holy See") ;
  Italy = UsePN (mkPN "Italy") ;
  Malta = UsePN (mkPN "Malta") ;
  SanMarino = UsePN (mkPN "San Marino") ;
  Belgium = UsePN (mkPN "Belgium") ;
  France = UsePN (mkPN "France") ;
  Guernsey = UsePN (mkPN "Guernsey") ;
  Ireland = UsePN (mkPN "Ireland") ;
  Jersey = UsePN (mkPN "Jersey") ;
  Luxembourg = UsePN (mkPN "Luxembourg") ;
  IsleOfMan = UsePN (mkPN "Isle of Man") ;
  Monaco = UsePN (mkPN "Monaco") ;
  Netherlands = UsePN (mkPN "Netherlands") ;
  UnitedKingdom = UsePN (mkPN "United Kingdom of Great Britain and Northern Ireland" | mkPN "United Kingdom" | mkPN "Great Britain") ;
  Albania = UsePN (mkPN "Albania") ;
  BosniaAndHerzegovina = UsePN (mkPN "Bosnia and Herzegovina") ;
  Bulgaria = UsePN (mkPN "Bulgaria") ;
  Croatia = UsePN (mkPN "Croatia") ;
  Macedonia = UsePN (mkPN "Macedonia") ;
  Romania = UsePN (mkPN "Romania") ;
  Turkey = UsePN (mkPN "Turkey") ;
  Andorra = UsePN (mkPN "Andorra") ;
  Gibraltar = UsePN (mkPN "Gibraltar") ;
  Portugal = UsePN (mkPN "Portugal") ;
  Spain = UsePN (mkPN "Spain") ;
  Bermuda = UsePN (mkPN "Bermuda") ;
  UnitedStates = UsePN (mkPN "United States") ;
  Canada = UsePN (mkPN "Canada") ;
  Greenland = UsePN (mkPN "Greenland") ;
  SaintPierreAndMiquelon = UsePN (mkPN "Saint Pierre and Miquelon") ;
  Anguilla = UsePN (mkPN "Anguilla") ;
  AntiguaAndBarbuda = UsePN (mkPN "Antigua and Barbuda") ;
  Aruba = UsePN (mkPN "Aruba") ;
  TheBahamas = UsePN (mkPN "Bahamas") ;
  Barbados = UsePN (mkPN "Barbados") ;
  BritishVirginIslands = UsePN (mkPN "British Virgin Islands") ;
  CaymanIslands = UsePN (mkPN "Cayman Islands") ;
  Cuba = UsePN (mkPN "Cuba") ;
  Dominica = UsePN (mkPN "Dominica") ;
  DominicanRepublic = UsePN (mkPN "Dominican Republic") ;
  Grenada = UsePN (mkPN "Grenada") ;
  Guadeloupe = UsePN (mkPN "Guadeloupe") ;
  Haiti = UsePN (mkPN "Haiti") ;
  Jamaica = UsePN (mkPN "Jamaica") ;
  Martinique = UsePN (mkPN "Martinique") ;
  Montserrat = UsePN (mkPN "Montserrat") ;
  NavassaIsland = UsePN (mkPN "Navassa Island") ;
  NetherlandsAntilles = UsePN (mkPN "Netherlands Antilles") ;
  PuertoRico = UsePN (mkPN "Puerto Rico") ;
  SaintLucia = UsePN (mkPN "Saint Lucia") ;
  TurksAndCaicosIslands = UsePN (mkPN "Turks and Caicos Islands") ;
  VirginIslands = UsePN (mkPN "Virgin Islands") ;
  Belize = UsePN (mkPN "Belize") ;
  ClippertonIsland = UsePN (mkPN "Clipperton Island") ;
  CostaRica = UsePN (mkPN "Costa Rica") ;
  ElSalvador = UsePN (mkPN "El Salvador") ;
  Guatemala = UsePN (mkPN "Guatemala") ;
  Honduras = UsePN (mkPN "Honduras") ;
  Mexico = UsePN (mkPN "Mexico") ;
  Nicaragua = UsePN (mkPN "Nicaragua") ;
  Panama = UsePN (mkPN "Panama") ;
  Bolivia = UsePN (mkPN "Bolivia") ;
  Paraguay = UsePN (mkPN "Paraguay") ;
  Brazil = UsePN (mkPN "Brazil") ;
  Colombia = UsePN (mkPN "Colombia") ;
  FrenchGuiana = UsePN (mkPN "French Guiana") ;
  Guyana = UsePN (mkPN "Guyana") ;
  Suriname = UsePN (mkPN "Suriname") ;
  Venezuela = UsePN (mkPN "Venezuela") ;
  Argentina = UsePN (mkPN "Argentina") ;
  Chile = UsePN (mkPN "Chile") ;
  FalklandIslands = UsePN (mkPN "Falkland Islands") ;
  SouthGeorgiaAndTheSouthSandwichIslands = UsePN (mkPN "South Georgia and the South Sandwich Islands") ;
  Uruguay = UsePN (mkPN "Uruguay") ;
  Ecuador = UsePN (mkPN "Ecuador") ;
  Peru = UsePN (mkPN "Peru") ;
  Kazakhstan = UsePN (mkPN "Kazakhstan") ;
  Kyrgyzstan = UsePN (mkPN "Kyrgyzstan") ;
  Tajikistan = UsePN (mkPN "Tajikistan") ;
  Turkmenistan = UsePN (mkPN "Turkmenistan") ;
  Uzbekistan = UsePN (mkPN "Uzbekistan") ;
  China = UsePN (mkPN "China") ;
  HongKong = UsePN (mkPN "Hong Kong") ;
  Japan = UsePN (mkPN "Japan") ;
  NorthKorea = UsePN (mkPN "NorthKorea") ;
  SouthKorea = UsePN (mkPN "SouthKorea") ;
  Macau = UsePN (mkPN "Macau") ;
  Taiwan = UsePN (mkPN "Taiwan" | mkPN "Republic of China") ;
  Mongolia = UsePN (mkPN "Mongolia") ;
  Russia = UsePN (mkPN "Russia") ;
  Afghanistan = UsePN (mkPN "Afghanistan") ;
  Bangladesh = UsePN (mkPN "Bangladesh") ;
  Bhutan = UsePN (mkPN "Bhutan") ;
  BritishIndianOceanTerritory = UsePN (mkPN "British Indian Ocean Territory") ;
  India = UsePN (mkPN "India") ;
  Maldives = UsePN (mkPN "Maldives") ;
  Nepal = UsePN (mkPN "Nepal") ;
  Pakistan = UsePN (mkPN "Pakistan") ;
  SriLanka = UsePN (mkPN "Sri Lanka") ;
  FrenchSouthernAndAntarcticLands = UsePN (mkPN "French Southern and Antarctic Lands") ;
  AshmoreAndCartierIslands = UsePN (mkPN "Ashmore and Cartier Islands") ;
  Brunei = UsePN (mkPN "Brunei") ;
  Cambodia = UsePN (mkPN "Cambodia") ;
  ChristmasIsland = UsePN (mkPN "Christmas Island") ;
  CocosKeelingIslands = UsePN (mkPN "Cocos Keeling Islands") ;
  EastTimor = UsePN (mkPN "East Timor") ;
  Indonesia = UsePN (mkPN "Indonesia") ;
  Laos = UsePN (mkPN "Laos") ;
  Malaysia = UsePN (mkPN "Malaysia") ;
  Myanmar = UsePN (mkPN "Myanmar") ;
  PapuaNewGuinea = UsePN (mkPN "Papua New Guinea") ;
  ParacelIslands = UsePN (mkPN "Paracel Islands") ;
  Philippines = UsePN (mkPN "Philippines") ;
  Singapore = UsePN (mkPN "Singapore") ;
  SpratlyIslands = UsePN (mkPN "Spratly Islands") ;
  Thailand = UsePN (mkPN "Thailand") ;
  Vietnam = UsePN (mkPN "Vietnam") ;
  Armenia = UsePN (mkPN "Armenia") ;
  Azerbaijan = UsePN (mkPN "Azerbaijan") ;
  RepublicOfGeorgia = UsePN (mkPN "Republic Of Georgia") ;
  AmericanSamoa = UsePN (mkPN "American Samoa") ;
  Australia = UsePN (mkPN "Australia") ;
  BakerIsland = UsePN (mkPN "Baker Island") ;
  CookIslands = UsePN (mkPN "Cook Islands") ;
  CoralSeaIslands = UsePN (mkPN "Coral Sea Islands") ;
  Fiji = UsePN (mkPN "Fiji") ;
  FrenchPolynesia = UsePN (mkPN "French Polynesia") ;
  Guam = UsePN (mkPN "Guam") ;
  HowlandIsland = UsePN (mkPN "Howland Island") ;
  JarvisIsland = UsePN (mkPN "Jarvis Island") ;
  JohnstonAtoll = UsePN (mkPN "Johnston Atoll") ;
  KingmanReef = UsePN (mkPN "Kingman Reef") ;
  Kiribati = UsePN (mkPN "Kiribati") ;
  MarshallIslands = UsePN (mkPN "Marshall Islands") ;
  Micronesia = UsePN (mkPN "Micronesia") ;
  MidwayIslands = UsePN (mkPN "Midway Islands") ;
  Nauru = UsePN (mkPN "Nauru") ;
  NewCaledonia = UsePN (mkPN "New Caledonia") ;
  NewZealand = UsePN (mkPN "New Zealand") ;
  Niue = UsePN (mkPN "Niue") ;
  NorfolkIsland = UsePN (mkPN "Norfolk Island") ;
  NorthernMarianaIslands = UsePN (mkPN "Northern Mariana Islands") ;
  Palau = UsePN (mkPN "Palau") ;
  PalmyraAtoll = UsePN (mkPN "Palmyra Atoll") ;
  PitcairnIslands = UsePN (mkPN "Pitcairn Islands") ;
  Samoa = UsePN (mkPN "Samoa") ;
  SolomonIslands = UsePN (mkPN "Solomon Islands") ;
  Tokelau = UsePN (mkPN "Tokelau") ;
  Tonga = UsePN (mkPN "Tonga") ;
  Tuvalu = UsePN (mkPN "Tuvalu") ;
  Vanuatu = UsePN (mkPN "Vanuatu") ;
  WakeIsland = UsePN (mkPN "Wake Island") ;
  WallisAndFutuna = UsePN (mkPN "Wallis and Futuna") ;
  Zaire = UsePN (mkPN "Zaire") ;
  
};