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