% Answer to query : ?- L:terra_country[name@(terra) -> N; code@(terra) -> CC; area@(terra) -> A; population@(terra) -> P; capital@(terra) -> Cap; encompassed@(CT) -> Perc].

land("Australien","AUS"):terra_country[name@(terra) -> "Australien"; code@(terra) -> "AUS"; area@(terra) -> 7686420; population@(terra) -> 16028400; capital@(terra) -> "Canberra"; encompassed@("Australia/Oceania") -> 100].
land("Burma","BUR"):terra_country[name@(terra) -> "Burma"; code@(terra) -> "BUR"; area@(terra) -> 678528; population@(terra) -> 40481000; capital@(terra) -> "Rangoon"; encompassed@("Asia") -> 100].
land("Brunei","BRU"):terra_country[name@(terra) -> "Brunei"; code@(terra) -> "BRU"; area@(terra) -> 5765; population@(terra) -> 230000; capital@(terra) -> "Bandar Seri Begawan"; encompassed@("Asia") -> 100].
land("Indonesien","RI"):terra_country[name@(terra) -> "Indonesien"; code@(terra) -> "RI"; area@(terra) -> 1919443; population@(terra) -> 170530000; capital@(terra) -> "Djakarta"; encompassed@("Asia") -> 100].
land("Japan","J"):terra_country[name@(terra) -> "Japan"; code@(terra) -> "J"; area@(terra) -> 372313; population@(terra) -> 120047000; capital@(terra) -> "Tokyo"; encompassed@("Asia") -> 100].
land("Kambodscha","VRK"):terra_country[name@(terra) -> "Kambodscha"; code@(terra) -> "VRK"; area@(terra) -> 181035; population@(terra) -> 7280000; capital@(terra) -> "Phnom Penh"; encompassed@("Asia") -> 100].
land("Kiribati","KIR"):terra_country[name@(terra) -> "Kiribati"; code@(terra) -> "KIR"; area@(terra) -> 886; population@(terra) -> 63843; capital@(terra) -> "Bairiki"; encompassed@("Australia/Oceania") -> 100].
land("Korea","ROK"):terra_country[name@(terra) -> "Korea"; code@(terra) -> "ROK"; area@(terra) -> 98484; population@(terra) -> 42030000; capital@(terra) -> "Seoul"; encompassed@("Asia") -> 100].
land("Laos","LAO"):terra_country[name@(terra) -> "Laos"; code@(terra) -> "LAO"; area@(terra) -> 236800; population@(terra) -> 4220000; capital@(terra) -> "Vientiane"; encompassed@("Asia") -> 100].
land("Malaysia","MAL"):terra_country[name@(terra) -> "Malaysia"; code@(terra) -> "MAL"; area@(terra) -> 329749; population@(terra) -> 16560000; capital@(terra) -> "Kuala Lumpur"; encompassed@("Asia") -> 100].
land("Philippinen","PI"):terra_country[name@(terra) -> "Philippinen"; code@(terra) -> "PI"; area@(terra) -> 300000; population@(terra) -> 56980000; capital@(terra) -> "Manila"; encompassed@("Asia") -> 100].
land("Singapur","SGP"):terra_country[name@(terra) -> "Singapur"; code@(terra) -> "SGP"; area@(terra) -> 618; population@(terra) -> 2610000; capital@(terra) -> "Singapur"; encompassed@("Asia") -> 100].
land("Taiwan","ROC"):terra_country[name@(terra) -> "Taiwan"; code@(terra) -> "ROC"; area@(terra) -> 36188; population@(terra) -> 19135254; capital@(terra) -> "Taipeh"; encompassed@("Asia") -> 100].
land("Tonga","TON"):terra_country[name@(terra) -> "Tonga"; code@(terra) -> "TON"; area@(terra) -> 699; population@(terra) -> 110000; capital@(terra) -> "Nukualofa"; encompassed@("Australia/Oceania") -> 100].
land("Thailand","THA"):terra_country[name@(terra) -> "Thailand"; code@(terra) -> "THA"; area@(terra) -> 513115; population@(terra) -> 53600000; capital@(terra) -> "Bangkok"; encompassed@("Asia") -> 100].
land("Vietnam","VN"):terra_country[name@(terra) -> "Vietnam"; code@(terra) -> "VN"; area@(terra) -> 332556; population@(terra) -> 60920000; capital@(terra) -> "Hanoi"; encompassed@("Asia") -> 100].
land("China","VRC"):terra_country[name@(terra) -> "China"; code@(terra) -> "VRC"; area@(terra) -> 9560779; population@(terra) -> 1072220032; capital@(terra) -> "Peking"; encompassed@("Asia") -> 100].
land("Bhutan","BHU"):terra_country[name@(terra) -> "Bhutan"; code@(terra) -> "BHU"; area@(terra) -> 47000; population@(terra) -> 1450000; capital@(terra) -> "Thimbu"; encompassed@("Asia") -> 100].
land("Fidschi","FIJI"):terra_country[name@(terra) -> "Fidschi"; code@(terra) -> "FIJI"; area@(terra) -> 18272; population@(terra) -> 714000; capital@(terra) -> "Suva"; encompassed@("Australia/Oceania") -> 100].
land("Malediven","RMAL"):terra_country[name@(terra) -> "Malediven"; code@(terra) -> "RMAL"; area@(terra) -> 298; population@(terra) -> 195100; capital@(terra) -> "Male"; encompassed@("Asia") -> 100].
land("Marshallinseln","MAR"):terra_country[name@(terra) -> "Marshallinseln"; code@(terra) -> "MAR"; area@(terra) -> 181; population@(terra) -> 34923; capital@(terra) -> "Uliga"; encompassed@("Australia/Oceania") -> 100].
land("Mikronesien","FSM"):terra_country[name@(terra) -> "Mikronesien"; code@(terra) -> "FSM"; area@(terra) -> 720; population@(terra) -> 115000; capital@(terra) -> "Kolonia"; encompassed@("Australia/Oceania") -> 100].
land("Nauru","NAU"):terra_country[name@(terra) -> "Nauru"; code@(terra) -> "NAU"; area@(terra) -> 21; population@(terra) -> 8420; capital@(terra) -> "Yaren"; encompassed@("Australia/Oceania") -> 100].
land("Neuseeland","NZ"):terra_country[name@(terra) -> "Neuseeland"; code@(terra) -> "NZ"; area@(terra) -> 269063; population@(terra) -> 3280000; capital@(terra) -> "Wellington"; encompassed@("Australia/Oceania") -> 100].
land("Palau","PAL"):terra_country[name@(terra) -> "Palau"; code@(terra) -> "PAL"; area@(terra) -> 458; population@(terra) -> 14800; capital@(terra) -> "Koror"; encompassed@("Australia/Oceania") -> 100].
land("Papua-Neuguinea","PNG"):terra_country[name@(terra) -> "Papua-Neuguinea"; code@(terra) -> "PNG"; area@(terra) -> 461691; population@(terra) -> 3400000; capital@(terra) -> "Port Moresby"; encompassed@("Australia/Oceania") -> 100].
land("Salomonen","SAL"):terra_country[name@(terra) -> "Salomonen"; code@(terra) -> "SAL"; area@(terra) -> 28446; population@(terra) -> 280000; capital@(terra) -> "Honiara"; encompassed@("Australia/Oceania") -> 100].
land("Sri_Lanka","CL"):terra_country[name@(terra) -> "Sri Lanka"; code@(terra) -> "CL"; area@(terra) -> 65610; population@(terra) -> 16360000; capital@(terra) -> "Colombo"; encompassed@("Asia") -> 100].
land("Tuvalu","TUV"):terra_country[name@(terra) -> "Tuvalu"; code@(terra) -> "TUV"; area@(terra) -> 24; population@(terra) -> 8229; capital@(terra) -> "Veiaku"; encompassed@("Australia/Oceania") -> 100].
land("Vanuatu","VAN"):terra_country[name@(terra) -> "Vanuatu"; code@(terra) -> "VAN"; area@(terra) -> 14763; population@(terra) -> 140000; capital@(terra) -> "Vila"; encompassed@("Australia/Oceania") -> 100].
land("Westsamoa","WS"):terra_country[name@(terra) -> "Westsamoa"; code@(terra) -> "WS"; area@(terra) -> 2842; population@(terra) -> 163000; capital@(terra) -> "Apia"; encompassed@("Australia/Oceania") -> 100].
land("Schweden","S"):terra_country[name@(terra) -> "Schweden"; code@(terra) -> "S"; area@(terra) -> 449964; population@(terra) -> 8358000; capital@(terra) -> "Stockholm"; encompassed@("Europe") -> 100].
land("Norwegen","N"):terra_country[name@(terra) -> "Norwegen"; code@(terra) -> "N"; area@(terra) -> 386958; population@(terra) -> 4190000; capital@(terra) -> "Oslo"; encompassed@("Europe") -> 100].
land("Sowjetunion","SU"):terra_country[name@(terra) -> "Sowjetunion"; code@(terra) -> "SU"; area@(terra) -> 22274900; population@(terra) -> 281169984; capital@(terra) -> "Moskau"; encompassed@("Europe") -> #21.5].
land("Sowjetunion","SU"):terra_country[name@(terra) -> "Sowjetunion"; code@(terra) -> "SU"; area@(terra) -> 22274900; population@(terra) -> 281169984; capital@(terra) -> "Moskau"; encompassed@("Asia") -> #78.5].
land("Island","IS"):terra_country[name@(terra) -> "Island"; code@(terra) -> "IS"; area@(terra) -> 102829; population@(terra) -> 247357; capital@(terra) -> "Reykjavik"; encompassed@("Europe") -> 100].
land("Daenemark","DK"):terra_country[name@(terra) -> "Daenemark"; code@(terra) -> "DK"; area@(terra) -> 43092; population@(terra) -> 5124794; capital@(terra) -> "Kopenhagen"; encompassed@("Europe") -> 100].
land("Deutsche_Demokratische_Republik","DDR"):terra_country[name@(terra) -> "Deutsche Demokratische Republik"; code@(terra) -> "DDR"; area@(terra) -> 108333; population@(terra) -> 16639877; capital@(terra) -> "Berlin(Ost)"; encompassed@("Europe") -> 100].
land("Finnland","SF"):terra_country[name@(terra) -> "Finnland"; code@(terra) -> "SF"; area@(terra) -> 338107; population@(terra) -> 4925772; capital@(terra) -> "Helsinki"; encompassed@("Europe") -> 100].
land("Polen","PL"):terra_country[name@(terra) -> "Polen"; code@(terra) -> "PL"; area@(terra) -> 312683; population@(terra) -> 37660000; capital@(terra) -> "Warschau"; encompassed@("Europe") -> 100].
land("Ungarn","H"):terra_country[name@(terra) -> "Ungarn"; code@(terra) -> "H"; area@(terra) -> 93032; population@(terra) -> 10610000; capital@(terra) -> "Budapest"; encompassed@("Europe") -> 100].
land("Albanien","AL"):terra_country[name@(terra) -> "Albanien"; code@(terra) -> "AL"; area@(terra) -> 28746; population@(terra) -> 3080000; capital@(terra) -> "Tirana"; encompassed@("Europe") -> 100].
land("Rumaenien","RO"):terra_country[name@(terra) -> "Rumaenien"; code@(terra) -> "RO"; area@(terra) -> 237500; population@(terra) -> 23170000; capital@(terra) -> "Bukarest"; encompassed@("Europe") -> 100].
land("Bulgarien","BG"):terra_country[name@(terra) -> "Bulgarien"; code@(terra) -> "BG"; area@(terra) -> 110912; population@(terra) -> 8949600; capital@(terra) -> "Sofia"; encompassed@("Europe") -> 100].
land("Jordanien","JOR"):terra_country[name@(terra) -> "Jordanien"; code@(terra) -> "JOR"; area@(terra) -> 97740; population@(terra) -> 3660000; capital@(terra) -> "Amman"; encompassed@("Asia") -> 100].
land("USA","USA"):terra_country[name@(terra) -> "USA"; code@(terra) -> "USA"; area@(terra) -> 9363000; population@(terra) -> 242080000; capital@(terra) -> "Washington"; encompassed@("America") -> 100].
land("Kanada","CDN"):terra_country[name@(terra) -> "Kanada"; code@(terra) -> "CDN"; area@(terra) -> 9976000; population@(terra) -> 25610000; capital@(terra) -> "Ottawa"; encompassed@("America") -> 100].
land("Mexiko","MEX"):terra_country[name@(terra) -> "Mexiko"; code@(terra) -> "MEX"; area@(terra) -> 1972547; population@(terra) -> 81160000; capital@(terra) -> "Mexico City"; encompassed@("America") -> 100].
land("Iran","IR"):terra_country[name@(terra) -> "Iran"; code@(terra) -> "IR"; area@(terra) -> 1648195; population@(terra) -> 41068000; capital@(terra) -> "Teheran"; encompassed@("Asia") -> 100].
land("Syrien","SYR"):terra_country[name@(terra) -> "Syrien"; code@(terra) -> "SYR"; area@(terra) -> 182000; population@(terra) -> 12200000; capital@(terra) -> "Damaskus"; encompassed@("Asia") -> 100].
land("Quatar","Q"):terra_country[name@(terra) -> "Quatar"; code@(terra) -> "Q"; area@(terra) -> 10437; population@(terra) -> 230000; capital@(terra) -> "Doha"; encompassed@("Asia") -> 100].
land("Indien","IND"):terra_country[name@(terra) -> "Indien"; code@(terra) -> "IND"; area@(terra) -> 3287590; population@(terra) -> 761000000; capital@(terra) -> "Delhi"; encompassed@("Asia") -> 100].
land("Bangladesch","BAN"):terra_country[name@(terra) -> "Bangladesch"; code@(terra) -> "BAN"; area@(terra) -> 134475; population@(terra) -> 76200000; capital@(terra) -> "Dacca"; encompassed@("Asia") -> 100].
land("Oman","OMA"):terra_country[name@(terra) -> "Oman"; code@(terra) -> "OMA"; area@(terra) -> 212457; population@(terra) -> 1500000; capital@(terra) -> "Maskat"; encompassed@("Asia") -> 100].
land("Chile","RCH"):terra_country[name@(terra) -> "Chile"; code@(terra) -> "RCH"; area@(terra) -> 756945; population@(terra) -> 12540000; capital@(terra) -> "Santiago"; encompassed@("America") -> 100].
land("Argentinien","RA"):terra_country[name@(terra) -> "Argentinien"; code@(terra) -> "RA"; area@(terra) -> 277688; population@(terra) -> 31500000; capital@(terra) -> "Buenos Aires"; encompassed@("America") -> 100].
land("Uruguay","U"):terra_country[name@(terra) -> "Uruguay"; code@(terra) -> "U"; area@(terra) -> 177508; population@(terra) -> 2980000; capital@(terra) -> "Montevideo"; encompassed@("America") -> 100].
land("Paraguay","PY"):terra_country[name@(terra) -> "Paraguay"; code@(terra) -> "PY"; area@(terra) -> 406752; population@(terra) -> 3920000; capital@(terra) -> "Asuncion"; encompassed@("America") -> 100].
land("Bolivien","BOL"):terra_country[name@(terra) -> "Bolivien"; code@(terra) -> "BOL"; area@(terra) -> 109858; population@(terra) -> 6550000; capital@(terra) -> "La Paz"; encompassed@("America") -> 100].
land("Brasilien","BR"):terra_country[name@(terra) -> "Brasilien"; code@(terra) -> "BR"; area@(terra) -> 851196; population@(terra) -> 141450000; capital@(terra) -> "Brasilia"; encompassed@("America") -> 100].
land("Peru","PE"):terra_country[name@(terra) -> "Peru"; code@(terra) -> "PE"; area@(terra) -> 128521; population@(terra) -> 20730000; capital@(terra) -> "Lima"; encompassed@("America") -> 100].
land("Ecuador","EC"):terra_country[name@(terra) -> "Ecuador"; code@(terra) -> "EC"; area@(terra) -> 283561; population@(terra) -> 9650000; capital@(terra) -> "Quito"; encompassed@("America") -> 100].
land("Surinam","SME"):terra_country[name@(terra) -> "Surinam"; code@(terra) -> "SME"; area@(terra) -> 163265; population@(terra) -> 380000; capital@(terra) -> "Paramaribo"; encompassed@("America") -> 100].
land("Guyana","GUY"):terra_country[name@(terra) -> "Guyana"; code@(terra) -> "GUY"; area@(terra) -> 214969; population@(terra) -> 970000; capital@(terra) -> "Georgetown"; encompassed@("America") -> 100].
land("French Guiana","FGU"):terra_country[name@(terra) -> "French Guiana"; code@(terra) -> "FGU"; area@(terra) -> 150000; population@(terra) -> 89000; capital@(terra) -> "Cayenne"; encompassed@("America") -> 100].
land("Venezuela","YV"):terra_country[name@(terra) -> "Venezuela"; code@(terra) -> "YV"; area@(terra) -> 912050; population@(terra) -> 18270000; capital@(terra) -> "Caracas"; encompassed@("America") -> 100].
land("Kolumbien","CO"):terra_country[name@(terra) -> "Kolumbien"; code@(terra) -> "CO"; area@(terra) -> 113891; population@(terra) -> 29730000; capital@(terra) -> "Bogota"; encompassed@("America") -> 100].
land("Panama","PA"):terra_country[name@(terra) -> "Panama"; code@(terra) -> "PA"; area@(terra) -> 75650; population@(terra) -> 2270000; capital@(terra) -> "Ciudad de Panama"; encompassed@("America") -> 100].
land("Costa_Rica","CR"):terra_country[name@(terra) -> "Costa Rica"; code@(terra) -> "CR"; area@(terra) -> 50700; population@(terra) -> 2670000; capital@(terra) -> "San Jose"; encompassed@("America") -> 100].
land("Nicaragua","NIC"):terra_country[name@(terra) -> "Nicaragua"; code@(terra) -> "NIC"; area@(terra) -> 130000; population@(terra) -> 3380000; capital@(terra) -> "Managua"; encompassed@("America") -> 100].
land("Honduras","HON"):terra_country[name@(terra) -> "Honduras"; code@(terra) -> "HON"; area@(terra) -> 112088; population@(terra) -> 4510000; capital@(terra) -> "Tegucigalpa"; encompassed@("America") -> 100].
land("El_Salvador","ES"):terra_country[name@(terra) -> "El Salvador"; code@(terra) -> "ES"; area@(terra) -> 21041; population@(terra) -> 5010000; capital@(terra) -> "San Salvador"; encompassed@("America") -> 100].
land("Guatemala","GCA"):terra_country[name@(terra) -> "Guatemala"; code@(terra) -> "GCA"; area@(terra) -> 108889; population@(terra) -> 8430000; capital@(terra) -> "Ciudad de Guatemala"; encompassed@("America") -> 100].
land("Belize","BH"):terra_country[name@(terra) -> "Belize"; code@(terra) -> "BH"; area@(terra) -> 22963; population@(terra) -> 170000; capital@(terra) -> "Belmopan"; encompassed@("America") -> 100].
land("Kuba","C"):terra_country[name@(terra) -> "Kuba"; code@(terra) -> "C"; area@(terra) -> 114524; population@(terra) -> 10300000; capital@(terra) -> "Havanna"; encompassed@("America") -> 100].
land("Jamaika","JA"):terra_country[name@(terra) -> "Jamaika"; code@(terra) -> "JA"; area@(terra) -> 10991; population@(terra) -> 2370000; capital@(terra) -> "Kingston"; encompassed@("America") -> 100].
land("Haiti","RH"):terra_country[name@(terra) -> "Haiti"; code@(terra) -> "RH"; area@(terra) -> 27750; population@(terra) -> 5440000; capital@(terra) -> "Port au Prince"; encompassed@("America") -> 100].
land("Dominikanische_Republik","DOM"):terra_country[name@(terra) -> "Dominikanische Republik"; code@(terra) -> "DOM"; area@(terra) -> 48734; population@(terra) -> 6720000; capital@(terra) -> "Santo Domingo"; encompassed@("America") -> 100].
land("Bahamas","BS"):terra_country[name@(terra) -> "Bahamas"; code@(terra) -> "BS"; area@(terra) -> 13935; population@(terra) -> 240000; capital@(terra) -> "Nassau"; encompassed@("America") -> 100].
land("Barbados","BDS"):terra_country[name@(terra) -> "Barbados"; code@(terra) -> "BDS"; area@(terra) -> 431; population@(terra) -> 250000; capital@(terra) -> "Bridgetown"; encompassed@("America") -> 100].
land("Dominica","WD"):terra_country[name@(terra) -> "Dominica"; code@(terra) -> "WD"; area@(terra) -> 751; population@(terra) -> 82000; capital@(terra) -> "Roseau"; encompassed@("America") -> 100].
land("Grenada","WG"):terra_country[name@(terra) -> "Grenada"; code@(terra) -> "WG"; area@(terra) -> 344; population@(terra) -> 115000; capital@(terra) -> "Saint George s"; encompassed@("America") -> 100].
land("Trinidad_und_Tobago","TT"):terra_country[name@(terra) -> "Trinidad und Tobago"; code@(terra) -> "TT"; area@(terra) -> 5128; population@(terra) -> 1200000; capital@(terra) -> "Port of Spain"; encompassed@("America") -> 100].
land("Antigua_und_Barbuda","AUB"):terra_country[name@(terra) -> "Antigua und Barbuda"; code@(terra) -> "AUB"; area@(terra) -> 442; population@(terra) -> 81500; capital@(terra) -> "Saint John s"; encompassed@("America") -> 100].
land("Saint_Kitts_and_Nevis","SCN"):terra_country[name@(terra) -> "Saint Kitts and Nevis"; code@(terra) -> "SCN"; area@(terra) -> 267; population@(terra) -> 60000; capital@(terra) -> "Basseterre"; encompassed@("America") -> 100].
land("Saint_Lucia","WL"):terra_country[name@(terra) -> "Saint Lucia"; code@(terra) -> "WL"; area@(terra) -> 616; population@(terra) -> 140000; capital@(terra) -> "Castries"; encompassed@("America") -> 100].
land("Saint_Vincent","WV"):terra_country[name@(terra) -> "Saint Vincent"; code@(terra) -> "WV"; area@(terra) -> 389; population@(terra) -> 123000; capital@(terra) -> "Kingstown"; encompassed@("America") -> 100].
land("Aegypten","ET"):terra_country[name@(terra) -> "Aegypten"; code@(terra) -> "ET"; area@(terra) -> 1000000; population@(terra) -> 42000000; capital@(terra) -> "Kairo"; encompassed@("Africa") -> 90].
land("Aegypten","ET"):terra_country[name@(terra) -> "Aegypten"; code@(terra) -> "ET"; area@(terra) -> 1000000; population@(terra) -> 42000000; capital@(terra) -> "Kairo"; encompassed@("Asia") -> 10].
land("Algerien","DZ"):terra_country[name@(terra) -> "Algerien"; code@(terra) -> "DZ"; area@(terra) -> 2381000; population@(terra) -> 19700000; capital@(terra) -> "Algier"; encompassed@("Africa") -> 100].
land("Angola","RPA"):terra_country[name@(terra) -> "Angola"; code@(terra) -> "RPA"; area@(terra) -> 1246000; population@(terra) -> 7000000; capital@(terra) -> "Luanda"; encompassed@("Africa") -> 100].
land("Aequatorialguinea","RGE"):terra_country[name@(terra) -> "Aequatorialguinea"; code@(terra) -> "RGE"; area@(terra) -> 28000; population@(terra) -> 340000; capital@(terra) -> "Malabo"; encompassed@("Africa") -> 100].
land("Aethiopien","ETH"):terra_country[name@(terra) -> "Aethiopien"; code@(terra) -> "ETH"; area@(terra) -> 1222000; population@(terra) -> 46200000; capital@(terra) -> "Addis Abeba"; encompassed@("Africa") -> 100].
land("Benin","RPB"):terra_country[name@(terra) -> "Benin"; code@(terra) -> "RPB"; area@(terra) -> 112000; population@(terra) -> 4200000; capital@(terra) -> "Porto Novo"; encompassed@("Africa") -> 100].
land("Botswana","RB"):terra_country[name@(terra) -> "Botswana"; code@(terra) -> "RB"; area@(terra) -> 600000; population@(terra) -> 1200000; capital@(terra) -> "Gabarone"; encompassed@("Africa") -> 100].
land("Burundi","BU"):terra_country[name@(terra) -> "Burundi"; code@(terra) -> "BU"; area@(terra) -> 28000; population@(terra) -> 3400000; capital@(terra) -> "Bujumbura"; encompassed@("Africa") -> 100].
land("Djibouti","RD"):terra_country[name@(terra) -> "Djibouti"; code@(terra) -> "RD"; area@(terra) -> 22000; population@(terra) -> 500000; capital@(terra) -> "Djibuti"; encompassed@("Africa") -> 100].
land("Elfenbeinkueste","CI"):terra_country[name@(terra) -> "Elfenbeinkueste"; code@(terra) -> "CI"; area@(terra) -> 322000; population@(terra) -> 10200000; capital@(terra) -> "Abidjan"; encompassed@("Africa") -> 100].
land("Gabun","GAB"):terra_country[name@(terra) -> "Gabun"; code@(terra) -> "GAB"; area@(terra) -> 268000; population@(terra) -> 1200000; capital@(terra) -> "Libreville"; encompassed@("Africa") -> 100].
land("Gambia","WAG"):terra_country[name@(terra) -> "Gambia"; code@(terra) -> "WAG"; area@(terra) -> 11300; population@(terra) -> 688000; capital@(terra) -> "Banjul"; encompassed@("Africa") -> 100].
land("Ghana","GH"):terra_country[name@(terra) -> "Ghana"; code@(terra) -> "GH"; area@(terra) -> 239000; population@(terra) -> 12200000; capital@(terra) -> "Accra"; encompassed@("Africa") -> 100].
land("Guinea","GUI"):terra_country[name@(terra) -> "Guinea"; code@(terra) -> "GUI"; area@(terra) -> 246000; population@(terra) -> 6300000; capital@(terra) -> "Conakry"; encompassed@("Africa") -> 100].
land("Guinea-Bissau","GUB"):terra_country[name@(terra) -> "Guinea-Bissau"; code@(terra) -> "GUB"; area@(terra) -> 36000; population@(terra) -> 900000; capital@(terra) -> "Bissau"; encompassed@("Africa") -> 100].
land("Kamerun","CAM"):terra_country[name@(terra) -> "Kamerun"; code@(terra) -> "CAM"; area@(terra) -> 475000; population@(terra) -> 10900000; capital@(terra) -> "Jaunde"; encompassed@("Africa") -> 100].
land("Kap_Verde","KAP"):terra_country[name@(terra) -> "Kap Verde"; code@(terra) -> "KAP"; area@(terra) -> 4000; population@(terra) -> 330000; capital@(terra) -> "Praia"; encompassed@("Africa") -> 100].
land("Kenia","EAK"):terra_country[name@(terra) -> "Kenia"; code@(terra) -> "EAK"; area@(terra) -> 583000; population@(terra) -> 22900000; capital@(terra) -> "Nairobi"; encompassed@("Africa") -> 100].
land("Komoren","KOM"):terra_country[name@(terra) -> "Komoren"; code@(terra) -> "KOM"; area@(terra) -> 1900; population@(terra) -> 440000; capital@(terra) -> "Moroni"; encompassed@("Africa") -> 100].
land("Kongo","RCB"):terra_country[name@(terra) -> "Kongo"; code@(terra) -> "RCB"; area@(terra) -> 342000; population@(terra) -> 1800000; capital@(terra) -> "Brazzaville"; encompassed@("Africa") -> 100].
land("Lesotho","LS"):terra_country[name@(terra) -> "Lesotho"; code@(terra) -> "LS"; area@(terra) -> 30000; population@(terra) -> 1600000; capital@(terra) -> "Maseru"; encompassed@("Africa") -> 100].
land("Liberia","LB"):terra_country[name@(terra) -> "Liberia"; code@(terra) -> "LB"; area@(terra) -> 111000; population@(terra) -> 2400000; capital@(terra) -> "Monrovia"; encompassed@("Africa") -> 100].
land("Libyen","LAR"):terra_country[name@(terra) -> "Libyen"; code@(terra) -> "LAR"; area@(terra) -> 1760000; population@(terra) -> 3700000; capital@(terra) -> "Tripolis"; encompassed@("Africa") -> 100].
land("Madagaskar","RM"):terra_country[name@(terra) -> "Madagaskar"; code@(terra) -> "RM"; area@(terra) -> 587000; population@(terra) -> 10300000; capital@(terra) -> "Tananarive"; encompassed@("Africa") -> 100].
land("Malawi","MW"):terra_country[name@(terra) -> "Malawi"; code@(terra) -> "MW"; area@(terra) -> 118484; population@(terra) -> 7500000; capital@(terra) -> "Lilongue"; encompassed@("Africa") -> 100].
land("Mali","RMM"):terra_country[name@(terra) -> "Mali"; code@(terra) -> "RMM"; area@(terra) -> 1240000; population@(terra) -> 8700000; capital@(terra) -> "Bamako"; encompassed@("Africa") -> 100].
land("Marokko","MA"):terra_country[name@(terra) -> "Marokko"; code@(terra) -> "MA"; area@(terra) -> 459000; population@(terra) -> 22500000; capital@(terra) -> "Rabat"; encompassed@("Africa") -> 100].
land("Mauretanien","RIM"):terra_country[name@(terra) -> "Mauretanien"; code@(terra) -> "RIM"; area@(terra) -> 1031000; population@(terra) -> 2000000; capital@(terra) -> "Nuakschott"; encompassed@("Africa") -> 100].
land("Mauritius","MS"):terra_country[name@(terra) -> "Mauritius"; code@(terra) -> "MS"; area@(terra) -> 2000; population@(terra) -> 1400000; capital@(terra) -> "Port Louis"; encompassed@("Africa") -> 100].
land("Mosambik","MOS"):terra_country[name@(terra) -> "Mosambik"; code@(terra) -> "MOS"; area@(terra) -> 799000; population@(terra) -> 14600000; capital@(terra) -> "Maputo"; encompassed@("Africa") -> 100].
land("Niger","RN"):terra_country[name@(terra) -> "Niger"; code@(terra) -> "RN"; area@(terra) -> 1267000; population@(terra) -> 6600000; capital@(terra) -> "Niamey"; encompassed@("Africa") -> 100].
land("Nigeria","WAN"):terra_country[name@(terra) -> "Nigeria"; code@(terra) -> "WAN"; area@(terra) -> 924000; population@(terra) -> 98500000; capital@(terra) -> "Lagos"; encompassed@("Africa") -> 100].
land("Burkina_Faso","BF"):terra_country[name@(terra) -> "Burkina Faso"; code@(terra) -> "BF"; area@(terra) -> 274000; population@(terra) -> 6900000; capital@(terra) -> "Ouagadougou"; encompassed@("Africa") -> 100].
land("Rwanda","RWA"):terra_country[name@(terra) -> "Rwanda"; code@(terra) -> "RWA"; area@(terra) -> 26000; population@(terra) -> 6300000; capital@(terra) -> "Kigali"; encompassed@("Africa") -> 100].
land("Sambia","Z"):terra_country[name@(terra) -> "Sambia"; code@(terra) -> "Z"; area@(terra) -> 752614; population@(terra) -> 5800000; capital@(terra) -> "Lusaka"; encompassed@("Africa") -> 100].
land("Sao_Tome_and_Principe","SAO"):terra_country[name@(terra) -> "Sao Tome and Principe"; code@(terra) -> "SAO"; area@(terra) -> 960; population@(terra) -> 110000; capital@(terra) -> "Sao Tome"; encompassed@("Africa") -> 100].
land("Senegal","SN"):terra_country[name@(terra) -> "Senegal"; code@(terra) -> "SN"; area@(terra) -> 196000; population@(terra) -> 6600000; capital@(terra) -> "Dakar"; encompassed@("Africa") -> 100].
land("Seychellen","SY"):terra_country[name@(terra) -> "Seychellen"; code@(terra) -> "SY"; area@(terra) -> 455; population@(terra) -> 70000; capital@(terra) -> "Victoria"; encompassed@("Africa") -> 100].
land("Sierra_Leone","WAL"):terra_country[name@(terra) -> "Sierra Leone"; code@(terra) -> "WAL"; area@(terra) -> 72000; population@(terra) -> 3700000; capital@(terra) -> "Freetown"; encompassed@("Africa") -> 100].
land("Simbabwe","ZW"):terra_country[name@(terra) -> "Simbabwe"; code@(terra) -> "ZW"; area@(terra) -> 391000; population@(terra) -> 8400000; capital@(terra) -> "Salisbury"; encompassed@("Africa") -> 100].
land("Somalia","SP"):terra_country[name@(terra) -> "Somalia"; code@(terra) -> "SP"; area@(terra) -> 638000; population@(terra) -> 4800000; capital@(terra) -> "Mogadischu"; encompassed@("Africa") -> 100].
land("Suedafrika","RSA"):terra_country[name@(terra) -> "Suedafrika"; code@(terra) -> "RSA"; area@(terra) -> 1123000; population@(terra) -> 22800000; capital@(terra) -> "Pretoria"; encompassed@("Africa") -> 100].
land("Sudan","EAS"):terra_country[name@(terra) -> "Sudan"; code@(terra) -> "EAS"; area@(terra) -> 2505000; population@(terra) -> 22200000; capital@(terra) -> "Khartum"; encompassed@("Africa") -> 100].
land("Swasiland","SD"):terra_country[name@(terra) -> "Swasiland"; code@(terra) -> "SD"; area@(terra) -> 17000; population@(terra) -> 670000; capital@(terra) -> "Mbabane"; encompassed@("Africa") -> 100].
land("Tansania","EAT"):terra_country[name@(terra) -> "Tansania"; code@(terra) -> "EAT"; area@(terra) -> 945000; population@(terra) -> 22500000; capital@(terra) -> "Daressalam"; encompassed@("Africa") -> 100].
land("Togo","TG"):terra_country[name@(terra) -> "Togo"; code@(terra) -> "TG"; area@(terra) -> 56000; population@(terra) -> 3100000; capital@(terra) -> "Lome"; encompassed@("Africa") -> 100].
land("Tschad","TCH"):terra_country[name@(terra) -> "Tschad"; code@(terra) -> "TCH"; area@(terra) -> 1284000; population@(terra) -> 5100000; capital@(terra) -> "N Djamena"; encompassed@("Africa") -> 100].
land("Tunesien","TN"):terra_country[name@(terra) -> "Tunesien"; code@(terra) -> "TN"; area@(terra) -> 164000; population@(terra) -> 7500000; capital@(terra) -> "Tunis"; encompassed@("Africa") -> 100].
land("Uganda","EAU"):terra_country[name@(terra) -> "Uganda"; code@(terra) -> "EAU"; area@(terra) -> 236000; population@(terra) -> 16000000; capital@(terra) -> "Kampala"; encompassed@("Africa") -> 100].
land("Zaire","ZRE"):terra_country[name@(terra) -> "Zaire"; code@(terra) -> "ZRE"; area@(terra) -> 2345000; population@(terra) -> 30900000; capital@(terra) -> "Kinshasa"; encompassed@("Africa") -> 100].
land("Zentralafr_Rep","RCA"):terra_country[name@(terra) -> "Zentralafr Rep"; code@(terra) -> "RCA"; area@(terra) -> 623000; population@(terra) -> 2700000; capital@(terra) -> "Bangui"; encompassed@("Africa") -> 100].
land("Bophuthatswana","JB"):terra_country[name@(terra) -> "Bophuthatswana"; code@(terra) -> "JB"; area@(terra) -> 44000; population@(terra) -> 1700000; capital@(terra) -> "Mmabatho"; encompassed@("Africa") -> 100].
land("Namibia","SWA"):terra_country[name@(terra) -> "Namibia"; code@(terra) -> "SWA"; area@(terra) -> 823000; population@(terra) -> 1600000; capital@(terra) -> "Windhuk"; encompassed@("Africa") -> 100].
land("Transkei","X"):terra_country[name@(terra) -> "Transkei"; code@(terra) -> "X"; area@(terra) -> 39000; population@(terra) -> 2700000; capital@(terra) -> "Umtata"; encompassed@("Africa") -> 100].
land("Western Sahara","DARS"):terra_country[name@(terra) -> "Western Sahara"; code@(terra) -> "DARS"; area@(terra) -> 266000; population@(terra) -> 200000; capital@(terra) -> "El Alaiun"; encompassed@("Africa") -> 100].
land("Andorra","AND"):terra_country[name@(terra) -> "Andorra"; code@(terra) -> "AND"; area@(terra) -> 453; population@(terra) -> 45000; capital@(terra) -> "Andorra la Vella"; encompassed@("Europe") -> 100].
land("Belgien","B"):terra_country[name@(terra) -> "Belgien"; code@(terra) -> "B"; area@(terra) -> 30519; population@(terra) -> 9910000; capital@(terra) -> "Bruessel"; encompassed@("Europe") -> 100].
land("Bundesrepublik_Deutschland","D"):terra_country[name@(terra) -> "Bundesrepublik Deutschland"; code@(terra) -> "D"; area@(terra) -> 248678; population@(terra) -> 61170500; capital@(terra) -> "Bonn"; encompassed@("Europe") -> 100].
land("Frankreich","F"):terra_country[name@(terra) -> "Frankreich"; code@(terra) -> "F"; area@(terra) -> 547026; population@(terra) -> 54334872; capital@(terra) -> "Paris"; encompassed@("Europe") -> 100].
land("Griechenland","GR"):terra_country[name@(terra) -> "Griechenland"; code@(terra) -> "GR"; area@(terra) -> 131944; population@(terra) -> 9706687; capital@(terra) -> "Athen"; encompassed@("Europe") -> 100].
land("Grossbritannien","GB"):terra_country[name@(terra) -> "Grossbritannien"; code@(terra) -> "GB"; area@(terra) -> 244046; population@(terra) -> 56760000; capital@(terra) -> "London"; encompassed@("Europe") -> 100].
land("Irland","IRL"):terra_country[name@(terra) -> "Irland"; code@(terra) -> "IRL"; area@(terra) -> 70283; population@(terra) -> 3443405; capital@(terra) -> "Dublin"; encompassed@("Europe") -> 100].
land("Italien","I"):terra_country[name@(terra) -> "Italien"; code@(terra) -> "I"; area@(terra) -> 301252; population@(terra) -> 56556912; capital@(terra) -> "Rom"; encompassed@("Europe") -> 100].
land("Jugoslawien","YU"):terra_country[name@(terra) -> "Jugoslawien"; code@(terra) -> "YU"; area@(terra) -> 255804; population@(terra) -> 22402000; capital@(terra) -> "Belgrad"; encompassed@("Europe") -> 100].
land("Liechtenstein","FL"):terra_country[name@(terra) -> "Liechtenstein"; code@(terra) -> "FL"; area@(terra) -> 160; population@(terra) -> 27714; capital@(terra) -> "Vaduz"; encompassed@("Europe") -> 100].
land("Luxemburg","L"):terra_country[name@(terra) -> "Luxemburg"; code@(terra) -> "L"; area@(terra) -> 2586; population@(terra) -> 339841; capital@(terra) -> "Luxemburg"; encompassed@("Europe") -> 100].
land("Monaco","MC"):terra_country[name@(terra) -> "Monaco"; code@(terra) -> "MC"; area@(terra) -> #1.95; population@(terra) -> 25029; capital@(terra) -> "Monaco-Ville"; encompassed@("Europe") -> 100].
land("Niederlande","NL"):terra_country[name@(terra) -> "Niederlande"; code@(terra) -> "NL"; area@(terra) -> 41548; population@(terra) -> 13060115; capital@(terra) -> "Amsterdam"; encompassed@("Europe") -> 100].
land("Oesterreich","A"):terra_country[name@(terra) -> "Oesterreich"; code@(terra) -> "A"; area@(terra) -> 83854; population@(terra) -> 7555338; capital@(terra) -> "Wien"; encompassed@("Europe") -> 100].
land("Portugal","P"):terra_country[name@(terra) -> "Portugal"; code@(terra) -> "P"; area@(terra) -> 92082; population@(terra) -> 10350000; capital@(terra) -> "Lissabon"; encompassed@("Europe") -> 100].
land("San_Marino","RSM"):terra_country[name@(terra) -> "San Marino"; code@(terra) -> "RSM"; area@(terra) -> #60.57; population@(terra) -> 22418; capital@(terra) -> "San Marino"; encompassed@("Europe") -> 100].
land("Schweiz","CH"):terra_country[name@(terra) -> "Schweiz"; code@(terra) -> "CH"; area@(terra) -> 41293; population@(terra) -> 6567000; capital@(terra) -> "Bern"; encompassed@("Europe") -> 100].
land("Spanien","E"):terra_country[name@(terra) -> "Spanien"; code@(terra) -> "E"; area@(terra) -> 504782; population@(terra) -> 38830000; capital@(terra) -> "Madrid"; encompassed@("Europe") -> 100].
land("Tuerkei","TR"):terra_country[name@(terra) -> "Tuerkei"; code@(terra) -> "TR"; area@(terra) -> 780576; population@(terra) -> 50800000; capital@(terra) -> "Ankara"; encompassed@("Europe") -> 32].
land("Tuerkei","TR"):terra_country[name@(terra) -> "Tuerkei"; code@(terra) -> "TR"; area@(terra) -> 780576; population@(terra) -> 50800000; capital@(terra) -> "Ankara"; encompassed@("Asia") -> 68].
land("Vatikanstadt","SCV"):terra_country[name@(terra) -> "Vatikanstadt"; code@(terra) -> "SCV"; area@(terra) -> #0.44; population@(terra) -> 392; capital@(terra) -> "Vatikanstadt"; encompassed@("Europe") -> 100].
land("Malta","M"):terra_country[name@(terra) -> "Malta"; code@(terra) -> "M"; area@(terra) -> #315.6; population@(terra) -> 345418; capital@(terra) -> "Valletta"; encompassed@("Europe") -> 100].
land("Zypern","CY"):terra_country[name@(terra) -> "Zypern"; code@(terra) -> "CY"; area@(terra) -> 9251; population@(terra) -> 670000; capital@(terra) -> "Nikosia"; encompassed@("Europe") -> 100].
land("Israel","IL"):terra_country[name@(terra) -> "Israel"; code@(terra) -> "IL"; area@(terra) -> 20770; population@(terra) -> 4370000; capital@(terra) -> "Jerusalem"; encompassed@("Asia") -> 100].
land("Irak","IRQ"):terra_country[name@(terra) -> "Irak"; code@(terra) -> "IRQ"; area@(terra) -> 438446; population@(terra) -> 16450000; capital@(terra) -> "Bagdad"; encompassed@("Asia") -> 100].
land("Mongolei","MON"):terra_country[name@(terra) -> "Mongolei"; code@(terra) -> "MON"; area@(terra) -> 1565000; population@(terra) -> 1940000; capital@(terra) -> "Ulan Bator"; encompassed@("Asia") -> 100].
land("Nepal","NEP"):terra_country[name@(terra) -> "Nepal"; code@(terra) -> "NEP"; area@(terra) -> 140797; population@(terra) -> 17130000; capital@(terra) -> "Katmandu"; encompassed@("Asia") -> 100].
land("Afghanistan","AFG"):terra_country[name@(terra) -> "Afghanistan"; code@(terra) -> "AFG"; area@(terra) -> 647497; population@(terra) -> 18630000; capital@(terra) -> "Kabul"; encompassed@("Asia") -> 100].
land("Saudi-Arabien","KSA"):terra_country[name@(terra) -> "Saudi-Arabien"; code@(terra) -> "KSA"; area@(terra) -> 2149690; population@(terra) -> 13610000; capital@(terra) -> "Er Riad"; encompassed@("Asia") -> 100].
land("Pakistan","PAK"):terra_country[name@(terra) -> "Pakistan"; code@(terra) -> "PAK"; area@(terra) -> 803943; population@(terra) -> 102240000; capital@(terra) -> "Islamabad"; encompassed@("Asia") -> 100].
land("Libanon","RL"):terra_country[name@(terra) -> "Libanon"; code@(terra) -> "RL"; area@(terra) -> 10400; population@(terra) -> 2710000; capital@(terra) -> "Beirut"; encompassed@("Asia") -> 100].
land("Bahrein","BRN"):terra_country[name@(terra) -> "Bahrein"; code@(terra) -> "BRN"; area@(terra) -> 622; population@(terra) -> 430000; capital@(terra) -> "Manama"; encompassed@("Asia") -> 100].
land("Volksrepublik_Jemen","ADN"):terra_country[name@(terra) -> "Volksrepublik Jemen"; code@(terra) -> "ADN"; area@(terra) -> 332968; population@(terra) -> 2360000; capital@(terra) -> "Aden"; encompassed@("Asia") -> 100].
land("Jemen","JEM"):terra_country[name@(terra) -> "Jemen"; code@(terra) -> "JEM"; area@(terra) -> 195000; population@(terra) -> 9274173; capital@(terra) -> "Sana"; encompassed@("Asia") -> 100].
land("Vereinigte_Arabische_Emirate","UAE"):terra_country[name@(terra) -> "Vereinigte Arabische Emirate"; code@(terra) -> "UAE"; area@(terra) -> 83600; population@(terra) -> 1380000; capital@(terra) -> "Abu Dhabi"; encompassed@("Asia") -> 100].
land("Kuwait","KT"):terra_country[name@(terra) -> "Kuwait"; code@(terra) -> "KT"; area@(terra) -> 17818; population@(terra) -> 1870000; capital@(terra) -> "Kuwait City"; encompassed@("Asia") -> 100].

% 179 output(s) printed 

% Answer to query : ?- P:terra_prov[name@(terra) -> N; country@(terra) -> C; abbrev@(terra) -> AB; capital@(terra) -> Cap].

lteil("G","S"):terra_prov[name@(terra) -> "Kronoberg"; country@(terra) -> "S"; abbrev@(terra) -> "G"; capital@(terra) -> "Vaxjo"].
lteil("BD","S"):terra_prov[name@(terra) -> "Norrbotten"; country@(terra) -> "S"; abbrev@(terra) -> "BD"; capital@(terra) -> "Lulea"].
lteil("NIE","A"):terra_prov[name@(terra) -> "Lower Austria"; country@(terra) -> "A"; abbrev@(terra) -> "NIE"; capital@(terra) -> "St.Poelten"].
lteil("MS","USA"):terra_prov[name@(terra) -> "Mississippi"; country@(terra) -> "USA"; abbrev@(terra) -> "MS"; capital@(terra) -> "Jackson"].
lteil("MO","USA"):terra_prov[name@(terra) -> "Missouri"; country@(terra) -> "USA"; abbrev@(terra) -> "MO"; capital@(terra) -> "Jefferson City"].
lteil("AR","USA"):terra_prov[name@(terra) -> "Arkansas"; country@(terra) -> "USA"; abbrev@(terra) -> "AR"; capital@(terra) -> "Little Rock"].
lteil("CO","USA"):terra_prov[name@(terra) -> "Colorado"; country@(terra) -> "USA"; abbrev@(terra) -> "CO"; capital@(terra) -> "Denver"].
lteil("AB","S"):terra_prov[name@(terra) -> "Stockholm"; country@(terra) -> "S"; abbrev@(terra) -> "AB"; capital@(terra) -> "Stockholm"].
lteil("OS","N"):terra_prov[name@(terra) -> "Oslo"; country@(terra) -> "N"; abbrev@(terra) -> "OS"; capital@(terra) -> "Oslo"].
lteil("WA","USA"):terra_prov[name@(terra) -> "Washington"; country@(terra) -> "USA"; abbrev@(terra) -> "WA"; capital@(terra) -> "Olympia"].
lteil("DEH","IND"):terra_prov[name@(terra) -> "Delhi"; country@(terra) -> "IND"; abbrev@(terra) -> "DEH"; capital@(terra) -> "Delhi"].
lteil("BUE","RA"):terra_prov[name@(terra) -> "Buenos Aires"; country@(terra) -> "RA"; abbrev@(terra) -> "BUE"; capital@(terra) -> "La Plata"].
lteil("VIC","AUS"):terra_prov[name@(terra) -> "Victoria"; country@(terra) -> "AUS"; abbrev@(terra) -> "VIC"; capital@(terra) -> "Melbourne"].
lteil("ANH","VRC"):terra_prov[name@(terra) -> "Anhui"; country@(terra) -> "VRC"; abbrev@(terra) -> "ANH"; capital@(terra) -> "Hefei"].
lteil("FUJ","VRC"):terra_prov[name@(terra) -> "Fujian"; country@(terra) -> "VRC"; abbrev@(terra) -> "FUJ"; capital@(terra) -> "Fuzhou"].
lteil("GAN","VRC"):terra_prov[name@(terra) -> "Gansu"; country@(terra) -> "VRC"; abbrev@(terra) -> "GAN"; capital@(terra) -> "Lanzhou"].
lteil("GUA","VRC"):terra_prov[name@(terra) -> "Guangxi Zhuangzu"; country@(terra) -> "VRC"; abbrev@(terra) -> "GUA"; capital@(terra) -> "Nanning"].
lteil("GUI","VRC"):terra_prov[name@(terra) -> "Guizhou"; country@(terra) -> "VRC"; abbrev@(terra) -> "GUI"; capital@(terra) -> "Guiang"].
lteil("GWA","VRC"):terra_prov[name@(terra) -> "Guangdong"; country@(terra) -> "VRC"; abbrev@(terra) -> "GWA"; capital@(terra) -> "Kanton"].
lteil("HEB","VRC"):terra_prov[name@(terra) -> "Hebei"; country@(terra) -> "VRC"; abbrev@(terra) -> "HEB"; capital@(terra) -> "Shijiazhuang"].
lteil("HEI","VRC"):terra_prov[name@(terra) -> "Heilongjiang"; country@(terra) -> "VRC"; abbrev@(terra) -> "HEI"; capital@(terra) -> "Harbin"].
lteil("HEN","VRC"):terra_prov[name@(terra) -> "Henan"; country@(terra) -> "VRC"; abbrev@(terra) -> "HEN"; capital@(terra) -> "Zhengzhou"].
lteil("HUB","VRC"):terra_prov[name@(terra) -> "Hubei"; country@(terra) -> "VRC"; abbrev@(terra) -> "HUB"; capital@(terra) -> "Wuhan"].
lteil("HUN","VRC"):terra_prov[name@(terra) -> "Hunan"; country@(terra) -> "VRC"; abbrev@(terra) -> "HUN"; capital@(terra) -> "Changsha"].
lteil("INN","VRC"):terra_prov[name@(terra) -> "Inner Mongolia"; country@(terra) -> "VRC"; abbrev@(terra) -> "INN"; capital@(terra) -> "Hohhot"].
lteil("JSU","VRC"):terra_prov[name@(terra) -> "Jiangsu"; country@(terra) -> "VRC"; abbrev@(terra) -> "JSU"; capital@(terra) -> "Nanjing"].
lteil("JXI","VRC"):terra_prov[name@(terra) -> "Jiangxi"; country@(terra) -> "VRC"; abbrev@(terra) -> "JXI"; capital@(terra) -> "Nanchang"].
lteil("JIL","VRC"):terra_prov[name@(terra) -> "Jilin"; country@(terra) -> "VRC"; abbrev@(terra) -> "JIL"; capital@(terra) -> "Changchun"].
lteil("LIA","VRC"):terra_prov[name@(terra) -> "Liaoning"; country@(terra) -> "VRC"; abbrev@(terra) -> "LIA"; capital@(terra) -> "Shenyang"].
lteil("NIN","VRC"):terra_prov[name@(terra) -> "Ningxia Huizu"; country@(terra) -> "VRC"; abbrev@(terra) -> "NIN"; capital@(terra) -> "Yinchuan"].
lteil("PEK","VRC"):terra_prov[name@(terra) -> "Beijing"; country@(terra) -> "VRC"; abbrev@(terra) -> "PEK"; capital@(terra) -> "Peking"].
lteil("QIN","VRC"):terra_prov[name@(terra) -> "Qinghai"; country@(terra) -> "VRC"; abbrev@(terra) -> "QIN"; capital@(terra) -> "Xining"].
lteil("SHA","VRC"):terra_prov[name@(terra) -> "Shaanxi"; country@(terra) -> "VRC"; abbrev@(terra) -> "SHA"; capital@(terra) -> "Xian"].
lteil("SHG","VRC"):terra_prov[name@(terra) -> "Shandong"; country@(terra) -> "VRC"; abbrev@(terra) -> "SHG"; capital@(terra) -> "Jinan"].
lteil("SHX","VRC"):terra_prov[name@(terra) -> "Shanxi"; country@(terra) -> "VRC"; abbrev@(terra) -> "SHX"; capital@(terra) -> "Taiyuan"].
lteil("SIC","VRC"):terra_prov[name@(terra) -> "Sichuan"; country@(terra) -> "VRC"; abbrev@(terra) -> "SIC"; capital@(terra) -> "Chengdu"].
lteil("TIB","VRC"):terra_prov[name@(terra) -> "Tibet"; country@(terra) -> "VRC"; abbrev@(terra) -> "TIB"; capital@(terra) -> "Lhasa"].
lteil("XIN","VRC"):terra_prov[name@(terra) -> "Xinjiang Uygur"; country@(terra) -> "VRC"; abbrev@(terra) -> "XIN"; capital@(terra) -> "Urumqi"].
lteil("YUN","VRC"):terra_prov[name@(terra) -> "Yunnan"; country@(terra) -> "VRC"; abbrev@(terra) -> "YUN"; capital@(terra) -> "Kunming"].
lteil("ZHE","VRC"):terra_prov[name@(terra) -> "Zhejiang"; country@(terra) -> "VRC"; abbrev@(terra) -> "ZHE"; capital@(terra) -> "Hangzhou"].
lteil("C","S"):terra_prov[name@(terra) -> "Uppsala"; country@(terra) -> "S"; abbrev@(terra) -> "C"; capital@(terra) -> "Uppsala"].
lteil("D","S"):terra_prov[name@(terra) -> "Soedermansland"; country@(terra) -> "S"; abbrev@(terra) -> "D"; capital@(terra) -> "Nykoping"].
lteil("E","S"):terra_prov[name@(terra) -> "Oestergoetland"; country@(terra) -> "S"; abbrev@(terra) -> "E"; capital@(terra) -> "Linkoping"].
lteil("F","S"):terra_prov[name@(terra) -> "Jonkoping"; country@(terra) -> "S"; abbrev@(terra) -> "F"; capital@(terra) -> "Jonkoping"].
lteil("H","S"):terra_prov[name@(terra) -> "Kalmarlan"; country@(terra) -> "S"; abbrev@(terra) -> "H"; capital@(terra) -> "Kalmar"].
lteil("I","S"):terra_prov[name@(terra) -> "Gotland"; country@(terra) -> "S"; abbrev@(terra) -> "I"; capital@(terra) -> "Visby"].
lteil("K","S"):terra_prov[name@(terra) -> "Blekinge"; country@(terra) -> "S"; abbrev@(terra) -> "K"; capital@(terra) -> "Karlskrona"].
lteil("L","S"):terra_prov[name@(terra) -> "Kristianstadslan"; country@(terra) -> "S"; abbrev@(terra) -> "L"; capital@(terra) -> "Kristianstad"].
lteil("M","S"):terra_prov[name@(terra) -> "Malmohus"; country@(terra) -> "S"; abbrev@(terra) -> "M"; capital@(terra) -> "Malmo"].
lteil("N","S"):terra_prov[name@(terra) -> "Halland"; country@(terra) -> "S"; abbrev@(terra) -> "N"; capital@(terra) -> "Halmstad"].
lteil("O","S"):terra_prov[name@(terra) -> "Goteborg och Bohus"; country@(terra) -> "S"; abbrev@(terra) -> "O"; capital@(terra) -> "Goteborg"].
lteil("P","S"):terra_prov[name@(terra) -> "Alvsborg"; country@(terra) -> "S"; abbrev@(terra) -> "P"; capital@(terra) -> "Vanersborg"].
lteil("R","S"):terra_prov[name@(terra) -> "Skaraborg"; country@(terra) -> "S"; abbrev@(terra) -> "R"; capital@(terra) -> "Mariestad"].
lteil("S","S"):terra_prov[name@(terra) -> "Varmland"; country@(terra) -> "S"; abbrev@(terra) -> "S"; capital@(terra) -> "Karlstad"].
lteil("T","S"):terra_prov[name@(terra) -> "Orebrolan"; country@(terra) -> "S"; abbrev@(terra) -> "T"; capital@(terra) -> "Orebro"].
lteil("U","S"):terra_prov[name@(terra) -> "Vastmanland"; country@(terra) -> "S"; abbrev@(terra) -> "U"; capital@(terra) -> "Vaesteros"].
lteil("W","S"):terra_prov[name@(terra) -> "Koppaberg"; country@(terra) -> "S"; abbrev@(terra) -> "W"; capital@(terra) -> "Falun"].
lteil("X","S"):terra_prov[name@(terra) -> "Gavleborg"; country@(terra) -> "S"; abbrev@(terra) -> "X"; capital@(terra) -> "Gavle"].
lteil("Y","S"):terra_prov[name@(terra) -> "Vasternorrland"; country@(terra) -> "S"; abbrev@(terra) -> "Y"; capital@(terra) -> "Harnosand"].
lteil("Z","S"):terra_prov[name@(terra) -> "Jamtland"; country@(terra) -> "S"; abbrev@(terra) -> "Z"; capital@(terra) -> "Ostersund"].
lteil("AC","S"):terra_prov[name@(terra) -> "Vasterbotten"; country@(terra) -> "S"; abbrev@(terra) -> "AC"; capital@(terra) -> "Umea"].
lteil("ALA","SF"):terra_prov[name@(terra) -> "Aland"; country@(terra) -> "SF"; abbrev@(terra) -> "ALA"; capital@(terra) -> "Mariehamn"].
lteil("HAE","SF"):terra_prov[name@(terra) -> "Haeme"; country@(terra) -> "SF"; abbrev@(terra) -> "HAE"; capital@(terra) -> "Haemeenlinna"].
lteil("KUO","SF"):terra_prov[name@(terra) -> "Kuopio"; country@(terra) -> "SF"; abbrev@(terra) -> "KUO"; capital@(terra) -> "Kuopio"].
lteil("KYM","SF"):terra_prov[name@(terra) -> "Kymi"; country@(terra) -> "SF"; abbrev@(terra) -> "KYM"; capital@(terra) -> "Kotka"].
lteil("LAP","SF"):terra_prov[name@(terra) -> "Lappia"; country@(terra) -> "SF"; abbrev@(terra) -> "LAP"; capital@(terra) -> "Rovaniemi"].
lteil("MIK","SF"):terra_prov[name@(terra) -> "Mikkeli"; country@(terra) -> "SF"; abbrev@(terra) -> "MIK"; capital@(terra) -> "Mikkeli"].
lteil("MFI","SF"):terra_prov[name@(terra) -> "Suomi"; country@(terra) -> "SF"; abbrev@(terra) -> "MFI"; capital@(terra) -> "Jyvaeskylae"].
lteil("NKA","SF"):terra_prov[name@(terra) -> "Pohjols-Karjala"; country@(terra) -> "SF"; abbrev@(terra) -> "NKA"; capital@(terra) -> "Joensuu"].
lteil("OUL","SF"):terra_prov[name@(terra) -> "Oulu"; country@(terra) -> "SF"; abbrev@(terra) -> "OUL"; capital@(terra) -> "Oulu"].
lteil("TUP","SF"):terra_prov[name@(terra) -> "Turku-Pori"; country@(terra) -> "SF"; abbrev@(terra) -> "TUP"; capital@(terra) -> "Turku"].
lteil("UUS","SF"):terra_prov[name@(terra) -> "Uusimaa"; country@(terra) -> "SF"; abbrev@(terra) -> "UUS"; capital@(terra) -> "Helsinki"].
lteil("VAA","SF"):terra_prov[name@(terra) -> "Vaasa"; country@(terra) -> "SF"; abbrev@(terra) -> "VAA"; capital@(terra) -> "Vaasa"].
lteil("AK","N"):terra_prov[name@(terra) -> "Akershus"; country@(terra) -> "N"; abbrev@(terra) -> "AK"; capital@(terra) -> "Oslo"].
lteil("OES","N"):terra_prov[name@(terra) -> "Oestfold"; country@(terra) -> "N"; abbrev@(terra) -> "OES"; capital@(terra) -> "Moss"].
lteil("HE","N"):terra_prov[name@(terra) -> "Hedmark"; country@(terra) -> "N"; abbrev@(terra) -> "HE"; capital@(terra) -> "Hamar"].
lteil("OP","N"):terra_prov[name@(terra) -> "Oppland"; country@(terra) -> "N"; abbrev@(terra) -> "OP"; capital@(terra) -> "Lillehammer"].
lteil("BU","N"):terra_prov[name@(terra) -> "Buskerud"; country@(terra) -> "N"; abbrev@(terra) -> "BU"; capital@(terra) -> "Drammen"].
lteil("VE","N"):terra_prov[name@(terra) -> "Vestfold"; country@(terra) -> "N"; abbrev@(terra) -> "VE"; capital@(terra) -> "Toensberg"].
lteil("TE","N"):terra_prov[name@(terra) -> "Telemark"; country@(terra) -> "N"; abbrev@(terra) -> "TE"; capital@(terra) -> "Skien"].
lteil("AA","N"):terra_prov[name@(terra) -> "Aust Agder"; country@(terra) -> "N"; abbrev@(terra) -> "AA"; capital@(terra) -> "Arendal"].
lteil("VA","N"):terra_prov[name@(terra) -> "Vest Agder"; country@(terra) -> "N"; abbrev@(terra) -> "VA"; capital@(terra) -> "Kristiansand"].
lteil("RO","N"):terra_prov[name@(terra) -> "Rogaland"; country@(terra) -> "N"; abbrev@(terra) -> "RO"; capital@(terra) -> "Stavanger"].
lteil("HO","N"):terra_prov[name@(terra) -> "Hordaland"; country@(terra) -> "N"; abbrev@(terra) -> "HO"; capital@(terra) -> "Bergen"].
lteil("SF","N"):terra_prov[name@(terra) -> "Sogn og Fjordane"; country@(terra) -> "N"; abbrev@(terra) -> "SF"; capital@(terra) -> "Hermannsverk"].
lteil("MR","N"):terra_prov[name@(terra) -> "Moere og Romsdal"; country@(terra) -> "N"; abbrev@(terra) -> "MR"; capital@(terra) -> "Molde"].
lteil("ST","N"):terra_prov[name@(terra) -> "Soer Trondelag"; country@(terra) -> "N"; abbrev@(terra) -> "ST"; capital@(terra) -> "Trondheim"].
lteil("NT","N"):terra_prov[name@(terra) -> "Nord Trondelag"; country@(terra) -> "N"; abbrev@(terra) -> "NT"; capital@(terra) -> "Steinkjer"].
lteil("NO","N"):terra_prov[name@(terra) -> "Nordland"; country@(terra) -> "N"; abbrev@(terra) -> "NO"; capital@(terra) -> "Bodoe"].
lteil("TR","N"):terra_prov[name@(terra) -> "Troms"; country@(terra) -> "N"; abbrev@(terra) -> "TR"; capital@(terra) -> "Tromsoe"].
lteil("FI","N"):terra_prov[name@(terra) -> "Finnmark"; country@(terra) -> "N"; abbrev@(terra) -> "FI"; capital@(terra) -> "Vadsoe"].
lteil("RSF","SU"):terra_prov[name@(terra) -> "Russische Soz.Foederal.SR"; country@(terra) -> "SU"; abbrev@(terra) -> "RSF"; capital@(terra) -> "Moskau"].
lteil("UKR","SU"):terra_prov[name@(terra) -> "Ukrainische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "UKR"; capital@(terra) -> "Kiew"].
lteil("BLR","SU"):terra_prov[name@(terra) -> "Belorussische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "BLR"; capital@(terra) -> "Minsk"].
lteil("USB","SU"):terra_prov[name@(terra) -> "Usbekische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "USB"; capital@(terra) -> "Taschkent"].
lteil("KAS","SU"):terra_prov[name@(terra) -> "Kasachische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "KAS"; capital@(terra) -> "Alma-Ata"].
lteil("GEO","SU"):terra_prov[name@(terra) -> "Georgische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "GEO"; capital@(terra) -> "Tbilissi"].
lteil("ASB","SU"):terra_prov[name@(terra) -> "Aserbaidshanische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "ASB"; capital@(terra) -> "Baku"].
lteil("LIT","SU"):terra_prov[name@(terra) -> "Litauische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "LIT"; capital@(terra) -> "Vilnius"].
lteil("MOL","SU"):terra_prov[name@(terra) -> "Moldauische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "MOL"; capital@(terra) -> "Kischinjow"].
lteil("LET","SU"):terra_prov[name@(terra) -> "Lettische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "LET"; capital@(terra) -> "Riga"].
lteil("KIR","SU"):terra_prov[name@(terra) -> "Kirgisische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "KIR"; capital@(terra) -> "Frunse"].
lteil("TAD","SU"):terra_prov[name@(terra) -> "Tadshikische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "TAD"; capital@(terra) -> "Dushanbe"].
lteil("ARM","SU"):terra_prov[name@(terra) -> "Armenische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "ARM"; capital@(terra) -> "Jerewan"].
lteil("TRK","SU"):terra_prov[name@(terra) -> "Turkmenische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "TRK"; capital@(terra) -> "Aschchabad"].
lteil("EST","SU"):terra_prov[name@(terra) -> "Estnische SSR"; country@(terra) -> "SU"; abbrev@(terra) -> "EST"; capital@(terra) -> "Tallinn"].
lteil("ALS","F"):terra_prov[name@(terra) -> "Alsace"; country@(terra) -> "F"; abbrev@(terra) -> "ALS"; capital@(terra) -> "Strasbourg"].
lteil("AQU","F"):terra_prov[name@(terra) -> "Aquitaine"; country@(terra) -> "F"; abbrev@(terra) -> "AQU"; capital@(terra) -> "Bordeaux"].
lteil("AUV","F"):terra_prov[name@(terra) -> "Auvergne"; country@(terra) -> "F"; abbrev@(terra) -> "AUV"; capital@(terra) -> "Clerm.-Ferrand"].
lteil("BAS","F"):terra_prov[name@(terra) -> "Basse Normandie"; country@(terra) -> "F"; abbrev@(terra) -> "BAS"; capital@(terra) -> "Caen"].
lteil("BOU","F"):terra_prov[name@(terra) -> "Bourgogne"; country@(terra) -> "F"; abbrev@(terra) -> "BOU"; capital@(terra) -> "Dijon"].
lteil("BRE","F"):terra_prov[name@(terra) -> "Bretagne"; country@(terra) -> "F"; abbrev@(terra) -> "BRE"; capital@(terra) -> "Rennes"].
lteil("CEN","F"):terra_prov[name@(terra) -> "Centre"; country@(terra) -> "F"; abbrev@(terra) -> "CEN"; capital@(terra) -> "Orleans"].
lteil("CHA","F"):terra_prov[name@(terra) -> "Champagne-Ardenne"; country@(terra) -> "F"; abbrev@(terra) -> "CHA"; capital@(terra) -> "Chalons sur Marne"].
lteil("COR","F"):terra_prov[name@(terra) -> "Corse"; country@(terra) -> "F"; abbrev@(terra) -> "COR"; capital@(terra) -> "Ajaccio"].
lteil("FRA","F"):terra_prov[name@(terra) -> "Franche-Comte"; country@(terra) -> "F"; abbrev@(terra) -> "FRA"; capital@(terra) -> "Besancon"].
lteil("HAU","F"):terra_prov[name@(terra) -> "Haute-Normandie"; country@(terra) -> "F"; abbrev@(terra) -> "HAU"; capital@(terra) -> "Rouen"].
lteil("ILE","F"):terra_prov[name@(terra) -> "Ile de France"; country@(terra) -> "F"; abbrev@(terra) -> "ILE"; capital@(terra) -> "Paris"].
lteil("LAN","F"):terra_prov[name@(terra) -> "Lang.-Rousilli."; country@(terra) -> "F"; abbrev@(terra) -> "LAN"; capital@(terra) -> "Montpellier"].
lteil("LIM","F"):terra_prov[name@(terra) -> "Limousin"; country@(terra) -> "F"; abbrev@(terra) -> "LIM"; capital@(terra) -> "Limoges"].
lteil("LOR","F"):terra_prov[name@(terra) -> "Lorraine"; country@(terra) -> "F"; abbrev@(terra) -> "LOR"; capital@(terra) -> "Nancy"].
lteil("MID","F"):terra_prov[name@(terra) -> "Midi-Pyrenees"; country@(terra) -> "F"; abbrev@(terra) -> "MID"; capital@(terra) -> "Toulouse"].
lteil("NOR","F"):terra_prov[name@(terra) -> "Nord-Pas-de-Ca."; country@(terra) -> "F"; abbrev@(terra) -> "NOR"; capital@(terra) -> "Lille"].
lteil("PAY","F"):terra_prov[name@(terra) -> "Pays de la Lou."; country@(terra) -> "F"; abbrev@(terra) -> "PAY"; capital@(terra) -> "Nantes"].
lteil("PIC","F"):terra_prov[name@(terra) -> "Picardie"; country@(terra) -> "F"; abbrev@(terra) -> "PIC"; capital@(terra) -> "Amiens"].
lteil("POI","F"):terra_prov[name@(terra) -> "Poitou-Charent."; country@(terra) -> "F"; abbrev@(terra) -> "POI"; capital@(terra) -> "Poitiers"].
lteil("PRO","F"):terra_prov[name@(terra) -> "Prov. Cote Azur"; country@(terra) -> "F"; abbrev@(terra) -> "PRO"; capital@(terra) -> "Marseille"].
lteil("RHO","F"):terra_prov[name@(terra) -> "Rhone-Alpes"; country@(terra) -> "F"; abbrev@(terra) -> "RHO"; capital@(terra) -> "Lyon"].
lteil("PIE","I"):terra_prov[name@(terra) -> "Piemonte"; country@(terra) -> "I"; abbrev@(terra) -> "PIE"; capital@(terra) -> "Turin"].
lteil("AOS","I"):terra_prov[name@(terra) -> "Valle d Aosta"; country@(terra) -> "I"; abbrev@(terra) -> "AOS"; capital@(terra) -> "Aosta"].
lteil("LIG","I"):terra_prov[name@(terra) -> "Ligurien"; country@(terra) -> "I"; abbrev@(terra) -> "LIG"; capital@(terra) -> "Genua"].
lteil("LOM","I"):terra_prov[name@(terra) -> "Lombardia"; country@(terra) -> "I"; abbrev@(terra) -> "LOM"; capital@(terra) -> "Mailand"].
lteil("TRE","I"):terra_prov[name@(terra) -> "Trentino-Alto Adige"; country@(terra) -> "I"; abbrev@(terra) -> "TRE"; capital@(terra) -> "Bolzano"].
lteil("VEN","I"):terra_prov[name@(terra) -> "Veneto"; country@(terra) -> "I"; abbrev@(terra) -> "VEN"; capital@(terra) -> "Venedig"].
lteil("FRI","I"):terra_prov[name@(terra) -> "Friuli-Venezia Giulia"; country@(terra) -> "I"; abbrev@(terra) -> "FRI"; capital@(terra) -> "Trieste"].
lteil("EMI","I"):terra_prov[name@(terra) -> "Emilia-Romagna"; country@(terra) -> "I"; abbrev@(terra) -> "EMI"; capital@(terra) -> "Bologna"].
lteil("TOS","I"):terra_prov[name@(terra) -> "Toscana"; country@(terra) -> "I"; abbrev@(terra) -> "TOS"; capital@(terra) -> "Florenz"].
lteil("UMB","I"):terra_prov[name@(terra) -> "Umbria"; country@(terra) -> "I"; abbrev@(terra) -> "UMB"; capital@(terra) -> "Perugia"].
lteil("MAR","I"):terra_prov[name@(terra) -> "Marche"; country@(terra) -> "I"; abbrev@(terra) -> "MAR"; capital@(terra) -> "Ancona"].
lteil("LAT","I"):terra_prov[name@(terra) -> "Lazio"; country@(terra) -> "I"; abbrev@(terra) -> "LAT"; capital@(terra) -> "Rom"].
lteil("ABR","I"):terra_prov[name@(terra) -> "Abruzzo"; country@(terra) -> "I"; abbrev@(terra) -> "ABR"; capital@(terra) -> "L Aquila"].
lteil("MOL","I"):terra_prov[name@(terra) -> "Molise"; country@(terra) -> "I"; abbrev@(terra) -> "MOL"; capital@(terra) -> "Campozona"].
lteil("KAM","I"):terra_prov[name@(terra) -> "Campania"; country@(terra) -> "I"; abbrev@(terra) -> "KAM"; capital@(terra) -> "Neapel"].
lteil("APU","I"):terra_prov[name@(terra) -> "Puglia"; country@(terra) -> "I"; abbrev@(terra) -> "APU"; capital@(terra) -> "Bari"].
lteil("BAS","I"):terra_prov[name@(terra) -> "Basilicata"; country@(terra) -> "I"; abbrev@(terra) -> "BAS"; capital@(terra) -> "Potenza"].
lteil("KAL","I"):terra_prov[name@(terra) -> "Calabria"; country@(terra) -> "I"; abbrev@(terra) -> "KAL"; capital@(terra) -> "Catanzaro"].
lteil("SIZ","I"):terra_prov[name@(terra) -> "Sicilia"; country@(terra) -> "I"; abbrev@(terra) -> "SIZ"; capital@(terra) -> "Palermo"].
lteil("SAR","I"):terra_prov[name@(terra) -> "Sardegna"; country@(terra) -> "I"; abbrev@(terra) -> "SAR"; capital@(terra) -> "Cagliari"].
lteil("BUR","A"):terra_prov[name@(terra) -> "Burgenland"; country@(terra) -> "A"; abbrev@(terra) -> "BUR"; capital@(terra) -> "Eisenstadt"].
lteil("KAE","A"):terra_prov[name@(terra) -> "Kaernten"; country@(terra) -> "A"; abbrev@(terra) -> "KAE"; capital@(terra) -> "Klagenfurt"].
lteil("OBE","A"):terra_prov[name@(terra) -> "Oberoesterr."; country@(terra) -> "A"; abbrev@(terra) -> "OBE"; capital@(terra) -> "Linz"].
lteil("SAL","A"):terra_prov[name@(terra) -> "Salzburg"; country@(terra) -> "A"; abbrev@(terra) -> "SAL"; capital@(terra) -> "Salzburg"].
lteil("STE","A"):terra_prov[name@(terra) -> "Steiermark"; country@(terra) -> "A"; abbrev@(terra) -> "STE"; capital@(terra) -> "Graz"].
lteil("TIR","A"):terra_prov[name@(terra) -> "Tirol"; country@(terra) -> "A"; abbrev@(terra) -> "TIR"; capital@(terra) -> "Innsbruck"].
lteil("VOR","A"):terra_prov[name@(terra) -> "Vorarlberg"; country@(terra) -> "A"; abbrev@(terra) -> "VOR"; capital@(terra) -> "Bregenz"].
lteil("WIE","A"):terra_prov[name@(terra) -> "Vienna"; country@(terra) -> "A"; abbrev@(terra) -> "WIE"; capital@(terra) -> "Wien"].
lteil("SCH","GB"):terra_prov[name@(terra) -> "Schottland"; country@(terra) -> "GB"; abbrev@(terra) -> "SCH"; capital@(terra) -> "Edinburgh"].
lteil("ENG","GB"):terra_prov[name@(terra) -> "England"; country@(terra) -> "GB"; abbrev@(terra) -> "ENG"; capital@(terra) -> "London"].
lteil("WAL","GB"):terra_prov[name@(terra) -> "Wales"; country@(terra) -> "GB"; abbrev@(terra) -> "WAL"; capital@(terra) -> "Cardiff"].
lteil("NOR","GB"):terra_prov[name@(terra) -> "Nordirland"; country@(terra) -> "GB"; abbrev@(terra) -> "NOR"; capital@(terra) -> "Belfast"].
lteil("GBZ","GB"):terra_prov[name@(terra) -> "Gibraltar"; country@(terra) -> "GB"; abbrev@(terra) -> "GBZ"; capital@(terra) -> "Gibraltar"].
lteil("GBA","GB"):terra_prov[name@(terra) -> "Alderney"; country@(terra) -> "GB"; abbrev@(terra) -> "GBA"; capital@(terra) -> "Alderney"].
lteil("GBG","GB"):terra_prov[name@(terra) -> "Guernsey"; country@(terra) -> "GB"; abbrev@(terra) -> "GBG"; capital@(terra) -> "St. Peter Port"].
lteil("GBJ","GB"):terra_prov[name@(terra) -> "Jersey"; country@(terra) -> "GB"; abbrev@(terra) -> "GBJ"; capital@(terra) -> "St. Helier"].
lteil("SWH","D"):terra_prov[name@(terra) -> "Schleswig-Holstein"; country@(terra) -> "D"; abbrev@(terra) -> "SWH"; capital@(terra) -> "Kiel"].
lteil("HH","D"):terra_prov[name@(terra) -> "Hansestadt Hamburg"; country@(terra) -> "D"; abbrev@(terra) -> "HH"; capital@(terra) -> "Hamburg"].
lteil("NIE","D"):terra_prov[name@(terra) -> "Niedersachsen"; country@(terra) -> "D"; abbrev@(terra) -> "NIE"; capital@(terra) -> "Hannover"].
lteil("HB","D"):terra_prov[name@(terra) -> "Hansestadt Bremen"; country@(terra) -> "D"; abbrev@(terra) -> "HB"; capital@(terra) -> "Bremen"].
lteil("B","D"):terra_prov[name@(terra) -> "Berlin (West)"; country@(terra) -> "D"; abbrev@(terra) -> "B"; capital@(terra) -> "Berlin"].
lteil("NRW","D"):terra_prov[name@(terra) -> "Nordrhein-Westfalen"; country@(terra) -> "D"; abbrev@(terra) -> "NRW"; capital@(terra) -> "Dusseldorf"].
lteil("HES","D"):terra_prov[name@(terra) -> "Hessen"; country@(terra) -> "D"; abbrev@(terra) -> "HES"; capital@(terra) -> "Wiesbaden"].
lteil("RPF","D"):terra_prov[name@(terra) -> "Rheinland-Pfalz"; country@(terra) -> "D"; abbrev@(terra) -> "RPF"; capital@(terra) -> "Mainz"].
lteil("SAR","D"):terra_prov[name@(terra) -> "Saarland"; country@(terra) -> "D"; abbrev@(terra) -> "SAR"; capital@(terra) -> "Saarbrucken"].
lteil("BAW","D"):terra_prov[name@(terra) -> "Baden-Wuerttemberg"; country@(terra) -> "D"; abbrev@(terra) -> "BAW"; capital@(terra) -> "Stuttgart"].
lteil("BAY","D"):terra_prov[name@(terra) -> "Bayern"; country@(terra) -> "D"; abbrev@(terra) -> "BAY"; capital@(terra) -> "Munich"].
lteil("ANT","B"):terra_prov[name@(terra) -> "Antwerp"; country@(terra) -> "B"; abbrev@(terra) -> "ANT"; capital@(terra) -> "Antwerpen"].
lteil("BRA","B"):terra_prov[name@(terra) -> "Brabant"; country@(terra) -> "B"; abbrev@(terra) -> "BRA"; capital@(terra) -> "Brussels"].
lteil("WES","B"):terra_prov[name@(terra) -> "West Flanders"; country@(terra) -> "B"; abbrev@(terra) -> "WES"; capital@(terra) -> "Brugge"].
lteil("OST","B"):terra_prov[name@(terra) -> "East Flanders"; country@(terra) -> "B"; abbrev@(terra) -> "OST"; capital@(terra) -> "Gent"].
lteil("HEN","B"):terra_prov[name@(terra) -> "Hainaut"; country@(terra) -> "B"; abbrev@(terra) -> "HEN"; capital@(terra) -> "Mons"].
lteil("LUE","B"):terra_prov[name@(terra) -> "Liege"; country@(terra) -> "B"; abbrev@(terra) -> "LUE"; capital@(terra) -> "Luettich"].
lteil("LIM","B"):terra_prov[name@(terra) -> "Limburg"; country@(terra) -> "B"; abbrev@(terra) -> "LIM"; capital@(terra) -> "Hasselt"].
lteil("LUX","B"):terra_prov[name@(terra) -> "Luxembourg"; country@(terra) -> "B"; abbrev@(terra) -> "LUX"; capital@(terra) -> "Arlon"].
lteil("NAM","B"):terra_prov[name@(terra) -> "Namur"; country@(terra) -> "B"; abbrev@(terra) -> "NAM"; capital@(terra) -> "Namur"].
lteil("WES","AUS"):terra_prov[name@(terra) -> "Westaustralien"; country@(terra) -> "AUS"; abbrev@(terra) -> "WES"; capital@(terra) -> "Perth"].
lteil("SUE","AUS"):terra_prov[name@(terra) -> "Suedaustralien"; country@(terra) -> "AUS"; abbrev@(terra) -> "SUE"; capital@(terra) -> "Adelaide"].
lteil("NSW","AUS"):terra_prov[name@(terra) -> "Neu-Sued-Wales"; country@(terra) -> "AUS"; abbrev@(terra) -> "NSW"; capital@(terra) -> "Sydney"].
lteil("QUE","AUS"):terra_prov[name@(terra) -> "Queensland"; country@(terra) -> "AUS"; abbrev@(terra) -> "QUE"; capital@(terra) -> "Brisbane"].
lteil("TAS","AUS"):terra_prov[name@(terra) -> "Tasmania"; country@(terra) -> "AUS"; abbrev@(terra) -> "TAS"; capital@(terra) -> "Hobart"].
lteil("NOR","AUS"):terra_prov[name@(terra) -> "Nordterritorium"; country@(terra) -> "AUS"; abbrev@(terra) -> "NOR"; capital@(terra) -> "Darwin"].
lteil("ACT","AUS"):terra_prov[name@(terra) -> "Austr.Cap.Terr."; country@(terra) -> "AUS"; abbrev@(terra) -> "ACT"; capital@(terra) -> "Canberra"].
lteil("ACR","BR"):terra_prov[name@(terra) -> "Acre"; country@(terra) -> "BR"; abbrev@(terra) -> "ACR"; capital@(terra) -> "Rio Branco"].
lteil("AMA","BR"):terra_prov[name@(terra) -> "Amazonas"; country@(terra) -> "BR"; abbrev@(terra) -> "AMA"; capital@(terra) -> "Manaus"].
lteil("RON","BR"):terra_prov[name@(terra) -> "Rondonia"; country@(terra) -> "BR"; abbrev@(terra) -> "RON"; capital@(terra) -> "Porto Velho"].
lteil("MAT","BR"):terra_prov[name@(terra) -> "Mato Grosso"; country@(terra) -> "BR"; abbrev@(terra) -> "MAT"; capital@(terra) -> "Cuiaba"].
lteil("PAR","BR"):terra_prov[name@(terra) -> "Para"; country@(terra) -> "BR"; abbrev@(terra) -> "PAR"; capital@(terra) -> "Belem"].
lteil("MAR","BR"):terra_prov[name@(terra) -> "Maranhao"; country@(terra) -> "BR"; abbrev@(terra) -> "MAR"; capital@(terra) -> "Sao Luis"].
lteil("PIA","BR"):terra_prov[name@(terra) -> "Piaui"; country@(terra) -> "BR"; abbrev@(terra) -> "PIA"; capital@(terra) -> "Teresina"].
lteil("CEA","BR"):terra_prov[name@(terra) -> "Ceara"; country@(terra) -> "BR"; abbrev@(terra) -> "CEA"; capital@(terra) -> "Fortaleza"].
lteil("RGN","BR"):terra_prov[name@(terra) -> "Rio Grande do Norte"; country@(terra) -> "BR"; abbrev@(terra) -> "RGN"; capital@(terra) -> "Natal"].
lteil("PBA","BR"):terra_prov[name@(terra) -> "Paraiba"; country@(terra) -> "BR"; abbrev@(terra) -> "PBA"; capital@(terra) -> "Joao Pessoa"].
lteil("PER","BR"):terra_prov[name@(terra) -> "Pernambuco"; country@(terra) -> "BR"; abbrev@(terra) -> "PER"; capital@(terra) -> "Recife"].
lteil("ALA","BR"):terra_prov[name@(terra) -> "Alagoas"; country@(terra) -> "BR"; abbrev@(terra) -> "ALA"; capital@(terra) -> "Maceio"].
lteil("SER","BR"):terra_prov[name@(terra) -> "Sergipe"; country@(terra) -> "BR"; abbrev@(terra) -> "SER"; capital@(terra) -> "Aracaju"].
lteil("BAH","BR"):terra_prov[name@(terra) -> "Bahia"; country@(terra) -> "BR"; abbrev@(terra) -> "BAH"; capital@(terra) -> "Salvador"].
lteil("GOI","BR"):terra_prov[name@(terra) -> "Goias"; country@(terra) -> "BR"; abbrev@(terra) -> "GOI"; capital@(terra) -> "Goiania"].
lteil("MIN","BR"):terra_prov[name@(terra) -> "Minas Gerais"; country@(terra) -> "BR"; abbrev@(terra) -> "MIN"; capital@(terra) -> "Belo Horizonte"].
lteil("ESP","BR"):terra_prov[name@(terra) -> "Espirito Santo"; country@(terra) -> "BR"; abbrev@(terra) -> "ESP"; capital@(terra) -> "Vitoria"].
lteil("RIO","BR"):terra_prov[name@(terra) -> "Rio de Janeiro"; country@(terra) -> "BR"; abbrev@(terra) -> "RIO"; capital@(terra) -> "Rio de Janeiro"].
lteil("SAO","BR"):terra_prov[name@(terra) -> "Sao Paulo"; country@(terra) -> "BR"; abbrev@(terra) -> "SAO"; capital@(terra) -> "Sao Paulo"].
lteil("PNA","BR"):terra_prov[name@(terra) -> "Parana"; country@(terra) -> "BR"; abbrev@(terra) -> "PNA"; capital@(terra) -> "Curitiba"].
lteil("SAN","BR"):terra_prov[name@(terra) -> "Santa Catarina"; country@(terra) -> "BR"; abbrev@(terra) -> "SAN"; capital@(terra) -> "Florianopolis"].
lteil("RGS","BR"):terra_prov[name@(terra) -> "Rio Grande do Sul"; country@(terra) -> "BR"; abbrev@(terra) -> "RGS"; capital@(terra) -> "Porto Alegre"].
lteil("ROR","BR"):terra_prov[name@(terra) -> "Roraima"; country@(terra) -> "BR"; abbrev@(terra) -> "ROR"; capital@(terra) -> "Boa Vista"].
lteil("APA","BR"):terra_prov[name@(terra) -> "Amapa"; country@(terra) -> "BR"; abbrev@(terra) -> "APA"; capital@(terra) -> "Macapa"].
lteil("FED","BR"):terra_prov[name@(terra) -> "Distrito Federal"; country@(terra) -> "BR"; abbrev@(terra) -> "FED"; capital@(terra) -> "Brasilia"].
lteil("BUN","RA"):terra_prov[name@(terra) -> "Bundesdistrikt"; country@(terra) -> "RA"; abbrev@(terra) -> "BUN"; capital@(terra) -> "Buenos Aires"].
lteil("CAT","RA"):terra_prov[name@(terra) -> "Catamarca"; country@(terra) -> "RA"; abbrev@(terra) -> "CAT"; capital@(terra) -> "San Fernando"].
lteil("COR","RA"):terra_prov[name@(terra) -> "Cordoba"; country@(terra) -> "RA"; abbrev@(terra) -> "COR"; capital@(terra) -> "Cordoba"].
lteil("CES","RA"):terra_prov[name@(terra) -> "Corrientes"; country@(terra) -> "RA"; abbrev@(terra) -> "CES"; capital@(terra) -> "Corrientes"].
lteil("CHA","RA"):terra_prov[name@(terra) -> "Chaco"; country@(terra) -> "RA"; abbrev@(terra) -> "CHA"; capital@(terra) -> "Resistencia"].
lteil("CHU","RA"):terra_prov[name@(terra) -> "Chubut"; country@(terra) -> "RA"; abbrev@(terra) -> "CHU"; capital@(terra) -> "Rawson"].
lteil("ENT","RA"):terra_prov[name@(terra) -> "Entre Rios"; country@(terra) -> "RA"; abbrev@(terra) -> "ENT"; capital@(terra) -> "Parana"].
lteil("FOR","RA"):terra_prov[name@(terra) -> "Formosa"; country@(terra) -> "RA"; abbrev@(terra) -> "FOR"; capital@(terra) -> "Formosa"].
lteil("JUY","RA"):terra_prov[name@(terra) -> "Jujuy"; country@(terra) -> "RA"; abbrev@(terra) -> "JUY"; capital@(terra) -> "San Salvador de Jujuy"].
lteil("LAP","RA"):terra_prov[name@(terra) -> "La Pampa"; country@(terra) -> "RA"; abbrev@(terra) -> "LAP"; capital@(terra) -> "Santa Rosa"].
lteil("LAR","RA"):terra_prov[name@(terra) -> "La Rioja"; country@(terra) -> "RA"; abbrev@(terra) -> "LAR"; capital@(terra) -> "La Rioja"].
lteil("MEN","RA"):terra_prov[name@(terra) -> "Mendoza"; country@(terra) -> "RA"; abbrev@(terra) -> "MEN"; capital@(terra) -> "Mendoza"].
lteil("MIS","RA"):terra_prov[name@(terra) -> "Misiones"; country@(terra) -> "RA"; abbrev@(terra) -> "MIS"; capital@(terra) -> "Posadas"].
lteil("NEU","RA"):terra_prov[name@(terra) -> "Neuquen"; country@(terra) -> "RA"; abbrev@(terra) -> "NEU"; capital@(terra) -> "Neuquen"].
lteil("RIO","RA"):terra_prov[name@(terra) -> "Rio Negro"; country@(terra) -> "RA"; abbrev@(terra) -> "RIO"; capital@(terra) -> "Viedma"].
lteil("SAL","RA"):terra_prov[name@(terra) -> "Salta"; country@(terra) -> "RA"; abbrev@(terra) -> "SAL"; capital@(terra) -> "Salta"].
lteil("SJU","RA"):terra_prov[name@(terra) -> "San Juan"; country@(terra) -> "RA"; abbrev@(terra) -> "SJU"; capital@(terra) -> "San Juan"].
lteil("SLU","RA"):terra_prov[name@(terra) -> "San Luis"; country@(terra) -> "RA"; abbrev@(terra) -> "SLU"; capital@(terra) -> "San Luis"].
lteil("SFE","RA"):terra_prov[name@(terra) -> "Santa Fe"; country@(terra) -> "RA"; abbrev@(terra) -> "SFE"; capital@(terra) -> "Santa Fe"].
lteil("SCR","RA"):terra_prov[name@(terra) -> "Santa Cruz"; country@(terra) -> "RA"; abbrev@(terra) -> "SCR"; capital@(terra) -> "Rio Gallegos"].
lteil("SDE","RA"):terra_prov[name@(terra) -> "Santiago del Estero"; country@(terra) -> "RA"; abbrev@(terra) -> "SDE"; capital@(terra) -> "Santiago del Estero"].
lteil("TUC","RA"):terra_prov[name@(terra) -> "Tucuman"; country@(terra) -> "RA"; abbrev@(terra) -> "TUC"; capital@(terra) -> "San Miguel de Tucuman"].
lteil("NAT","RA"):terra_prov[name@(terra) -> "Nationales Territorium"; country@(terra) -> "RA"; abbrev@(terra) -> "NAT"; capital@(terra) -> "Ushuaia"].
lteil("AL","USA"):terra_prov[name@(terra) -> "Alabama"; country@(terra) -> "USA"; abbrev@(terra) -> "AL"; capital@(terra) -> "Montgomery"].
lteil("AK","USA"):terra_prov[name@(terra) -> "Alaska"; country@(terra) -> "USA"; abbrev@(terra) -> "AK"; capital@(terra) -> "Juneau"].
lteil("AZ","USA"):terra_prov[name@(terra) -> "Arizona"; country@(terra) -> "USA"; abbrev@(terra) -> "AZ"; capital@(terra) -> "Phoenix"].
lteil("CA","USA"):terra_prov[name@(terra) -> "California"; country@(terra) -> "USA"; abbrev@(terra) -> "CA"; capital@(terra) -> "Sacramento"].
lteil("CT","USA"):terra_prov[name@(terra) -> "Connecticut"; country@(terra) -> "USA"; abbrev@(terra) -> "CT"; capital@(terra) -> "Hartford"].
lteil("DE","USA"):terra_prov[name@(terra) -> "Delaware"; country@(terra) -> "USA"; abbrev@(terra) -> "DE"; capital@(terra) -> "Dover"].
lteil("DC","USA"):terra_prov[name@(terra) -> "District of Columbia"; country@(terra) -> "USA"; abbrev@(terra) -> "DC"; capital@(terra) -> "Washington"].
lteil("FL","USA"):terra_prov[name@(terra) -> "Florida"; country@(terra) -> "USA"; abbrev@(terra) -> "FL"; capital@(terra) -> "Tallahassee"].
lteil("GA","USA"):terra_prov[name@(terra) -> "Georgia"; country@(terra) -> "USA"; abbrev@(terra) -> "GA"; capital@(terra) -> "Atlanta"].
lteil("HI","USA"):terra_prov[name@(terra) -> "Hawaii"; country@(terra) -> "USA"; abbrev@(terra) -> "HI"; capital@(terra) -> "Honolulu"].
lteil("ID","USA"):terra_prov[name@(terra) -> "Idaho"; country@(terra) -> "USA"; abbrev@(terra) -> "ID"; capital@(terra) -> "Boise"].
lteil("IL","USA"):terra_prov[name@(terra) -> "Illinois"; country@(terra) -> "USA"; abbrev@(terra) -> "IL"; capital@(terra) -> "Springfield"].
lteil("IN","USA"):terra_prov[name@(terra) -> "Indiana"; country@(terra) -> "USA"; abbrev@(terra) -> "IN"; capital@(terra) -> "Indianapolis"].
lteil("IA","USA"):terra_prov[name@(terra) -> "Iowa"; country@(terra) -> "USA"; abbrev@(terra) -> "IA"; capital@(terra) -> "Des Moines"].
lteil("KS","USA"):terra_prov[name@(terra) -> "Kansas"; country@(terra) -> "USA"; abbrev@(terra) -> "KS"; capital@(terra) -> "Topeka"].
lteil("KY","USA"):terra_prov[name@(terra) -> "Kentucky"; country@(terra) -> "USA"; abbrev@(terra) -> "KY"; capital@(terra) -> "Frankfort"].
lteil("LA","USA"):terra_prov[name@(terra) -> "Louisiana"; country@(terra) -> "USA"; abbrev@(terra) -> "LA"; capital@(terra) -> "Baton Rouge"].
lteil("ME","USA"):terra_prov[name@(terra) -> "Maine"; country@(terra) -> "USA"; abbrev@(terra) -> "ME"; capital@(terra) -> "Augusta"].
lteil("MD","USA"):terra_prov[name@(terra) -> "Maryland"; country@(terra) -> "USA"; abbrev@(terra) -> "MD"; capital@(terra) -> "Annapolis"].
lteil("MA","USA"):terra_prov[name@(terra) -> "Massachusetts"; country@(terra) -> "USA"; abbrev@(terra) -> "MA"; capital@(terra) -> "Boston"].
lteil("MI","USA"):terra_prov[name@(terra) -> "Michigan"; country@(terra) -> "USA"; abbrev@(terra) -> "MI"; capital@(terra) -> "Lansing"].
lteil("MN","USA"):terra_prov[name@(terra) -> "Minnesota"; country@(terra) -> "USA"; abbrev@(terra) -> "MN"; capital@(terra) -> "St. Paul"].
lteil("MT","USA"):terra_prov[name@(terra) -> "Montana"; country@(terra) -> "USA"; abbrev@(terra) -> "MT"; capital@(terra) -> "Helena"].
lteil("NE","USA"):terra_prov[name@(terra) -> "Nebraska"; country@(terra) -> "USA"; abbrev@(terra) -> "NE"; capital@(terra) -> "Lincoln"].
lteil("NV","USA"):terra_prov[name@(terra) -> "Nevada"; country@(terra) -> "USA"; abbrev@(terra) -> "NV"; capital@(terra) -> "Carson City"].
lteil("NH","USA"):terra_prov[name@(terra) -> "New Hampshire"; country@(terra) -> "USA"; abbrev@(terra) -> "NH"; capital@(terra) -> "Concord"].
lteil("NJ","USA"):terra_prov[name@(terra) -> "New Jersey"; country@(terra) -> "USA"; abbrev@(terra) -> "NJ"; capital@(terra) -> "Trenton"].
lteil("NM","USA"):terra_prov[name@(terra) -> "New Mexico"; country@(terra) -> "USA"; abbrev@(terra) -> "NM"; capital@(terra) -> "Santa Fe"].
lteil("NY","USA"):terra_prov[name@(terra) -> "New York"; country@(terra) -> "USA"; abbrev@(terra) -> "NY"; capital@(terra) -> "Albany"].
lteil("NC","USA"):terra_prov[name@(terra) -> "North Carolina"; country@(terra) -> "USA"; abbrev@(terra) -> "NC"; capital@(terra) -> "Raleigh"].
lteil("ND","USA"):terra_prov[name@(terra) -> "North Dakota"; country@(terra) -> "USA"; abbrev@(terra) -> "ND"; capital@(terra) -> "Bismarck"].
lteil("OH","USA"):terra_prov[name@(terra) -> "Ohio"; country@(terra) -> "USA"; abbrev@(terra) -> "OH"; capital@(terra) -> "Columbus"].
lteil("OK","USA"):terra_prov[name@(terra) -> "Oklahoma"; country@(terra) -> "USA"; abbrev@(terra) -> "OK"; capital@(terra) -> "Oklahoma City"].
lteil("OR","USA"):terra_prov[name@(terra) -> "Oregon"; country@(terra) -> "USA"; abbrev@(terra) -> "OR"; capital@(terra) -> "Salem"].
lteil("PA","USA"):terra_prov[name@(terra) -> "Pennsylvania"; country@(terra) -> "USA"; abbrev@(terra) -> "PA"; capital@(terra) -> "Harrisburg"].
lteil("RI","USA"):terra_prov[name@(terra) -> "Rhode Island"; country@(terra) -> "USA"; abbrev@(terra) -> "RI"; capital@(terra) -> "Providence"].
lteil("SC","USA"):terra_prov[name@(terra) -> "South Carolina"; country@(terra) -> "USA"; abbrev@(terra) -> "SC"; capital@(terra) -> "Columbia"].
lteil("SD","USA"):terra_prov[name@(terra) -> "South Dakota"; country@(terra) -> "USA"; abbrev@(terra) -> "SD"; capital@(terra) -> "Pierre"].
lteil("TN","USA"):terra_prov[name@(terra) -> "Tennessee"; country@(terra) -> "USA"; abbrev@(terra) -> "TN"; capital@(terra) -> "Nashville"].
lteil("TX","USA"):terra_prov[name@(terra) -> "Texas"; country@(terra) -> "USA"; abbrev@(terra) -> "TX"; capital@(terra) -> "Austin"].
lteil("UT","USA"):terra_prov[name@(terra) -> "Utah"; country@(terra) -> "USA"; abbrev@(terra) -> "UT"; capital@(terra) -> "Salt Lake City"].
lteil("VT","USA"):terra_prov[name@(terra) -> "Vermont"; country@(terra) -> "USA"; abbrev@(terra) -> "VT"; capital@(terra) -> "Montpelier"].
lteil("VA","USA"):terra_prov[name@(terra) -> "Virginia"; country@(terra) -> "USA"; abbrev@(terra) -> "VA"; capital@(terra) -> "Richmond"].
lteil("WV","USA"):terra_prov[name@(terra) -> "West Virginia"; country@(terra) -> "USA"; abbrev@(terra) -> "WV"; capital@(terra) -> "Charleston"].
lteil("WI","USA"):terra_prov[name@(terra) -> "Wisconsin"; country@(terra) -> "USA"; abbrev@(terra) -> "WI"; capital@(terra) -> "Madison"].
lteil("WY","USA"):terra_prov[name@(terra) -> "Wyoming"; country@(terra) -> "USA"; abbrev@(terra) -> "WY"; capital@(terra) -> "Cheyenne"].
lteil("AB","CDN"):terra_prov[name@(terra) -> "Alberta"; country@(terra) -> "CDN"; abbrev@(terra) -> "AB"; capital@(terra) -> "Edmonton"].
lteil("BC","CDN"):terra_prov[name@(terra) -> "British Columbia"; country@(terra) -> "CDN"; abbrev@(terra) -> "BC"; capital@(terra) -> "Victoria"].
lteil("MB","CDN"):terra_prov[name@(terra) -> "Manitoba"; country@(terra) -> "CDN"; abbrev@(terra) -> "MB"; capital@(terra) -> "Winnipeg"].
lteil("NB","CDN"):terra_prov[name@(terra) -> "New Brunswick"; country@(terra) -> "CDN"; abbrev@(terra) -> "NB"; capital@(terra) -> "Fredericton"].
lteil("NF","CDN"):terra_prov[name@(terra) -> "Newfoundland"; country@(terra) -> "CDN"; abbrev@(terra) -> "NF"; capital@(terra) -> "St. John s"].
lteil("NW","CDN"):terra_prov[name@(terra) -> "Northwest Territories"; country@(terra) -> "CDN"; abbrev@(terra) -> "NW"; capital@(terra) -> "Yellowknife"].
lteil("NS","CDN"):terra_prov[name@(terra) -> "Nova Scotia"; country@(terra) -> "CDN"; abbrev@(terra) -> "NS"; capital@(terra) -> "Halifax"].
lteil("ON","CDN"):terra_prov[name@(terra) -> "Ontario"; country@(terra) -> "CDN"; abbrev@(terra) -> "ON"; capital@(terra) -> "Toronto"].
lteil("PE","CDN"):terra_prov[name@(terra) -> "Prince Edward Island"; country@(terra) -> "CDN"; abbrev@(terra) -> "PE"; capital@(terra) -> "Charlottetown"].
lteil("PQ","CDN"):terra_prov[name@(terra) -> "Quebec"; country@(terra) -> "CDN"; abbrev@(terra) -> "PQ"; capital@(terra) -> "Quebec"].
lteil("SK","CDN"):terra_prov[name@(terra) -> "Saskatchewan"; country@(terra) -> "CDN"; abbrev@(terra) -> "SK"; capital@(terra) -> "Regina"].
lteil("YU","CDN"):terra_prov[name@(terra) -> "Yukon Territory"; country@(terra) -> "CDN"; abbrev@(terra) -> "YU"; capital@(terra) -> "Whitehorse"].
lteil("AGS","MEX"):terra_prov[name@(terra) -> "Aguascalientes"; country@(terra) -> "MEX"; abbrev@(terra) -> "AGS"; capital@(terra) -> "Aguascalientes"].
lteil("BC","MEX"):terra_prov[name@(terra) -> "Baja California Norte"; country@(terra) -> "MEX"; abbrev@(terra) -> "BC"; capital@(terra) -> "Mexicali"].
lteil("BCS","MEX"):terra_prov[name@(terra) -> "Baja California Sur"; country@(terra) -> "MEX"; abbrev@(terra) -> "BCS"; capital@(terra) -> "La Paz"].
lteil("CAM","MEX"):terra_prov[name@(terra) -> "Campeche"; country@(terra) -> "MEX"; abbrev@(terra) -> "CAM"; capital@(terra) -> "Campeche"].
lteil("CHI","MEX"):terra_prov[name@(terra) -> "Chiapas"; country@(terra) -> "MEX"; abbrev@(terra) -> "CHI"; capital@(terra) -> "Tuxtla Gutierrez"].
lteil("CHH","MEX"):terra_prov[name@(terra) -> "Chihuahua"; country@(terra) -> "MEX"; abbrev@(terra) -> "CHH"; capital@(terra) -> "Chihuahua"].
lteil("COA","MEX"):terra_prov[name@(terra) -> "Coahuila"; country@(terra) -> "MEX"; abbrev@(terra) -> "COA"; capital@(terra) -> "Saltillo"].
lteil("COL","MEX"):terra_prov[name@(terra) -> "Colima"; country@(terra) -> "MEX"; abbrev@(terra) -> "COL"; capital@(terra) -> "Colima"].
lteil("DF","MEX"):terra_prov[name@(terra) -> "Distrito Federal"; country@(terra) -> "MEX"; abbrev@(terra) -> "DF"; capital@(terra) -> "Mexico City"].
lteil("DGO","MEX"):terra_prov[name@(terra) -> "Durango"; country@(terra) -> "MEX"; abbrev@(terra) -> "DGO"; capital@(terra) -> "Durango"].
lteil("GTO","MEX"):terra_prov[name@(terra) -> "Guanajuato"; country@(terra) -> "MEX"; abbrev@(terra) -> "GTO"; capital@(terra) -> "Guanajuato"].
lteil("GRO","MEX"):terra_prov[name@(terra) -> "Guerrero"; country@(terra) -> "MEX"; abbrev@(terra) -> "GRO"; capital@(terra) -> "Chilpancingo d.l.Bravos"].
lteil("HGO","MEX"):terra_prov[name@(terra) -> "Hidalgo"; country@(terra) -> "MEX"; abbrev@(terra) -> "HGO"; capital@(terra) -> "Pachuca de Soto"].
lteil("JAL","MEX"):terra_prov[name@(terra) -> "Jalisco"; country@(terra) -> "MEX"; abbrev@(terra) -> "JAL"; capital@(terra) -> "Guadalajara"].
lteil("MEX","MEX"):terra_prov[name@(terra) -> "Mexico"; country@(terra) -> "MEX"; abbrev@(terra) -> "MEX"; capital@(terra) -> "Toluca de Lerdo"].
lteil("MIC","MEX"):terra_prov[name@(terra) -> "Michoacan"; country@(terra) -> "MEX"; abbrev@(terra) -> "MIC"; capital@(terra) -> "Morelia"].
lteil("MOR","MEX"):terra_prov[name@(terra) -> "Morelos"; country@(terra) -> "MEX"; abbrev@(terra) -> "MOR"; capital@(terra) -> "Cuernavaca"].
lteil("NAY","MEX"):terra_prov[name@(terra) -> "Nayarit"; country@(terra) -> "MEX"; abbrev@(terra) -> "NAY"; capital@(terra) -> "Tepic"].
lteil("NL","MEX"):terra_prov[name@(terra) -> "Nuevo Leon"; country@(terra) -> "MEX"; abbrev@(terra) -> "NL"; capital@(terra) -> "Monterrey"].
lteil("OAX","MEX"):terra_prov[name@(terra) -> "Oaxaca"; country@(terra) -> "MEX"; abbrev@(terra) -> "OAX"; capital@(terra) -> "Oaxaca de Juarez"].
lteil("PUE","MEX"):terra_prov[name@(terra) -> "Puebla"; country@(terra) -> "MEX"; abbrev@(terra) -> "PUE"; capital@(terra) -> "Puebla"].
lteil("QRO","MEX"):terra_prov[name@(terra) -> "Queretaro"; country@(terra) -> "MEX"; abbrev@(terra) -> "QRO"; capital@(terra) -> "Queretaro"].
lteil("QR","MEX"):terra_prov[name@(terra) -> "Quintana Roo"; country@(terra) -> "MEX"; abbrev@(terra) -> "QR"; capital@(terra) -> "Ciudad Chetumal"].
lteil("SLP","MEX"):terra_prov[name@(terra) -> "San Luis Potosi"; country@(terra) -> "MEX"; abbrev@(terra) -> "SLP"; capital@(terra) -> "San Luis Potosi"].
lteil("SIN","MEX"):terra_prov[name@(terra) -> "Sinaloa"; country@(terra) -> "MEX"; abbrev@(terra) -> "SIN"; capital@(terra) -> "Culiacan"].
lteil("SON","MEX"):terra_prov[name@(terra) -> "Sonora"; country@(terra) -> "MEX"; abbrev@(terra) -> "SON"; capital@(terra) -> "Hermosillo"].
lteil("TAB","MEX"):terra_prov[name@(terra) -> "Tabasco"; country@(terra) -> "MEX"; abbrev@(terra) -> "TAB"; capital@(terra) -> "Villahermosa"].
lteil("TAM","MEX"):terra_prov[name@(terra) -> "Tamaulipas"; country@(terra) -> "MEX"; abbrev@(terra) -> "TAM"; capital@(terra) -> "Ciudad Victoria"].
lteil("TLA","MEX"):terra_prov[name@(terra) -> "Tlaxcala"; country@(terra) -> "MEX"; abbrev@(terra) -> "TLA"; capital@(terra) -> "Tlaxcala de Xincotencatl"].
lteil("VER","MEX"):terra_prov[name@(terra) -> "Veracruz"; country@(terra) -> "MEX"; abbrev@(terra) -> "VER"; capital@(terra) -> "Jalapa Enriquez"].
lteil("YUC","MEX"):terra_prov[name@(terra) -> "Yucatan"; country@(terra) -> "MEX"; abbrev@(terra) -> "YUC"; capital@(terra) -> "Merida"].
lteil("ZAC","MEX"):terra_prov[name@(terra) -> "Zacatecas"; country@(terra) -> "MEX"; abbrev@(terra) -> "ZAC"; capital@(terra) -> "Zacatecas"].
lteil("ANP","IND"):terra_prov[name@(terra) -> "Andhra Pradesh"; country@(terra) -> "IND"; abbrev@(terra) -> "ANP"; capital@(terra) -> "Hyderabad"].
lteil("ARP","IND"):terra_prov[name@(terra) -> "Arunachal Pradesh"; country@(terra) -> "IND"; abbrev@(terra) -> "ARP"; capital@(terra) -> "Itanagar"].
lteil("ASS","IND"):terra_prov[name@(terra) -> "Assam"; country@(terra) -> "IND"; abbrev@(terra) -> "ASS"; capital@(terra) -> "Dispur"].
lteil("BIH","IND"):terra_prov[name@(terra) -> "Bihar"; country@(terra) -> "IND"; abbrev@(terra) -> "BIH"; capital@(terra) -> "Patna"].
lteil("GDD","IND"):terra_prov[name@(terra) -> "Goa,  Daman u Diu"; country@(terra) -> "IND"; abbrev@(terra) -> "GDD"; capital@(terra) -> "Panaji"].
lteil("GUJ","IND"):terra_prov[name@(terra) -> "Gujarat"; country@(terra) -> "IND"; abbrev@(terra) -> "GUJ"; capital@(terra) -> "Gandhinagar"].
lteil("HAR","IND"):terra_prov[name@(terra) -> "Haryana"; country@(terra) -> "IND"; abbrev@(terra) -> "HAR"; capital@(terra) -> "Chandigarh"].
lteil("CHA","IND"):terra_prov[name@(terra) -> "Chandigarh"; country@(terra) -> "IND"; abbrev@(terra) -> "CHA"; capital@(terra) -> "Chandigarh"].
lteil("HIP","IND"):terra_prov[name@(terra) -> "Himachal Pradesh"; country@(terra) -> "IND"; abbrev@(terra) -> "HIP"; capital@(terra) -> "Simla"].
lteil("JAK","IND"):terra_prov[name@(terra) -> "Jammu und Kashmir"; country@(terra) -> "IND"; abbrev@(terra) -> "JAK"; capital@(terra) -> "Srinagar"].
lteil("KAR","IND"):terra_prov[name@(terra) -> "Karnataka"; country@(terra) -> "IND"; abbrev@(terra) -> "KAR"; capital@(terra) -> "Bangalore"].
lteil("KER","IND"):terra_prov[name@(terra) -> "Kerala"; country@(terra) -> "IND"; abbrev@(terra) -> "KER"; capital@(terra) -> "Trivandrum"].
lteil("MAP","IND"):terra_prov[name@(terra) -> "Madhya Pradesh"; country@(terra) -> "IND"; abbrev@(terra) -> "MAP"; capital@(terra) -> "Bhopal"].
lteil("MAH","IND"):terra_prov[name@(terra) -> "Maharashtra"; country@(terra) -> "IND"; abbrev@(terra) -> "MAH"; capital@(terra) -> "Mumbai"].
lteil("MAN","IND"):terra_prov[name@(terra) -> "Manipur"; country@(terra) -> "IND"; abbrev@(terra) -> "MAN"; capital@(terra) -> "Imphal"].
lteil("MEG","IND"):terra_prov[name@(terra) -> "Meghalaya"; country@(terra) -> "IND"; abbrev@(terra) -> "MEG"; capital@(terra) -> "Shillong"].
lteil("MIZ","IND"):terra_prov[name@(terra) -> "Mizoram"; country@(terra) -> "IND"; abbrev@(terra) -> "MIZ"; capital@(terra) -> "Aizawl"].
lteil("NAG","IND"):terra_prov[name@(terra) -> "Nagaland"; country@(terra) -> "IND"; abbrev@(terra) -> "NAG"; capital@(terra) -> "Kohima"].
lteil("ORI","IND"):terra_prov[name@(terra) -> "Orissa"; country@(terra) -> "IND"; abbrev@(terra) -> "ORI"; capital@(terra) -> "Bhubaneswar"].
lteil("PUN","IND"):terra_prov[name@(terra) -> "Punjab"; country@(terra) -> "IND"; abbrev@(terra) -> "PUN"; capital@(terra) -> "Chandigarh"].
lteil("RAJ","IND"):terra_prov[name@(terra) -> "Rajasthan"; country@(terra) -> "IND"; abbrev@(terra) -> "RAJ"; capital@(terra) -> "Jaipur"].
lteil("SIK","IND"):terra_prov[name@(terra) -> "Sikkim"; country@(terra) -> "IND"; abbrev@(terra) -> "SIK"; capital@(terra) -> "Gangtok"].
lteil("TAN","IND"):terra_prov[name@(terra) -> "Tamil Nadu"; country@(terra) -> "IND"; abbrev@(terra) -> "TAN"; capital@(terra) -> "Madras"].
lteil("TRI","IND"):terra_prov[name@(terra) -> "Tripura"; country@(terra) -> "IND"; abbrev@(terra) -> "TRI"; capital@(terra) -> "Agartala"].
lteil("UTP","IND"):terra_prov[name@(terra) -> "Uttar Pradesh"; country@(terra) -> "IND"; abbrev@(terra) -> "UTP"; capital@(terra) -> "Lucknow"].
lteil("WBE","IND"):terra_prov[name@(terra) -> "West Bengal"; country@(terra) -> "IND"; abbrev@(terra) -> "WBE"; capital@(terra) -> "Calcutta"].
lteil("ANI","IND"):terra_prov[name@(terra) -> "Andaman u Nicobar Isl."; country@(terra) -> "IND"; abbrev@(terra) -> "ANI"; capital@(terra) -> "Port Blair"].
lteil("DNH","IND"):terra_prov[name@(terra) -> "Dadra and Nagar Haveli"; country@(terra) -> "IND"; abbrev@(terra) -> "DNH"; capital@(terra) -> "Silvassa"].
lteil("LAK","IND"):terra_prov[name@(terra) -> "Lakshadweep Is."; country@(terra) -> "IND"; abbrev@(terra) -> "LAK"; capital@(terra) -> "Kavaratti"].
lteil("PON","IND"):terra_prov[name@(terra) -> "Pondicherry"; country@(terra) -> "IND"; abbrev@(terra) -> "PON"; capital@(terra) -> "Pondicherry"].

% 359 output(s) printed 

% Answer to query : ?- P:terra_prov[pop@(terra) -> E].

lteil("G","S"):terra_prov[pop@(terra) -> 173853].
lteil("BD","S"):terra_prov[pop@(terra) -> 261039].
lteil("NIE","A"):terra_prov[pop@(terra) -> 1427800].
lteil("MS","USA"):terra_prov[pop@(terra) -> 2600000].
lteil("MO","USA"):terra_prov[pop@(terra) -> 5000000].
lteil("AR","USA"):terra_prov[pop@(terra) -> 2300000].
lteil("CO","USA"):terra_prov[pop@(terra) -> 3000000].
lteil("AB","S"):terra_prov[pop@(terra) -> 1593333].
lteil("OS","N"):terra_prov[pop@(terra) -> 449337].
lteil("WA","USA"):terra_prov[pop@(terra) -> 4300000].
lteil("BUE","RA"):terra_prov[pop@(terra) -> 8775000].
lteil("VIC","AUS"):terra_prov[pop@(terra) -> 227600].
lteil("PEK","VRC"):terra_prov[pop@(terra) -> 9900000].
lteil("C","S"):terra_prov[pop@(terra) -> 254938].
lteil("D","S"):terra_prov[pop@(terra) -> 249479].
lteil("E","S"):terra_prov[pop@(terra) -> 394753].
lteil("F","S"):terra_prov[pop@(terra) -> 301413].
lteil("H","S"):terra_prov[pop@(terra) -> 237417].
lteil("I","S"):terra_prov[pop@(terra) -> 56174].
lteil("K","S"):terra_prov[pop@(terra) -> 150258].
lteil("L","S"):terra_prov[pop@(terra) -> 280609].
lteil("M","S"):terra_prov[pop@(terra) -> 753075].
lteil("N","S"):terra_prov[pop@(terra) -> 242250].
lteil("O","S"):terra_prov[pop@(terra) -> 721553].
lteil("P","S"):terra_prov[pop@(terra) -> 427638].
lteil("R","S"):terra_prov[pop@(terra) -> 270111].
lteil("S","S"):terra_prov[pop@(terra) -> 278861].
lteil("T","S"):terra_prov[pop@(terra) -> 269620].
lteil("U","S"):terra_prov[pop@(terra) -> 254423].
lteil("W","S"):terra_prov[pop@(terra) -> 283191].
lteil("X","S"):terra_prov[pop@(terra) -> 287691].
lteil("Y","S"):terra_prov[pop@(terra) -> 261089].
lteil("Z","S"):terra_prov[pop@(terra) -> 133543].
lteil("AC","S"):terra_prov[pop@(terra) -> 245204].
lteil("ALA","SF"):terra_prov[pop@(terra) -> 23000].
lteil("HAE","SF"):terra_prov[pop@(terra) -> 662000].
lteil("KUO","SF"):terra_prov[pop@(terra) -> 252000].
lteil("KYM","SF"):terra_prov[pop@(terra) -> 345000].
lteil("LAP","SF"):terra_prov[pop@(terra) -> 195000].
lteil("MIK","SF"):terra_prov[pop@(terra) -> 209000].
lteil("MFI","SF"):terra_prov[pop@(terra) -> 242000].
lteil("NKA","SF"):terra_prov[pop@(terra) -> 177000].
lteil("OUL","SF"):terra_prov[pop@(terra) -> 415000].
lteil("TUP","SF"):terra_prov[pop@(terra) -> 702000].
lteil("UUS","SF"):terra_prov[pop@(terra) -> 1119000].
lteil("VAA","SF"):terra_prov[pop@(terra) -> 430000].
lteil("AK","N"):terra_prov[pop@(terra) -> 393217].
lteil("OES","N"):terra_prov[pop@(terra) -> 234941].
lteil("HE","N"):terra_prov[pop@(terra) -> 186355].
lteil("OP","N"):terra_prov[pop@(terra) -> 181791].
lteil("BU","N"):terra_prov[pop@(terra) -> 219967].
lteil("VE","N"):terra_prov[pop@(terra) -> 191600].
lteil("TE","N"):terra_prov[pop@(terra) -> 162547].
lteil("AA","N"):terra_prov[pop@(terra) -> 94688].
lteil("VA","N"):terra_prov[pop@(terra) -> 140232].
lteil("RO","N"):terra_prov[pop@(terra) -> 323365].
lteil("HO","N"):terra_prov[pop@(terra) -> 399702].
lteil("SF","N"):terra_prov[pop@(terra) -> 106116].
lteil("MR","N"):terra_prov[pop@(terra) -> 237290].
lteil("ST","N"):terra_prov[pop@(terra) -> 246824].
lteil("NT","N"):terra_prov[pop@(terra) -> 126692].
lteil("NO","N"):terra_prov[pop@(terra) -> 242268].
lteil("TR","N"):terra_prov[pop@(terra) -> 146736].
lteil("FI","N"):terra_prov[pop@(terra) -> 75667].
lteil("RSF","SU"):terra_prov[pop@(terra) -> 145300000].
lteil("UKR","SU"):terra_prov[pop@(terra) -> 51200000].
lteil("BLR","SU"):terra_prov[pop@(terra) -> 10100000].
lteil("USB","SU"):terra_prov[pop@(terra) -> 19000000].
lteil("KAS","SU"):terra_prov[pop@(terra) -> 16200000].
lteil("GEO","SU"):terra_prov[pop@(terra) -> 5300000].
lteil("ASB","SU"):terra_prov[pop@(terra) -> 6800000].
lteil("LIT","SU"):terra_prov[pop@(terra) -> 3600000].
lteil("MOL","SU"):terra_prov[pop@(terra) -> 4190000].
lteil("LET","SU"):terra_prov[pop@(terra) -> 2600000].
lteil("KIR","SU"):terra_prov[pop@(terra) -> 4140000].
lteil("TAD","SU"):terra_prov[pop@(terra) -> 4800000].
lteil("ARM","SU"):terra_prov[pop@(terra) -> 3400000].
lteil("TRK","SU"):terra_prov[pop@(terra) -> 3400000].
lteil("EST","SU"):terra_prov[pop@(terra) -> 1550000].
lteil("ALS","F"):terra_prov[pop@(terra) -> 1517330].
lteil("AQU","F"):terra_prov[pop@(terra) -> 2550340].
lteil("AUV","F"):terra_prov[pop@(terra) -> 1332678].
lteil("BAS","F"):terra_prov[pop@(terra) -> 1350979].
lteil("BOU","F"):terra_prov[pop@(terra) -> 1570943].
lteil("BRE","F"):terra_prov[pop@(terra) -> 2707886].
lteil("CEN","F"):terra_prov[pop@(terra) -> 2264164].
lteil("CHA","F"):terra_prov[pop@(terra) -> 1345935].
lteil("COR","F"):terra_prov[pop@(terra) -> 240178].
lteil("FRA","F"):terra_prov[pop@(terra) -> 1084049].
lteil("HAU","F"):terra_prov[pop@(terra) -> 1655362].
lteil("ILE","F"):terra_prov[pop@(terra) -> 10073059].
lteil("LAN","F"):terra_prov[pop@(terra) -> 1926514].
lteil("LIM","F"):terra_prov[pop@(terra) -> 737153].
lteil("LOR","F"):terra_prov[pop@(terra) -> 2319905].
lteil("MID","F"):terra_prov[pop@(terra) -> 2325319].
lteil("NOR","F"):terra_prov[pop@(terra) -> 3932939].
lteil("PAY","F"):terra_prov[pop@(terra) -> 2930398].
lteil("PIC","F"):terra_prov[pop@(terra) -> 1740321].
lteil("POI","F"):terra_prov[pop@(terra) -> 1568230].
lteil("PRO","F"):terra_prov[pop@(terra) -> 3965209].
lteil("RHO","F"):terra_prov[pop@(terra) -> 5015947].
lteil("PIE","I"):terra_prov[pop@(terra) -> 4431064].
lteil("AOS","I"):terra_prov[pop@(terra) -> 113418].
lteil("LIG","I"):terra_prov[pop@(terra) -> 1789225].
lteil("LOM","I"):terra_prov[pop@(terra) -> 8891318].
lteil("TRE","I"):terra_prov[pop@(terra) -> 875780].
lteil("VEN","I"):terra_prov[pop@(terra) -> 4361527].
lteil("FRI","I"):terra_prov[pop@(terra) -> 1228280].
lteil("EMI","I"):terra_prov[pop@(terra) -> 3952304].
lteil("TOS","I"):terra_prov[pop@(terra) -> 3581291].
lteil("UMB","I"):terra_prov[pop@(terra) -> 813507].
lteil("MAR","I"):terra_prov[pop@(terra) -> 1420829].
lteil("LAT","I"):terra_prov[pop@(terra) -> 5056119].
lteil("ABR","I"):terra_prov[pop@(terra) -> 1236060].
lteil("MOL","I"):terra_prov[pop@(terra) -> 331670].
lteil("KAM","I"):terra_prov[pop@(terra) -> 5563230].
lteil("APU","I"):terra_prov[pop@(terra) -> 3946871].
lteil("BAS","I"):terra_prov[pop@(terra) -> 614522].
lteil("KAL","I"):terra_prov[pop@(terra) -> 2098137].
lteil("SIZ","I"):terra_prov[pop@(terra) -> 5006684].
lteil("SAR","I"):terra_prov[pop@(terra) -> 1617265].
lteil("BUR","A"):terra_prov[pop@(terra) -> 268700].
lteil("KAE","A"):terra_prov[pop@(terra) -> 536200].
lteil("OBE","A"):terra_prov[pop@(terra) -> 1275600].
lteil("SAL","A"):terra_prov[pop@(terra) -> 442300].
lteil("STE","A"):terra_prov[pop@(terra) -> 1186600].
lteil("TIR","A"):terra_prov[pop@(terra) -> 586700].
lteil("VOR","A"):terra_prov[pop@(terra) -> 305200].
lteil("WIE","A"):terra_prov[pop@(terra) -> 1531300].
lteil("SCH","GB"):terra_prov[pop@(terra) -> 5150000].
lteil("ENG","GB"):terra_prov[pop@(terra) -> 47100000].
lteil("WAL","GB"):terra_prov[pop@(terra) -> 2800000].
lteil("NOR","GB"):terra_prov[pop@(terra) -> 1600000].
lteil("GBZ","GB"):terra_prov[pop@(terra) -> 28843].
lteil("GBA","GB"):terra_prov[pop@(terra) -> 2086].
lteil("GBG","GB"):terra_prov[pop@(terra) -> 55482].
lteil("GBJ","GB"):terra_prov[pop@(terra) -> 80212].
lteil("SWH","D"):terra_prov[pop@(terra) -> 2614100].
lteil("HH","D"):terra_prov[pop@(terra) -> 1579900].
lteil("NIE","D"):terra_prov[pop@(terra) -> 7196900].
lteil("HB","D"):terra_prov[pop@(terra) -> 659900].
lteil("B","D"):terra_prov[pop@(terra) -> 1860000].
lteil("NRW","D"):terra_prov[pop@(terra) -> 16674100].
lteil("HES","D"):terra_prov[pop@(terra) -> 5529400].
lteil("RPF","D"):terra_prov[pop@(terra) -> 3615000].
lteil("SAR","D"):terra_prov[pop@(terra) -> 1045900].
lteil("BAW","D"):terra_prov[pop@(terra) -> 9271400].
lteil("BAY","D"):terra_prov[pop@(terra) -> 10973700].
lteil("ANT","B"):terra_prov[pop@(terra) -> 1581480].
lteil("BRA","B"):terra_prov[pop@(terra) -> 2217445].
lteil("WES","B"):terra_prov[pop@(terra) -> 1088655].
lteil("OST","B"):terra_prov[pop@(terra) -> 1330442].
lteil("HEN","B"):terra_prov[pop@(terra) -> 1282119].
lteil("LUE","B"):terra_prov[pop@(terra) -> 992383].
lteil("LIM","B"):terra_prov[pop@(terra) -> 729620].
lteil("LUX","B"):terra_prov[pop@(terra) -> 224375].
lteil("NAM","B"):terra_prov[pop@(terra) -> 411222].
lteil("WES","AUS"):terra_prov[pop@(terra) -> 1440600].
lteil("SUE","AUS"):terra_prov[pop@(terra) -> 1373100].
lteil("NSW","AUS"):terra_prov[pop@(terra) -> 5543500].
lteil("QUE","AUS"):terra_prov[pop@(terra) -> 1727200].
lteil("TAS","AUS"):terra_prov[pop@(terra) -> 67800].
lteil("NOR","AUS"):terra_prov[pop@(terra) -> 1346200].
lteil("ACT","AUS"):terra_prov[pop@(terra) -> 264400].
lteil("ACR","BR"):terra_prov[pop@(terra) -> 323000].
lteil("AMA","BR"):terra_prov[pop@(terra) -> 1523000].
lteil("RON","BR"):terra_prov[pop@(terra) -> 166000].
lteil("MAT","BR"):terra_prov[pop@(terra) -> 2437000].
lteil("PAR","BR"):terra_prov[pop@(terra) -> 3679000].
lteil("MAR","BR"):terra_prov[pop@(terra) -> 4472000].
lteil("PIA","BR"):terra_prov[pop@(terra) -> 2510000].
lteil("CEA","BR"):terra_prov[pop@(terra) -> 7318000].
lteil("RGN","BR"):terra_prov[pop@(terra) -> 2316000].
lteil("PBA","BR"):terra_prov[pop@(terra) -> 3561000].
lteil("PER","BR"):terra_prov[pop@(terra) -> 7712000].
lteil("ALA","BR"):terra_prov[pop@(terra) -> 2328000].
lteil("SER","BR"):terra_prov[pop@(terra) -> 1345000].
lteil("BAH","BR"):terra_prov[pop@(terra) -> 11399000].
lteil("GOI","BR"):terra_prov[pop@(terra) -> 4391000].
lteil("MIN","BR"):terra_prov[pop@(terra) -> 18468000].
lteil("ESP","BR"):terra_prov[pop@(terra) -> 2389000].
lteil("RIO","BR"):terra_prov[pop@(terra) -> 16342000].
lteil("SAO","BR"):terra_prov[pop@(terra) -> 28562000].
lteil("PNA","BR"):terra_prov[pop@(terra) -> 1735000].
lteil("SAN","BR"):terra_prov[pop@(terra) -> 4335000].
lteil("RGS","BR"):terra_prov[pop@(terra) -> 9960000].
lteil("ROR","BR"):terra_prov[pop@(terra) -> 60000].
lteil("APA","BR"):terra_prov[pop@(terra) -> 170000].
lteil("FED","BR"):terra_prov[pop@(terra) -> 1500000].
lteil("BUN","RA"):terra_prov[pop@(terra) -> 3000000].
lteil("CAT","RA"):terra_prov[pop@(terra) -> 172000].
lteil("COR","RA"):terra_prov[pop@(terra) -> 2060000].
lteil("CES","RA"):terra_prov[pop@(terra) -> 564000].
lteil("CHA","RA"):terra_prov[pop@(terra) -> 567000].
lteil("CHU","RA"):terra_prov[pop@(terra) -> 190000].
lteil("ENT","RA"):terra_prov[pop@(terra) -> 812000].
lteil("FOR","RA"):terra_prov[pop@(terra) -> 234000].
lteil("JUY","RA"):terra_prov[pop@(terra) -> 302000].
lteil("LAP","RA"):terra_prov[pop@(terra) -> 172000].
lteil("LAR","RA"):terra_prov[pop@(terra) -> 136000].
lteil("MEN","RA"):terra_prov[pop@(terra) -> 973000].
lteil("MIS","RA"):terra_prov[pop@(terra) -> 443000].
lteil("NEU","RA"):terra_prov[pop@(terra) -> 154000].
lteil("RIO","RA"):terra_prov[pop@(terra) -> 263000].
lteil("SAL","RA"):terra_prov[pop@(terra) -> 510000].
lteil("SJU","RA"):terra_prov[pop@(terra) -> 384000].
lteil("SLU","RA"):terra_prov[pop@(terra) -> 183000].
lteil("SFE","RA"):terra_prov[pop@(terra) -> 2136000].
lteil("SCR","RA"):terra_prov[pop@(terra) -> 84000].
lteil("SDE","RA"):terra_prov[pop@(terra) -> 495000].
lteil("TUC","RA"):terra_prov[pop@(terra) -> 766000].
lteil("NAT","RA"):terra_prov[pop@(terra) -> 4000].
lteil("AL","USA"):terra_prov[pop@(terra) -> 4000000].
lteil("AK","USA"):terra_prov[pop@(terra) -> 400000].
lteil("AZ","USA"):terra_prov[pop@(terra) -> 3000000].
lteil("CA","USA"):terra_prov[pop@(terra) -> 27000000].
lteil("CT","USA"):terra_prov[pop@(terra) -> 3100000].
lteil("DE","USA"):terra_prov[pop@(terra) -> 600000].
lteil("DC","USA"):terra_prov[pop@(terra) -> 700000].
lteil("FL","USA"):terra_prov[pop@(terra) -> 10500000].
lteil("GA","USA"):terra_prov[pop@(terra) -> 5700000].
lteil("HI","USA"):terra_prov[pop@(terra) -> 1000000].
lteil("ID","USA"):terra_prov[pop@(terra) -> 1000000].
lteil("IL","USA"):terra_prov[pop@(terra) -> 11600000].
lteil("IN","USA"):terra_prov[pop@(terra) -> 5500000].
lteil("IA","USA"):terra_prov[pop@(terra) -> 3000000].
lteil("KS","USA"):terra_prov[pop@(terra) -> 2400000].
lteil("KY","USA"):terra_prov[pop@(terra) -> 3700000].
lteil("LA","USA"):terra_prov[pop@(terra) -> 4400000].
lteil("ME","USA"):terra_prov[pop@(terra) -> 1200000].
lteil("MD","USA"):terra_prov[pop@(terra) -> 4300000].
lteil("MA","USA"):terra_prov[pop@(terra) -> 5800000].
lteil("MI","USA"):terra_prov[pop@(terra) -> 9200000].
lteil("MN","USA"):terra_prov[pop@(terra) -> 4100000].
lteil("MT","USA"):terra_prov[pop@(terra) -> 800000].
lteil("NE","USA"):terra_prov[pop@(terra) -> 1600000].
lteil("NV","USA"):terra_prov[pop@(terra) -> 900000].
lteil("NH","USA"):terra_prov[pop@(terra) -> 900000].
lteil("NJ","USA"):terra_prov[pop@(terra) -> 7400000].
lteil("NM","USA"):terra_prov[pop@(terra) -> 1300000].
lteil("NY","USA"):terra_prov[pop@(terra) -> 17800000].
lteil("NC","USA"):terra_prov[pop@(terra) -> 6000000].
lteil("ND","USA"):terra_prov[pop@(terra) -> 700000].
lteil("OH","USA"):terra_prov[pop@(terra) -> 10800000].
lteil("OK","USA"):terra_prov[pop@(terra) -> 3100000].
lteil("OR","USA"):terra_prov[pop@(terra) -> 2700000].
lteil("PA","USA"):terra_prov[pop@(terra) -> 11900000].
lteil("RI","USA"):terra_prov[pop@(terra) -> 1000000].
lteil("SC","USA"):terra_prov[pop@(terra) -> 3200000].
lteil("SD","USA"):terra_prov[pop@(terra) -> 700000].
lteil("TN","USA"):terra_prov[pop@(terra) -> 4700000].
lteil("TX","USA"):terra_prov[pop@(terra) -> 15000000].
lteil("UT","USA"):terra_prov[pop@(terra) -> 1600000].
lteil("VT","USA"):terra_prov[pop@(terra) -> 500000].
lteil("VA","USA"):terra_prov[pop@(terra) -> 5500000].
lteil("WV","USA"):terra_prov[pop@(terra) -> 2000000].
lteil("WI","USA"):terra_prov[pop@(terra) -> 4800000].
lteil("WY","USA"):terra_prov[pop@(terra) -> 500000].
lteil("AB","CDN"):terra_prov[pop@(terra) -> 2348000].
lteil("BC","CDN"):terra_prov[pop@(terra) -> 2892000].
lteil("MB","CDN"):terra_prov[pop@(terra) -> 1069000].
lteil("NB","CDN"):terra_prov[pop@(terra) -> 719000].
lteil("NF","CDN"):terra_prov[pop@(terra) -> 580000].
lteil("NW","CDN"):terra_prov[pop@(terra) -> 50000].
lteil("NS","CDN"):terra_prov[pop@(terra) -> 880000].
lteil("ON","CDN"):terra_prov[pop@(terra) -> 9066000].
lteil("PE","CDN"):terra_prov[pop@(terra) -> 127000].
lteil("PQ","CDN"):terra_prov[pop@(terra) -> 6580000].
lteil("SK","CDN"):terra_prov[pop@(terra) -> 1019000].
lteil("YU","CDN"):terra_prov[pop@(terra) -> 22800].

% 270 output(s) printed 

% Answer to query : ?- S:terra_city[name@(terra) -> N; country@(terra) -> C; province@(terra) ->> {P}; longitude@(terra) -> Long; latitude@(terra) -> Lat].

stadt("Rangoon","BUR","BUR"):terra_city[name@(terra) -> "Rangoon"; country@(terra) -> "BUR"; province@(terra) ->> {"BUR"}; longitude@(terra) -> #96.2; latitude@(terra) -> #16.45].
stadt("Bandar_Seri_Begawan","BRU","BRU"):terra_city[name@(terra) -> "Bandar Seri Begawan"; country@(terra) -> "BRU"; province@(terra) ->> {"BRU"}; longitude@(terra) -> 115; latitude@(terra) -> 5].
stadt("Djakarta","RI","RI"):terra_city[name@(terra) -> "Djakarta"; country@(terra) -> "RI"; province@(terra) ->> {"RI"}; longitude@(terra) -> #106.5; latitude@(terra) -> #-6.1].
stadt("Tokyo","J","J"):terra_city[name@(terra) -> "Tokyo"; country@(terra) -> "J"; province@(terra) ->> {"J"}; longitude@(terra) -> #139.45; latitude@(terra) -> #35.45].
stadt("Phnom_Penh","VRK","VRK"):terra_city[name@(terra) -> "Phnom Penh"; country@(terra) -> "VRK"; province@(terra) ->> {"VRK"}; longitude@(terra) -> #104.55; latitude@(terra) -> #11.35].
stadt("Bairiki","KIR","KIR"):terra_city[name@(terra) -> "Bairiki"; country@(terra) -> "KIR"; province@(terra) ->> {"KIR"}; longitude@(terra) -> 175; latitude@(terra) -> 0].
stadt("Pjoengjang","NKO","NKO"):terra_city[name@(terra) -> "Pjoengjang"; country@(terra) -> "NKO"; province@(terra) ->> {"NKO"}; longitude@(terra) -> 126; latitude@(terra) -> 39].
stadt("Seoul","ROK","ROK"):terra_city[name@(terra) -> "Seoul"; country@(terra) -> "ROK"; province@(terra) ->> {"ROK"}; longitude@(terra) -> 127; latitude@(terra) -> #37.4].
stadt("Vientiane","LAO","LAO"):terra_city[name@(terra) -> "Vientiane"; country@(terra) -> "LAO"; province@(terra) ->> {"LAO"}; longitude@(terra) -> #102.45; latitude@(terra) -> 18].
stadt("Kuala_Lumpur","MAL","MAL"):terra_city[name@(terra) -> "Kuala Lumpur"; country@(terra) -> "MAL"; province@(terra) ->> {"MAL"}; longitude@(terra) -> #101.4; latitude@(terra) -> #3.1].
stadt("Manila","PI","LU"):terra_city[name@(terra) -> "Manila"; country@(terra) -> "PI"; province@(terra) ->> {"LU"}; longitude@(terra) -> #121.5; latitude@(terra) -> #14.5].
stadt("Singapur","SGP","SGP"):terra_city[name@(terra) -> "Singapur"; country@(terra) -> "SGP"; province@(terra) ->> {"SGP"}; longitude@(terra) -> #103.48; latitude@(terra) -> #1.29].
stadt("Taipeh","ROC","ROC"):terra_city[name@(terra) -> "Taipeh"; country@(terra) -> "ROC"; province@(terra) ->> {"ROC"}; longitude@(terra) -> #121.3; latitude@(terra) -> 25].
stadt("Nukualofa","TON","TON"):terra_city[name@(terra) -> "Nukualofa"; country@(terra) -> "TON"; province@(terra) ->> {"TON"}; longitude@(terra) -> 175; latitude@(terra) -> 20].
stadt("Bangkok","THA","THA"):terra_city[name@(terra) -> "Bangkok"; country@(terra) -> "THA"; province@(terra) ->> {"THA"}; longitude@(terra) -> #100.34; latitude@(terra) -> #13.44].
stadt("Hanoi","VN","VN"):terra_city[name@(terra) -> "Hanoi"; country@(terra) -> "VN"; province@(terra) ->> {"VN"}; longitude@(terra) -> #105.5; latitude@(terra) -> 21].
stadt("Peking","VRC","PEK"):terra_city[name@(terra) -> "Peking"; country@(terra) -> "VRC"; province@(terra) ->> {"PEK"}; longitude@(terra) -> #116.2; latitude@(terra) -> #39.5].
stadt("Thimbu","BHU","BHU"):terra_city[name@(terra) -> "Thimbu"; country@(terra) -> "BHU"; province@(terra) ->> {"BHU"}; longitude@(terra) -> 90; latitude@(terra) -> 27].
stadt("Suva","FIJI","FIJI"):terra_city[name@(terra) -> "Suva"; country@(terra) -> "FIJI"; province@(terra) ->> {"FIJI"}; longitude@(terra) -> 178; latitude@(terra) -> -19].
stadt("Male","RMAL","RMAL"):terra_city[name@(terra) -> "Male"; country@(terra) -> "RMAL"; province@(terra) ->> {"RMAL"}; longitude@(terra) -> 72; latitude@(terra) -> 2].
stadt("Uliga","MAR","MAR"):terra_city[name@(terra) -> "Uliga"; country@(terra) -> "MAR"; province@(terra) ->> {"MAR"}; longitude@(terra) -> 170; latitude@(terra) -> 10].
stadt("Kolonia","FSM","FSM"):terra_city[name@(terra) -> "Kolonia"; country@(terra) -> "FSM"; province@(terra) ->> {"FSM"}; longitude@(terra) -> 168; latitude@(terra) -> 10].
stadt("Yaren","NAU","NAU"):terra_city[name@(terra) -> "Yaren"; country@(terra) -> "NAU"; province@(terra) ->> {"NAU"}; longitude@(terra) -> 168; latitude@(terra) -> 0].
stadt("Wellington","NZ","NZ"):terra_city[name@(terra) -> "Wellington"; country@(terra) -> "NZ"; province@(terra) ->> {"NZ"}; longitude@(terra) -> #174.4; latitude@(terra) -> #-41.2].
stadt("Koror","PAL","PAL"):terra_city[name@(terra) -> "Koror"; country@(terra) -> "PAL"; province@(terra) ->> {"PAL"}; longitude@(terra) -> 135; latitude@(terra) -> 8].
stadt("Port_Moresby","PNG","PNG"):terra_city[name@(terra) -> "Port Moresby"; country@(terra) -> "PNG"; province@(terra) ->> {"PNG"}; longitude@(terra) -> 146; latitude@(terra) -> -9].
stadt("Honiara","SAL","SAL"):terra_city[name@(terra) -> "Honiara"; country@(terra) -> "SAL"; province@(terra) ->> {"SAL"}; longitude@(terra) -> 160; latitude@(terra) -> -10].
stadt("Colombo","CL","CL"):terra_city[name@(terra) -> "Colombo"; country@(terra) -> "CL"; province@(terra) ->> {"CL"}; longitude@(terra) -> 80; latitude@(terra) -> 5].
stadt("Veiaku","TUV","TUV"):terra_city[name@(terra) -> "Veiaku"; country@(terra) -> "TUV"; province@(terra) ->> {"TUV"}; longitude@(terra) -> 178; latitude@(terra) -> -8].
stadt("Vila","VAN","VAN"):terra_city[name@(terra) -> "Vila"; country@(terra) -> "VAN"; province@(terra) ->> {"VAN"}; longitude@(terra) -> 167; latitude@(terra) -> -18].
stadt("Apia","WS","WS"):terra_city[name@(terra) -> "Apia"; country@(terra) -> "WS"; province@(terra) ->> {"WS"}; longitude@(terra) -> -171; latitude@(terra) -> -12].
stadt("Stockholm","S","AB"):terra_city[name@(terra) -> "Stockholm"; country@(terra) -> "S"; province@(terra) ->> {"AB"}; longitude@(terra) -> 18; latitude@(terra) -> #59.2].
stadt("Oslo","N","OS"):terra_city[name@(terra) -> "Oslo"; country@(terra) -> "N"; province@(terra) ->> {"OS"}; longitude@(terra) -> #11.5; latitude@(terra) -> #59.4].
stadt("Oslo","N","AK"):terra_city[name@(terra) -> "Oslo"; country@(terra) -> "N"; province@(terra) ->> {"AK"}; longitude@(terra) -> #11.5; latitude@(terra) -> #59.4].
stadt("Moskau","SU","RSF"):terra_city[name@(terra) -> "Moskau"; country@(terra) -> "SU"; province@(terra) ->> {"RSF"}; longitude@(terra) -> #37.34; latitude@(terra) -> #55.45].
stadt("Reykjavik","IS","IS"):terra_city[name@(terra) -> "Reykjavik"; country@(terra) -> "IS"; province@(terra) ->> {"IS"}; longitude@(terra) -> -22; latitude@(terra) -> #64.1].
stadt("Kopenhagen","DK","DK"):terra_city[name@(terra) -> "Kopenhagen"; country@(terra) -> "DK"; province@(terra) ->> {"DK"}; longitude@(terra) -> #12.3; latitude@(terra) -> #55.4].
stadt("Nuuk","GRO","GRO"):terra_city[name@(terra) -> "Nuuk"; country@(terra) -> "GRO"; province@(terra) ->> {"GRO"}; longitude@(terra) -> -52; latitude@(terra) -> 64].
stadt("Berlin(Ost)","DDR","DDR"):terra_city[name@(terra) -> "Berlin(Ost)"; country@(terra) -> "DDR"; province@(terra) ->> {"DDR"}; longitude@(terra) -> #13.23; latitude@(terra) -> #52.33].
stadt("Helsinki","SF","UUS"):terra_city[name@(terra) -> "Helsinki"; country@(terra) -> "SF"; province@(terra) ->> {"UUS"}; longitude@(terra) -> #24.5; latitude@(terra) -> #60.2].
stadt("Warschau","PL","PL"):terra_city[name@(terra) -> "Warschau"; country@(terra) -> "PL"; province@(terra) ->> {"PL"}; longitude@(terra) -> 21; latitude@(terra) -> #52.13].
stadt("Budapest","H","H"):terra_city[name@(terra) -> "Budapest"; country@(terra) -> "H"; province@(terra) ->> {"H"}; longitude@(terra) -> #19.5; latitude@(terra) -> #47.29].
stadt("Tirana","AL","AL"):terra_city[name@(terra) -> "Tirana"; country@(terra) -> "AL"; province@(terra) ->> {"AL"}; longitude@(terra) -> #10.7; latitude@(terra) -> #46.2].
stadt("Bukarest","RO","RO"):terra_city[name@(terra) -> "Bukarest"; country@(terra) -> "RO"; province@(terra) ->> {"RO"}; longitude@(terra) -> #44.4; latitude@(terra) -> #26.1].
stadt("Sofia","BG","BG"):terra_city[name@(terra) -> "Sofia"; country@(terra) -> "BG"; province@(terra) ->> {"BG"}; longitude@(terra) -> #23.3; latitude@(terra) -> #42.45].
stadt("Prag","CS","CS"):terra_city[name@(terra) -> "Prag"; country@(terra) -> "CS"; province@(terra) ->> {"CS"}; longitude@(terra) -> #14.22; latitude@(terra) -> #50.5].
stadt("Amman","JOR","JOR"):terra_city[name@(terra) -> "Amman"; country@(terra) -> "JOR"; province@(terra) ->> {"JOR"}; longitude@(terra) -> #35.52; latitude@(terra) -> 32].
stadt("Washington","USA","DC"):terra_city[name@(terra) -> "Washington"; country@(terra) -> "USA"; province@(terra) ->> {"DC"}; longitude@(terra) -> -77; latitude@(terra) -> #38.5].
stadt("Ottawa","CDN","ON"):terra_city[name@(terra) -> "Ottawa"; country@(terra) -> "CDN"; province@(terra) ->> {"ON"}; longitude@(terra) -> #-75.5; latitude@(terra) -> #45.3].
stadt("Mexico_City","MEX","DF"):terra_city[name@(terra) -> "Mexico City"; country@(terra) -> "MEX"; province@(terra) ->> {"DF"}; longitude@(terra) -> #-99.1; latitude@(terra) -> #19.2].
stadt("Teheran","IR","IR"):terra_city[name@(terra) -> "Teheran"; country@(terra) -> "IR"; province@(terra) ->> {"IR"}; longitude@(terra) -> #51.3; latitude@(terra) -> #35.4].
stadt("Damaskus","SYR","SYR"):terra_city[name@(terra) -> "Damaskus"; country@(terra) -> "SYR"; province@(terra) ->> {"SYR"}; longitude@(terra) -> 36; latitude@(terra) -> 34].
stadt("Doha","Q","Q"):terra_city[name@(terra) -> "Doha"; country@(terra) -> "Q"; province@(terra) ->> {"Q"}; longitude@(terra) -> 51; latitude@(terra) -> 25].
stadt("Delhi","IND","DEH"):terra_city[name@(terra) -> "Delhi"; country@(terra) -> "IND"; province@(terra) ->> {"DEH"}; longitude@(terra) -> #77.1; latitude@(terra) -> #28.4].
stadt("Dacca","BAN","BAN"):terra_city[name@(terra) -> "Dacca"; country@(terra) -> "BAN"; province@(terra) ->> {"BAN"}; longitude@(terra) -> #90.5; latitude@(terra) -> 24].
stadt("Maskat","OMA","OMA"):terra_city[name@(terra) -> "Maskat"; country@(terra) -> "OMA"; province@(terra) ->> {"OMA"}; longitude@(terra) -> #58.5; latitude@(terra) -> #23.5].
stadt("Santiago","RCH","RCH"):terra_city[name@(terra) -> "Santiago"; country@(terra) -> "RCH"; province@(terra) ->> {"RCH"}; longitude@(terra) -> #-70.5; latitude@(terra) -> #-33.3].
stadt("Buenos_Aires","RA","BUN"):terra_city[name@(terra) -> "Buenos Aires"; country@(terra) -> "RA"; province@(terra) ->> {"BUN"}; longitude@(terra) -> #-58.2; latitude@(terra) -> #-34.3].
stadt("Montevideo","U","U"):terra_city[name@(terra) -> "Montevideo"; country@(terra) -> "U"; province@(terra) ->> {"U"}; longitude@(terra) -> #-56.5; latitude@(terra) -> #-34.5].
stadt("Asuncion","PY","PY"):terra_city[name@(terra) -> "Asuncion"; country@(terra) -> "PY"; province@(terra) ->> {"PY"}; longitude@(terra) -> #-57.3; latitude@(terra) -> #-25.5].
stadt("Brasilia","BR","FED"):terra_city[name@(terra) -> "Brasilia"; country@(terra) -> "BR"; province@(terra) ->> {"FED"}; longitude@(terra) -> #-48.2; latitude@(terra) -> #-15.4].
stadt("Lima","PE","PE"):terra_city[name@(terra) -> "Lima"; country@(terra) -> "PE"; province@(terra) ->> {"PE"}; longitude@(terra) -> -77; latitude@(terra) -> -12].
stadt("Quito","EC","EC"):terra_city[name@(terra) -> "Quito"; country@(terra) -> "EC"; province@(terra) ->> {"EC"}; longitude@(terra) -> #-78.3; latitude@(terra) -> #-0.1].
stadt("Paramaribo","SME","SME"):terra_city[name@(terra) -> "Paramaribo"; country@(terra) -> "SME"; province@(terra) ->> {"SME"}; longitude@(terra) -> #-55.1; latitude@(terra) -> #5.5].
stadt("Georgetown","GUY","GUY"):terra_city[name@(terra) -> "Georgetown"; country@(terra) -> "GUY"; province@(terra) ->> {"GUY"}; longitude@(terra) -> #-58.5; latitude@(terra) -> #6.5].
stadt("Cayenne","FGU","FGU"):terra_city[name@(terra) -> "Cayenne"; country@(terra) -> "FGU"; province@(terra) ->> {"FGU"}; longitude@(terra) -> #-52.3; latitude@(terra) -> 5].
stadt("Caracas","YV","YV"):terra_city[name@(terra) -> "Caracas"; country@(terra) -> "YV"; province@(terra) ->> {"YV"}; longitude@(terra) -> -67; latitude@(terra) -> #10.3].
stadt("Bogota","CO","CO"):terra_city[name@(terra) -> "Bogota"; country@(terra) -> "CO"; province@(terra) ->> {"CO"}; longitude@(terra) -> -74; latitude@(terra) -> #4.4].
stadt("Ciudad_de_Panama","PA","PA"):terra_city[name@(terra) -> "Ciudad de Panama"; country@(terra) -> "PA"; province@(terra) ->> {"PA"}; longitude@(terra) -> #-79.2; latitude@(terra) -> 9].
stadt("San_Jose","CR","CR"):terra_city[name@(terra) -> "San Jose"; country@(terra) -> "CR"; province@(terra) ->> {"CR"}; longitude@(terra) -> #-84.2; latitude@(terra) -> 10].
stadt("Managua","NIC","NIC"):terra_city[name@(terra) -> "Managua"; country@(terra) -> "NIC"; province@(terra) ->> {"NIC"}; longitude@(terra) -> #-86.2; latitude@(terra) -> #12.3].
stadt("Tegucigalpa","HON","HON"):terra_city[name@(terra) -> "Tegucigalpa"; country@(terra) -> "HON"; province@(terra) ->> {"HON"}; longitude@(terra) -> #-87.2; latitude@(terra) -> #14.8].
stadt("San_Salvador","ES","ES"):terra_city[name@(terra) -> "San Salvador"; country@(terra) -> "ES"; province@(terra) ->> {"ES"}; longitude@(terra) -> #-89.2; latitude@(terra) -> #13.4].
stadt("Ciudad_de_Guatemala","GCA","GCA"):terra_city[name@(terra) -> "Ciudad de Guatemala"; country@(terra) -> "GCA"; province@(terra) ->> {"GCA"}; longitude@(terra) -> #-90.3; latitude@(terra) -> #14.4].
stadt("Belmopan","BH","BH"):terra_city[name@(terra) -> "Belmopan"; country@(terra) -> "BH"; province@(terra) ->> {"BH"}; longitude@(terra) -> #-88.5; latitude@(terra) -> #17.1].
stadt("Havanna","C","C"):terra_city[name@(terra) -> "Havanna"; country@(terra) -> "C"; province@(terra) ->> {"C"}; longitude@(terra) -> #-82.3; latitude@(terra) -> 23].
stadt("Kingston","JA","JA"):terra_city[name@(terra) -> "Kingston"; country@(terra) -> "JA"; province@(terra) ->> {"JA"}; longitude@(terra) -> #-76.5; latitude@(terra) -> 18].
stadt("Port_au_Prince","RH","RH"):terra_city[name@(terra) -> "Port au Prince"; country@(terra) -> "RH"; province@(terra) ->> {"RH"}; longitude@(terra) -> #-72.2; latitude@(terra) -> #18.4].
stadt("Santo_Domingo","DOM","DOM"):terra_city[name@(terra) -> "Santo Domingo"; country@(terra) -> "DOM"; province@(terra) ->> {"DOM"}; longitude@(terra) -> -70; latitude@(terra) -> #18.3].
stadt("Nassau","BS","BS"):terra_city[name@(terra) -> "Nassau"; country@(terra) -> "BS"; province@(terra) ->> {"BS"}; longitude@(terra) -> #-77.3; latitude@(terra) -> 25].
stadt("Bridgetown","BDS","BDS"):terra_city[name@(terra) -> "Bridgetown"; country@(terra) -> "BDS"; province@(terra) ->> {"BDS"}; longitude@(terra) -> #-59.4; latitude@(terra) -> #13.1].
stadt("Roseau","WD","WD"):terra_city[name@(terra) -> "Roseau"; country@(terra) -> "WD"; province@(terra) ->> {"WD"}; longitude@(terra) -> #-61.3; latitude@(terra) -> #15.2].
stadt("Saint_George_s","WG","WG"):terra_city[name@(terra) -> "Saint George s"; country@(terra) -> "WG"; province@(terra) ->> {"WG"}; longitude@(terra) -> #-61.4; latitude@(terra) -> #12.4].
stadt("Port_of_Spain","TT","TT"):terra_city[name@(terra) -> "Port of Spain"; country@(terra) -> "TT"; province@(terra) ->> {"TT"}; longitude@(terra) -> #-61.2; latitude@(terra) -> #10.4].
stadt("Saint_John_s","AUB","AUB"):terra_city[name@(terra) -> "Saint John s"; country@(terra) -> "AUB"; province@(terra) ->> {"AUB"}; longitude@(terra) -> #-61.5; latitude@(terra) -> #17.3].
stadt("Basseterre","SCN","SCN"):terra_city[name@(terra) -> "Basseterre"; country@(terra) -> "SCN"; province@(terra) ->> {"SCN"}; longitude@(terra) -> #-62.3; latitude@(terra) -> 17].
stadt("Castries","WL","WL"):terra_city[name@(terra) -> "Castries"; country@(terra) -> "WL"; province@(terra) ->> {"WL"}; longitude@(terra) -> #-60.5; latitude@(terra) -> 14].
stadt("Kingstown","WV","WV"):terra_city[name@(terra) -> "Kingstown"; country@(terra) -> "WV"; province@(terra) ->> {"WV"}; longitude@(terra) -> #-61.1; latitude@(terra) -> #13.1].
stadt("Kairo","ET","ET"):terra_city[name@(terra) -> "Kairo"; country@(terra) -> "ET"; province@(terra) ->> {"ET"}; longitude@(terra) -> 31; latitude@(terra) -> 30].
stadt("Algier","DZ","DZ"):terra_city[name@(terra) -> "Algier"; country@(terra) -> "DZ"; province@(terra) ->> {"DZ"}; longitude@(terra) -> #3.8; latitude@(terra) -> #36.4].
stadt("Luanda","RPA","RPA"):terra_city[name@(terra) -> "Luanda"; country@(terra) -> "RPA"; province@(terra) ->> {"RPA"}; longitude@(terra) -> #13.2; latitude@(terra) -> #-8.6].
stadt("Malabo","RGE","RGE"):terra_city[name@(terra) -> "Malabo"; country@(terra) -> "RGE"; province@(terra) ->> {"RGE"}; longitude@(terra) -> 9; latitude@(terra) -> 4].
stadt("Addis_Abeba","ETH","ETH"):terra_city[name@(terra) -> "Addis Abeba"; country@(terra) -> "ETH"; province@(terra) ->> {"ETH"}; longitude@(terra) -> #38.4; latitude@(terra) -> #9.2].
stadt("Porto_Novo","RPB","RPB"):terra_city[name@(terra) -> "Porto Novo"; country@(terra) -> "RPB"; province@(terra) ->> {"RPB"}; longitude@(terra) -> #2.4; latitude@(terra) -> #6.3].
stadt("Gabarone","RB","RB"):terra_city[name@(terra) -> "Gabarone"; country@(terra) -> "RB"; province@(terra) ->> {"RB"}; longitude@(terra) -> #25.6; latitude@(terra) -> #-24.5].
stadt("Bujumbura","BU","BU"):terra_city[name@(terra) -> "Bujumbura"; country@(terra) -> "BU"; province@(terra) ->> {"BU"}; longitude@(terra) -> 29; latitude@(terra) -> -4].
stadt("Djibuti","RD","RD"):terra_city[name@(terra) -> "Djibuti"; country@(terra) -> "RD"; province@(terra) ->> {"RD"}; longitude@(terra) -> #43.1; latitude@(terra) -> #11.5].
stadt("Abidjan","CI","CI"):terra_city[name@(terra) -> "Abidjan"; country@(terra) -> "CI"; province@(terra) ->> {"CI"}; longitude@(terra) -> #-3.6; latitude@(terra) -> #5.3].
stadt("Libreville","GAB","GAB"):terra_city[name@(terra) -> "Libreville"; country@(terra) -> "GAB"; province@(terra) ->> {"GAB"}; longitude@(terra) -> #9.3; latitude@(terra) -> #0.3].
stadt("Banjul","WAG","WAG"):terra_city[name@(terra) -> "Banjul"; country@(terra) -> "WAG"; province@(terra) ->> {"WAG"}; longitude@(terra) -> 14; latitude@(terra) -> #13.5].
stadt("Accra","GH","GH"):terra_city[name@(terra) -> "Accra"; country@(terra) -> "GH"; province@(terra) ->> {"GH"}; longitude@(terra) -> #-0.1; latitude@(terra) -> #5.4].
stadt("Conakry","GUI","GUI"):terra_city[name@(terra) -> "Conakry"; country@(terra) -> "GUI"; province@(terra) ->> {"GUI"}; longitude@(terra) -> #-13.5; latitude@(terra) -> #9.3].
stadt("Bissau","GUB","GUB"):terra_city[name@(terra) -> "Bissau"; country@(terra) -> "GUB"; province@(terra) ->> {"GUB"}; longitude@(terra) -> #-15.5; latitude@(terra) -> #11.5].
stadt("Jaunde","CAM","CAM"):terra_city[name@(terra) -> "Jaunde"; country@(terra) -> "CAM"; province@(terra) ->> {"CAM"}; longitude@(terra) -> 12; latitude@(terra) -> #3.5].
stadt("Praia","KAP","KAP"):terra_city[name@(terra) -> "Praia"; country@(terra) -> "KAP"; province@(terra) ->> {"KAP"}; longitude@(terra) -> -23; latitude@(terra) -> 16].
stadt("Nairobi","EAK","EAK"):terra_city[name@(terra) -> "Nairobi"; country@(terra) -> "EAK"; province@(terra) ->> {"EAK"}; longitude@(terra) -> #36.5; latitude@(terra) -> #-1.2].
stadt("Moroni","KOM","KOM"):terra_city[name@(terra) -> "Moroni"; country@(terra) -> "KOM"; province@(terra) ->> {"KOM"}; longitude@(terra) -> 43; latitude@(terra) -> -12].
stadt("Brazzaville","RCB","RCB"):terra_city[name@(terra) -> "Brazzaville"; country@(terra) -> "RCB"; province@(terra) ->> {"RCB"}; longitude@(terra) -> #15.1; latitude@(terra) -> #-4.9].
stadt("Maseru","LS","LS"):terra_city[name@(terra) -> "Maseru"; country@(terra) -> "LS"; province@(terra) ->> {"LS"}; longitude@(terra) -> #27.3; latitude@(terra) -> #-29.2].
stadt("Monrovia","LB","LB"):terra_city[name@(terra) -> "Monrovia"; country@(terra) -> "LB"; province@(terra) ->> {"LB"}; longitude@(terra) -> #-10.5; latitude@(terra) -> #6.3].
stadt("Tripolis","LAR","LAR"):terra_city[name@(terra) -> "Tripolis"; country@(terra) -> "LAR"; province@(terra) ->> {"LAR"}; longitude@(terra) -> #22.3; latitude@(terra) -> #37.3].
stadt("Tananarive","RM","RM"):terra_city[name@(terra) -> "Tananarive"; country@(terra) -> "RM"; province@(terra) ->> {"RM"}; longitude@(terra) -> #47.4; latitude@(terra) -> #-18.6].
stadt("Lilongue","MW","MW"):terra_city[name@(terra) -> "Lilongue"; country@(terra) -> "MW"; province@(terra) ->> {"MW"}; longitude@(terra) -> 34; latitude@(terra) -> -14].
stadt("Bamako","RMM","RMM"):terra_city[name@(terra) -> "Bamako"; country@(terra) -> "RMM"; province@(terra) ->> {"RMM"}; longitude@(terra) -> #-7.6; latitude@(terra) -> #12.3].
stadt("Rabat","MA","MA"):terra_city[name@(terra) -> "Rabat"; country@(terra) -> "MA"; province@(terra) ->> {"MA"}; longitude@(terra) -> #-6.5; latitude@(terra) -> #33.6].
stadt("Nuakschott","RIM","RIM"):terra_city[name@(terra) -> "Nuakschott"; country@(terra) -> "RIM"; province@(terra) ->> {"RIM"}; longitude@(terra) -> -16; latitude@(terra) -> 18].
stadt("Port_Louis","MS","MS"):terra_city[name@(terra) -> "Port Louis"; country@(terra) -> "MS"; province@(terra) ->> {"MS"}; longitude@(terra) -> #-3.2; latitude@(terra) -> #47.3].
stadt("Maputo","MOS","MOS"):terra_city[name@(terra) -> "Maputo"; country@(terra) -> "MOS"; province@(terra) ->> {"MOS"}; longitude@(terra) -> 33; latitude@(terra) -> -26].
stadt("Niamey","RN","RN"):terra_city[name@(terra) -> "Niamey"; country@(terra) -> "RN"; province@(terra) ->> {"RN"}; longitude@(terra) -> #2.1; latitude@(terra) -> #13.2].
stadt("Lagos","WAN","WAN"):terra_city[name@(terra) -> "Lagos"; country@(terra) -> "WAN"; province@(terra) ->> {"WAN"}; longitude@(terra) -> #3.3; latitude@(terra) -> #6.3].
stadt("Ouagadougou","BF","BF"):terra_city[name@(terra) -> "Ouagadougou"; country@(terra) -> "BF"; province@(terra) ->> {"BF"}; longitude@(terra) -> -2; latitude@(terra) -> 12].
stadt("Kigali","RWA","RWA"):terra_city[name@(terra) -> "Kigali"; country@(terra) -> "RWA"; province@(terra) ->> {"RWA"}; longitude@(terra) -> #29.6; latitude@(terra) -> #-1.6].
stadt("Lusaka","Z","Z"):terra_city[name@(terra) -> "Lusaka"; country@(terra) -> "Z"; province@(terra) ->> {"Z"}; longitude@(terra) -> #28.2; latitude@(terra) -> #-15.3].
stadt("Sao_Tome","SAO","SAO"):terra_city[name@(terra) -> "Sao Tome"; country@(terra) -> "SAO"; province@(terra) ->> {"SAO"}; longitude@(terra) -> 7; latitude@(terra) -> 0].
stadt("Dakar","SN","SN"):terra_city[name@(terra) -> "Dakar"; country@(terra) -> "SN"; province@(terra) ->> {"SN"}; longitude@(terra) -> #17.3; latitude@(terra) -> #14.3].
stadt("Victoria","CDN","BC"):terra_city[name@(terra) -> "Victoria"; country@(terra) -> "CDN"; province@(terra) ->> {"BC"}; longitude@(terra) -> -123; latitude@(terra) -> #48.1].
stadt("Victoria","SY","SY"):terra_city[name@(terra) -> "Victoria"; country@(terra) -> "SY"; province@(terra) ->> {"SY"}; longitude@(terra) -> 52; latitude@(terra) -> -2].
stadt("Freetown","WAL","WAL"):terra_city[name@(terra) -> "Freetown"; country@(terra) -> "WAL"; province@(terra) ->> {"WAL"}; longitude@(terra) -> #13.1; latitude@(terra) -> #8.2].
stadt("Salisbury","ZW","ZW"):terra_city[name@(terra) -> "Salisbury"; country@(terra) -> "ZW"; province@(terra) ->> {"ZW"}; longitude@(terra) -> #31.2; latitude@(terra) -> #-17.5].
stadt("Mogadischu","SP","SP"):terra_city[name@(terra) -> "Mogadischu"; country@(terra) -> "SP"; province@(terra) ->> {"SP"}; longitude@(terra) -> #45.3; latitude@(terra) -> #2.2].
stadt("Pretoria","RSA","RSA"):terra_city[name@(terra) -> "Pretoria"; country@(terra) -> "RSA"; province@(terra) ->> {"RSA"}; longitude@(terra) -> #28.1; latitude@(terra) -> #-25.4].
stadt("Khartum","EAS","EAS"):terra_city[name@(terra) -> "Khartum"; country@(terra) -> "EAS"; province@(terra) ->> {"EAS"}; longitude@(terra) -> #32.4; latitude@(terra) -> #15.3].
stadt("Mbabane","SD","SD"):terra_city[name@(terra) -> "Mbabane"; country@(terra) -> "SD"; province@(terra) ->> {"SD"}; longitude@(terra) -> #31.1; latitude@(terra) -> -25].
stadt("Daressalam","EAT","EAT"):terra_city[name@(terra) -> "Daressalam"; country@(terra) -> "EAT"; province@(terra) ->> {"EAT"}; longitude@(terra) -> #39.5; latitude@(terra) -> #-6.4].
stadt("Lome","TG","TG"):terra_city[name@(terra) -> "Lome"; country@(terra) -> "TG"; province@(terra) ->> {"TG"}; longitude@(terra) -> #1.1; latitude@(terra) -> #6.1].
stadt("N_Djamena","TCH","TCH"):terra_city[name@(terra) -> "N Djamena"; country@(terra) -> "TCH"; province@(terra) ->> {"TCH"}; longitude@(terra) -> 15; latitude@(terra) -> 12].
stadt("Tunis","TN","TN"):terra_city[name@(terra) -> "Tunis"; country@(terra) -> "TN"; province@(terra) ->> {"TN"}; longitude@(terra) -> #10.6; latitude@(terra) -> #36.4].
stadt("Kampala","EAU","EAU"):terra_city[name@(terra) -> "Kampala"; country@(terra) -> "EAU"; province@(terra) ->> {"EAU"}; longitude@(terra) -> #32.3; latitude@(terra) -> #0.2].
stadt("Kinshasa","ZRE","ZRE"):terra_city[name@(terra) -> "Kinshasa"; country@(terra) -> "ZRE"; province@(terra) ->> {"ZRE"}; longitude@(terra) -> #15.2; latitude@(terra) -> #-4.3].
stadt("Bangui","RCA","RCA"):terra_city[name@(terra) -> "Bangui"; country@(terra) -> "RCA"; province@(terra) ->> {"RCA"}; longitude@(terra) -> #18.5; latitude@(terra) -> #4.3].
stadt("Mmabatho","JB","JB"):terra_city[name@(terra) -> "Mmabatho"; country@(terra) -> "JB"; province@(terra) ->> {"JB"}; longitude@(terra) -> 22; latitude@(terra) -> -28].
stadt("Windhuk","SWA","SWA"):terra_city[name@(terra) -> "Windhuk"; country@(terra) -> "SWA"; province@(terra) ->> {"SWA"}; longitude@(terra) -> #17.2; latitude@(terra) -> #-22.3].
stadt("Umtata","X","X"):terra_city[name@(terra) -> "Umtata"; country@(terra) -> "X"; province@(terra) ->> {"X"}; longitude@(terra) -> #28.38; latitude@(terra) -> #-31.33].
stadt("Thohoyandou","V","V"):terra_city[name@(terra) -> "Thohoyandou"; country@(terra) -> "V"; province@(terra) ->> {"V"}; longitude@(terra) -> 28; latitude@(terra) -> -31].
stadt("El_Alaiun","DARS","DARS"):terra_city[name@(terra) -> "El Alaiun"; country@(terra) -> "DARS"; province@(terra) ->> {"DARS"}; longitude@(terra) -> -13; latitude@(terra) -> 27].
stadt("Canberra","AUS","ACT"):terra_city[name@(terra) -> "Canberra"; country@(terra) -> "AUS"; province@(terra) ->> {"ACT"}; longitude@(terra) -> #149.08; latitude@(terra) -> #-35.1].
stadt("Andorra_la_Vella","AND","AND"):terra_city[name@(terra) -> "Andorra la Vella"; country@(terra) -> "AND"; province@(terra) ->> {"AND"}; longitude@(terra) -> #1.3; latitude@(terra) -> #42.3].
stadt("Bruessel","B","BRA"):terra_city[name@(terra) -> "Bruessel"; country@(terra) -> "B"; province@(terra) ->> {"BRA"}; longitude@(terra) -> #4.3; latitude@(terra) -> #50.5].
stadt("Bonn","D","NRW"):terra_city[name@(terra) -> "Bonn"; country@(terra) -> "D"; province@(terra) ->> {"NRW"}; longitude@(terra) -> #7.5; latitude@(terra) -> #50.4].
stadt("Paris","USA","TX"):terra_city[name@(terra) -> "Paris"; country@(terra) -> "USA"; province@(terra) ->> {"TX"}; longitude@(terra) -> #-95.5; latitude@(terra) -> #33.6].
stadt("Paris","F","ILE"):terra_city[name@(terra) -> "Paris"; country@(terra) -> "F"; province@(terra) ->> {"ILE"}; longitude@(terra) -> #2.2; latitude@(terra) -> #48.5].
stadt("Athen","GR","GR"):terra_city[name@(terra) -> "Athen"; country@(terra) -> "GR"; province@(terra) ->> {"GR"}; longitude@(terra) -> #23.7; latitude@(terra) -> #37.6].
stadt("London","GB","ENG"):terra_city[name@(terra) -> "London"; country@(terra) -> "GB"; province@(terra) ->> {"ENG"}; longitude@(terra) -> #-0.5; latitude@(terra) -> #51.3].
stadt("Dublin","IRL","IRL"):terra_city[name@(terra) -> "Dublin"; country@(terra) -> "IRL"; province@(terra) ->> {"IRL"}; longitude@(terra) -> #-6.2; latitude@(terra) -> #53.2].
stadt("Rom","I","LAT"):terra_city[name@(terra) -> "Rom"; country@(terra) -> "I"; province@(terra) ->> {"LAT"}; longitude@(terra) -> #14.3; latitude@(terra) -> #41.5].
stadt("Belgrad","YU","YU"):terra_city[name@(terra) -> "Belgrad"; country@(terra) -> "YU"; province@(terra) ->> {"YU"}; longitude@(terra) -> #20.37; latitude@(terra) -> #44.5].
stadt("Vaduz","FL","FL"):terra_city[name@(terra) -> "Vaduz"; country@(terra) -> "FL"; province@(terra) ->> {"FL"}; longitude@(terra) -> #9.3; latitude@(terra) -> #47.08].
stadt("Luxemburg","L","L"):terra_city[name@(terra) -> "Luxemburg"; country@(terra) -> "L"; province@(terra) ->> {"L"}; longitude@(terra) -> #6.08; latitude@(terra) -> #49.4].
stadt("Monaco-Ville","MC","MC"):terra_city[name@(terra) -> "Monaco-Ville"; country@(terra) -> "MC"; province@(terra) ->> {"MC"}; longitude@(terra) -> #7.2; latitude@(terra) -> #43.7].
stadt("Amsterdam","NL","NL"):terra_city[name@(terra) -> "Amsterdam"; country@(terra) -> "NL"; province@(terra) ->> {"NL"}; longitude@(terra) -> #4.6; latitude@(terra) -> #52.2].
stadt("Wien","A","WIE"):terra_city[name@(terra) -> "Wien"; country@(terra) -> "A"; province@(terra) ->> {"WIE"}; longitude@(terra) -> #16.2; latitude@(terra) -> #48.1].
stadt("Lissabon","P","P"):terra_city[name@(terra) -> "Lissabon"; country@(terra) -> "P"; province@(terra) ->> {"P"}; longitude@(terra) -> #-9.1; latitude@(terra) -> #28.4