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