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