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