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