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