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