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