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