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