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