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