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