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

europe:continent[name -> "Europe"; area -> 9562488].
asia:continent[name -> "Asia"; area -> 45095292].
australia:continent[name -> "Australia/Oceania"; area -> 8503474].
africa:continent[name -> "Africa"; area -> 30254708].
america:continent[name -> "America"; area -> 39872000].

% 5 output(s) printed 

% Answer to query : ?- C:country[name -> Name].

cid(cia,"Albania"):country[name -> "Albania"].
cid(cia,"Greece"):country[name -> "Greece"].
cid(cia,"Macedonia"):country[name -> "Macedonia"].
cid(cia,"Serbia-and-Montenegro"):country[name -> "Serbia and Montenegro"].
cid(cia,"Andorra"):country[name -> "Andorra"].
cid(cia,"France"):country[name -> "France"].
cid(cia,"Spain"):country[name -> "Spain"].
cid(cia,"Austria"):country[name -> "Austria"].
cid(cia,"Czech-Republic"):country[name -> "Czech Republic"].
cid(cia,"Germany"):country[name -> "Germany"].
cid(cia,"Hungary"):country[name -> "Hungary"].
cid(cia,"Italy"):country[name -> "Italy"].
cid(cia,"Liechtenstein"):country[name -> "Liechtenstein"].
cid(cia,"Slovakia"):country[name -> "Slovakia"].
cid(cia,"Slovenia"):country[name -> "Slovenia"].
cid(cia,"Switzerland"):country[name -> "Switzerland"].
cid(cia,"Belarus"):country[name -> "Belarus"].
cid(cia,"Latvia"):country[name -> "Latvia"].
cid(cia,"Lithuania"):country[name -> "Lithuania"].
cid(cia,"Poland"):country[name -> "Poland"].
cid(cia,"Ukraine"):country[name -> "Ukraine"].
cid(cia,"Russia"):country[name -> "Russia"].
cid(cia,"Belgium"):country[name -> "Belgium"].
cid(cia,"Luxembourg"):country[name -> "Luxembourg"].
cid(cia,"Netherlands"):country[name -> "Netherlands"].
cid(cia,"Bosnia-and-Herzegovina"):country[name -> "Bosnia and Herzegovina"].
cid(cia,"Croatia"):country[name -> "Croatia"].
cid(cia,"Bulgaria"):country[name -> "Bulgaria"].
cid(cia,"Romania"):country[name -> "Romania"].
cid(cia,"Turkey"):country[name -> "Turkey"].
cid(cia,"Denmark"):country[name -> "Denmark"].
cid(cia,"Estonia"):country[name -> "Estonia"].
cid(cia,"Faroe-Islands"):country[name -> "Faroe Islands"].
cid(cia,"Finland"):country[name -> "Finland"].
cid(cia,"Norway"):country[name -> "Norway"].
cid(cia,"Sweden"):country[name -> "Sweden"].
cid(cia,"Monaco"):country[name -> "Monaco"].
cid(cia,"Gibraltar"):country[name -> "Gibraltar"].
cid(cia,"Guernsey"):country[name -> "Guernsey"].
cid(cia,"Holy-See"):country[name -> "Holy See"].
cid(cia,"Iceland"):country[name -> "Iceland"].
cid(cia,"Ireland"):country[name -> "Ireland"].
cid(cia,"San-Marino"):country[name -> "San Marino"].
cid(cia,"Jan-Mayen"):country[name -> "Jan Mayen"].
cid(cia,"Jersey"):country[name -> "Jersey"].
cid(cia,"Malta"):country[name -> "Malta"].
cid(cia,"Man"):country[name -> "Man"].
cid(cia,"Moldova"):country[name -> "Moldova"].
cid(cia,"Portugal"):country[name -> "Portugal"].
cid(cia,"Svalbard"):country[name -> "Svalbard"].
cid(cia,"United-Kingdom"):country[name -> "United Kingdom"].
cid(cia,"Afghanistan"):country[name -> "Afghanistan"].
cid(cia,"China"):country[name -> "China"].
cid(cia,"Iran"):country[name -> "Iran"].
cid(cia,"Pakistan"):country[name -> "Pakistan"].
cid(cia,"Tajikistan"):country[name -> "Tajikistan"].
cid(cia,"Turkmenistan"):country[name -> "Turkmenistan"].
cid(cia,"Uzbekistan"):country[name -> "Uzbekistan"].
cid(cia,"Armenia"):country[name -> "Armenia"].
cid(cia,"Georgia"):country[name -> "Georgia"].
cid(cia,"Ashmore-and-Cartier-Islands"):country[name -> "Ashmore and Cartier Islands"].
cid(cia,"Azerbaijan"):country[name -> "Azerbaijan"].
cid(cia,"Bahrain"):country[name -> "Bahrain"].
cid(cia,"Bangladesh"):country[name -> "Bangladesh"].
cid(cia,"Burma"):country[name -> "Burma"].
cid(cia,"India"):country[name -> "India"].
cid(cia,"Bhutan"):country[name -> "Bhutan"].
cid(cia,"British-Indian-Ocean-Territory"):country[name -> "British Indian Ocean Territory"].
cid(cia,"Brunei"):country[name -> "Brunei"].
cid(cia,"Malaysia"):country[name -> "Malaysia"].
cid(cia,"Laos"):country[name -> "Laos"].
cid(cia,"Thailand"):country[name -> "Thailand"].
cid(cia,"Cambodia"):country[name -> "Cambodia"].
cid(cia,"Vietnam"):country[name -> "Vietnam"].
cid(cia,"Hong-Kong"):country[name -> "Hong Kong"].
cid(cia,"Kazakstan"):country[name -> "Kazakstan"].
cid(cia,"North-Korea"):country[name -> "North Korea"].
cid(cia,"Kyrgyzstan"):country[name -> "Kyrgyzstan"].
cid(cia,"Macau"):country[name -> "Macau"].
cid(cia,"Mongolia"):country[name -> "Mongolia"].
cid(cia,"Nepal"):country[name -> "Nepal"].
cid(cia,"Christmas-Island"):country[name -> "Christmas Island"].
cid(cia,"Cocos-Islands"):country[name -> "Cocos Islands"].
cid(cia,"Cyprus"):country[name -> "Cyprus"].
cid(cia,"Gaza-Strip"):country[name -> "Gaza Strip"].
cid(cia,"Israel"):country[name -> "Israel"].
cid(cia,"Egypt"):country[name -> "Egypt"].
cid(cia,"Indonesia"):country[name -> "Indonesia"].
cid(cia,"Papua-New-Guinea"):country[name -> "Papua New Guinea"].
cid(cia,"Iraq"):country[name -> "Iraq"].
cid(cia,"Jordan"):country[name -> "Jordan"].
cid(cia,"Kuwait"):country[name -> "Kuwait"].
cid(cia,"Saudi-Arabia"):country[name -> "Saudi Arabia"].
cid(cia,"Syria"):country[name -> "Syria"].
cid(cia,"Lebanon"):country[name -> "Lebanon"].
cid(cia,"West-Bank"):country[name -> "West Bank"].
cid(cia,"Japan"):country[name -> "Japan"].
cid(cia,"South-Korea"):country[name -> "South Korea"].
cid(cia,"Maldives"):country[name -> "Maldives"].
cid(cia,"Oman"):country[name -> "Oman"].
cid(cia,"United-Arab-Emirates"):country[name -> "United Arab Emirates"].
cid(cia,"Yemen"):country[name -> "Yemen"].
cid(cia,"Paracel-Islands"):country[name -> "Paracel Islands"].
cid(cia,"Philippines"):country[name -> "Philippines"].
cid(cia,"Qatar"):country[name -> "Qatar"].
cid(cia,"Singapore"):country[name -> "Singapore"].
cid(cia,"Spratly-Islands"):country[name -> "Spratly Islands"].
cid(cia,"Sri-Lanka"):country[name -> "Sri Lanka"].
cid(cia,"Taiwan"):country[name -> "Taiwan"].
cid(cia,"Anguilla"):country[name -> "Anguilla"].
cid(cia,"Antigua-and-Barbuda"):country[name -> "Antigua and Barbuda"].
cid(cia,"Aruba"):country[name -> "Aruba"].
cid(cia,"Bahamas"):country[name -> "Bahamas"].
cid(cia,"Barbados"):country[name -> "Barbados"].
cid(cia,"Belize"):country[name -> "Belize"].
cid(cia,"Guatemala"):country[name -> "Guatemala"].
cid(cia,"Mexico"):country[name -> "Mexico"].
cid(cia,"Bermuda"):country[name -> "Bermuda"].
cid(cia,"British-Virgin-Islands"):country[name -> "British Virgin Islands"].
cid(cia,"Canada"):country[name -> "Canada"].
cid(cia,"United-States"):country[name -> "United States"].
cid(cia,"Cayman-Islands"):country[name -> "Cayman Islands"].
cid(cia,"Clipperton-Island"):country[name -> "Clipperton Island"].
cid(cia,"Costa-Rica"):country[name -> "Costa Rica"].
cid(cia,"Nicaragua"):country[name -> "Nicaragua"].
cid(cia,"Panama"):country[name -> "Panama"].
cid(cia,"Cuba"):country[name -> "Cuba"].
cid(cia,"Dominica"):country[name -> "Dominica"].
cid(cia,"Dominican-Republic"):country[name -> "Dominican Republic"].
cid(cia,"Haiti"):country[name -> "Haiti"].
cid(cia,"El-Salvador"):country[name -> "El Salvador"].
cid(cia,"Honduras"):country[name -> "Honduras"].
cid(cia,"Greenland"):country[name -> "Greenland"].
cid(cia,"Grenada"):country[name -> "Grenada"].
cid(cia,"Guadeloupe"):country[name -> "Guadeloupe"].
cid(cia,"Jamaica"):country[name -> "Jamaica"].
cid(cia,"Martinique"):country[name -> "Martinique"].
cid(cia,"Montserrat"):country[name -> "Montserrat"].
cid(cia,"Navassa-Island"):country[name -> "Navassa Island"].
cid(cia,"Netherlands-Antilles"):country[name -> "Netherlands Antilles"].
cid(cia,"Colombia"):country[name -> "Colombia"].
cid(cia,"Puerto-Rico"):country[name -> "Puerto Rico"].
cid(cia,"Saint-Kitts-and-Nevis"):country[name -> "Saint Kitts and Nevis"].
cid(cia,"Saint-Lucia"):country[name -> "Saint Lucia"].
cid(cia,"Saint-Pierre-and-Miquelon"):country[name -> "Saint Pierre and Miquelon"].
cid(cia,"Saint-Vincent-and-the-Grenadines"):country[name -> "Saint Vincent and the Grenadines"].
cid(cia,"Trinidad-and-Tobago"):country[name -> "Trinidad and Tobago"].
cid(cia,"Turks-and-Caicos-Islands"):country[name -> "Turks and Caicos Islands"].
cid(cia,"Virgin-Islands"):country[name -> "Virgin Islands"].
cid(cia,"American-Samoa"):country[name -> "American Samoa"].
cid(cia,"Australia"):country[name -> "Australia"].
cid(cia,"Baker-Island"):country[name -> "Baker Island"].
cid(cia,"Cook-Islands"):country[name -> "Cook Islands"].
cid(cia,"Coral-Sea-Islands"):country[name -> "Coral Sea Islands"].
cid(cia,"Fiji"):country[name -> "Fiji"].
cid(cia,"French-Polynesia"):country[name -> "French Polynesia"].
cid(cia,"Guam"):country[name -> "Guam"].
cid(cia,"Howland-Island"):country[name -> "Howland Island"].
cid(cia,"Jarvis-Island"):country[name -> "Jarvis Island"].
cid(cia,"Johnston-Atoll"):country[name -> "Johnston Atoll"].
cid(cia,"Kingman-Reef"):country[name -> "Kingman Reef"].
cid(cia,"Kiribati"):country[name -> "Kiribati"].
cid(cia,"Marshall-Islands"):country[name -> "Marshall Islands"].
cid(cia,"Micronesia"):country[name -> "Micronesia"].
cid(cia,"Midway-Islands"):country[name -> "Midway Islands"].
cid(cia,"Nauru"):country[name -> "Nauru"].
cid(cia,"New-Caledonia"):country[name -> "New Caledonia"].
cid(cia,"New-Zealand"):country[name -> "New Zealand"].
cid(cia,"Niue"):country[name -> "Niue"].
cid(cia,"Norfolk-Island"):country[name -> "Norfolk Island"].
cid(cia,"Northern-Mariana-Islands"):country[name -> "Northern Mariana Islands"].
cid(cia,"Palau"):country[name -> "Palau"].
cid(cia,"Palmyra-Atoll"):country[name -> "Palmyra Atoll"].
cid(cia,"Pitcairn-Islands"):country[name -> "Pitcairn Islands"].
cid(cia,"Solomon-Islands"):country[name -> "Solomon Islands"].
cid(cia,"Tokelau"):country[name -> "Tokelau"].
cid(cia,"Tonga"):country[name -> "Tonga"].
cid(cia,"Tuvalu"):country[name -> "Tuvalu"].
cid(cia,"Vanuatu"):country[name -> "Vanuatu"].
cid(cia,"Wake-Island"):country[name -> "Wake Island"].
cid(cia,"Wallis-and-Futuna"):country[name -> "Wallis and Futuna"].
cid(cia,"Western-Samoa"):country[name -> "Western Samoa"].
cid(cia,"Argentina"):country[name -> "Argentina"].
cid(cia,"Bolivia"):country[name -> "Bolivia"].
cid(cia,"Brazil"):country[name -> "Brazil"].
cid(cia,"Chile"):country[name -> "Chile"].
cid(cia,"Paraguay"):country[name -> "Paraguay"].
cid(cia,"Uruguay"):country[name -> "Uruguay"].
cid(cia,"Peru"):country[name -> "Peru"].
cid(cia,"French-Guiana"):country[name -> "French Guiana"].
cid(cia,"Guyana"):country[name -> "Guyana"].
cid(cia,"Suriname"):country[name -> "Suriname"].
cid(cia,"Venezuela"):country[name -> "Venezuela"].
cid(cia,"Ecuador"):country[name -> "Ecuador"].
cid(cia,"Falkland-Islands"):country[name -> "Falkland Islands"].
cid(cia,"South-Georgia-and-the-South-Sandwich-Islands"):country[name -> "South Georgia and the South Sandwich Islands"].
cid(cia,"Algeria"):country[name -> "Algeria"].
cid(cia,"Libya"):country[name -> "Libya"].
cid(cia,"Mali"):country[name -> "Mali"].
cid(cia,"Mauritania"):country[name -> "Mauritania"].
cid(cia,"Morocco"):country[name -> "Morocco"].
cid(cia,"Niger"):country[name -> "Niger"].
cid(cia,"Tunisia"):country[name -> "Tunisia"].
cid(cia,"Western-Sahara"):country[name -> "Western Sahara"].
cid(cia,"Angola"):country[name -> "Angola"].
cid(cia,"Congo"):country[name -> "Congo"].
cid(cia,"Namibia"):country[name -> "Namibia"].
cid(cia,"Zaire"):country[name -> "Zaire"].
cid(cia,"Zambia"):country[name -> "Zambia"].
cid(cia,"Bassas-da-India"):country[name -> "Bassas da India"].
cid(cia,"Benin"):country[name -> "Benin"].
cid(cia,"Burkina-Faso"):country[name -> "Burkina Faso"].
cid(cia,"Nigeria"):country[name -> "Nigeria"].
cid(cia,"Togo"):country[name -> "Togo"].
cid(cia,"Botswana"):country[name -> "Botswana"].
cid(cia,"South-Africa"):country[name -> "South Africa"].
cid(cia,"Zimbabwe"):country[name -> "Zimbabwe"].
cid(cia,"Bouvet-Island"):country[name -> "Bouvet Island"].
cid(cia,"Cote-dIvoire"):country[name -> "Cote dIvoire"].
cid(cia,"Ghana"):country[name -> "Ghana"].
cid(cia,"Burundi"):country[name -> "Burundi"].
cid(cia,"Rwanda"):country[name -> "Rwanda"].
cid(cia,"Tanzania"):country[name -> "Tanzania"].
cid(cia,"Cameroon"):country[name -> "Cameroon"].
cid(cia,"Central-African-Republic"):country[name -> "Central African Republic"].
cid(cia,"Chad"):country[name -> "Chad"].
cid(cia,"Equatorial-Guinea"):country[name -> "Equatorial Guinea"].
cid(cia,"Gabon"):country[name -> "Gabon"].
cid(cia,"Cape-Verde"):country[name -> "Cape Verde"].
cid(cia,"Sudan"):country[name -> "Sudan"].
cid(cia,"Comoros"):country[name -> "Comoros"].
cid(cia,"Guinea"):country[name -> "Guinea"].
cid(cia,"Liberia"):country[name -> "Liberia"].
cid(cia,"Djibouti"):country[name -> "Djibouti"].
cid(cia,"Eritrea"):country[name -> "Eritrea"].
cid(cia,"Ethiopia"):country[name -> "Ethiopia"].
cid(cia,"Somalia"):country[name -> "Somalia"].
cid(cia,"Kenya"):country[name -> "Kenya"].
cid(cia,"Europa-Island"):country[name -> "Europa Island"].
cid(cia,"French-Southern-and-Antarctic-Lands"):country[name -> "French Southern and Antarctic Lands"].
cid(cia,"Gambia"):country[name -> "Gambia"].
cid(cia,"Senegal"):country[name -> "Senegal"].
cid(cia,"Glorioso-Islands"):country[name -> "Glorioso Islands"].
cid(cia,"Guinea-Bissau"):country[name -> "Guinea-Bissau"].
cid(cia,"Sierra-Leone"):country[name -> "Sierra Leone"].
cid(cia,"Heard-Island-and-McDonald-Islands"):country[name -> "Heard Island and McDonald Islands"].
cid(cia,"Juan-de-Nova-Island"):country[name -> "Juan de Nova Island"].
cid(cia,"Uganda"):country[name -> "Uganda"].
cid(cia,"Lesotho"):country[name -> "Lesotho"].
cid(cia,"Madagascar"):country[name -> "Madagascar"].
cid(cia,"Malawi"):country[name -> "Malawi"].
cid(cia,"Mozambique"):country[name -> "Mozambique"].
cid(cia,"Mauritius"):country[name -> "Mauritius"].
cid(cia,"Mayotte"):country[name -> "Mayotte"].
cid(cia,"Swaziland"):country[name -> "Swaziland"].
cid(cia,"Reunion"):country[name -> "Reunion"].
cid(cia,"Saint-Helena"):country[name -> "Saint Helena"].
cid(cia,"Sao-Tome-and-Principe"):country[name -> "Sao Tome and Principe"].
cid(cia,"Seychelles"):country[name -> "Seychelles"].
cid(cia,"Tromelin-Island"):country[name -> "Tromelin Island"].

% 260 output(s) printed 

% Answer to query : ?- C:country[total_area -> Area].

cid(cia,"Albania"):country[total_area -> 28750].
cid(cia,"Greece"):country[total_area -> 131940].
cid(cia,"Macedonia"):country[total_area -> 25333].
cid(cia,"Serbia-and-Montenegro"):country[total_area -> 102350].
cid(cia,"Andorra"):country[total_area -> 450].
cid(cia,"France"):country[total_area -> 547030].
cid(cia,"Spain"):country[total_area -> 504750].
cid(cia,"Austria"):country[total_area -> 83850].
cid(cia,"Czech-Republic"):country[total_area -> 78703].
cid(cia,"Germany"):country[total_area -> 356910].
cid(cia,"Hungary"):country[total_area -> 93030].
cid(cia,"Italy"):country[total_area -> 301230].
cid(cia,"Liechtenstein"):country[total_area -> 160].
cid(cia,"Slovakia"):country[total_area -> 48845].
cid(cia,"Slovenia"):country[total_area -> 20256].
cid(cia,"Switzerland"):country[total_area -> 41290].
cid(cia,"Belarus"):country[total_area -> 207600].
cid(cia,"Latvia"):country[total_area -> 64100].
cid(cia,"Lithuania"):country[total_area -> 65200].
cid(cia,"Poland"):country[total_area -> 312683].
cid(cia,"Ukraine"):country[total_area -> 603700].
cid(cia,"Russia"):country[total_area -> 17075200].
cid(cia,"Belgium"):country[total_area -> 30510].
cid(cia,"Luxembourg"):country[total_area -> 2586].
cid(cia,"Netherlands"):country[total_area -> 37330].
cid(cia,"Bosnia-and-Herzegovina"):country[total_area -> 51233].
cid(cia,"Croatia"):country[total_area -> 56538].
cid(cia,"Bulgaria"):country[total_area -> 110910].
cid(cia,"Romania"):country[total_area -> 237500].
cid(cia,"Turkey"):country[total_area -> 780580].
cid(cia,"Denmark"):country[total_area -> 43070].
cid(cia,"Estonia"):country[total_area -> 45100].
cid(cia,"Faroe-Islands"):country[total_area -> 1400].
cid(cia,"Finland"):country[total_area -> 337030].
cid(cia,"Norway"):country[total_area -> 324220].
cid(cia,"Sweden"):country[total_area -> 449964].
cid(cia,"Monaco"):country[total_area -> #1.9].
cid(cia,"Gibraltar"):country[total_area -> #6.5].
cid(cia,"Guernsey"):country[total_area -> 194].
cid(cia,"Holy-See"):country[total_area -> #0.44].
cid(cia,"Iceland"):country[total_area -> 103000].
cid(cia,"Ireland"):country[total_area -> 70280].
cid(cia,"San-Marino"):country[total_area -> 60].
cid(cia,"Jan-Mayen"):country[total_area -> 373].
cid(cia,"Jersey"):country[total_area -> 117].
cid(cia,"Malta"):country[total_area -> 320].
cid(cia,"Man"):country[total_area -> 588].
cid(cia,"Moldova"):country[total_area -> 33700].
cid(cia,"Portugal"):country[total_area -> 92080].
cid(cia,"Svalbard"):country[total_area -> 62049].
cid(cia,"United-Kingdom"):country[total_area -> 244820].
cid(cia,"Afghanistan"):country[total_area -> 647500].
cid(cia,"China"):country[total_area -> 9596960].
cid(cia,"Iran"):country[total_area -> 1648000].
cid(cia,"Pakistan"):country[total_area -> 803940].
cid(cia,"Tajikistan"):country[total_area -> 143100].
cid(cia,"Turkmenistan"):country[total_area -> 488100].
cid(cia,"Uzbekistan"):country[total_area -> 447400].
cid(cia,"Armenia"):country[total_area -> 29800].
cid(cia,"Georgia"):country[total_area -> 69700].
cid(cia,"Ashmore-and-Cartier-Islands"):country[total_area -> 5].
cid(cia,"Azerbaijan"):country[total_area -> 86600].
cid(cia,"Bahrain"):country[total_area -> 620].
cid(cia,"Bangladesh"):country[total_area -> 144000].
cid(cia,"Burma"):country[total_area -> 678500].
cid(cia,"India"):country[total_area -> 3287590].
cid(cia,"Bhutan"):country[total_area -> 47000].
cid(cia,"British-Indian-Ocean-Territory"):country[total_area -> 60].
cid(cia,"Brunei"):country[total_area -> 5770].
cid(cia,"Malaysia"):country[total_area -> 329750].
cid(cia,"Laos"):country[total_area -> 236800].
cid(cia,"Thailand"):country[total_area -> 514000].
cid(cia,"Cambodia"):country[total_area -> 181040].
cid(cia,"Vietnam"):country[total_area -> 329560].
cid(cia,"Hong-Kong"):country[total_area -> 1040].
cid(cia,"Kazakstan"):country[total_area -> 2717300].
cid(cia,"North-Korea"):country[total_area -> 120540].
cid(cia,"Kyrgyzstan"):country[total_area -> 198500].
cid(cia,"Macau"):country[total_area -> 16].
cid(cia,"Mongolia"):country[total_area -> 1565000].
cid(cia,"Nepal"):country[total_area -> 140800].
cid(cia,"Christmas-Island"):country[total_area -> 135].
cid(cia,"Cocos-Islands"):country[total_area -> 14].
cid(cia,"Cyprus"):country[total_area -> 9250].
cid(cia,"Gaza-Strip"):country[total_area -> 360].
cid(cia,"Israel"):country[total_area -> 20770].
cid(cia,"Egypt"):country[total_area -> 1001450].
cid(cia,"Indonesia"):country[total_area -> 1919440].
cid(cia,"Papua-New-Guinea"):country[total_area -> 461690].
cid(cia,"Iraq"):country[total_area -> 437072].
cid(cia,"Jordan"):country[total_area -> 89213].
cid(cia,"Kuwait"):country[total_area -> 17820].
cid(cia,"Saudi-Arabia"):country[total_area -> 1960582].
cid(cia,"Syria"):country[total_area -> 185180].
cid(cia,"Lebanon"):country[total_area -> 10400].
cid(cia,"West-Bank"):country[total_area -> 5860].
cid(cia,"Japan"):country[total_area -> 377835].
cid(cia,"South-Korea"):country[total_area -> 98480].
cid(cia,"Maldives"):country[total_area -> 300].
cid(cia,"Oman"):country[total_area -> 212460].
cid(cia,"United-Arab-Emirates"):country[total_area -> 75581].
cid(cia,"Yemen"):country[total_area -> 527970].
cid(cia,"Philippines"):country[total_area -> 300000].
cid(cia,"Qatar"):country[total_area -> 11000].
cid(cia,"Singapore"):country[total_area -> #632.6].
cid(cia,"Sri-Lanka"):country[total_area -> 65610].
cid(cia,"Taiwan"):country[total_area -> 35980].
cid(cia,"Anguilla"):country[total_area -> 91].
cid(cia,"Antigua-and-Barbuda"):country[total_area -> 440].
cid(cia,"Aruba"):country[total_area -> 193].
cid(cia,"Bahamas"):country[total_area -> 13940].
cid(cia,"Barbados"):country[total_area -> 430].
cid(cia,"Belize"):country[total_area -> 22960].
cid(cia,"Guatemala"):country[total_area -> 108890].
cid(cia,"Mexico"):country[total_area -> 1972550].
cid(cia,"Bermuda"):country[total_area -> 50].
cid(cia,"British-Virgin-Islands"):country[total_area -> 150].
cid(cia,"Canada"):country[total_area -> 9976140].
cid(cia,"United-States"):country[total_area -> 9372610].
cid(cia,"Cayman-Islands"):country[total_area -> 260].
cid(cia,"Clipperton-Island"):country[total_area -> 7].
cid(cia,"Costa-Rica"):country[total_area -> 51100].
cid(cia,"Nicaragua"):country[total_area -> 129494].
cid(cia,"Panama"):country[total_area -> 78200].
cid(cia,"Cuba"):country[total_area -> 110860].
cid(cia,"Dominica"):country[total_area -> 750].
cid(cia,"Dominican-Republic"):country[total_area -> 48730].
cid(cia,"Haiti"):country[total_area -> 27750].
cid(cia,"El-Salvador"):country[total_area -> 21040].
cid(cia,"Honduras"):country[total_area -> 112090].
cid(cia,"Greenland"):country[total_area -> 2175600].
cid(cia,"Grenada"):country[total_area -> 340].
cid(cia,"Guadeloupe"):country[total_area -> 1780].
cid(cia,"Jamaica"):country[total_area -> 10990].
cid(cia,"Martinique"):country[total_area -> 1100].
cid(cia,"Montserrat"):country[total_area -> 100].
cid(cia,"Navassa-Island"):country[total_area -> #5.2].
cid(cia,"Netherlands-Antilles"):country[total_area -> 960].
cid(cia,"Colombia"):country[total_area -> 1138910].
cid(cia,"Puerto-Rico"):country[total_area -> 9104].
cid(cia,"Saint-Kitts-and-Nevis"):country[total_area -> 269].
cid(cia,"Saint-Lucia"):country[total_area -> 620].
cid(cia,"Saint-Pierre-and-Miquelon"):country[total_area -> 242].
cid(cia,"Saint-Vincent-and-the-Grenadines"):country[total_area -> 340].
cid(cia,"Trinidad-and-Tobago"):country[total_area -> 5130].
cid(cia,"Turks-and-Caicos-Islands"):country[total_area -> 430].
cid(cia,"Virgin-Islands"):country[total_area -> 352].
cid(cia,"American-Samoa"):country[total_area -> 199].
cid(cia,"Australia"):country[total_area -> 7686850].
cid(cia,"Baker-Island"):country[total_area -> #1.4].
cid(cia,"Cook-Islands"):country[total_area -> 240].
cid(cia,"Fiji"):country[total_area -> 18270].
cid(cia,"French-Polynesia"):country[total_area -> 4167].
cid(cia,"Guam"):country[total_area -> #541.3].
cid(cia,"Howland-Island"):country[total_area -> #1.6].
cid(cia,"Jarvis-Island"):country[total_area -> #4.5].
cid(cia,"Johnston-Atoll"):country[total_area -> #2.8].
cid(cia,"Kingman-Reef"):country[total_area -> 1].
cid(cia,"Kiribati"):country[total_area -> 717].
cid(cia,"Marshall-Islands"):country[total_area -> #181.3].
cid(cia,"Micronesia"):country[total_area -> 702].
cid(cia,"Midway-Islands"):country[total_area -> #5.2].
cid(cia,"Nauru"):country[total_area -> 21].
cid(cia,"New-Caledonia"):country[total_area -> 19060].
cid(cia,"New-Zealand"):country[total_area -> 268680].
cid(cia,"Niue"):country[total_area -> 260].
cid(cia,"Norfolk-Island"):country[total_area -> #34.6].
cid(cia,"Northern-Mariana-Islands"):country[total_area -> 477].
cid(cia,"Palau"):country[total_area -> 458].
cid(cia,"Palmyra-Atoll"):country[total_area -> #11.9].
cid(cia,"Pitcairn-Islands"):country[total_area -> 47].
cid(cia,"Solomon-Islands"):country[total_area -> 28450].
cid(cia,"Tokelau"):country[total_area -> 10].
cid(cia,"Tonga"):country[total_area -> 748].
cid(cia,"Tuvalu"):country[total_area -> 26].
cid(cia,"Vanuatu"):country[total_area -> 14760].
cid(cia,"Wake-Island"):country[total_area -> #6.5].
cid(cia,"Wallis-and-Futuna"):country[total_area -> 274].
cid(cia,"Western-Samoa"):country[total_area -> 2860].
cid(cia,"Argentina"):country[total_area -> 2766890].
cid(cia,"Bolivia"):country[total_area -> 1098580].
cid(cia,"Brazil"):country[total_area -> 8511965].
cid(cia,"Chile"):country[total_area -> 756950].
cid(cia,"Paraguay"):country[total_area -> 406750].
cid(cia,"Uruguay"):country[total_area -> 176220].
cid(cia,"Peru"):country[total_area -> 1285220].
cid(cia,"French-Guiana"):country[total_area -> 91000].
cid(cia,"Guyana"):country[total_area -> 214970].
cid(cia,"Suriname"):country[total_area -> 163270].
cid(cia,"Venezuela"):country[total_area -> 912050].
cid(cia,"Ecuador"):country[total_area -> 283560].
cid(cia,"Falkland-Islands"):country[total_area -> 12170].
cid(cia,"South-Georgia-and-the-South-Sandwich-Islands"):country[total_area -> 4066].
cid(cia,"Algeria"):country[total_area -> 2381740].
cid(cia,"Libya"):country[total_area -> 1759540].
cid(cia,"Mali"):country[total_area -> 1240000].
cid(cia,"Mauritania"):country[total_area -> 1030700].
cid(cia,"Morocco"):country[total_area -> 446550].
cid(cia,"Niger"):country[total_area -> 1267000].
cid(cia,"Tunisia"):country[total_area -> 163610].
cid(cia,"Western-Sahara"):country[total_area -> 266000].
cid(cia,"Angola"):country[total_area -> 1246700].
cid(cia,"Congo"):country[total_area -> 342000].
cid(cia,"Namibia"):country[total_area -> 825418].
cid(cia,"Zaire"):country[total_area -> 2345410].
cid(cia,"Zambia"):country[total_area -> 752610].
cid(cia,"Bassas-da-India"):country[total_area -> #0.2].
cid(cia,"Benin"):country[total_area -> 112620].
cid(cia,"Burkina-Faso"):country[total_area -> 274200].
cid(cia,"Nigeria"):country[total_area -> 923770].
cid(cia,"Togo"):country[total_area -> 56790].
cid(cia,"Botswana"):country[total_area -> 600370].
cid(cia,"South-Africa"):country[total_area -> 1219912].
cid(cia,"Zimbabwe"):country[total_area -> 390580].
cid(cia,"Bouvet-Island"):country[total_area -> 58].
cid(cia,"Cote-dIvoire"):country[total_area -> 322460].
cid(cia,"Ghana"):country[total_area -> 238540].
cid(cia,"Burundi"):country[total_area -> 27830].
cid(cia,"Rwanda"):country[total_area -> 26340].
cid(cia,"Tanzania"):country[total_area -> 945090].
cid(cia,"Cameroon"):country[total_area -> 475440].
cid(cia,"Central-African-Republic"):country[total_area -> 622980].
cid(cia,"Chad"):country[total_area -> 1284000].
cid(cia,"Equatorial-Guinea"):country[total_area -> 28050].
cid(cia,"Gabon"):country[total_area -> 267670].
cid(cia,"Cape-Verde"):country[total_area -> 4030].
cid(cia,"Sudan"):country[total_area -> 2505810].
cid(cia,"Comoros"):country[total_area -> 2170].
cid(cia,"Guinea"):country[total_area -> 245860].
cid(cia,"Liberia"):country[total_area -> 111370].
cid(cia,"Djibouti"):country[total_area -> 22000].
cid(cia,"Eritrea"):country[total_area -> 121320].
cid(cia,"Ethiopia"):country[total_area -> 1127127].
cid(cia,"Somalia"):country[total_area -> 637660].
cid(cia,"Kenya"):country[total_area -> 582650].
cid(cia,"Europa-Island"):country[total_area -> 28].
cid(cia,"French-Southern-and-Antarctic-Lands"):country[total_area -> 7781].
cid(cia,"Gambia"):country[total_area -> 11300].
cid(cia,"Senegal"):country[total_area -> 196190].
cid(cia,"Glorioso-Islands"):country[total_area -> 5].
cid(cia,"Guinea-Bissau"):country[total_area -> 36120].
cid(cia,"Sierra-Leone"):country[total_area -> 71740].
cid(cia,"Heard-Island-and-McDonald-Islands"):country[total_area -> 412].
cid(cia,"Juan-de-Nova-Island"):country[total_area -> #4.4].
cid(cia,"Uganda"):country[total_area -> 236040].
cid(cia,"Lesotho"):country[total_area -> 30350].
cid(cia,"Madagascar"):country[total_area -> 587040].
cid(cia,"Malawi"):country[total_area -> 118480].
cid(cia,"Mozambique"):country[total_area -> 801590].
cid(cia,"Mauritius"):country[total_area -> 1860].
cid(cia,"Mayotte"):country[total_area -> 375].
cid(cia,"Swaziland"):country[total_area -> 17360].
cid(cia,"Reunion"):country[total_area -> 2510].
cid(cia,"Saint-Helena"):country[total_area -> 410].
cid(cia,"Sao-Tome-and-Principe"):country[total_area -> 960].
cid(cia,"Seychelles"):country[total_area -> 455].
cid(cia,"Tromelin-Island"):country[total_area -> 1].

% 257 output(s) printed 

% Answer to query : ?- C:country[population -> Pop].

cid(cia,"Albania"):country[population -> 3249136].
cid(cia,"Greece"):country[population -> 10538594].
cid(cia,"Macedonia"):country[population -> 2104035].
cid(cia,"Serbia-and-Montenegro"):country[population -> 10614558].
cid(cia,"Andorra"):country[population -> 72766].
cid(cia,"France"):country[population -> 58317450].
cid(cia,"Spain"):country[population -> 39181114].
cid(cia,"Austria"):country[population -> 8023244].
cid(cia,"Czech-Republic"):country[population -> 10321120].
cid(cia,"Germany"):country[population -> 83536115].
cid(cia,"Hungary"):country[population -> 10002541].
cid(cia,"Italy"):country[population -> 57460274].
cid(cia,"Liechtenstein"):country[population -> 31122].
cid(cia,"Slovakia"):country[population -> 5374362].
cid(cia,"Slovenia"):country[population -> 1951443].
cid(cia,"Switzerland"):country[population -> 7207060].
cid(cia,"Belarus"):country[population -> 10415973].
cid(cia,"Latvia"):country[population -> 2468982].
cid(cia,"Lithuania"):country[population -> 3646041].
cid(cia,"Poland"):country[population -> 38642565].
cid(cia,"Ukraine"):country[population -> 50864009].
cid(cia,"Russia"):country[population -> 148178487].
cid(cia,"Belgium"):country[population -> 10170241].
cid(cia,"Luxembourg"):country[population -> 415870].
cid(cia,"Netherlands"):country[population -> 15568034].
cid(cia,"Bosnia-and-Herzegovina"):country[population -> 2656240].
cid(cia,"Croatia"):country[population -> 5004112].
cid(cia,"Bulgaria"):country[population -> 8612757].
cid(cia,"Romania"):country[population -> 21657162].
cid(cia,"Turkey"):country[population -> 62484478].
cid(cia,"Denmark"):country[population -> 5249632].
cid(cia,"Estonia"):country[population -> 1459428].
cid(cia,"Faroe-Islands"):country[population -> 43857].
cid(cia,"Finland"):country[population -> 5105230].
cid(cia,"Norway"):country[population -> 4383807].
cid(cia,"Sweden"):country[population -> 8900954].
cid(cia,"Monaco"):country[population -> 31719].
cid(cia,"Gibraltar"):country[population -> 28765].
cid(cia,"Guernsey"):country[population -> 62920].
cid(cia,"Holy-See"):country[population -> 840].
cid(cia,"Iceland"):country[population -> 270292].
cid(cia,"Ireland"):country[population -> 3566833].
cid(cia,"San-Marino"):country[population -> 24521].
cid(cia,"Jersey"):country[population -> 87848].
cid(cia,"Malta"):country[population -> 375576].
cid(cia,"Man"):country[population -> 73837].
cid(cia,"Moldova"):country[population -> 4463847].
cid(cia,"Portugal"):country[population -> 9865114].
cid(cia,"Svalbard"):country[population -> 2715].
cid(cia,"United-Kingdom"):country[population -> 58489975].
cid(cia,"Afghanistan"):country[population -> 22664136].
cid(cia,"China"):country[population -> 1210004956].
cid(cia,"Iran"):country[population -> 66094264].
cid(cia,"Pakistan"):country[population -> 129275660].
cid(cia,"Tajikistan"):country[population -> 5916373].
cid(cia,"Turkmenistan"):country[population -> 4149283].
cid(cia,"Uzbekistan"):country[population -> 23418381].
cid(cia,"Armenia"):country[population -> 3463574].
cid(cia,"Georgia"):country[population -> 5219810].
cid(cia,"Azerbaijan"):country[population -> 7676953].
cid(cia,"Bahrain"):country[population -> 590042].
cid(cia,"Bangladesh"):country[population -> 123062800].
cid(cia,"Burma"):country[population -> 45975625].
cid(cia,"India"):country[population -> 952107694].
cid(cia,"Bhutan"):country[population -> 1822625].
cid(cia,"Brunei"):country[population -> 299939].
cid(cia,"Malaysia"):country[population -> 19962893].
cid(cia,"Laos"):country[population -> 4975772].
cid(cia,"Thailand"):country[population -> 58851357].
cid(cia,"Cambodia"):country[population -> 10861218].
cid(cia,"Vietnam"):country[population -> 73976973].
cid(cia,"Hong-Kong"):country[population -> 6305413].
cid(cia,"Kazakstan"):country[population -> 16916463].
cid(cia,"North-Korea"):country[population -> 23904124].
cid(cia,"Kyrgyzstan"):country[population -> 4529648].
cid(cia,"Macau"):country[population -> 496837].
cid(cia,"Mongolia"):country[population -> 2496617].
cid(cia,"Nepal"):country[population -> 22094033].
cid(cia,"Christmas-Island"):country[population -> 813].
cid(cia,"Cocos-Islands"):country[population -> 609].
cid(cia,"Cyprus"):country[population -> 744609].
cid(cia,"Gaza-Strip"):country[population -> 813332].
cid(cia,"Israel"):country[population -> 5421995].
cid(cia,"Egypt"):country[population -> 63575107].
cid(cia,"Indonesia"):country[population -> 206611600].
cid(cia,"Papua-New-Guinea"):country[population -> 4394537].
cid(cia,"Iraq"):country[population -> 21422292].
cid(cia,"Jordan"):country[population -> 4212152].
cid(cia,"Kuwait"):country[population -> 1950047].
cid(cia,"Saudi-Arabia"):country[population -> 19409058].
cid(cia,"Syria"):country[population -> 15608648].
cid(cia,"Lebanon"):country[population -> 3776317].
cid(cia,"West-Bank"):country[population -> 1427741].
cid(cia,"Japan"):country[population -> 125449703].
cid(cia,"South-Korea"):country[population -> 45482291].
cid(cia,"Maldives"):country[population -> 270758].
cid(cia,"Oman"):country[population -> 2186548].
cid(cia,"United-Arab-Emirates"):country[population -> 3057337].
cid(cia,"Yemen"):country[population -> 13483178].
cid(cia,"Philippines"):country[population -> 74480848].
cid(cia,"Qatar"):country[population -> 547761].
cid(cia,"Singapore"):country[population -> 3396924].
cid(cia,"Sri-Lanka"):country[population -> 18553074].
cid(cia,"Taiwan"):country[population -> 21465881].
cid(cia,"Anguilla"):country[population -> 10424].
cid(cia,"Antigua-and-Barbuda"):country[population -> 65647].
cid(cia,"Aruba"):country[population -> 67794].
cid(cia,"Bahamas"):country[population -> 259367].
cid(cia,"Barbados"):country[population -> 257030].
cid(cia,"Belize"):country[population -> 219296].
cid(cia,"Guatemala"):country[population -> 11277614].
cid(cia,"Mexico"):country[population -> 95772462].
cid(cia,"Bermuda"):country[population -> 62099].
cid(cia,"British-Virgin-Islands"):country[population -> 13195].
cid(cia,"Canada"):country[population -> 28820671].
cid(cia,"United-States"):country[population -> 266476278].
cid(cia,"Cayman-Islands"):country[population -> 34646].
cid(cia,"Costa-Rica"):country[population -> 3463083].
cid(cia,"Nicaragua"):country[population -> 4272352].
cid(cia,"Panama"):country[population -> 2655094].
cid(cia,"Cuba"):country[population -> 10951334].
cid(cia,"Dominica"):country[population -> 82926].
cid(cia,"Dominican-Republic"):country[population -> 8088881].
cid(cia,"Haiti"):country[population -> 6731539].
cid(cia,"El-Salvador"):country[population -> 5828987].
cid(cia,"Honduras"):country[population -> 5605193].
cid(cia,"Greenland"):country[population -> 58203].
cid(cia,"Grenada"):country[population -> 94961].
cid(cia,"Guadeloupe"):country[population -> 407768].
cid(cia,"Jamaica"):country[population -> 2595275].
cid(cia,"Martinique"):country[population -> 399151].
cid(cia,"Montserrat"):country[population -> 12771].
cid(cia,"Netherlands-Antilles"):country[population -> 208968].
cid(cia,"Colombia"):country[population -> 36813161].
cid(cia,"Puerto-Rico"):country[population -> 3819023].
cid(cia,"Saint-Kitts-and-Nevis"):country[population -> 41369].
cid(cia,"Saint-Lucia"):country[population -> 157862].
cid(cia,"Saint-Pierre-and-Miquelon"):country[population -> 6809].
cid(cia,"Saint-Vincent-and-the-Grenadines"):country[population -> 118344].
cid(cia,"Trinidad-and-Tobago"):country[population -> 1272385].
cid(cia,"Turks-and-Caicos-Islands"):country[population -> 14302].
cid(cia,"Virgin-Islands"):country[population -> 97120].
cid(cia,"American-Samoa"):country[population -> 59566].
cid(cia,"Australia"):country[population -> 18260863].
cid(cia,"Cook-Islands"):country[population -> 19561].
cid(cia,"Fiji"):country[population -> 782381].
cid(cia,"French-Polynesia"):country[population -> 224911].
cid(cia,"Guam"):country[population -> 156974].
cid(cia,"Kiribati"):country[population -> 80919].
cid(cia,"Marshall-Islands"):country[population -> 58363].
cid(cia,"Micronesia"):country[population -> 125377].
cid(cia,"Nauru"):country[population -> 10273].
cid(cia,"New-Caledonia"):country[population -> 187784].
cid(cia,"New-Zealand"):country[population -> 3547983].
cid(cia,"Niue"):country[population -> 2174].
cid(cia,"Norfolk-Island"):country[population -> 2209].
cid(cia,"Northern-Mariana-Islands"):country[population -> 52284].
cid(cia,"Palau"):country[population -> 16952].
cid(cia,"Pitcairn-Islands"):country[population -> 56].
cid(cia,"Solomon-Islands"):country[population -> 412902].
cid(cia,"Tokelau"):country[population -> 1482].
cid(cia,"Tonga"):country[population -> 106466].
cid(cia,"Tuvalu"):country[population -> 10146].
cid(cia,"Vanuatu"):country[population -> 177504].
cid(cia,"Wallis-and-Futuna"):country[population -> 14659].
cid(cia,"Western-Samoa"):country[population -> 214384].
cid(cia,"Argentina"):country[population -> 34672997].
cid(cia,"Bolivia"):country[population -> 7165257].
cid(cia,"Brazil"):country[population -> 162661214].
cid(cia,"Chile"):country[population -> 14333258].
cid(cia,"Paraguay"):country[population -> 5504146].
cid(cia,"Uruguay"):country[population -> 3238952].
cid(cia,"Peru"):country[population -> 24523408].
cid(cia,"French-Guiana"):country[population -> 151187].
cid(cia,"Guyana"):country[population -> 712091].
cid(cia,"Suriname"):country[population -> 436418].
cid(cia,"Venezuela"):country[population -> 21983188].
cid(cia,"Ecuador"):country[population -> 11466291].
cid(cia,"Falkland-Islands"):country[population -> 2374].
cid(cia,"Algeria"):country[population -> 29183032].
cid(cia,"Libya"):country[population -> 5445436].
cid(cia,"Mali"):country[population -> 9653261].
cid(cia,"Mauritania"):country[population -> 2336048].
cid(cia,"Morocco"):country[population -> 29779156].
cid(cia,"Niger"):country[population -> 9113001].
cid(cia,"Tunisia"):country[population -> 9019687].
cid(cia,"Western-Sahara"):country[population -> 222631].
cid(cia,"Angola"):country[population -> 10342899].
cid(cia,"Congo"):country[population -> 2527841].
cid(cia,"Namibia"):country[population -> 1677243].
cid(cia,"Zaire"):country[population -> 46498539].
cid(cia,"Zambia"):country[population -> 9159072].
cid(cia,"Benin"):country[population -> 5709529].
cid(cia,"Burkina-Faso"):country[population -> 10623323].
cid(cia,"Nigeria"):country[population -> 103912489].
cid(cia,"Togo"):country[population -> 4570530].
cid(cia,"Botswana"):country[population -> 1477630].
cid(cia,"South-Africa"):country[population -> 41743459].
cid(cia,"Zimbabwe"):country[population -> 11271314].
cid(cia,"Cote-dIvoire"):country[population -> 14762445].
cid(cia,"Ghana"):country[population -> 17698271].
cid(cia,"Burundi"):country[population -> 5943057].
cid(cia,"Rwanda"):country[population -> 6853359].
cid(cia,"Tanzania"):country[population -> 29058470].
cid(cia,"Cameroon"):country[population -> 14261557].
cid(cia,"Central-African-Republic"):country[population -> 3274426].
cid(cia,"Chad"):country[population -> 6976845].
cid(cia,"Equatorial-Guinea"):country[population -> 431282].
cid(cia,"Gabon"):country[population -> 1172798].
cid(cia,"Cape-Verde"):country[population -> 449066].
cid(cia,"Sudan"):country[population -> 31547543].
cid(cia,"Comoros"):country[population -> 569237].
cid(cia,"Guinea"):country[population -> 7411981].
cid(cia,"Liberia"):country[population -> 2109789].
cid(cia,"Djibouti"):country[population -> 427642].
cid(cia,"Eritrea"):country[population -> 3427883].
cid(cia,"Ethiopia"):country[population -> 57171662].
cid(cia,"Somalia"):country[population -> 9639151].
cid(cia,"Kenya"):country[population -> 28176686].
cid(cia,"Gambia"):country[population -> 1204984].
cid(cia,"Senegal"):country[population -> 9092749].
cid(cia,"Guinea-Bissau"):country[population -> 1151330].
cid(cia,"Sierra-Leone"):country[population -> 4793121].
cid(cia,"Uganda"):country[population -> 20158176].
cid(cia,"Lesotho"):country[population -> 1970781].
cid(cia,"Madagascar"):country[population -> 13670507].
cid(cia,"Malawi"):country[population -> 9452844].
cid(cia,"Mozambique"):country[population -> 17877927].
cid(cia,"Mauritius"):country[population -> 1140256].
cid(cia,"Mayotte"):country[population -> 100838].
cid(cia,"Swaziland"):country[population -> 998730].
cid(cia,"Reunion"):country[population -> 679198].
cid(cia,"Saint-Helena"):country[population -> 6782].
cid(cia,"Sao-Tome-and-Principe"):country[population -> 144128].
cid(cia,"Seychelles"):country[population -> 77575].

% 235 output(s) printed 

% Answer to query : ?- C:country[capital -> Cap].

cid(cia,"Albania"):country[capital -> cty(cid(cia,"Albania"),"Tirane")].
cid(cia,"Greece"):country[capital -> cty("Greece","Athens")].
cid(cia,"Macedonia"):country[capital -> cty(cid(cia,"Macedonia"),"Skopje")].
cid(cia,"Serbia-and-Montenegro"):country[capital -> cty(cid(cia,"Serbia-and-Montenegro"),"Belgrade")].
cid(cia,"Andorra"):country[capital -> cty(cid(cia,"Andorra"),"Andorra-la-Vella")].
cid(cia,"France"):country[capital -> cty("France","Paris")].
cid(cia,"Spain"):country[capital -> cty("Spain","Madrid")].
cid(cia,"Austria"):country[capital -> cty("Austria","Vienna")].
cid(cia,"Czech-Republic"):country[capital -> cty(cid(cia,"Czech-Republic"),2)].
cid(cia,"Germany"):country[capital -> cty("Germany","Berlin")].
cid(cia,"Hungary"):country[capital -> cty("Hungary","Budapest")].
cid(cia,"Italy"):country[capital -> cty("Italy","Rome")].
cid(cia,"Liechtenstein"):country[capital -> cty(cid(cia,"Liechtenstein"),"Vaduz")].
cid(cia,"Slovakia"):country[capital -> cty(cid(cia,"Slovakia"),"Bratislava")].
cid(cia,"Slovenia"):country[capital -> cty(cid(cia,"Slovenia"),"Ljubljana")].
cid(cia,"Switzerland"):country[capital -> cty(cid(cia,"Switzerland"),5)].
cid(cia,"Belarus"):country[capital -> cty("Belarus","Minsk")].
cid(cia,"Latvia"):country[capital -> cty(cid(cia,"Latvia"),"Riga")].
cid(cia,"Lithuania"):country[capital -> cty(cid(cia,"Lithuania"),"Vilnius")].
cid(cia,"Poland"):country[capital -> cty("Poland","Warsaw")].
cid(cia,"Ukraine"):country[capital -> cty("Ukraine","Kiev")].
cid(cia,"Russia"):country[capital -> cty("Russia","Moscow")].
cid(cia,"Belgium"):country[capital -> cty("Belgium","Brussels")].
cid(cia,"Luxembourg"):country[capital -> cty(cid(cia,"Luxembourg"),"Luxembourg")].
cid(cia,"Netherlands"):country[capital -> cty("Netherlands","Amsterdam")].
cid(cia,"Bosnia-and-Herzegovina"):country[capital -> cty(cid(cia,"Bosnia-and-Herzegovina"),"Sarajevo")].
cid(cia,"Croatia"):country[capital -> cty(cid(cia,"Croatia"),"Zagreb")].
cid(cia,"Bulgaria"):country[capital -> cty("Bulgaria","Sofia")].
cid(cia,"Romania"):country[capital -> cty(cid(cia,"Romania"),2)].
cid(cia,"Turkey"):country[capital -> cty("Turkey","Ankara")].
cid(cia,"Denmark"):country[capital -> cty("Denmark","Copenhagen")].
cid(cia,"Estonia"):country[capital -> cty(cid(cia,"Estonia"),"Tallinn")].
cid(cia,"Faroe-Islands"):country[capital -> cty(cid(cia,"Faroe-Islands"),"Torshavn")].
cid(cia,"Finland"):country[capital -> cty("Finland","Helsinki")].
cid(cia,"Norway"):country[capital -> cty("Norway","Oslo")].
cid(cia,"Sweden"):country[capital -> cty("Sweden","Stockholm")].
cid(cia,"Monaco"):country[capital -> cty(cid(cia,"Monaco"),"Monaco")].
cid(cia,"Gibraltar"):country[capital -> cty("Gibraltar","Gibraltar")].
cid(cia,"Guernsey"):country[capital -> cty(cid(cia,"Guernsey"),"Saint-Peter-Port")].
cid(cia,"Holy-See"):country[capital -> cty(cid(cia,"Holy-See"),"Vatican-City")].
cid(cia,"Iceland"):country[capital -> cty("Iceland","Reykjavik")].
cid(cia,"Ireland"):country[capital -> cty("Ireland","Dublin")].
cid(cia,"San-Marino"):country[capital -> cty(cid(cia,"San-Marino"),"San-Marino")].
cid(cia,"Jersey"):country[capital -> cty(cid(cia,"Jersey"),"Saint-Helier")].
cid(cia,"Malta"):country[capital -> cty(cid(cia,"Malta"),"Valletta")].
cid(cia,"Man"):country[capital -> cty(cid(cia,"Man"),"Douglas")].
cid(cia,"Moldova"):country[capital -> cty(cid(cia,"Moldova"),"Chisinau")].
cid(cia,"Portugal"):country[capital -> cty("Portugal","Lisbon")].
cid(cia,"Svalbard"):country[capital -> cty(cid(cia,"Svalbard"),"Longyearbyen")].
cid(cia,"United-Kingdom"):country[capital -> cty(cid(cia,"United-Kingdom"),2)].
cid(cia,"Afghanistan"):country[capital -> cty("Afghanistan","Kabul")].
cid(cia,"China"):country[capital -> cty(cid(cia,"China"),3)].
cid(cia,"Iran"):country[capital -> cty("Iran","Tehran")].
cid(cia,"Pakistan"):country[capital -> cty(cid(cia,"Pakistan"),15)].
cid(cia,"Tajikistan"):country[capital -> cty(cid(cia,"Tajikistan"),2)].
cid(cia,"Turkmenistan"):country[capital -> cty(cid(cia,"Turkmenistan"),2)].
cid(cia,"Uzbekistan"):country[capital -> cty("Uzbekistan","Tashkent")].
cid(cia,"Armenia"):country[capital -> cty(cid(cia,"Armenia"),"Yerevan")].
cid(cia,"Georgia"):country[capital -> cty("Georgia","Tbilisi")].
cid(cia,"Azerbaijan"):country[capital -> cty(cid(cia,"Azerbaijan"),"Baku")].
cid(cia,"Bahrain"):country[capital -> cty(cid(cia,"Bahrain"),"Manama")].
cid(cia,"Bangladesh"):country[capital -> cty(cid(cia,"Bangladesh"),2,0)].
cid(cia,"Burma"):country[capital -> cty("Burma","Rangoon")].
cid(cia,"India"):country[capital -> cty("India","New Delhi")].
cid(cia,"Bhutan"):country[capital -> cty(cid(cia,"Bhutan"),"Thimphu")].
cid(cia,"Brunei"):country[capital -> cty(cid(cia,"Brunei"),"Bandar-Seri-Begawan")].
cid(cia,"Malaysia"):country[capital -> cty("Malaysia","Kuala Lumpur")].
cid(cia,"Laos"):country[capital -> cty(cid(cia,"Laos"),"Vientiane")].
cid(cia,"Thailand"):country[capital -> cty("Thailand","Bangkok")].
cid(cia,"Cambodia"):country[capital -> cty("Cambodia","Phnom Penh")].
cid(cia,"Vietnam"):country[capital -> cty("Vietnam","Hanoi")].
cid(cia,"Kazakstan"):country[capital -> cty(cid(cia,"Kazakstan"),2)].
cid(cia,"North-Korea"):country[capital -> cty(cid(cia,"North-Korea"),2)].
cid(cia,"Kyrgyzstan"):country[capital -> cty(cid(cia,"Kyrgyzstan"),"Bishkek")].
cid(cia,"Macau"):country[capital -> cty(cid(cia,"Macau"),"Macau")].
cid(cia,"Mongolia"):country[capital -> cty(cid(cia,"Mongolia"),"Ulaanbaatar")].
cid(cia,"Nepal"):country[capital -> cty(cid(cia,"Nepal"),"Kathmandu")].
cid(cia,"Christmas-Island"):country[capital -> cty(cid(cia,"Christmas-Island"),"The-Settlement")].
cid(cia,"Cocos-Islands"):country[capital -> cty(cid(cia,"Cocos-Islands"),"West-Island")].
cid(cia,"Cyprus"):country[capital -> cty(cid(cia,"Cyprus"),"Nicosia")].
cid(cia,"Israel"):country[capital -> cty("Israel","Jerusalem")].
cid(cia,"Egypt"):country[capital -> cty("Egypt","Cairo")].
cid(cia,"Indonesia"):country[capital -> cty(cid(cia,"Indonesia"),2)].
cid(cia,"Papua-New-Guinea"):country[capital -> cty(cid(cia,"Papua-New-Guinea"),"Port-Moresby")].
cid(cia,"Iraq"):country[capital -> cty("Iraq","Baghdad")].
cid(cia,"Jordan"):country[capital -> cty("Jordan","Amman")].
cid(cia,"Kuwait"):country[capital -> cty(cid(cia,"Kuwait"),"Kuwait")].
cid(cia,"Saudi-Arabia"):country[capital -> cty(cid(cia,"Saudi-Arabia"),"Riyadh")].
cid(cia,"Syria"):country[capital -> cty("Syria","Damascus")].
cid(cia,"Lebanon"):country[capital -> cty("Lebanon","Beirut")].
cid(cia,"Japan"):country[capital -> cty("Japan","Tokyo")].
cid(cia,"South-Korea"):country[capital -> cty(cid(cia,"South-Korea"),2)].
cid(cia,"Maldives"):country[capital -> cty(cid(cia,"Maldives"),"Male")].
cid(cia,"Oman"):country[capital -> cty(cid(cia,"Oman"),"Muscat")].
cid(cia,"United-Arab-Emirates"):country[capital -> cty(cid(cia,"United-Arab-Emirates"),3)].
cid(cia,"Yemen"):country[capital -> cty(cid(cia,"Yemen"),"Sanaa")].
cid(cia,"Philippines"):country[capital -> cty("Philippines","Manila")].
cid(cia,"Qatar"):country[capital -> cty(cid(cia,"Qatar"),"Doha")].
cid(cia,"Singapore"):country[capital -> cty("Singapore","Singapore")].
cid(cia,"Sri-Lanka"):country[capital -> cty(cid(cia,"Sri-Lanka"),"Colombo")].
cid(cia,"Taiwan"):country[capital -> cty("Taiwan","Taipei")].
cid(cia,"Anguilla"):country[capital -> cty(cid(cia,"Anguilla"),"The-Valley")].
cid(cia,"Antigua-and-Barbuda"):country[capital -> cty(cid(cia,"Antigua-and-Barbuda"),"Saint-Johns")].
cid(cia,"Aruba"):country[capital -> cty(cid(cia,"Aruba"),"Oranjestad")].
cid(cia,"Bahamas"):country[capital -> cty("Bahamas","Nassau")].
cid(cia,"Barbados"):country[capital -> cty(cid(cia,"Barbados"),"Bridgetown")].
cid(cia,"Belize"):country[capital -> cty(cid(cia,"Belize"),"Belmopan")].
cid(cia,"Guatemala"):country[capital -> cty("Guatemala","Guatemala City")].
cid(cia,"Mexico"):country[capital -> cty("Mexico","Mexico City")].
cid(cia,"Bermuda"):country[capital -> cty(cid(cia,"Bermuda"),"Hamilton")].
cid(cia,"British-Virgin-Islands"):country[capital -> cty(cid(cia,"British-Virgin-Islands"),"Road-Town")].
cid(cia,"Canada"):country[capital -> cty(cid(cia,"Canada"),13)].
cid(cia,"United-States"):country[capital -> cty(cid(cia,"United-States"),22)].
cid(cia,"Cayman-Islands"):country[capital -> cty(cid(cia,"Cayman-Islands"),"George-Town")].
cid(cia,"Costa-Rica"):country[capital -> cty(cid(cia,"Costa-Rica"),2)].
cid(cia,"Nicaragua"):country[capital -> cty("Nicaragua","Managua")].
cid(cia,"Panama"):country[capital -> cty("Panama","Panama City")].
cid(cia,"Cuba"):country[capital -> cty("Cuba","Havana")].
cid(cia,"Dominica"):country[capital -> cty(cid(cia,"Dominica"),"Roseau")].
cid(cia,"Dominican-Republic"):country[capital -> cty(cid(cia,"Dominican-Republic"),"Santo-Domingo")].
cid(cia,"Haiti"):country[capital -> cty(cid(cia,"Haiti"),"Port-au-Prince")].
cid(cia,"El-Salvador"):country[capital -> cty(cid(cia,"El-Salvador"),2)].
cid(cia,"Honduras"):country[capital -> cty("Honduras","Tegucigalpa")].
cid(cia,"Greenland"):country[capital -> cty(cid(cia,"Greenland"),"Nuuk")].
cid(cia,"Grenada"):country[capital -> cty(cid(cia,"Grenada"),"Saint-Georges")].
cid(cia,"Guadeloupe"):country[capital -> cty(cid(cia,"Guadeloupe"),"Basse-Terre")].
cid(cia,"Jamaica"):country[capital -> cty(cid(cia,"Jamaica"),"Kingston")].
cid(cia,"Martinique"):country[capital -> cty(cid(cia,"Martinique"),"Fort-de-France")].
cid(cia,"Montserrat"):country[capital -> cty(cid(cia,"Montserrat"),"Plymouth")].
cid(cia,"Netherlands-Antilles"):country[capital -> cty(cid(cia,"Netherlands-Antilles"),"Willemstad")].
cid(cia,"Colombia"):country[capital -> cty("Colombia","Bogota")].
cid(cia,"Puerto-Rico"):country[capital -> cty(cid(cia,"Puerto-Rico"),"San-Juan")].
cid(cia,"Saint-Kitts-and-Nevis"):country[capital -> cty(cid(cia,"Saint-Kitts-and-Nevis"),"Basseterre")].
cid(cia,"Saint-Lucia"):country[capital -> cty(cid(cia,"Saint-Lucia"),"Castries")].
cid(cia,"Saint-Pierre-and-Miquelon"):country[capital -> cty(cid(cia,"Saint-Pierre-and-Miquelon"),"Saint-Pierre")].
cid(cia,"Saint-Vincent-and-the-Grenadines"):country[capital -> cty(cid(cia,"Saint-Vincent-and-the-Grenadines"),"Kingstown")].
cid(cia,"Trinidad-and-Tobago"):country[capital -> cty(cid(cia,"Trinidad-and-Tobago"),"Port-of-Spain")].
cid(cia,"Turks-and-Caicos-Islands"):country[capital -> cty(cid(cia,"Turks-and-Caicos-Islands"),"Grand-Turk")].
cid(cia,"Virgin-Islands"):country[capital -> cty(cid(cia,"Virgin-Islands"),"Charlotte-Amalie")].
cid(cia,"American-Samoa"):country[capital -> cty(cid(cia,"American-Samoa"),"Pago-Pago")].
cid(cia,"Australia"):country[capital -> cty(cid(cia,"Australia"),8)].
cid(cia,"Cook-Islands"):country[capital -> cty(cid(cia,"Cook-Islands"),"Avarua")].
cid(cia,"Fiji"):country[capital -> cty(cid(cia,"Fiji"),"Suva")].
cid(cia,"French-Polynesia"):country[capital -> cty(cid(cia,"French-Polynesia"),"Papeete")].
cid(cia,"Guam"):country[capital -> cty(cid(cia,"Guam"),"Agana")].
cid(cia,"Kiribati"):country[capital -> cty(cid(cia,"Kiribati"),"Tarawa")].
cid(cia,"Marshall-Islands"):country[capital -> cty(cid(cia,"Marshall-Islands"),"Majuro")].
cid(cia,"Micronesia"):country[capital -> cty(cid(cia,"Micronesia"),"Kolonia")].
cid(cia,"Nauru"):country[capital -> cty(cid(cia,"Nauru"),"no-official-capital")].
cid(cia,"New-Caledonia"):country[capital -> cty(cid(cia,"New-Caledonia"),"Noumea")].
cid(cia,"New-Zealand"):country[capital -> cty(cid(cia,"New-Zealand"),"Wellington")].
cid(cia,"Niue"):country[capital -> cty(cid(cia,"Niue"),"Alofi")].
cid(cia,"Norfolk-Island"):country[capital -> cty(cid(cia,"Norfolk-Island"),"Kingston")].
cid(cia,"Northern-Mariana-Islands"):country[capital -> cty(cid(cia,"Northern-Mariana-Islands"),"Saipan")].
cid(cia,"Palau"):country[capital -> cty(cid(cia,"Palau"),"Koror")].
cid(cia,"Pitcairn-Islands"):country[capital -> cty(cid(cia,"Pitcairn-Islands"),"Adamstown")].
cid(cia,"Solomon-Islands"):country[capital -> cty(cid(cia,"Solomon-Islands"),"Honiara")].
cid(cia,"Tonga"):country[capital -> cty(cid(cia,"Tonga"),"Nukualofa")].
cid(cia,"Tuvalu"):country[capital -> cty(cid(cia,"Tuvalu"),"Funafuti")].
cid(cia,"Vanuatu"):country[capital -> cty(cid(cia,"Vanuatu"),"Port-Vila")].
cid(cia,"Wallis-and-Futuna"):country[capital -> cty(cid(cia,"Wallis-and-Futuna"),"Mata-Utu")].
cid(cia,"Western-Samoa"):country[capital -> cty(cid(cia,"Western-Samoa"),"Apia")].
cid(cia,"Argentina"):country[capital -> cty("Argentina","Buenos Aires")].
cid(cia,"Bolivia"):country[capital -> cty("Bolivia","La Paz")].
cid(cia,"Brazil"):country[capital -> cty("Brazil","Brasilia")].
cid(cia,"Chile"):country[capital -> cty("Chile","Santiago")].
cid(cia,"Paraguay"):country[capital -> cty(cid(cia,"Paraguay"),"Asuncion")].
cid(cia,"Uruguay"):country[capital -> cty("Uruguay","Montevideo")].
cid(cia,"Peru"):country[capital -> cty("Peru","Lima")].
cid(cia,"French-Guiana"):country[capital -> cty(cid(cia,"French-Guiana"),"Cayenne")].
cid(cia,"Guyana"):country[capital -> cty("Guyana","Georgetown")].
cid(cia,"Suriname"):country[capital -> cty(cid(cia,"Suriname"),"Paramaribo")].
cid(cia,"Venezuela"):country[capital -> cty("Venezuela","Caracas")].
cid(cia,"Ecuador"):country[capital -> cty(cid(cia,"Ecuador"),"Quito")].
cid(cia,"Falkland-Islands"):country[capital -> cty(cid(cia,"Falkland-Islands"),"Stanley")].
cid(cia,"Algeria"):country[capital -> cty("Algeria","Algiers")].
cid(cia,"Libya"):country[capital -> cty(cid(cia,"Libya"),"Tripoli")].
cid(cia,"Mali"):country[capital -> cty(cid(cia,"Mali"),"Bamako")].
cid(cia,"Mauritania"):country[capital -> cty(cid(cia,"Mauritania"),"Nouakchott")].
cid(cia,"Morocco"):country[capital -> cty(cid(cia,"Morocco"),3)].
cid(cia,"Niger"):country[capital -> cty(cid(cia,"Niger"),"Niamey")].
cid(cia,"Tunisia"):country[capital -> cty("Tunisia","Tunis")].
cid(cia,"Western-Sahara"):country[capital -> stadt("El_Alaiun","DARS","DARS")].
cid(cia,"Angola"):country[capital -> cty(cid(cia,"Angola"),"Luanda")].
cid(cia,"Congo"):country[capital -> cty("Congo","Brazzaville")].
cid(cia,"Namibia"):country[capital -> cty(cid(cia,"Namibia"),"Windhoek")].
cid(cia,"Zaire"):country[capital -> cty(cid(cia,"Zaire"),2)].
cid(cia,"Zambia"):country[capital -> cty(cid(cia,"Zambia"),2)].
cid(cia,"Benin"):country[capital -> cty(cid(cia,"Benin"),"Porto-Novo")].
cid(cia,"Burkina-Faso"):country[capital -> cty(cid(cia,"Burkina-Faso"),"Ouagadougou")].
cid(cia,"Nigeria"):country[capital -> cty(cid(cia,"Nigeria"),"Abuja")].
cid(cia,"Togo"):country[capital -> cty(cid(cia,"Togo"),"Lome")].
cid(cia,"Botswana"):country[capital -> cty(cid(cia,"Botswana"),"Gaborone")].
cid(cia,"South-Africa"):country[capital -> cty(cid(cia,"South-Africa"),6)].
cid(cia,"Zimbabwe"):country[capital -> cty(cid(cia,"Zimbabwe"),"Harare")].
cid(cia,"Cote-dIvoire"):country[capital -> cty(cid(cia,"Cote-dIvoire"),"Yamoussoukro")].
cid(cia,"Ghana"):country[capital -> cty("Ghana","Accra")].
cid(cia,"Burundi"):country[capital -> cty(cid(cia,"Burundi"),"Bujumbura")].
cid(cia,"Rwanda"):country[capital -> cty(cid(cia,"Rwanda"),"Kigali")].
cid(cia,"Tanzania"):country[capital -> cty("Tanzania","Dar es Salaam")].
cid(cia,"Cameroon"):country[capital -> cty(cid(cia,"Cameroon"),3)].
cid(cia,"Central-African-Republic"):country[capital -> cty(cid(cia,"Central-African-Republic"),"Bangui")].
cid(cia,"Chad"):country[capital -> cty(cid(cia,"Chad"),"NDjamena")].
cid(cia,"Equatorial-Guinea"):country[capital -> cty(cid(cia,"Equatorial-Guinea"),"Malabo")].
cid(cia,"Gabon"):country[capital -> cty(cid(cia,"Gabon"),"Libreville")].
cid(cia,"Cape-Verde"):country[capital -> cty(cid(cia,"Cape-Verde"),"Praia")].
cid(cia,"Sudan"):country[capital -> cty("Sudan","Khartoum")].
cid(cia,"Comoros"):country[capital -> cty(cid(cia,"Comoros"),"Moroni")].
cid(cia,"Guinea"):country[capital -> cty(cid(cia,"Guinea"),"Conakry")].
cid(cia,"Liberia"):country[capital -> cty("Liberia","Monrovia")].
cid(cia,"Djibouti"):country[capital -> cty(cid(cia,"Djibouti"),"Djibouti")].
cid(cia,"Eritrea"):country[capital -> cty("Eritrea","Asmara")].
cid(cia,"Ethiopia"):country[capital -> cty("Ethiopia","Addis Ababa")].
cid(cia,"Somalia"):country[capital -> cty(cid(cia,"Somalia"),"Mogadishu")].
cid(cia,"Kenya"):country[capital -> cty("Kenya","Nairobi")].
cid(cia,"Gambia"):country[capital -> cty(cid(cia,"Gambia"),"Banjul")].
cid(cia,"Senegal"):country[capital -> cty("Senegal","Dakar")].
cid(cia,"Guinea-Bissau"):country[capital -> cty(cid(cia,"Guinea-Bissau"),"Bissau")].
cid(cia,"Sierra-Leone"):country[capital -> cty(cid(cia,"Sierra-Leone"),"Freetown")].
cid(cia,"Uganda"):country[capital -> cty(cid(cia,"Uganda"),"Kampala")].
cid(cia,"Lesotho"):country[capital -> cty(cid(cia,"Lesotho"),"Maseru")].
cid(cia,"Madagascar"):country[capital -> cty(cid(cia,"Madagascar"),2)].
cid(cia,"Malawi"):country[capital -> cty(cid(cia,"Malawi"),"Lilongwe")].
cid(cia,"Mozambique"):country[capital -> cty(cid(cia,"Mozambique"),2)].
cid(cia,"Mauritius"):country[capital -> cty(cid(cia,"Mauritius"),"Port-Louis")].
cid(cia,"Mayotte"):country[capital -> cty(cid(cia,"Mayotte"),"Mamoutzou")].
cid(cia,"Swaziland"):country[capital -> cty(cid(cia,"Swaziland"),"Mbabane")].
cid(cia,"Reunion"):country[capital -> cty(cid(cia,"Reunion"),"Saint-Denis")].
cid(cia,"Saint-Helena"):country[capital -> cty(cid(cia,"Saint-Helena"),"Jamestown")].
cid(cia,"Sao-Tome-and-Principe"):country[capital -> cty(cid(cia,"Sao-Tome-and-Principe"),"Sao-Tome")].
cid(cia,"Seychelles"):country[capital -> cty(cid(cia,"Seychelles"),"Victoria")].

% 231 output(s) printed 

% Answer to query : ?- C:country[car_code -> Code].

cid(cia,"Albania"):country[car_code -> "AL"].
cid(cia,"Greece"):country[car_code -> "GR"].
cid(cia,"Macedonia"):country[car_code -> "MK"].
cid(cia,"Serbia-and-Montenegro"):country[car_code -> "YU"].
cid(cia,"Andorra"):country[car_code -> "AND"].
cid(cia,"France"):country[car_code -> "F"].
cid(cia,"Spain"):country[car_code -> "E"].
cid(cia,"Austria"):country[car_code -> "A"].
cid(cia,"Czech-Republic"):country[car_code -> "CZ"].
cid(cia,"Germany"):country[car_code -> "D"].
cid(cia,"Hungary"):country[car_code -> "H"].
cid(cia,"Italy"):country[car_code -> "I"].
cid(cia,"Liechtenstein"):country[car_code -> "FL"].
cid(cia,"Slovakia"):country[car_code -> "SK"].
cid(cia,"Slovenia"):country[car_code -> "SLO"].
cid(cia,"Switzerland"):country[car_code -> "CH"].
cid(cia,"Belarus"):country[car_code -> "BY"].
cid(cia,"Latvia"):country[car_code -> "LV"].
cid(cia,"Lithuania"):country[car_code -> "LT"].
cid(cia,"Poland"):country[car_code -> "PL"].
cid(cia,"Ukraine"):country[car_code -> "UA"].
cid(cia,"Russia"):country[car_code -> "R"].
cid(cia,"Belgium"):country[car_code -> "B"].
cid(cia,"Luxembourg"):country[car_code -> "L"].
cid(cia,"Netherlands"):country[car_code -> "NL"].
cid(cia,"Bosnia-and-Herzegovina"):country[car_code -> "BIH"].
cid(cia,"Croatia"):country[car_code -> "HR"].
cid(cia,"Bulgaria"):country[car_code -> "BG"].
cid(cia,"Romania"):country[car_code -> "RO"].
cid(cia,"Turkey"):country[car_code -> "TR"].
cid(cia,"Denmark"):country[car_code -> "DK"].
cid(cia,"Estonia"):country[car_code -> "EW"].
cid(cia,"Finland"):country[car_code -> "SF"].
cid(cia,"Norway"):country[car_code -> "N"].
cid(cia,"Sweden"):country[car_code -> "S"].
cid(cia,"Monaco"):country[car_code -> "MC"].
cid(cia,"Holy-See"):country[car_code -> "V"].
cid(cia,"Iceland"):country[car_code -> "IS"].
cid(cia,"Ireland"):country[car_code -> "IRL"].
cid(cia,"San-Marino"):country[car_code -> "RSM"].
cid(cia,"Malta"):country[car_code -> "M"].
cid(cia,"Moldova"):country[car_code -> "MD"].
cid(cia,"Portugal"):country[car_code -> "P"].
cid(cia,"United-Kingdom"):country[car_code -> "GB"].
cid(cia,"Afghanistan"):country[car_code -> "AFG"].
cid(cia,"China"):country[car_code -> "TJ"].
cid(cia,"Iran"):country[car_code -> "IR"].
cid(cia,"Pakistan"):country[car_code -> "PK"].
cid(cia,"Tajikistan"):country[car_code -> "TAD"].
cid(cia,"Turkmenistan"):country[car_code -> "TM"].
cid(cia,"Uzbekistan"):country[car_code -> "UZB"].
cid(cia,"Armenia"):country[car_code -> "ARM"].
cid(cia,"Georgia"):country[car_code -> "GE"].
cid(cia,"Azerbaijan"):country[car_code -> "AZ"].
cid(cia,"Bahrain"):country[car_code -> "BRN"].
cid(cia,"Bangladesh"):country[car_code -> "BD"].
cid(cia,"Burma"):country[car_code -> "MYA"].
cid(cia,"India"):country[car_code -> "IND"].
cid(cia,"Bhutan"):country[car_code -> "BHT"].
cid(cia,"Brunei"):country[car_code -> "BRU"].
cid(cia,"Malaysia"):country[car_code -> "MAL"].
cid(cia,"Laos"):country[car_code -> "LAO"].
cid(cia,"Thailand"):country[car_code -> "THA"].
cid(cia,"Cambodia"):country[car_code -> "K"].
cid(cia,"Vietnam"):country[car_code -> "VN"].
cid(cia,"Kazakstan"):country[car_code -> "KAZ"].
cid(cia,"North-Korea"):country[car_code -> "NOK"].
cid(cia,"Kyrgyzstan"):country[car_code -> "KGZ"].
cid(cia,"Mongolia"):country[car_code -> "MNG"].
cid(cia,"Nepal"):country[car_code -> "NEP"].
cid(cia,"Cyprus"):country[car_code -> "CY"].
cid(cia,"Israel"):country[car_code -> "IL"].
cid(cia,"Egypt"):country[car_code -> "ET"].
cid(cia,"Indonesia"):country[car_code -> "RI"].
cid(cia,"Papua-New-Guinea"):country[car_code -> "PNG"].
cid(cia,"Iraq"):country[car_code -> "IRQ"].
cid(cia,"Jordan"):country[car_code -> "JOR"].
cid(cia,"Kuwait"):country[car_code -> "KWT"].
cid(cia,"Saudi-Arabia"):country[car_code -> "SA"].
cid(cia,"Syria"):country[car_code -> "SYR"].
cid(cia,"Lebanon"):country[car_code -> "RL"].
cid(cia,"Japan"):country[car_code -> "J"].
cid(cia,"South-Korea"):country[car_code -> "ROK"].
cid(cia,"Maldives"):country[car_code -> "MV"].
cid(cia,"Oman"):country[car_code -> "OM"].
cid(cia,"United-Arab-Emirates"):country[car_code -> "UAE"].
cid(cia,"Yemen"):country[car_code -> "YE"].
cid(cia,"Philippines"):country[car_code -> "RP"].
cid(cia,"Qatar"):country[car_code -> "Q"].
cid(cia,"Singapore"):country[car_code -> "SGP"].
cid(cia,"Sri-Lanka"):country[car_code -> "CL"].
cid(cia,"Taiwan"):country[car_code -> "RC"].
cid(cia,"Antigua-and-Barbuda"):country[car_code -> "AG"].
cid(cia,"Bahamas"):country[car_code -> "BS"].
cid(cia,"Barbados"):country[car_code -> "BDS"].
cid(cia,"Belize"):country[car_code -> "BZ"].
cid(cia,"Guatemala"):country[car_code -> "GCA"].
cid(cia,"Mexico"):country[car_code -> "MEX"].
cid(cia,"Canada"):country[car_code -> "CDN"].
cid(cia,"United-States"):country[car_code -> "USA"].
cid(cia,"Costa-Rica"):country[car_code -> "CR"].
cid(cia,"Nicaragua"):country[car_code -> "NIC"].
cid(cia,"Panama"):country[car_code -> "PA"].
cid(cia,"Cuba"):country[car_code -> "C"].
cid(cia,"Dominica"):country[car_code -> "WD"].
cid(cia,"Dominican-Republic"):country[car_code -> "DOM"].
cid(cia,"Haiti"):country[car_code -> "RH"].
cid(cia,"El-Salvador"):country[car_code -> "ES"].
cid(cia,"Honduras"):country[car_code -> "HCA"].
cid(cia,"Grenada"):country[car_code -> "WG"].
cid(cia,"Jamaica"):country[car_code -> "JA"].
cid(cia,"Colombia"):country[car_code -> "CO"].
cid(cia,"Saint-Kitts-and-Nevis"):country[car_code -> "KN"].
cid(cia,"Saint-Lucia"):country[car_code -> "WL"].
cid(cia,"Saint-Vincent-and-the-Grenadines"):country[car_code -> "WV"].
cid(cia,"Trinidad-and-Tobago"):country[car_code -> "TT"].
cid(cia,"Australia"):country[car_code -> "AUS"].
cid(cia,"Fiji"):country[car_code -> "FJI"].
cid(cia,"Kiribati"):country[car_code -> "KIR"].
cid(cia,"Marshall-Islands"):country[car_code -> "MH"].
cid(cia,"Micronesia"):country[car_code -> "FSM"].
cid(cia,"Nauru"):country[car_code -> "NAU"].
cid(cia,"New-Caledonia"):country[car_code -> "NCA"].
cid(cia,"New-Zealand"):country[car_code -> "NZ"].
cid(cia,"Palau"):country[car_code -> "PAL"].
cid(cia,"Solomon-Islands"):country[car_code -> "SLB"].
cid(cia,"Tonga"):country[car_code -> "TO"].
cid(cia,"Tuvalu"):country[car_code -> "TUV"].
cid(cia,"Vanuatu"):country[car_code -> "VU"].
cid(cia,"Western-Samoa"):country[car_code -> "WS"].
cid(cia,"Argentina"):country[car_code -> "RA"].
cid(cia,"Bolivia"):country[car_code -> "BOL"].
cid(cia,"Brazil"):country[car_code -> "BR"].
cid(cia,"Chile"):country[car_code -> "RCH"].
cid(cia,"Paraguay"):country[car_code -> "PY"].
cid(cia,"Uruguay"):country[car_code -> "ROU"].
cid(cia,"Peru"):country[car_code -> "PE"].
cid(cia,"French-Guiana"):country[car_code -> "FGU"].
cid(cia,"Guyana"):country[car_code -> "GUY"].
cid(cia,"Suriname"):country[car_code -> "SME"].
cid(cia,"Venezuela"):country[car_code -> "YV"].
cid(cia,"Ecuador"):country[car_code -> "EC"].
cid(cia,"Algeria"):country[car_code -> "DZ"].
cid(cia,"Libya"):country[car_code -> "LAR"].
cid(cia,"Mali"):country[car_code -> "RMM"].
cid(cia,"Mauritania"):country[car_code -> "RIM"].
cid(cia,"Morocco"):country[car_code -> "MA"].
cid(cia,"Niger"):country[car_code -> "RN"].
cid(cia,"Tunisia"):country[car_code -> "TN"].
cid(cia,"Western-Sahara"):country[car_code -> "WSA"].
cid(cia,"Angola"):country[car_code -> "ANG"].
cid(cia,"Congo"):country[car_code -> "RCB"].
cid(cia,"Namibia"):country[car_code -> "NAM"].
cid(cia,"Zaire"):country[car_code -> "ZRE"].
cid(cia,"Zambia"):country[car_code -> "Z"].
cid(cia,"Benin"):country[car_code -> "BEN"].
cid(cia,"Burkina-Faso"):country[car_code -> "BF"].
cid(cia,"Nigeria"):country[car_code -> "WAN"].
cid(cia,"Togo"):country[car_code -> "RT"].
cid(cia,"Botswana"):country[car_code -> "RB"].
cid(cia,"South-Africa"):country[car_code -> "RSA"].
cid(cia,"Zimbabwe"):country[car_code -> "ZW"].
cid(cia,"Cote-dIvoire"):country[car_code -> "CI"].
cid(cia,"Ghana"):country[car_code -> "GH"].
cid(cia,"Burundi"):country[car_code -> "BI"].
cid(cia,"Rwanda"):country[car_code -> "RWA"].
cid(cia,"Tanzania"):country[car_code -> "EAT"].
cid(cia,"Cameroon"):country[car_code -> "CAM"].
cid(cia,"Central-African-Republic"):country[car_code -> "RCA"].
cid(cia,"Chad"):country[car_code -> "TCH"].
cid(cia,"Equatorial-Guinea"):country[car_code -> "GQ"].
cid(cia,"Gabon"):country[car_code -> "G"].
cid(cia,"Cape-Verde"):country[car_code -> "CV"].
cid(cia,"Sudan"):country[car_code -> "SUD"].
cid(cia,"Comoros"):country[car_code -> "COM"].
cid(cia,"Guinea"):country[car_code -> "RG"].
cid(cia,"Liberia"):country[car_code -> "LB"].
cid(cia,"Djibouti"):country[car_code -> "DJI"].
cid(cia,"Eritrea"):country[car_code -> "ER"].
cid(cia,"Ethiopia"):country[car_code -> "ETH"].
cid(cia,"Somalia"):country[car_code -> "SP"].
cid(cia,"Kenya"):country[car_code -> "EAK"].
cid(cia,"Gambia"):country[car_code -> "WAG"].
cid(cia,"Senegal"):country[car_code -> "SN"].
cid(cia,"Guinea-Bissau"):country[car_code -> "GNB"].
cid(cia,"Sierra-Leone"):country[car_code -> "WAL"].
cid(cia,"Uganda"):country[car_code -> "EAU"].
cid(cia,"Lesotho"):country[car_code -> "LS"].
cid(cia,"Madagascar"):country[car_code -> "RM"].
cid(cia,"Malawi"):country[car_code -> "MW"].
cid(cia,"Mozambique"):country[car_code -> "MOC"].
cid(cia,"Mauritius"):country[car_code -> "MS"].
cid(cia,"Swaziland"):country[car_code -> "SD"].
cid(cia,"Sao-Tome-and-Principe"):country[car_code -> "STP"].
cid(cia,"Seychelles"):country[car_code -> "SY"].

% 195 output(s) printed 

% Answer to query : ?- C:country[adm_divs ->> {P}].

cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),2)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),3)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),4)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),5)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),6)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),7)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),8)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),9)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),10)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),11)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),12)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),13)}].
cid(cia,"Greece"):country[adm_divs ->> {prov(cid(cia,"Greece"),14)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),2)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),5)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),11)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),16)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),20)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),25)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),30)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),37)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),42)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),45)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),50)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),53)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),62)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),68)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),72)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),77)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),86)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),89)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),95)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),99)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),104)}].
cid(cia,"France"):country[adm_divs ->> {prov(cid(cia,"France"),111)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),2)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),3)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),4)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),5)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),6)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),7)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),8)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),9)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),10)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),11)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),12)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),13)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),14)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),15)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),16)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),17)}].
cid(cia,"Spain"):country[adm_divs ->> {prov(cid(cia,"Spain"),18)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),2)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),3)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),4)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),5)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),6)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),7)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),8)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),9)}].
cid(cia,"Austria"):country[adm_divs ->> {prov(cid(cia,"Austria"),10)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),2)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),3)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),4)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),5)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),6)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),7)}].
cid(cia,"Czech-Republic"):country[adm_divs ->> {prov(cid(cia,"Czech-Republic"),8)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),2)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),3)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),4)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),5)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),6)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),7)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),8)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),9)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),10)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),11)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),12)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),13)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),14)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),15)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),16)}].
cid(cia,"Germany"):country[adm_divs ->> {prov(cid(cia,"Germany"),17)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),2)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),3)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),4)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),5)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),6)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),7)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),8)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),9)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),10)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),11)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),12)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),13)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),14)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),15)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),16)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),17)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),18)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),19)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),20)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),21)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),22)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),23)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),24)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),25)}].
cid(cia,"Hungary"):country[adm_divs ->> {prov(cid(cia,"Hungary"),26)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),2)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),9)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),10)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),20)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),23)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),31)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),36)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),41)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),50)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),60)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),63)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),68)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),74)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),79)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),82)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),88)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),94)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),97)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),101)}].
cid(cia,"Italy"):country[adm_divs ->> {prov(cid(cia,"Italy"),111)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),2)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),3)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),4)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),5)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),6)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),7)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),8)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),9)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),10)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),11)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),12)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),13)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),14)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),15)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),16)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),17)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),18)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),19)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),20)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),21)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),22)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),23)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),24)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),25)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),26)}].
cid(cia,"Switzerland"):country[adm_divs ->> {prov(cid(cia,"Switzerland"),27)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),2)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),3)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),4)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),5)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),6)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),7)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),8)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),9)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),10)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),11)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),12)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),13)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),14)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),15)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),16)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),17)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),18)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),19)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),20)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),21)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),22)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),23)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),24)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),25)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),26)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),27)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),28)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),29)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),30)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),31)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),32)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),33)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),34)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),35)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),36)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),37)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),38)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),39)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),40)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),41)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),42)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),43)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),44)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),45)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),46)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),47)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),48)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),49)}].
cid(cia,"Poland"):country[adm_divs ->> {prov(cid(cia,"Poland"),50)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),2)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),3)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),4)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),5)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),6)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),7)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),8)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),9)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),10)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),11)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),12)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),13)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),14)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),15)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),16)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),17)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),18)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),19)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),20)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),21)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),22)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),23)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),24)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),25)}].
cid(cia,"Ukraine"):country[adm_divs ->> {prov(cid(cia,"Ukraine"),27)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),3)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),4)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),5)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),7)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),8)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),9)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),10)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),11)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),12)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),13)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),14)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),15)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),16)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),17)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),18)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),19)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),20)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),21)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),22)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),23)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),24)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),25)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),26)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),27)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),28)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),29)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),30)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),31)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),32)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),33)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),34)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),35)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),36)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),37)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),38)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),39)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),40)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),41)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),42)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),43)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),44)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),45)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),46)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),47)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),48)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),49)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),52)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),53)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),54)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),55)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),56)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),57)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),58)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),59)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),60)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),61)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),62)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),63)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),64)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),65)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),66)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),67)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),68)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),69)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),70)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),72)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),73)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),74)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),75)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),77)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),79)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),81)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),82)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),83)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),84)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),85)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),86)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),87)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),89)}].
cid(cia,"Russia"):country[adm_divs ->> {prov(cid(cia,"Russia"),90)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),2)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),3)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),4)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),5)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),6)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),7)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),8)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),9)}].
cid(cia,"Belgium"):country[adm_divs ->> {prov(cid(cia,"Belgium"),10)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),2)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),3)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),4)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),5)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),6)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),7)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),8)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),9)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),10)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),11)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),12)}].
cid(cia,"Netherlands"):country[adm_divs ->> {prov(cid(cia,"Netherlands"),13)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),2)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),3)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),4)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),5)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),6)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),7)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),8)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),9)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),10)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),11)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),12)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),13)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),14)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),15)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),16)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),17)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),18)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),19)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),20)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),21)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),22)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),23)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),24)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),25)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),26)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),27)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),28)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),29)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),30)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),31)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),32)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),33)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),34)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),35)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),36)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),37)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),38)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),39)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),40)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),41)}].
cid(cia,"Romania"):country[adm_divs ->> {prov(cid(cia,"Romania"),42)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),2)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),3)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),4)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),5)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),6)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),7)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),8)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),9)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),10)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),11)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),12)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),13)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),14)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),15)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),16)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),17)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),18)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),19)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),20)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),21)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),22)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),23)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),24)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),25)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),26)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),27)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),28)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),29)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),30)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),31)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),32)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),33)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),34)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),35)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),36)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),37)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),38)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),39)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),40)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),41)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),42)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),43)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),44)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),45)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),46)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),47)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),48)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),49)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),50)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),51)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),52)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),53)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),54)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),55)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),56)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),57)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),58)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),59)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),60)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),61)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),62)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),63)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),64)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),65)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),66)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),67)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),68)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),69)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),70)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),71)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),72)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),73)}].
cid(cia,"Turkey"):country[adm_divs ->> {prov(cid(cia,"Turkey"),74)}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("ALA","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("HAE","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("KUO","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("KYM","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("LAP","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("MIK","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("MFI","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("NKA","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("OUL","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("TUP","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("UUS","SF")}].
cid(cia,"Finland"):country[adm_divs ->> {lteil("VAA","SF")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("OS","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("AK","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("OES","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("HE","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("OP","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("BU","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("VE","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("TE","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("AA","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("VA","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("RO","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("HO","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("SF","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("MR","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("ST","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("NT","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("NO","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("TR","N")}].
cid(cia,"Norway"):country[adm_divs ->> {lteil("FI","N")}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),2)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),3)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),4)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),5)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),6)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),7)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),8)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),9)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),10)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),11)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),12)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),13)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),14)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),15)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),16)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),17)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),18)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),19)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),20)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),21)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),22)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),23)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),24)}].
cid(cia,"Sweden"):country[adm_divs ->> {prov(cid(cia,"Sweden"),25)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),2)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),3)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),4)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),5)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),6)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),7)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),8)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),9)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),10)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),11)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),12)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),13)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),14)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),15)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),16)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),17)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),18)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),19)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),21)}].
cid(cia,"Portugal"):country[adm_divs ->> {prov(cid(cia,"Portugal"),22)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),2)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),3)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),4)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),5)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),6)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),7)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),8)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),9)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),10)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),11)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),12)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),13)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),14)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),15)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),16)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),17)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),18)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),19)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),20)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),21)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),22)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),23)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),24)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),25)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),26)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),27)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),28)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),29)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),30)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),31)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),32)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),33)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),34)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),35)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),36)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),37)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),38)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),39)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),40)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),41)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),42)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),43)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),44)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),45)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),46)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),47)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),50)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),51)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),52)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),53)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),54)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),55)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),56)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),57)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),58)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),59)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),62)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),63)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),64)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),65)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),66)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),67)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),68)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),69)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),70)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),71)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),72)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),73)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),74)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),75)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),76)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),77)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),78)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),79)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),80)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),81)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),82)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),83)}].
cid(cia,"United-Kingdom"):country[adm_divs ->> {prov(cid(cia,"United-Kingdom"),85)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),2)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),3)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),4)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),5)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),6)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),7)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),8)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),9)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),10)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),11)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),12)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),13)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),14)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),15)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),16)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),17)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),18)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),19)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),20)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),21)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),22)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),23)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),25)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),26)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),27)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),28)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),29)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),31)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),32)}].
cid(cia,"China"):country[adm_divs ->> {prov(cid(cia,"China"),33)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),2)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),3)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),4)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),5)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),6)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),7)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),8)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),9)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),10)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),11)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),12)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),13)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),14)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),15)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),16)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),17)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),18)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),19)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),20)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),21)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),22)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),23)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),24)}].
cid(cia,"Iran"):country[adm_divs ->> {prov(cid(cia,"Iran"),25)}].
cid(cia,"Tajikistan"):country[adm_divs ->> {prov(cid(cia,"Tajikistan"),2)}].
cid(cia,"Tajikistan"):country[adm_divs ->> {prov(cid(cia,"Tajikistan"),3)}].
cid(cia,"Tajikistan"):country[adm_divs ->> {prov(cid(cia,"Tajikistan"),4)}].
cid(cia,"Tajikistan"):country[adm_divs ->> {prov(cid(cia,"Tajikistan"),6)}].
cid(cia,"Tajikistan"):country[adm_divs ->> {prov(cid(cia,"Tajikistan"),9)}].
cid(cia,"Turkmenistan"):country[adm_divs ->> {prov(cid(cia,"Turkmenistan"),2)}].
cid(cia,"Turkmenistan"):country[adm_divs ->> {prov(cid(cia,"Turkmenistan"),3)}].
cid(cia,"Turkmenistan"):country[adm_divs ->> {prov(cid(cia,"Turkmenistan"),4)}].
cid(cia,"Turkmenistan"):country[adm_divs ->> {prov(cid(cia,"Turkmenistan"),5)}].
cid(cia,"Turkmenistan"):country[adm_divs ->> {prov(cid(cia,"Turkmenistan"),6)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),2)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),3)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),4)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),5)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),6)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),7)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),8)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),9)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),10)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),11)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),12)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),13)}].
cid(cia,"Uzbekistan"):country[adm_divs ->> {prov(cid(cia,"Uzbekistan"),15)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),2)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),3)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),4)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),5)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),6)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),7)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),8)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),9)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),10)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),11)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),12)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),13)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),14)}].
cid(cia,"Burma"):country[adm_divs ->> {prov(cid(cia,"Burma"),15)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),2)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),3)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),4)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),5)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),6)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),7)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),8)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),9)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),10)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),11)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),12)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),13)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),14)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),15)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),16)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),17)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),18)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),19)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),20)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),21)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),22)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),23)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),24)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),25)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),26)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),28)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),29)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),30)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),31)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),32)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),33)}].
cid(cia,"India"):country[adm_divs ->> {prov(cid(cia,"India"),34)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),2)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),3)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),4)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),5)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),6)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),7)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),8)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),9)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),10)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),11)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),12)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),13)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),14)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),15)}].
cid(cia,"Malaysia"):country[adm_divs ->> {prov(cid(cia,"Malaysia"),16)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),2)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),3)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),4)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),5)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),6)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),7)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),8)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),9)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),10)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),11)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),12)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),13)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),14)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),15)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),16)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),17)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),18)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),19)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),20)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),21)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),22)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),23)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),24)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),25)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),26)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),27)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),28)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),29)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),30)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),31)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),32)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),33)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),34)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),35)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),36)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),37)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),38)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),39)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),40)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),41)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),42)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),43)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),44)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),45)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),46)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),47)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),48)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),49)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),50)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),51)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),52)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),53)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),54)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),55)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),56)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),57)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),58)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),59)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),60)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),61)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),62)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),63)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),64)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),65)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),66)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),67)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),68)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),69)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),70)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),71)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),72)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),73)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),74)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),75)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),76)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),77)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),78)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),79)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),80)}].
cid(cia,"Thailand"):country[adm_divs ->> {prov(cid(cia,"Thailand"),81)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),2)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),3)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),4)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),5)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),6)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),7)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),8)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),9)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),10)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),11)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),12)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),13)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),14)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),15)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),16)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),17)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),18)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),19)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),20)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),21)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),22)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),23)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),24)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),25)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),26)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),27)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),28)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),29)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),30)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),31)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),32)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),33)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),34)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),35)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),36)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),37)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),38)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),39)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),40)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),41)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),42)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),43)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),44)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),45)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),46)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),47)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),48)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),49)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),50)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),51)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),52)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),53)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),54)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),55)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),56)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),57)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),58)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),59)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),60)}].
cid(cia,"Vietnam"):country[adm_divs ->> {prov(cid(cia,"Vietnam"),61)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),2)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),3)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),4)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),5)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),6)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),7)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {prov(cid(cia,"Kazakstan"),8)}].
cid(cia,"Kazakstan"):country[adm_divs ->> {pr