2
26
27borders(X,C) :- var(X), nonvar(C), !, borders(C,X).
28
29borders(albania,greece).
30borders(albania,yugoslavia).
31borders(albania,mediterranean).
32
33borders(andorra,france).
34borders(andorra,spain).
35
36borders(austria,czechoslovakia).
37borders(austria,hungary).
38borders(austria,italy).
39borders(austria,liechtenstein).
40borders(austria,switzerland).
41borders(austria,west_germany).
42borders(austria,yugoslavia).
43
44borders(belgium,france).
45borders(belgium,luxembourg).
46borders(belgium,netherlands).
47borders(belgium,west_germany).
48borders(belgium,atlantic).
49
50borders(bulgaria,greece).
51borders(bulgaria,romania).
52borders(bulgaria,turkey).
53borders(bulgaria,yugoslavia).
54borders(bulgaria,black_sea).
55
56borders(cyprus,mediterranean).
57
58borders(czechoslovakia,austria).
59borders(czechoslovakia,east_germany).
60borders(czechoslovakia,hungary).
61borders(czechoslovakia,poland).
62borders(czechoslovakia,soviet_union).
63borders(czechoslovakia,west_germany).
64
65borders(denmark,west_germany).
66borders(denmark,atlantic).
67borders(denmark,baltic).
68
69borders(eire,united_kingdom).
70borders(eire,atlantic).
71
72borders(finland,norway).
73borders(finland,soviet_union).
74borders(finland,sweden).
75borders(finland,baltic).
76
77borders(france,andorra).
78borders(france,belgium).
79borders(france,italy).
80borders(france,luxembourg).
81borders(france,monaco).
82borders(france,spain).
83borders(france,switzerland).
84borders(france,west_germany).
85borders(france,atlantic).
86borders(france,mediterranean).
87
88borders(east_germany,czechoslovakia).
89borders(east_germany,poland).
90borders(east_germany,west_germany).
91borders(east_germany,baltic).
92
93borders(greece,albania).
94borders(greece,bulgaria).
95borders(greece,turkey).
96borders(greece,yugoslavia).
97borders(greece,mediterranean).
98
99borders(hungary,austria).
100borders(hungary,czechoslovakia).
101borders(hungary,romania).
102borders(hungary,soviet_union).
103borders(hungary,yugoslavia).
104
105borders(iceland,atlantic).
106
107borders(italy,austria).
108borders(italy,france).
109borders(italy,san_marino).
110borders(italy,switzerland).
111borders(italy,yugoslavia).
112borders(italy,mediterranean).
113
114borders(liechtenstein,austria).
115borders(liechtenstein,switzerland).
116
117borders(luxembourg,belgium).
118borders(luxembourg,france).
119borders(luxembourg,west_germany).
120
121borders(malta,mediterranean).
122
123borders(monaco,france).
124borders(monaco,mediterranean).
125
126borders(netherlands,belgium).
127borders(netherlands,west_germany).
128borders(netherlands,atlantic).
129
130borders(norway,finland).
131borders(norway,sweden).
132borders(norway,soviet_union).
133borders(norway,arctic_ocean).
134borders(norway,atlantic).
135
136borders(poland,czechoslovakia).
137borders(poland,east_germany).
138borders(poland,soviet_union).
139borders(poland,baltic).
140
141borders(portugal,spain).
142borders(portugal,atlantic).
143
144borders(romania,bulgaria).
145borders(romania,hungary).
146borders(romania,soviet_union).
147borders(romania,yugoslavia).
148borders(romania,black_sea).
149
150borders(san_marino,italy).
151borders(san_marino,mediterranean).
152
153borders(spain,andorra).
154borders(spain,france).
155borders(spain,portugal).
156borders(spain,atlantic).
157borders(spain,mediterranean).
158
159borders(sweden,finland).
160borders(sweden,norway).
161borders(sweden,atlantic).
162borders(sweden,baltic).
163
164borders(switzerland,austria).
165borders(switzerland,france).
166borders(switzerland,italy).
167borders(switzerland,liechtenstein).
168borders(switzerland,west_germany).
169
170borders(west_germany,austria).
171borders(west_germany,belgium).
172borders(west_germany,czechoslovakia).
173borders(west_germany,denmark).
174borders(west_germany,east_germany).
175borders(west_germany,france).
176borders(west_germany,luxembourg).
177borders(west_germany,netherlands).
178borders(west_germany,switzerland).
179borders(west_germany,atlantic).
180borders(west_germany,baltic).
181
182borders(united_kingdom,eire).
183borders(united_kingdom,atlantic).
184
185borders(yugoslavia,albania).
186borders(yugoslavia,austria).
187borders(yugoslavia,bulgaria).
188borders(yugoslavia,greece).
189borders(yugoslavia,hungary).
190borders(yugoslavia,italy).
191borders(yugoslavia,romania).
192borders(yugoslavia,mediterranean).
193
196
197borders(afghanistan,china).
198borders(afghanistan,iran).
199borders(afghanistan,pakistan).
200borders(afghanistan,soviet_union).
201
202borders(bahrain,persian_gulf).
203
204borders(bangladesh,burma).
205borders(bangladesh,india).
206borders(bangladesh,indian_ocean).
207
208borders(bhutan,china).
209borders(bhutan,india).
210
211borders(burma,bangladesh).
212borders(burma,china).
213borders(burma,india).
214borders(burma,laos).
215borders(burma,thailand).
216borders(burma,indian_ocean).
217
218borders(cambodia,laos).
219borders(cambodia,thailand).
220borders(cambodia,vietnam).
221borders(cambodia,pacific).
222
223borders(china,afghanistan).
224borders(china,bhutan).
225borders(china,burma).
226borders(china,india).
227borders(china,laos).
228borders(china,mongolia).
229borders(china,nepal).
230borders(china,north_korea).
231borders(china,pakistan).
232borders(china,soviet_union).
233borders(china,vietnam).
234borders(china,pacific).
235
236borders(india,bangladesh).
237borders(india,bhutan).
238borders(india,burma).
239borders(india,china).
240borders(india,nepal).
241borders(india,pakistan).
242borders(india,indian_ocean).
243
244borders(indonesia,malaysia).
245borders(indonesia,papua_new_guinea).
246borders(indonesia,indian_ocean).
247borders(indonesia,pacific).
248
249borders(iran,afghanistan).
250borders(iran,iraq).
251borders(iran,pakistan).
252borders(iran,soviet_union).
253borders(iran,turkey).
254borders(iran,caspian).
255borders(iran,persian_gulf).
256borders(iran,indian_ocean).
257
258borders(iraq,iran).
259borders(iraq,jordan).
260borders(iraq,kuwait).
261borders(iraq,saudi_arabia).
262borders(iraq,syria).
263borders(iraq,turkey).
264borders(iraq,persian_gulf).
265
266borders(israel,egypt).
267borders(israel,jordan).
268borders(laos,burma).
269borders(laos,cambodia).
270borders(laos,china).
271borders(laos,thailand).
272borders(laos,vietnam).
273
274borders(israel,lebanon).
275borders(israel,syria).
276borders(israel,mediterranean).
277borders(israel,red_sea).
278
279borders(japan,pacific).
280
281borders(jordan,iraq).
282borders(jordan,israel).
283borders(jordan,saudi_arabia).
284borders(jordan,syria).
285borders(jordan,red_sea).
286
287borders(kuwait,iraq).
288borders(kuwait,saudi_arabia).
289borders(kuwait,persian_gulf).
290
291borders(lebanon,israel).
292borders(lebanon,syria).
293borders(lebanon,mediterranean).
294
295borders(malaysia,indonesia).
296borders(malaysia,singapore).
297borders(malaysia,thailand).
298borders(malaysia,indian_ocean).
299borders(malaysia,pacific).
300
301borders(maldives,indian_ocean).
302
303borders(mongolia,china).
304borders(mongolia,soviet_union).
305
306borders(nepal,china).
307borders(nepal,india).
308
309borders(north_korea,china).
310borders(north_korea,south_korea).
311borders(north_korea,soviet_union).
312borders(north_korea,pacific).
313
314borders(oman,saudi_arabia).
315borders(oman,united_arab_emirates).
316borders(oman,south_yemen).
317borders(oman,indian_ocean).
318
319borders(pakistan,afghanistan).
320borders(pakistan,china).
321borders(pakistan,india).
322borders(pakistan,iran).
323borders(pakistan,indian_ocean).
324
325borders(philippines,pacific).
326
327borders(qatar,saudi_arabia).
328borders(qatar,united_arab_emirates).
329borders(qatar,persian_gulf).
330
331borders(saudi_arabia,iraq).
332borders(saudi_arabia,jordan).
333borders(saudi_arabia,kuwait).
334borders(saudi_arabia,oman).
335borders(saudi_arabia,qatar).
336borders(saudi_arabia,south_yemen).
337borders(saudi_arabia,united_arab_emirates).
338borders(saudi_arabia,yemen).
339borders(saudi_arabia,persian_gulf).
340borders(saudi_arabia,red_sea).
341
342borders(singapore,malaysia).
343borders(singapore,pacific).
344
345borders(south_korea,north_korea).
346borders(south_korea,pacific).
347
348borders(south_yemen,oman).
349borders(south_yemen,saudi_arabia).
350borders(south_yemen,yemen).
351borders(south_yemen,indian_ocean).
352
353borders(soviet_union,afghanistan).
354borders(soviet_union,china).
355borders(soviet_union,czechoslovakia).
356borders(soviet_union,finland).
357borders(soviet_union,hungary).
358borders(soviet_union,iran).
359borders(soviet_union,mongolia).
360borders(soviet_union,north_korea).
361borders(soviet_union,norway).
362borders(soviet_union,poland).
363borders(soviet_union,romania).
364borders(soviet_union,turkey).
365borders(soviet_union,arctic_ocean).
366borders(soviet_union,baltic).
367borders(soviet_union,black_sea).
368borders(soviet_union,caspian).
369borders(soviet_union,pacific).
370
371borders(sri_lanka,indian_ocean).
372
373borders(syria,iraq).
374borders(syria,israel).
375borders(syria,jordan).
376borders(syria,lebanon).
377borders(syria,turkey).
378borders(syria,mediterranean).
379
380borders(taiwan,pacific).
381
382borders(thailand,burma).
383borders(thailand,cambodia).
384borders(thailand,laos).
385borders(thailand,malaysia).
386borders(thailand,indian_ocean).
387borders(thailand,pacific).
388
389borders(turkey,bulgaria).
390borders(turkey,greece).
391borders(turkey,iran).
392borders(turkey,iraq).
393borders(turkey,soviet_union).
394borders(turkey,syria).
395borders(turkey,black_sea).
396borders(turkey,mediterranean).
397
398borders(united_arab_emirates,oman).
399borders(united_arab_emirates,qatar).
400borders(united_arab_emirates,saudi_arabia).
401borders(united_arab_emirates,persian_gulf).
402
403borders(vietnam,cambodia).
404borders(vietnam,china).
405borders(vietnam,laos).
406borders(vietnam,pacific).
407
408borders(yemen,south_yemen).
409borders(yemen,saudi_arabia).
410borders(yemen,red_sea).
411
414
415borders(algeria,libya).
416borders(algeria,mali).
417borders(algeria,mauritania).
418borders(algeria,morocco).
419borders(algeria,niger).
420borders(algeria,tunisia).
421borders(algeria,mediterranean).
422
423borders(angola,congo).
424borders(angola,south_africa).
425borders(angola,zaire).
426borders(angola,zambia).
427borders(angola,atlantic).
428
429borders(botswana,south_africa).
430borders(botswana,zimbabwe).
431
432borders(burundi,rwanda).
433borders(burundi,tanzania).
434borders(burundi,zaire).
435
436borders(cameroon,central_african_republic).
437borders(cameroon,chad).
438borders(cameroon,congo).
439borders(cameroon,equatorial_guinea).
440borders(cameroon,gabon).
441borders(cameroon,nigeria).
442borders(cameroon,atlantic).
443
444borders(central_african_republic,cameroon).
445borders(central_african_republic,chad).
446borders(central_african_republic,congo).
447borders(central_african_republic,sudan).
448borders(central_african_republic,zaire).
449
450borders(chad,cameroon).
451borders(chad,central_african_republic).
452borders(chad,libya).
453borders(chad,niger).
454borders(chad,nigeria).
455borders(chad,sudan).
456
457borders(congo,angola).
458borders(congo,cameroon).
459borders(congo,central_african_republic).
460borders(congo,gabon).
461borders(congo,zaire).
462borders(congo,atlantic).
463
464borders(dahomey,niger).
465borders(dahomey,nigeria).
466borders(dahomey,togo).
467borders(dahomey,upper_volta).
468borders(dahomey,atlantic).
469
470borders(djibouti,ethiopia).
471borders(djibouti,somalia).
472borders(djibouti,indian_ocean).
473
474borders(egypt,israel).
475borders(egypt,libya).
476borders(egypt,sudan).
477borders(egypt,mediterranean).
478borders(egypt,red_sea).
479
480borders(equatorial_guinea,cameroon).
481borders(equatorial_guinea,gabon).
482borders(equatorial_guinea,atlantic).
483
484borders(ethiopia,djibouti).
485borders(ethiopia,kenya).
486borders(ethiopia,somalia).
487borders(ethiopia,sudan).
488borders(ethiopia,red_sea).
489
490borders(gabon,cameroon).
491borders(gabon,congo).
492borders(gabon,equatorial_guinea).
493borders(gabon,atlantic).
494
495borders(gambia,senegal).
496borders(gambia,atlantic).
497
498borders(ghana,ivory_coast).
499borders(ghana,togo).
500borders(ghana,upper_volta).
501borders(ghana,atlantic).
502
503borders(guinea,guinea_bissau).
504borders(guinea,ivory_coast).
505borders(guinea,liberia).
506borders(guinea,mali).
507borders(guinea,senegal).
508borders(guinea,sierra_leone).
509borders(guinea,atlantic).
510
511borders(guinea_bissau,guinea).
512borders(guinea_bissau,senegal).
513borders(guinea_bissau,atlantic).
514
515borders(ivory_coast,ghana).
516borders(ivory_coast,guinea).
517borders(ivory_coast,liberia).
518borders(ivory_coast,mali).
519borders(ivory_coast,upper_volta).
520borders(ivory_coast,atlantic).
521
522borders(kenya,ethiopia).
523borders(kenya,somalia).
524borders(kenya,sudan).
525borders(kenya,tanzania).
526borders(kenya,uganda).
527borders(kenya,indian_ocean).
528
529borders(lesotho,south_africa).
530
531borders(liberia,ivory_coast).
532borders(liberia,guinea).
533borders(liberia,sierra_leone).
534borders(liberia,atlantic).
535
536borders(libya,algeria).
537borders(libya,chad).
538borders(libya,egypt).
539borders(libya,niger).
540borders(libya,sudan).
541borders(libya,tunisia).
542borders(libya,mediterranean).
543
544borders(malagasy,indian_ocean).
545
546borders(malawi,mozambique).
547borders(malawi,tanzania).
548borders(malawi,zambia).
549
550borders(mali,algeria).
551borders(mali,guinea).
552borders(mali,ivory_coast).
553borders(mali,mauritania).
554borders(mali,niger).
555borders(mali,senegal).
556borders(mali,upper_volta).
557
558borders(mauritania,algeria).
559borders(mauritania,mali).
560borders(mauritania,morocco).
561borders(mauritania,senegal).
562borders(mauritania,atlantic).
563
564borders(mauritius,indian_ocean).
565
566borders(morocco,algeria).
567borders(morocco,mauritania).
568borders(morocco,atlantic).
569borders(morocco,mediterranean).
570
571borders(mozambique,malawi).
572borders(mozambique,south_africa).
573borders(mozambique,swaziland).
574borders(mozambique,tanzania).
575borders(mozambique,zambia).
576borders(mozambique,zimbabwe).
577borders(mozambique,indian_ocean).
578
579borders(niger,algeria).
580borders(niger,chad).
581borders(niger,dahomey).
582borders(niger,libya).
583borders(niger,mali).
584borders(niger,nigeria).
585borders(niger,upper_volta).
586
587borders(nigeria,cameroon).
588borders(nigeria,chad).
589borders(nigeria,dahomey).
590borders(nigeria,niger).
591borders(nigeria,atlantic).
592
593borders(rwanda,burundi).
594borders(rwanda,tanzania).
595borders(rwanda,uganda).
596borders(rwanda,zaire).
597
598borders(senegal,gambia).
599borders(senegal,guinea).
600borders(senegal,guinea_bissau).
601borders(senegal,mali).
602borders(senegal,mauritania).
603borders(senegal,atlantic).
604
605borders(seychelles,indian_ocean).
606
607borders(sierra_leone,guinea).
608borders(sierra_leone,liberia).
609borders(sierra_leone,atlantic).
610
611borders(somalia,djibouti).
612borders(somalia,ethiopia).
613borders(somalia,kenya).
614borders(somalia,indian_ocean).
615
616borders(south_africa,angola).
617borders(south_africa,botswana).
618borders(south_africa,lesotho).
619borders(south_africa,mozambique).
620borders(south_africa,swaziland).
621borders(south_africa,zambia).
622borders(south_africa,zimbabwe).
623borders(south_africa,atlantic).
624borders(south_africa,indian_ocean).
625
626borders(sudan,chad).
627borders(sudan,central_african_republic).
628borders(sudan,egypt).
629borders(sudan,ethiopia).
630borders(sudan,kenya).
631borders(sudan,libya).
632borders(sudan,uganda).
633borders(sudan,zaire).
634borders(sudan,red_sea).
635
636borders(swaziland,mozambique).
637borders(swaziland,south_africa).
638
639borders(tanzania,burundi).
640borders(tanzania,kenya).
641borders(tanzania,malawi).
642borders(tanzania,mozambique).
643borders(tanzania,rwanda).
644borders(tanzania,uganda).
645borders(tanzania,zaire).
646borders(tanzania,zambia).
647borders(tanzania,indian_ocean).
648
649borders(togo,dahomey).
650borders(togo,ghana).
651borders(togo,upper_volta).
652borders(togo,atlantic).
653
654borders(tunisia,algeria).
655borders(tunisia,libya).
656borders(tunisia,mediterranean).
657
658borders(uganda,kenya).
659borders(uganda,rwanda).
660borders(uganda,sudan).
661borders(uganda,tanzania).
662borders(uganda,zaire).
663
664borders(upper_volta,dahomey).
665borders(upper_volta,ghana).
666borders(upper_volta,ivory_coast).
667borders(upper_volta,mali).
668borders(upper_volta,niger).
669borders(upper_volta,togo).
670
671borders(zaire,angola).
672borders(zaire,burundi).
673borders(zaire,central_african_republic).
674borders(zaire,congo).
675borders(zaire,rwanda).
676borders(zaire,sudan).
677borders(zaire,tanzania).
678borders(zaire,uganda).
679borders(zaire,zambia).
680borders(zaire,atlantic).
681
682borders(zambia,angola).
683borders(zambia,malawi).
684borders(zambia,mozambique).
685borders(zambia,south_africa).
686borders(zambia,tanzania).
687borders(zambia,zaire).
688borders(zambia,zimbabwe).
689
690borders(zimbabwe,botswana).
691borders(zimbabwe,mozambique).
692borders(zimbabwe,south_africa).
693borders(zimbabwe,zambia).
694
695
698
699borders(argentina,bolivia).
700borders(argentina,brazil).
701borders(argentina,chile).
702borders(argentina,paraguay).
703borders(argentina,uruguay).
704borders(argentina,atlantic).
705
706borders(bahamas,atlantic).
707
708borders(barbados,atlantic).
709
710borders(belize,guatemala).
711borders(belize,mexico).
712borders(belize,atlantic).
713
714borders(bolivia,argentina).
715borders(bolivia,brazil).
716borders(bolivia,chile).
717borders(bolivia,paraguay).
718borders(bolivia,peru).
719
720borders(brazil,argentina).
721borders(brazil,bolivia).
722borders(brazil,colombia).
723borders(brazil,french_guiana).
724borders(brazil,guyana).
725borders(brazil,paraguay).
726borders(brazil,peru).
727borders(brazil,surinam).
728borders(brazil,uruguay).
729borders(brazil,venezuela).
730borders(brazil,atlantic).
731
732borders(canada,united_states).
733borders(canada,arctic_ocean).
734borders(canada,atlantic).
735borders(canada,pacific).
736
737borders(chile,argentina).
738borders(chile,bolivia).
739borders(chile,peru).
740borders(chile,pacific).
741
742borders(colombia,brazil).
743borders(colombia,ecuador).
744borders(colombia,panama).
745borders(colombia,peru).
746borders(colombia,venezuela).
747borders(colombia,atlantic).
748borders(colombia,pacific).
749
750borders(costa_rica,nicaragua).
751borders(costa_rica,panama).
752borders(costa_rica,atlantic).
753borders(costa_rica,pacific).
754
755borders(cuba,atlantic).
756
757borders(dominican_republic,haiti).
758borders(dominican_republic,atlantic).
759
760borders(ecuador,colombia).
761borders(ecuador,peru).
762borders(ecuador,pacific).
763
764borders(el_salvador,guatemala).
765borders(el_salvador,honduras).
766borders(el_salvador,pacific).
767
768borders(french_guiana,brazil).
769borders(french_guiana,surinam).
770
771borders(greenland,arctic_ocean).
772borders(greenland,atlantic).
773
774borders(grenada,atlantic).
775
776borders(guatemala,belize).
777borders(guatemala,el_salvador).
778borders(guatemala,honduras).
779borders(guatemala,mexico).
780borders(guatemala,atlantic).
781borders(guatemala,pacific).
782
783borders(guyana,brazil).
784borders(guyana,surinam).
785borders(guyana,venezuela).
786borders(guyana,atlantic).
787
788borders(haiti,dominican_republic).
789borders(haiti,atlantic).
790
791borders(honduras,el_salvador).
792borders(honduras,guatemala).
793borders(honduras,nicaragua).
794borders(honduras,atlantic).
795borders(honduras,pacific).
796
797borders(jamaica,atlantic).
798
799borders(mexico,belize).
800borders(mexico,guatemala).
801borders(mexico,united_states).
802borders(mexico,atlantic).
803borders(mexico,pacific).
804
805borders(nicaragua,costa_rica).
806borders(nicaragua,honduras).
807borders(nicaragua,atlantic).
808borders(nicaragua,pacific).
809
810borders(panama,colombia).
811borders(panama,costa_rica).
812borders(panama,atlantic).
813borders(panama,pacific).
814
815borders(paraguay,argentina).
816borders(paraguay,bolivia).
817borders(paraguay,brazil).
818
819borders(peru,bolivia).
820borders(peru,brazil).
821borders(peru,chile).
822borders(peru,colombia).
823borders(peru,ecuador).
824borders(peru,pacific).
825
826borders(surinam,brazil).
827borders(surinam,french_guiana).
828borders(surinam,guyana).
829
830borders(trinidad_and_tobago,atlantic).
831
832borders(united_states,canada).
833borders(united_states,mexico).
834borders(united_states,arctic_ocean).
835borders(united_states,atlantic).
836borders(united_states,pacific).
837
838borders(uruguay,argentina).
839borders(uruguay,brazil).
840borders(uruguay,atlantic).
841
842borders(venezuela,brazil).
843borders(venezuela,colombia).
844borders(venezuela,guyana).
845borders(venezuela,atlantic).
846
849
850borders(australia,indian_ocean).
851borders(australia,pacific).
852
853borders(fiji,pacific).
854
855borders(new_zealand,pacific).
856
857borders(papua_new_guinea,indonesia).
858borders(papua_new_guinea,pacific).
859
860borders(tonga,pacific).
861
862borders(western_samoa,pacific).
863
864borders(antarctica,southern_ocean).
865
868
869borders(arctic_ocean,atlantic).
870borders(arctic_ocean,pacific).
871
872borders(atlantic,arctic_ocean).
873borders(atlantic,indian_ocean).
874borders(atlantic,pacific).
875borders(atlantic,southern_ocean).
876borders(atlantic,baltic).
877borders(atlantic,mediterranean).
878
879borders(indian_ocean,atlantic).
880borders(indian_ocean,pacific).
881borders(indian_ocean,southern_ocean).
882borders(indian_ocean,persian_gulf).
883borders(indian_ocean,red_sea).
884
885borders(pacific,arctic_ocean).
886borders(pacific,atlantic).
887borders(pacific,indian_ocean).
888borders(pacific,southern_ocean).
889
890borders(southern_ocean,atlantic).
891borders(southern_ocean,indian_ocean).
892borders(southern_ocean,pacific).
893
894borders(baltic,atlantic).
895
896borders(black_sea,mediterranean).
897
898borders(mediterranean,atlantic).
899borders(mediterranean,black_sea).
900
901borders(persian_gulf,indian_ocean).
902
903borders(red_sea,indian_ocean).
904
907
908borders(arctic_ocean,norway).
909borders(arctic_ocean,soviet_union).
910borders(arctic_ocean,canada).
911borders(arctic_ocean,greenland).
912borders(arctic_ocean,united_states).
913
914borders(atlantic,belgium).
915borders(atlantic,denmark).
916borders(atlantic,eire).
917borders(atlantic,france).
918borders(atlantic,iceland).
919borders(atlantic,netherlands).
920borders(atlantic,norway).
921borders(atlantic,portugal).
922borders(atlantic,spain).
923borders(atlantic,sweden).
924borders(atlantic,west_germany).
925borders(atlantic,united_kingdom).
926borders(atlantic,angola).
927borders(atlantic,cameroon).
928borders(atlantic,congo).
929borders(atlantic,dahomey).
930borders(atlantic,equatorial_guinea).
931borders(atlantic,gabon).
932borders(atlantic,gambia).
933borders(atlantic,ghana).
934borders(atlantic,guinea).
935borders(atlantic,guinea_bissau).
936borders(atlantic,ivory_coast).
937borders(atlantic,liberia).
938borders(atlantic,mauritania).
939borders(atlantic,morocco).
940borders(atlantic,nigeria).
941borders(atlantic,senegal).
942borders(atlantic,sierra_leone).
943borders(atlantic,south_africa).
944borders(atlantic,togo).
945borders(atlantic,zaire).
946borders(atlantic,argentina).
947borders(atlantic,bahamas).
948borders(atlantic,barbados).
949borders(atlantic,belize).
950borders(atlantic,brazil).
951borders(atlantic,canada).
952borders(atlantic,colombia).
953borders(atlantic,costa_rica).
954borders(atlantic,cuba).
955borders(atlantic,dominican_republic).
956borders(atlantic,french_guiana).
957borders(atlantic,greenland).
958borders(atlantic,grenada).
959borders(atlantic,guatemala).
960borders(atlantic,guyana).
961borders(atlantic,haiti).
962borders(atlantic,honduras).
963borders(atlantic,jamaica).
964borders(atlantic,mexico).
965borders(atlantic,nicaragua).
966borders(atlantic,panama).
967borders(atlantic,surinam).
968borders(atlantic,trinidad_and_tobago).
969borders(atlantic,united_states).
970borders(atlantic,uruguay).
971borders(atlantic,venezuela).
972
973borders(indian_ocean,bangladesh).
974borders(indian_ocean,burma).
975borders(indian_ocean,india).
976borders(indian_ocean,indonesia).
977borders(indian_ocean,iran).
978borders(indian_ocean,malaysia).
979borders(indian_ocean,maldives).
980borders(indian_ocean,oman).
981borders(indian_ocean,pakistan).
982borders(indian_ocean,south_yemen).
983borders(indian_ocean,sri_lanka).
984borders(indian_ocean,thailand).
985borders(indian_ocean,djibouti).
986borders(indian_ocean,kenya).
987borders(indian_ocean,malagasy).
988borders(indian_ocean,mauritius).
989borders(indian_ocean,mozambique).
990borders(indian_ocean,seychelles).
991borders(indian_ocean,somalia).
992borders(indian_ocean,south_africa).
993borders(indian_ocean,tanzania).
994borders(indian_ocean,australia).
995
996borders(pacific,cambodia).
997borders(pacific,china).
998borders(pacific,indonesia).
999borders(pacific,japan).
1000borders(pacific,malaysia).
1001borders(pacific,north_korea).
1002borders(pacific,philippines).
1003borders(pacific,singapore).
1004borders(pacific,south_korea).
1005borders(pacific,soviet_union).
1006borders(pacific,taiwan).
1007borders(pacific,thailand).
1008borders(pacific,vietnam).
1009borders(pacific,canada).
1010borders(pacific,chile).
1011borders(pacific,colombia).
1012borders(pacific,costa_rica).
1013borders(pacific,ecuador).
1014borders(pacific,el_salvador).
1015borders(pacific,guatemala).
1016borders(pacific,honduras).
1017borders(pacific,mexico).
1018borders(pacific,nicaragua).
1019borders(pacific,panama).
1020borders(pacific,peru).
1021borders(pacific,united_states).
1022borders(pacific,australia).
1023borders(pacific,fiji).
1024borders(pacific,new_zealand).
1025borders(pacific,papua_new_guinea).
1026borders(pacific,tonga).
1027borders(pacific,western_samoa).
1028
1029borders(southern_ocean,antarctica).
1030
1031borders(baltic,denmark).
1032borders(baltic,finland).
1033borders(baltic,east_germany).
1034borders(baltic,poland).
1035borders(baltic,sweden).
1036borders(baltic,west_germany).
1037borders(baltic,soviet_union).
1038
1039borders(black_sea,bulgaria).
1040borders(black_sea,romania).
1041borders(black_sea,soviet_union).
1042borders(black_sea,turkey).
1043
1044borders(caspian,iran).
1045borders(caspian,soviet_union).
1046
1047borders(mediterranean,albania).
1048borders(mediterranean,cyprus).
1049borders(mediterranean,france).
1050borders(mediterranean,greece).
1051borders(mediterranean,italy).
1052borders(mediterranean,malta).
1053borders(mediterranean,monaco).
1054borders(mediterranean,san_marino).
1055borders(mediterranean,spain).
1056borders(mediterranean,yugoslavia).
1057borders(mediterranean,israel).
1058borders(mediterranean,lebanon).
1059borders(mediterranean,syria).
1060borders(mediterranean,turkey).
1061borders(mediterranean,algeria).
1062borders(mediterranean,egypt).
1063borders(mediterranean,libya).
1064borders(mediterranean,morocco).
1065borders(mediterranean,tunisia).
1066
1067borders(persian_gulf,bahrain).
1068borders(persian_gulf,iran).
1069borders(persian_gulf,iraq).
1070borders(persian_gulf,kuwait).
1071borders(persian_gulf,qatar).
1072borders(persian_gulf,saudi_arabia).
1073borders(persian_gulf,united_arab_emirates).
1074
1075borders(red_sea,israel).
1076borders(red_sea,jordan).
1077borders(red_sea,saudi_arabia).
1078borders(red_sea,yemen).
1079borders(red_sea,egypt).
1080borders(red_sea,ethiopia).
1081borders(red_sea,sudan)