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