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