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