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