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