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