% Answer to query : ?- C:continent[name -> N].

europe:continent[name -> "Europe"].
asia:continent[name -> "Asia"].
america:continent[name -> "America"].
australia:continent[name -> "Australia/Oceania"].
africa:continent[name -> "Africa"].

% 5 output(s) printed 

% Answer to query : ?- C:country[name@(gs) ->> {N}; continent@(gs) ->> {CT}].

cid(gs,europe,2):country[name@(gs) ->> {"Albania"}; continent@(gs) ->> {europe}].
cid(gs,europe,3):country[name@(gs) ->> {"Andorra"}; continent@(gs) ->> {europe}].
cid(gs,europe,4):country[name@(gs) ->> {"Austria"}; continent@(gs) ->> {europe}].
cid(gs,europe,5):country[name@(gs) ->> {"Belarus"}; continent@(gs) ->> {europe}].
cid(gs,europe,6):country[name@(gs) ->> {"Belgium"}; continent@(gs) ->> {europe}].
cid(gs,europe,7):country[name@(gs) ->> {"Bosnia and Herzegovina"}; continent@(gs) ->> {europe}].
cid(gs,europe,8):country[name@(gs) ->> {"Bulgaria"}; continent@(gs) ->> {europe}].
cid(gs,europe,9):country[name@(gs) ->> {"Croatia"}; continent@(gs) ->> {europe}].
cid(gs,europe,10):country[name@(gs) ->> {"Czech Rep."}; continent@(gs) ->> {europe}].
cid(gs,europe,10):country[name@(gs) ->> {"Czech Republic"}; continent@(gs) ->> {europe}].
cid(gs,europe,11):country[name@(gs) ->> {"Denmark"}; continent@(gs) ->> {europe}].
cid(gs,europe,12):country[name@(gs) ->> {"Estonia"}; continent@(gs) ->> {europe}].
cid(gs,europe,13):country[name@(gs) ->> {"Faroe Islands"}; continent@(gs) ->> {europe}].
cid(gs,europe,14):country[name@(gs) ->> {"Finland"}; continent@(gs) ->> {europe}].
cid(gs,europe,15):country[name@(gs) ->> {"France"}; continent@(gs) ->> {europe}].
cid(gs,europe,16):country[name@(gs) ->> {"Germany"}; continent@(gs) ->> {europe}].
cid(gs,europe,17):country[name@(gs) ->> {"Gibraltar"}; continent@(gs) ->> {europe}].
cid(gs,europe,18):country[name@(gs) ->> {"Greece"}; continent@(gs) ->> {europe}].
cid(gs,europe,19):country[name@(gs) ->> {"Guernsey"}; continent@(gs) ->> {europe}].
cid(gs,europe,20):country[name@(gs) ->> {"Vatican City"}; continent@(gs) ->> {europe}].
cid(gs,europe,20):country[name@(gs) ->> {"Holy See"}; continent@(gs) ->> {europe}].
cid(gs,europe,21):country[name@(gs) ->> {"Hungary"}; continent@(gs) ->> {europe}].
cid(gs,europe,22):country[name@(gs) ->> {"Iceland"}; continent@(gs) ->> {europe}].
cid(gs,europe,23):country[name@(gs) ->> {"Ireland"}; continent@(gs) ->> {europe}].
cid(gs,europe,24):country[name@(gs) ->> {"Italy"}; continent@(gs) ->> {europe}].
cid(gs,europe,25):country[name@(gs) ->> {"Jersey"}; continent@(gs) ->> {europe}].
cid(gs,europe,26):country[name@(gs) ->> {"Latvia"}; continent@(gs) ->> {europe}].
cid(gs,europe,27):country[name@(gs) ->> {"Liechtenstein"}; continent@(gs) ->> {europe}].
cid(gs,europe,28):country[name@(gs) ->> {"Lithuania"}; continent@(gs) ->> {europe}].
cid(gs,europe,29):country[name@(gs) ->> {"Luxembourg"}; continent@(gs) ->> {europe}].
cid(gs,europe,30):country[name@(gs) ->> {"Macedonia"}; continent@(gs) ->> {europe}].
cid(gs,europe,31):country[name@(gs) ->> {"Malta"}; continent@(gs) ->> {europe}].
cid(gs,europe,32):country[name@(gs) ->> {"Man"}; continent@(gs) ->> {europe}].
cid(gs,europe,33):country[name@(gs) ->> {"Moldova"}; continent@(gs) ->> {europe}].
cid(gs,europe,34):country[name@(gs) ->> {"Monaco"}; continent@(gs) ->> {europe}].
cid(gs,europe,35):country[name@(gs) ->> {"Netherlands"}; continent@(gs) ->> {europe}].
cid(gs,europe,36):country[name@(gs) ->> {"Norway"}; continent@(gs) ->> {europe}].
cid(gs,europe,37):country[name@(gs) ->> {"Poland"}; continent@(gs) ->> {europe}].
cid(gs,europe,38):country[name@(gs) ->> {"Portugal"}; continent@(gs) ->> {europe}].
cid(gs,europe,39):country[name@(gs) ->> {"Romania"}; continent@(gs) ->> {europe}].
cid(gs,europe,40):country[name@(gs) ->> {"Russia"}; continent@(gs) ->> {europe}].
cid(gs,europe,41):country[name@(gs) ->> {"San Marino"}; continent@(gs) ->> {europe}].
cid(gs,europe,42):country[name@(gs) ->> {"Serbia and Montenegro"}; continent@(gs) ->> {europe}].
cid(gs,europe,43):country[name@(gs) ->> {"Slovakia"}; continent@(gs) ->> {europe}].
cid(gs,europe,44):country[name@(gs) ->> {"Slovenia"}; continent@(gs) ->> {europe}].
cid(gs,europe,45):country[name@(gs) ->> {"Spain"}; continent@(gs) ->> {europe}].
cid(gs,europe,46):country[name@(gs) ->> {"Svalbard"}; continent@(gs) ->> {europe}].
cid(gs,europe,47):country[name@(gs) ->> {"Sweden"}; continent@(gs) ->> {europe}].
cid(gs,europe,48):country[name@(gs) ->> {"Switzerland"}; continent@(gs) ->> {europe}].
cid(gs,europe,49):country[name@(gs) ->> {"Ukraine"}; continent@(gs) ->> {europe}].
cid(gs,europe,50):country[name@(gs) ->> {"United Kingdom"}; continent@(gs) ->> {europe}].
cid(gs,asia,2):country[name@(gs) ->> {"Afghanistan"}; continent@(gs) ->> {asia}].
cid(gs,asia,3):country[name@(gs) ->> {"Armenia"}; continent@(gs) ->> {asia}].
cid(gs,asia,4):country[name@(gs) ->> {"Azerbaijan"}; continent@(gs) ->> {asia}].
cid(gs,asia,5):country[name@(gs) ->> {"Bahrain"}; continent@(gs) ->> {asia}].
cid(gs,asia,6):country[name@(gs) ->> {"Bangladesh"}; continent@(gs) ->> {asia}].
cid(gs,asia,7):country[name@(gs) ->> {"Bhutan"}; continent@(gs) ->> {asia}].
cid(gs,asia,8):country[name@(gs) ->> {"Brunei"}; continent@(gs) ->> {asia}].
cid(gs,asia,9):country[name@(gs) ->> {"Myanmar"}; continent@(gs) ->> {asia}].
cid(gs,asia,9):country[name@(gs) ->> {"Burma"}; continent@(gs) ->> {asia}].
cid(gs,asia,10):country[name@(gs) ->> {"Cambodia"}; continent@(gs) ->> {asia}].
cid(gs,asia,11):country[name@(gs) ->> {"China"}; continent@(gs) ->> {asia}].
cid(gs,asia,12):country[name@(gs) ->> {"Cyprus"}; continent@(gs) ->> {asia}].
cid(gs,asia,13):country[name@(gs) ->> {"Georgia"}; continent@(gs) ->> {asia}].
cid(gs,asia,14):country[name@(gs) ->> {"India"}; continent@(gs) ->> {asia}].
cid(gs,asia,15):country[name@(gs) ->> {"Indonesia"}; continent@(gs) ->> {asia}].
cid(gs,asia,16):country[name@(gs) ->> {"Iran"}; continent@(gs) ->> {asia}].
cid(gs,asia,17):country[name@(gs) ->> {"Iraq"}; continent@(gs) ->> {asia}].
cid(gs,asia,18):country[name@(gs) ->> {"Israel"}; continent@(gs) ->> {asia}].
cid(gs,asia,19):country[name@(gs) ->> {"Japan"}; continent@(gs) ->> {asia}].
cid(gs,asia,20):country[name@(gs) ->> {"Jordan"}; continent@(gs) ->> {asia}].
cid(gs,asia,21):country[name@(gs) ->> {"Kazakstan"}; continent@(gs) ->> {asia}].
cid(gs,asia,22):country[name@(gs) ->> {"Korea"}; continent@(gs) ->> {asia}].
cid(gs,asia,22):country[name@(gs) ->> {"North Korea"}; continent@(gs) ->> {asia}].
cid(gs,asia,23):country[name@(gs) ->> {"Korea"}; continent@(gs) ->> {asia}].
cid(gs,asia,23):country[name@(gs) ->> {"South Korea"}; continent@(gs) ->> {asia}].
cid(gs,asia,24):country[name@(gs) ->> {"Kuwait"}; continent@(gs) ->> {asia}].
cid(gs,asia,25):country[name@(gs) ->> {"Kyrgyzstan"}; continent@(gs) ->> {asia}].
cid(gs,asia,26):country[name@(gs) ->> {"Laos"}; continent@(gs) ->> {asia}].
cid(gs,asia,27):country[name@(gs) ->> {"Lebanon"}; continent@(gs) ->> {asia}].
cid(gs,asia,28):country[name@(gs) ->> {"Macau"}; continent@(gs) ->> {asia}].
cid(gs,asia,29):country[name@(gs) ->> {"Malaysia"}; continent@(gs) ->> {asia}].
cid(gs,asia,30):country[name@(gs) ->> {"Mongolia"}; continent@(gs) ->> {asia}].
cid(gs,asia,31):country[name@(gs) ->> {"Nepal"}; continent@(gs) ->> {asia}].
cid(gs,asia,32):country[name@(gs) ->> {"Oman"}; continent@(gs) ->> {asia}].
cid(gs,asia,33):country[name@(gs) ->> {"Pakistan"}; continent@(gs) ->> {asia}].
cid(gs,asia,34):country[name@(gs) ->> {"Papua New Guinea"}; continent@(gs) ->> {asia}].
cid(gs,asia,35):country[name@(gs) ->> {"Philippines"}; continent@(gs) ->> {asia}].
cid(gs,asia,36):country[name@(gs) ->> {"Qatar"}; continent@(gs) ->> {asia}].
cid(gs,asia,37):country[name@(gs) ->> {"Saudi Arabia"}; continent@(gs) ->> {asia}].
cid(gs,asia,38):country[name@(gs) ->> {"Singapore"}; continent@(gs) ->> {asia}].
cid(gs,asia,39):country[name@(gs) ->> {"Sri Lanka"}; continent@(gs) ->> {asia}].
cid(gs,asia,40):country[name@(gs) ->> {"Syria"}; continent@(gs) ->> {asia}].
cid(gs,asia,41):country[name@(gs) ->> {"Taiwan"}; continent@(gs) ->> {asia}].
cid(gs,asia,42):country[name@(gs) ->> {"Tajikistan"}; continent@(gs) ->> {asia}].
cid(gs,asia,43):country[name@(gs) ->> {"Thailand"}; continent@(gs) ->> {asia}].
cid(gs,asia,44):country[name@(gs) ->> {"Turkey"}; continent@(gs) ->> {asia}].
cid(gs,asia,45):country[name@(gs) ->> {"Turkmenistan"}; continent@(gs) ->> {asia}].
cid(gs,asia,46):country[name@(gs) ->> {"UAE"}; continent@(gs) ->> {asia}].
cid(gs,asia,46):country[name@(gs) ->> {"United Arab Emirates"}; continent@(gs) ->> {asia}].
cid(gs,asia,47):country[name@(gs) ->> {"Uzbekistan"}; continent@(gs) ->> {asia}].
cid(gs,asia,48):country[name@(gs) ->> {"Vietnam"}; continent@(gs) ->> {asia}].
cid(gs,asia,49):country[name@(gs) ->> {"Yemen"}; continent@(gs) ->> {asia}].
cid(gs,asia,50):country[name@(gs) ->> {"Palestine"}; continent@(gs) ->> {asia}].
cid(gs,asia,50):country[name@(gs) ->> {"Gaza Strip"}; continent@(gs) ->> {asia}].
cid(gs,asia,51):country[name@(gs) ->> {"Palestine"}; continent@(gs) ->> {asia}].
cid(gs,asia,51):country[name@(gs) ->> {"West Bank"}; continent@(gs) ->> {asia}].
cid(gs,america,2):country[name@(gs) ->> {"Anguilla"}; continent@(gs) ->> {america}].
cid(gs,america,3):country[name@(gs) ->> {"Antigua and Barbuda"}; continent@(gs) ->> {america}].
cid(gs,america,4):country[name@(gs) ->> {"Argentina"}; continent@(gs) ->> {america}].
cid(gs,america,5):country[name@(gs) ->> {"Aruba"}; continent@(gs) ->> {america}].
cid(gs,america,6):country[name@(gs) ->> {"Bahamas"}; continent@(gs) ->> {america}].
cid(gs,america,7):country[name@(gs) ->> {"Barbados"}; continent@(gs) ->> {america}].
cid(gs,america,8):country[name@(gs) ->> {"Belize"}; continent@(gs) ->> {america}].
cid(gs,america,9):country[name@(gs) ->> {"Bolivia"}; continent@(gs) ->> {america}].
cid(gs,america,10):country[name@(gs) ->> {"Brazil"}; continent@(gs) ->> {america}].
cid(gs,america,11):country[name@(gs) ->> {"British Virgin Islands"}; continent@(gs) ->> {america}].
cid(gs,america,12):country[name@(gs) ->> {"Canada"}; continent@(gs) ->> {america}].
cid(gs,america,13):country[name@(gs) ->> {"Cayman Islands"}; continent@(gs) ->> {america}].
cid(gs,america,14):country[name@(gs) ->> {"Chile"}; continent@(gs) ->> {america}].
cid(gs,america,15):country[name@(gs) ->> {"Colombia"}; continent@(gs) ->> {america}].
cid(gs,america,16):country[name@(gs) ->> {"Costa Rica"}; continent@(gs) ->> {america}].
cid(gs,america,17):country[name@(gs) ->> {"Cuba"}; continent@(gs) ->> {america}].
cid(gs,america,18):country[name@(gs) ->> {"Dominica"}; continent@(gs) ->> {america}].
cid(gs,america,19):country[name@(gs) ->> {"Dominican Republic"}; continent@(gs) ->> {america}].
cid(gs,america,20):country[name@(gs) ->> {"Ecuador"}; continent@(gs) ->> {america}].
cid(gs,america,21):country[name@(gs) ->> {"El Salvador"}; continent@(gs) ->> {america}].
cid(gs,america,22):country[name@(gs) ->> {"French Guiana"}; continent@(gs) ->> {america}].
cid(gs,america,23):country[name@(gs) ->> {"Grenada"}; continent@(gs) ->> {america}].
cid(gs,america,24):country[name@(gs) ->> {"Guadeloupe"}; continent@(gs) ->> {america}].
cid(gs,america,25):country[name@(gs) ->> {"Guatemala"}; continent@(gs) ->> {america}].
cid(gs,america,26):country[name@(gs) ->> {"Guyana"}; continent@(gs) ->> {america}].
cid(gs,america,27):country[name@(gs) ->> {"Haiti"}; continent@(gs) ->> {america}].
cid(gs,america,28):country[name@(gs) ->> {"Honduras"}; continent@(gs) ->> {america}].
cid(gs,america,29):country[name@(gs) ->> {"Jamaica"}; continent@(gs) ->> {america}].
cid(gs,america,30):country[name@(gs) ->> {"Martinique"}; continent@(gs) ->> {america}].
cid(gs,america,31):country[name@(gs) ->> {"Mexico"}; continent@(gs) ->> {america}].
cid(gs,america,32):country[name@(gs) ->> {"Montserrat"}; continent@(gs) ->> {america}].
cid(gs,america,33):country[name@(gs) ->> {"Netherlands Antilles"}; continent@(gs) ->> {america}].
cid(gs,america,34):country[name@(gs) ->> {"Nicaragua"}; continent@(gs) ->> {america}].
cid(gs,america,35):country[name@(gs) ->> {"Panama"}; continent@(gs) ->> {america}].
cid(gs,america,36):country[name@(gs) ->> {"Paraguay"}; continent@(gs) ->> {america}].
cid(gs,america,37):country[name@(gs) ->> {"Peru"}; continent@(gs) ->> {america}].
cid(gs,america,38):country[name@(gs) ->> {"Puerto Rico"}; continent@(gs) ->> {america}].
cid(gs,america,39):country[name@(gs) ->> {"Saint Kitts and Nevis"}; continent@(gs) ->> {america}].
cid(gs,america,40):country[name@(gs) ->> {"Saint Lucia"}; continent@(gs) ->> {america}].
cid(gs,america,41):country[name@(gs) ->> {"Saint Pierre and Miquelon"}; continent@(gs) ->> {america}].
cid(gs,america,42):country[name@(gs) ->> {"Saint Vincent and the Grenadines"}; continent@(gs) ->> {america}].
cid(gs,america,43):country[name@(gs) ->> {"Suriname"}; continent@(gs) ->> {america}].
cid(gs,america,44):country[name@(gs) ->> {"Trinidad and Tobago"}; continent@(gs) ->> {america}].
cid(gs,america,45):country[name@(gs) ->> {"Turks and Caicos Islands"}; continent@(gs) ->> {america}].
cid(gs,america,46):country[name@(gs) ->> {"USA"}; continent@(gs) ->> {america}].
cid(gs,america,46):country[name@(gs) ->> {"states"}; continent@(gs) ->> {america}].
cid(gs,america,46):country[name@(gs) ->> {"United States"}; continent@(gs) ->> {america}].
cid(gs,america,47):country[name@(gs) ->> {"Uruguay"}; continent@(gs) ->> {america}].
cid(gs,america,48):country[name@(gs) ->> {"Venezuela"}; continent@(gs) ->> {america}].
cid(gs,america,49):country[name@(gs) ->> {"Virgin Islands"}; continent@(gs) ->> {america}].
cid(gs,australia,2):country[name@(gs) ->> {"American Samoa"}; continent@(gs) ->> {australia}].
cid(gs,australia,3):country[name@(gs) ->> {"Australia"}; continent@(gs) ->> {australia}].
cid(gs,australia,4):country[name@(gs) ->> {"Bermuda"}; continent@(gs) ->> {australia}].
cid(gs,australia,5):country[name@(gs) ->> {"Christmas Island"}; continent@(gs) ->> {australia}].
cid(gs,australia,6):country[name@(gs) ->> {"Cocos Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,7):country[name@(gs) ->> {"Cook Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,8):country[name@(gs) ->> {"Falkland Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,9):country[name@(gs) ->> {"Fiji"}; continent@(gs) ->> {australia}].
cid(gs,australia,10):country[name@(gs) ->> {"French Polynesia"}; continent@(gs) ->> {australia}].
cid(gs,australia,11):country[name@(gs) ->> {"Greenland"}; continent@(gs) ->> {australia}].
cid(gs,australia,12):country[name@(gs) ->> {"Guam"}; continent@(gs) ->> {australia}].
cid(gs,australia,13):country[name@(gs) ->> {"Kiribati"}; continent@(gs) ->> {australia}].
cid(gs,australia,14):country[name@(gs) ->> {"Maldives"}; continent@(gs) ->> {australia}].
cid(gs,australia,15):country[name@(gs) ->> {"Marshall Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,16):country[name@(gs) ->> {"Mauritius"}; continent@(gs) ->> {australia}].
cid(gs,australia,17):country[name@(gs) ->> {"Micronesia"}; continent@(gs) ->> {australia}].
cid(gs,australia,18):country[name@(gs) ->> {"Nauru"}; continent@(gs) ->> {australia}].
cid(gs,australia,19):country[name@(gs) ->> {"New Caledonia"}; continent@(gs) ->> {australia}].
cid(gs,australia,20):country[name@(gs) ->> {"New Zealand"}; continent@(gs) ->> {australia}].
cid(gs,australia,21):country[name@(gs) ->> {"Niue"}; continent@(gs) ->> {australia}].
cid(gs,australia,22):country[name@(gs) ->> {"Norfolk Island"}; continent@(gs) ->> {australia}].
cid(gs,australia,23):country[name@(gs) ->> {"Northern Mariana Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,24):country[name@(gs) ->> {"Palau"}; continent@(gs) ->> {australia}].
cid(gs,australia,25):country[name@(gs) ->> {"Pitcairn Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,26):country[name@(gs) ->> {"Reunion"}; continent@(gs) ->> {australia}].
cid(gs,australia,27):country[name@(gs) ->> {"Saint Helena"}; continent@(gs) ->> {australia}].
cid(gs,australia,28):country[name@(gs) ->> {"Seychelles"}; continent@(gs) ->> {australia}].
cid(gs,australia,29):country[name@(gs) ->> {"Solomon Islands"}; continent@(gs) ->> {australia}].
cid(gs,australia,30):country[name@(gs) ->> {"Tokelau"}; continent@(gs) ->> {australia}].
cid(gs,australia,31):country[name@(gs) ->> {"Tonga"}; continent@(gs) ->> {australia}].
cid(gs,australia,32):country[name@(gs) ->> {"Tuvalu"}; continent@(gs) ->> {australia}].
cid(gs,australia,33):country[name@(gs) ->> {"Vanuatu"}; continent@(gs) ->> {australia}].
cid(gs,australia,34):country[name@(gs) ->> {"Wallis and Futuna"}; continent@(gs) ->> {australia}].
cid(gs,australia,35):country[name@(gs) ->> {"Western Samoa"}; continent@(gs) ->> {australia}].
cid(gs,africa,2):country[name@(gs) ->> {"Algeria"}; continent@(gs) ->> {africa}].
cid(gs,africa,3):country[name@(gs) ->> {"Angola"}; continent@(gs) ->> {africa}].
cid(gs,africa,4):country[name@(gs) ->> {"Benin"}; continent@(gs) ->> {africa}].
cid(gs,africa,5):country[name@(gs) ->> {"Botswana"}; continent@(gs) ->> {africa}].
cid(gs,africa,6):country[name@(gs) ->> {"Burkina Faso"}; continent@(gs) ->> {africa}].
cid(gs,africa,7):country[name@(gs) ->> {"Burundi"}; continent@(gs) ->> {africa}].
cid(gs,africa,8):country[name@(gs) ->> {"Cameroon"}; continent@(gs) ->> {africa}].
cid(gs,africa,9):country[name@(gs) ->> {"Cape Verde"}; continent@(gs) ->> {africa}].
cid(gs,africa,10):country[name@(gs) ->> {"Central African Republic"}; continent@(gs) ->> {africa}].
cid(gs,africa,11):country[name@(gs) ->> {"Chad"}; continent@(gs) ->> {africa}].
cid(gs,africa,12):country[name@(gs) ->> {"Comoros"}; continent@(gs) ->> {africa}].
cid(gs,africa,13):country[name@(gs) ->> {"Congo"}; continent@(gs) ->> {africa}].
cid(gs,africa,14):country[name@(gs) ->> {"Cote dIvoire"}; continent@(gs) ->> {africa}].
cid(gs,africa,15):country[name@(gs) ->> {"Djibouti"}; continent@(gs) ->> {africa}].
cid(gs,africa,16):country[name@(gs) ->> {"Egypt"}; continent@(gs) ->> {africa}].
cid(gs,africa,17):country[name@(gs) ->> {"Equatorial Guinea"}; continent@(gs) ->> {africa}].
cid(gs,africa,18):country[name@(gs) ->> {"Eritrea"}; continent@(gs) ->> {africa}].
cid(gs,africa,19):country[name@(gs) ->> {"Ethiopia"}; continent@(gs) ->> {africa}].
cid(gs,africa,20):country[name@(gs) ->> {"Gabon"}; continent@(gs) ->> {africa}].
cid(gs,africa,21):country[name@(gs) ->> {"Ghana"}; continent@(gs) ->> {africa}].
cid(gs,africa,22):country[name@(gs) ->> {"Guinea"}; continent@(gs) ->> {africa}].
cid(gs,africa,23):country[name@(gs) ->> {"Guinea-Bissau"}; continent@(gs) ->> {africa}].
cid(gs,africa,24):country[name@(gs) ->> {"Kenya"}; continent@(gs) ->> {africa}].
cid(gs,africa,25):country[name@(gs) ->> {"Lesotho"}; continent@(gs) ->> {africa}].
cid(gs,africa,26):country[name@(gs) ->> {"Liberia"}; continent@(gs) ->> {africa}].
cid(gs,africa,27):country[name@(gs) ->> {"Libya"}; continent@(gs) ->> {africa}].
cid(gs,africa,28):country[name@(gs) ->> {"Madagascar"}; continent@(gs) ->> {africa}].
cid(gs,africa,29):country[name@(gs) ->> {"Malawi"}; continent@(gs) ->> {africa}].
cid(gs,africa,30):country[name@(gs) ->> {"Mali"}; continent@(gs) ->> {africa}].
cid(gs,africa,31):country[name@(gs) ->> {"Mauritania"}; continent@(gs) ->> {africa}].
cid(gs,africa,32):country[name@(gs) ->> {"Mayotte"}; continent@(gs) ->> {africa}].
cid(gs,africa,33):country[name@(gs) ->> {"Morocco"}; continent@(gs) ->> {africa}].
cid(gs,africa,34):country[name@(gs) ->> {"Mozambique"}; continent@(gs) ->> {africa}].
cid(gs,africa,35):country[name@(gs) ->> {"Namibia"}; continent@(gs) ->> {africa}].
cid(gs,africa,36):country[name@(gs) ->> {"Niger"}; continent@(gs) ->> {africa}].
cid(gs,africa,37):country[name@(gs) ->> {"Nigeria"}; continent@(gs) ->> {africa}].
cid(gs,africa,38):country[name@(gs) ->> {"Rwanda"}; continent@(gs) ->> {africa}].
cid(gs,africa,39):country[name@(gs) ->> {"Sao Tome and Principe"}; continent@(gs) ->> {africa}].
cid(gs,africa,40):country[name@(gs) ->> {"Senegal"}; continent@(gs) ->> {africa}].
cid(gs,africa,41):country[name@(gs) ->> {"Sierra Leone"}; continent@(gs) ->> {africa}].
cid(gs,africa,42):country[name@(gs) ->> {"Somalia"}; continent@(gs) ->> {africa}].
cid(gs,africa,43):country[name@(gs) ->> {"South Africa"}; continent@(gs) ->> {africa}].
cid(gs,africa,44):country[name@(gs) ->> {"Sudan"}; continent@(gs) ->> {africa}].
cid(gs,africa,45):country[name@(gs) ->> {"Swaziland"}; continent@(gs) ->> {africa}].
cid(gs,africa,46):country[name@(gs) ->> {"Tanzania"}; continent@(gs) ->> {africa}].
cid(gs,africa,47):country[name@(gs) ->> {"Gambia"}; continent@(gs) ->> {africa}].
cid(gs,africa,48):country[name@(gs) ->> {"Togo"}; continent@(gs) ->> {africa}].
cid(gs,africa,49):country[name@(gs) ->> {"Tunisia"}; continent@(gs) ->> {africa}].
cid(gs,africa,50):country[name@(gs) ->> {"Uganda"}; continent@(gs) ->> {africa}].
cid(gs,africa,51):country[name@(gs) ->> {"Western Sahara"}; continent@(gs) ->> {africa}].
cid(gs,africa,52):country[name@(gs) ->> {"Zaire"}; continent@(gs) ->> {africa}].
cid(gs,africa,53):country[name@(gs) ->> {"Zambia"}; continent@(gs) ->> {africa}].
cid(gs,africa,54):country[name@(gs) ->> {"Zimbabwe"}; continent@(gs) ->> {africa}].

% 244 output(s) printed 

% Answer to query : ?- C:country[capital -> Cap; population@(gs) -> Pop].

cid(gs,europe,2):country[capital -> cty(cid(gs,europe,2),"Tirane"); population@(gs) -> 3249136].
cid(gs,europe,3):country[capital -> cty(cid(gs,europe,3),"Andorra-la-Vella"); population@(gs) -> 72766].
cid(gs,europe,4):country[capital -> cty(cid(gs,europe,4),2); population@(gs) -> 8023244].
cid(gs,europe,5):country[capital -> cty(cid(gs,europe,5),"Minsk"); population@(gs) -> 10415973].
cid(gs,europe,6):country[capital -> cty(cid(gs,europe,6),2,0); population@(gs) -> 10170241].
cid(gs,europe,7):country[capital -> cty(cid(gs,europe,7),"Sarajevo"); population@(gs) -> 2656240].
cid(gs,europe,8):country[capital -> cty(cid(gs,europe,8),"Sofia"); population@(gs) -> 8612757].
cid(gs,europe,9):country[capital -> cty(cid(gs,europe,9),"Zagreb"); population@(gs) -> 5004112].
cid(gs,europe,10):country[capital -> cty(cid(gs,europe,10),2); population@(gs) -> 10321120].
cid(gs,europe,11):country[capital -> cty(cid(gs,europe,11),"Copenhagen"); population@(gs) -> 5249632].
cid(gs,europe,12):country[capital -> cty(cid(gs,europe,12),"Tallinn"); population@(gs) -> 1459428].
cid(gs,europe,13):country[capital -> cty(cid(gs,europe,13),"Torshavn"); population@(gs) -> 43857].
cid(gs,europe,14):country[capital -> cty(cid(gs,europe,14),"Helsinki"); population@(gs) -> 5105230].
cid(gs,europe,15):country[capital -> cty(cid(gs,europe,15),2); population@(gs) -> 58317450].
cid(gs,europe,16):country[capital -> cty(cid(gs,europe,16),2); population@(gs) -> 83536115].
cid(gs,europe,17):country[capital -> cty(cid(gs,europe,17),"Gibraltar"); population@(gs) -> 28765].
cid(gs,europe,18):country[capital -> cty(cid(gs,europe,18),2); population@(gs) -> 10538594].
cid(gs,europe,19):country[capital -> cty(cid(gs,europe,19),"Saint-Peter-Port"); population@(gs) -> 62920].
cid(gs,europe,20):country[capital -> cty(cid(gs,europe,20),"Vatican-City"); population@(gs) -> 840].
cid(gs,europe,21):country[capital -> cty(cid(gs,europe,21),2); population@(gs) -> 10002541].
cid(gs,europe,22):country[capital -> cty(cid(gs,europe,22),"Reykjavik"); population@(gs) -> 270292].
cid(gs,europe,23):country[capital -> cty(cid(gs,europe,23),"Dublin"); population@(gs) -> 3566833].
cid(gs,europe,24):country[capital -> cty(cid(gs,europe,24),2); population@(gs) -> 57460274].
cid(gs,europe,25):country[capital -> cty(cid(gs,europe,25),"Saint-Helier"); population@(gs) -> 87848].
cid(gs,europe,26):country[capital -> cty(cid(gs,europe,26),"Riga"); population@(gs) -> 2468982].
cid(gs,europe,27):country[capital -> cty(cid(gs,europe,27),"Vaduz"); population@(gs) -> 31122].
cid(gs,europe,28):country[capital -> cty(cid(gs,europe,28),"Vilnius"); population@(gs) -> 3646041].
cid(gs,europe,29):country[capital -> cty(cid(gs,europe,29),"Luxembourg"); population@(gs) -> 415870].
cid(gs,europe,30):country[capital -> cty(cid(gs,europe,30),"Skopje"); population@(gs) -> 2104035].
cid(gs,europe,31):country[capital -> cty(cid(gs,europe,31),"Valletta"); population@(gs) -> 375576].
cid(gs,europe,32):country[capital -> cty(cid(gs,europe,32),"Douglas"); population@(gs) -> 73837].
cid(gs,europe,33):country[capital -> cty(cid(gs,europe,33),"Chisinau"); population@(gs) -> 4463847].
cid(gs,europe,34):country[capital -> cty(cid(gs,europe,34),"Monaco"); population@(gs) -> 31719].
cid(gs,europe,35):country[capital -> cty(cid(gs,europe,35),2); population@(gs) -> 15568034].
cid(gs,europe,36):country[capital -> cty(cid(gs,europe,36),"Oslo"); population@(gs) -> 4383807].
cid(gs,europe,37):country[capital -> cty(cid(gs,europe,37),"Warsaw"); population@(gs) -> 38642565].
cid(gs,europe,38):country[capital -> cty(cid(gs,europe,38),2); population@(gs) -> 9865114].
cid(gs,europe,39):country[capital -> cty(cid(gs,europe,39),"Bucharest"); population@(gs) -> 21657162].
cid(gs,europe,40):country[capital -> cty(cid(gs,europe,40),2); population@(gs) -> 148178487].
cid(gs,europe,41):country[capital -> cty(cid(gs,europe,41),"San-Marino"); population@(gs) -> 24521].
cid(gs,europe,42):country[capital -> cty(cid(gs,europe,42),"Belgrade"); population@(gs) -> 10614558].
cid(gs,europe,43):country[capital -> cty(cid(gs,europe,43),"Bratislava"); population@(gs) -> 5374362].
cid(gs,europe,44):country[capital -> cty(cid(gs,europe,44),"Ljubljana"); population@(gs) -> 1951443].
cid(gs,europe,45):country[capital -> cty(cid(gs,europe,45),2); population@(gs) -> 39181114].
cid(gs,europe,46):country[capital -> cty(cid(gs,europe,46),"Longyearbyen"); population@(gs) -> 2715].
cid(gs,europe,47):country[capital -> cty(cid(gs,europe,47),2); population@(gs) -> 8900954].
cid(gs,europe,48):country[capital -> cty(cid(gs,europe,48),5); population@(gs) -> 7207060].
cid(gs,europe,49):country[capital -> cty(cid(gs,europe,49),2); population@(gs) -> 50864009].
cid(gs,europe,50):country[capital -> cty(cid(gs,europe,50),2); population@(gs) -> 58489975].
cid(gs,asia,2):country[capital -> cty(cid(gs,asia,2),"Kabul"); population@(gs) -> 22664136].
cid(gs,asia,3):country[capital -> cty(cid(gs,asia,3),"Yerevan"); population@(gs) -> 3463574].
cid(gs,asia,4):country[capital -> cty(cid(gs,asia,4),"Baku"); population@(gs) -> 7676953].
cid(gs,asia,5):country[capital -> cty(cid(gs,asia,5),"Manama"); population@(gs) -> 590042].
cid(gs,asia,6):country[capital -> cty(cid(gs,asia,6),2,0); population@(gs) -> 123062800].
cid(gs,asia,7):country[capital -> cty(cid(gs,asia,7),"Thimphu"); population@(gs) -> 1822625].
cid(gs,asia,8):country[capital -> cty(cid(gs,asia,8),"Bandar-Seri-Begawan"); population@(gs) -> 299939].
cid(gs,asia,9):country[capital -> cty(cid(gs,asia,9),2); population@(gs) -> 45975625].
cid(gs,asia,10):country[capital -> cty(cid(gs,asia,10),"Phnom-Penh"); population@(gs) -> 10861218].
cid(gs,asia,11):country[capital -> cty(cid(gs,asia,11),3); population@(gs) -> 1216310369].
cid(gs,asia,12):country[capital -> cty(cid(gs,asia,12),"Nicosia"); population@(gs) -> 744609].
cid(gs,asia,13):country[capital -> cty(cid(gs,asia,13),"Tbilisi"); population@(gs) -> 5219810].
cid(gs,asia,14):country[capital -> cty(cid(gs,asia,14),"New-Delhi"); population@(gs) -> 952107694].
cid(gs,asia,15):country[capital -> cty(cid(gs,asia,15),2); population@(gs) -> 206611600].
cid(gs,asia,16):country[capital -> cty(cid(gs,asia,16),2); population@(gs) -> 66094264].
cid(gs,asia,17):country[capital -> cty(cid(gs,asia,17),2); population@(gs) -> 21422292].
cid(gs,asia,18):country[capital -> cty(cid(gs,asia,18),"Jerusalem"); population@(gs) -> 5421995].
cid(gs,asia,19):country[capital -> cty(cid(gs,asia,19),2); population@(gs) -> 125449703].
cid(gs,asia,20):country[capital -> cty(cid(gs,asia,20),"Amman"); population@(gs) -> 4212152].
cid(gs,asia,21):country[capital -> cty(cid(gs,asia,21),2); population@(gs) -> 16916463].
cid(gs,asia,22):country[capital -> cty(cid(gs,asia,22),2); population@(gs) -> 23904124].
cid(gs,asia,23):country[capital -> cty(cid(gs,asia,23),2); population@(gs) -> 45482291].
cid(gs,asia,24):country[capital -> cty(cid(gs,asia,24),"Kuwait"); population@(gs) -> 1950047].
cid(gs,asia,25):country[capital -> cty(cid(gs,asia,25),"Bishkek"); population@(gs) -> 4529648].
cid(gs,asia,26):country[capital -> cty(cid(gs,asia,26),"Vientiane"); population@(gs) -> 4975772].
cid(gs,asia,27):country[capital -> cty(cid(gs,asia,27),"Beirut"); population@(gs) -> 3776317].
cid(gs,asia,28):country[capital -> cty(cid(gs,asia,28),"Macau"); population@(gs) -> 496837].
cid(gs,asia,29):country[capital -> cty(cid(gs,asia,29),2); population@(gs) -> 19962893].
cid(gs,asia,30):country[capital -> cty(cid(gs,asia,30),"Ulaanbaatar"); population@(gs) -> 2496617].
cid(gs,asia,31):country[capital -> cty(cid(gs,asia,31),"Kathmandu"); population@(gs) -> 22094033].
cid(gs,asia,32):country[capital -> cty(cid(gs,asia,32),"Muscat"); population@(gs) -> 2186548].
cid(gs,asia,33):country[capital -> cty(cid(gs,asia,33),15); population@(gs) -> 129275660].
cid(gs,asia,34):country[capital -> cty(cid(gs,asia,34),"Port-Moresby"); population@(gs) -> 4394537].
cid(gs,asia,35):country[capital -> cty(cid(gs,asia,35),3); population@(gs) -> 74480848].
cid(gs,asia,36):country[capital -> cty(cid(gs,asia,36),"Doha"); population@(gs) -> 547761].
cid(gs,asia,37):country[capital -> cty(cid(gs,asia,37),"Riyadh"); population@(gs) -> 19409058].
cid(gs,asia,38):country[capital -> cty(cid(gs,asia,38),"Singapore"); population@(gs) -> 3396924].
cid(gs,asia,39):country[capital -> cty(cid(gs,asia,39),"Colombo"); population@(gs) -> 18553074].
cid(gs,asia,40):country[capital -> cty(cid(gs,asia,40),"Damascus"); population@(gs) -> 15608648].
cid(gs,asia,41):country[capital -> cty(cid(gs,asia,41),2); population@(gs) -> 21465881].
cid(gs,asia,42):country[capital -> cty(cid(gs,asia,42),2); population@(gs) -> 5916373].
cid(gs,asia,43):country[capital -> cty(cid(gs,asia,43),2); population@(gs) -> 58851357].
cid(gs,asia,44):country[capital -> cty(cid(gs,asia,44),3); population@(gs) -> 62484478].
cid(gs,asia,45):country[capital -> cty(cid(gs,asia,45),2); population@(gs) -> 4149283].
cid(gs,asia,46):country[capital -> cty(cid(gs,asia,46),3); population@(gs) -> 3057337].
cid(gs,asia,47):country[capital -> cty(cid(gs,asia,47),"Tashkent"); population@(gs) -> 23418381].
cid(gs,asia,48):country[capital -> cty(cid(gs,asia,48),3); population@(gs) -> 73976973].
cid(gs,asia,49):country[capital -> cty(cid(gs,asia,49),"Sanaa"); population@(gs) -> 13483178].
cid(gs,america,2):country[capital -> cty(cid(gs,america,2),"The-Valley"); population@(gs) -> 10424].
cid(gs,america,3):country[capital -> cty(cid(gs,america,3),"Saint-Johns"); population@(gs) -> 65647].
cid(gs,america,4):country[capital -> cty(cid(gs,america,4),2); population@(gs) -> 34672997].
cid(gs,america,5):country[capital -> cty(cid(gs,america,5),"Oranjestad"); population@(gs) -> 67794].
cid(gs,america,6):country[capital -> cty(cid(gs,america,6),"Nassau"); population@(gs) -> 259367].
cid(gs,america,7):country[capital -> cty(cid(gs,america,7),"Bridgetown"); population@(gs) -> 257030].
cid(gs,america,8):country[capital -> cty(cid(gs,america,8),"Belmopan"); population@(gs) -> 219296].
cid(gs,america,9):country[capital -> cty(cid(gs,america,9),"La-Paz"); population@(gs) -> 7165257].
cid(gs,america,10):country[capital -> cty(cid(gs,america,10),7); population@(gs) -> 162661214].
cid(gs,america,11):country[capital -> cty(cid(gs,america,11),"Road-Town"); population@(gs) -> 13195].
cid(gs,america,12):country[capital -> cty(cid(gs,america,12),13); population@(gs) -> 28820671].
cid(gs,america,13):country[capital -> cty(cid(gs,america,13),"George-Town"); population@(gs) -> 34646].
cid(gs,america,14):country[capital -> cty(cid(gs,america,14),"Santiago"); population@(gs) -> 14333258].
cid(gs,america,15):country[capital -> cty(cid(gs,america,15),2); population@(gs) -> 36813161].
cid(gs,america,16):country[capital -> cty(cid(gs,america,16),2); population@(gs) -> 3463083].
cid(gs,america,17):country[capital -> cty(cid(gs,america,17),2); population@(gs) -> 10951334].
cid(gs,america,18):country[capital -> cty(cid(gs,america,18),"Roseau"); population@(gs) -> 82926].
cid(gs,america,19):country[capital -> cty(cid(gs,america,19),"Santo-Domingo"); population@(gs) -> 8088881].
cid(gs,america,20):country[capital -> cty(cid(gs,america,20),"Quito"); population@(gs) -> 11466291].
cid(gs,america,21):country[capital -> cty(cid(gs,america,21),2); population@(gs) -> 5828987].
cid(gs,america,22):country[capital -> cty(cid(gs,america,22),"Cayenne"); population@(gs) -> 151187].
cid(gs,america,23):country[capital -> cty(cid(gs,america,23),"Saint-Georges"); population@(gs) -> 94961].
cid(gs,america,24):country[capital -> cty(cid(gs,america,24),"Basse-Terre"); population@(gs) -> 407768].
cid(gs,america,25):country[capital -> cty(cid(gs,america,25),"Guatemala"); population@(gs) -> 11277614].
cid(gs,america,26):country[capital -> cty(cid(gs,america,26),"Georgetown"); population@(gs) -> 712091].
cid(gs,america,27):country[capital -> cty(cid(gs,america,27),"Port-au-Prince"); population@(gs) -> 6731539].
cid(gs,america,28):country[capital -> cty(cid(gs,america,28),2); population@(gs) -> 5605193].
cid(gs,america,29):country[capital -> cty(cid(gs,america,29),"Kingston"); population@(gs) -> 2595275].
cid(gs,america,30):country[capital -> cty(cid(gs,america,30),"Fort-de-France"); population@(gs) -> 399151].
cid(gs,america,31):country[capital -> cty(cid(gs,america,31),"Mexico"); population@(gs) -> 95772462].
cid(gs,america,32):country[capital -> cty(cid(gs,america,32),"Plymouth"); population@(gs) -> 12771].
cid(gs,america,33):country[capital -> cty(cid(gs,america,33),"Willemstad"); population@(gs) -> 208968].
cid(gs,america,34):country[capital -> cty(cid(gs,america,34),2); population@(gs) -> 4272352].
cid(gs,america,35):country[capital -> cty(cid(gs,america,35),"Panama"); population@(gs) -> 2655094].
cid(gs,america,36):country[capital -> cty(cid(gs,america,36),"Asuncion"); population@(gs) -> 5504146].
cid(gs,america,37):country[capital -> cty(cid(gs,america,37),2); population@(gs) -> 24523408].
cid(gs,america,38):country[capital -> cty(cid(gs,america,38),"San-Juan"); population@(gs) -> 3819023].
cid(gs,america,39):country[capital -> cty(cid(gs,america,39),"Basseterre"); population@(gs) -> 41369].
cid(gs,america,40):country[capital -> cty(cid(gs,america,40),"Castries"); population@(gs) -> 157862].
cid(gs,america,41):country[capital -> cty(cid(gs,america,41),"Saint-Pierre"); population@(gs) -> 6809].
cid(gs,america,42):country[capital -> cty(cid(gs,america,42),"Kingstown"); population@(gs) -> 118344].
cid(gs,america,43):country[capital -> cty(cid(gs,america,43),"Paramaribo"); population@(gs) -> 436418].
cid(gs,america,44):country[capital -> cty(cid(gs,america,44),"Port-of-Spain"); population@(gs) -> 1272385].
cid(gs,america,45):country[capital -> cty(cid(gs,america,45),"Grand-Turk"); population@(gs) -> 14302].
cid(gs,america,46):country[capital -> cty(cid(gs,america,46),22); population@(gs) -> 266476278].
cid(gs,america,47):country[capital -> cty(cid(gs,america,47),"Montevideo"); population@(gs) -> 3238952].
cid(gs,america,48):country[capital -> cty(cid(gs,america,48),2); population@(gs) -> 21983188].
cid(gs,america,49):country[capital -> cty(cid(gs,america,49),"Charlotte-Amalie"); population@(gs) -> 97120].
cid(gs,australia,2):country[capital -> cty(cid(gs,australia,2),"Pago-Pago"); population@(gs) -> 59566].
cid(gs,australia,3):country[capital -> cty(cid(gs,australia,3),8); population@(gs) -> 18260863].
cid(gs,australia,4):country[capital -> cty(cid(gs,australia,4),"Hamilton"); population@(gs) -> 62099].
cid(gs,australia,5):country[capital -> cty(cid(gs,australia,5),"The-Settlement"); population@(gs) -> 813].
cid(gs,australia,6):country[capital -> cty(cid(gs,australia,6),"West-Island"); population@(gs) -> 609].
cid(gs,australia,7):country[capital -> cty(cid(gs,australia,7),"Avarua"); population@(gs) -> 19561].
cid(gs,australia,8):country[capital -> cty(cid(gs,australia,8),"Stanley"); population@(gs) -> 2374].
cid(gs,australia,9):country[capital -> cty(cid(gs,australia,9),"Suva"); population@(gs) -> 782381].
cid(gs,australia,10):country[capital -> cty(cid(gs,australia,10),"Papeete"); population@(gs) -> 224911].
cid(gs,australia,11):country[capital -> cty(cid(gs,australia,11),"Nuuk"); population@(gs) -> 58203].
cid(gs,australia,12):country[capital -> cty(cid(gs,australia,12),"Agana"); population@(gs) -> 156974].
cid(gs,australia,13):country[capital -> cty(cid(gs,australia,13),"Tarawa"); population@(gs) -> 80919].
cid(gs,australia,14):country[capital -> cty(cid(gs,australia,14),"Male"); population@(gs) -> 270758].
cid(gs,australia,15):country[capital -> cty(cid(gs,australia,15),"Majuro"); population@(gs) -> 58363].
cid(gs,australia,16):country[capital -> cty(cid(gs,australia,16),"Port-Louis"); population@(gs) -> 1140256].
cid(gs,australia,17):country[capital -> cty(cid(gs,australia,17),"Kolonia"); population@(gs) -> 125377].
cid(gs,australia,18):country[capital -> cty(cid(gs,australia,18),"no-official-capital"); population@(gs) -> 10273].
cid(gs,australia,19):country[capital -> cty(cid(gs,australia,19),"Noumea"); population@(gs) -> 187784].
cid(gs,australia,20):country[capital -> cty(cid(gs,australia,20),"Wellington"); population@(gs) -> 3547983].
cid(gs,australia,21):country[capital -> cty(cid(gs,australia,21),"Alofi"); population@(gs) -> 2174].
cid(gs,australia,22):country[capital -> cty(cid(gs,australia,22),"Kingston"); population@(gs) -> 2209].
cid(gs,australia,23):country[capital -> cty(cid(gs,australia,23),"Saipan"); population@(gs) -> 52284].
cid(gs,australia,24):country[capital -> cty(cid(gs,australia,24),"Koror"); population@(gs) -> 16952].
cid(gs,australia,25):country[capital -> cty(cid(gs,australia,25),"Adamstown"); population@(gs) -> 56].
cid(gs,australia,26):country[capital -> cty(cid(gs,australia,26),"Saint-Denis"); population@(gs) -> 679198].
cid(gs,australia,27):country[capital -> cty(cid(gs,australia,27),"Jamestown"); population@(gs) -> 6782].
cid(gs,australia,28):country[capital -> cty(cid(gs,australia,28),"Victoria"); population@(gs) -> 77575].
cid(gs,australia,29):country[capital -> cty(cid(gs,australia,29),"Honiara"); population@(gs) -> 412902].
cid(gs,australia,31):country[capital -> cty(cid(gs,australia,31),"Nukualofa"); population@(gs) -> 106466].
cid(gs,australia,32):country[capital -> cty(cid(gs,australia,32),"Funafuti"); population@(gs) -> 10146].
cid(gs,australia,33):country[capital -> cty(cid(gs,australia,33),"Port-Vila"); population@(gs) -> 177504].
cid(gs,australia,34):country[capital -> cty(cid(gs,australia,34),"Mata-Utu"); population@(gs) -> 14659].
cid(gs,australia,35):country[capital -> cty(cid(gs,australia,35),"Apia"); population@(gs) -> 214384].
cid(gs,africa,2):country[capital -> cty(cid(gs,africa,2),2); population@(gs) -> 29183032].
cid(gs,africa,3):country[capital -> cty(cid(gs,africa,3),"Luanda"); population@(gs) -> 10342899].
cid(gs,africa,4):country[capital -> cty(cid(gs,africa,4),"Porto-Novo"); population@(gs) -> 5709529].
cid(gs,africa,5):country[capital -> cty(cid(gs,africa,5),"Gaborone"); population@(gs) -> 1477630].
cid(gs,africa,6):country[capital -> cty(cid(gs,africa,6),"Ouagadougou"); population@(gs) -> 10623323].
cid(gs,africa,7):country[capital -> cty(cid(gs,africa,7),"Bujumbura"); population@(gs) -> 5943057].
cid(gs,africa,8):country[capital -> cty(cid(gs,africa,8),3); population@(gs) -> 14261557].
cid(gs,africa,9):country[capital -> cty(cid(gs,africa,9),"Praia"); population@(gs) -> 449066].
cid(gs,africa,10):country[capital -> cty(cid(gs,africa,10),"Bangui"); population@(gs) -> 3274426].
cid(gs,africa,11):country[capital -> cty(cid(gs,africa,11),"NDjamena"); population@(gs) -> 6976845].
cid(gs,africa,12):country[capital -> cty(cid(gs,africa,12),"Moroni"); population@(gs) -> 569237].
cid(gs,africa,13):country[capital -> cty(cid(gs,africa,13),"Brazzaville"); population@(gs) -> 2527841].
cid(gs,africa,14):country[capital -> cty(cid(gs,africa,14),"Yamoussoukro"); population@(gs) -> 14762445].
cid(gs,africa,15):country[capital -> cty(cid(gs,africa,15),"Djibouti"); population@(gs) -> 427642].
cid(gs,africa,16):country[capital -> cty(cid(gs,africa,16),2); population@(gs) -> 63575107].
cid(gs,africa,17):country[capital -> cty(cid(gs,africa,17),"Malabo"); population@(gs) -> 431282].
cid(gs,africa,18):country[capital -> cty(cid(gs,africa,18),"Asmara"); population@(gs) -> 3427883].
cid(gs,africa,19):country[capital -> cty(cid(gs,africa,19),"Addis-Ababa"); population@(gs) -> 57171662].
cid(gs,africa,20):country[capital -> cty(cid(gs,africa,20),"Libreville"); population@(gs) -> 1172798].
cid(gs,africa,21):country[capital -> cty(cid(gs,africa,21),2); population@(gs) -> 17698271].
cid(gs,africa,22):country[capital -> cty(cid(gs,africa,22),"Conakry"); population@(gs) -> 7411981].
cid(gs,africa,23):country[capital -> cty(cid(gs,africa,23),"Bissau"); population@(gs) -> 1151330].
cid(gs,africa,24):country[capital -> cty(cid(gs,africa,24),2); population@(gs) -> 28176686].
cid(gs,africa,25):country[capital -> cty(cid(gs,africa,25),"Maseru"); population@(gs) -> 1970781].
cid(gs,africa,26):country[capital -> cty(cid(gs,africa,26),"Monrovia"); population@(gs) -> 2109789].
cid(gs,africa,27):country[capital -> cty(cid(gs,africa,27),"Tripoli"); population@(gs) -> 5445436].
cid(gs,africa,28):country[capital -> cty(cid(gs,africa,28),2); population@(gs) -> 13670507].
cid(gs,africa,29):country[capital -> cty(cid(gs,africa,29),"Lilongwe"); population@(gs) -> 9452844].
cid(gs,africa,30):country[capital -> cty(cid(gs,africa,30),"Bamako"); population@(gs) -> 9653261].
cid(gs,africa,31):country[capital -> cty(cid(gs,africa,31),"Nouakchott"); population@(gs) -> 2336048].
cid(gs,africa,32):country[capital -> cty(cid(gs,africa,32),"Mamoutzou"); population@(gs) -> 100838].
cid(gs,africa,33):country[capital -> cty(cid(gs,africa,33),3); population@(gs) -> 29779156].
cid(gs,africa,34):country[capital -> cty(cid(gs,africa,34),2); population@(gs) -> 17877927].
cid(gs,africa,35):country[capital -> cty(cid(gs,africa,35),"Windhoek"); population@(gs) -> 1677243].
cid(gs,africa,36):country[capital -> cty(cid(gs,africa,36),"Niamey"); population@(gs) -> 9113001].
cid(gs,africa,37):country[capital -> cty(cid(gs,africa,37),"Abuja"); population@(gs) -> 103912489].
cid(gs,africa,38):country[capital -> cty(cid(gs,africa,38),"Kigali"); population@(gs) -> 6853359].
cid(gs,africa,39):country[capital -> cty(cid(gs,africa,39),"Sao-Tome"); population@(gs) -> 144128].
cid(gs,africa,40):country[capital -> cty(cid(gs,africa,40),2); population@(gs) -> 9092749].
cid(gs,africa,41):country[capital -> cty(cid(gs,africa,41),"Freetown"); population@(gs) -> 4793121].
cid(gs,africa,42):country[capital -> cty(cid(gs,africa,42),"Mogadishu"); population@(gs) -> 9639151].
cid(gs,africa,43):country[capital -> cty(cid(gs,africa,43),6); population@(gs) -> 41743459].
cid(gs,africa,44):country[capital -> cty(cid(gs,africa,44),3); population@(gs) -> 31547543].
cid(gs,africa,45):country[capital -> cty(cid(gs,africa,45),"Mbabane"); population@(gs) -> 998730].
cid(gs,africa,46):country[capital -> cty(cid(gs,africa,46),2); population@(gs) -> 29058470].
cid(gs,africa,47):country[capital -> cty(cid(gs,africa,47),"Banjul"); population@(gs) -> 1204984].
cid(gs,africa,48):country[capital -> cty(cid(gs,africa,48),"Lome"); population@(gs) -> 4570530].
cid(gs,africa,49):country[capital -> cty(cid(gs,africa,49),"Tunis"); population@(gs) -> 9019687].
cid(gs,africa,50):country[capital -> cty(cid(gs,africa,50),"Kampala"); population@(gs) -> 20158176].
cid(gs,africa,52):country[capital -> cty(cid(gs,africa,52),2); population@(gs) -> 46498539].
cid(gs,africa,53):country[capital -> cty(cid(gs,africa,53),2); population@(gs) -> 9159072].
cid(gs,africa,54):country[capital -> cty(cid(gs,africa,54),"Harare"); population@(gs) -> 11271314].

% 230 output(s) printed 

% Answer to query : ?- C:country[main_cities ->> {City:city[country -> C; name@(gs) ->> {CN}]}].

cid(gs,europe,2):country[main_cities ->> {cty(cid(gs,europe,2),"Tirane"):city[country -> cid(gs,europe,2); name@(gs) ->> {"Tirane"}]}].
cid(gs,europe,3):country[main_cities ->> {cty(cid(gs,europe,3),"Andorra-la-Vella"):city[country -> cid(gs,europe,3); name@(gs) ->> {"Andorra la Vella"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),2):city[country -> cid(gs,europe,4); name@(gs) ->> {"Vienna"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),4):city[country -> cid(gs,europe,4); name@(gs) ->> {"Linz"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),6):city[country -> cid(gs,europe,4); name@(gs) ->> {"Innsbruck"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),3):city[country -> cid(gs,europe,4); name@(gs) ->> {"Graz"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),5):city[country -> cid(gs,europe,4); name@(gs) ->> {"Salzburg"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),"Eisenstadt"):city[country -> cid(gs,europe,4); name@(gs) ->> {"Eisenstadt"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),"Klagenfurt"):city[country -> cid(gs,europe,4); name@(gs) ->> {"Klagenfurt"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),"Bregenz"):city[country -> cid(gs,europe,4); name@(gs) ->> {"Bregenz"}]}].
cid(gs,europe,4):country[main_cities ->> {cty(cid(gs,europe,4),"St.-Polten"):city[country -> cid(gs,europe,4); name@(gs) ->> {"St. Polten"}]}].
cid(gs,europe,5):country[main_cities ->> {cty(cid(gs,europe,5),"Minsk"):city[country -> cid(gs,europe,5); name@(gs) ->> {"Minsk"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),3,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Antwerp"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),4,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Ghent"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),6,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Liege"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),8,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Namur"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),2,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Brussels"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),2,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Agglomeration"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),5,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Charleroi"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),7,0):city[country -> cid(gs,europe,6); name@(gs) ->> {"Bruges"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),"Mons"):city[country -> cid(gs,europe,6); name@(gs) ->> {"Mons"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),"Hasselt"):city[country -> cid(gs,europe,6); name@(gs) ->> {"Hasselt"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),"Arlon"):city[country -> cid(gs,europe,6); name@(gs) ->> {"Arlon"}]}].
cid(gs,europe,6):country[main_cities ->> {cty(cid(gs,europe,6),"Brugge"):city[country -> cid(gs,europe,6); name@(gs) ->> {"Brugge"}]}].
cid(gs,europe,7):country[main_cities ->> {cty(cid(gs,europe,7),"Sarajevo"):city[country -> cid(gs,europe,7); name@(gs) ->> {"Sarajevo"}]}].
cid(gs,europe,8):country[main_cities ->> {cty(cid(gs,europe,8),"Sofia"):city[country -> cid(gs,europe,8); name@(gs) ->> {"Sofia"}]}].
cid(gs,europe,9):country[main_cities ->> {cty(cid(gs,europe,9),"Zagreb"):city[country -> cid(gs,europe,9); name@(gs) ->> {"Zagreb"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),2):city[country -> cid(gs,europe,10); name@(gs) ->> {"Prague"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),8):city[country -> cid(gs,europe,10); name@(gs) ->> {"Ceske Budejovice"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),3):city[country -> cid(gs,europe,10); name@(gs) ->> {"Brno"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),4):city[country -> cid(gs,europe,10); name@(gs) ->> {"Ostrava"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),7):city[country -> cid(gs,europe,10); name@(gs) ->> {"Plzen"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),5):city[country -> cid(gs,europe,10); name@(gs) ->> {"Olomouc"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),6):city[country -> cid(gs,europe,10); name@(gs) ->> {"Zlin"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),9):city[country -> cid(gs,europe,10); name@(gs) ->> {"Hradec Kralove"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),10):city[country -> cid(gs,europe,10); name@(gs) ->> {"Pardubice"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),11):city[country -> cid(gs,europe,10); name@(gs) ->> {"Liberec"}]}].
cid(gs,europe,10):country[main_cities ->> {cty(cid(gs,europe,10),"Usti-nad-Labem"):city[country -> cid(gs,europe,10); name@(gs) ->> {"Usti nad Labem"}]}].
cid(gs,europe,11):country[main_cities ->> {cty(cid(gs,europe,11),"Copenhagen"):city[country -> cid(gs,europe,11); name@(gs) ->> {"Copenhagen"}]}].
cid(gs,europe,12):country[main_cities ->> {cty(cid(gs,europe,12),"Tallinn"):city[country -> cid(gs,europe,12); name@(gs) ->> {"Tallinn"}]}].
cid(gs,europe,13):country[main_cities ->> {cty(cid(gs,europe,13),"Torshavn"):city[country -> cid(gs,europe,13); name@(gs) ->> {"Torshavn"}]}].
cid(gs,europe,14):country[main_cities ->> {cty(cid(gs,europe,14),"Helsinki"):city[country -> cid(gs,europe,14); name@(gs) ->> {"Helsinki"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),2):city[country -> cid(gs,europe,15); name@(gs) ->> {"Paris"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),7):city[country -> cid(gs,europe,15); name@(gs) ->> {"Strasbourg"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),9):city[country -> cid(gs,europe,15); name@(gs) ->> {"Bordeaux"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),31):city[country -> cid(gs,europe,15); name@(gs) ->> {"Caen"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),12):city[country -> cid(gs,europe,15); name@(gs) ->> {"Rennes"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),19):city[country -> cid(gs,europe,15); name@(gs) ->> {"Dijon"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),34):city[country -> cid(gs,europe,15); name@(gs) ->> {"Orleans"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),25):city[country -> cid(gs,europe,15); name@(gs) ->> {"Tours"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),35):city[country -> cid(gs,europe,15); name@(gs) ->> {"Rouen"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),10):city[country -> cid(gs,europe,15); name@(gs) ->> {"Montpellier"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),26):city[country -> cid(gs,europe,15); name@(gs) ->> {"Nimes"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),33):city[country -> cid(gs,europe,15); name@(gs) ->> {"Perpignan"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),23):city[country -> cid(gs,europe,15); name@(gs) ->> {"Limoges"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),28):city[country -> cid(gs,europe,15); name@(gs) ->> {"Metz"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),37):city[country -> cid(gs,europe,15); name@(gs) ->> {"Nancy"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),5):city[country -> cid(gs,europe,15); name@(gs) ->> {"Toulouse"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),15):city[country -> cid(gs,europe,15); name@(gs) ->> {"Lille"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),8):city[country -> cid(gs,europe,15); name@(gs) ->> {"Nantes"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),21):city[country -> cid(gs,europe,15); name@(gs) ->> {"Angers"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),20):city[country -> cid(gs,europe,15); name@(gs) ->> {"Le Mans"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),24):city[country -> cid(gs,europe,15); name@(gs) ->> {"Amiens"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),3):city[country -> cid(gs,europe,15); name@(gs) ->> {"Marseille"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),6):city[country -> cid(gs,europe,15); name@(gs) ->> {"Nice"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),16):city[country -> cid(gs,europe,15); name@(gs) ->> {"Toulon"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),4):city[country -> cid(gs,europe,15); name@(gs) ->> {"Lyon"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),17):city[country -> cid(gs,europe,15); name@(gs) ->> {"Grenoble"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),11):city[country -> cid(gs,europe,15); name@(gs) ->> {"Saint Etienne"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),13):city[country -> cid(gs,europe,15); name@(gs) ->> {"Le Havre"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),14):city[country -> cid(gs,europe,15); name@(gs) ->> {"Reims"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),18):city[country -> cid(gs,europe,15); name@(gs) ->> {"Brest"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),22):city[country -> cid(gs,europe,15); name@(gs) ->> {"Clermont Ferrand"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),27):city[country -> cid(gs,europe,15); name@(gs) ->> {"Aix en Provence"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),29):city[country -> cid(gs,europe,15); name@(gs) ->> {"Villeurbanne"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),30):city[country -> cid(gs,europe,15); name@(gs) ->> {"Besancon"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),32):city[country -> cid(gs,europe,15); name@(gs) ->> {"Mulhouse"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),36):city[country -> cid(gs,europe,15); name@(gs) ->> {"Boulogne Billancourt"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),"Chalons-sur-Marne"):city[country -> cid(gs,europe,15); name@(gs) ->> {"Chalons sur Marne"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),"Ajaccio"):city[country -> cid(gs,europe,15); name@(gs) ->> {"Ajaccio"}]}].
cid(gs,europe,15):country[main_cities ->> {cty(cid(gs,europe,15),"Poitiers"):city[country -> cid(gs,europe,15); name@(gs) ->> {"Poitiers"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),2):city[country -> cid(gs,europe,16); name@(gs) ->> {"Berlin"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),9):city[country -> cid(gs,europe,16); name@(gs) ->> {"Stuttgart"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),55):city[country -> cid(gs,europe,16); name@(gs) ->> {"Potsdam"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),11):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bremen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),3):city[country -> cid(gs,europe,16); name@(gs) ->> {"Hamburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),26):city[country -> cid(gs,europe,16); name@(gs) ->> {"Wiesbaden"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),68):city[country -> cid(gs,europe,16); name@(gs) ->> {"Schwerin"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),13):city[country -> cid(gs,europe,16); name@(gs) ->> {"Hannover"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),10):city[country -> cid(gs,europe,16); name@(gs) ->> {"Dusseldorf"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),43):city[country -> cid(gs,europe,16); name@(gs) ->> {"Mainz"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),42):city[country -> cid(gs,europe,16); name@(gs) ->> {"Saarbrucken"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),16):city[country -> cid(gs,europe,16); name@(gs) ->> {"Dresden"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),28):city[country -> cid(gs,europe,16); name@(gs) ->> {"Magdeburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),34):city[country -> cid(gs,europe,16); name@(gs) ->> {"Kiel"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),39):city[country -> cid(gs,europe,16); name@(gs) ->> {"Erfurt"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),4):city[country -> cid(gs,europe,16); name@(gs) ->> {"Munchen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),4):city[country -> cid(gs,europe,16); name@(gs) ->> {"Munich"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),5):city[country -> cid(gs,europe,16); name@(gs) ->> {"Koln"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),5):city[country -> cid(gs,europe,16); name@(gs) ->> {"Cologne"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),6):city[country -> cid(gs,europe,16); name@(gs) ->> {"Frankfurt am Main"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),7):city[country -> cid(gs,europe,16); name@(gs) ->> {"Essen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),8):city[country -> cid(gs,europe,16); name@(gs) ->> {"Dortmund"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),12):city[country -> cid(gs,europe,16); name@(gs) ->> {"Duisburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),14):city[country -> cid(gs,europe,16); name@(gs) ->> {"Nurnberg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),15):city[country -> cid(gs,europe,16); name@(gs) ->> {"Leipzig"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),17):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bochum"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),18):city[country -> cid(gs,europe,16); name@(gs) ->> {"Wuppertal"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),19):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bielefeld"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),20):city[country -> cid(gs,europe,16); name@(gs) ->> {"Mannheim"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),21):city[country -> cid(gs,europe,16); name@(gs) ->> {"Gelsenkirchen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),22):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bonn"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),23):city[country -> cid(gs,europe,16); name@(gs) ->> {"Halle"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),24):city[country -> cid(gs,europe,16); name@(gs) ->> {"Karlsruhe"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),25):city[country -> cid(gs,europe,16); name@(gs) ->> {"Chemnitz"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),27):city[country -> cid(gs,europe,16); name@(gs) ->> {"Monchengladbach"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),29):city[country -> cid(gs,europe,16); name@(gs) ->> {"Munster"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),30):city[country -> cid(gs,europe,16); name@(gs) ->> {"Augsburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),31):city[country -> cid(gs,europe,16); name@(gs) ->> {"Braunschweig"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),32):city[country -> cid(gs,europe,16); name@(gs) ->> {"Krefeld"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),33):city[country -> cid(gs,europe,16); name@(gs) ->> {"Aachen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),35):city[country -> cid(gs,europe,16); name@(gs) ->> {"Rostock"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),36):city[country -> cid(gs,europe,16); name@(gs) ->> {"Oberhausen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),37):city[country -> cid(gs,europe,16); name@(gs) ->> {"Lubeck"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),38):city[country -> cid(gs,europe,16); name@(gs) ->> {"Hagen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),40):city[country -> cid(gs,europe,16); name@(gs) ->> {"Kassel"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),41):city[country -> cid(gs,europe,16); name@(gs) ->> {"Freiburg im Breisgau"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),44):city[country -> cid(gs,europe,16); name@(gs) ->> {"Hamm"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),45):city[country -> cid(gs,europe,16); name@(gs) ->> {"Herne"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),46):city[country -> cid(gs,europe,16); name@(gs) ->> {"Mulheim an der Ruhr"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),47):city[country -> cid(gs,europe,16); name@(gs) ->> {"Osnabruck"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),48):city[country -> cid(gs,europe,16); name@(gs) ->> {"Ludwigshafen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),49):city[country -> cid(gs,europe,16); name@(gs) ->> {"Solingen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),50):city[country -> cid(gs,europe,16); name@(gs) ->> {"Leverkusen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),51):city[country -> cid(gs,europe,16); name@(gs) ->> {"Oldenburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),52):city[country -> cid(gs,europe,16); name@(gs) ->> {"Neuss"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),53):city[country -> cid(gs,europe,16); name@(gs) ->> {"Darmstadt"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),54):city[country -> cid(gs,europe,16); name@(gs) ->> {"Heidelberg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),56):city[country -> cid(gs,europe,16); name@(gs) ->> {"Paderborn"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),57):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bremerhaven"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),58):city[country -> cid(gs,europe,16); name@(gs) ->> {"Wurzburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),59):city[country -> cid(gs,europe,16); name@(gs) ->> {"Gottingen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),60):city[country -> cid(gs,europe,16); name@(gs) ->> {"Recklinghausen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),61):city[country -> cid(gs,europe,16); name@(gs) ->> {"Wolfsburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),62):city[country -> cid(gs,europe,16); name@(gs) ->> {"Gera"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),63):city[country -> cid(gs,europe,16); name@(gs) ->> {"Cottbus"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),64):city[country -> cid(gs,europe,16); name@(gs) ->> {"Regensburg"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),65):city[country -> cid(gs,europe,16); name@(gs) ->> {"Remscheid"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),66):city[country -> cid(gs,europe,16); name@(gs) ->> {"Heilbronn"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),67):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bottrop"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),69):city[country -> cid(gs,europe,16); name@(gs) ->> {"Pforzheim"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),70):city[country -> cid(gs,europe,16); name@(gs) ->> {"Salzgitter"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),71):city[country -> cid(gs,europe,16); name@(gs) ->> {"Offenbach am Main"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),72):city[country -> cid(gs,europe,16); name@(gs) ->> {"Ulm"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),73):city[country -> cid(gs,europe,16); name@(gs) ->> {"Siegen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),74):city[country -> cid(gs,europe,16); name@(gs) ->> {"Ingolstadt"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),75):city[country -> cid(gs,europe,16); name@(gs) ->> {"Koblenz"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),76):city[country -> cid(gs,europe,16); name@(gs) ->> {"Furth"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),77):city[country -> cid(gs,europe,16); name@(gs) ->> {"Reutlingen"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),78):city[country -> cid(gs,europe,16); name@(gs) ->> {"Moers"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),79):city[country -> cid(gs,europe,16); name@(gs) ->> {"Hildesheim"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),80):city[country -> cid(gs,europe,16); name@(gs) ->> {"Witten"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),81):city[country -> cid(gs,europe,16); name@(gs) ->> {"Bergisch Gladbach"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),82):city[country -> cid(gs,europe,16); name@(gs) ->> {"Zwickau"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),83):city[country -> cid(gs,europe,16); name@(gs) ->> {"Jena"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),84):city[country -> cid(gs,europe,16); name@(gs) ->> {"Kaiserslautern"}]}].
cid(gs,europe,16):country[main_cities ->> {cty(cid(gs,europe,16),85):city[country -> cid(gs,europe,16); name@(gs) ->> {"Erlangen"}]}].
cid(gs,europe,17):country[main_cities ->> {cty(cid(gs,europe,17),"Gibraltar"):city[country -> cid(gs,europe,17); name@(gs) ->> {"Gibraltar"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),2):city[country -> cid(gs,europe,18); name@(gs) ->> {"Athens"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),2):city[country -> cid(gs,europe,18); name@(gs) ->> {"Athinai"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),3):city[country -> cid(gs,europe,18); name@(gs) ->> {"Thessaloniki"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),3):city[country -> cid(gs,europe,18); name@(gs) ->> {"Salonika"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),4):city[country -> cid(gs,europe,18); name@(gs) ->> {"Piraeus"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),5):city[country -> cid(gs,europe,18); name@(gs) ->> {"Patrai"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),6):city[country -> cid(gs,europe,18); name@(gs) ->> {"Larisa"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),7):city[country -> cid(gs,europe,18); name@(gs) ->> {"Iraklion"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),8):city[country -> cid(gs,europe,18); name@(gs) ->> {"Volos"}]}].
cid(gs,europe,18):country[main_cities ->> {cty(cid(gs,europe,18),9):city[country -> cid(gs,europe,18); name@(gs) ->> {"Kavalla"}]}].
cid(gs,europe,19):country[main_cities ->> {cty(cid(gs,europe,19),"Saint-Peter-Port"):city[country -> cid(gs,europe,19); name@(gs) ->> {"Saint Peter Port"}]}].
cid(gs,europe,20):country[main_cities ->> {cty(cid(gs,europe,20),"Vatican-City"):city[country -> cid(gs,europe,20); name@(gs) ->> {"Vatican City"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),2):city[country -> cid(gs,europe,21); name@(gs) ->> {"Budapest"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),6):city[country -> cid(gs,europe,21); name@(gs) ->> {"Pecs"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),10):city[country -> cid(gs,europe,21); name@(gs) ->> {"Kecskemet"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),4):city[country -> cid(gs,europe,21); name@(gs) ->> {"Miskolc"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),9):city[country -> cid(gs,europe,21); name@(gs) ->> {"Szekesfehervar"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),7):city[country -> cid(gs,europe,21); name@(gs) ->> {"Gyor"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),3):city[country -> cid(gs,europe,21); name@(gs) ->> {"Debrecen"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),8):city[country -> cid(gs,europe,21); name@(gs) ->> {"Nyiregyhaza"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),5):city[country -> cid(gs,europe,21); name@(gs) ->> {"Szeged"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Bekescaba"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Bekescaba"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Hodmezovasarhely"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Hodmezovasarhely"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Eger"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Eger"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Tatabanya"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Tatabanya"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Salgotarjan"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Salgotarjan"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Kaposvar"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Kaposvar"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Szolnok"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Szolnok"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Szekszard"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Szekszard"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Szombathely"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Szombathely"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Veszprem"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Veszprem"}]}].
cid(gs,europe,21):country[main_cities ->> {cty(cid(gs,europe,21),"Zalaegerszeg"):city[country -> cid(gs,europe,21); name@(gs) ->> {"Zalaegerszeg"}]}].
cid(gs,europe,22):country[main_cities ->> {cty(cid(gs,europe,22),"Reykjavik"):city[country -> cid(gs,europe,22); name@(gs) ->> {"Reykjavik"}]}].
cid(gs,europe,23):country[main_cities ->> {cty(cid(gs,europe,23),"Dublin"):city[country -> cid(gs,europe,23); name@(gs) ->> {"Dublin"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),44):city[country -> cid(gs,europe,24); name@(gs) ->> {"Novara"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),36):city[country -> cid(gs,europe,24); name@(gs) ->> {"Bergamo"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),19):city[country -> cid(gs,europe,24); name@(gs) ->> {"Brescia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),51):city[country -> cid(gs,europe,24); name@(gs) ->> {"Bolzano"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),49):city[country -> cid(gs,europe,24); name@(gs) ->> {"Trento"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),17):city[country -> cid(gs,europe,24); name@(gs) ->> {"Padova"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),14):city[country -> cid(gs,europe,24); name@(gs) ->> {"Verona"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),39):city[country -> cid(gs,europe,24); name@(gs) ->> {"Vicenza"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),16):city[country -> cid(gs,europe,24); name@(gs) ->> {"Trieste"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),46):city[country -> cid(gs,europe,24); name@(gs) ->> {"La Spezia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),8):city[country -> cid(gs,europe,24); name@(gs) ->> {"Bologna"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),28):city[country -> cid(gs,europe,24); name@(gs) ->> {"Ferrara"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),38):city[country -> cid(gs,europe,24); name@(gs) ->> {"Forli"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),21):city[country -> cid(gs,europe,24); name@(gs) ->> {"Modena"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),22):city[country -> cid(gs,europe,24); name@(gs) ->> {"Parma"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),43):city[country -> cid(gs,europe,24); name@(gs) ->> {"Piacenza"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),29):city[country -> cid(gs,europe,24); name@(gs) ->> {"Ravenna"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),30):city[country -> cid(gs,europe,24); name@(gs) ->> {"Reggio nellEmilia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),23):city[country -> cid(gs,europe,24); name@(gs) ->> {"Livorno"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),50):city[country -> cid(gs,europe,24); name@(gs) ->> {"Pisa"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),27):city[country -> cid(gs,europe,24); name@(gs) ->> {"Perugia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),37):city[country -> cid(gs,europe,24); name@(gs) ->> {"Terni"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),45):city[country -> cid(gs,europe,24); name@(gs) ->> {"Ancona"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),42):city[country -> cid(gs,europe,24); name@(gs) ->> {"Latina"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),32):city[country -> cid(gs,europe,24); name@(gs) ->> {"Pescara"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),26):city[country -> cid(gs,europe,24); name@(gs) ->> {"Salerno"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),11):city[country -> cid(gs,europe,24); name@(gs) ->> {"Bari"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),25):city[country -> cid(gs,europe,24); name@(gs) ->> {"Foggia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),48):city[country -> cid(gs,europe,24); name@(gs) ->> {"Lecce"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),15):city[country -> cid(gs,europe,24); name@(gs) ->> {"Taranto"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),41):city[country -> cid(gs,europe,24); name@(gs) ->> {"Catanzaro"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),40):city[country -> cid(gs,europe,24); name@(gs) ->> {"Cosenza"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),6):city[country -> cid(gs,europe,24); name@(gs) ->> {"Palermo"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),10):city[country -> cid(gs,europe,24); name@(gs) ->> {"Catania"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),13):city[country -> cid(gs,europe,24); name@(gs) ->> {"Messina"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),33):city[country -> cid(gs,europe,24); name@(gs) ->> {"Siracusa"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),18):city[country -> cid(gs,europe,24); name@(gs) ->> {"Cagliari"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),35):city[country -> cid(gs,europe,24); name@(gs) ->> {"Sassari"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),2):city[country -> cid(gs,europe,24); name@(gs) ->> {"Rome"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),2):city[country -> cid(gs,europe,24); name@(gs) ->> {"Roma"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),3):city[country -> cid(gs,europe,24); name@(gs) ->> {"Milano"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),3):city[country -> cid(gs,europe,24); name@(gs) ->> {"Milan"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),4):city[country -> cid(gs,europe,24); name@(gs) ->> {"Napoli"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),4):city[country -> cid(gs,europe,24); name@(gs) ->> {"Napels"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),5):city[country -> cid(gs,europe,24); name@(gs) ->> {"Torino"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),5):city[country -> cid(gs,europe,24); name@(gs) ->> {"Turin"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),7):city[country -> cid(gs,europe,24); name@(gs) ->> {"Genova"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),7):city[country -> cid(gs,europe,24); name@(gs) ->> {"Genua"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),9):city[country -> cid(gs,europe,24); name@(gs) ->> {"Firenze"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),9):city[country -> cid(gs,europe,24); name@(gs) ->> {"Florence"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),12):city[country -> cid(gs,europe,24); name@(gs) ->> {"Venezia"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),12):city[country -> cid(gs,europe,24); name@(gs) ->> {"Venice"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),20):city[country -> cid(gs,europe,24); name@(gs) ->> {"Reggio di Calabria"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),24):city[country -> cid(gs,europe,24); name@(gs) ->> {"Prato"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),31):city[country -> cid(gs,europe,24); name@(gs) ->> {"Rimini"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),34):city[country -> cid(gs,europe,24); name@(gs) ->> {"Monza"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),47):city[country -> cid(gs,europe,24); name@(gs) ->> {"Torre del Greco"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),"Aosta"):city[country -> cid(gs,europe,24); name@(gs) ->> {"Aosta"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),"LAquila"):city[country -> cid(gs,europe,24); name@(gs) ->> {"LAquila"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),"Campobasso"):city[country -> cid(gs,europe,24); name@(gs) ->> {"Campobasso"}]}].
cid(gs,europe,24):country[main_cities ->> {cty(cid(gs,europe,24),"Potenza"):city[country -> cid(gs,europe,24); name@(gs) ->> {"Potenza"}]}].
cid(gs,europe,25):country[main_cities ->> {cty(cid(gs,europe,25),"Saint-Helier"):city[country -> cid(gs,europe,25); name@(gs) ->> {"Saint Helier"}]}].
cid(gs,europe,26):country[main_cities ->> {cty(cid(gs,europe,26),"Riga"):city[country -> cid(gs,europe,26); name@(gs) ->> {"Riga"}]}].
cid(gs,europe,27):country[main_cities ->> {cty(cid(gs,europe,27),"Vaduz"):city[country -> cid(gs,europe,27); name@(gs) ->> {"Vaduz"}]}].
cid(gs,europe,28):country[main_cities ->> {cty(cid(gs,europe,28),"Vilnius"):city[country -> cid(gs,europe,28); name@(gs) ->> {"Vilnius"}]}].
cid(gs,europe,29):country[main_cities ->> {cty(cid(gs,europe,29),"Luxembourg"):city[country -> cid(gs,europe,29); name@(gs) ->> {"Luxembourg"}]}].
cid(gs,europe,30):country[main_cities ->> {cty(cid(gs,europe,30),"Skopje"):city[country -> cid(gs,europe,30); name@(gs) ->> {"Skopje"}]}].
cid(gs,europe,31):country[main_cities ->> {cty(cid(gs,europe,31),"Valletta"):city[country -> cid(gs,europe,31); name@(gs) ->> {"Valletta"}]}].
cid(gs,europe,32):country[main_cities ->> {cty(cid(gs,europe,32),"Douglas"):city[country -> cid(gs,europe,32); name@(gs) ->> {"Douglas"}]}].
cid(gs,europe,33):country[main_cities ->> {cty(cid(gs,europe,33),"Chisinau"):city[country -> cid(gs,europe,33); name@(gs) ->> {"Chisinau"}]}].
cid(gs,europe,34):country[main_cities ->> {cty(cid(gs,europe,34),"Monaco"):city[country -> cid(gs,europe,34); name@(gs) ->> {"Monaco"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),2):city[country -> cid(gs,europe,35); name@(gs) ->> {"Amsterdam"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),14):city[country -> cid(gs,europe,35); name@(gs) ->> {"Groningen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),7):city[country -> cid(gs,europe,35); name@(gs) ->> {"Arnhem"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),5):city[country -> cid(gs,europe,35); name@(gs) ->> {"Utrecht"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),13):city[country -> cid(gs,europe,35); name@(gs) ->> {"Haarlem"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),4):city[country -> cid(gs,europe,35); name@(gs) ->> {"s Gravenhage"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),15):city[country -> cid(gs,europe,35); name@(gs) ->> {"s Hertogenbosch"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),19):city[country -> cid(gs,europe,35); name@(gs) ->> {"Maastricht"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),3):city[country -> cid(gs,europe,35); name@(gs) ->> {"Rotterdam"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),6):city[country -> cid(gs,europe,35); name@(gs) ->> {"Eindhoven"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),8):city[country -> cid(gs,europe,35); name@(gs) ->> {"Heerlen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),9):city[country -> cid(gs,europe,35); name@(gs) ->> {"Enschede"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),10):city[country -> cid(gs,europe,35); name@(gs) ->> {"Nijmegen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),11):city[country -> cid(gs,europe,35); name@(gs) ->> {"Tilburg"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),12):city[country -> cid(gs,europe,35); name@(gs) ->> {"Dordrecht"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),16):city[country -> cid(gs,europe,35); name@(gs) ->> {"Leiden"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),17):city[country -> cid(gs,europe,35); name@(gs) ->> {"Geleen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),18):city[country -> cid(gs,europe,35); name@(gs) ->> {"Breda"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),20):city[country -> cid(gs,europe,35); name@(gs) ->> {"Zaanstreek"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),21):city[country -> cid(gs,europe,35); name@(gs) ->> {"Velsen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),22):city[country -> cid(gs,europe,35); name@(gs) ->> {"Hilversum"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),"Leeuwarden"):city[country -> cid(gs,europe,35); name@(gs) ->> {"Leeuwarden"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),"Assen"):city[country -> cid(gs,europe,35); name@(gs) ->> {"Assen"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),"Zwolle"):city[country -> cid(gs,europe,35); name@(gs) ->> {"Zwolle"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),"Lelystad"):city[country -> cid(gs,europe,35); name@(gs) ->> {"Lelystad"}]}].
cid(gs,europe,35):country[main_cities ->> {cty(cid(gs,europe,35),"Middelburg"):city[country -> cid(gs,europe,35); name@(gs) ->> {"Middelburg"}]}].
cid(gs,europe,36):country[main_cities ->> {cty(cid(gs,europe,36),"Oslo"):city[country -> cid(gs,europe,36); name@(gs) ->> {"Oslo"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),2):city[country -> cid(gs,europe,37); name@(gs) ->> {"Warszawa"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),12):city[country -> cid(gs,europe,37); name@(gs) ->> {"Bialystok"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),23):city[country -> cid(gs,europe,37); name@(gs) ->> {"Bielsko Biala"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),9):city[country -> cid(gs,europe,37); name@(gs) ->> {"Bydgoszcz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),14):city[country -> cid(gs,europe,37); name@(gs) ->> {"Czestochowa"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),32):city[country -> cid(gs,europe,37); name@(gs) ->> {"Elblag"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),7):city[country -> cid(gs,europe,37); name@(gs) ->> {"Gdansk"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),40):city[country -> cid(gs,europe,37); name@(gs) ->> {"Kalisz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),10):city[country -> cid(gs,europe,37); name@(gs) ->> {"Katowice"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),19):city[country -> cid(gs,europe,37); name@(gs) ->> {"Kielce"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),39):city[country -> cid(gs,europe,37); name@(gs) ->> {"Koszalin"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),4):city[country -> cid(gs,europe,37); name@(gs) ->> {"Krakow"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),41):city[country -> cid(gs,europe,37); name@(gs) ->> {"Legnica"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),11):city[country -> cid(gs,europe,37); name@(gs) ->> {"Lublin"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),25):city[country -> cid(gs,europe,37); name@(gs) ->> {"Olsztyn"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),31):city[country -> cid(gs,europe,37); name@(gs) ->> {"Opole"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),34):city[country -> cid(gs,europe,37); name@(gs) ->> {"Plock"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),6):city[country -> cid(gs,europe,37); name@(gs) ->> {"Poznan"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),17):city[country -> cid(gs,europe,37); name@(gs) ->> {"Radom"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),26):city[country -> cid(gs,europe,37); name@(gs) ->> {"Rzeszow"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),8):city[country -> cid(gs,europe,37); name@(gs) ->> {"Szczecin"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),36):city[country -> cid(gs,europe,37); name@(gs) ->> {"Tarnow"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),21):city[country -> cid(gs,europe,37); name@(gs) ->> {"Torun"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),28):city[country -> cid(gs,europe,37); name@(gs) ->> {"Walbrzych"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),35):city[country -> cid(gs,europe,37); name@(gs) ->> {"Wloclawek"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),5):city[country -> cid(gs,europe,37); name@(gs) ->> {"Wroclaw"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),37):city[country -> cid(gs,europe,37); name@(gs) ->> {"Zielona Gora"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),3):city[country -> cid(gs,europe,37); name@(gs) ->> {"Lodz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),13):city[country -> cid(gs,europe,37); name@(gs) ->> {"Sosnowiec"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),15):city[country -> cid(gs,europe,37); name@(gs) ->> {"Gdynia"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),16):city[country -> cid(gs,europe,37); name@(gs) ->> {"Bytom"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),18):city[country -> cid(gs,europe,37); name@(gs) ->> {"Gliwice"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),20):city[country -> cid(gs,europe,37); name@(gs) ->> {"Zabrze"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),22):city[country -> cid(gs,europe,37); name@(gs) ->> {"Tychy"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),24):city[country -> cid(gs,europe,37); name@(gs) ->> {"Ruda Slaska"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),27):city[country -> cid(gs,europe,37); name@(gs) ->> {"Rybnik"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),29):city[country -> cid(gs,europe,37); name@(gs) ->> {"Dabrowa Gornicza"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),30):city[country -> cid(gs,europe,37); name@(gs) ->> {"Chorzow"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),33):city[country -> cid(gs,europe,37); name@(gs) ->> {"Gorzow Wielkopolski"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),38):city[country -> cid(gs,europe,37); name@(gs) ->> {"Wodzilaw Slaski"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),42):city[country -> cid(gs,europe,37); name@(gs) ->> {"Jastrzebie Zdroj"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),43):city[country -> cid(gs,europe,37); name@(gs) ->> {"Grudziadz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Warsaw"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Warsaw"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Biala-Podlaska"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Biala Podlaska"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Chelm"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Chelm"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Ciechanow"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Ciechanow"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Gorzow-Wielkopolskie"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Gorzow Wielkopolskie"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Jelenia-Gora"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Jelenia Gora"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Konin"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Konin"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Krosno"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Krosno"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Leszno"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Leszno"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Lomza"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Lomza"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Nowy-Sacz"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Nowy Sacz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Ostroleka"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Ostroleka"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Pila"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Pila"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Piottrkow-Trybunalski"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Piottrkow Trybunalski"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Przemysl"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Przemysl"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Siedlce"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Siedlce"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Sieradz"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Sieradz"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Skierniewice"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Skierniewice"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Slupsk"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Slupsk"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Suwalki"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Suwalki"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Tarnobrzeg"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Tarnobrzeg"}]}].
cid(gs,europe,37):country[main_cities ->> {cty(cid(gs,europe,37),"Zamosc"):city[country -> cid(gs,europe,37); name@(gs) ->> {"Zamosc"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),7):city[country -> cid(gs,europe,38); name@(gs) ->> {"Braga"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),6):city[country -> cid(gs,europe,38); name@(gs) ->> {"Coimbra"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),5):city[country -> cid(gs,europe,38); name@(gs) ->> {"Setubal"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),2):city[country -> cid(gs,europe,38); name@(gs) ->> {"Lisbon"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),2):city[country -> cid(gs,europe,38); name@(gs) ->> {"Lisboa"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),3):city[country -> cid(gs,europe,38); name@(gs) ->> {"Porto"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),3):city[country -> cid(gs,europe,38); name@(gs) ->> {"Oporto"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),4):city[country -> cid(gs,europe,38); name@(gs) ->> {"Amadora"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),8):city[country -> cid(gs,europe,38); name@(gs) ->> {"Vila Nova de Gaia"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),9):city[country -> cid(gs,europe,38); name@(gs) ->> {"Barreiro"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),10):city[country -> cid(gs,europe,38); name@(gs) ->> {"Funchal"}]}].
cid(gs,europe,38):country[main_cities ->> {cty(cid(gs,europe,38),11):city[country -> cid(gs,europe,38); name@(gs) ->> {"Almada"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),12):city[country -> cid(gs,europe,39); name@(gs) ->> {"Arad"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),16):city[country -> cid(gs,europe,39); name@(gs) ->> {"Pitesti"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),13):city[country -> cid(gs,europe,39); name@(gs) ->> {"Bacau"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),11):city[country -> cid(gs,europe,39); name@(gs) ->> {"Oradea"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),10):city[country -> cid(gs,europe,39); name@(gs) ->> {"Braila"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),3):city[country -> cid(gs,europe,39); name@(gs) ->> {"Brasov"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),2):city[country -> cid(gs,europe,39); name@(gs) ->> {"Bucuresti"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),18):city[country -> cid(gs,europe,39); name@(gs) ->> {"Buzau"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),7):city[country -> cid(gs,europe,39); name@(gs) ->> {"Cluj Napoca"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),4):city[country -> cid(gs,europe,39); name@(gs) ->> {"Constanta"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),9):city[country -> cid(gs,europe,39); name@(gs) ->> {"Craiova"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),8):city[country -> cid(gs,europe,39); name@(gs) ->> {"Galati"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),6):city[country -> cid(gs,europe,39); name@(gs) ->> {"Iasi"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),17):city[country -> cid(gs,europe,39); name@(gs) ->> {"Baia Mare"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),15):city[country -> cid(gs,europe,39); name@(gs) ->> {"Tirgu Mures"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),14):city[country -> cid(gs,europe,39); name@(gs) ->> {"Sibiu"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),5):city[country -> cid(gs,europe,39); name@(gs) ->> {"Timisoara"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),19):city[country -> cid(gs,europe,39); name@(gs) ->> {"Satu Mare"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Bucharest"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Bucharest"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Alba-Iulia"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Alba Iulia"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Bistrita"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Bistrita"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Botosani"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Botosani"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Calarasi"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Calarasi"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Resita"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Resita"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Sfintu-Gheorghe"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Sfintu Gheorghe"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Tirgoviste"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Tirgoviste"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Giurgiu"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Giurgiu"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Tirgu-Jiu"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Tirgu Jiu"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Miercurea-Ciuc"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Miercurea Ciuc"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Deva"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Deva"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Slobozia"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Slobozia"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Drobeta-Turnu-Severin"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Drobeta Turnu Severin"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Piatra-Neamt"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Piatra Neamt"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Slatina"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Slatina"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Ploiesti"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Ploiesti"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Zalau"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Zalau"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Suceava"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Suceava"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Alexandria"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Alexandria"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Tulcea"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Tulcea"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Vaslui"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Vaslui"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Rimnicu-Vilcea"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Rimnicu Vilcea"}]}].
cid(gs,europe,39):country[main_cities ->> {cty(cid(gs,europe,39),"Focsani"):city[country -> cid(gs,europe,39); name@(gs) ->> {"Focsani"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),2):city[country -> cid(gs,europe,40); name@(gs) ->> {"Moscow"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),71):city[country -> cid(gs,europe,40); name@(gs) ->> {"Petrozavodsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),85):city[country -> cid(gs,europe,40); name@(gs) ->> {"Syktyvkar"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),48):city[country -> cid(gs,europe,40); name@(gs) ->> {"Arkhangelsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),66):city[country -> cid(gs,europe,40); name@(gs) ->> {"Vologda"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),47):city[country -> cid(gs,europe,40); name@(gs) ->> {"Murmansk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),45):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kaliningrad"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),3):city[country -> cid(gs,europe,40); name@(gs) ->> {"Sankt Peterburg"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),83):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novgorod"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),90):city[country -> cid(gs,europe,40); name@(gs) ->> {"Pskov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),40):city[country -> cid(gs,europe,40); name@(gs) ->> {"Bryansk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),57):city[country -> cid(gs,europe,40); name@(gs) ->> {"Vladimir"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),36):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ivanovo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),55):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kaluga"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),70):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kostroma"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),28):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ryazan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),52):city[country -> cid(gs,europe,40); name@(gs) ->> {"Smolensk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),41):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tver"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),31):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tula"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),23):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yaroslavl"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),78):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yoshkar Ola"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),61):city[country -> cid(gs,europe,40); name@(gs) ->> {"Saransk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),42):city[country -> cid(gs,europe,40); name@(gs) ->> {"Cheboksary"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),39):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kirov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),4):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nizhniy Novgorod"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),59):city[country -> cid(gs,europe,40); name@(gs) ->> {"Belgorod"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),15):city[country -> cid(gs,europe,40); name@(gs) ->> {"Voronezh"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),43):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kursk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),37):city[country -> cid(gs,europe,40); name@(gs) ->> {"Lipetsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),63):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tambov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),11):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kazan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),35):city[country -> cid(gs,europe,40); name@(gs) ->> {"Astrakhan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),14):city[country -> cid(gs,europe,40); name@(gs) ->> {"Volgograd"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),29):city[country -> cid(gs,europe,40); name@(gs) ->> {"Penza"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),7):city[country -> cid(gs,europe,40); name@(gs) ->> {"Samara"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),16):city[country -> cid(gs,europe,40); name@(gs) ->> {"Saratov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),9):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ufa"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),20):city[country -> cid(gs,europe,40); name@(gs) ->> {"Izhevsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),30):city[country -> cid(gs,europe,40); name@(gs) ->> {"Orenburg"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),12):city[country -> cid(gs,europe,40); name@(gs) ->> {"Perm"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),107):city[country -> cid(gs,europe,40); name@(gs) ->> {"Maykop"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),58):city[country -> cid(gs,europe,40); name@(gs) ->> {"Makhachkala"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),81):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nalchik"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),141):city[country -> cid(gs,europe,40); name@(gs) ->> {"Cherkessk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),64):city[country -> cid(gs,europe,40); name@(gs) ->> {"Vladikavkaz"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),21):city[country -> cid(gs,europe,40); name@(gs) ->> {"Krasnodar"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),56):city[country -> cid(gs,europe,40); name@(gs) ->> {"Stavropol"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),51):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kurgan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),6):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yekaterinburg"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),10):city[country -> cid(gs,europe,40); name@(gs) ->> {"Chelyabinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),25):city[country -> cid(gs,europe,40); name@(gs) ->> {"Barnaul"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),33):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kemerovo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),5):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novosibirsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),8):city[country -> cid(gs,europe,40); name@(gs) ->> {"Omsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),38):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tomsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),34):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tyumen"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),49):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ulan Ude"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),112):city[country -> cid(gs,europe,40); name@(gs) ->> {"Abakan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),17):city[country -> cid(gs,europe,40); name@(gs) ->> {"Krasnoyarsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),26):city[country -> cid(gs,europe,40); name@(gs) ->> {"Irkutsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),60):city[country -> cid(gs,europe,40); name@(gs) ->> {"Chita"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),97):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yakutsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),22):city[country -> cid(gs,europe,40); name@(gs) ->> {"Vladivostok"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),24):city[country -> cid(gs,europe,40); name@(gs) ->> {"Khabarovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),87):city[country -> cid(gs,europe,40); name@(gs) ->> {"Blagoveshchensk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),132):city[country -> cid(gs,europe,40); name@(gs) ->> {"Magadan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),113):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yuzhno Sakhalinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),13):city[country -> cid(gs,europe,40); name@(gs) ->> {"Rostov na Donu"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),18):city[country -> cid(gs,europe,40); name@(gs) ->> {"Tolyatti"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),19):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ulyanovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),19):city[country -> cid(gs,europe,40); name@(gs) ->> {"Simbirsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),27):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novokuznetsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),32):city[country -> cid(gs,europe,40); name@(gs) ->> {"Naberezhnye Chelny"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),44):city[country -> cid(gs,europe,40); name@(gs) ->> {"Magnitogorsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),46):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nizhniy Tagil"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),50):city[country -> cid(gs,europe,40); name@(gs) ->> {"Grozny"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),53):city[country -> cid(gs,europe,40); name@(gs) ->> {"Sochi"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),54):city[country -> cid(gs,europe,40); name@(gs) ->> {"Orel"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),54):city[country -> cid(gs,europe,40); name@(gs) ->> {"Oryol"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),62):city[country -> cid(gs,europe,40); name@(gs) ->> {"Cherepovets"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),65):city[country -> cid(gs,europe,40); name@(gs) ->> {"Komsomolsk na Amure"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),67):city[country -> cid(gs,europe,40); name@(gs) ->> {"Taganrog"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),68):city[country -> cid(gs,europe,40); name@(gs) ->> {"Volzhsky"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),69):city[country -> cid(gs,europe,40); name@(gs) ->> {"Dzerzhinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),72):city[country -> cid(gs,europe,40); name@(gs) ->> {"Orsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),73):city[country -> cid(gs,europe,40); name@(gs) ->> {"Angarsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),74):city[country -> cid(gs,europe,40); name@(gs) ->> {"Surgut"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),75):city[country -> cid(gs,europe,40); name@(gs) ->> {"Sterlitamak"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),76):city[country -> cid(gs,europe,40); name@(gs) ->> {"Bratsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),77):city[country -> cid(gs,europe,40); name@(gs) ->> {"Prokopyevsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),79):city[country -> cid(gs,europe,40); name@(gs) ->> {"Rybinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),80):city[country -> cid(gs,europe,40); name@(gs) ->> {"Severodvinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),82):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nizhnevartovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),84):city[country -> cid(gs,europe,40); name@(gs) ->> {"Shakhty"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),86):city[country -> cid(gs,europe,40); name@(gs) ->> {"Biysk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),88):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nizhnekamsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),89):city[country -> cid(gs,europe,40); name@(gs) ->> {"Petropavlovsk Kamchatsky"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),91):city[country -> cid(gs,europe,40); name@(gs) ->> {"Balakovo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),92):city[country -> cid(gs,europe,40); name@(gs) ->> {"Zlatoust"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),93):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novorossiysk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),94):city[country -> cid(gs,europe,40); name@(gs) ->> {"Podolsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),95):city[country -> cid(gs,europe,40); name@(gs) ->> {"Stary Oskol"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),96):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kamensk Uralskiy"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),98):city[country -> cid(gs,europe,40); name@(gs) ->> {"Zelenograd"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),99):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novocherkassk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),100):city[country -> cid(gs,europe,40); name@(gs) ->> {"Engels"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),101):city[country -> cid(gs,europe,40); name@(gs) ->> {"Berezniki"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),102):city[country -> cid(gs,europe,40); name@(gs) ->> {"Volgodonsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),103):city[country -> cid(gs,europe,40); name@(gs) ->> {"Syzran"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),104):city[country -> cid(gs,europe,40); name@(gs) ->> {"Rubtsovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),105):city[country -> cid(gs,europe,40); name@(gs) ->> {"Miass"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),106):city[country -> cid(gs,europe,40); name@(gs) ->> {"Lyubertsy"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),108):city[country -> cid(gs,europe,40); name@(gs) ->> {"Armavir"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),109):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nakhodka"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),110):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kovrov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),111):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ussuriysk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),114):city[country -> cid(gs,europe,40); name@(gs) ->> {"Norilsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),115):city[country -> cid(gs,europe,40); name@(gs) ->> {"Salavat"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),116):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kolomna"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),117):city[country -> cid(gs,europe,40); name@(gs) ->> {"Mytishchi"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),118):city[country -> cid(gs,europe,40); name@(gs) ->> {"Elektrostal"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),119):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novomoskovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),120):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kolpino"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),121):city[country -> cid(gs,europe,40); name@(gs) ->> {"Serpukhov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),122):city[country -> cid(gs,europe,40); name@(gs) ->> {"Almetyevsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),123):city[country -> cid(gs,europe,40); name@(gs) ->> {"Pervouralsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),124):city[country -> cid(gs,europe,40); name@(gs) ->> {"Balashikha"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),125):city[country -> cid(gs,europe,40); name@(gs) ->> {"Dimitrovgrad"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),127):city[country -> cid(gs,europe,40); name@(gs) ->> {"Khimki"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),128):city[country -> cid(gs,europe,40); name@(gs) ->> {"Pyatigorsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),129):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nevinnomyssk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),130):city[country -> cid(gs,europe,40); name@(gs) ->> {"Odintsovo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),131):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kamyshin"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),133):city[country -> cid(gs,europe,40); name@(gs) ->> {"Murom"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),134):city[country -> cid(gs,europe,40); name@(gs) ->> {"Orekhovo Zuyevo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),135):city[country -> cid(gs,europe,40); name@(gs) ->> {"Achinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),136):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novocheboksarsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),137):city[country -> cid(gs,europe,40); name@(gs) ->> {"Leninsk Kuznetskiy"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),138):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kislovodsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),139):city[country -> cid(gs,europe,40); name@(gs) ->> {"Yelets"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),140):city[country -> cid(gs,europe,40); name@(gs) ->> {"Noginsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),142):city[country -> cid(gs,europe,40); name@(gs) ->> {"Neftekamsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),142):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nikolo Beryozovka"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),143):city[country -> cid(gs,europe,40); name@(gs) ->> {"Velikiye Luki"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),144):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kiselyovsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),145):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novokuybyshevsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),146):city[country -> cid(gs,europe,40); name@(gs) ->> {"Sergiev Posad"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),146):city[country -> cid(gs,europe,40); name@(gs) ->> {"Zagorsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),147):city[country -> cid(gs,europe,40); name@(gs) ->> {"Arzamas"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),148):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novotroitsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),149):city[country -> cid(gs,europe,40); name@(gs) ->> {"Oktyabrsky"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),150):city[country -> cid(gs,europe,40); name@(gs) ->> {"Seversk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),151):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ust Ilimsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),152):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kansk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),153):city[country -> cid(gs,europe,40); name@(gs) ->> {"Sarapul"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),154):city[country -> cid(gs,europe,40); name@(gs) ->> {"Michurinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),155):city[country -> cid(gs,europe,40); name@(gs) ->> {"Obninsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),156):city[country -> cid(gs,europe,40); name@(gs) ->> {"Solikamsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),157):city[country -> cid(gs,europe,40); name@(gs) ->> {"Shchyolkovo"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),158):city[country -> cid(gs,europe,40); name@(gs) ->> {"Glazov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),159):city[country -> cid(gs,europe,40); name@(gs) ->> {"Novoshakhtinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),160):city[country -> cid(gs,europe,40); name@(gs) ->> {"Usolye Sibirskoye"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),161):city[country -> cid(gs,europe,40); name@(gs) ->> {"Ukhta"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),162):city[country -> cid(gs,europe,40); name@(gs) ->> {"Mezhdurechensk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),163):city[country -> cid(gs,europe,40); name@(gs) ->> {"Vorkuta"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),164):city[country -> cid(gs,europe,40); name@(gs) ->> {"Votkinsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),165):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kineshma"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),166):city[country -> cid(gs,europe,40); name@(gs) ->> {"Anzhero Sudzhensk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),167):city[country -> cid(gs,europe,40); name@(gs) ->> {"Zelenodolysk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),168):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kuznetsk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),169):city[country -> cid(gs,europe,40); name@(gs) ->> {"Serov"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Elista"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Elista"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Rostov-no-Donu"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Rostov no Donu"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Nazran"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Nazran"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Gorno-Altaysk"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Gorno Altaysk"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Kyzyl"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Kyzyl"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Birobidzhan"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Birobidzhan"}]}].
cid(gs,europe,40):country[main_cities ->> {cty(cid(gs,europe,40),"Anadyr"):city[country -> cid(gs,europe,40); name@(gs) ->> {"Anadyr"}]}].
cid(gs,europe,41):country[main_cities ->> {cty(cid(gs,europe,41),"San-Marino"):city[country -> cid(gs,europe,41); name@(gs) ->> {"San Marino"}]}].
cid(gs,europe,42):country[main_cities ->> {cty(cid(gs,europe,42),"Belgrade"):city[country -> cid(gs,europe,42); name@(gs) ->> {"Belgrade"}]}].
cid(gs,europe,43):country[main_cities ->> {cty(cid(gs,europe,43),"Bratislava"):city[country -> cid(gs,europe,43); name@(gs) ->> {"Bratislava"}]}].
cid(gs,europe,44):country[main_cities ->> {cty(cid(gs,europe,44),"Ljubljana"):city[country -> cid(gs,europe,44); name@(gs) ->> {"Ljubljana"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),2):city[country -> cid(gs,europe,45); name@(gs) ->> {"Madrid"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),5):city[country -> cid(gs,europe,45); name@(gs) ->> {"Sevilla"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),6):city[country -> cid(gs,europe,45); name@(gs) ->> {"Zaragoza"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),23):city[country -> cid(gs,europe,45); name@(gs) ->> {"Oviedo"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),12):city[country -> cid(gs,europe,45); name@(gs) ->> {"Palma de Mallorca"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),21):city[country -> cid(gs,europe,45); name@(gs) ->> {"Vitoria Gasteiz"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),22):city[country -> cid(gs,europe,45); name@(gs) ->> {"Santa Cruz de Tenerife"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),25):city[country -> cid(gs,europe,45); name@(gs) ->> {"Santander"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),11):city[country -> cid(gs,europe,45); name@(gs) ->> {"Valladolid"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),3):city[country -> cid(gs,europe,45); name@(gs) ->> {"Barcelona"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),10):city[country -> cid(gs,europe,45); name@(gs) ->> {"Murcia"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),49):city[country -> cid(gs,europe,45); name@(gs) ->> {"Logrono"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),4):city[country -> cid(gs,europe,45); name@(gs) ->> {"Valencia"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),34):city[country -> cid(gs,europe,45); name@(gs) ->> {"Almeria"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),39):city[country -> cid(gs,europe,45); name@(gs) ->> {"Cadiz"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),13):city[country -> cid(gs,europe,45); name@(gs) ->> {"Cordoba"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),16):city[country -> cid(gs,europe,45); name@(gs) ->> {"Granada"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),41):city[country -> cid(gs,europe,45); name@(gs) ->> {"Huelva"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),7):city[country -> cid(gs,europe,45); name@(gs) ->> {"Malaga"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),44):city[country -> cid(gs,europe,45); name@(gs) ->> {"Albacete"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),35):city[country -> cid(gs,europe,45); name@(gs) ->> {"Burgos"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),40):city[country -> cid(gs,europe,45); name@(gs) ->> {"Leon"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),33):city[country -> cid(gs,europe,45); name@(gs) ->> {"Salamanca"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),51):city[country -> cid(gs,europe,45); name@(gs) ->> {"Lleida"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),50):city[country -> cid(gs,europe,45); name@(gs) ->> {"Tarragona"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),47):city[country -> cid(gs,europe,45); name@(gs) ->> {"Badajoz"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),19):city[country -> cid(gs,europe,45); name@(gs) ->> {"La Coruna"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),8):city[country -> cid(gs,europe,45); name@(gs) ->> {"Bilbao"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),9):city[country -> cid(gs,europe,45); name@(gs) ->> {"Las Palmas de Gran Canaria"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),14):city[country -> cid(gs,europe,45); name@(gs) ->> {"Vigo"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),15):city[country -> cid(gs,europe,45); name@(gs) ->> {"Alicante"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),15):city[country -> cid(gs,europe,45); name@(gs) ->> {"Alacant"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),17):city[country -> cid(gs,europe,45); name@(gs) ->> {"Gijon"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),18):city[country -> cid(gs,europe,45); name@(gs) ->> {"Hospitalet de Llobregat"}]}].
cid(gs,europe,45):country[main_cities ->> {cty(cid(gs,europe,45),20):city[country -> cid(gs,europe,45);