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