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