24:- shared_parser_data((contains0/2,country/8,city/3,borders/2,in_continent/2)). 25
26
27
28
29
32:-op(600,xfy,--). 33in_continent(scandinavia, europe).
34in_continent(western_europe, europe).
35in_continent(eastern_europe, europe).
36in_continent(southern_europe, europe).
37in_continent(north_america, america).
38in_continent(central_america, america).
39in_continent(caribbean, america).
40in_continent(south_america, america).
41in_continent(north_africa, africa).
42in_continent(west_africa, africa).
43in_continent(central_africa, africa).
44in_continent(east_africa, africa).
45in_continent(southern_africa, africa).
46in_continent(middle_east, asia).
47in_continent(indian_subcontinent, asia).
48in_continent(southeast_east, asia).
49in_continent(far_east, asia).
50in_continent(northern_asia, asia).
51
52
53
54
55
56contains0(africa,central_africa).
57contains0(africa,east_africa).
58contains0(africa,north_africa).
59contains0(africa,southern_africa).
60contains0(africa,west_africa).
61
62contains0(america,caribbean).
63contains0(america,central_america).
64contains0(america,north_america).
65contains0(america,south_america).
66
67contains0(asia,far_east).
68contains0(asia,indian_subcontinent).
69contains0(asia,middle_east).
70contains0(asia,northern_asia).
71contains0(asia,southeast_east).
72
73contains0(australasia,australia).
74contains0(australasia,fiji).
75contains0(australasia,new_zealand).
76contains0(australasia,papua_new_guinea).
77contains0(australasia,tonga).
78contains0(australasia,western_samoa).
79
80contains0(europe,eastern_europe).
81contains0(europe,scandinavia).
82contains0(europe,southern_europe).
83contains0(europe,western_europe).
84
85contains0(scandinavia,denmark).
86contains0(scandinavia,finland).
87contains0(scandinavia,norway).
88contains0(scandinavia,sweden).
89
90contains0(western_europe,austria).
91contains0(western_europe,belgium).
92contains0(western_europe,eire).
93contains0(western_europe,france).
94contains0(western_europe,iceland).
95contains0(western_europe,liechtenstein).
96contains0(western_europe,luxembourg).
97contains0(western_europe,netherlands).
98contains0(western_europe,switzerland).
99contains0(western_europe,united_kingdom).
100contains0(western_europe,west_germany).
101
102contains0(eastern_europe,bulgaria).
103contains0(eastern_europe,czechoslovakia).
104contains0(eastern_europe,east_germany).
105contains0(eastern_europe,hungary).
106contains0(eastern_europe,poland).
107contains0(eastern_europe,romania).
108
109contains0(southern_europe,albania).
110contains0(southern_europe,andorra).
111contains0(southern_europe,cyprus).
112contains0(southern_europe,greece).
113contains0(southern_europe,italy).
114contains0(southern_europe,malta).
115contains0(southern_europe,monaco).
116contains0(southern_europe,portugal).
117contains0(southern_europe,san_marino).
118contains0(southern_europe,spain).
119contains0(southern_europe,yugoslavia).
120
121contains0(north_america,canada).
122contains0(north_america,united_states).
123
124contains0(central_america,belize).
125contains0(central_america,costa_rica).
126contains0(central_america,el_salvador).
127contains0(central_america,guatemala).
128contains0(central_america,honduras).
129contains0(central_america,mexico).
130contains0(central_america,nicaragua).
131contains0(central_america,panama).
132
133contains0(caribbean,bahamas).
134contains0(caribbean,barbados).
135contains0(caribbean,cuba).
136contains0(caribbean,dominican_republic).
137contains0(caribbean,grenada).
138contains0(caribbean,haiti).
139contains0(caribbean,jamaica).
140contains0(caribbean,trinidad_and_tobago).
141
142contains0(south_america,argentina).
143contains0(south_america,bolivia).
144contains0(south_america,brazil).
145contains0(south_america,chile).
146contains0(south_america,colombia).
147contains0(south_america,ecuador).
148contains0(south_america,french_guiana).
149contains0(south_america,guyana).
150contains0(south_america,paraguay).
151contains0(south_america,peru).
152contains0(south_america,surinam).
153contains0(south_america,uruguay).
154contains0(south_america,venezuela).
155
156contains0(north_africa,algeria).
157contains0(north_africa,egypt).
158contains0(north_africa,libya).
159contains0(north_africa,morocco).
160contains0(north_africa,tunisia).
161
162contains0(west_africa,cameroon).
163contains0(west_africa,dahomey).
164contains0(west_africa,equatorial_guinea).
165contains0(west_africa,gambia).
166contains0(west_africa,ghana).
167contains0(west_africa,guinea).
168contains0(west_africa,guinea_bissau).
169contains0(west_africa,ivory_coast).
170contains0(west_africa,liberia).
171contains0(west_africa,mali).
172contains0(west_africa,mauritania).
173contains0(west_africa,niger).
174contains0(west_africa,nigeria).
175contains0(west_africa,senegal).
176contains0(west_africa,sierra_leone).
177contains0(west_africa,togo).
178contains0(west_africa,upper_volta).
179
180contains0(central_africa,burundi).
181contains0(central_africa,central_african_republic).
182contains0(central_africa,chad).
183contains0(central_africa,congo).
184contains0(central_africa,gabon).
185contains0(central_africa,rwanda).
186contains0(central_africa,sudan).
187contains0(central_africa,zaire).
188
189contains0(east_africa,djibouti).
190contains0(east_africa,ethiopia).
191contains0(east_africa,kenya).
192contains0(east_africa,seychelles).
193contains0(east_africa,somalia).
194contains0(east_africa,tanzania).
195contains0(east_africa,uganda).
196
197contains0(southern_africa,angola).
198contains0(southern_africa,botswana).
199contains0(southern_africa,lesotho).
200contains0(southern_africa,malagasy).
201contains0(southern_africa,malawi).
202contains0(southern_africa,mauritius).
203contains0(southern_africa,mozambique).
204contains0(southern_africa,south_africa).
205contains0(southern_africa,swaziland).
206contains0(southern_africa,zambia).
207contains0(southern_africa,zimbabwe).
208
209contains0(middle_east,bahrain).
210contains0(middle_east,iran).
211contains0(middle_east,iraq).
212contains0(middle_east,israel).
213contains0(middle_east,jordan).
214contains0(middle_east,kuwait).
215contains0(middle_east,lebanon).
216contains0(middle_east,oman).
217contains0(middle_east,qatar).
218contains0(middle_east,saudi_arabia).
219contains0(middle_east,south_yemen).
220contains0(middle_east,syria).
221contains0(middle_east,turkey).
222contains0(middle_east,united_arab_emirates).
223contains0(middle_east,yemen).
224
225contains0(indian_subcontinent,afghanistan).
226contains0(indian_subcontinent,bangladesh).
227contains0(indian_subcontinent,bhutan).
228contains0(indian_subcontinent,india).
229contains0(indian_subcontinent,maldives).
230contains0(indian_subcontinent,nepal).
231contains0(indian_subcontinent,pakistan).
232contains0(indian_subcontinent,sri_lanka).
233
234contains0(southeast_east,burma).
235contains0(southeast_east,cambodia).
236contains0(southeast_east,indonesia).
237contains0(southeast_east,laos).
238contains0(southeast_east,malaysia).
239contains0(southeast_east,philippines).
240contains0(southeast_east,singapore).
241contains0(southeast_east,thailand).
242contains0(southeast_east,vietnam).
243
244contains0(far_east,china).
245contains0(far_east,japan).
246contains0(far_east,north_korea).
247contains0(far_east,south_korea).
248contains0(far_east,taiwan).
249
250contains0(northern_asia,mongolia).
251contains0(northern_asia,soviet_union).
252
253contains0(afghanistan,amu_darya).
254
255contains0(angola,cubango).
256contains0(angola,zambesi).
257
258contains0(argentina,buenos_aires).
259contains0(argentina,parana).
260
261contains0(australia,melbourne).
262contains0(australia,murray).
263contains0(australia,sydney).
264
265contains0(austria,danube).
266contains0(austria,vienna).
267
268contains0(bangladesh,brahmaputra).
269
270contains0(belgium,brussels).
271
272contains0(brazil,amazon).
273contains0(brazil,parana).
274contains0(brazil,rio_de_janeiro).
275contains0(brazil,sao_paulo).
276
277contains0(burma,irrawaddy).
278contains0(burma,salween).
279
280contains0(cambodia,mekong).
281
282contains0(canada,mackenzie).
283contains0(canada,montreal).
284contains0(canada,toronto).
285contains0(canada,yukon).
286
287contains0(chile,santiago).
288
289contains0(china,amur).
290contains0(china,brahmaputra).
291contains0(china,canton).
292contains0(china,chungking).
293contains0(china,dairen).
294contains0(china,ganges).
295contains0(china,harbin).
296contains0(china,hwang_ho).
297contains0(china,indus).
298contains0(china,kowloon).
299contains0(china,mekong).
300contains0(china,mukden).
301contains0(china,peking).
302contains0(china,salween).
303contains0(china,shanghai).
304contains0(china,sian).
305contains0(china,tientsin).
306contains0(china,yangtze).
307
308contains0(colombia,orinoco).
309
310contains0(czechoslovakia,danube).
311contains0(czechoslovakia,elbe).
312contains0(czechoslovakia,oder).
313
314contains0(east_germany,berlin).
315contains0(east_germany,elbe).
316
317contains0(egypt,cairo).
318contains0(egypt,nile).
319
320contains0(france,paris).
321contains0(france,rhone).
322
323contains0(ghana,volta).
324
325contains0(greece,athens).
326
327contains0(guinea,niger_river).
328contains0(guinea,senegal_river).
329
330contains0(hungary,budapest).
331contains0(hungary,danube).
332
333contains0(india,bombay).
334contains0(india,calcutta).
335contains0(india,delhi).
336contains0(india,ganges).
337contains0(india,hyderabad).
338contains0(india,indus).
339contains0(india,madras).
340
341contains0(indonesia,jakarta).
342
343contains0(iran,tehran).
344
345contains0(iraq,euphrates).
346
347contains0(italy,milan).
348contains0(italy,naples).
349contains0(italy,rome).
350
351contains0(japan,kobe).
352contains0(japan,kyoto).
353contains0(japan,nagoya).
354contains0(japan,nanking).
355contains0(japan,osaka).
356contains0(japan,tokyo).
357contains0(japan,yokohama).
358
359contains0(laos,mekong).
360
361contains0(lesotho,orange).
362
363contains0(mali,niger_river).
364contains0(mali,senegal_river).
365
366contains0(mexico,colorado).
367contains0(mexico,mexico_city).
368contains0(mexico,rio_grande).
369
370contains0(mongolia,amur).
371contains0(mongolia,yenisei).
372
373contains0(mozambique,limpopo).
374contains0(mozambique,zambesi).
375
376contains0(netherlands,rhine).
377
378contains0(niger,niger_river).
379
380contains0(nigeria,niger_river).
381
382contains0(pakistan,indus).
383contains0(pakistan,karachi).
384
385contains0(paraguay,parana).
386
387contains0(peru,amazon).
388contains0(peru,lima).
389
390contains0(philippines,manila).
391
392contains0(poland,oder).
393contains0(poland,vistula).
394contains0(poland,warsaw).
395
396contains0(portugal,tagus).
397
398contains0(romania,bucharest).
399contains0(romania,danube).
400
401contains0(senegal,senegal_river).
402
403contains0(singapore,singapore_city).
404
405contains0(south_africa,cubango).
406contains0(south_africa,johannesburg).
407contains0(south_africa,limpopo).
408contains0(south_africa,orange).
409
410contains0(south_korea,pusan).
411contains0(south_korea,seoul).
412
413contains0(soviet_union,amu_darya).
414contains0(soviet_union,amur).
415contains0(soviet_union,don).
416contains0(soviet_union,kiev).
417contains0(soviet_union,lena).
418contains0(soviet_union,leningrad).
419contains0(soviet_union,moscow).
420contains0(soviet_union,ob).
421contains0(soviet_union,volga).
422contains0(soviet_union,yenisei).
423
424contains0(spain,barcelona).
425contains0(spain,madrid).
426contains0(spain,tagus).
427
428contains0(sudan,nile).
429
430contains0(switzerland,rhine).
431contains0(switzerland,rhone).
432
433contains0(syria,euphrates).
434
435contains0(thailand,bangkok).
436
437contains0(turkey,euphrates).
438contains0(turkey,istanbul).
439
440contains0(uganda,nile).
441
442contains0(united_kingdom,birmingham).
443contains0(united_kingdom,glasgow).
444contains0(united_kingdom,london).
445
446contains0(united_states,chicago).
447contains0(united_states,colorado).
448contains0(united_states,detroit).
449contains0(united_states,los_angeles).
450contains0(united_states,mississippi).
451contains0(united_states,new_york).
452contains0(united_states,philadelphia).
453contains0(united_states,rio_grande).
454contains0(united_states,yukon).
455
456contains0(upper_volta,volta).
457
458contains0(venezuela,caracas).
459contains0(venezuela,orinoco).
460
461contains0(vietnam,mekong).
462contains0(vietnam,saigon).
463
464contains0(west_germany,danube).
465contains0(west_germany,elbe).
466contains0(west_germany,hamburg).
467contains0(west_germany,rhine).
468
469contains0(yugoslavia,danube).
470
471contains0(zaire,congo_river).
472
473contains0(zambia,congo_river).
474contains0(zambia,zambesi).
475
476
498
501
506
507
508country(afghanistan,indian_subcontinent,33,-65,254861,18290000,kabul,afghani).
509country(albania,southern_europe,41,-20,11100,2350000,tirana,lek).
510country(algeria,north_africa,35,-11,919951,15770000,algiers,dinar).
511country(andorra,southern_europe,42,-1,179,25000,andorra_la_villa,franc_peseta).
512country(angola,southern_africa,-12,-18,481351,5810000,luanda,?).
513country(argentina,south_america,-35,66,1072067,23920000,buenos_aires,peso).
514country(australia,australasia,-23,-135,2967909,13268000,canberra,australian_dollar).
515country(austria,western_europe,47,-14,32374,7520000,vienna,schilling).
516country(bahamas,caribbean,24,74,4404,190000,nassau,bahamian_dollar).
517country(bahrain,middle_east,26,-50,231,230000,manama,dinar).
518country(bangladesh,indian_subcontinent,24,-90,55126,71317000,dacca,taka).
519country(barbados,caribbean,13,59,166,240000,bridgetown,east_carribean_dollar).
520country(belgium,western_europe,51,-5,11779,9711000,brussels,franc).
521country(belize,central_america,17,88,8866,82000,belize_town,?).
522country(bhutan,indian_subcontinent,27,-90,19305,1150000,thimphu,indian_rupee).
523country(bolivia,south_america,-17,64,424162,5330000,sucre,peso).
524country(botswana,southern_africa,-22,-24,219815,650000,gaborone,south_african_rand).
525country(brazil,south_america,-13,53,3286470,105137000,brasilia,cruzeiro).
526country(bulgaria,eastern_europe,43,-25,42829,8620000,sofia,lev).
527country(burma,southeast_east,21,-96,261789,29560000,rangoon,kyat).
528country(burundi,central_africa,-3,-30,10739,3600000,bujumbura,franc).
529country(cambodia,southeast_east,12,-105,69898,7640000,phnom_penh,riel).
530country(cameroon,west_africa,3,-12,183568,6170000,yaounde,cfa_franc).
531country(canada,north_america,60,100,3851809,22047000,ottawa,canadian_dollar).
532country(central_african_republic,central_africa,7,-20,241313,1720000,bangui,cfa_franc).
533country(chad,central_africa,12,-17,495752,3870000,n_djamena,cfa_franc).
534country(chile,south_america,-35,71,286396,10230000,santiago,escudo).
535country(china,far_east,30,-110,3691502,840000000.000000,peking,yuan).
536country(colombia,south_america,4,73,455335,23210000,bogota,peso).
537country(congo,central_africa,-1,-16,132046,1001000,brazzaville,cfa_franc).
538country(costa_rica,central_america,10,84,19653,1890000,san_jose,colon).
539country(cuba,caribbean,22,79,44218,8870000,havana,peso).
540country(cyprus,southern_europe,35,-33,3572,660000,nicosia,pound).
541country(czechoslovakia,eastern_europe,49,-17,49371,14580000,prague,koruna).
542country(dahomey,west_africa,8,-2,43483,2910000,porto_novo,cfa_franc).
543country(denmark,scandinavia,55,-9,16615,5130000,copenhagen,krone).
544country(djibouti,east_africa,12,-42,9071,45000,djibouti,?).
545country(dominican_republic,caribbean,19,70,18704,4430000,santa_domingo,peso).
546country(east_germany,eastern_europe,52,-12,40646,16980000,east_berlin,ddr_mark).
547country(ecuador,south_america,-2,78,105685,6730000,quito,sucre).
548country(egypt,north_africa,28,-31,386872,35620000,cairo,egyptian_pound).
549country(eire,western_europe,53,8,26600,3030000,dublin,irish_pound).
550country(el_salvador,central_america,14,89,8260,3860000,san_salvador,colon).
551country(equatorial_guinea,west_africa,1,-10,10832,300000,santa_isabel,peveta).
552country(ethiopia,east_africa,8,-40,457142,26080000,addis_ababa,ethiopean_dollar).
553country(fiji,australasia,-17,-179,7055,550000,suva,fiji_dollar).
554country(finland,scandinavia,65,-27,130119,4660000,helsinki,markka).
555country(france,western_europe,47,-3,212973,52350000,paris,franc).
556country(french_guiana,south_america,4,53,34740,27000,cayenne,?).
557country(gabon,central_africa,0,-10,102317,520000,libreville,cfa_franc).
558country(gambia,west_africa,13,16,4003,490000,banjul,dalasi).
559country(ghana,west_africa,6,1,92100,9360000,accra,cedi).
560country(greece,southern_europe,40,-23,50547,9030000,athens,drachma).
561country(grenada,caribbean,12,61,133,100000,st_georges,east_caribbean_dollar).
562country(guatemala,central_america,15,90,42042,5540000,guatamala_city,quetzal).
563country(guinea,west_africa,10,10,94925,4210000,conakry,syli).
564country(guinea_bissau,west_africa,12,15,13948,510000,bissau,pataca).
565country(guyana,south_america,5,59,83000,760000,georgetown,guyana_dollar).
566country(haiti,caribbean,19,72,10714,5200000,port_au_prince,gourde).
567country(honduras,central_america,14,86,43277,2780000,tegucigalpa,lempira).
568country(hungary,eastern_europe,47,-19,35919,10410000,budapest,forint).
569country(iceland,western_europe,65,19,39702,210000,reykjavik,krona).
570country(india,indian_subcontinent,20,-80,1229919,574219776.000000,new_delhi,rupee).
571country(indonesia,southeast_east,-5,-115,735268,124600000,jakarta,rupiah).
572country(iran,middle_east,33,-53,636363,32001000,tehran,rial).
573country(iraq,middle_east,33,-44,167567,10410000,baghdad,dinar).
574country(israel,middle_east,32,-35,34493,3228000,jerusalem,israeli_pound).
575country(italy,southern_europe,42,-13,116303,55262000,rome,lira).
576country(ivory_coast,west_africa,7,5,124503,4640000,abidjan,cfa_franc).
577country(jamaica,caribbean,18,77,4411,1980000,kingston,jamaican_dollar).
578country(japan,far_east,36,-136,143574,108710000,tokyo,yen).
579country(jordan,middle_east,31,-36,32297,2560000,amman,dinar).
580country(kenya,east_africa,1,-38,224960,12480000,nairobi,kenya_shilling).
581country(kuwait,middle_east,29,-47,7780,880000,kuwait_city,kuwaiti_dinar).
582country(laos,southeast_east,18,-105,3180,3180000,vientiane,kip).
583country(lebanon,middle_east,34,-36,4015,3213000,beirut,lebanese_pound).
584country(lesotho,southern_africa,-30,-28,11716,1200000,masero,rand).
585country(liberia,west_africa,6,9,43000,1660000,monrovia,us_dollar).
586country(libya,north_africa,28,-17,679536,2257000,tripoli,libyan_dinar).
587country(liechtenstein,western_europe,47,-9,62,23000,vaduz,swiss_franc).
588country(luxembourg,western_europe,50,-6,999,350000,luxembourg,luxembourg_franc).
589country(malagasy,southern_africa,-20,-47,203035,7655000,tananarive,ariary).
590country(malawi,southern_africa,-13,-34,45747,4790000,zomba,kwacha).
591country(malaysia,southeast_east,5,-110,128328,10920000,kuala_lumpa,malaysian_dollar).
592country(maldives,indian_subcontinent,2,-73,115,123000,male,rupee).
593country(mali,west_africa,15,10,464873,5380000,bamako,mali_franc).
594country(malta,southern_europe,36,-14,122,319000,valetta,pound).
595country(mauritania,west_africa,21,10,419229,1260000,nouakchott,ouguiya).
596country(mauritius,southern_africa,-20,-57,787,870000,port_louis,rupee).
597country(mexico,central_america,20,100,761601,54300000,mexico_city,peso).
598country(monaco,southern_europe,44,-7,1,30000,monaco,french_franc).
599country(mongolia,northern_asia,47,-103,604247,1360000,ulan_bator,tighrik).
600country(morocco,north_africa,32,6,171953,16310000,rabat,dirham).
601country(mozambique,southern_africa,-19,-35,303373,8820000,maputo,?).
602country(nepal,indian_subcontinent,28,-84,54362,12020000,katmandu,nepalese_rupee).
603country(netherlands,western_europe,52,-5,14192,13500000,amsterdam,guilder).
604country(new_zealand,australasia,-40,-176,103736,2962000,wellington,new_zealand_dollar).
605country(nicaragua,central_america,12,85,57143,2010000,managua,cordoba).
606country(niger,west_africa,13,-10,489206,4300000,niamey,cfa_franc).
607country(nigeria,west_africa,8,-8,356669,79759000,lagos,naira).
608country(north_korea,far_east,40,-127,46768,15090000,pvongvang,won).
609country(norway,scandinavia,64,-11,125181,3960000,oslo,krone).
610country(oman,middle_east,23,-58,82000,720000,muscat,riyal_omani).
611country(pakistan,indian_subcontinent,30,-70,342750,66750000,islamad,rupee).
612country(panama,central_america,9,80,28753,1570000,panama,balboa).
613country(papua_new_guinea,australasia,-8,-145,183540,2580000,port_harcourt,australian_dollar).
614country(paraguay,south_america,-23,57,157047,2670000,asuncion,guarani).
615country(peru,south_america,-8,75,496222,14910000,lima,sol).
616country(philippines,southeast_east,12,-123,115707,40220000,quezon_city,piso).
617country(poland,eastern_europe,52,-20,120359,33360000,warsaw,zloty).
618country(portugal,southern_europe,40,7,35340,8560000,lisbon,escudo).
619country(qatar,middle_east,25,-51,4000,115000,doha,riyal).
620country(romania,eastern_europe,46,-25,91699,5690000,bucharest,leu).
621country(rwanda,central_africa,-2,-30,10169,3980000,kigali,rwanda_franc).
622country(san_marino,southern_europe,44,-12,24,20000,san_marino,italian_lira).
623country(saudi_arabia,middle_east,26,-44,873000,8100000,riyadh,riyal).
624country(senegal,west_africa,14,14,76124,4230000,dakar,cfa_franc).
625country(seychelles,east_africa,-4,-55,40,156000,victoria,rupee).
626country(sierra_leone,west_africa,9,12,27925,2860000,freetown,leone).
627country(singapore,southeast_east,1,-104,226,2190000,singapore,singapore_dollar).
628country(somalia,east_africa,7,-47,246155,3100000,mogadishu,somali_shilling).
629country(south_africa,southern_africa,-30,-25,471819,23720000,pretoria,rand).
630country(south_korea,far_east,36,-128,38031,33333000,seoul,won).
631country(south_yemen,middle_east,15,-48,111000,1600000,aden,dinar).
632country(soviet_union,northern_asia,57,-80,8347250,250900000,moscow,ruble).
633country(spain,southern_europe,40,5,194883,34860000,madrid,peseta).
634country(sri_lanka,indian_subcontinent,7,-81,25332,13250000,colombo,rupee).
635country(sudan,central_africa,15,-30,967491,16900000,khartoum,pound).
636country(surinam,south_america,4,56,55000,208000,paramaribo,?).
637country(swaziland,southern_africa,-26,-31,6705,460000,mbabane,lilageru).
638country(sweden,scandinavia,63,-15,173665,8144000,stockholm,krona).
639country(switzerland,western_europe,46,-8,15941,6440000,bern,franc).
640country(syria,middle_east,35,-38,71498,6895000,damascus,syrian_pound).
641country(taiwan,far_east,23,-121,13592,15737000,taipei,taiwan_dollar).
642country(tanzania,east_africa,-7,-34,363708,14000000,dar_es_salaam,tanzanian_shilling).
643country(thailand,southeast_east,16,-102,198455,39950000,bangkok,baht).
644country(togo,west_africa,8,-1,21853,2120000,lome,cfa_franc).
645country(tonga,australasia,-20,173,269,90000,nukualofa,pa_anga).
646country(trinidad_and_tobago,caribbean,10,61,1979,5510000,port_of_spain,trinidad_and_tobago_dollar).
647country(tunisia,north_africa,33,-9,63378,5510000,tunis,dinar).
648country(turkey,middle_east,39,-36,301380,37930000,ankara,lira).
649country(uganda,east_africa,2,-32,91134,10810000,kampala,uganda_shilling).
650country(united_arab_emirates,middle_east,24,-54,32278,210000,abu_dhabi,dirham).
651country(united_kingdom,western_europe,54,2,94209,55930000,london,pound).
652country(united_states,north_america,37,96,3615122,211210000,washington,dollar).
653country(upper_volta,west_africa,12,2,105869,5740000,ouagadougou,cfa_franc).
654country(uruguay,south_america,-32,55,68548,2990000,montevideo,peso).
655country(venezuela,south_america,8,65,352143,11520000,caracas,bolivar).
656country(vietnam,southeast_east,17,-107,126436,41850000,hanoi,dong).
657country(west_germany,western_europe,52,-9,95815,61970000,bonn,deutsche_mark).
658country(western_samoa,australasia,-14,172,1133,150000,apia,tala).
659country(yemen,middle_east,15,-44,75289,1600000,sana,rial).
660country(yugoslavia,southern_europe,44,-20,98766,21126000,belgrade,dinar).
661country(zaire,central_africa,-3,-23,905063,23560000,kinshasa,zaire).
662country(zambia,southern_africa,-15,-28,290724,4640000,lusaka,kwacha).
663country(zimbabwe,southern_africa,-20,-30,150333,5690000,salisbury,rhodesian_dollar).
664
686
689
690city(athens,greece,1368).
691city(bangkok,thailand,1178).
692city(barcelona,spain,1280).
693city(berlin,east_germany,3481).
694city(birmingham,united_kingdom,1112).
695city(bombay,india,2839).
696city(brussels,belgium,986).
697city(bucharest,romania,1237).
698city(budapest,hungary,1757).
699city(buenos_aires,argentina,3404).
700city(cairo,egypt,2373).
701city(calcutta,india,2549).
702city(canton,china,1496).
703city(caracas,venezuela,488).
704city(chicago,united_states,3621).
705city(chungking,china,1100).
706city(dairen,china,544).
707city(delhi,india,1744).
708city(detroit,united_states,1850).
709city(glasgow,united_kingdom,1090).
710city(hamburg,west_germany,1700).
711city(harbin,china,760).
712city(hongkong_city,hongkong,2440).
713city(hyderabad,india,1086).
714city(istanbul,turkey,1215).
715city(jakarta,indonesia,533).
716city(johannesburg,south_africa,880).
717city(karachi,pakistan,1126).
718city(kiev,soviet_union,991).
719city(kobe,japan,765).
720city(kowloon,china,547).
721city(kyoto,japan,1204).
722city(leningrad,soviet_union,2800).
723city(lima,peru,835).
724city(london,united_kingdom,8346).
725city(los_angeles,united_states,1970).
726city(madras,india,1416).
727city(madrid,spain,1700).
728city(manila,philippines,1025).
729city(melbourne,australia,1595).
730city(mexico_city,mexico,3796).
731city(milan,italy,1269).
732city(montreal,canada,1109).
733city(moscow,soviet_union,4800).
734city(mukden,china,1551).
735city(nagoya,japan,1337).
736city(nanking,japan,1020).
737city(naples,italy,1012).
738city(new_york,united_states,7795).
739city(osaka,japan,2547).
740city(paris,france,2850).
741city(peking,china,2031).
742city(philadelphia,united_states,2072).
743city(pusan,south_korea,474).
744city(rio_de_janeiro,brazil,2413).
745city(rome,italy,1760).
746city(saigon,vietnam,695).
747city(santiago,chile,1350).
748city(sao_paulo,brazil,2228).
749city(seoul,south_korea,1446).
750city(shanghai,china,5407).
751city(sian,china,629).
752city(singapore_city,singapore,1264).
753city(sydney,australia,1898).
754city(tehran,iran,1010).
755city(tientsin,china,1795).
756city(tokyo,japan,8535).
757city(toronto,canada,668).
758city(vienna,austria,1766).
759city(warsaw,poland,965).
760city(yokohama,japan,1143).
761
762
763
766
767borders(albania,greece).
768borders(albania,yugoslavia).
769borders(albania,mediterranean).
770
771borders(andorra,france).
772borders(andorra,spain).
773
774borders(austria,czechoslovakia).
775borders(austria,hungary).
776borders(austria,italy).
777borders(austria,liechtenstein).
778borders(austria,switzerland).
779borders(austria,west_germany).
780borders(austria,yugoslavia).
781
782borders(belgium,france).
783borders(belgium,luxembourg).
784borders(belgium,netherlands).
785borders(belgium,west_germany).
786borders(belgium,atlantic).
787
788borders(bulgaria,greece).
789borders(bulgaria,romania).
790borders(bulgaria,turkey).
791borders(bulgaria,yugoslavia).
792borders(bulgaria,black_sea).
793
794borders(cyprus,mediterranean).
795
796borders(czechoslovakia,austria).
797borders(czechoslovakia,east_germany).
798borders(czechoslovakia,hungary).
799borders(czechoslovakia,poland).
800borders(czechoslovakia,soviet_union).
801borders(czechoslovakia,west_germany).
802
803borders(denmark,west_germany).
804borders(denmark,atlantic).
805borders(denmark,baltic).
806
807borders(eire,united_kingdom).
808borders(eire,atlantic).
809
810borders(finland,norway).
811borders(finland,soviet_union).
812borders(finland,sweden).
813borders(finland,baltic).
814
815borders(france,andorra).
816borders(france,belgium).
817borders(france,italy).
818borders(france,luxembourg).
819borders(france,monaco).
820borders(france,spain).
821borders(france,switzerland).
822borders(france,west_germany).
823borders(france,atlantic).
824borders(france,mediterranean).
825
826borders(east_germany,czechoslovakia).
827borders(east_germany,poland).
828borders(east_germany,west_germany).
829borders(east_germany,baltic).
830
831borders(greece,albania).
832borders(greece,bulgaria).
833borders(greece,turkey).
834borders(greece,yugoslavia).
835borders(greece,mediterranean).
836
837borders(hungary,austria).
838borders(hungary,czechoslovakia).
839borders(hungary,romania).
840borders(hungary,soviet_union).
841borders(hungary,yugoslavia).
842
843borders(iceland,atlantic).
844
845borders(italy,austria).
846borders(italy,france).
847borders(italy,san_marino).
848borders(italy,switzerland).
849borders(italy,yugoslavia).
850borders(italy,mediterranean).
851
852borders(liechtenstein,austria).
853borders(liechtenstein,switzerland).
854
855borders(luxembourg,belgium).
856borders(luxembourg,france).
857borders(luxembourg,west_germany).
858
859borders(malta,mediterranean).
860
861borders(monaco,france).
862borders(monaco,mediterranean).
863
864borders(netherlands,belgium).
865borders(netherlands,west_germany).
866borders(netherlands,atlantic).
867
868borders(norway,finland).
869borders(norway,sweden).
870borders(norway,soviet_union).
871borders(norway,arctic_ocean).
872borders(norway,atlantic).
873
874borders(poland,czechoslovakia).
875borders(poland,east_germany).
876borders(poland,soviet_union).
877borders(poland,baltic).
878
879borders(portugal,spain).
880borders(portugal,atlantic).
881
882borders(romania,bulgaria).
883borders(romania,hungary).
884borders(romania,soviet_union).
885borders(romania,yugoslavia).
886borders(romania,black_sea).
887
888borders(san_marino,italy).
889borders(san_marino,mediterranean).
890
891borders(spain,andorra).
892borders(spain,france).
893borders(spain,portugal).
894borders(spain,atlantic).
895borders(spain,mediterranean).
896
897borders(sweden,finland).
898borders(sweden,norway).
899borders(sweden,atlantic).
900borders(sweden,baltic).
901
902borders(switzerland,austria).
903borders(switzerland,france).
904borders(switzerland,italy).
905borders(switzerland,liechtenstein).
906borders(switzerland,west_germany).
907
908borders(west_germany,austria).
909borders(west_germany,belgium).
910borders(west_germany,czechoslovakia).
911borders(west_germany,denmark).
912borders(west_germany,east_germany).
913borders(west_germany,france).
914borders(west_germany,luxembourg).
915borders(west_germany,netherlands).
916borders(west_germany,switzerland).
917borders(west_germany,atlantic).
918borders(west_germany,baltic).
919
920borders(united_kingdom,eire).
921borders(united_kingdom,atlantic).
922
923borders(yugoslavia,albania).
924borders(yugoslavia,austria).
925borders(yugoslavia,bulgaria).
926borders(yugoslavia,greece).
927borders(yugoslavia,hungary).
928borders(yugoslavia,italy).
929borders(yugoslavia,romania).
930borders(yugoslavia,mediterranean).
931
934
935borders(afghanistan,china).
936borders(afghanistan,iran).
937borders(afghanistan,pakistan).
938borders(afghanistan,soviet_union).
939
940borders(bahrain,persian_gulf).
941
942borders(bangladesh,burma).
943borders(bangladesh,india).
944borders(bangladesh,indian_ocean).
945
946borders(bhutan,china).
947borders(bhutan,india).
948
949borders(burma,bangladesh).
950borders(burma,china).
951borders(burma,india).
952borders(burma,laos).
953borders(burma,thailand).
954borders(burma,indian_ocean).
955
956borders(cambodia,laos).
957borders(cambodia,thailand).
958borders(cambodia,vietnam).
959borders(cambodia,pacific).
960
961borders(china,afghanistan).
962borders(china,bhutan).
963borders(china,burma).
964borders(china,india).
965borders(china,laos).
966borders(china,mongolia).
967borders(china,nepal).
968borders(china,north_korea).
969borders(china,pakistan).
970borders(china,soviet_union).
971borders(china,vietnam).
972borders(china,pacific).
973
974borders(india,bangladesh).
975borders(india,bhutan).
976borders(india,burma).
977borders(india,china).
978borders(india,nepal).
979borders(india,pakistan).
980borders(india,indian_ocean).
981
982borders(indonesia,malaysia).
983borders(indonesia,papua_new_guinea).
984borders(indonesia,indian_ocean).
985borders(indonesia,pacific).
986
987borders(iran,afghanistan).
988borders(iran,iraq).
989borders(iran,pakistan).
990borders(iran,soviet_union).
991borders(iran,turkey).
992borders(iran,caspian).
993borders(iran,persian_gulf).
994borders(iran,indian_ocean).
995
996borders(iraq,iran).
997borders(iraq,jordan).
998borders(iraq,kuwait).
999borders(iraq,saudi_arabia).
1000borders(iraq,syria).
1001borders(iraq,turkey).
1002borders(iraq,persian_gulf).
1003
1004borders(israel,egypt).
1005borders(israel,jordan).
1006borders(laos,burma).
1007borders(laos,cambodia).
1008borders(laos,china).
1009borders(laos,thailand).
1010borders(laos,vietnam).
1011
1012borders(israel,lebanon).
1013borders(israel,syria).
1014borders(israel,mediterranean).
1015borders(israel,red_sea).
1016
1017borders(japan,pacific).
1018
1019borders(jordan,iraq).
1020borders(jordan,israel).
1021borders(jordan,saudi_arabia).
1022borders(jordan,syria).
1023borders(jordan,red_sea).
1024
1025borders(kuwait,iraq).
1026borders(kuwait,saudi_arabia).
1027borders(kuwait,persian_gulf).
1028
1029borders(lebanon,israel).
1030borders(lebanon,syria).
1031borders(lebanon,mediterranean).
1032
1033borders(malaysia,indonesia).
1034borders(malaysia,singapore).
1035borders(malaysia,thailand).
1036borders(malaysia,indian_ocean).
1037borders(malaysia,pacific).
1038
1039borders(maldives,indian_ocean).
1040
1041borders(mongolia,china).
1042borders(mongolia,soviet_union).
1043
1044borders(nepal,china).
1045borders(nepal,india).
1046
1047borders(north_korea,china).
1048borders(north_korea,south_korea).
1049borders(north_korea,soviet_union).
1050borders(north_korea,pacific).
1051
1052borders(oman,saudi_arabia).
1053borders(oman,united_arab_emirates).
1054borders(oman,south_yemen).
1055borders(oman,indian_ocean).
1056
1057borders(pakistan,afghanistan).
1058borders(pakistan,china).
1059borders(pakistan,india).
1060borders(pakistan,iran).
1061borders(pakistan,indian_ocean).
1062
1063borders(philippines,pacific).
1064
1065borders(qatar,saudi_arabia).
1066borders(qatar,united_arab_emirates).
1067borders(qatar,persian_gulf).
1068
1069borders(saudi_arabia,iraq).
1070borders(saudi_arabia,jordan).
1071borders(saudi_arabia,kuwait).
1072borders(saudi_arabia,oman).
1073borders(saudi_arabia,qatar).
1074borders(saudi_arabia,south_yemen).
1075borders(saudi_arabia,united_arab_emirates).
1076borders(saudi_arabia,yemen).
1077borders(saudi_arabia,persian_gulf).
1078borders(saudi_arabia,red_sea).
1079
1080borders(singapore,malaysia).
1081borders(singapore,pacific).
1082
1083borders(south_korea,north_korea).
1084borders(south_korea,pacific).
1085
1086borders(south_yemen,oman).
1087borders(south_yemen,saudi_arabia).
1088borders(south_yemen,yemen).
1089borders(south_yemen,indian_ocean).
1090
1091borders(soviet_union,afghanistan).
1092borders(soviet_union,china).
1093borders(soviet_union,czechoslovakia).
1094borders(soviet_union,finland).
1095borders(soviet_union,hungary).
1096borders(soviet_union,iran).
1097borders(soviet_union,mongolia).
1098borders(soviet_union,north_korea).
1099borders(soviet_union,norway).
1100borders(soviet_union,poland).
1101borders(soviet_union,romania).
1102borders(soviet_union,turkey).
1103borders(soviet_union,arctic_ocean).
1104borders(soviet_union,baltic).
1105borders(soviet_union,black_sea).
1106borders(soviet_union,caspian).
1107borders(soviet_union,pacific).
1108
1109borders(sri_lanka,indian_ocean).
1110
1111borders(syria,iraq).
1112borders(syria,israel).
1113borders(syria,jordan).
1114borders(syria,lebanon).
1115borders(syria,turkey).
1116borders(syria,mediterranean).
1117
1118borders(taiwan,pacific).
1119
1120borders(thailand,burma).
1121borders(thailand,cambodia).
1122borders(thailand,laos).
1123borders(thailand,malaysia).
1124borders(thailand,indian_ocean).
1125borders(thailand,pacific).
1126
1127borders(turkey,bulgaria).
1128borders(turkey,greece).
1129borders(turkey,iran).
1130borders(turkey,iraq).
1131borders(turkey,soviet_union).
1132borders(turkey,syria).
1133borders(turkey,black_sea).
1134borders(turkey,mediterranean).
1135
1136borders(united_arab_emirates,oman).
1137borders(united_arab_emirates,qatar).
1138borders(united_arab_emirates,saudi_arabia).
1139borders(united_arab_emirates,persian_gulf).
1140
1141borders(vietnam,cambodia).
1142borders(vietnam,china).
1143borders(vietnam,laos).
1144borders(vietnam,pacific).
1145
1146borders(yemen,south_yemen).
1147borders(yemen,saudi_arabia).
1148borders(yemen,red_sea).
1149
1152
1153borders(algeria,libya).
1154borders(algeria,mali).
1155borders(algeria,mauritania).
1156borders(algeria,morocco).
1157borders(algeria,niger).
1158borders(algeria,tunisia).
1159borders(algeria,mediterranean).
1160
1161borders(angola,congo).
1162borders(angola,south_africa).
1163borders(angola,zaire).
1164borders(angola,zambia).
1165borders(angola,atlantic).
1166
1167borders(botswana,south_africa).
1168borders(botswana,zimbabwe).
1169
1170borders(burundi,rwanda).
1171borders(burundi,tanzania).
1172borders(burundi,zaire).
1173
1174borders(cameroon,central_african_republic).
1175borders(cameroon,chad).
1176borders(cameroon,congo).
1177borders(cameroon,equatorial_guinea).
1178borders(cameroon,gabon).
1179borders(cameroon,nigeria).
1180borders(cameroon,atlantic).
1181
1182borders(central_african_republic,cameroon).
1183borders(central_african_republic,chad).
1184borders(central_african_republic,congo).
1185borders(central_african_republic,sudan).
1186borders(central_african_republic,zaire).
1187
1188borders(chad,cameroon).
1189borders(chad,central_african_republic).
1190borders(chad,libya).
1191borders(chad,niger).
1192borders(chad,nigeria).
1193borders(chad,sudan).
1194
1195borders(congo,angola).
1196borders(congo,cameroon).
1197borders(congo,central_african_republic).
1198borders(congo,gabon).
1199borders(congo,zaire).
1200borders(congo,atlantic).
1201
1202borders(dahomey,niger).
1203borders(dahomey,nigeria).
1204borders(dahomey,togo).
1205borders(dahomey,upper_volta).
1206borders(dahomey,atlantic).
1207
1208borders(djibouti,ethiopia).
1209borders(djibouti,somalia).
1210borders(djibouti,indian_ocean).
1211
1212borders(egypt,israel).
1213borders(egypt,libya).
1214borders(egypt,sudan).
1215borders(egypt,mediterranean).
1216borders(egypt,red_sea).
1217
1218borders(equatorial_guinea,cameroon).
1219borders(equatorial_guinea,gabon).
1220borders(equatorial_guinea,atlantic).
1221
1222borders(ethiopia,djibouti).
1223borders(ethiopia,kenya).
1224borders(ethiopia,somalia).
1225borders(ethiopia,sudan).
1226borders(ethiopia,red_sea).
1227
1228borders(gabon,cameroon).
1229borders(gabon,congo).
1230borders(gabon,equatorial_guinea).
1231borders(gabon,atlantic).
1232
1233borders(gambia,senegal).
1234borders(gambia,atlantic).
1235
1236borders(ghana,ivory_coast).
1237borders(ghana,togo).
1238borders(ghana,upper_volta).
1239borders(ghana,atlantic).
1240
1241borders(guinea,guinea_bissau).
1242borders(guinea,ivory_coast).
1243borders(guinea,liberia).
1244borders(guinea,mali).
1245borders(guinea,senegal).
1246borders(guinea,sierra_leone).
1247borders(guinea,atlantic).
1248
1249borders(guinea_bissau,guinea).
1250borders(guinea_bissau,senegal).
1251borders(guinea_bissau,atlantic).
1252
1253borders(ivory_coast,ghana).
1254borders(ivory_coast,guinea).
1255borders(ivory_coast,liberia).
1256borders(ivory_coast,mali).
1257borders(ivory_coast,upper_volta).
1258borders(ivory_coast,atlantic).
1259
1260borders(kenya,ethiopia).
1261borders(kenya,somalia).
1262borders(kenya,sudan).
1263borders(kenya,tanzania).
1264borders(kenya,uganda).
1265borders(kenya,indian_ocean).
1266
1267borders(lesotho,south_africa).
1268
1269borders(liberia,ivory_coast).
1270borders(liberia,guinea).
1271borders(liberia,sierra_leone).
1272borders(liberia,atlantic).
1273
1274borders(libya,algeria).
1275borders(libya,chad).
1276borders(libya,egypt).
1277borders(libya,niger).
1278borders(libya,sudan).
1279borders(libya,tunisia).
1280borders(libya,mediterranean).
1281
1282borders(malagasy,indian_ocean).
1283
1284borders(malawi,mozambique).
1285borders(malawi,tanzania).
1286borders(malawi,zambia).
1287
1288borders(mali,algeria).
1289borders(mali,guinea).
1290borders(mali,ivory_coast).
1291borders(mali,mauritania).
1292borders(mali,niger).
1293borders(mali,senegal).
1294borders(mali,upper_volta).
1295
1296borders(mauritania,algeria).
1297borders(mauritania,mali).
1298borders(mauritania,morocco).
1299borders(mauritania,senegal).
1300borders(mauritania,atlantic).
1301
1302borders(mauritius,indian_ocean).
1303
1304borders(morocco,algeria).
1305borders(morocco,mauritania).
1306borders(morocco,atlantic).
1307borders(morocco,mediterranean).
1308
1309borders(mozambique,malawi).
1310borders(mozambique,south_africa).
1311borders(mozambique,swaziland).
1312borders(mozambique,tanzania).
1313borders(mozambique,zambia).
1314borders(mozambique,zimbabwe).
1315borders(mozambique,indian_ocean).
1316
1317borders(niger,algeria).
1318borders(niger,chad).
1319borders(niger,dahomey).
1320borders(niger,libya).
1321borders(niger,mali).
1322borders(niger,nigeria).
1323borders(niger,upper_volta).
1324
1325borders(nigeria,cameroon).
1326borders(nigeria,chad).
1327borders(nigeria,dahomey).
1328borders(nigeria,niger).
1329borders(nigeria,atlantic).
1330
1331borders(rwanda,burundi).
1332borders(rwanda,tanzania).
1333borders(rwanda,uganda).
1334borders(rwanda,zaire).
1335
1336borders(senegal,gambia).
1337borders(senegal,guinea).
1338borders(senegal,guinea_bissau).
1339borders(senegal,mali).
1340borders(senegal,mauritania).
1341borders(senegal,atlantic).
1342
1343borders(seychelles,indian_ocean).
1344
1345borders(sierra_leone,guinea).
1346borders(sierra_leone,liberia).
1347borders(sierra_leone,atlantic).
1348
1349borders(somalia,djibouti).
1350borders(somalia,ethiopia).
1351borders(somalia,kenya).
1352borders(somalia,indian_ocean).
1353
1354borders(south_africa,angola).
1355borders(south_africa,botswana).
1356borders(south_africa,lesotho).
1357borders(south_africa,mozambique).
1358borders(south_africa,swaziland).
1359borders(south_africa,zambia).
1360borders(south_africa,zimbabwe).
1361borders(south_africa,atlantic).
1362borders(south_africa,indian_ocean).
1363
1364borders(sudan,chad).
1365borders(sudan,central_african_republic).
1366borders(sudan,egypt).
1367borders(sudan,ethiopia).
1368borders(sudan,kenya).
1369borders(sudan,libya).
1370borders(sudan,uganda).
1371borders(sudan,zaire).
1372borders(sudan,red_sea).
1373
1374borders(swaziland,mozambique).
1375borders(swaziland,south_africa).
1376
1377borders(tanzania,burundi).
1378borders(tanzania,kenya).
1379borders(tanzania,malawi).
1380borders(tanzania,mozambique).
1381borders(tanzania,rwanda).
1382borders(tanzania,uganda).
1383borders(tanzania,zaire).
1384borders(tanzania,zambia).
1385borders(tanzania,indian_ocean).
1386
1387borders(togo,dahomey).
1388borders(togo,ghana).
1389borders(togo,upper_volta).
1390borders(togo,atlantic).
1391
1392borders(tunisia,algeria).
1393borders(tunisia,libya).
1394borders(tunisia,mediterranean).
1395
1396borders(uganda,kenya).
1397borders(uganda,rwanda).
1398borders(uganda,sudan).
1399borders(uganda,tanzania).
1400borders(uganda,zaire).
1401
1402borders(upper_volta,dahomey).
1403borders(upper_volta,ghana).
1404borders(upper_volta,ivory_coast).
1405borders(upper_volta,mali).
1406borders(upper_volta,niger).
1407borders(upper_volta,togo).
1408
1409borders(zaire,angola).
1410borders(zaire,burundi).
1411borders(zaire,central_african_republic).
1412borders(zaire,congo).
1413borders(zaire,rwanda).
1414borders(zaire,sudan).
1415borders(zaire,tanzania).
1416borders(zaire,uganda).
1417borders(zaire,zambia).
1418borders(zaire,atlantic).
1419
1420borders(zambia,angola).
1421borders(zambia,malawi).
1422borders(zambia,mozambique).
1423borders(zambia,south_africa).
1424borders(zambia,tanzania).
1425borders(zambia,zaire).
1426borders(zambia,zimbabwe).
1427
1428borders(zimbabwe,botswana).
1429borders(zimbabwe,mozambique).
1430borders(zimbabwe,south_africa).
1431borders(zimbabwe,zambia).
1432
1433
1436
1437borders(argentina,bolivia).
1438borders(argentina,brazil).
1439borders(argentina,chile).
1440borders(argentina,paraguay).
1441borders(argentina,uruguay).
1442borders(argentina,atlantic).
1443
1444borders(bahamas,atlantic).
1445
1446borders(barbados,atlantic).
1447
1448borders(belize,guatemala).
1449borders(belize,mexico).
1450borders(belize,atlantic).
1451
1452borders(bolivia,argentina).
1453borders(bolivia,brazil).
1454borders(bolivia,chile).
1455borders(bolivia,paraguay).
1456borders(bolivia,peru).
1457
1458borders(brazil,argentina).
1459borders(brazil,bolivia).
1460borders(brazil,colombia).
1461borders(brazil,french_guiana).
1462borders(brazil,guyana).
1463borders(brazil,paraguay).
1464borders(brazil,peru).
1465borders(brazil,surinam).
1466borders(brazil,uruguay).
1467borders(brazil,venezuela).
1468borders(brazil,atlantic).
1469
1470borders(canada,united_states).
1471borders(canada,arctic_ocean).
1472borders(canada,atlantic).
1473borders(canada,pacific).
1474
1475borders(chile,argentina).
1476borders(chile,bolivia).
1477borders(chile,peru).
1478borders(chile,pacific).
1479
1480borders(colombia,brazil).
1481borders(colombia,ecuador).
1482borders(colombia,panama).
1483borders(colombia,peru).
1484borders(colombia,venezuela).
1485borders(colombia,atlantic).
1486borders(colombia,pacific).
1487
1488borders(costa_rica,nicaragua).
1489borders(costa_rica,panama).
1490borders(costa_rica,atlantic).
1491borders(costa_rica,pacific).
1492
1493borders(cuba,atlantic).
1494
1495borders(dominican_republic,haiti).
1496borders(dominican_republic,atlantic).
1497
1498borders(ecuador,colombia).
1499borders(ecuador,peru).
1500borders(ecuador,pacific).
1501
1502borders(el_salvador,guatemala).
1503borders(el_salvador,honduras).
1504borders(el_salvador,pacific).
1505
1506borders(french_guiana,brazil).
1507borders(french_guiana,surinam).
1508
1509borders(greenland,arctic_ocean).
1510borders(greenland,atlantic).
1511
1512borders(grenada,atlantic).
1513
1514borders(guatemala,belize).
1515borders(guatemala,el_salvador).
1516borders(guatemala,honduras).
1517borders(guatemala,mexico).
1518borders(guatemala,atlantic).
1519borders(guatemala,pacific).
1520
1521borders(guyana,brazil).
1522borders(guyana,surinam).
1523borders(guyana,venezuela).
1524borders(guyana,atlantic).
1525
1526borders(haiti,dominican_republic).
1527borders(haiti,atlantic).
1528
1529borders(honduras,el_salvador).
1530borders(honduras,guatemala).
1531borders(honduras,nicaragua).
1532borders(honduras,atlantic).
1533borders(honduras,pacific).
1534
1535borders(jamaica,atlantic).
1536
1537borders(mexico,belize).
1538borders(mexico,guatemala).
1539borders(mexico,united_states).
1540borders(mexico,atlantic).
1541borders(mexico,pacific).
1542
1543borders(nicaragua,costa_rica).
1544borders(nicaragua,honduras).
1545borders(nicaragua,atlantic).
1546borders(nicaragua,pacific).
1547
1548borders(panama,colombia).
1549borders(panama,costa_rica).
1550borders(panama,atlantic).
1551borders(panama,pacific).
1552
1553borders(paraguay,argentina).
1554borders(paraguay,bolivia).
1555borders(paraguay,brazil).
1556
1557borders(peru,bolivia).
1558borders(peru,brazil).
1559borders(peru,chile).
1560borders(peru,colombia).
1561borders(peru,ecuador).
1562borders(peru,pacific).
1563
1564borders(surinam,brazil).
1565borders(surinam,french_guiana).
1566borders(surinam,guyana).
1567
1568borders(trinidad_and_tobago,atlantic).
1569
1570borders(united_states,canada).
1571borders(united_states,mexico).
1572borders(united_states,arctic_ocean).
1573borders(united_states,atlantic).
1574borders(united_states,pacific).
1575
1576borders(uruguay,argentina).
1577borders(uruguay,brazil).
1578borders(uruguay,atlantic).
1579
1580borders(venezuela,brazil).
1581borders(venezuela,colombia).
1582borders(venezuela,guyana).
1583borders(venezuela,atlantic).
1584
1587
1588borders(australia,indian_ocean).
1589borders(australia,pacific).
1590
1591borders(fiji,pacific).
1592
1593borders(new_zealand,pacific).
1594
1595borders(papua_new_guinea,indonesia).
1596borders(papua_new_guinea,pacific).
1597
1598borders(tonga,pacific).
1599
1600borders(western_samoa,pacific).
1601
1602borders(antarctica,southern_ocean).
1603
1606
1607borders(arctic_ocean,atlantic).
1608borders(arctic_ocean,pacific).
1609
1610borders(atlantic,arctic_ocean).
1611borders(atlantic,indian_ocean).
1612borders(atlantic,pacific).
1613borders(atlantic,southern_ocean).
1614borders(atlantic,baltic).
1615borders(atlantic,mediterranean).
1616
1617borders(indian_ocean,atlantic).
1618borders(indian_ocean,pacific).
1619borders(indian_ocean,southern_ocean).
1620borders(indian_ocean,persian_gulf).
1621borders(indian_ocean,red_sea).
1622
1623borders(pacific,arctic_ocean).
1624borders(pacific,atlantic).
1625borders(pacific,indian_ocean).
1626borders(pacific,southern_ocean).
1627
1628borders(southern_ocean,atlantic).
1629borders(southern_ocean,indian_ocean).
1630borders(southern_ocean,pacific).
1631
1632borders(baltic,atlantic).
1633
1634borders(black_sea,mediterranean).
1635
1636borders(mediterranean,atlantic).
1637borders(mediterranean,black_sea).
1638
1639borders(persian_gulf,indian_ocean).
1640
1641borders(red_sea,indian_ocean).
1642
1645
1646borders(arctic_ocean,norway).
1647borders(arctic_ocean,soviet_union).
1648borders(arctic_ocean,canada).
1649borders(arctic_ocean,greenland).
1650borders(arctic_ocean,united_states).
1651
1652borders(atlantic,belgium).
1653borders(atlantic,denmark).
1654borders(atlantic,eire).
1655borders(atlantic,france).
1656borders(atlantic,iceland).
1657borders(atlantic,netherlands).
1658borders(atlantic,norway).
1659borders(atlantic,portugal).
1660borders(atlantic,spain).
1661borders(atlantic,sweden).
1662borders(atlantic,west_germany).
1663borders(atlantic,united_kingdom).
1664borders(atlantic,angola).
1665borders(atlantic,cameroon).
1666borders(atlantic,congo).
1667borders(atlantic,dahomey).
1668borders(atlantic,equatorial_guinea).
1669borders(atlantic,gabon).
1670borders(atlantic,gambia).
1671borders(atlantic,ghana).
1672borders(atlantic,guinea).
1673borders(atlantic,guinea_bissau).
1674borders(atlantic,ivory_coast).
1675borders(atlantic,liberia).
1676borders(atlantic,mauritania).
1677borders(atlantic,morocco).
1678borders(atlantic,nigeria).
1679borders(atlantic,senegal).
1680borders(atlantic,sierra_leone).
1681borders(atlantic,south_africa).
1682borders(atlantic,togo).
1683borders(atlantic,zaire).
1684borders(atlantic,argentina).
1685borders(atlantic,bahamas).
1686borders(atlantic,barbados).
1687borders(atlantic,belize).
1688borders(atlantic,brazil).
1689borders(atlantic,canada).
1690borders(atlantic,colombia).
1691borders(atlantic,costa_rica).
1692borders(atlantic,cuba).
1693borders(atlantic,dominican_republic).
1694borders(atlantic,french_guiana).
1695borders(atlantic,greenland).
1696borders(atlantic,grenada).
1697borders(atlantic,guatemala).
1698borders(atlantic,guyana).
1699borders(atlantic,haiti).
1700borders(atlantic,honduras).
1701borders(atlantic,jamaica).
1702borders(atlantic,mexico).
1703borders(atlantic,nicaragua).
1704borders(atlantic,panama).
1705borders(atlantic,surinam).
1706borders(atlantic,trinidad_and_tobago).
1707borders(atlantic,united_states).
1708borders(atlantic,uruguay).
1709borders(atlantic,venezuela).
1710
1711borders(indian_ocean,bangladesh).
1712borders(indian_ocean,burma).
1713borders(indian_ocean,india).
1714borders(indian_ocean,indonesia).
1715borders(indian_ocean,iran).
1716borders(indian_ocean,malaysia).
1717borders(indian_ocean,maldives).
1718borders(indian_ocean,oman).
1719borders(indian_ocean,pakistan).
1720borders(indian_ocean,south_yemen).
1721borders(indian_ocean,sri_lanka).
1722borders(indian_ocean,thailand).
1723borders(indian_ocean,djibouti).
1724borders(indian_ocean,kenya).
1725borders(indian_ocean,malagasy).
1726borders(indian_ocean,mauritius).
1727borders(indian_ocean,mozambique).
1728borders(indian_ocean,seychelles).
1729borders(indian_ocean,somalia).
1730borders(indian_ocean,south_africa).
1731borders(indian_ocean,tanzania).
1732borders(indian_ocean,australia).
1733
1734borders(pacific,cambodia).
1735borders(pacific,china).
1736borders(pacific,indonesia).
1737borders(pacific,japan).
1738borders(pacific,malaysia).
1739borders(pacific,north_korea).
1740borders(pacific,philippines).
1741borders(pacific,singapore).
1742borders(pacific,south_korea).
1743borders(pacific,soviet_union).
1744borders(pacific,taiwan).
1745borders(pacific,thailand).
1746borders(pacific,vietnam).
1747borders(pacific,canada).
1748borders(pacific,chile).
1749borders(pacific,colombia).
1750borders(pacific,costa_rica).
1751borders(pacific,ecuador).
1752borders(pacific,el_salvador).
1753borders(pacific,guatemala).
1754borders(pacific,honduras).
1755borders(pacific,mexico).
1756borders(pacific,nicaragua).
1757borders(pacific,panama).
1758borders(pacific,peru).
1759borders(pacific,united_states).
1760borders(pacific,australia).
1761borders(pacific,fiji).
1762borders(pacific,new_zealand).
1763borders(pacific,papua_new_guinea).
1764borders(pacific,tonga).
1765borders(pacific,western_samoa).
1766
1767borders(southern_ocean,antarctica).
1768
1769borders(baltic,denmark).
1770borders(baltic,finland).
1771borders(baltic,east_germany).
1772borders(baltic,poland).
1773borders(baltic,sweden).
1774borders(baltic,west_germany).
1775borders(baltic,soviet_union).
1776
1777borders(black_sea,bulgaria).
1778borders(black_sea,romania).
1779borders(black_sea,soviet_union).
1780borders(black_sea,turkey).
1781
1782borders(caspian,iran).
1783borders(caspian,soviet_union).
1784
1785borders(mediterranean,albania).
1786borders(mediterranean,cyprus).
1787borders(mediterranean,france).
1788borders(mediterranean,greece).
1789borders(mediterranean,italy).
1790borders(mediterranean,malta).
1791borders(mediterranean,monaco).
1792borders(mediterranean,san_marino).
1793borders(mediterranean,spain).
1794borders(mediterranean,yugoslavia).
1795borders(mediterranean,israel).
1796borders(mediterranean,lebanon).
1797borders(mediterranean,syria).
1798borders(mediterranean,turkey).
1799borders(mediterranean,algeria).
1800borders(mediterranean,egypt).
1801borders(mediterranean,libya).
1802borders(mediterranean,morocco).
1803borders(mediterranean,tunisia).
1804
1805borders(persian_gulf,bahrain).
1806borders(persian_gulf,iran).
1807borders(persian_gulf,iraq).
1808borders(persian_gulf,kuwait).
1809borders(persian_gulf,qatar).
1810borders(persian_gulf,saudi_arabia).
1811borders(persian_gulf,united_arab_emirates).
1812
1813borders(red_sea,israel).
1814borders(red_sea,jordan).
1815borders(red_sea,saudi_arabia).
1816borders(red_sea,yemen).
1817borders(red_sea,egypt).
1818borders(red_sea,ethiopia).
1819borders(red_sea,sudan).
1820
1842
1845
1846river_pathlist(amazon,[atlantic,brazil,peru]).
1847river_pathlist(amu_darya,[aral_sea,soviet_union,afghanistan]).
1848river_pathlist(amur,[pacific,soviet_union,china,mongolia]).
1849river_pathlist(brahmaputra,[indian_ocean,bangladesh,china]).
1850river_pathlist(colorado,[pacific,mexico,united_states]).
1851river_pathlist(congo_river,[atlantic,zaire,zambia]).
1852river_pathlist(cubango,[botswana,south_africa,angola]).
1853river_pathlist(danube,[black_sea,romania,yugoslavia,hungary,czechoslovakia,austria,
1854 west_germany]).
1855river_pathlist(don,[black_sea,soviet_union]).
1856river_pathlist(elbe,[atlantic,west_germany,east_germany,czechoslovakia]).
1857river_pathlist(euphrates,[persian_gulf,iraq,syria,turkey]).
1858river_pathlist(ganges,[indian_ocean,india,china]).
1859river_pathlist(hwang_ho,[pacific,china]).
1860river_pathlist(indus,[indian_ocean,pakistan,india,china]).
1861river_pathlist(irrawaddy,[indian_ocean,burma]).
1862river_pathlist(lena,[arctic_ocean,soviet_union]).
1863river_pathlist(limpopo,[indian_ocean,mozambique,south_africa]).
1864river_pathlist(mackenzie,[arctic_ocean,canada]).
1865river_pathlist(mekong,[pacific,vietnam,cambodia,laos,china]).
1866river_pathlist(mississippi,[atlantic,united_states]).
1867river_pathlist(murray,[indian_ocean,australia]).
1868river_pathlist(niger_river,[atlantic,nigeria,niger,mali,guinea]).
1869river_pathlist(nile,[mediterranean,egypt,sudan,uganda]).
1870river_pathlist(ob,[arctic_ocean,soviet_union]).
1871river_pathlist(oder,[baltic,poland,czechoslovakia]).
1872river_pathlist(orange,[atlantic,south_africa,lesotho]).
1873river_pathlist(orinoco,[atlantic,venezuela,colombia]).
1874river_pathlist(parana,[atlantic,argentina,paraguay,brazil]).
1875river_pathlist(rhine,[atlantic,netherlands,west_germany,switzerland]).
1876river_pathlist(rhone,[mediterranean,france,switzerland]).
1877river_pathlist(rio_grande,[atlantic,mexico,united_states]).
1878river_pathlist(salween,[indian_ocean,burma,china]).
1879river_pathlist(senegal_river,[atlantic,senegal,mali,guinea]).
1880river_pathlist(tagus,[atlantic,portugal,spain]).
1881river_pathlist(vistula,[baltic,poland]).
1882river_pathlist(volga,[black_sea,soviet_union]).
1883river_pathlist(volta,[atlantic,ghana,upper_volta]).
1884river_pathlist(yangtze,[pacific,china]).
1885river_pathlist(yenisei,[arctic_ocean,soviet_union,mongolia]).
1886river_pathlist(yukon,[pacific,united_states,canada]).
1887river_pathlist(zambesi,[indian_ocean,mozambique,zambia,angola]).
1888
1889
1910
1911:- style_check(-discontiguous). 1912:- style_check(-singleton). 1913
1915
1916nd(african,19,26).
1917nd(american,19,26).
1918nd(area,51,51).
1919nd(area,22,22,51).
1920nd(asian,21,26).
1921nd(aggregate80,103,3,100,51).
1922nd(one_of,99,200,-99).
1923nd(ratio,99,51,51,3).
1924nd(card,99,100,3).
1925nd(borders,29,22,22).
1926nd(capital,22,22).
1927nd(capital,22,22,23).
1928nd(city,18,18).
1929nd(continent,8,8).
1930nd(country,22,22).
1931nd(drains,16,16,10).
1932nd(eastof,40,22,22).
1933nd(european,19,26).
1934nd(exceeds,99,51,51).
1935nd(flows,19,16,22).
1936nd(flows,19,16,22,22).
1937nd(in,29,26,15).
1938nd(latitude80,23,23).
1939nd(latitude80,22,22,23).
1940nd(longitude80,26,26).
1941nd(longitude80,22,22,26).
1942nd(northof,40,22,22).
1943nd(ocean,7,7).
1944nd(population,51,51).
1945nd(population,23,23,51).
1946nd(region80,12,12).
1947nd(rises,16,16,22).
1948nd(river_pathlist,16,16).
1949nd(sea,8,8).
1950nd(place,23,23).
1951nd(seamass,10,10).
1952nd(southof,40,22,22).
1953nd(westof,40,22,22).
1954nd(=<,99,51,51).
1955nd(<,99,51,51).
1956nd(>,99,51,51).
1957nd(>=,99,51,51)