edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(1,6).
edge(1,7).
edge(8,9).
edge(10,11).
edge(10,12).
edge(10,13).
edge(14,15).
edge(14,16).
edge(14,17).
edge(14,18).
edge(19,20).
edge(19,21).
edge(4,22).
edge(4,23).
edge(4,24).
edge(4,25).
edge(4,26).
edge(27,28).
edge(27,29).
edge(27,30).
edge(31,32).
edge(33,34).
edge(33,35).
edge(33,36).
edge(37,38).
edge(39,40).
edge(39,41).
edge(39,42).
edge(39,43).
edge(39,44).
edge(39,45).
edge(39,46).
edge(39,47).
edge(39,48).
edge(39,49).
edge(39,50).
edge(51,52).
edge(51,11).
edge(51,13).
edge(51,53).
edge(51,54).
edge(51,55).
edge(51,56).
edge(51,57).
edge(58,16).
edge(59,60).
edge(28,61).
edge(28,62).
edge(28,63).
edge(28,64).
edge(28,65).
edge(28,66).
edge(28,67).
edge(68,69).
edge(70,71).
edge(70,72).
edge(70,73).
edge(74,75).
edge(74,76).
edge(77,72).
edge(78,79).
edge(80,81).
edge(80,32).
edge(80,82).
edge(83,84).
edge(83,85).
edge(86,87).
edge(86,88).
edge(86,89).
edge(90,91).
edge(41,40).
edge(41,43).
edge(41,44).
edge(41,45).
edge(41,92).
edge(41,49).
edge(41,50).
edge(93,11).
edge(93,94).
edge(93,95).
edge(93,96).
edge(97,98).
edge(97,99).
edge(100,101).
edge(102,103).
edge(102,40).
edge(104,32).
edge(105,106).
edge(107,108).
edge(109,73).
edge(109,110).
edge(111,112).
edge(111,113).
edge(25,114).
edge(25,67).
edge(25,5).
edge(25,115).
edge(116,117).
edge(116,118).
edge(119,55).
edge(119,120).
edge(121,122).
edge(121,123).
edge(121,124).
edge(121,75).
edge(121,7).
edge(121,125).
edge(126,127).
edge(126,128).
edge(129,130).
edge(131,11).
edge(132,62).
edge(132,67).
edge(133,134).
edge(133,35).
edge(133,103).
edge(133,135).
edge(133,136).
edge(133,137).
edge(133,138).
edge(133,40).
edge(133,55).
edge(133,139).
edge(140,141).
edge(45,40).
edge(45,84).
edge(45,43).
edge(45,44).
edge(45,142).
edge(45,49).
edge(45,50).
edge(143,144).
edge(145,146).
edge(145,147).
edge(145,148).
edge(145,149).
edge(145,150).
edge(35,103).
edge(35,136).
edge(35,151).
edge(35,152).
edge(35,40).
edge(35,55).
edge(35,153).
edge(35,154).
edge(35,155).
edge(35,156).
edge(157,158).
edge(157,159).
edge(157,160).
edge(157,161).
edge(157,125).
edge(162,163).
edge(164,165).
edge(164,166).
edge(164,32).
edge(164,9).
edge(65,66).
edge(65,67).
edge(7,112).
edge(7,5).
edge(7,6).
edge(7,115).
edge(167,168).
edge(167,169).
edge(170,64).
edge(55,171).
edge(55,15).
edge(55,136).
edge(55,172).
edge(55,138).
edge(55,40).
edge(55,173).
edge(55,174).
edge(55,175).
edge(55,176).
edge(55,177).
edge(55,178).
edge(55,179).
edge(55,144).
edge(55,180).
edge(55,181).
edge(55,118).
edge(55,182).
edge(55,183).
edge(55,139).
edge(55,184).
edge(55,82).
edge(55,185).
edge(55,169).
edge(55,57).
edge(186,117).
edge(186,187).
edge(186,188).
edge(186,189).
edge(186,60).
edge(186,190).
edge(63,151).
edge(63,191).
edge(63,192).
edge(118,95).
edge(118,60).
edge(118,185).
edge(118,169).
edge(118,193).
edge(118,194).
edge(195,196).
edge(195,197).
edge(195,146).
edge(195,198).
edge(195,199).
edge(195,148).
edge(195,200).
edge(201,202).
edge(201,203).
edge(204,155).
edge(71,171).
edge(71,91).
edge(189,60).
edge(205,96).
edge(205,206).
edge(144,207).
edge(144,153).
edge(144,208).
edge(144,209).
edge(210,211).
edge(210,212).
edge(213,66).
edge(124,214).
edge(124,215).
edge(124,62).
edge(124,216).
edge(180,40).
edge(180,217).
edge(185,138).
edge(185,218).
edge(185,219).
edge(185,163).
edge(185,184).
edge(220,221).
edge(220,222).
edge(220,223).
edge(224,91).
edge(225,62).
edge(226,227).
edge(226,152).
edge(226,228).
edge(226,229).
edge(94,168).
edge(94,230).
edge(94,231).
edge(94,82).
edge(94,232).
edge(168,233).
edge(168,187).
edge(234,32).
edge(235,236).
edge(237,198).
edge(130,20).
edge(130,165).
edge(130,238).
edge(130,239).
edge(240,241).
edge(240,238).
edge(242,243).
edge(244,245).
edge(244,106).
edge(244,32).
edge(246,207).
edge(29,228).
edge(247,139).
edge(248,249).
edge(248,152).
edge(250,251).
edge(250,152).
edge(250,206).
edge(250,252).
edge(218,219).
edge(253,96).
edge(253,254).
edge(255,165).
edge(256,257).
edge(258,92).
edge(258,259).
edge(258,260).
edge(261,11).
edge(261,241).
edge(158,262).
edge(158,259).
edge(263,60).
edge(263,264).
edge(5,26).
edge(252,152).
edge(265,266).
edge(99,267).
edge(99,152).
edge(99,268).
edge(61,269).
edge(61,62).
edge(61,270).
edge(61,66).
edge(61,67).
edge(61,161).
edge(24,2).
edge(24,23).
edge(24,76).
edge(223,271).
edge(2,3).
edge(2,79).
edge(127,15).
edge(127,272).
edge(127,273).
edge(127,274).
edge(79,32).
edge(34,150).
edge(16,15).
edge(16,103).
edge(16,18).
edge(81,275).
edge(276,146).
edge(276,47).
edge(277,73).
edge(278,172).
edge(278,236).
edge(278,279).
edge(278,280).
edge(281,268).
edge(281,282).
edge(283,181).
edge(207,103).
edge(207,272).
edge(207,284).
edge(207,149).
edge(285,286).
edge(23,287).
edge(161,123).
edge(161,286).
edge(161,62).
edge(257,30).
edge(257,89).
edge(257,288).
edge(289,198).
edge(40,103).
edge(40,136).
edge(40,172).
edge(40,290).
edge(40,291).
edge(40,178).
edge(40,292).
edge(40,293).
edge(40,294).
edge(40,141).
edge(40,43).
edge(40,295).
edge(40,280).
edge(40,46).
edge(40,47).
edge(40,49).
edge(62,123).
edge(62,214).
edge(62,296).
edge(62,297).
edge(62,269).
edge(62,298).
edge(62,299).
edge(62,300).
edge(62,202).
edge(62,66).
edge(301,302).
edge(268,303).
edge(268,152).
edge(198,73).
edge(198,304).
edge(296,298).
edge(260,92).
edge(269,214).
edge(269,305).
edge(269,66).
edge(269,67).
edge(306,114).
edge(307,112).
edge(307,160).
edge(291,308).
edge(291,309).
edge(197,91).
edge(197,228).
edge(123,310).
edge(123,66).
edge(311,297).
edge(216,312).
edge(216,310).
edge(313,249).
edge(313,152).
edge(313,221).
edge(134,314).
edge(298,214).
edge(298,66).
edge(298,315).
edge(302,316).
edge(302,206).
edge(163,38).
edge(163,297).
edge(163,317).
edge(316,318).
edge(222,106).
edge(202,319).
edge(202,320).
edge(202,321).
edge(202,203).
edge(202,322).
edge(202,89).
edge(323,310).
edge(318,151).
edge(324,106).
edge(147,325).
edge(320,319).
edge(320,203).
edge(326,206).
edge(326,327).
edge(304,73).
edge(304,50).
edge(328,233).
edge(38,17).
edge(38,153).
edge(329,15).
edge(330,275).
edge(322,319).
edge(191,117).
edge(215,310).
edge(91,331).
edge(91,46).
edge(91,47).
edge(332,214).
edge(136,103).
edge(136,333).
edge(334,56).
edge(334,335).
edge(46,43).
edge(46,336).
edge(46,47).
edge(46,50).
edge(82,152).
edge(82,337).
edge(82,338).
edge(82,339).
edge(82,340).
edge(292,280).
edge(292,142).
edge(315,66).
edge(310,312).
edge(310,341).
edge(310,66).
edge(177,342).
edge(113,208).
edge(113,343).
edge(344,335).
edge(343,174).
edge(273,333).
edge(273,345).
edge(346,227).
edge(346,32).
edge(47,308).
edge(47,178).
edge(47,294).
edge(47,43).
edge(47,295).
edge(47,49).
edge(47,50).
edge(259,92).
edge(146,148).
edge(337,347).
edge(319,348).
edge(319,321).
edge(349,152).
edge(349,350).
edge(303,351).
edge(303,352).
edge(303,60).
edge(243,96).
edge(243,353).
edge(243,9).
edge(221,354).
edge(221,355).
edge(356,141).
edge(356,357).
edge(230,231).
edge(358,60).
edge(15,175).
edge(15,359).
edge(15,184).
edge(15,317).
edge(360,169).
edge(361,239).
edge(114,171).
edge(101,362).
edge(101,363).
edge(101,364).
edge(101,231).
edge(101,365).
edge(227,152).
edge(227,32).
edge(96,69).
edge(96,206).
edge(266,366).
edge(367,251).
edge(368,233).
edge(369,299).
edge(138,103).
edge(370,325).
edge(370,112).
edge(64,67).
edge(371,275).
edge(43,44).
edge(43,50).
edge(372,295).
edge(309,172).
edge(309,359).
edge(325,373).
edge(325,112).
edge(325,200).
edge(374,181).
edge(375,364).
edge(73,141).
edge(376,159).
edge(376,212).
edge(66,377).
edge(336,141).
edge(378,92).
edge(211,212).
edge(165,152).
edge(165,379).
edge(21,152).
edge(20,380).
edge(13,11).
edge(381,60).
edge(381,264).
edge(382,377).
edge(383,251).
edge(156,153).
edge(172,384).
edge(172,103).
edge(172,181).
edge(172,385).
edge(106,11).
edge(106,386).
edge(239,387).
edge(239,264).
edge(12,11).
edge(388,169).
edge(384,385).
edge(214,312).
edge(389,357).
edge(241,11).
edge(60,366).
edge(60,264).
edge(275,69).
edge(275,103).
edge(141,280).
edge(390,391).
edge(231,11).
edge(391,392).
edge(391,393).
edge(22,394).
edge(22,3).
edge(103,393).
edge(184,272).
edge(154,151).
edge(154,152).
edge(89,288).
edge(395,393).
edge(395,32).
edge(396,11).
edge(394,17).
edge(245,32).
edge(203,321).
edge(142,84).
edge(166,397).
edge(150,272).
edge(151,152).
edge(84,398).
edge(148,196).
edge(148,295).
edge(148,200).
edge(212,159).
edge(17,108).
edge(386,152).
edge(196,295).
edge(196,200).
edge(399,11).
edge(399,400).
edge(178,295).
edge(308,290).
edge(400,11).
first(1).
last(400).
