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