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