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