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