/*

 _________________________________________________________________________
|	Copyright (C) 1982						  |
|									  |
|	David Warren,							  |
|		SRI International, 333 Ravenswood Ave., Menlo Park,	  |
|		California 94025, USA;					  |
|									  |
|	Fernando Pereira,						  |
|		Dept. of Architecture, University of Edinburgh,		  |
|		20 Chambers St., Edinburgh EH1 1JZ, Scotland		  |
|									  |
|	This program may be used, copied, altered or included in other	  |
|	programs only for academic purposes and provided that the	  |
|	authorship of the initial program is aknowledged.		  |
|	Use for commercial purposes without the previous written 	  |
|	agreement of the authors is forbidden.				  |
|_________________________________________________________________________|

*/

% Facts about cities.
% ------------------

city(athens,greece,1368).
city(bangkok,thailand,1178).
city(barcelona,spain,1280).
city(berlin,east_germany,3481).
city(birmingham,united_kingdom,1112).
city(bombay,india,2839).
city(brussels,belgium,986).
city(bucharest,romania,1237).
city(budapest,hungary,1757).
city(buenos_aires,argentina,3404).
city(cairo,egypt,2373).
city(calcutta,india,2549).
city(canton,china,1496).
city(caracas,venezuela,488).
city(chicago,united_states,3621).
city(chungking,china,1100).
city(dairen,china,544).
city(delhi,india,1744).
city(detroit,united_states,1850).
city(glasgow,united_kingdom,1090).
city(hamburg,west_germany,1700).
city(harbin,china,760).
city(hongkong_city,hongkong,2440).
city(hyderabad,india,1086).
city(istanbul,turkey,1215).
city(jakarta,indonesia,533).
city(johannesburg,south_africa,880).
city(karachi,pakistan,1126).
city(kiev,soviet_union,991).
city(kobe,japan,765).
city(kowloon,china,547).
city(kyoto,japan,1204).
city(leningrad,soviet_union,2800).
city(lima,peru,835).
city(london,united_kingdom,8346).
city(los_angeles,united_states,1970).
city(madras,india,1416).
city(madrid,spain,1700).
city(manila,philippines,1025).
city(melbourne,australia,1595).
city(mexico_city,mexico,3796).
city(milan,italy,1269).
city(montreal,canada,1109).
city(moscow,soviet_union,4800).
city(mukden,china,1551).
city(nagoya,japan,1337).
city(nanking,japan,1020).
city(naples,italy,1012).
city(new_york,united_states,7795).
city(osaka,japan,2547).
city(paris,france,2850).
city(peking,china,2031).
city(philadelphia,united_states,2072).
city(pusan,south_korea,474).
city(rio_de_janeiro,brazil,2413).
city(rome,italy,1760).
city(saigon,vietnam,695).
city(santiago,chile,1350).
city(sao_paulo,brazil,2228).
city(seoul,south_korea,1446).
city(shanghai,china,5407).
city(sian,china,629).
city(singapore_city,singapore,1264).
city(sydney,australia,1898).
city(tehran,iran,1010).
city(tientsin,china,1795).
city(tokyo,japan,8535).
city(toronto,canada,668).
city(vienna,austria,1766).
city(warsaw,poland,965).
city(yokohama,japan,1143).