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