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