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