1% BEGIN LICENSE BLOCK
2% Version: CMPL 1.1
3%
4% The contents of this file are subject to the Cisco-style Mozilla Public
5% License Version 1.1 (the "License"); you may not use this file except
6% in compliance with the License.  You may obtain a copy of the License
7% at www.eclipse-clp.org/license.
8% 
9% Software distributed under the License is distributed on an "AS IS"
10% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
11% the License for the specific language governing rights and limitations
12% under the License. 
13% 
14% The Original Code is  The ECLiPSe Constraint Logic Programming System. 
15% The Initial Developer of the Original Code is  Cisco Systems, Inc. 
16% Portions created by the Initial Developer are
17% Copyright (C) 2006 Cisco Systems, Inc.  All Rights Reserved.
18% 
19% Contributor(s): 
20% 
21% END LICENSE BLOCK
22
23neighbour(2, 1).
24neighbour(3, 1).
25neighbour(4, 1).
26neighbour(5, 1).
27neighbour(6, 1).
28neighbour(7, 1).
29neighbour(8, 1).
30neighbour(9, 1).
31neighbour(10, 1).
32neighbour(11, 1).
33neighbour(20, 1).
34neighbour(73, 1).
35neighbour(109, 1).
36neighbour(110, 1).
37neighbour(3, 2).
38neighbour(12, 2).
39neighbour(57, 2).
40neighbour(102, 2).
41neighbour(103, 2).
42neighbour(104, 2).
43neighbour(105, 2).
44neighbour(106, 2).
45neighbour(110, 2).
46neighbour(4, 3).
47neighbour(12, 3).
48neighbour(13, 3).
49neighbour(5, 4).
50neighbour(13, 4).
51neighbour(14, 4).
52neighbour(6, 5).
53neighbour(14, 5).
54neighbour(15, 5).
55neighbour(7, 6).
56neighbour(15, 6).
57neighbour(16, 6).
58neighbour(8, 7).
59neighbour(16, 7).
60neighbour(17, 7).
61neighbour(9, 8).
62neighbour(17, 8).
63neighbour(18, 8).
64neighbour(10, 9).
65neighbour(18, 9).
66neighbour(19, 9).
67neighbour(11, 10).
68neighbour(19, 10).
69neighbour(20, 10).
70neighbour(20, 11).
71neighbour(13, 12).
72neighbour(21, 12).
73neighbour(57, 12).
74neighbour(58, 12).
75neighbour(14, 13).
76neighbour(21, 13).
77neighbour(22, 13).
78neighbour(15, 14).
79neighbour(22, 14).
80neighbour(23, 14).
81neighbour(16, 15).
82neighbour(23, 15).
83neighbour(24, 15).
84neighbour(17, 16).
85neighbour(24, 16).
86neighbour(25, 16).
87neighbour(18, 17).
88neighbour(25, 17).
89neighbour(26, 17).
90neighbour(19, 18).
91neighbour(26, 18).
92neighbour(27, 18).
93neighbour(20, 19).
94neighbour(27, 19).
95neighbour(28, 19).
96neighbour(28, 20).
97neighbour(73, 20).
98neighbour(22, 21).
99neighbour(29, 21).
100neighbour(58, 21).
101neighbour(59, 21).
102neighbour(23, 22).
103neighbour(29, 22).
104neighbour(30, 22).
105neighbour(24, 23).
106neighbour(30, 23).
107neighbour(31, 23).
108neighbour(25, 24).
109neighbour(31, 24).
110neighbour(32, 24).
111neighbour(26, 25).
112neighbour(32, 25).
113neighbour(33, 25).
114neighbour(27, 26).
115neighbour(33, 26).
116neighbour(34, 26).
117neighbour(28, 27).
118neighbour(34, 27).
119neighbour(35, 27).
120neighbour(35, 28).
121neighbour(72, 28).
122neighbour(73, 28).
123neighbour(30, 29).
124neighbour(36, 29).
125neighbour(59, 29).
126neighbour(60, 29).
127neighbour(31, 30).
128neighbour(36, 30).
129neighbour(37, 30).
130neighbour(32, 31).
131neighbour(37, 31).
132neighbour(38, 31).
133neighbour(33, 32).
134neighbour(38, 32).
135neighbour(39, 32).
136neighbour(34, 33).
137neighbour(39, 33).
138neighbour(40, 33).
139neighbour(35, 34).
140neighbour(40, 34).
141neighbour(41, 34).
142neighbour(41, 35).
143neighbour(71, 35).
144neighbour(72, 35).
145neighbour(37, 36).
146neighbour(42, 36).
147neighbour(60, 36).
148neighbour(61, 36).
149neighbour(38, 37).
150neighbour(42, 37).
151neighbour(43, 37).
152neighbour(39, 38).
153neighbour(43, 38).
154neighbour(44, 38).
155neighbour(40, 39).
156neighbour(44, 39).
157neighbour(45, 39).
158neighbour(41, 40).
159neighbour(45, 40).
160neighbour(46, 40).
161neighbour(46, 41).
162neighbour(70, 41).
163neighbour(71, 41).
164neighbour(43, 42).
165neighbour(47, 42).
166neighbour(61, 42).
167neighbour(62, 42).
168neighbour(44, 43).
169neighbour(47, 43).
170neighbour(48, 43).
171neighbour(45, 44).
172neighbour(48, 44).
173neighbour(49, 44).
174neighbour(46, 45).
175neighbour(49, 45).
176neighbour(50, 45).
177neighbour(50, 46).
178neighbour(69, 46).
179neighbour(70, 46).
180neighbour(48, 47).
181neighbour(51, 47).
182neighbour(62, 47).
183neighbour(63, 47).
184neighbour(49, 48).
185neighbour(51, 48).
186neighbour(52, 48).
187neighbour(50, 49).
188neighbour(52, 49).
189neighbour(53, 49).
190neighbour(53, 50).
191neighbour(68, 50).
192neighbour(69, 50).
193neighbour(52, 51).
194neighbour(54, 51).
195neighbour(63, 51).
196neighbour(64, 51).
197neighbour(53, 52).
198neighbour(54, 52).
199neighbour(55, 52).
200neighbour(55, 53).
201neighbour(67, 53).
202neighbour(68, 53).
203neighbour(55, 54).
204neighbour(56, 54).
205neighbour(64, 54).
206neighbour(65, 54).
207neighbour(56, 55).
208neighbour(66, 55).
209neighbour(67, 55).
210neighbour(65, 56).
211neighbour(66, 56).
212neighbour(58, 57).
213neighbour(102, 57).
214neighbour(59, 58).
215neighbour(95, 58).
216neighbour(102, 58).
217neighbour(60, 59).
218neighbour(89, 59).
219neighbour(95, 59).
220neighbour(61, 60).
221neighbour(84, 60).
222neighbour(89, 60).
223neighbour(62, 61).
224neighbour(80, 61).
225neighbour(84, 61).
226neighbour(63, 62).
227neighbour(77, 62).
228neighbour(80, 62).
229neighbour(64, 63).
230neighbour(75, 63).
231neighbour(77, 63).
232neighbour(65, 64).
233neighbour(74, 64).
234neighbour(75, 64).
235neighbour(66, 65).
236neighbour(74, 65).
237neighbour(67, 66).
238neighbour(74, 66).
239neighbour(68, 67).
240neighbour(74, 67).
241neighbour(76, 67).
242neighbour(69, 68).
243neighbour(76, 68).
244neighbour(79, 68).
245neighbour(70, 69).
246neighbour(79, 69).
247neighbour(83, 69).
248neighbour(71, 70).
249neighbour(83, 70).
250neighbour(88, 70).
251neighbour(72, 71).
252neighbour(88, 71).
253neighbour(94, 71).
254neighbour(73, 72).
255neighbour(94, 72).
256neighbour(101, 72).
257neighbour(101, 73).
258neighbour(109, 73).
259neighbour(75, 74).
260neighbour(76, 74).
261neighbour(76, 75).
262neighbour(77, 75).
263neighbour(78, 75).
264neighbour(78, 76).
265neighbour(79, 76).
266neighbour(78, 77).
267neighbour(80, 77).
268neighbour(81, 77).
269neighbour(79, 78).
270neighbour(81, 78).
271neighbour(82, 78).
272neighbour(82, 79).
273neighbour(83, 79).
274neighbour(81, 80).
275neighbour(84, 80).
276neighbour(85, 80).
277neighbour(82, 81).
278neighbour(85, 81).
279neighbour(86, 81).
280neighbour(83, 82).
281neighbour(86, 82).
282neighbour(87, 82).
283neighbour(87, 83).
284neighbour(88, 83).
285neighbour(85, 84).
286neighbour(89, 84).
287neighbour(90, 84).
288neighbour(86, 85).
289neighbour(90, 85).
290neighbour(91, 85).
291neighbour(87, 86).
292neighbour(91, 86).
293neighbour(92, 86).
294neighbour(88, 87).
295neighbour(92, 87).
296neighbour(93, 87).
297neighbour(93, 88).
298neighbour(94, 88).
299neighbour(90, 89).
300neighbour(95, 89).
301neighbour(96, 89).
302neighbour(91, 90).
303neighbour(96, 90).
304neighbour(97, 90).
305neighbour(92, 91).
306neighbour(97, 91).
307neighbour(98, 91).
308neighbour(93, 92).
309neighbour(98, 92).
310neighbour(99, 92).
311neighbour(94, 93).
312neighbour(99, 93).
313neighbour(100, 93).
314neighbour(100, 94).
315neighbour(101, 94).
316neighbour(96, 95).
317neighbour(102, 95).
318neighbour(103, 95).
319neighbour(97, 96).
320neighbour(103, 96).
321neighbour(104, 96).
322neighbour(98, 97).
323neighbour(104, 97).
324neighbour(105, 97).
325neighbour(99, 98).
326neighbour(105, 98).
327neighbour(106, 98).
328neighbour(100, 99).
329neighbour(106, 99).
330neighbour(107, 99).
331neighbour(101, 100).
332neighbour(107, 100).
333neighbour(108, 100).
334neighbour(108, 101).
335neighbour(109, 101).
336neighbour(103, 102).
337neighbour(104, 103).
338neighbour(105, 104).
339neighbour(106, 105).
340neighbour(107, 106).
341neighbour(110, 106).
342neighbour(108, 107).
343neighbour(110, 107).
344neighbour(109, 108).
345neighbour(110, 108).
346neighbour(110, 109).
347
348country(i0, 1, 1, 1, 43, 2).
349country(i1, 1, 41, 1, 43, 22).
350country(i2, 1, 38, 12, 43, 22).
351country(i3, 1, 37, 21, 39, 22).
352country(i4, 2, 1, 2, 5, 3).
353country(i5, 2, 1, 2, 3, 23).
354country(i6, 2, 1, 22, 23, 23).
355country(i7, 3, 5, 2, 9, 3).
356country(i8, 4, 9, 2, 13, 3).
357country(i9, 5, 13, 2, 17, 3).
358country(i10, 6, 17, 2, 21, 3).
359country(i11, 7, 21, 2, 25, 3).
360country(i12, 8, 25, 2, 29, 3).
361country(i13, 9, 29, 2, 33, 3).
362country(i14, 10, 33, 2, 37, 3).
363country(i15, 11, 37, 2, 41, 3).
364country(i16, 11, 39, 2, 41, 12).
365country(i17, 12, 3, 3, 7, 4).
366country(i18, 12, 3, 3, 5, 12).
367country(i19, 13, 7, 3, 11, 4).
368country(i20, 14, 11, 3, 15, 4).
369country(i21, 15, 15, 3, 19, 4).
370country(i22, 16, 19, 3, 23, 4).
371country(i23, 17, 23, 3, 27, 4).
372country(i24, 18, 27, 3, 31, 4).
373country(i25, 19, 31, 3, 35, 4).
374country(i26, 20, 35, 3, 39, 4).
375country(i27, 20, 37, 3, 39, 12).
376country(i28, 21, 5, 4, 9, 5).
377country(i29, 21, 5, 4, 7, 12).
378country(i30, 22, 9, 4, 13, 5).
379country(i31, 23, 13, 4, 17, 5).
380country(i32, 24, 17, 4, 21, 5).
381country(i33, 25, 21, 4, 25, 5).
382country(i34, 26, 25, 4, 29, 5).
383country(i35, 27, 29, 4, 33, 5).
384country(i36, 28, 33, 4, 37, 5).
385country(i37, 28, 35, 4, 37, 12).
386country(i38, 29, 7, 5, 11, 6).
387country(i39, 29, 7, 5, 9, 12).
388country(i40, 30, 11, 5, 15, 6).
389country(i41, 31, 15, 5, 19, 6).
390country(i42, 32, 19, 5, 23, 6).
391country(i43, 33, 23, 5, 27, 6).
392country(i44, 34, 27, 5, 31, 6).
393country(i45, 35, 31, 5, 35, 6).
394country(i46, 35, 33, 5, 35, 12).
395country(i47, 36, 9, 6, 13, 7).
396country(i48, 36, 9, 6, 11, 12).
397country(i49, 37, 13, 6, 17, 7).
398country(i50, 38, 17, 6, 21, 7).
399country(i51, 39, 21, 6, 25, 7).
400country(i52, 40, 25, 6, 29, 7).
401country(i53, 41, 29, 6, 33, 7).
402country(i54, 41, 31, 6, 33, 12).
403country(i55, 42, 11, 7, 15, 8).
404country(i56, 42, 11, 7, 13, 12).
405country(i57, 43, 15, 7, 19, 8).
406country(i58, 44, 19, 7, 23, 8).
407country(i59, 45, 23, 7, 27, 8).
408country(i60, 46, 27, 7, 31, 8).
409country(i61, 46, 29, 7, 31, 12).
410country(i62, 47, 13, 8, 17, 9).
411country(i63, 47, 13, 8, 15, 12).
412country(i64, 48, 17, 8, 21, 9).
413country(i65, 49, 21, 8, 25, 9).
414country(i66, 50, 25, 8, 29, 9).
415country(i67, 50, 27, 8, 29, 12).
416country(i68, 51, 15, 9, 19, 10).
417country(i69, 51, 15, 9, 17, 12).
418country(i70, 52, 19, 9, 23, 10).
419country(i71, 53, 23, 9, 27, 10).
420country(i72, 53, 25, 9, 27, 12).
421country(i73, 54, 17, 10, 21, 11).
422country(i74, 54, 17, 10, 19, 12).
423country(i75, 55, 21, 10, 25, 11).
424country(i76, 55, 23, 10, 25, 12).
425country(i77, 56, 19, 11, 23, 13).
426country(i78, 57, 3, 12, 4, 22).
427country(i79, 57, 3, 21, 5, 22).
428country(i80, 58, 4, 12, 6, 21).
429country(i81, 58, 4, 20, 8, 21).
430country(i82, 59, 6, 12, 8, 20).
431country(i83, 59, 6, 19, 10, 20).
432country(i84, 60, 8, 12, 10, 19).
433country(i85, 60, 8, 18, 12, 19).
434country(i86, 61, 10, 12, 12, 18).
435country(i87, 61, 10, 17, 14, 18).
436country(i88, 62, 12, 12, 14, 17).
437country(i89, 62, 12, 16, 16, 17).
438country(i90, 63, 14, 12, 16, 16).
439country(i91, 63, 14, 15, 18, 16).
440country(i92, 64, 16, 12, 18, 15).
441country(i93, 64, 16, 14, 20, 15).
442country(i94, 65, 18, 12, 19, 14).
443country(i95, 65, 18, 13, 21, 14).
444country(i96, 66, 23, 12, 24, 14).
445country(i97, 66, 21, 13, 24, 14).
446country(i98, 67, 24, 12, 26, 15).
447country(i99, 67, 23, 14, 26, 15).
448country(i100, 68, 26, 12, 28, 16).
449country(i101, 68, 24, 15, 28, 16).
450country(i102, 69, 28, 12, 30, 17).
451country(i103, 69, 26, 16, 30, 17).
452country(i104, 70, 30, 12, 32, 18).
453country(i105, 70, 29, 17, 32, 18).
454country(i106, 71, 32, 12, 34, 19).
455country(i107, 71, 31, 18, 34, 19).
456country(i108, 72, 34, 12, 36, 20).
457country(i109, 72, 33, 19, 36, 20).
458country(i110, 73, 36, 12, 38, 21).
459country(i111, 73, 35, 20, 38, 21).
460country(i112, 74, 20, 14, 23, 15).
461country(i113, 75, 18, 15, 21, 16).
462country(i114, 76, 21, 15, 24, 16).
463country(i115, 77, 16, 16, 19, 17).
464country(i116, 78, 19, 16, 23, 17).
465country(i117, 79, 23, 16, 26, 17).
466country(i118, 80, 14, 17, 17, 18).
467country(i119, 81, 17, 17, 21, 18).
468country(i120, 82, 21, 17, 25, 18).
469country(i121, 83, 25, 17, 29, 18).
470country(i122, 84, 12, 18, 15, 19).
471country(i123, 85, 15, 18, 19, 19).
472country(i124, 86, 19, 18, 23, 19).
473country(i125, 87, 23, 18, 27, 19).
474country(i126, 88, 27, 18, 31, 19).
475country(i127, 89, 10, 19, 13, 20).
476country(i128, 90, 13, 19, 17, 20).
477country(i129, 91, 17, 19, 21, 20).
478country(i130, 92, 21, 19, 25, 20).
479country(i131, 93, 25, 19, 29, 20).
480country(i132, 94, 29, 19, 33, 20).
481country(i133, 95, 8, 20, 11, 21).
482country(i134, 96, 11, 20, 15, 21).
483country(i135, 97, 15, 20, 19, 21).
484country(i136, 98, 19, 20, 23, 21).
485country(i137, 99, 23, 20, 27, 21).
486country(i138, 100, 27, 20, 31, 21).
487country(i139, 101, 31, 20, 35, 21).
488country(i140, 102, 5, 21, 9, 22).
489country(i141, 103, 9, 21, 13, 22).
490country(i142, 104, 13, 21, 17, 22).
491country(i143, 105, 17, 21, 21, 22).
492country(i144, 106, 21, 21, 25, 22).
493country(i145, 107, 25, 21, 29, 22).
494country(i146, 108, 29, 21, 33, 22).
495country(i147, 109, 33, 21, 37, 22).
496country(i148, 110, 23, 22, 43, 23).
497