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