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