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