edge(1,2).
edge(3,4).
edge(3,5).
edge(3,6).
edge(3,7).
edge(3,8).
edge(3,9).
edge(3,10).
edge(3,11).
edge(3,12).
edge(13,14).
edge(13,15).
edge(13,16).
edge(17,18).
edge(17,19).
edge(17,20).
edge(17,21).
edge(17,22).
edge(17,23).
edge(17,24).
edge(25,26).
edge(27,28).
edge(27,29).
edge(27,30).
edge(27,31).
edge(27,32).
edge(27,33).
edge(27,26).
edge(27,34).
edge(16,35).
edge(16,36).
edge(16,37).
edge(38,39).
edge(36,40).
edge(41,42).
edge(41,43).
edge(41,44).
edge(41,45).
edge(46,47).
edge(46,48).
edge(46,49).
edge(46,32).
edge(50,51).
edge(50,52).
edge(53,54).
edge(55,56).
edge(55,57).
edge(20,54).
edge(20,19).
edge(20,23).
edge(20,58).
edge(59,60).
edge(59,47).
edge(59,30).
edge(61,62).
edge(10,44).
edge(10,63).
edge(10,64).
edge(10,6).
edge(10,9).
edge(65,66).
edge(65,67).
edge(65,68).
edge(65,69).
edge(65,70).
edge(65,71).
edge(65,7).
edge(65,72).
edge(24,73).
edge(24,74).
edge(54,75).
edge(54,76).
edge(54,18).
edge(54,77).
edge(78,79).
edge(78,80).
edge(78,81).
edge(82,83).
edge(82,84).
edge(85,86).
edge(85,40).
edge(85,87).
edge(88,89).
edge(88,90).
edge(69,91).
edge(69,92).
edge(69,68).
edge(69,70).
edge(69,93).
edge(69,94).
edge(95,96).
edge(95,97).
edge(95,98).
edge(99,100).
edge(99,101).
edge(102,76).
edge(102,11).
edge(102,103).
edge(102,104).
edge(105,106).
edge(105,62).
edge(105,107).
edge(105,108).
edge(105,109).
edge(57,110).
edge(111,112).
edge(111,113).
edge(114,62).
edge(115,97).
edge(116,96).
edge(116,117).
edge(116,118).
edge(119,120).
edge(119,121).
edge(122,19).
edge(80,123).
edge(124,79).
edge(125,126).
edge(127,32).
edge(128,100).
edge(129,130).
edge(129,131).
edge(121,132).
edge(121,133).
edge(121,66).
edge(134,23).
edge(76,126).
edge(76,60).
edge(76,135).
edge(76,136).
edge(76,18).
edge(76,19).
edge(76,77).
edge(76,23).
edge(76,137).
edge(76,138).
edge(139,140).
edge(139,81).
edge(141,142).
edge(141,143).
edge(84,144).
edge(84,145).
edge(84,146).
edge(84,147).
edge(133,132).
edge(133,148).
edge(133,149).
edge(150,58).
edge(109,107).
edge(109,108).
edge(151,152).
edge(153,154).
edge(153,89).
edge(153,112).
edge(155,156).
edge(157,15).
edge(96,89).
edge(158,62).
edge(159,51).
edge(159,160).
edge(159,161).
edge(162,163).
edge(164,165).
edge(166,167).
edge(149,148).
edge(168,110).
edge(168,123).
edge(168,169).
edge(170,97).
edge(171,49).
edge(171,32).
edge(172,173).
edge(86,174).
edge(86,175).
edge(86,152).
edge(86,163).
edge(86,176).
edge(86,40).
edge(86,177).
edge(178,126).
edge(179,11).
edge(179,180).
edge(179,104).
edge(147,146).
edge(112,154).
edge(112,89).
edge(112,113).
edge(176,181).
edge(176,107).
edge(176,163).
edge(176,182).
edge(145,146).
edge(145,101).
edge(183,154).
edge(58,184).
edge(143,142).
edge(132,185).
edge(132,186).
edge(132,187).
edge(132,148).
edge(132,188).
edge(132,189).
edge(132,81).
edge(190,75).
edge(190,191).
edge(190,192).
edge(190,193).
edge(190,8).
edge(194,195).
edge(174,196).
edge(174,175).
edge(174,163).
edge(174,40).
edge(174,177).
edge(174,197).
edge(198,186).
edge(77,23).
edge(77,137).
edge(77,22).
edge(199,19).
edge(200,201).
edge(202,187).
edge(202,203).
edge(202,204).
edge(5,205).
edge(206,47).
edge(206,207).
edge(206,208).
edge(209,161).
edge(210,89).
edge(154,18).
edge(154,211).
edge(212,97).
edge(212,213).
edge(189,207).
edge(189,208).
edge(189,214).
edge(189,213).
edge(120,184).
edge(120,215).
edge(120,216).
edge(136,217).
edge(136,218).
edge(136,219).
edge(93,117).
edge(101,220).
edge(113,221).
edge(113,222).
edge(223,52).
edge(123,224).
edge(123,110).
edge(123,169).
edge(130,186).
edge(130,225).
edge(130,226).
edge(117,156).
edge(117,227).
edge(228,229).
edge(228,230).
edge(11,231).
edge(11,232).
edge(11,104).
edge(81,83).
edge(233,106).
edge(233,216).
edge(33,167).
edge(33,29).
edge(33,110).
edge(33,234).
edge(33,235).
edge(15,131).
edge(15,236).
edge(15,175).
edge(229,230).
edge(29,26).
edge(29,234).
edge(89,237).
edge(238,239).
edge(240,165).
edge(191,44).
edge(191,193).
edge(191,241).
edge(173,9).
edge(22,137).
edge(22,21).
edge(22,242).
edge(243,18).
edge(177,163).
edge(244,239).
edge(245,37).
edge(193,246).
edge(193,247).
edge(193,18).
edge(248,249).
edge(248,250).
edge(140,71).
edge(71,68).
edge(71,70).
edge(71,7).
edge(138,251).
edge(138,163).
edge(138,252).
edge(246,18).
edge(253,254).
edge(253,181).
edge(253,49).
edge(253,32).
edge(255,60).
edge(256,201).
edge(72,70).
edge(72,257).
edge(258,97).
edge(258,37).
edge(34,208).
edge(34,182).
edge(19,18).
edge(19,23).
edge(19,259).
edge(260,37).
edge(261,52).
edge(216,213).
edge(227,156).
edge(7,68).
edge(7,37).
edge(7,70).
edge(262,211).
edge(262,52).
edge(262,263).
edge(262,161).
edge(26,264).
edge(26,234).
edge(51,23).
edge(51,52).
edge(35,265).
edge(266,203).
edge(110,169).
edge(110,257).
edge(156,91).
edge(156,267).
edge(6,56).
edge(6,28).
edge(6,64).
edge(6,9).
edge(268,207).
edge(213,269).
edge(213,97).
edge(270,271).
edge(272,43).
edge(163,167).
edge(163,175).
edge(163,64).
edge(163,273).
edge(163,31).
edge(163,182).
edge(163,230).
edge(163,9).
edge(79,259).
edge(274,44).
edge(275,60).
edge(165,137).
edge(18,269).
edge(18,44).
edge(18,252).
edge(161,276).
edge(187,203).
edge(187,204).
edge(64,9).
edge(64,277).
edge(278,201).
edge(279,148).
edge(280,100).
edge(280,239).
edge(281,282).
edge(281,12).
edge(12,108).
edge(12,195).
edge(74,137).
edge(74,23).
edge(39,283).
edge(284,195).
edge(49,32).
edge(40,230).
edge(40,9).
edge(269,97).
edge(66,60).
edge(211,285).
edge(286,265).
edge(286,287).
edge(286,97).
edge(288,239).
edge(32,254).
edge(32,181).
edge(32,208).
edge(2,60).
edge(2,271).
edge(287,207).
edge(28,31).
edge(203,204).
edge(283,60).
edge(264,289).
edge(276,290).
edge(276,249).
edge(104,291).
edge(44,265).
edge(103,292).
edge(68,70).
edge(152,182).
edge(293,62).
edge(47,60).
edge(47,207).
edge(47,208).
edge(207,208).
edge(247,218).
edge(247,230).
edge(108,60).
edge(277,9).
edge(205,142).
edge(205,257).
edge(182,175).
edge(294,271).
edge(98,271).
edge(271,295).
edge(201,296).
edge(201,239).
edge(8,118).
edge(23,137).
edge(23,160).
edge(52,249).
edge(297,195).
edge(242,137).
edge(298,230).
edge(299,195).
edge(60,100).
edge(31,300).
edge(239,100).
first(1).
last(300).
