1/* @(#)cities.pl	24.1 2/23/88 */
    2/* 
    3 _________________________________________________________________________
    4|	Copyright (C) 1982						  |
    5|									  |
    6|	David Warren,							  |
    7|		SRI International, 333 Ravenswood Ave., Menlo Park,	  |
    8|		California 94025, USA;					  |
    9|									  |
   10|	Fernando Pereira,						  |
   11|		Dept. of Architecture, University of Edinburgh,		  |
   12|		20 Chambers St., Edinburgh EH1 1JZ, Scotland		  |
   13|									  |
   14|	This program may be used, copied, altered or included in other	  |
   15|	programs only for academic purposes and provided that the	  |
   16|	authorship of the initial program is aknowledged.		  |
   17|	Use for commercial purposes without the previous written 	  |
   18|	agreement of the authors is forbidden.				  |
   19|_________________________________________________________________________|
   20
   21	Copyright 1986, Fernando C.N. Pereira and David H.D. Warren,
   22
   23			   All Rights Reserved
   24*/
   25% Facts about cities.
   26% ------------------
   27city(belle_mead,united_states,8).
   28city(athens,greece,1368).
   29city(bangkok,thailand,1178).
   30city(barcelona,spain,1280).
   31city(berlin,east_germany,3481).
   32city(birmingham,united_kingdom,1112).
   33city(bombay,india,2839).
   34city(brussels,belgium,986).
   35city(bucharest,romania,1237).
   36city(budapest,hungary,1757).
   37city(buenos_aires,argentina,3404).
   38city(cairo,egypt,2373).
   39city(calcutta,india,2549).
   40city(canton,china,1496).
   41city(caracas,venezuela,488).
   42city(chicago,united_states,3621).
   43city(chungking,china,1100).
   44city(dairen,china,544).
   45city(delhi,india,1744).
   46city(detroit,united_states,1850).
   47city(glasgow,united_kingdom,1090).
   48city(hamburg,west_germany,1700).
   49city(harbin,china,760).
   50city(hongkong_city,hongkong,2440).
   51city(hyderabad,india,1086).
   52city(istanbul,turkey,1215).
   53city(jakarta,indonesia,533).
   54city(johannesburg,south_africa,880).
   55city(karachi,pakistan,1126).
   56city(kiev,soviet_union,991).
   57city(kobe,japan,765).
   58city(kowloon,china,547).
   59city(kyoto,japan,1204).
   60city(leningrad,soviet_union,2800).
   61city(lima,peru,835).
   62city(london,united_kingdom,8346).
   63city(los_angeles,united_states,1970).
   64city(madras,india,1416).
   65city(madrid,spain,1700).
   66city(manila,philippines,1025).
   67city(melbourne,australia,1595).
   68city(mexico_city,mexico,3796).
   69city(milan,italy,1269).
   70city(montreal,canada,1109).
   71city(moscow,soviet_union,4800).
   72city(mukden,china,1551).
   73city(nagoya,japan,1337).
   74city(nanking,japan,1020).
   75city(naples,italy,1012).
   76city(new_york,united_states,7795).
   77city(osaka,japan,2547).
   78city(paris,france,2850).
   79city(peking,china,2031).
   80city(philadelphia,united_states,2072).
   81city(pusan,south_korea,474).
   82city(rio_de_janeiro,brazil,2413).
   83city(rome,italy,1760).
   84city(saigon,vietnam,695).
   85city(santiago,chile,1350).
   86city(sao_paulo,brazil,2228).
   87city(seoul,south_korea,1446).
   88city(shanghai,china,5407).
   89city(sian,china,629).
   90city(singapore_city,singapore,1264).
   91city(sydney,australia,1898).
   92city(tehran,iran,1010).
   93city(tientsin,china,1795).
   94city(tokyo,japan,8535).
   95city(toronto,canada,668).
   96city(vienna,austria,1766).
   97city(warsaw,poland,965).
   98city(yokohama,japan,1143).
   99city(toronto,canada,668).
  100city(vienna,austria,1766).
  101city(warsaw,poland,965).
  102city(yokohama,japan,1143)