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