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