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